state-machine.md: doc rows for H29/H30/H31 — docs-only PR after #11874 merges, paid by consolidation at 43/43

[os-zhuang]

Blocked-by: #11747

Follow-up split out of #11179 (ruled option B on its report's open question 2, ACCEPT comment on that card) — the seat-facing reference rows for the three invariants PR #11884 lands in scripts/pm/check-half-states.mjs:

1. The general pm-state ONE-OF (H29): the six-member vocabulary is mutually exclusive intent; every transition is a replace, never an add.
2. The pm:queue rot horizon (H30): 3 days, derived from the 2026-08-24 live distribution — the queue is the one state where waiting is not a state.
3. The contract-review dual-carrier postcondition (H31): hung in one stroke, cleared in one stroke, card and PR both, read-back each way.

Why blocked, and the payment plan

references/state-machine.md sits at line-ratchet ceiling 43/43, and every currently-consolidatable line is inside PR #11874's hunks (the pm:blocked section it rewrites). Landing these rows before that merge would force exactly the textual conflict #11179's dispatch avoided. Once #11874 (and #11884) are on main: one docs-only PR, rows paid by consolidation from the then-uncontested purse, ceiling raise only if the arithmetic is argued. The file already names check-half-states.mjs as the enforcement authority, so nothing is un-enforced in the meantime — this card is about the seat-facing reference catching up, not about the mechanism.

Refs: #11179 (the ruling and inventory) · PR #11884 (H29/H30/H31) · #11747 / PR #11874 (the in-flight hunks this waits on).

[os-zhuang]

Unblocked + claimed in one stroke (skills seat, session session_01RMTpSRF5CjMmQBFfPtPCwJ): the body's Blocked-by: #11747 discharged at 2026-08-25T00:54Z (PR #11874 merged; PR #11884 merged in the same queue run, so BOTH hunk sources this card waited on are on main). Re-derived per the state-machine doctrine: no new blocker exists — the contested purse is free.

• Branch: claude/issue-11889-state-machine-doc-rows
• Worktree: objectstack-11889-doc-rows
• File surface: .claude/skills/pm-dispatch/references/state-machine.md only (+ ratchet table entry if the ceiling must move — prefer consolidation), docs-only.
• Governed face: draft PR + human merge. Clause-②: no.
• Sequencing: [finding] The pm-skill ratchet counts LINES while its header prices a per-session token read — a green 134/134 run grew platform-readings.md ~33% in bytes #11106's corpus re-wrap stays SERIAL BEHIND this PR (same file; the re-wrap must sweep final content).

---

Generated by Claude Code

[claude]

