活动模型:活动的定义与两范式运行

00定位与边界

一个活动 = 一个完成一项任务的 Agent 机制。活动像小程序:基于系统内活动基座的六件接口(契约 · 交互 · 记忆 · 数据 · 工具调用契约 · LLM 调用)在系统外独立开发,经活动库的独立入口安装进系统,即可被流程层以声明引用;卸载同走此入口,系统内不写活动代码。活动是开发态,任务是运行态——活动被调起的一次运行,即落到恰一名负责人工作台上的一单任务。

0.1活动与系统的边界:四象限

两条轴把全部职责分干净:物理轴(web 前端 / server 后端——过程在后端,呈现在 web)与归属轴(系统平台本体 / 活动外装件)。四个象限,边界各有判据:

• 物理线(横)——跨线只有两种流量:下行的视图与卡片内容(HTML + schema 数据),上行的对话流输入回传;前端零过程状态。
• 归属线(纵)——后端段是活动基座接口:活动只见六件,能力一律经调用契约注入;前端段是容器边界:系统渲染活动的内容,不装载活动的代码。
• 两线交汇 = 放行门——草稿态(活动过程)到事实态(台账与外部系统)的唯一通道;放行前不落事实(10)。

0.2系统供给什么,活动定义什么

本表与《操作系统》10.1 镜像同表——行数、行序、措辞一一对应,括号内章号各随本卷。

统一套执行契约:上表左列对 loop 与 flow 完全一致——两范式的差异被压缩到唯一一处:Agent 机制的范式与业务模型的形态。对流程层与交互层而言,两种活动不可区分地是"一个节点、一单任务"。

01契约:活动的接口

契约是活动对调用方暴露的全部真相,也是对 Agent 机制的全部授权;两种范式同一契约格式——这是「统一套执行契约」的锚点。契约必须在活动启动前冻结;运行中不得变更——变更即新版本。

1.1输入:单一入口,data + message

活动必须只声明一个输入口;一单任务恰接收一份输入。输入由两部分构成:

• data(结构化载荷)——按契约 input schema 校验,缺项不得启动。这是流程层能静态检查的拼接面:上游输出口的 schema 对得上,活动就接得住。
• message(委托消息)——调用方附带的自然语言说明:意图、背景、特殊要求;可为空。message 计入 Agent 机制的初始观察、全程留痕;它往往承载「这一单的特殊性」。

设计依据:schema 承载可结构化的确定,message 承载不可结构化的语境;两者合一,活动才既可静态编排、又不失临场委托——如同工单之于表格与备注栏。

1.2输出口:必发(并行)与选择(分支)

活动的业务产出经输出口交回调用方。契约声明一组输出口,每口:口名 + 交付物 schema + 发射语义。发射语义两类:

完成时的发射集合 = 全部必发口 + 每个选择组各一口;每口载荷各过其 schema 与验收判据;发射发生在放行通过且落地收敛之后(06)。非完成终态(受阻 / 熔断 / 耗尽 / 被终止)不发任何业务口,走异常出口(阻因 + 残局快照)。

1.3终态

终态是契约层的收场名,封闭五名——终态由系统裁定,权威名录见《操作系统》4.3;范式内的状态映射见 04(loop)与 05(flow):

不是终态:驳回(重做 / 迭代)是放行卡的环内回转——携意见回环,任务继续,不出活动;叫停是控制事件(10)——转挂起待纠偏,处置后恢复,或由负责人终止(→ 被终止),叫停必留痕为最重档纠正信号;落地受阻是运行态——落地失败卡(执行卡的系统预置形态)处置后仍收敛于本名录(06)。

02范式:loop 与 flow

Agent 机制的范式,规范名两种:loop / flow。范式回答一个问题——这件事的下一步由谁定:

2.1选型判据

• 两种都是合法终身形态——不设"必然结晶"论:标准活动不是案例活动的归宿,案例活动也不是标准活动的过渡;选哪种由事的性质决定,不由方法论偏好决定。
• 一处装不下就用 loop——flow 里只要出现一处"由 AI 决定怎么办",这个活动就不该是 flow(05 的上升规则);反之,loop 中反复走出的确定子序列以技能的结晶片段脚本承载(08),不必改范式。
• 改选范式即新版本——范式随活动包版本声明;改范式经活动库安装两审(11),在途任务按其启动版本跑完。

术语约定:flow 是活动内部的步序范式(方法级,中途无责任交接),与流程层的「工作流」(流程包的运行时实例,责任级编排:节点有负责人、有审批点)不同层。本卷以中文「流程包 / 工作流」专指流程层,以英文小写 loop / flow 专指活动范式。

