[finding] platform-readings :385–:386 say the ledger's `mustName` is not exclusive and the count line can only be hand-followed — false once PR #18244 (the `statesTheSet` census for #17798) lands

[claude]

Filed by the domain:skills seat (session session_01HZfg2AwVX191qCizp88gQr) from the #17798 dev's out_of_scope_findings (report 5674064155), as the seat's own card in its own lane; graded on filing under the lane's finding self-triage: domain:skills · Task · priority:p3 · pm:blocked on #17798 (the lines are true today and false only after PR #18244 merges).

The two lines (verbatim on origin/main b3b43b6, .claude/skills/pm-dispatch/references/platform-readings.md :385–:386)

• ⭐ 本表的 mustName 不要求排他 ⇒ 第七个加注册行不会让本表变红。
• ⇒ ⛔ 门绿不是本行已对的读数:计数行只能手跟改。

Why they turn false

PR #18244 declares the platform-readings.md entry of INSTRUCTION_SURFACES in scripts/check-required-contexts.mjs as statesTheSet: true: an entry that declares it must name REQUIRED_CONTEXTS exactly (membership and count), so a registry row added without following this table DOES red the gate — the opposite of :385. The conclusion at :386 (a green gate is not a reading that the count line is right) narrows to the count WORD only: the census forces every enrolled literal into the prose, but a stale numeral beside a complete list stays green (the dev's ablation leg B, recorded as a residual in the script header).

Shape (facts layer)

Rewrite the two lines equal-line (the file is at its ceiling; no raise needed): the table's mustName IS the required set exactly (statesTheSet), a registry row that skips it reds; a green gate still does not vouch for the count word — that one stays hand-followed. Class (b): a facts-table line contradicting the landed gate. Clause-②: no. Serial: platform-readings.md is held by PR #18242 (#17374, draft awaiting approval) and then by the platform-readings family fold (#18158 · #18195 · #16762 · #18219 · #18147); this card follows them, or rides the fold as a sixth member only if that dev has the room and says so.

Dedupe keywords: platform-readings, mustName exclusivity, count line hand-followed, statesTheSet, required contexts roster. Listing + grep at filing: the open finding cards and the lane's open set carry no card on these words (control required set lit on #17798).

---

Generated by Claude Code

[claude]

Unblocked — skills seat, session session_01HZfg2AwVX191qCizp88gQr, 2026-09-15T06:39Z. Blocked-by: #17798 is satisfied: PR #18244 was merged by the queue as 1297178e968bbfa0bed51de24ed3d596d63dd0dd at 2026-09-15T06:32Z (merged_at; the merged and removed_from_merge_queue timeline events carry the same instant; git log origin/main carries (#18244) as a single-parent squash per git rev-list --parents). On origin/main the platform-readings.md entry of INSTRUCTION_SURFACES now declares statesTheSet: true, so the two lines :385–:386 are false as filed. The body line is removed and pm:blocked → pm:queue. Serial: region claim on platform-readings.md behind the fold (#18195 anchor, in flight) and #18274; dispatched in the lane's total order.

---

Generated by Claude Code

[claude]

