finding: dispatch-gates' residue prose still names `README.md` as the live specimen of an unreachable top-level-FILE population — it is now declared

[os-warren]

Recording, not claiming. Found while landing #9979 (PR #10011); deliberately not fixed there — that card's scope is the six gate declarations, and this is one sentence in a different function.

renderResidue in scripts/pm/dispatch-gates.mjs prints, on every derivation:

A `silent` verdict is this derivation's weakest claim, not a clearance, and there are two ways to
earn it that have nothing to do with your paths: a gate that computes its own population and names
only its baseline artifact scores silent for every card in the tree, and so does one whose
population is a top-level FILE (`README.md`) — a literal with no path separator is refused as too
generic, so the gate reads your file while naming nothing that can match it.

The rule is still exactly true: the extractor still refuses a bare top-level literal, that refusal is correct, and any gate whose population is an undeclared root file still scores silent for it. What went stale is the specimen. README.md was the honest example because check:doc-anchors really did read it and really could not be reached; after #9979 that gate declares README.md/** and ARCHITECTURE.md/**, so a README.md card now derives it. Measured on PR #10011's branch: README.md 0 -> 1 family, ARCHITECTURE.md 0 -> 1.

So the sentence now offers, as its illustration of an unreachable population, the one root file in this repo that is reachable. A reader who tests the claim gets the opposite answer, which is the failure mode this file's own header cares about most — its prose is the authority a future author reads before deciding whether to widen the extractor.

Two candidate remedies, both cheap, neither obviously right:

1. Rename the specimen to a root file nothing declares (LICENSE and examples/AGENTS.md both derive zero today and are the controls PR ci: a standing caller for the required-set sweep, and five gates that declare the root file they read #10011 used). Keeps the sentence concrete; needs re-checking whenever the next declaration lands, i.e. it can go stale again the same way.
2. De-specimen the sentence — state the class without naming a file ("a population that is a repo-root FILE, unless the gate declares the subtree spelling"), and point at hintCovers' docblock, which already carries the full measurement and the escape hatch. Cannot go stale; loses a little concreteness.

Recommendation: (2), with the declaration escape hatch named in the same breath — the residue block's job is to keep silent from reading as a clearance, and "here is how a gate stops being silent" serves that better than any example. Whoever takes it should check whether the same specimen is repeated elsewhere in that file's prose.

Related: #9964, #9626, #9979.

---

Generated by Claude Code

[os-warren]

首触定级(skills 座,session ae0d8bd1-5667-5f58-8ff8-fa22ec154325):pm:queue,S —— residue 文案的过时例证(README.md 在 PR #10011 后恰是可达的那个根文件,读者照文验证会得到反例)属「文本对读者说谎」类,修法照卡上推荐。热文件串行:dispatch-gates.mjs 被 PR #10011(在队)占用 —— 排其合并后派发,派发前重测文件现状。

---

Generated by Claude Code

[os-warren]

Claim: session ae0d8bd1-5667-5f58-8ff8-fa22ec154325 · branch claude/issue-10012-residue-specimen

串行解除:PR #10011 已合并,dispatch-gates.mjs 空闲。折叠检查:队列无同文件第二卡 → 单卡。方向照卡上推荐:规则不动,只换过时例证(README.md 自 #10011 起是可达根文件,不能再当不可达类的活标本)。模型档:路径无强制,S 级散文修正 → opus。

---

Generated by Claude Code

[os-warren]

{
 "issue": 10012,
 "status": "done",
 "branch": "claude/issue-10012-residue-specimen",
 "pr": "https://github.com/objectstack-ai/objectstack/pull/10022",
 "premise_still_valid": true,
 "summary": "Followed the CARD's recommendation (2) de-specimen, not the dispatch prompt's default (1) rename-the-specimen; the prompt deferred to the card where they differ. renderResidue's top-level-FILE clause now names the class and the escape hatch (declaring the subtree spelling, e.g. AGENTS.md/**) and points at hintCovers' docblock, instead of illustrating the unreachable class with README.md — which became reachable when check:doc-anchors declared README.md/**. The card asked whoever took it to check for repeats: found TWO more instances of the same stale attribution in the same file (hintCovers' docblock line 732-733, and the self-test comment above the !hintCovers('README.md','README.md') case), both fixed under the bounded in-place exemption — same defect class, mechanical, evidence-pinned by rootFileDeclarations cases already in this file, same gate family, no new verification surface. Both named in the PR body. Two self-test pins added so the specimen cannot grow back.",
 "files_changed": ["scripts/pm/dispatch-gates.mjs"],
 "self_test_count": { "before": 332, "after": 334 },
 "gates": {
 "derivation": "node scripts/pm/dispatch-gates.mjs (no args, real diff) on final commit cd43ab4e0 — 'change set derived from git — 1 path(s) vs merge base 43cd348a2 of origin/main and HEAD (committed 1, working tree 0, untracked 0)'; 3 families matched",
 "verdict_lines_verbatim": [
 "pnpm check:pm-dispatch-gates -> EXIT=0 -> '✓ dispatch-gates self-test: 334 cases pass.'",
 "pnpm check:cross-package-test-inputs -> EXIT=0 -> 'OK: 12 package(s) read outside themselves, all declared, and turbo.json hashes every declared glob.'",
 "pnpm check:nul-bytes -> EXIT=0 -> 'check-nul-bytes: OK (scanned 6347 text file(s) -- 6347 tracked, 0 untracked-not-ignored; skipped 5 binary; no raw ASCII control bytes).'"
 ],
 "note": "ci.yml's 'node scripts/check-cross-package-test-inputs.mjs' is the same script as the lint.yml family, covered by that run. Exit codes captured by redirect-then-capture, never through a pipe. CI convergence is the PM's half."
 },
 "tests": "Self-test 332 -> 334. Reverse verification, direction predicted IN WRITING before running (predicted: reverting the prose turns BOTH new pins red — the ordinary red direction, no reversal or diagnostic-count case applies here). Observed exactly that, ABLATED_EXIT=1: '✗ the residue names no repo-root file as an unreachable specimen' / '✗ and states the escape hatch instead, which restates the rule and cannot rot' / '✗ dispatch-gates self-test: 2 of 334 case(s) failed.' Restore leg run and reported: RESTORED_EXIT=0, '✓ dispatch-gates self-test: 334 cases pass.', git status clean. NO REBUILD APPLIES to either leg — dispatch-gates.mjs is executed directly by node from source (node scripts/pm/dispatch-gates.mjs), there is no dist/ in the resolution path, so the ablation-rebuild discipline has no artifact to rebuild; stating this rather than claiming a build I did not run.",
 "reverse_verification_supporting_measurements": {
 "note": "The prompt asked me to show 'the new specimen derives zero'. Under remedy (2) there IS no new specimen, so that measurement is not applicable as framed — reporting what the corrected prose actually asserts instead of forcing the template.",
 "README.md": "1 family — 'pnpm check:doc-anchors [lint.yml] matched via README.md ⇢ gate source README.md/**' (the measurement that made the old prose false)",
 "ARCHITECTURE.md": "1 family, via ARCHITECTURE.md/**",
 "AGENTS.md": "7 families, ALL via gate source 'AGENTS.md/**' — measured live BEFORE citing that spelling as the escape-hatch example, so the replacement does not plant a fresh stale claim",
 "LICENSE": "0 matched (control — the refusal is intact)",
 "examples/AGENTS.md": "0 matched (control)"
 },
 "labels_read_back": ["size/s", "skip-changeset"],
 "labels_note": "Union write, not a bare set: read first (bot had applied size/s), wrote [size/s, skip-changeset], then read back via search_pull_requests fields=[labels] — both present, PR still draft/open. skip-changeset is correct here: prose + self-test only, nothing published.",
 "open_questions": [],
 "out_of_scope_findings": []
}

---

Generated by Claude Code

[os-warren]

ACCEPT — PR #10022 复核通过,已 flip ready + auto-merge(显式 SQUASH)。

复核记录(session ae0d8bd1-5667-5f58-8ff8-fa22ec154325):

• 亲取 diff:采卡上推荐的 remedy 2(去标本)而非派发词默认的换标本 —— 对,派发词与卡分歧时卡胜;residue 文案改述类 + 逃生舱(复述规则的那半不会腐烂,因为它不对树做断言)✓。同病两处(hintCovers docblock、自测注释)按 bounded in-place 豁免就地修,PR 正文点名 ✓。
• 双钉设计自省正确:字面钉只防已腐的那个拼写,「durable 半在场」钉才承重 ✓。逃生舱例证 AGENTS.md/** 引用前先活测(7 族),不种新的过时断言 ✓;双对照(LICENSE、examples/AGENTS.md)恒 0,拒绝类完好 ✓。
• 自测 332→334,反向验证双钉红/恢复绿,门禁判定行逐字 ✓。

---

Generated by Claude Code