omd-contract

# /omd-contract — 审议结晶成执行契约 审议(`/omd-grill`、pathfinder 裁决)收敛后,把结论写成结构化 SDD 落盘——它是 `/omd-execute` 的执行契约,写给**没有对话上下文的执行器**,不是给人读的散文。 ## 承接 /omd-grill 的决策记录表 | # | 决策 | 定论 | 落点(/omd-note · pathfinder 票 · SDD 章节) | 证据 | |---|------|------|--------------------------------------------|------| 落点标「SDD 章节」的行 → 进「决策」与「契约」段;标 `/omd-note` 的留台账;标 pathfinder 票的附票 id 进「未决」段。「待 owner / 待实测」项原样进「未决」,不写成结论。 ## 落盘 路径:`docs/plan/YYYY-MM-DD-<slug>.md`。每段可被无上下文执行器独立消费: ```markdown # <标题> ## 目标 (Destination) 一句话讲清做成什么样 ## 决策 (Decisions) D-1..D-N:每条已定型裁决 + 一句为什么 + 证据 ## 契约 (Contracts) 不变量 + GWT 验收点——/omd-execute 逐条判 pass/fail 的依据 ## 分解 (Breakdown) 依赖图 + 并行波形(写法见下) ## 非目标 (Non-goals) 明确不做什么 ## 未决 (Open) 未裁的问题;附 pathfinder 票 id;待实测的标「待实测」 ``` GWT 验收点越可证伪,验收越不含糊;一个模糊验收点 = 执行器和你各自解读的裂缝。 ## 分解段 —— 默认并行,串行必须给理由 - 只写**真实依赖边**,每条带理由:「B 依赖 A 因 <B 消费 A 的产物 X>」——且 **X 必须出现在 A 的写集清单里**(机器可锚)。写不出被消费产物的边,删——那是顺序偏好,不是依赖。 - **接口依赖就地消解**:B 只需要 A 的类型/签名/schema 而非实装 → 把该接口**冻进本 SDD**(契约段),边删掉,两片并行。接口从此是契约的一部分:A 的实装必须符合它,偏离 = 回流改契约,不是恢复边。(实例:内环 v2 切片 2 只消费切片 1 的 `SddSlice` 结构——冻进 SDD 即可并行,当时没冻,白等一层。) - **定稿前过一遍并行性审问**:串行率(关键路径长 ÷ 切片数,编译器 `parallelismReadout` 同口径)= 1 的链,逐边重跑上面两问再定稿;审完仍是真串行就如实保留——读数只点名,不否决诚实的线性分解。 - 切片表:| 切片 | 写集 | 依赖(带理由) | verify |。写集两两不相交 = 可并行的机器判据。 - **verify 列必须是可跑命令串**(如 `bun test src/x.test.ts`),不是验收点引用——G 点引用的家在契约段。编译器(sdd-compile)按首词白名单拒不可跑的 verify;写引用 = 这份 SDD 吃不到直通 v2,回落 conductor 铺图税(owner 2026-08-11 裁:直通就是为了消铺图税与墙钟)。全量回归命令不进 verify 列(它只属终局 accept,D-4)。 - ...