2.2活动的内容物

无论哪种范式,活动的内容物同一清单——全部随活动定义与交付,跑在基座之上:

• 业务模型——这件事的结构,按范式取形(上表);业务模型是活动记忆优化的对象——迭代业务模型,就是迭代这个活动的行为(09)。
• 交互内容——何时调人、卡里给什么、视图区呈现什么、汇报怎么组织(07)。
• 技能清单——基于工具、在活动内定义的方法经验;载方法,不载权力(08)。
• Harness——停止条件、预算与熔断、监听时限、中断与恢复(10);Harness 在活动内,每个活动的确定性边界随活动交付,不依赖外部编排兜底。
• 过程工作区(可选)——台账的任务级草稿层,组织由活动自设,不绑范式;写即持久,放行前不落事实(10)。

03loop · 业务模型:CMMN + DMN

技能承载「怎么做」(方法),业务模型承载「这件事是什么、什么决定什么」(事理)。loop 活动的业务模型是案例模型,格式为 CMMN(配套 DMN 承载量与推导)——选共识标准而非私有格式:LLM 天然读写,XML 可校验、可 diff、可版本。案例模型是运行时的权威结构:装载即结构——阶段怎么展开、前提何时满足、计划项处于何态,由语义引擎按 CMMN 规范对着这份 XML 忠实推进(04);AI 坐案例工作者的座位——感知、规划、汇报按任务数据 / 阶段 / 里程碑组织;人给这个座位建的模型,AI 继承。

3.1构件语义

双表示,同版本:CMMN XML 是机器面——语义引擎以它为运行结构:推进生命周期、求值前提、维护 Enabled 集;案例说明书是叙事面——Agent 读它理解业务、组织汇报、向人解释,渐进披露(常驻梗概,按事下钻)。两面同版本发布,不允许分叉:说明书是 XML 的叙事投影,迭代时一起放行。

3.2三铁律与约束力收缩

• 语义归引擎,裁量归 Agent,强制归门(必须)——CMMN 语义由引擎忠实执行:前提满足即 Enabled,这是规范而非越权;manual 项的启动永远归 Agent;强制力只在验收分级与放行处生效(门 = 放行卡与判据,06 / 10)。引擎只推规范、不代裁量、不代把关。
• 载事理,不载权力(必须)——白名单、授权边界与禁区在契约;案例模型不得扩大它们。
• 叙事框架(应)——AI 的规划与汇报、视图区的呈现结构,应以案例模型的阶段与里程碑组织(07)。

约束力收缩机制:纠正与驳回的理由,蒸馏入活动记忆 · 裁决层(09),归纳为候选前提条件 / 完成判据 / DMN 规则 → 回放检验(历史成功单皆满足、失败单恰被拦)→ 人放行 → 入案例模型新版本 → 从此由 L2 机检承担。每挨一次纠正,约束就有机会从人的判断收缩为机器的校验——纠正的减少因此有了因果机制,不只是统计现象。

3.3DMN:判断的确定性化

DMN 承担一件事:把装得下的判断从 LLM 手里拿走。DRD 声明「定什么需要知道什么」,决策表(FEEL)声明「知道了怎么定」——两者合起来,判断成为确定性求值:

• 能算的不问 LLM(必须)——输入齐备的决策表由语义引擎确定性求值;同输入必同结论,零方差、零 token。
• DRD 即缺口演绎(应)——输入不齐时,DRD 指出缺什么:可查的调工具、可算的先算上游决策、只有人知道的调人、在世界侧的立监听——双向驱动的后拉遍历(04),主要就是走 DRD。
• 决策留痕(必须)——每次求值留痕:输入快照 + 决策表版本 + 命中规则行;决策可回放、可归因。
• 结论不可静默覆写(必须)——DMN 结论对 Agent 是约束性输入;认为结论不合理时只有两条路:超出授权的走「人·决策」,规则本身有病的提迭代提案(09)——不允许 LLM 悄悄绕开确定性结论。

3.4装载:一单任务开始时引擎读什么

版本全部记入信封——从此每一步的行为可完全归因(09 行为可归因公式)。

04loop · 运行机制

loop 的运行 = CMMN 语义引擎(下层,零 LLM)× Agent 回路(上层,临场裁量)。状态的权威是 CMMN 规范的标准生命周期:活动不定义状态,模型不发明状态——装载哪个模型,状态空间就是规范为那类计划项规定的那一副;引擎按规范推进,守卫(时限 / 预算 / 预授权 / 监听)仅可参数化。