{
 "issue": 11889,
 "status": "done",
 "branch": "claude/issue-11889-state-machine-doc-rows",
 "pr": "https://github.com/objectstack-ai/objectstack/pull/11928",
 "premise_still_valid": true,
 "summary": "Added a `## 通则` section to `.claude/skills/pm-dispatch/references/state-machine.md` carrying the three seat-facing rows for H29 (six-state ONE-OF: `pm:{queue,dispatched,blocked,on-hold,awaiting-maintainer}` + `needs-user-decision` are mutually exclusive, every pair's measured origin is a transition written as an ADD, so a transition is one replace write), H30 (`pm:queue` rot horizon 3 days = QUEUE_ROT_STALE_DAYS; the queue is the one state where waiting is not a state, the remedy is ONE explicit transition) and H31 (needs:contract-review is a dual carrier: card AND delivering PR, hung in one stroke, cleared in one stroke, read back each way, with card-side-first-and-no-PR-yet declared a legal intermediate state). Each row was derived from the shipped block on main, not from memory, and is composed BY POINTER — the section heading names check-half-states.mjs H29/H30/H31 as the judging authority, so no rule mechanics are duplicated. The nine added lines (heading + blank + 6 bullets + separator) were paid IN FULL by consolidation, so the file lands at 43/43 and the ratchet table was NOT touched: provenance paragraph 2->1 (-1), pm:on-hold 12->9 content lines (-3), pm:awaiting-maintainer + pm:retriage merged into one section 12->7 (-5). Note for review: the awaiting row's exclusivity clause was consolidated INTO the new general ONE-OF row rather than deleted, the twice-stated dual-channel contract now stands once, and three provenance stories were dropped while every rule they came with stands (the ratchet's own doctrine: provenance is one line, stories live on cards). A ceiling raise was deliberately not taken — the ratchet requires a maintainer ruling quoted in the raising PR and no such ruling exists for these rows. Sequencing from the claim comment holds: the corpus re-wrap card stays serial behind this PR and must sweep final content.",
 "tests": "Gates derived, not recalled: `node scripts/pm/dispatch-gates.mjs --repo objectstack-ai/objectstack` (no path args; EXIT=0) -> 7 matched families for the single changed path, re-derived after the commit with the same 7. All seven run at final commit 2285fac4 (working tree clean, union after the last commit), exit codes captured by redirect-then-$? (never through a pipe), each verdict quoted from the gate's own output: check:pm-skill-ratchet EXIT=0 '✓ check-skill-line-ratchet: .claude/skills/pm-dispatch/references/state-machine.md is 43 lines (ceiling 43; headroom 0).' · check:pm-skill-id-lint EXIT=0 '✓ check-skill-id-lint: 22 file(s) clean (pattern /#[0-9]{3,}/g).' · check:doc-authoring EXIT=0 '✓ doc authoring guard: 389 files clean — no bare metadata literals.' · check:skill-frame-sync EXIT=0 '✓ check-skill-frame-sync: 4 copies of the decision frame are structurally isomorphic across 3 files' · check:agent-test-spelling EXIT=0 '✓ check-agent-test-spelling: 0 violations — 364 file(s) · 3609 bare -- token(s) · 1115 launcher-rooted run(s) · 8 separator(s) JUDGED' · check:pm-governed-merges EXIT=0 '✓ check-governed-merges --self-test: 129 assertions' · pnpm --filter @objectstack/lint run check:doc-formula-expressions EXIT=0 '✓ check:doc-formula-expressions self-test: 50 cases passed' + '✓ check:doc-formula-expressions: 22 record-scoped formula example(s) across 421 files / 1448 TS blocks judged clean by @objectstack/formula.'. That last gate first reported PREREQUISITE NOT MET twice (no node_modules, then unbuilt @objectstack/formula and @objectstack/lint) — 'nothing was measured' is not a verdict, so pnpm install and both turbo builds were run through scripts/pm/os-verify-lock.sh (VERDICT command-exit 0 · held 7s/126s/10s · waited 65s/1s/230s) and the gate re-run to a real green. Docs-only, no changeset (skip-changeset applied to PR #11928 via the additive labels endpoint and read back: labels = ['skip-changeset']). Byte hygiene: grep -nP '[\\x00-\\x08\\x0b\\x0c\\x0e-\\x1f\\x7f]' on the edited file -> no match; grep -nE '#[0-9]{3,}' -> no match (the file's own no-issue-ID rule). CI convergence intentionally not awaited.",
 "open_questions": [],
 "out_of_scope_findings": []
}

---

Generated by Claude Code

[os-zhuang]

ACCEPT — skills seat (session session_01RMTpSRF5CjMmQBFfPtPCwJ), PR #11928 at head 2285fac4, verified against the actual diff.

• The three 通则 rows are derived from the SHIPPED H29/H30/H31 blocks on main and composed by pointer (the section heading names check-half-states.mjs as the judging authority; no rule mechanics duplicated): six-state ONE-OF with the replace-not-add transition rule, the 3-day queue-rot horizon with the five explicit exits, and the dual-carrier postcondition including the 「被剥不是红灯是放行」 warning and the card-side-first legal intermediate state.
• The 43/43 payment was audited line by line: every dropped passage is provenance story, rationale prose, or mechanics the authority pointer covers — no rule was lost. The two structural consolidations are correct, not just cheap: the awaiting-carrier exclusivity list collapses INTO the general ONE-OF row it is now a special case of, and the twice-stated dual-channel contract stands once. Declining the ceiling raise was right — the ratchet requires a quoted maintainer ruling for a raise and none exists.
• 7/7 derived gates green at head by their own verdict lines; two PREREQUISITE-NOT-MET readings correctly treated as not-measured and resolved by building; skip-changeset applied and read back; the file's own no-issue-id rule re-verified clean after the edit.

PR stays draft — governed face, human merge; joins the merge list. #11889 closes via its Fixes line at merge. #11106's corpus re-wrap is now the only card its serial still holds — it releases when this PR merges.

---

Generated by Claude Code