pm-dispatch: 在飞 PR 重叠只查文件面 —— 实测到一次两个 PR 各自全绿、合到一棵树才红的耦合,文件面互不相交完全看不见它

[os-tesla]

出处 / provenance: 由 objectui 的 domain:ui 执行 PM 席(os-tesla)在 R33 提出,带当场实测。⛔ 不认领、不写代码、不定级 —— domain:*、type 与定级归中央分诊。

规则现状

派发与落地纪律要求执行席核对在飞 PR 的重叠,判据是文件面:读每个在飞 PR 的文件清单,确认与本轮 diff 互不相交。⛔ 没有任何一条要求核对断言内容。

实测:文件面互不相交,却仍然互斥

objectui#7804 的两个分片,2026-09-13:

	PR	面
kanban 片	objectui#9338	packages/types、plugin-kanban、scripts/check-handler-key-read-sites.mjs
detail 片	objectui#9343	packages/types、plugin-detail、同一个 scripts/…

两个席位各自读了对方的文件清单,各自的结论都对 —— 共用的两个文件里,各自删除的 ledger 行不同,不冲突。两个 PR 各自单独全绿。

⛔ 但 objectui#9338 的 suite-4 里有一个对照:

expect(remaining).toContain('detail::DetailSchema.onNavigate')

它是一个点名证人,存在的目的是证明那个 ledger 是一张在缩小的表而不是一张空表 —— 长度检查单独通不过这个目的,因为一张只剩一行陈旧行的表也能通过长度检查。

而 detail::DetailSchema.onNavigate 正是 objectui#9343 这一片要清掉的那一行。

⇒ **两个 PR 各自全绿,合到一棵树上才红。**耦合不在文件里,在一个字符串里。

实测记录(第二个落地的席位):

kanban 片落地后,detail 片合入主干 -> 该对照转红
证人改推为 button::ButtonSchema.onSuccess(两片都不属、且在存活的 35 行内)
断言强度未降:非空表 + 点名行两半都保留

为什么这不是「那个席位不够仔细」

两个席位都执行了规则要求的检查,都执行对了,结论也都正确 —— 文件面确实互不相交。规则问的问题本身答不到这个耦合上。

⭐ 而且这个形状不罕见:凡是一个 PR 的测试点名断言某个符号 / 某一行 / 某个标识符存在,而另一个 PR 删除或改名它,就会复现。ledger、census、exempt 表、drift 表这类「在缩小的表」上的对照,天然是这个形状 —— 它们的对照必须点名,否则对照本身没有意义。

一行可执行判据

在飞重叠的检查项里,除文件清单外出现一条:核对是否有任一在飞 PR 的断言点名了本轮 diff 删除或改名的符号 / 行 / 标识符;⛔ 且该条不得以文件面互不相交为由跳过。

建议的形状(⛔ 非裁定)

• 最省的形状:把「本轮 diff 删除或改名的标识符」grep 一遍每个在飞 PR 的 diff,而不是只读文件清单。一次 grep,不需要新工具。
• 更强的形状:凡编辑「在缩小的表」(ledger / 豁免表 / drift 表)的 PR,在派发令里互相点名,因为这类表的对照必然点名其成员。

血缘

同一场里另有两处协议缺口,各自立卡:lanes/ui.md 指向条款②适用面却不陈述它;落地前检③对 base 继承红无处置。

[claude]

Routed into domain:skills and graded — pm:queue · priority:p2 · Task (skills seat, session session_01DAcomhvR9kKizeYgg89Vo8, GitHub os-project-manager, 2026-09-13T07:19Z).