4.1生命周期:CMMN 标准

里程碑与事件监听器只有一条主迁移:Available →(occur)→ Completed——前提满足 / 件到 / 到点即达成留痕;里程碑达成本身是迁移事件,可被其他前提监听——里程碑因此参与前推(4.3),不只是投影。契约终态(01)的映射:放行完成 = 案计划 Completed(放行通过且落地收敛);受阻待人 = Suspended + 阻因,封卷待治理处置(改派后恢复 / 重开新实例 / 终止);停滞熔断 · 预算耗尽 = Terminated + 原因码;被终止 = Terminated(控制事件 · 终止,含工作流级联);Failed 是规范补齐的运行异常格,与业务终态分开;驳回是迁移不是状态——相关计划项重新入场(repetitionRule 新实例),记为纠正信号。

• 原理一 · Enabled ≠ Active(必须)——「就绪 ≠ 执行」的 CMMN 原生形:引擎按规范推进到 Enabled(可启动)为止;凡触达世界或产出关键交付的计划项必须 manualActivationRule = true,进入 Active(执行)永远出自 Agent 的裁量启动(manualStart,留痕);automatic 仅限纯机内项(只读 / 纯计算)。规范推进不是执行,启动才是执行。
• 语义忠实(必须)——生命周期与前提语义严格循 CMMN 规范;引擎不得私改迁移拓扑,活动与模型不得发明状态。
• 迁移必留痕(必须)——每次生命周期迁移记入任务记忆:触发者 · 依据(前提 / 裁量 / 放行 / Harness)。
• 终局唯放行与 Harness(必须)——案计划 Completed 必经放行卡;Terminated 只出自 Harness 与负责人;AI 不得产生终局迁移。

4.2语义引擎 × Agent 回路

两层的耦合点是任务数据与记忆:任务数据是驱动耦合——Agent 写数据(落任务级草稿层,读己之写),引擎对本任务的前提求值读任务视图 = 正式版 + 本任务草稿层,不依赖事件;跨任务监听只认放行后的正式版事件;任务记忆是记录同轴——引擎的每次迁移与求值、Agent 的每个决断,同轴记入(09)。引擎向上发布 Enabled 集与红绿灯,Agent 向下启动计划项、写任务数据。每一步行动属于且仅属于三型之一:调工具(系统调用与 LLM 工具)、调人(四卡之一,06)、立监听(AI 不能调用世界,对世界只有两种合法姿势:触达它——动作,落在放行;等它——监听,4.4)。

1. 定位——案计划走到哪里:Active 的阶段、Enabled 集、里程碑与判据的红绿灯。
2. 择向——判据后拉:目标还缺什么;前提前推:当下能启动什么;取交集(4.3)。
3. 决断——在交集中定夺:manualStart 某个 Enabled 项(启动留痕)/ 从 planning table 规划裁量项入场 / 评估语义性前提(评估留痕,可回放可归因)/ disable 弃用某项——或判定成果已齐,提交放行(06)。
4. 行动——执行 Active 的任务:装配技能、调工具、调人;一切能力经调用契约,触达外部世界的动作集中在放行时落地;预算由 Harness 扣减(10)。
5. 写数据——产出落为任务数据写入:任务级草稿层(读己之写,不抛事件,10),过程同轴入任务记忆;引擎对任务视图求值前提、按规范推进,回到定位。

4.3双向驱动:开展与完成

任务如何被结构驱动着开展、又被结构收束着完成——答案是两股方向相反的力:

• 前提前推(开展)——写任务数据留痕(草稿层),语义按规范传播:任务视图变化 → 前提满足 → 新计划项 Enabled(里程碑 occur 亦是迁移,可再触发前提):可为空间像漏斗一样随进展展开。前推回答「当下能启动什么」。
• 判据后拉(完成)——完成判据与里程碑构成目标集;Agent 沿 DMN 依赖图(DRD)与前提依赖反向遍历:目标缺什么 → 缺口由什么推出 → 落到一个 Enabled 的计划项。后拉回答「该启动什么」。

完成的收束:判据逐项转绿(L1 / L2 由语义引擎预检,L3 实证、L4 评审按分级执行,10)→ 全绿即提交放行(发卡前过落地预检,06),成果清单 = 判据逐条核对 + 生命周期快照(阶段与里程碑达成)+ 关键步引用 → 放行通过、落地收敛,案计划 Completed,发射输出口。开展是 Enabled 空间的展开,完成是判据缺口的收敛——一开一收,任务被结构从两端夹着走完。