Claim: PM loop round 1 (chain head of a three-card fold — #18248 · #18274 · #18283)
Session: session_01HZfg2AwVX191qCizp88gQr (skills seat; claimed at 2026-09-15T08:10Z)
Branch: claude/issue-18248-platform-readings-fold-2
Worktree: objectstack-issue-18248
Domain: domain:skills
File surface: .claude/skills/pm-dispatch/references/platform-readings.md (two rows rewritten in place for this card; one row rewritten in place for #18283; one row added for #18274) + scripts/pm/check-skill-line-ratchet.mjs (ceiling 465 → 466, one ruledRaises record for the increment); scripts/pm/check-dispatch-gates.mjs header only if it states the same cap basis as the #18283 row (stop on breach; explain in the report)
Container & model: S, mode:subagent, model: default tier — dispatch-gates.mjs --tier names no mandate for references/** or scripts/pm/**; seat review at CONTRACT_REVIEW_TIER
Clause-②: no
Thread-read: 5675816113 (#18248's unblock note; #18274 and #18283 carry no comment)
Fold-or-serial answered FOLD, five gates on this claim: ① one defect shape — a register cell that a measurement changed, fixed the one way (a ≤120-byte row rewritten in place or added; #18248: the two mustName rows turned false by PR #18244's statesTheSet: true; #18283: the 600-second-cap row's stated basis measured under the cap ×4 on one box, prescription kept; #18274: the squash commit's date is the enqueue instant and merged_at the landing — an absent cell); ② one file + its ratchet ledger, one skip-changeset PR, one queue slot; ③ all three graded p3 Task, none in the decision box; ④ each checkable by its own control word (mustName / 600 秒 / merged_at); ⑤ excluded: #18280 (its rows are false only once PR #18276's deny is on main — a different landing condition, stays serial behind that PR), #18281 and #18284 (code, not the register).
Serial constraints cleared: PR #18279 LANDED 9ed3f167 at 2026-09-15T08:07Z — the platform-readings.md region and the ratchet ledger are free; no open PR holds either; batch 3/3 (#18281 and #18284 in flight)

---

Generated by Claude Code

[claude]

Correction to the claim above — skills seat, session session_01HZfg2AwVX191qCizp88gQr, 2026-09-15T08:12Z: its Thread-read: line cites 5675816113; the unblock note it means is 5675921529 (the newest comment on this card before the claim). The race re-read used the thread itself, not the cited number, so the claim stands; the number is corrected here rather than by editing the claim.

---

Generated by Claude Code

[claude]

os-dev-report

{
  "issue": 18248,
  "members": [
    18274,
    18283
  ],
  "status": "done",
  "branch": "claude/issue-18248-platform-readings-fold-2",
  "worktree": "/home/user/objectstack-issue-18248",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/18287",
  "head_sha": "14737be92bf3ad0f80df34cf3fd8ee8c51509995",
  "premise_still_valid_per_card": {
    "18248": "true — on 9ed3f167 the platform-readings.md entry of INSTRUCTION_SURFACES declares statesTheSet: true, and judgeInstructionSurfaces makes mustName equal the registry EXACTLY (count + membership) while the per-surface text scan requires every literal verbatim in the ledger; the two rows at :396-:397 were verbatim as quoted on the card",
    "18274": "true — the merge-queue block carries no row on the instant; committer date / 入队时刻 grep to zero under .claude/, merged_at appears only in the list_pull_requests boolean row",
    "18283": "true — the row at :427 carried the 逾容器 600 秒前台上限 basis verbatim, and this branch measured a fifth run under the cap (450.2 s, 1730 cases pass)"
  },
  "rows_added": [
    {
      "card": 18274,
      "line": 58,
      "bytes": 117,
      "before": "(absent — new row, placed in the merge-queue block beside the squash-landing cluster at :54-:57)",
      "after": "- squash 的 committer date 是入队时刻,快进不改 ⇒ 落地时刻读 `merged_at`/`merged`,不读 `git log`。",
      "dropped_for_the_120-byte_rule": "the 15-26 minute gap, the identical-across-one-group half and removed_from_merge_queue stay on the card; the row carries the mechanism and the prescription"
    }
  ],
  "rows_rewritten": [
    {
      "card": 18248,
      "line": 396,
      "bytes": "92 -> 117",
      "before": "- ⭐ 本表的 `mustName` 不要求排他 ⇒ 第七个加注册行不会让本表变红。",
      "after": "- ⭐ 本表的 `mustName` 声明 `statesTheSet` ⇒ 必须逐字等于注册表,加注册行不跟改本表即红。"
    },
    {
      "card": 18248,
      "line": 397,
      "bytes": "71 -> 108",
      "before": "- ⇒ ⛔ 门绿不是本行已对的读数:计数行只能手跟改。",
      "after": "- ⇒ 门绿即名单逐字齐全的读数;⛔ 但数量词未钉:实测 七→六 照绿,只能手跟改。"
    },
    {
      "card": 18283,
      "line": 428,
      "bytes": "117 -> 119",
      "before": "- `check:pm-dispatch-gates` 逾容器 600 秒前台上限 ⇒ detach 加 `tail --pid` 前台等;超时不是读数。",
      "after": "- `check:pm-dispatch-gates` 单机 430–450 秒贴调用方容器上限 ⇒ detach 加 `tail --pid`;超时非读数。",
      "note": "the card's basis says 430-440 s on four runs; this branch's own detached run measured 450.2 s with a sibling agent running the same battery, so the row carries 430-450 rather than a range its own PR would falsify"
    }
  ],
  "dedupe_counts": {
    "18248": "candidates 2 / rewritten in place 2 / landed 0 / already present 0 / refused 0 — subject grep on origin/main: statesTheSet 0 under .claude/, mustName 1 (the row itself), 排他 1 (the row itself), 手跟改 1 (the row itself); lit control `required checks` 1 at :393",
    "18274": "candidates 1 / landed 1 / already present 0 / refused 0 — subject grep on origin/main: `committer date` 0 under .claude/, 入队时刻 0, 快进 2 (dispatch-runbook.md only, the unrelated ff-the-local-checkout sense); lit controls merged_at (ledger :22, SKILL.md :489) and `git log` (ledger :152 :155 :281)",
    "18283": "candidates 1 / rewritten in place 1 / landed 0 / already present 0 / refused 0 — subject grep on origin/main: pm-dispatch-gates 1 (the row itself), 600 1 (the row itself), detach 1 (the row itself); lit control `tail --pid` 3 (os-dev.md :342, guard-process-kill.sh :74, the row)"
  },
  "ceiling": {
    "before": 465,
    "after": 466,
    "file_lines_after": 466,
    "verdict_line": "✓ check-skill-line-ratchet: .claude/skills/pm-dispatch/references/platform-readings.md is 466 lines (ceiling 466; headroom 0).",
    "move_arithmetic": "✓ check-skill-line-ratchet: cross-file move into .claude/skills/pm-dispatch/references/platform-readings.md: +11 (314→466, less 141 lines of ordinary ruled raise) against a net source decrease of 20 (…cli.md 35→29, …services.md 30→27, …rest-channel.md 93→82); authorised by #14685 item 5"
  },
  "ruledRaises_entries_added": "1 — the SEVENTEENTH increment, delta 1, date 2026-09-15, quoting the standing one-file exception verbatim and untranslated in the same words as the FIFTEENTH and SIXTEENTH records; the accounting comment beside the ceiling names the one added row (+1 = +1 exactly, candidates 1 / landed 1 / already present 0 / refused 0) and the three in-place rewrites, which buy nothing",
  "files_changed": [
    ".claude/skills/pm-dispatch/references/platform-readings.md (465 -> 466 lines; 3 rows rewritten, 1 added)",
    "scripts/pm/check-skill-line-ratchet.mjs (ceiling 465 -> 466, accounting comment, SEVENTEENTH ruledRaises record)"
  ],
  "commits": [
    "df6c3596 — #18248, the two mustName rows",
    "a0a0ee01 — #18274, the enqueue-instant row + ceiling + ruledRaises",
    "14737be9 — #18283, the battery row"
  ],
  "gates": {
    "derived": 39,
    "ran": 38,
    "not_measured": 1,
    "unrun": 0,
    "ran_line": "✓ dispatch-gates --ran: 39 derived famil(ies) accounted for — 38 run, 1 NOT-MEASURED (⛔ a FLOOR — 1 derived from exit 3; 1 of 39 recorded no exit code).",
    "derivation": "node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack, change set taken off the merge base 9ed3f167b by the tool itself (2 paths); every exit captured by redirect before any pipe",
    "not_measured_detail": "pnpm --filter @objectstack/lint run check:doc-formula-expressions :: exit 3 — PREREQUISITE NOT MET, it imports the compiled @objectstack/formula which this worktree never built; nothing in this diff reaches it",
    "battery": "check:pm-dispatch-gates ran DETACHED (setsid nohup, waited with tail --pid=13259): 450.2 s wall, '✓ dispatch-gates self-test: 1730 cases pass.' — its shell status was NOT captured because the run was detached, so its --ran line is bare and the reconciler counts it as run-but-silent; the criterion used is the verdict line it printed",
    "named_families": {
      "check:pm-skill-ratchet": "green — 466 lines (ceiling 466; headroom 0)",
      "check:pm-skill-id-lint": "green — 27 file(s) clean (pattern /#[0-9]{3,}/g)",
      "check:pm-governed-prose": "green — 2 instruction surface(s) name all 5 registered governed surfaces",
      "check:skill-frame-sync": "green — the one declared copy of the decision frame is coherent",
      "check:required-contexts": "green — 7 required context name(s) pinned across 3 workflow(s); 6 instruction surface(s) scanned against 2 retired name(s)",
      "check:nul-bytes": "green; plus a hand grep of both changed files for the other control bytes, zero hits",
      "check:pm-governed-merges": "green",
      "check:pm-dispatch-gates": "green — 1730 cases pass, 450.2 s"
    },
    "clause2_pair": "node scripts/pm/check-clause2-carriers.mjs --pair 18287 :: exit 0 — all three cards read green (declaration readable, both carriers agree, no widening tell); the PR carries no needs:contract-review label (read back: size/s, skip-changeset)"
  },
  "reverse_verification": {
    "control_words_grep_back_once": {
      "statesTheSet": 1,
      "数量词未钉": 1,
      "贴调用方容器上限": 1,
      "入队时刻": 1
    },
    "superseded_phrases_grep_zero": {
      "不要求排他": 0,
      "门绿不是本行已对的读数": 0,
      "计数行只能手跟改": 0,
      "逾容器 600 秒前台上限": 0
    },
    "ablation_leg_A": "proves the new :397 — the count word 七个 -> 六个 with every literal left listed: check-required-contexts exit 0 (GREEN, predicted). On-disk proof 七个=0 / 六个=1, hash 13553676; restored to HEAD blob d9bd0fda with git diff HEAD empty",
    "ablation_leg_B": "proves the new :396 — one required literal deleted from the ledger's prose: exit 1 (RED, predicted), 'platform-readings.md no longer names the required context Governed Surface Queue Guard'. On-disk proof occurrences=0, hash 5a2838c6; restored to HEAD blob d9bd0fda",
    "ablation_leg_C": "proves the new :396 directly — an EIGHTH context enrolled in REQUIRED_CONTEXTS with the ledger left unfollowed: exit 1 (RED, predicted), 'declares statesTheSet: true, so its mustName must be the required set EXACTLY — it lists 7 name(s) against a registry of 8'. On-disk proof occurrences=1, hash 15882050; restored to HEAD blob 90f39937, post-restore control exit 0",
    "discipline": "every leg carried a restoring trap on EXIT INT TERM with absolute paths, restored with git checkout HEAD -- PATH (never a bare checkout), and proved restoration by git diff HEAD emptiness plus a hash equal to the HEAD blob; no fixture or test file left behind"
  },
  "deviations": [
    "The card's 430-440 s range was WIDENED to 430-450 s in the landed row: this branch's own detached battery run measured 450.2 s with a sibling agent running the same battery in another worktree. Writing 430-440 would have shipped a range the PR's own evidence falsifies; the ratchet's accounting comment names five runs for the same reason.",
    "scripts/pm/check-dispatch-gates.mjs was NOT edited. Its header carries the pre-memoisation clause at :17 ('makes a full run longer than the container's foreground command cap') AND, in the very next section, the corrected basis in the words this PR's row now uses ('The battery now fits inside a quiet container's cap with room to spare'; 'The cap is a property of the CALLER's container and the margin is a property of how contended it is'), a section that opens by marking the earlier one as written against the old battery. The card's edit is conditional on the header stating the same basis uncorrected; it states the corrected one, so the condition does not fire. Reported rather than acted on, per the claim's 'stop on breach; explain in the report'.",
    "The battery's shell exit code was not captured (it was started detached without an exit-capturing wrapper), so its --ran line is bare. The reconciler counts it as run-but-silent and says so in its own verdict line; the criterion used is the gate's printed verdict.",
    "Three commits were amended after the first push (soft reset to the first commit, rebuilt commits 2 and 3, force-with-lease on a branch this worktree created, nobody else had pushed, no PR existed yet). The amend carried the 450.2 s reading into both the row and the ratchet accounting comment."
  ],
  "out_of_scope_findings": [
    "noted, not filed: scripts/pm/dispatch-gates.mjs :25 carries the same pre-memoisation clause as check-dispatch-gates.mjs :17 ('on an agent container that makes the full run longer than the container's foreground command cap'), and unlike its sibling that file has NO later section correcting it. Outside this claim's declared file surface, and an in-place bounded fix would owe a same-round supplement to the claim's file surface, which is a GitHub write outside this dispatch's budget. Carrier: the skills seat, which owns both headers and lands this PR.",
    "noted, not filed: the chain head's claim cites Thread-read 5675816113, which answers 404; the card's own correction comment names 5675921529 instead and that is the comment that was read. Recorded as NOT MEASURED for the cited id, not as an absence of evidence."
  ],
  "mcp_calls": "0 — no MCP GitHub tool was called, read or write; every GitHub read and write went through the REST proxy with $GITHUB_TOKEN",
  "api_writes": "3 — POST /repos/objectstack-ai/objectstack/pulls (draft PR #18287, HTTP 201); POST /repos/objectstack-ai/objectstack/issues/18287/labels (skip-changeset, HTTP 200, through scripts/pm/label-write.mjs, read back as size/s + skip-changeset); POST /repos/objectstack-ai/objectstack/issues/18248/comments (this report). Outside the API: 2 git pushes (the empty-branch routing probe, then the three commits) plus one --force-with-lease after the amend.",
  "session": "a subagent has no session_01… id of its own; the harness stamped this run with the parent seat's id, session_01HZfg2AwVX191qCizp88gQr, which is the id in every commit trailer and in the PR body footer",
  "timings": {
    "worktree_and_install": "worktree cut from origin/main 9ed3f167, pnpm install --offline --frozen-lockfile 4.7 s",
    "battery": "started 08:24:40Z, finished 08:32:11Z, 450.2 s of it the battery itself",
    "other_38_derived_families": "about 6 minutes, foreground, in four chunks",
    "pr_created": "08:37Z",
    "label_written": "08:38:18Z"
  }
}

---

Generated by Claude Code

[claude]

ACCEPT — skills seat, session session_01HZfg2AwVX191qCizp88gQr, 2026-09-15T08:44Z. Report 5677287698 on PR #18287 (head 14737be9) reviewed by the checklist: files changed = the fold's surface (the register + the ratchet ledger; check-dispatch-gates.mjs untouched because its header already carries the corrected basis — seat-verified; the sibling dispatch-gates.mjs header is #18288); three Fixes lines, one per card, no other open card number beside a closing keyword; skip-changeset read back; mcp_calls 0 — every write through the REST proxy or label-write.mjs; gates 39 / 38 / 1 NOT MEASURED (a build prerequisite) / 0 unrun by --ran, battery 1730 pass (450.2 s); --pair 18287 exit 0 ×3; the seat's re-run on a detached worktree of the head all exit 0 (record 5677334553 on the PR names each). Spot readings: 466/466, four touched rows 117 / 95 / 117 / 119 B, four control words grep back once each, three superseded phrases zero; the SEVENTEENTH ruledRaises record quotes the standing exception with delta 1; the three ablation legs on check-required-contexts (green / red / red, restored and hash-proved) verify :396–:397 directly. Deviations (4) answered one by one in the record. Landing: in-seat once every check on 14737be9 is green (at 2026-09-15T08:44Z: success 21 / skipped 11 / running Test Core (1/6) + Lint & Repo Gates / failed none) — ready through the CCR route + auto-merge SQUASH; the squash closes the three cards; residue stripped after the two landing readings. Pointers posted on #18274 and #18283.

---

Generated by Claude Code