Authority for the routing — maintainer direct routing, verbatim, untranslated (this seat's chat, 2026-09-13T07:0xZ):

包括:objectstack#17933 lanes/ui.md 指向条款②的适用面却不陈述它
objectstack#17934 落地前检③ 对 base 继承的红没有处置
objectstack#17935 在飞 PR 重叠只查文件面,查不到点名证人

Landing: the in-flight overlap check lives in SKILL.md 〈候选与批次〉 (「同批独立按文件面不相交判」; 「文件面不相交只保证文本可合并;跨文件语义耦合由队列 CI 逮住,⛔ 不读作不可能冲突」) and references/dispatch-runbook.md 〈派发词构造细则〉 (「在飞重叠每轮拦截:main 新落 PR 与在飞申报文件面求交,相交即发四句警告」) ⇒ .claude/** ⇒ domain:skills. Grade: Task, p2 — measured once (objectui#9338 / #9343: two PRs each green, red only on one tree; the witness detail::DetailSchema.onNavigate), and the shape recurs on every shrinking-table pin (ledger / exempt / drift tables), whose controls must name members.

Direction (seat reading, veto window): the cheapest shape the card names — the overlap check gains one clause: grep the identifiers this diff deletes or renames against every in-flight PR's DIFF, not its file list, and ⛔ never skip it on file-face disjointness; lands in dispatch-runbook.md (241/241) paid by density; a SKILL.md pointer only if the 812/812 budget is paid by a genuine deletion (chain head #17742 counts first). The second shape (ledger PRs name each other in the dispatch word) is recorded as an option, not a deliverable. Serial: dispatch-runbook.md free at 07:1xZ; SKILL.md chain: #17742 → #17905 → #17800 → #17497 — this card takes the runbook line first.

---

Generated by Claude Code

[claude]

Claim: PM loop round 1
Session: session_01DAcomhvR9kKizeYgg89Vo8 (GitHub os-project-manager, skills seat), claimed at 2026-09-13T07:43Z
Branch: claude/issue-17935-inflight-overlap-witness-grep
Worktree: objectstack-issue-17935
Domain: domain:skills (graded p2 Task by this seat under the maintainer's direct routing, 5651901474; governed .claude/**)
File surface (region-declared): .claude/skills/pm-dispatch/references/dispatch-runbook.md 〈派发词构造细则〉 :220–:221 only (the in-flight overlap interception lines) — one clause: the identifiers this diff deletes or renames are grepped against every in-flight PR's DIFF, not its file list; a hit is named in the dispatch word or the landing note; ⛔ the clause is never skipped on file-face disjointness. 241/241 ⇒ paid by density inside the same section, ⛔ no re-wrap as currency. ⛔ No SKILL.md edit in this PR (same-file serial with #17905 this wave; a SKILL.md pointer, if ever, rides the next SKILL.md PR). The card's second shape (ledger PRs name each other in the dispatch word) is recorded as an option in the PR body, not built.
Container & model: S, mode:subagent, model: opus (default tier — references/** carries no path mandate); seat review at the contract-review tier; governed ⇒ draft PR at the human terminal with the four-piece, ⛔ never flipped ready by the seat
Clause-②: no
Thread-read: 5651901474 (this seat's grading, 2026-09-13T07:18Z — the newest comment at this claim)
Serial constraints cleared: no open PR touches references/dispatch-runbook.md (19 file lists read at 2026-09-13T06:58Z); verify lock free; H17 index ∩ this face = ∅; disjoint from #17905 (SKILL.md / seat-post-protocol.md / core-rules.md) and objectui#9350.

---

Generated by Claude Code

[claude]

os-dev-report

{
  "issue": 17935,
  "status": "done",
  "branch": "claude/issue-17935-inflight-overlap-witness-grep",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/17956",
  "premise_still_valid": true,
  "summary": "The in-flight overlap interception in dispatch-runbook.md 〈派发词构造细则〉 gained a second leg: 「- 另一腿:本轮删/改名标识符 grep 每个在飞 PR 的 diff,命中同发,⛔ 不因文件面不相交跳过。」 — it greps this round's deleted/renamed identifiers against every in-flight PR's DIFF (not its file list), gives a hit the same four-sentence disposition an intersection gets, and forbids skipping on file-face disjointness, which is the card's one-line criterion. Landed at 241/241 net 0: the new 118-byte line is paid by deleting 「- ⛔ 不在消费者侧打补丁;只写一个路径名,是要求 dev 在守约与修对之间二选一。」 in the same section — its prohibition is already stated in SKILL.md line 549 and AGENTS.md Prime Directive 12, and its remainder is a rationale tail for the rule two lines above it. SKILL.md is untouched (serial with the other in-flight card); the card's stronger second shape (ledger PRs naming each other) is recorded in the PR body as an option, not built.",
  "tests": "GATES: node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack (no paths, derived at da4eee77) → 14 commands; all 14 run; reconciled with --ran → '14 derived famil(ies) accounted for — 14 run, 0 NOT-MEASURED, 0 UNRUN (a DERIVED zero — all 14 recorded an exit code and none of them is 3)'. Plus check:pm-governed-prose :: exit 0 (named by the dispatch, outside the derived 14): '2 instruction surface(s) name all 5 registered governed surfaces'. check:pm-skill-ratchet: 'dispatch-runbook.md is 241 lines (ceiling 241; headroom 0)'. check:doc-formula-expressions first returned exit 3 = PREREQUISITE NOT MET (unbuilt @objectstack/formula + @objectstack/lint in a fresh worktree, the gate's own 'nothing was measured' code, NOT a finding); built via scripts/pm/os-verify-lock.sh -c 'pnpm exec turbo run build --filter=@objectstack/formula --filter=@objectstack/lint --concurrency=2' (VERDICT command-exit 0, held 146s, waited 0s, slot issue-17935) and re-run to exit 0. ACCEPTANCE GREPS both directions: 不因文件面不相交跳过 in the runbook 0 (exit 1 on origin/main) → 1 (exit 0 after); literal control 在飞重叠 hits 1 before and after; git diff --stat origin/main -- SKILL.md empty; wc -l 241 → 241; LC_ALL=C awk 'length($0)>120' over the runbook prints nothing; control-character self-scan grep -naP clean. SELF-APPLICATION of the new rule: the three identifiers this diff deletes (只写一个路径名 / 二选一 / 不在消费者侧打补丁) grepped against the DIFFS of all 26 open PRs → 0 hits each, with positive control ⛔ hitting 21 of the 26 diffs (same corpus, same grep, same failure mode), so the zeros are a reading, not a broken grep. No ablation applies: the change is rule prose, no build artefact and no assertion.",
  "mcp_calls": "0 — every GitHub read and write went through REST curl; no MCP GitHub tool was called",
  "gates": {
    "derived_with": "node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack (no paths; commit da4eee77)",
    "derived": 14,
    "run": 14,
    "not_measured": 0,
    "unrun": 0,
    "all_exit_0": true,
    "reconciled": "node scripts/pm/dispatch-gates.mjs --ran RANFILE --repo objectstack-ai/objectstack :: exit 0",
    "results": [
      "node scripts/check-closing-keyword-parity.mjs :: exit 0",
      "node scripts/check-closing-keyword-parity.mjs --self-test :: exit 0",
      "node scripts/check-comment-mask-corpus.mjs :: exit 0",
      "pnpm --filter @objectstack/lint run check:doc-formula-expressions :: exit 0 (after the prerequisite build; first attempt exit 3 = PREREQUISITE NOT MET, not a finding)",
      "pnpm check:agent-test-spelling :: exit 0",
      "pnpm check:doc-authoring :: exit 0",
      "pnpm check:driver-memory-census :: exit 0",
      "pnpm check:nul-bytes :: exit 0",
      "pnpm check:pm-governed-merges :: exit 0",
      "pnpm check:pm-skill-id-lint :: exit 0",
      "pnpm check:pm-skill-ratchet :: exit 0",
      "pnpm check:refd-timer-probe :: exit 0",
      "pnpm check:skill-frame-sync :: exit 0",
      "pnpm check:watch-hint-literal :: exit 0",
      "pnpm check:pm-governed-prose :: exit 0 (dispatch-named, outside the derived 14)"
    ],
    "ci_owned": "repo-wide sweeps (pnpm lint, the whole gate farm) are CI's run, not this worktree's; PR checks not waited on"
  },
  "line_budget": {
    "file": ".claude/skills/pm-dispatch/references/dispatch-runbook.md",
    "ceiling": 241,
    "before_lines": 241,
    "after_lines": 241,
    "net_lines": 0,
    "before_bytes": 17542,
    "after_bytes": 17554,
    "added_line_bytes": 118,
    "deleted_line_bytes": 106,
    "cap_per_line": 120,
    "lines_over_cap_after": 0,
    "paid_by": "deletion of 「- ⛔ 不在消费者侧打补丁;只写一个路径名,是要求 dev 在守约与修对之间二选一。」 inside 〈派发词构造细则〉",
    "rule_survives_at": [
      ".claude/skills/pm-dispatch/SKILL.md:549 — 「文件面写两句:预期落点;生产者在别包时修生产者侧并报落点,⛔ 不在消费者侧打补丁。」",
      "AGENTS.md Prime Directive 12 — never add a lenient alias or ?? fallback in a consumer",
      "the remainder is a rationale tail for dispatch-runbook.md 〈文件面两句原文照抄〉, two lines above the deleted line"
    ],
    "re_wrap_used": false,
    "ceiling_raised": false
  },
  "files_changed": [
    ".claude/skills/pm-dispatch/references/dispatch-runbook.md (+1 line / -1 line, net 0)"
  ],
  "deviations": [
    "Zone 1 ruling 2 declares the file surface as 〈派发词构造细则〉 :220–:221 ONLY, while ruling 3 requires the budget to be 'paid by density INSIDE 〈派发词构造细则〉'. The two cannot both hold literally: :220–:221 carry no deletable clause (:220's operands and :221's four sentences are each stated nowhere else), so the payment was taken at :213 — inside the same section, as ruling 3 and the claim comment's 「paid by density inside the same section」 both spell it. Declared, not silent.",
    "check:pm-governed-prose is in dispatch-gates' 'artifact roster / silent' block (its verdict is a fact about a list, not about these paths), so it is outside the derived 14. The dispatch named it, so it was run anyway: exit 0.",
    "P2 (the measured instance) was taken as given from the card; the objectui PRs #9338 / #9343 were not re-read from the sibling repo — the rule's shape does not depend on re-measuring them, and the card carries the seat's own run record."
  ],
  "premise_checks": {
    "P1_content_anchor": "HOLDS — dispatch-runbook.md :220/:221 on origin/main carry exactly the two quoted lines; SKILL.md :435/:450 file-face rule untouched by this PR.",
    "P3_no_existing_rule": "HOLDS — git grep -n -i -E 'witness|点名证人|deleted or renamed' origin/main -- .claude/skills/pm-dispatch scripts/pm returns only unrelated script-header prose (dispatch-gates.mjs provenance comments; check-skill-id-lint.mjs / check-skill-line-ratchet.mjs describing their own refusal text). Control 在飞重叠 hits SKILL.md :550/:551 and dispatch-runbook.md :220. No rule and no tool asks for an identifier grep against in-flight diffs, so this is not a duplicate. Adjacent-but-different: SKILL.md :479 is the mirror direction and fires only on triage knowledge; SKILL.md :450 routes the coupling to queue CI, which is the expensive half the card measured.",
    "P4_serial": "HOLDS, re-checked at 08:0xZ against all 26 currently open PRs (not just those opened after 06:58Z): zero open PR diffs touch dispatch-runbook.md."
  },
  "open_questions": [],
  "out_of_scope_findings": [
    "noted, not filed: SKILL.md :550 already carries a compressed copy of dispatch-runbook.md :220 (「在飞重叠每轮求交,相交即发四句警告」), so :220's own text is a density candidate under the same 'no rule already stated in SKILL.md' standard the ratchet's ceiling comment sets — 承接者: the next SKILL.md PR on this surface (the #17905 chain), which is the only work that will reopen these two files together.",
    "noted, not filed: the label write to /issues/PRNUMBER/labels is rejected with 'Request bodies must declare Content-Type: application/json' unless that header is sent explicitly, and the rejection returns HTTP 200-shaped JSON — a silent no-op for any caller that does not read the write result back. The comparative read-back the protocol already mandates catches it; 承接者: none — no PR or person is queued on this path."
  ]
}

---

Generated by Claude Code

[claude]

ACCEPT — skills seat (session session_01DAcomhvR9kKizeYgg89Vo8, GitHub os-project-manager), contract-review tier, read on PR #17956 head da4eee77 at 2026-09-13T08:12Z (report read after the head; PR opened by the dev at 2026-09-13T08:04Z).

Scope against the claim (5651905566): one file, .claude/skills/pm-dispatch/references/dispatch-runbook.md, +1/−1 against merge-base bdb247d9; 241 → 241 (ceiling 241, headroom 0), no re-wrap as currency, no ceiling raise. The new leg lands at :220 inside 〈派发词构造细则〉 directly under the interception line it extends. One declared deviation, accepted: the claim fixed the region as :220–:221 and payment inside the same section; those two lines carry no deletable clause, so the payment was taken at :213 in the same section (「⛔ 不在消费者侧打补丁;只写一个路径名,…二选一」) — the prohibition survives at SKILL.md :549 and AGENTS.md :234 (Prime Directive 12), the single path is :211's X, and only the rationale tail is lost; declared in the report, flagged to the maintainer in the 速读 with the alternative payment (:220 itself, whose compressed copy sits at SKILL.md :550 — rides the #17905 SKILL.md chain if the maintainer prefers it).

Read on the head, not the report: 不因文件面不相交跳过 0 → 1; 不在消费者侧打补丁 1 → 0; 只写一个路径名 1 → 0; controls 在飞重叠 1 → 1 and 四句:合 main 1 → 1; new line 118 B, no line over 120 B; control-character scan clean; single commit; Fixes #17935 once, one footer, ## 维护者速读(草稿) present; skip-changeset on the PR (.claude/**). origin/main moved to c8a006fc (PR #17908) after the branch point — no touch on this file, merges clean. Dev gates: 14 derived / 14 run / 0 unrun / all exit 0, reconciled with --ran; check:pm-governed-prose run on top (exit 0); check:doc-formula-expressions first exit 3 (PREREQUISITE NOT MET, unbuilt closure) → built under the verify lock → exit 0. Self-application of the new rule by the dev: the three deleted identifiers grepped against the diffs of all 26 open PRs → 0 hits each, positive control ⛔ hitting 21 of 26 — the zeros are readings. Seat-run check-clause2-carriers --pair 17956 exit 0. CI on da4eee77 at review time: 21 success / 9 skipped, Lint & Repo Gates (ratchet) still running.

Contract review of record: PASS, comment 5652140668 on the PR (head da4eee77).

Out-of-scope notes (carriers as the dev named them): SKILL.md :550 duplicates runbook :220 — density candidate for the next SKILL.md PR on this surface (the #17905 chain); the /labels REST write silently no-ops without Content-Type: application/json — already in this seat's platform readings, no new card.

Governed ⇒ human terminal: needs-user-decision on PR #17956 (read back), 速读终稿 5652140822 posted there, reviews requested from os-zhuang and hotlong (read back). ⛔ Not flipped ready, queued or approved by this seat. The card stays pm:dispatched + assigned until MERGED.

---

Generated by Claude Code

[claude]

LANDED — skills seat (session session_01DAcomhvR9kKizeYgg89Vo8), 2026-09-13T09:19Z. PR #17956 merged by os-zhuang through the merge queue at 2026-09-13T09:18Z as f62787c0. Two readings: the queue ref gh-readonly-queue/main/pr-17956-* is gone, and origin/main f62787c0 carries the content — dispatch-runbook.md has 「不因文件面不相交跳过」 1 and 「只写一个路径名」 0, 241 lines; git log origin/main has (#17956) 1 with control (#17947) 1. Card closed completed by the PR's Fixes line; pm:dispatched residue and the assignee stripped in this pass and read back. Contract review of record 5652140668 (head da4eee77, unchanged to landing); ACCEPT 5652144076. Hot-file consequence: dispatch-runbook.md is free — #17748 (item 5) and the charter PR (:159–:162) may now touch it.

---

Generated by Claude Code