4.4监听映射:CMMN 件 × 统一事件标准

loop 的监听全部落在 CMMN 原生件上,再由系统的统一事件标准(信封 · 四类事件 · 投递五诺,见《操作系统》)投递——前提 = 静态监听(随案例模型声明),临场立监听 = 动态监听(运行中由 Agent 登记,如发出报价邮件后登记"等回信");活动认数据,不认通道:

• 回音四来处,机制归一——工位的人(卡回传 → 人事件,写数据)、世界(客户 / 供应商回件经通道解析写数据)、时间(时限到点)、别的环(其结果由调用方写入任务数据)——全部以事件形态到达,监听只认事件。
• 人工代收——环外的话经电话等非结构化途径到达时,相关岗位的人按数据项 schema 代为回填,走同一写入口;代收是转述,不是判断——原话与代收人意见分开留痕。
• 监听中是健康态——有时限、有阶梯,与停滞(该动没动)分别对待(10);挂起期间事件不丢,恢复即补投(系统投递承诺)。

05flow · 步序声明

flow 是活动内的确定性范式:业务模型 = 步序声明——一条谱;引擎照谱执行,零临场调度,调度权归系统。flow 与 loop 共用同一副基座六件、同一契约格式、同一事件标准、同一记忆与留痕、同一放行——差异只有一处:下一步由声明给定,不由 AI 决断。LLM 在 flow 里可以出现,但只以「被调用的工具」出现,不是调度者。

5.1步序声明模型

一条步序 = 有序的步列表 + 简单条件。每步声明六件:步名 · 步型 · 入参映射(取自任务数据 / 上步出参)· 出参写入(落任务数据,草稿态)· 完成条件 · 失败策略。步型四种:

异步步的完成条件 = 监听:等外部回件的步声明数据事件监听(如「发出对账单 → 听回执写入」),等人的步以人事件为完成条件,等时点的步以时间事件为完成条件——同一统一事件标准,时限必配:到点抛时间事件,按声明走催办或兜底;无死等。

5.2顺序、条件与上升规则

• 顺序——步按声明序执行;可声明确定的并行组(组内步无依赖、全完成再继续)。
• 简单条件——允许条件跳步与条件执行,条件必须是任务数据上的确定性谓词(如「金额 < 1 万 → 跳过步 4」);由引擎求值,零 LLM。
• 复杂路由上升(必须)——出现多路业务分支、临场判断的路由、不可谓词化的条件:不得在 flow 内表达。两条出路:上升为流程层的网关与多活动编排(责任级),或该活动改用 loop 范式(方法级临场)。flow 的谱必须全程可静态检查。

5.3失败与缺口:声明给定,不临场

• 重试策略(必须)——每步声明重试次数与间隔;重试仍败,按声明走下一步:转人兜底(改发人类工具卡:人·执行或人·决策,卡内容随声明)或受阻待人(挂起,携阻因)。
• 无临场兜底(必须)——flow 内不得出现「由 AI 决定怎么办」的失败处理;需要临场,即说明该活动不该是 flow(2.1)。
• 控制事件同权——叫停 / 暂停 / 终止对 flow 任务同样有效(10);挂起恢复后自当前步续跑,事件补投。

终态映射(01):放行完成 = 末步放行卡「放行通过」;受阻待人 = 声明的兜底转人或时限升级;停滞熔断 / 预算耗尽 = Harness 强制(10);驳回 = 放行卡驳回,按声明回到指定步重做或携意见迭代。

5.4flow 的留痕、记忆与迭代

每步的执行、入出参、重试与失败,同一任务记忆标准(09):只追加、信封盖戳、治理先行、归侧。flow 活动同样有活动记忆——事实层校准重试与时限参数,裁决层沉淀步序修订候选(步增删、条件阈值、卡内容修订);候选经回放与人放行进入步序声明新版本:修订步序,就是迭代这个活动的行为(09)。

06人类工具的调用

人在环是一种被调用的工具——四种人类工具与 LLM 工具同列,都是调用层的内置工具:AI 调用人与调用任何工具同构,经调用契约、受白名单与授权约束;差别只在通道与时延——卡经对话流(负责人)或系统消息(其他人)到达人,回传异步(人事件)。人是工具表里带宽最小、延迟最高、不可并发的工具,但携带两样机器没有的东西:环外的知识,与裁决的权力。卡片结构与回传协议归系统,内容由活动填充(schema 在契约与交互内容中给出,07)。

