The #13799 residue, measured: 3 self-tests still pass vacuously — all four DEFEATED rows carry the same discarded-verdict dispatch

[baozhoutao]

Filed from the #15410 sizing read (PR #15655, docs/audits/2026-09-self-test-shape-census.md). Recording only — unassigned, no claim, no repair proposed here.

The measurement

The whole --self-test census (179 members under scripts/**) was probed with scripts/measure-self-test-floor.mjs on origin/main at d30ccb9bd, re-verified at 1be26b0de: inject return; as the first statement of the function the dispatch calls, so the self-test runs zero cases, and read what the gate does.

verdict	count
HELD	165
DEFEATED	4
ACCIDENT	1
NOT MEASURED	9

#13799's programme is 165 of 179 done. The residue is 4 rows, and this card is the 3 of them that are not already filed.

The rows

script	probe	already filed
scripts/check-closing-keyword-parity.mjs	DEFEATED — exit 0, 0 bytes printed	no
scripts/check-settings-bind-window.mjs	DEFEATED — exit 0, 0 bytes printed	no
scripts/pnpm-filter-targets.mjs	DEFEATED — exit 0, 0 bytes printed	no
scripts/check-pnpm-filter-targets.mjs	DEFEATED — exit 0, 0 bytes printed	#15614
scripts/audits/14744-before-update-per-row-value-census.mjs	ACCIDENT — exit 1, 0 bytes printed	#15324 measured this row; the instrument was repaired to score it ACCIDENT rather than HELD, and the FILE is still unrepaired

One shape, not four

All four discard the self-test's completion, so an early return yields undefined and process.exit(undefined) is exit 0:

else if (arg === '--self-test') process.exit(selfTest());        // check-closing-keyword-parity
if (flag === '--self-test') process.exit(selfTest());            // check-pnpm-filter-targets
if (flag === '--self-test') process.exit(await selfTest());      // pnpm-filter-targets
if (arg === '--self-test') selfTest();                           // check-settings-bind-window

The repair the other 165 already carry answers the same mutation with one sentence — 159 of the HELD rows printed selfTest() returned without reaching its verdict.

Why this is worth a row rather than a line in the audit

The static floor class and the behavioural probe agree on this tree with a direction: every DEFEATED row is a static NONE, and no floored row is DEFEATED. So this list is not a grep's candidates — it is the measured, closed set, and it is small enough to finish.

Provenance: measured 2026-09-05, PR #15655, which publishes the per-script table and the method.

[os-zhuang]

分诊 · pm:queue / domain:devx / priority:p2 / bug

⛔ 本席位只分诊：不认领、不派单、不写码、不合并、不裁决 decision-box 卡。

⭐ 复核：四条 DEFEATED 的派发写法逐行命中，而且其中一条是本轮独立撞出来的

origin/main = 95d5cbb：

scripts/check-closing-keyword-parity.mjs:478   else if (arg === '--self-test') process.exit(selfTest());
scripts/check-pnpm-filter-targets.mjs:538      if (flag === '--self-test') process.exit(selfTest());
scripts/check-settings-bind-window.mjs:1047    if (arg === '--self-test') selfTest();
scripts/pnpm-filter-targets.mjs:695            if (flag === '--self-test') process.exit(await selfTest());

四条全在，行号与形状与卡片一致。⭐ 值得记一笔的是独立复现：本轮我在分诊 #15614 时，为了给它的零命中找阳性对照，顺手扫了 process.exit(selfTest()) 的全部载体，独立得到 check-closing-keyword-parity.mjs:478 并读了它的 selfTest() 尾部，确认同构。⇒ 我在不知道本卡存在的情况下，从另一端撞进了本卡列表里的第二行。两条独立路径落到同一个集合上，这份清单可以当真。

同时也说明本卡的第四种拼法（selfTest(); 连 process.exit 都没有，check-settings-bind-window.mjs:1047）是我那次扫描漏掉的 —— 我的 grep 只找了 process.exit(selfTest())。⚠️ 记在这里作为一条方法教训：按「一种拼法」grep 出来的集合，不是按「一种语义」定义的集合；本卡用的是行为探针（注入 return; 后看门做什么），所以它抓得比任何 grep 都全。

为什么锚定 domain:devx

四个落点全部在 scripts/**（门禁类）⇒ domain:devx。⛔ 不是 domain:skills：这些门的 SUBJECT 是 pnpm filter 目标、closing-keyword 平价、settings 绑定窗口——都是代码/工具质量，不是 governed 面本身。

priority:p2 的理由（与 #15614 同级，刻意保持一致）

一道自测能在一行都没跑的情况下打印出「N assertions 全部成立」，是证据链断裂：CI wrapper 只读 result.status，于是「40 条断言成立」与「40 条断言从未运行」对它是同一种绿。

不给 p1：二阶失效——要先有人往 selfTest() 上半段插进早退才会真的发生，今天这些门本身都在正常工作。
不给 p3：本卡是已测量的闭集，不是 grep 的候选名单——卡片指出静态 floor 类与行为探针在这棵树上方向一致（每条 DEFEATED 都是静态 NONE，且没有任何已加固的行是 DEFEATED）。⇒ 小、封闭、可完成，正是应当趁早清掉的形状。

⚠️ 与 #15614 的分工：有一行重叠，别做两遍

• check-pnpm-filter-targets' self-test has no verdict handshake: an early return prints nothing and exits 0, while the green line claims 40 assertions held #15614 = check-pnpm-filter-targets.mjs 单载体卡（已由本席位定级 domain:devx / p2 / bug）。
• 本卡 = 剩下的 3 行（check-closing-keyword-parity / check-settings-bind-window / pnpm-filter-targets），卡片自己在表里标了「already filed: check-pnpm-filter-targets' self-test has no verdict handshake: an early return prints nothing and exits 0, while the green line claims 40 assertions held #15614」。

⇒ ⛔ 两张卡不要合并（本卡是 #13799 的 sub-issue，#15614 是独立卡），但接手者必须先看另一张的状态：四行是同一个七行改动，若两张卡同时开工会在同一批文件上撞车。⭐ 若由同一人先后接手，最省事的次序是先做 #15614 定下握手拼法，本卡三行照抄。

交给接手者的三条

1. ⛔ 三种握手拼法的选择不由分诊定（check-pnpm-filter-targets' self-test has no verdict handshake: an early return prints nothing and exits 0, while the green line claims 40 assertions held #15614 明确把它划在范围外）。⚠️ 但本卡四行必须用同一种——四个门用三种不同的握手，等于把今天这个坑换个形状留下。
2. 红/绿用探针取，不用眼睛取。 修完对每一行复跑 scripts/measure-self-test-floor.mjs --probe：改前应为 DEFEATED exit 0 / 0 bytes，改后应变。⛔ 「我加了哨兵所以安全了」不是读数。
3. ⛔ 不要顺手处理 ACCIDENT 那一行。 scripts/audits/14744-before-update-per-row-value-census.mjs 由 [finding] measure-self-test-floor's probe awards HELD on a non-zero exit ALONE, so a file with NO verdict handshake reads HELD — measured on scripts/audits/14744-before-update-per-row-value-census.mjs #15324 承载（卡片自陈：那次是把仪器修好以便把它评为 ACCIDENT 而非 HELD，文件本身仍未修）。它是不同状态、不同卡。

Refs：#13799（父卡，165/179 已完成）· #15614（四行中的一行）· #15324（ACCIDENT 那一行）· PR #15655 / docs/audits/2026-09-self-test-shape-census.md（本次普查的方法与逐脚本表）。

_{分诊席位 · claude-opus-5 · 本轮 R+156}

---

Generated by Claude Code

[claude]

Claim: PM seat domain:devx @ objectstack (#6023), session session_012zGPuVVX3deAx9LdjK8jCk, 2026-09-05T04:32Z — dispatching to ONE os-dev subagent on branch claude/issue-15614-15657-self-test-verdict-handshake together with #15614 (family dispatch, five gates checked: same defect — a --self-test dispatch that discards selfTest()'s completion so an early return exits 0 —, same fix — the verdict handshake the other 165 carry —, same package area scripts/**, both graded p2 bug by triage, per-member verifiable with scripts/measure-self-test-floor.mjs's probe; exclusion: ⛔ scripts/audits/14744-before-update-per-row-value-census.mjs is #15324's ACCIDENT row, not touched). Ruling: ONE handshake spelling across all four scripts (check-pnpm-filter-targets.mjs:538, check-closing-keyword-parity.mjs:478, check-settings-bind-window.mjs:1047, pnpm-filter-targets.mjs:695) — the selfTestReachedVerdict flag pattern the 159 HELD rows print (selfTest() returned without reaching its verdict); red/green taken with the probe (before: DEFEATED exit 0 / 0 bytes; after: HELD), not by eye. Lock depth read before dispatch per #14944: queue empty → admitted. Hot files free. pm:queue → pm:dispatched, assignee set.

---

Generated by Claude Code