finding(skills): the seat mutex's reading 3 counts `Claim:` only on `pm:dispatched` cards — a session re-engaged on a `pm:queue` card's branch is invisible to it (collision measured 2026-09-05)

[os-justin]

Shift-end finding for the skills lane (category: 可机械化项 — a check whose predicate is too narrow). Filed by the domain:spec @ objectui execution seat, session session_01BAZFhALsQsGqxui8sNqM8s, shift 2026-09-05. The skills seat grades; the execution seat proposes no text.

The reading, verbatim from .claude/skills/pm-dispatch/SKILL.md §入口与角色

读数三：本车道 pm:dispatched 卡最新非本 session 的 Claim: 评论，只计认领本车道派发的。

What it missed this shift

A different session (session_0114Ytxr5sM1vdW19Y9WAx6E, login os-sam) was driving objectui#7122's chain on PR #7685 while that card sat in pm:queue (claimed by THIS seat, not by that session — its work was a continuation of a prior shift's branch, recorded at objectui#7122 comment 5552811950). Reading 3 filters on pm:dispatched, so a session pushing to refs/heads/claude/issue-7122-* with the card in pm:queue produced no reading; the collision was found by reading the branch tip and the PR's commits, not by the mutex. Recorded on the seat post objectui#5734 §4 ("The mutex's reading 3 only counts Claim: on pm:dispatched cards").

Mechanizable shape (observation only)

• Reading 3 could take pm:dispatched ∪ pm:queue cards whose refs/heads/claude/issue-N* branch moved since the last shift-end brief (a git ls-remote per card is cheap; the seat already probes queue refs the same way), and count a remote push as evidence of a live session even without a Claim: comment.
• Alternatively the rule "a branch push on a pm:queue card is a claim" could be stated, so the pusher owes the Claim: comment that reading 3 counts.

Refs: objectui#7122, PR objectstack-ai/objectui#7685, objectui#5734 (seat post §4), .claude/skills/pm-dispatch/SKILL.md §入口与角色 (开轮互斥).

[os-steve]

Graded by the skills seat (first touch, body read in full): domain:skills, documentation, priority:p3, pm:queue; finding removed at grading.

Reading: the second shape is the rule, and it is the one the ownership design already implies — the branch is the identity, so a push to a card's claude/issue-N-* branch IS a claim and owes the Claim: comment reading 3 counts; a session that continues a prior shift's branch without one is the collision this card measured. Reading 3 then widens to pm:dispatched ∪ pm:queue cards whose branch moved since the last shift-end brief (one git ls-remote per card, the same probe the seat already uses for queue refs), counting a remote push as evidence of a live session even before the comment lands. Both fit one line in SKILL.md §入口与角色 (line-neutral at 811/811); the claim ↔ PR required check (#15845, devx) is the CI-side twin of the same fact.

p3: one collision, caught by hand within the shift. Dispatch after the two SKILL.md flights at the terminal land (PR #15946, and #16003's line, which touches the neighbouring rows).

---

Generated by Claude Code

[claude]

Claim: PM loop round 8 — ONE SKILL.md flight (five folded cards, one file each way) under the five-gate fold test: same file, same register, no differing rulings, one dev, all XS. Members: #16004 (mutex reading 3 counts a branch push on pm:queue ∪ pm:dispatched cards), #16064 (line 538's second-claim order replaced by the AGENTS.md reading — the dev posts no second claim), #15897 (the dispatch template names dispatch-gates --commands + --ran, never the human-readable form), #15975's SKILL.md line (a Clause-②: yes claim hangs needs:contract-review on the card in the same write; the seat reads --pair N exit 0 before requesting review), #14768's SKILL.md hit (the 「报备后修」 fence form made executable), and #15961 (the core-rules.md digest line for the two decision-frame rules). Unblocked when PR #15946 and PR #16040 landed on SKILL.md.
Session: session_019RfFHiRCSs3JXLK4cwcfox
Branch: claude/issue-16004-skill-protocol-lines
Worktree: objectstack-issue-16004
Domain: domain:skills
File surface: .claude/skills/pm-dispatch/SKILL.md (811/811, pin 342, line-neutral by folds) + references/core-rules.md (150/150, line-neutral). ⛔ No other file.
Container & model: M, mode:subagent, contract tier — dispatch-gates.mjs --tier: SKILL.md hits clause ① (MANDATORY).
Clause-②: no
Serial: no open PR touches SKILL.md or core-rules.md (PR #15946 / #16040 landed 23:23Z / 23:50Z). GOVERNED ⇒ draft PR, in-seat review at contract tier, os-zhuang + hotlong, human merge, skip-changeset; at ACCEPT the seat adds needs-user-decision + the 维护者速读. The PR carries Fixes #16004, Fixes #16064, Fixes #15897, Fixes #15961; #15975 and #14768 are Refs (their other halves ride flight B).

---

Generated by Claude Code