• 调用时机——loop 里由 AI 临场判定(断点即人环:缺口只有人知道 → 补全;超出授权 → 决策;数字化未及 → 执行;成果齐备 → 放行,04);flow 里由步序声明给定(05)。
• 到达面两路——发给负责人的卡出现在该任务的对话流;发给其他人的卡以系统消息送达其消息要素、就地作答——跨人卡是一次性的解答请求,不是责任转移:作答权限只及卡面与决策包,不开放任务对话流;「调谁」按岗位声明,收件人由系统按解析策略确定(《操作系统》03),缺席走时限阶梯。回传经统一入口写回任务,调用与回传全程在任务侧留痕。驳回重答 = 新发一条系统消息(新卡实例,附驳回理由与原答引用,原卡闭合)——每次请求与回答都是独立消息,只增不改。
• 调用必附上下文(必须)——每张卡自带足够的依据与快照,人无需进系统翻找即可作答;无上下文的裸调用,基座必须拒发。
• 回传即留痕、即学习信号(必须)——谁、何时、答了什么、依据什么,随卡入任务记忆;补全 = 缺口标注,决策 + 理由 = 偏好样本,执行回填 = 结果确认,驳回 + 意见 = 批评信号——活动记忆 · 裁决层的原料(09)。
• 回传按 schema 校验——经系统单入口协议回环,以人事件抛回活动:loop 中即观察 + 数据写入,flow 中即步完成条件。
• 防打扰——调人预算(打扰上限)在契约授权边界;同一缺口攒批调用,能推进的先推进。

loop 中的调人落为类型化的 HumanTask 计划项:调用即 Active(阻塞),回传写任务数据 + 抛人事件,完成驱动前提、下游随之解锁——调人与等回音在结构上是同一件事:立一个监听,听人。

07交互内容

交互的结构归基座,内容归活动:基座供给对话流(任务的人机时间线、一切回环输入的唯一入口)与视图区容器(只读呈现);活动填充三样内容——视图模版、卡内容 schema、汇报组织。

• 控制权按态转交(必须)——视图区容器与对话区输出框的控制权由活动与系统共同持有:任务激活(Agent 机制运行)时归活动——视图流控与对话输出由活动驱动;流程流转(节点间、审批点、终态前后)时归系统——流转、审批与终态回执由系统呈现。转交随引擎的激活 / 完成事件自动发生,活动不感知交接。
• 输入单入口(必须)——输入侧不参与转交:全部人类输入永远经系统的对话流卡片协议回传;视图区不得产生回环输入;浏览性交互(切换 / 筛选 / 展开)由前端容器本地处理,不回后端。
• 负责人可主动输入——对话流的自由输入是人事件的第二形态(卡回传之外):写入任务记忆,loop 作为观察进入后续窗口;不驱动 flow 步。叫停等指令走控制事件,不经自由输入(10)。
• 视图流控随范式——loop:AI 按定位与局面临场组织视图流;flow:按步序位置推送声明的模版;两者对 web 同构——web 只渲染推来的内容。
• 时间线一致(应)——对话流时间线应与任务记忆一致:时间线即任务记忆的可读投影。

08技能:方法经验的封装格式

工具用法的方法经验,以技能(Skill)为封装格式,基于工具、在活动内定义。一个技能 = 适用描述(何时适用)+ 方法正文(怎么判断、怎么编排工具)+ 结晶片段脚本(可选:反复出现的确定性子序列)+ 知识引用(可选:深层材料,按需下钻)。白名单回答「能用什么」(权力),技能回答「怎么用好」(方法)——棋子确定,棋谱是资产。

• 装配语义——loop:AI 按适用描述临场装配(渐进披露:常驻上下文仅有技能目录,按事加载正文、按需下钻引用);flow:技能编入步序——结晶片段脚本即纯工具步照谱执行。技能被装配 / 调用,不称「触发」——触发器一词专属流程层。
• 载方法,不载权力(必须)——技能不得扩大白名单、授权边界与禁区;技能提及的工具不在本活动白名单者,不可调。与 message 同一逻辑:方法不是改约。
• 脚本按纯工具规矩(必须)——技能捆绑的脚本必须注册进工具表、经运行时调用而留痕、无环境能力;不得成为绕过留痕的暗道。
• 装配入信封(必须)——每步装配了哪些技能及其版本,记入任务记忆的信封;回放与归因依赖之。
• 两级组合不混——流程包串活动(责任级:节点有负责人、有审批点、有契约);环内装配技能(方法级:无门无责任)。需要独立负责人与放行的做活动,纯方法复用做技能;技能不能替代活动,活动不应退化为单技能空壳。

09记忆与迭代

