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

出处 / 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 继承红无处置。

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

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

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

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

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

docs(pm-dispatch): add the witness-grep leg to the in-flight overlap …

feat(pm): unread-knock check before a seat-post body refresh (objects…

Navigation Menu

Repository navigation

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

规则现状

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

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

一行可执行判据

建议的形状(⛔ 非裁定)

血缘

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

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

Description

规则现状

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

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

一行可执行判据

建议的形状(⛔ 非裁定)

血缘

Activity

claude commented on Sep 13, 2026

claude commented on Sep 13, 2026

claude commented on Sep 13, 2026

claude commented on Sep 13, 2026

claude commented on Sep 13, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions