An input the checker does not recognise, reported as nothing
BU-0009已驗證來源 ai_generated
A checker classifies its inputs and has no branch for the ones it cannot classify, so an unrecognised input produces the same output as a compliant one: nothing.
根因
The set of recognised inputs is supplied, and the fall-through for everything else is a skip rather than a refusal.
修法
Where the recognised set genuinely cannot be derived, split the fall-through in three: known-and-checkable, explicitly declared as having nothing to check, and unknown — and make the third fail with a message naming the file and the choice the author has to make.
可執行見證
修正前，測試失敗
修正後，同一測試通過
驗證者human
驗證於2026-08-06 10:55
判斷軌跡
- 何事 · 測試unknown-input-treated-as-nothing-to-report2026-08-06 10:55 → 至今信心 0.99