基座的记忆系统两分:任务记忆(会话历史——这一单里发生过什么)× 活动记忆(结构化记忆——这类事历来是什么样)。基座的接口最小:任务记忆只有窗口配置,活动记忆只有存与取;框架站在环内一切调用的必经之路上:记录不靠自觉,靠位置。本章讲活动侧怎么用它们:装载、蒸馏,以及记忆如何走向业务模型的迭代。

9.1任务记忆:当前任务的全过程

任务记忆是当前活动实例的会话历史,两股同轴合流、按时间全序:消息历史——Agent 机制的原生逐条记录(观察 · 思考 · 动作 · 结果;flow 中即每步的执行记录),回路跑过即存在;引擎事件流——结构化事件(生命周期迁移 · 前提与 DMN 求值 · 卡与放行裁决 · 步执行)。四条性质:

• 只追加(必须)——原始条目不得修改;信号可迟到(放行裁决 · 后续修订 · 客户回复),以后续条目回链原步累加,不改写因果。
• 信封盖戳(必须)——每条盖版本信封:契约 / 业务模型 / 技能版本 + 定位(loop:阶段 · 目标项;flow:步序位置)+ 治理标记;行为可归因、历史可回放的前提。
• 治理先行(必须)——脱敏、权限、保留期、可学习标记在留痕时刻打上;不合规的记录不得进入蒸馏队列。
• 归侧(必须)——每条按动作类型自动推导执行侧标签(机器产出 / 人产出 / 人裁决 / 世界等待);度量口径归《操作系统》,零埋点。

四项职能:续跑——挂起恢复与事件补投时,由任务记忆重建上下文:记忆在,环可断可续;审计——发生了什么:谁 · 何时 · 依据什么;回放——换个办法,这单会不会成(反事实评估与模型增量的重演底盘,9.3);蒸馏源——活动记忆的唯一原料(9.2)。

活动侧唯一接口 = 窗口配置——每次 LLM 调用加载多少轮会话历史,由活动声明(随 Harness 配置);窗口之外的历史不进上下文,但完整在库——续跑、审计与回放永远对全量记录进行。

生命周期:随单生,只追加长,终态封卷归档。与任务数据之别:任务数据是事的数据(业务事实,引擎推进的依据);任务记忆是过程的记录(怎么走到这里)。数据写入本身作为事件同轴进入任务记忆——一次写,两处义。

9.2活动记忆:活动的持久事实

活动记忆是关于这个活动(事类)的持久事实,跨全部任务实例累积——活动的长期经验体。它的结构不是自由笔记:每类条目对准业务模型的一个作用面,使记忆天然是 CMMN / DMN 与步序声明优化的原料堆:

• 条目三件套(必须)——每条活动记忆 = 归纳陈述 + 证据链(指回任务记忆的具体片段,可回放)+ 候选增量(可选:落到业务模型 / 技能的具体 diff,状态:候选 / 回放中 / 已放行 / 已否决)。无证据链的条目不得入库——记忆必须可追溯到经历。
• 写入 = 蒸馏(必须)——活动记忆只经蒸馏写入:终态封卷与里程碑达成时,蒸馏钩子从任务记忆归纳;人可修剪。不设直写旁路。
• 基座接口 = 存与取——活动记忆是结构化记忆,基座只提供条目的存入与检索、不解释语义;四层结构与条目三件套是本卷规定的活动侧结构标准,由活动经蒸馏与装载维护。
• 读出 = 装载——按定位选摘相关条目入 Agent 上下文(渐进披露,3.4);语义引擎不读活动记忆——引擎零业务,记忆是 Agent 侧的输入。
• 记忆不载权力(必须)——活动记忆对行为只有参考力,没有强制力;强制力的唯一路径是候选增量经回放与人放行进入业务模型本身(9.3)。记住的影响裁量,放行的才约束行为。

9.3迭代业务模型,即迭代活动行为

引擎与基座是不动点,进化的全部作用面收敛到可版本工件:业务模型(结构与判据)与技能(方法)。迭代单位是模型增量——一份可 diff 的变更:

1. 蒸馏——驳回、否决、叫停、断点的证据(活动记忆 · 裁决层与模式层),蒸馏为候选模型增量(diff)。
2. 回放重演——新模型对历史任务记忆重演:旧成功单在新模型下是否仍全绿?旧失败单是否恰被新条件拦住?断点是否减少?——回放先行。
3. 人放行——增量 diff + 重演报告作为证据包,过进化关口;XML 与步序声明可 diff 审查,说明书同步更新。
4. 生效——模型新版入活动库;下一单任务装载即行为改变,引擎零改动;在途任务按其信封版本跑完。
5. 可回退——版本谱系完整;行为回退 = 版本回退。

