Skip to content

Commit dcffe20

Browse files
committed
fix(pm): the carry-over arm — a merge-forward's own paths are not a hand edit
The ruled criterion reads 'every touched path is a generated artefact OR the merge commit's own carry-over from main'. Round 1 implemented only the first arm, so a head-to-head diff read every path main carried over as hand-written and the exception never fired on the loop the card measured. The second arm, machine-read on committed trees: a path this pull request never touched at EITHER head moved only because the base moved. The PR's own delta is read once per head (merge-base + one name-only diff), which is the same verdict as a per-path diff comparison at four calls instead of two per path. A run naming no base ref is UNJUDGED, never clean. The reference text returns to its ceiling: the exception compresses to one line, and the duplicated-and-drifted --pair exit table retires to the checker's own header, which is the authority on that detail. Claude-Session: https://claude.ai/code/session_01Wnstp2kTth7sGXfr8fXypc Co-authored-by: Claude <noreply@anthropic.com>
1 parent 180ce09 commit dcffe20

3 files changed

Lines changed: 150 additions & 67 deletions

File tree

‎.claude/skills/pm-dispatch/references/contract-review.md‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,7 @@
1818
- FAIL 同 PASS 剥双载体:同笔留卡上交接评论(引复审、独立性对、欠改);卡态与 assignee 不动。
1919
- 重挂前先查裁决:闸门标签缺失 ⇒ 先 grep 卡评论找复审结论;`get_reviews` 读空 ≠ 未复审。
2020
- PASS + 无标 + head 未动 = 已清标不是被剥;head 后移或无结论才重挂;清标缺引记录即半态。
21-
- 例外:纯重生成的 head 后移不重挂,原记录继续管;判据机器读已提交树 ⛔ 非席位自述。
22-
- 判据 = 两 head 间非 `merge=os-regen` 路径为空;PR 落 `Regen-provenance: 记录id · 旧head → 新head`。
21+
- 例外:纯重生成 head 后移原记录继续管;判据机读已提交树 ⛔ 非自述;PR 落 provenance 行。
2322

2423
## 复核归属与资格(按面)
2524

@@ -42,7 +41,6 @@
4241
- 轮次报告设复审清单专节,形状与代裁清单同为强制审计。
4342
- 落地前检三条,过则 Tier S 入队、Tier H 等人批:① 达档条款②复核 PASS 在案(同形记录)。
4443
- ② 双载体已清,逐对机读 `PM_SWEEP_REPO=仓 node scripts/pm/check-clause2-carriers.mjs --pair N`。
45-
- 0 = 确定性行全清;4 = 任一不成立,只确定性行红才挡落地;3 = 环境答不了 ⛔ 不作干净。
4644
- 确定性行 = 记录在案、`Served-tier:`、双载体一致、认领形;C5 放宽 tell 只报告,归复核裁。
4745
- ③ PR check 全绿,⛔ 非 required 子集;例外:merge-base 同签名的红不计、按设计而红见 SKILL.md。
4846
- 签名 = 失败步 + 首错行,读 base check runs 的 API ⛔ 不凭口述;主干红止血立单不变。

0 commit comments

Comments
 (0)