Repository navigation
pm-dispatch: the selection order never reads priority:p1/p2/p3 — an older p3 outranks a newer p2 inside 「其余」; write priority into 取卡全序 #16352
Description
Activity
Blocked-by: #16004
Serial reading (skills seat, 15:1xZ): the line this card rewrites sits in SKILL.md's 候选与批次 block, which two open governed drafts are already editing — PR #16339 (flight A, the six protocol-line repairs; closes #16004) and the devx seat's PR #16271 (the #14944 Q1 B depth-hold rules, inserted directly under the batch cap line). A
git merge-treebetween those two heads already conflicts, so a third edit in the same block would only add a fourth re-fold. This card is dispatched after BOTH have merged (the label names #16004; the seat also reads PR #16271's state before dispatch), as its own XS flight on SKILL.md + core-rules.md + dispatch-runbook.md. The finding-threshold card #16351 filed in the same stroke does not wait: its lines are in other blocks, and its flight proves a clean merge-tree against both heads.
Generated by Claude Code
Rider recorded at flight I's ACCEPT (PR #16368):
references/dispatch-runbook.md's sweep-batch line 「范围外发现照旧单开」 reads as the old admission once the finding threshold lands; the SKILL.md flight that executes this card (with #16229 and #16372) already touches the runbook for the selection-order rationale line — fold that one-line update in, line-neutral.
Generated by Claude Code
Riders recorded at flight P's ACCEPT from #16104 sections 2–3, for this card's SKILL.md / runbook flight — each one line, rules-only, only if a fold pays: (a) the anchor-card convention's "first filer wins" requires a re-scan of the listing immediately before filing (two anchor cards were filed two minutes apart for one red
main); (b) the landing-watch timer text carries a code-form probe with a non-zero control by construction, so a mis-designed literal probe cannot be armed; (c) a dispatch order's paraphrase of code behaviour is a claim the dev measures — quote the ruling and the code, never a gloss (the template's 「measure it and contradict me」 line is the control).
Generated by Claude Code
Claim: PM loop round 9 — flight Z, the SKILL.md batch: five folds under the unchanged line pins (SKILL.md 811, core-rules 150, and each named reference's own ceiling), one governed PR. (1) #16386 乙 — the human-floor row gains the one-file exception for
references/platform-readings.md: an increment raises the ceiling to the landed line count without a decision card provided the seat's acceptance comment shows every fact verified and deduplicated (candidates / landed / already-present / declined), one line per fact, no re-wrapping counted; recorded inruledRaisesciting the standing ruling (5563909225). (2) #15803 §A option (c) — batch independence reads FILE SURFACE, not package; the exemption clause becomes the rule (region-level file-surface declaration in the claim; mergemainbefore opening the PR and again after a sibling lands; conflicts arbitrated by the merge queue, no manual PM ordering; same-file strictly serial), with the sentence that cross-file semantic coupling is caught by the queue's CI (5563910163). (3) #16352 — the selection order readspriority:p1/p2/p3where it readsp0today, in the order the card's ruling states. (4) #16372 — re-read the PR head before trusting anycheck_suite.completedevent. (5) #16343 — the director carve-out in the seat mutex, the seat-post protocol's multi-summon status form, the ratchet-map comment refresh.
Session:session_019RfFHiRCSs3JXLK4cwcfox
Branch:claude/issue-16386-skill-batch-62
Worktree:objectstack-issue-16386
Domain:domain:skills
File surface:.claude/skills/pm-dispatch/SKILL.md,references/core-rules.md, and whichever ofreferences/seat-post-protocol.mdand the ratchet map comment inscripts/pm/check-skill-line-ratchet.mjsthe five cards name — measured per card before editing; folds only, no ceiling raise.
Container & model: L,mode:subagent, fable —dispatch-gates.mjs --tier: MANDATORY on.claude/skills/pm-dispatch/SKILL.md; on a fable 429 the seat's exemption applies, opus, recorded here.
Clause-②: no
Serial: devx's PR #16271 (draft,mergeable_state: dirty) collides on 候选与批次 and owes the re-fold per note 5560027553; this flight branches fromorigin/mainand takes no proof against a dirty head — whichever merges second re-folds. T's PR #16437 is in the queue on the ratchet script's self-test region; mergeorigin/mainin after it lands or prove clean twice. Governed ⇒ draft PR, in-seat contract-tier review, then the seat requests os-zhuang + hotlong, addsneeds-user-decisionand posts the final 维护者速读; human merge. The PR carriesFixes #16386,Fixes #15803,Fixes #16352,Fixes #16372,Fixes #16343.
Generated by Claude Code
Report pointer (flight Z): this card is one of the five folded into draft PR #16486 (head 9390702); the
os-dev-reportfor the flight is the anchor comment on #16386 — #16386 (comment) — and the PR body lists this card's old line, new line and the fold that paid for it.
Generated by Claude Code
os-closed-card-sweep — machine-findable marker for this generated comment.
Removed the pm-loop state label(s) this closed card no longer claims:
pm:dispatched.- Closing pull request: docs(pm-dispatch): the batch #62 skill folds — file-surface batch independence, priority in the selection order, the readings-ledger ceiling exception, the suite-event head re-read, the director carve-out #16486, merged.
- Closing commit
aa0304d327, merged intomain. - Left untouched:
documentation,priority:p2,finding,domain:skills— ownership, priority and outcome are not state claims. - The label set was read back after the write and matched.
A state label claims work is in flight. This card is closed on a merged delivery, so the claim
is stale; every other label is left exactly as it was found. Nothing here is a judgement about
the card, and no verdict-bearing label is ever touched by this sweep.posted by half-state-patrol run 34097314575 · trigger
scheduleGenerated by Claude Code
Filed by the skills seat from a measurement taken while answering the maintainer's question about the
domain:uibacklog (2026-09-06T15:0xZ). The maintainer's expectation, verbatim: 「项目经理的技能不应该就是先派高优先级的任务吗」. The rule text does not say so forpriority:p1/p2/p3.The measurement
.claude/skills/pm-dispatch/SKILL.md, the 候选与批次 block, the selection order as written onmain(3e270d4):references/core-rules.mddigests it the same way (「取卡全序:插队卡、有下游依赖者的卡、发版板上项、缺陷卡、其余,同级按卡龄」), andreferences/dispatch-runbook.md's rationale line names p0, blocking, bug and age —priority:p1/p2/p3appear in none of the three. Onlyp0is read, as a queue-jump. Inside the 「其余」 level an older p3 outranks a newer p2, and a p3 typedBugoutranks a p2 finding of any age.The triage seat grades every card with a priority label; that label today changes what a human sees and nothing about what the machine takes. The seats that do take p1/p2 first (the
domain:uiseat's R1 this afternoon: one p1 + four p2 in flight) do so by judgment, which the next shift is free not to share.Live instance, objectui
domain:uipm:queueat 14:15Z: 124 cards —priority:p13,p245,p356, ungraded 20. Under the written order those 124 are one level ordered by age, with the 56 p3 cards (79 of the 124 arefindings) interleaved among the 45 p2.The rule to land
Write priority into the order, as one line in each of the three texts:
Bugis by that judgment less urgent than a p2 enhancement; type still breaks ties inside a level.pm:queuewith nopriority:*) sorts last and is named in the round report as a triage gap — it is not taken ahead of a graded card; it is not a reason to invent a grade at the execution seat (类型与优先级由分诊席唯一生产).This is what the maintainer's pushback on a "p3 freeze" asked for: no label moves, no parking of p3 cards; the queue stays whole and the machine reads the grade it already carries.
Acceptance
SKILL.md(811/811, pin 342),references/core-rules.md(150/150) andreferences/dispatch-runbook.md(241/241) say the same order; line-neutral, rules-only register.check-skill-line-ratchet,check-skill-id-lint,check-skill-frame-sync,check-governed-prose,check-half-states --self-test(no H-row pins the sentence — grep 取卡全序 overscripts/),check-governed-merges --testexit 3, whole-repo lint — exits captured before any pipe..claude/**): draft PR, seat review at contract tier,os-zhuang+hotlong,needs-user-decision+ 维护者速读, human merge.Serial plan
SKILL.mdis held by flight A (PR #16339) and the devx seat's PR #16271; this card folds into the SKILL.md half of the finding-threshold card filed in the same stroke (same file, same register, no conflicting ruling), with a merge-tree proof against both open heads.Generated by Claude Code