10Harness · 验收分级 · 过程工作区

10.1Harness:活动的运行框架

Harness 在活动内、随活动交付——每个活动的确定性边界不依赖外部编排兜底。四件:

10.2验收分级:L1–L5

契约的验收判据逐条标注验证等级——这是放行卡「成果清单」上每条核对的成色标记:

loop 中 L1 / L2 由语义引擎持续预检(红绿灯);flow 中 L1 / L2 是步完成条件的一部分。L1–L4 是质量关,L5 是责任关——判据全绿只是可提交,完成只出自放行通过(06)。

10.3过程工作区

台账的任务级草稿层——可选、组织自设、不绑范式。任务过程产物落在台账的任务级草稿层:同一套「数据域.数据对象.字段」寻址与事务接口,读己之写——本任务可见、正式版不可见、不产生数据事件;引擎的前提求值读任务视图 = 正式版 + 本任务草稿层(04),跨任务监听只认放行后的正式版事件。要不要草稿、按什么 schema 草拟、怎么组织版本,由活动按需设计;系统只认放行门:放行前不落事实——草稿不碰台账正式版与外部系统,放行通过草稿合并入正式版、动作意向执行(06),此刻才产生数据事件。写即持久,断点可续:草稿层与动作意向持久于系统自持存储,没有「保存」动作;任务做一半的续跑由三份持久状态共同保证——任务记忆(按窗口重建上下文,09)、草稿层(截至断点的过程产物与动作意向)、运行时实例状态(loop 的模型定位与就绪集 / flow 的步序位置);打开任务只是打开呈现,过程在后端要么在跑、要么挂起在等。任务记忆与留痕随过程持续归档,不受门限。

11活动包与开发

一个活动以一个活动包交付:系统外独立开发、独立测试、独立版本,经活动库的独立入口安装进系统。原则:内容可以有,权力不能有——包内不得持有任何环境能力,一切能力经活动基座的调用契约注入。

11.1包内容物

11.2开发时序:编排先行,基于声明开发

• 编排定契约——工作流编排先于活动开发:治理台画工作流图(编排五要素),节点的输入输出、依赖的工具与模型随图确定——编排工作流的过程,就是定义活动契约的过程;契约是编排给定、开发实现、安装校核的,工作流图是契约的母体。边的载荷映射随图强制闭合——连一条边即须完成上游载荷 → 下游 data 字段的映射,必填未映射、类型冲突的流程包不得发布;新活动的输入输出声明在编排中就地定义、随边成形(《操作系统》03)。
• 导出依赖文件——工作流图画完、契约定好,导出开发该工作流活动库的依赖文件(声明 + 编译选项):所有依赖的接口声明、模型声明、工具声明、输入输出声明。
• 基于声明开发与编译——系统外对着声明开发(本地开发宿主:mock 工具表 + 模拟工位(四卡)+ 回放夹具);按活动的编译选项编译出该工作流的多个活动库 .JS——每活动一个编译产物,即活动包。
• 导入与装配——活动库 .JS 可批量导入也可单独导入,在活动库中按业务分类(一级)× 活动类型(标准 / 案例)两维分类与版本管理;流程包里按活动名装配:一键自动安装最新版本,或手动控制使用旧版本。
• 工具缺口仍契约先行——缺功能工具先定调用契约,活动对声明开发、平台照契约实现注册,两边并行;缺口只阻塞上架(静态审收口),不阻塞开发。

11.3安装:活动库入口与两审

• 静态审——声明齐备(契约 / 业务模型 / Harness)、工具调用契约核对(装不齐不上架)、schema 校验、无越权代码(无环境能力、无动态执行)、悬空监听拒绝(4.4)、模版无脚本。
• 回放审——新版本先在历史任务记忆上重跑:旧败能成、旧成不坏,方可生效(09 同一重演底盘)。
• 版本语义——安装恒为新增、版本并存;在途任务按其启动时版本跑完;生效 / 停用 / 卸载由治理台的活动库管理执行。
• 资产与包分离版本化——每活动两条版本序列,各有各的门、各自单写者:包版本管代码 / 契约 / 交互模版 / Harness 声明,变更必系统外重编、走本节两审;资产版本管业务模型 / DMN / 技能——包只携初始版(安装时播种入库),此后资产新版由进化管线在系统内产生(回放 + 人放行,09),不重编包;任务装载 = 包版本 + 各资产当前生效版,全部入信封,行为可归因;包新版携带的资产初始版不覆盖已有更高资产版——覆盖只能是显式的资产回退治理动作。

