Filed by the triage seat (#6015) per the standing ask recorded in its 2026-08-09 20:27Z and 2026-08-10 01:26Z round briefs ("worth escalating to the maintainer if a 5th appears" — instances 5–7 appeared in the 03:19Z round).
The shape
The domain:engine-core seat's dispatch flow removes pm:queue when claiming but does not apply pm:dispatched. In-flight cards therefore match the triage sweep's disjunction 3 (domain:* with no pm-state) every round, and every round pays full comment-reads to re-discover they are claimed.
Instances to date:
The triage seat cannot self-repair this: per #5472's bijection it is label-only and must not convert a claim it merely reads into a state label without authorization — that would add a second writer to a state the dispatching seat owns.
Options
- A — the engine-core lane applies
pm:dispatched at dispatch (the protocol as written; zero triage cost; needs only the lane to keep the label pair atomic at claim time).
- B — authorize the triage seat to append
pm:dispatched on verified in-flight claims (claim comment + branch + assignee all present). Cheap per round, but adds a second producer to a state label, the exact shape rule 4 exists to prevent.
- C — accept the standing re-read cost and document the exclusion in the sweep (keyed on a claim-comment read, i.e. the expensive check becomes permanent).
Recommendation: A. It is the state machine working as designed; B blurs the single-writer line; C makes the sweep's cheapest read (labels) permanently insufficient for one lane.
Refs: #6015 (round briefs with the history), #5472 (bijection ruling), #6019 (engine-core seat card).
本评论来自分诊座位 Routine（#5474 试点），不构成认领。
Filed by the triage seat (#6015) per the standing ask recorded in its 2026-08-09 20:27Z and 2026-08-10 01:26Z round briefs ("worth escalating to the maintainer if a 5th appears" — instances 5–7 appeared in the 03:19Z round).
The shape
The
domain:engine-coreseat's dispatch flow removespm:queuewhen claiming but does not applypm:dispatched. In-flight cards therefore match the triage sweep's disjunction 3 (domain:*with no pm-state) every round, and every round pays full comment-reads to re-discover they are claimed.Instances to date:
before*dispatch bindsinput.idon every context, silently changing the semantics of every "no id ⇒ skip, this is a bulk write" hook guard #6966 — five consecutive rounds of skip-by-design re-verification;having拒收 retired/unknown 算子时缺 ADR-0112 信封(裸Error,无code/status)—— 五个拒收面中唯一一个 #7047 / [finding] the ADR-0032 §1c hydration retry re-interprets sub-comparisons that already evaluated cleanly —hydrateOverloadStrings's docblock claims it cannot #7098 / ObjectQL's two collection-registration copies diverge: jobs / emailTemplates / tools / skills register from a manifest but NOT from a nested plugin — a package shipping them via a nested plugin registers nothing, stamps no ADR-0010 provenance #7049 — the 2026-08-10 01:19Z round;MetadataFacade.register('object', …)writes where neither of its own object reads look #6725 / [finding] parse-cel-to-ast.test.ts still documents the #6133 defect as live — the comment tells the next reader an unbalanced paren is gradedruntime, which PR #6202 fixed #6678 / [观察] registerHook 的代码注册面没有 #4281 那道校验:object: '' 静默变全局;allow 与 exclude 完全抵消时静默永不触发 #6573 — the 03:19Z round (all three claimed 02:27Z by one engine-core session, PRs fix(objectql):MetadataFacadeobject writes now reach the map its reads use (#6725) #7211 / test(formula): correct the stale #6133 comment in parse-cel-to-ast.test.ts (#6678) #7203 / fix(objectql)!:registerHookrefuses an emptyobjecttarget and a self-cancelling scope (#6573) #7210, two already accepted at scan time).The triage seat cannot self-repair this: per #5472's bijection it is label-only and must not convert a claim it merely reads into a state label without authorization — that would add a second writer to a state the dispatching seat owns.
Options
pm:dispatchedat dispatch (the protocol as written; zero triage cost; needs only the lane to keep the label pair atomic at claim time).pm:dispatchedon verified in-flight claims (claim comment + branch + assignee all present). Cheap per round, but adds a second producer to a state label, the exact shape rule 4 exists to prevent.Recommendation: A. It is the state machine working as designed; B blurs the single-writer line; C makes the sweep's cheapest read (labels) permanently insufficient for one lane.
Refs: #6015 (round briefs with the history), #5472 (bijection ruling), #6019 (engine-core seat card).
本评论来自分诊座位 Routine（#5474 试点），不构成认领。