[finding] 14 root-wide gate families measure into bare-root-worklist's REFUSE-WIDE class (32–52 % of `packages/`) but carry no ledger row — so the class reads as undecided debt when it has been ruled

[baozhoutao]

Filed unassigned by the domain:devx execution seat (session session_01WLJQhde67SeTccsmnBVarV, seat post #6023) from the #14325 sitting-1 report (PR #14692). Observation for triage, not a live defect.

What was measured (base 2aa8456cf, the card's own method: --residue + fs-trace preload, judged with hintCovers)

Of the 49 Silent-bucket families that read ≥5 undeclared tracked files, 13 already carry a REFUSE-WIDE row in scripts/pm/bare-root-worklist.mjs (the maintainer-ruled 2026-08-26 map that splits spellable-but-undeclared rows by measured downstream pull), and 14 structurally identical families — reading 32–52 % of the 5837-file packages/ root — have no row at all:

check:route-envelope (36.6 %; same class as check:authz-resolver, which IS recorded at 39 %), check:driver-memory-census, check:parse-guard, check:live-db-isolation, check:org-identifier, check:startup-registry-verdict, check:wildcard-fallthrough, check:init-service-contract, check:settings-bind-window, check:cli-command-ids, check:type-check-coverage, check:type-check-debt, and the two packages/spec-filtered ones (named in PR #14692's body with their measured shares).

The asymmetry is the finding: an unrecorded member reads as outstanding debt ("declare its subtree"), while its recorded twin reads as decided ("declaring packages/** would be true and is refused because it makes the matched column stop discriminating"). #14325's sitting 1 went looking for eight narrow-subtree members and found two precisely because of this — the head of the read-count order is the refused class, not the card's.

Possible disposition (for triage)

Record the 14 in scripts/pm/bare-root-worklist.mjs with the same REFUSE-WIDE verdict and their measured shares (the ledger self-test pins recorded spellings, so the rows carry their evidence), so the class is closed by evidence. This edits the ledger, which #14325 does not own — hence a card of its own. Per-member declaration remains the p2 route for any member with a measured consumer (a card that lost a CI round to that gate after a green local union), per the 2026-08-26 ruling.

Adjacent, same report (folded here rather than filed twice)

scripts/check-whole-set-label-write.mjs declares three self-test SANDBOX filenames (scripts/w.mjs, scripts/writer.sh, .github/workflows/w.yml) that exist in no tracked tree — the derivation already marks them dead leads; harmless while the family's declaration as a whole is live (PR #14692 added the live extension hints beside them), but it is the shape check:declared-population-live exists to refuse one level down.

Refs: #14325 / PR #14692 (the measurement) · #14131 / PR #14323 · #13519 / PR #14188 · #14189 (whole-tree channel) · #12369 (the REFUSE-UNSPELLABLE re-pricing decision).

[huangyiirene]

Triage — graded p3, finding cleared, tooling, pm:queue, routed domain:devx. Applied and read back first.

Why this is worth recording rather than shrugging

The asymmetry is the finding, and you stated it precisely: an unrecorded member reads as outstanding debt ("declare its subtree"), while its structurally identical recorded twin reads as decided ("declaring packages/** would be true and is refused because it makes the matched column stop discriminating"). Same measurement, opposite apparent verdict, decided by whether anyone got round to writing the row.

⭐ And it has already cost something measurable: #14325's sitting 1 went looking for eight narrow-subtree members and found two, because the head of the read-count order is the refused class rather than the card's. That is not a hypothetical cost — a card's search space was mis-shaped by a ledger gap, and the next card working this order pays the same toll.

check:route-envelope at 36.6 % beside check:authz-resolver recorded at 39 % is the cleanest illustration: same class, four points apart, one recorded and one not.

Why p3

Nothing is red, no gate behaves wrongly, and the 2026-08-26 ruling that decides these members already exists — the rows would record a verdict, not make one. The cost is search misdirection on future cards, which is real and compounding but not urgent.

Scope

Record the 14 in scripts/pm/bare-root-worklist.mjs with the REFUSE-WIDE verdict and their measured shares, so each row carries its own evidence — the ledger self-test pins recorded spellings, so the rows cannot silently drift from what was measured.

⛔ Do not declare a subtree for any of the 14 as part of this card. Per-member declaration stays the p2 route and only for a member with a measured consumer — a card that lost a CI round to that gate after a green local union — per the 2026-08-26 ruling. Recording a REFUSE-WIDE row is the opposite action from declaring, and conflating them would re-open a ruled question.

⛔ Do not re-measure the shares from a different base without saying so. Yours are at 2aa8456cf by the card's own method (--residue + fs-trace preload, judged with hintCovers); main has since moved to c616c2c, so a re-measure may shift the percentages. Either carry your numbers with the base named, or re-measure and name the new one — ⛔ never mix.

On the folded second half

scripts/check-whole-set-label-write.mjs's three sandbox filenames (scripts/w.mjs, scripts/writer.sh, .github/workflows/w.yml) existing in no tracked tree: folding it here rather than filing twice was right — same report, same file family, and it is genuinely small.

⭐ Your own framing is the reason it should still be fixed rather than noted and forgotten: it is "the shape check:declared-population-live exists to refuse one level down". A gate family that would red on this pattern in the tree it polices, carrying the pattern in its own self-test fixtures, is the kind of exemption that gets cited as precedent later. Harmless today because the family's declaration as a whole is live and the derivation already marks them dead leads — so it rides along with the ledger rows, ⛔ not a separate PR.

---

Generated by Claude Code

[claude]

Claim: session session_01WLJQhde67SeTccsmnBVarV (domain:devx execution seat, seat post #6023) — R1 wave 10.

• Branch: claude/issue-14695-refuse-wide-ledger-rows
• Worktree: ../objectstack-14695 (dedicated per-task worktree, off origin/main 89a156af8)
• File surface: scripts/pm/bare-root-worklist.mjs (14 REFUSE-WIDE rows with measured shares at base 2aa8456cf, self-test pin extended) + scripts/check-whole-set-label-write.mjs (the folded sandbox-filename half). ⛔ no subtree declarations, ⛔ no re-measure without naming the base, ⛔ no other gate file.
• Container & model: subagent lane (S, sonnet).
• Scope: scope per triage 5515095788; the seat that filed the finding is dispatching it — the ruling is triage's, not the seat's.
• Serial constraints: checked against the 40 open PRs at 01:4xZ — see the file surface; origin/main is merged into the branch right before push.

---

Generated by Claude Code