12合规判据

12.1通用判据(两范式同守,17 条)

• 契约冻结——必须携带机器可校验的输入 / 输出 schema 与验收判据;运行中不得变更契约,变更即新版本。
• 无触发器——活动不得内含触发逻辑;启动只经调用方传入输入。
• 输入唯一——恰一个输入口,一单任务恰接收一份输入;data 必过 schema 校验,message 不得扩大授权边界。
• 业务分支走输出口——业务性的多路结局必须以输出口(必发 / 选择组)表达并随放行发射;不得用异常终态编码业务分支。
• 恰一负责人——每单任务必须绑定恰一个负责人;无人环、多人环不得出现。
• 完成只出自放行——完成必须且只能由放行卡「放行通过」产生;判据全绿不等于完成;不得存在其他产生「完成」的路径。
• 放行前不落事实——过程产物皆为草稿态;写台账、调外部系统、发射输出口集中在放行时点;契约显式预授权的模板动作除外,预授权必须显式列举。
• 预检先于放行,落地收敛方成完成——发放行卡前必须完成落地预检(schema · 工具可用与授权 · 连接可达 · 数据冲突),检查可落地才允许放行,预检不过打回环内、不发卡;放行通过即刻落地(附幂等键),落地收敛输出口才发射、终态方成「放行完成」;残余失败走落地失败卡,不得静默成功。
• 调人必附上下文——四卡必须携带依据与快照;裸调用必须被基座拒发;调人预算由契约声明并由 Harness 强制。
• 监听必配时限——一切监听必须声明时限;无来源又无时限的监听,安装静态审必须拒绝。
• 事件幂等——活动对事件的处理必须按事件 ID 幂等;重复投递无副作用。
• 留痕完整——任务记忆只追加、信封盖戳、治理先行、归侧标注;原始条目不得修改,信号以回链累加。
• 记忆不载权力——活动记忆只有参考力;约束力只经候选增量 + 回放 + 人放行进入业务模型,不得以记忆条目直接拦截或强制。
• 蒸馏唯一写入——活动记忆只经蒸馏钩子写入,条目必挂证据链;无证据链的条目不得入库。
• 验收等级不得谎报——每条验收判据必须标注真实等级;L4 不得标注为 L1–L3;生成者不得自评。
• 无越权代码——活动包不得持有环境能力;一切能力必须经活动基座的调用契约注入。
• 活动数据私有——台账必须以 schema 声明、由宿主物化并施治理;活动间不得共享数据表,跨活动事实经输出口或共享对象。

12.2loop 判据(8 条)

• 生命周期循 CMMN 规范——案计划 / 计划项 / 里程碑三副标准生命周期;引擎与活动均不得私改迁移拓扑、不得发明状态;守卫仅可参数化。
• Enabled ≠ Active——引擎推进到 Enabled 为止;触达世界与关键交付的计划项必须 manualActivationRule = true,启动必出自 Agent 且留痕。
• 语义忠实——语义引擎零 LLM、循规范推进;每次迁移与前提求值留痕;语义性前提的裁量评估作为记录留痕。
• 能算的不问 LLM——机算前提与 DMN 由语义引擎确定性求值;同输入必同结论。
• 结论不可静默覆写——DMN 结论是约束性输入;异议只走「人·决策」或迭代提案。
• 模型载事理不载权力——案例模型不得扩大白名单、授权边界与禁区。
• 断点判定留痕——调人与立监听必须以「交集为空」的依赖断点为判定依据,判定过程可回放。
• 双表示同版本——CMMN XML 与案例说明书同版本发布,不允许分叉;迭代一起放行。

12.3flow 判据(6 条)

• 步序声明完整——每步的步型 / 入参映射 / 出参写入 / 完成条件 / 失败策略必须齐备;缺项不得上架。
• 零临场调度——运行中不得由 LLM 决定步序、跳步或兜底;LLM 只以被调用工具出现。
• 条件必谓词——条件跳步与条件执行必须是任务数据上的确定性谓词,由引擎求值。
• 复杂路由上升——多路业务分支、临场判断的路由不得在 flow 内表达;必须上升为流程层网关编排,或改用 loop 范式。
• 失败路径声明给定——重试策略与兜底(转人 / 受阻)必须在声明中给定;不得临场发明失败处理。
• LLM 步模板冻结——LLM 步的模板与出参 schema 随声明版本冻结;出参必过 schema 校验。