BUGOLOGY 缺陷研究記錄
← 全部記錄

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

判斷軌跡

  1. 為何 · 測試the-gate-checks-a-list-and-a-prose-link-is-on-no-list2026-08-02 19:22 → 至今信心 0.93

關聯