Skip to content

contract-review.md

Latest commit

 

History

History
60 lines (53 loc) · 4.78 KB

contract-review.md

File metadata and controls

60 lines (53 loc) · 4.78 KB
Raw

契约复核细则(席内)

见 SKILL.md 〈入队与落地〉的条款②闸门;本文只放载体纪律、归属资格与降档保险丝。

载体纪律(挂与清)

  • 内容肢及于 published skills/**:作可证伪的算子或契约语义主张的改动挂标走本复核。
  • ⛔ 判据不是提到契约:纯算子清单、拼写、格式不触发。
  • 受管面人工合并 ⛔ 不替代复核,两道保障叠加。
  • Clause-②: yes | no 按设计临时:只定是否必过契约复审档复核的保守方向,⛔ 非终审。
  • 删误拒的 Clause-②: no 附 Contract-text: 引已发布契约文本,双载体同载;缺引即缺申报。
  • 真闸门在 PR 或报告时点的档位复核;声明被档位推翻 ⛔ 不作席位过失。
  • 机械地板 claim 时可查树:新导出符号或已发布载荷上的新键恒 yes,锁契约复审档复核。
  • conformance 类 ⛔ 不机械化:填充已声明字段、在两个已发布码之间重选输入类都需判断。
  • claim 拿不准 ⇒ 按 yes 挂标走契约复审档复核;⛔ 不建全量分类学与 claim 时决策程序。
  • PR 与卡双载体同笔挂:PR 一存在即挂;报告先于 PR 到达则先挂卡侧,ACCEPT 时补齐 PR 侧。
  • 同笔在卡上记一行条款②认定;停靠只防误入队,⛔ 无等外部席位的无限期状态。
  • 前瞻的条款②事实住卡上裁决与分诊评论、Clause-② 申报和 --tier 输出。
  • 开着的载体恒 = 真实待审。
  • 载体不迁移:⛔ 不迁 PR review 或 Request Changes,⛔ 不为迁移留门。
  • FAIL 同 PASS 剥双载体:同笔留卡上交接评论(引复审、独立性对、欠改);卡态与 assignee 不动。
  • 重挂前先查裁决:闸门标签缺失 ⇒ 先 grep 卡评论找复审结论。
  • PASS + 无标 + head 未动 = 已清标不是被剥;head 后移或无结论才重挂。
  • get_reviews 读空 ≠ 未复审。

复核归属与资格(席内)

  • 归属该卡派发席,交付后收集复核当轮席内完成。
  • 审的是低档实现者的契约增量,非自身产物。
  • 契约判断清单逐项落卡或 PR 评论,⛔ 不是散文自述。
  • ① derived judgments 逐项:diff 引出的接受集与公开面变化逐条点名判对错。
  • ② semver 定级:变更级别与 changeset 声明一致。
  • ③ 边界旗处置:dev 挂旗与 open_questions 逐旗答复或升级。
  • 独立性件:契约判断真分叉、或 dev 挂旗待裁 ⇒ 起上下文隔离的复核子代理出第二意见。
  • 只喂卡片、既有裁决与 PR 本体,⛔ 不喂派发令与派发席自己的结论;简报写成对抗性。
  • 裁决载独立性对(机读):产出 diff 的身份写 Implemented-by:,出裁决的席位写 Reviewed-by:。
  • mode:subagent dev 记其分支 claude/issue-…(子代理无自有 session);mode:remote dev 记 session id。
  • 两者同 session ⇒ 报 SELF-REVIEW,⛔ 不作独立复核;两行皆无的历史裁决恒静默。
  • 放行 = 清标即落地:PASS ⇒ 同席同笔剥双载体,清标同笔留 provenance 评论引该 PASS。
  • 随后按 landing-operations.md 走落地前检 → 转 ready → 挂 auto-merge 或入队。
  • 轮次报告设复审清单专节,形状与代裁清单同为强制审计。
  • 落地前检三条:① 席内契约档 PASS 在案,即卡上的达档裁决评论。
  • ② 双载体已清,逐对机读 node scripts/pm/check-clause2-carriers.mjs --pair PR-NUMBER。
  • 该命令 0 = 双肢一致且无放宽 tell,4 = 任一不成立,3 = 环境答不了;⛔ 3 不作干净。
  • 放宽 tell 由 scripts/pm/check-widening-tells.mjs 判,no 撞新键/成员/导出/登记即拒,附 file:line。
  • ③ PR 全部 check 全绿,⛔ 非 required 子集;受管面不适用,draft-only 终局不变。
  • 外部评审链是可选事后审计:分诊定时轮与总监席召唤 ⛔ 不是放行必要条件。

降档保险丝(机读)

  • 席内复核与审计每场前必读一次服役档,读法与陷阱见 platform-readings.md。
  • ⛔ 自述档位不是读数;读数 ≠ CONTRACT_REVIEW_TIER ⇒ 该席 ⛔ 不自判清标。
  • 改走转录核验的复核子代理;标签在复核完成前原样留置,卡在队列外等待是安全态。
  • 保险丝只测座位自会话:mode:subagent 里 get_session 量的是派发会话,⛔ 不作互证。
  • 传参只是配置 ⛔ 不作达档读数;条款②的 mode:subagent 派发恒保留标至席内复核完成。
  • 转录档位核验:采信或清标前 grep 子代理 transcript 中 harness 逐消息盖章的 model 字段。
  • 产出裁决的每轮都须读到契约复审档位,见回退证据 ⇒ 裁决整体作废。
  • 父会话只有两个合法动作:逐字采纳,或整体作废(核验失败、越范围、格式不完整)。
  • ⛔ 永不改写、删节或润色子代理裁决。
  • 契约复核 ⛔ 不适用额度耗尽豁免降档:豁免对象是派发,复核正为补偿低档派发而存在。