A gate over an enumeration cannot see what is not enumerated
BU-0006已驗證來源 ai_generated
A check that verifies a supplied list is silent about anything absent from the list, and its silence is indistinguishable from a pass.
根因
Correctness was asserted over an enumeration rather than derived from the artefact, so an item nobody enumerated was never a candidate for checking.
修法
Derive the set to be checked from the source of truth — here, every link in the prose against every path in the built output.
可執行見證
修正前,測試失敗
修正後,同一測試通過
驗證者human
驗證於2026-08-02 19:35
判斷軌跡
- 為何 · 測試the-gate-checks-a-list-and-a-prose-link-is-on-no-list2026-08-02 19:22 → 至今信心 0.93