Archived
ChaiHaoandClaude Opus 5
b2f5f69d6a
用户要的是运行时机制:新建 + 编辑,存下去就生效,旧任务走完旧版本, 新任务调用时才加载新编排。所以「草稿 → 发布」两态整套去掉。 ## 闸从「发布」挪到「保存」 `savePackage` 现在先跑闭合校验,不闭合抛 `NotClosedError`(路由 412 带报告)—— **一个字节都不落库**。存进来的每一版都能起单,所以不需要「已发布」这个标记。 `publish` 用例、路由、`publishPackage` 存储方法一并删掉。 实测:把进 A6 的边映射清空后保存 → 412,逐条点名「边 e-g3-a6 未完成载荷映射; 节点「报价议价」的必填字段未映射:rows」。 ## 保存恒新增版本号,服务端说了算 这不是可选项,是「旧任务走完旧版本」的前提:工作流按 (包id, 版本) 去读定义, 就地覆盖 v1 就等于改掉所有在途 v1 任务正在读的编排 —— 它们会中途换了规则却毫不知情。 版本号由用例层算(当前最大 + 1),**不采信入参**。实测:入参故意填 version: 999, 落的是 v2。store 层因此改成**只插不改**:撞键宁可让唯一约束报错,也不静默覆盖。 起单取版从「最新已发布」改为「最新一版」(retired 除外);触发器的 requiredInputs 同口径。 实测:改完描述存成 v2 后,新起的单用 v2,早先那单仍挂 v1。 ## 迁移:旧状态值不归一就是一读就炸 状态枚举从 draft/published/retired 收成 active/retired。列上和 definition 这个 jsonb 里 各存着一份 state,两处都要改 —— 不改,`processPackageSchema.parse` 读一行就抛。 这不是开发期小麻烦,任何已部署实例都会中招。加了迁移 0012。 ## 界面:恒为 0 的假指标撤掉,不换个说法留着 - 编排面板:「已发布/草稿」芯片 → 「生效中/历史版本」(真正的区别是哪一版会被新起单取到); 发布按钮撤掉,保存按钮改成「保存并生效(存为 vN)」并在确认卡里说清影响面 - 历史版本只读,但就地指路:「去 v(N-1) 改(生效中)」,不让人自己找 - 蓝图面:「草稿 N · 未闭合 M」两个计数在新机制下**结构上恒为 0**(不闭合存不进来), 换成「共 N 个版本,保存即生效」 - 驾驶舱:「未闭合草稿」卡整张撤掉 —— 同理恒为 0。天然的第三张是「死路」 (route-dead-end 事件),但那需要一条按事件类型聚合的路由,没有之前不摆(同死信卡的规矩) ## 顺手修:种子的幂等判断本来是坏的 比对用 `JSON.stringify` 认键序,而 jsonb 从 PG 读回来键是重排过的 —— 永远判不等, 每播一次种就多存一版一模一样的定义(实测一口气堆到 v3)。改成递归按键名排序后比对。 连播三次,只第一次存。 ## 契约变更(破坏性,一步到位) `publish` 删除、`NotPublishableError` → `NotClosedError`、`publishable` → `closed`、 状态枚举收窄。按规矩破坏性变更该走三步弃用 —— 这里一步改完,因为: ① depcruise 反查下游全在仓内(374 模块无违规),同批改完; ② 要弃用的是一个**产品决定不再存在**的机制,留弃用窗口没有意义。 CONTRACT.md 已同步,快照单独说明。 typecheck ✓ lint ✓ depcruise 374 模块 ✓ 495 测试 ✓ Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
4.5 KiB
4.5 KiB
module: process
职责: 流程层:流程包定义与版本、边映射闭合校验(连线即映射 · 画图即校验 · 不闭合不得保存)、 负责人四策略的确定性解析、工作流状态的聚合投影、失败走向的消化判定、节点实例重开 不负责: 活动的执行(见 task 与范式引擎)、触发器(与流程包平级,见 trigger)、 画布的绘制(见 apps/web 的 gov-process)
公开出口: index.ts
- 类型:
ProcessServiceStartWorkflowInputWorkflowRecordClosureReportClosureViolationActivityContractFaceCandidateResolutionNodeInstanceWorkflowStateDispatch - 错误:
NotClosedErrorPositionVacantError - 端口类型:
ProcessStoreActivityDirectoryOrgDirectoryTaskGatewayApprovalGatewaySfeelFlowEventPublisherReceiptNotifier - 用例工厂:
createProcessService(deps): ProcessService - 纯函数:
checkClosureclosedresolveOwneraggregateWorkflowState(resolveOwner的bound入参 = 已校验的工作组绑定,ADR-011)isDigestednextInstanceNumberselectEdgesassemblejoinReadyrejectRouteOfdispatchOfstartNodeOfadvanceOrder(advanceOrder= 推进次序,按边拓扑排、排除回边、并行支按编号定序; 呈现用,不参与流转判断 —— 图纸坐标不配决定次序) - adapter:
createProcessStore;Drizzle 表:processPackageTableworkflowTablenodeInstanceTable
层级: L7(编码规范 §4) 依赖: @contracts;task(L6)、@sfeel 被依赖: trigger, app(治理台 · 工作流管理)
不变量(OS 03 / 3.2):
- 不闭合不得保存:未完成边、必填未映射、类型冲突、孤立节点、异或出边缺条件、
汇合同名字段来源不明、容忍分支被下游必填依赖 —— 任一即
closed = false,savePackage抛NotClosedError - 严格检查 + 保存即生效,没有发布机制(产品决策 2026-07-28): 没有草稿态、没有发布门。存进来的每一版都能起单;生效与否由运行时决定 —— 新工作流起单取最新版,在途的按启动时快照的版本号读定义、跑完旧编排。
- 保存恒新增版本号(服务端算,不采信入参):工作流按 (包id, 版本) 读定义, 就地覆盖会改掉在途任务正在读的编排。store 层因此只插不改,撞键宁可报错也不静默覆盖。
- 求值语义前后端同源:画布的即时校验与后端裁决共用
checkClosure - 负责人解析确定性:轮值并列时按 staffId 稳定排序;同输入必同结果,结果与依据留痕
- 工作流状态是聚合投影:流程层不另设状态机;计量对象是节点实例, 重开产生新实例、旧实例不再入算;XOR 未选分支从未激活、不入集合
- 「完成」凭到过终点节点,不凭「没有在跑的了」:收敛但未到终点 = 卡住 =
abnormal。aggregateWorkflowState收第三个入参(包的终点 id 集);不传则退回旧口径,新代码一律传 - 失败走向的消化:改道 / 容忍 / 升审批一经生效即消化;终止流待人工处置中算异常
- 流级重做一律重开新实例 —— 同节点、新任务 ID、留痕关联,不复活旧任务
其它不变量:
- 流转零 LLM:选边与条件求值全部经
@sfeel;判定依据入事件记录 - XOR 恰取一条:条件命中优先,无条件的边作默认分支兜底;
一条都没中而该节点确有出边 = 死路,发
route-dead-end事件 (哪个节点、各出边的条件、判据里当时有哪些键 —— 只记键名不记值) - AND 汇合要回齐:未回齐就不进汇合节点;容忍分支以「已消化」计,不阻汇合
- 流程层不自动重试活动(过程内重试归 Harness); 流级重做一律人裁决后重开新任务实例
- 驳回走向声明式:审批点的驳回按
reject声明回指定节点重开新实例,不由临场决定 - 凡单必有来源:
source必填;终点按输出声明交付、按来源回执
M5 待补(docs/PROGRESS.md · docs/debt.md M5-1)
internal/adapter/workflow-compiler.ts —— 编码规范 §6.1 规定流程包动态编译为 Mastra
createWorkflow/createStep(XOR → .branch(),AND → .parallel(),节点 suspend()/resume())。
当前流转由本模块自持的确定性状态机 + sys.node_instance 持久承担,语义等价且已可测;
Mastra 编译器作为可替换的 adapter 后补,替换时 usecase 不动。