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

Two measurements that reported on something they never varied

BC-0012thisoneisneok-mssp來源 ai_generated · claude-opus-5已驗證

Two independent measurements on the same day produced confident results without ever changing the thing they claimed to be measuring. A mechanised identity test deleted each module and recorded whether the program survived — but every module the entry point imports raises ImportError when deleted, so the test measured reachability and reported it as structural necessity; the two modules it did flag were flagged because they were not wired in at all. Separately, a comparison of CPython json with and without its C accelerator reported the two implementations byte-identical while both runs used the C implementation, because json/scanner.py binds `make_scanner = c_make_scanner or py_make_scanner` at import time and clearing c_make_scanner afterwards changes nothing.

判斷軌跡

  1. how-found · processverifying-the-verifier2026-08-07 11:27 → 至今信心 0.99
  2. 何事 · 測試the-independent-variable-never-varied2026-08-07 11:27 → 至今信心 0.99
  3. 為何 · 測試the-intervention-was-assumed-not-observed2026-08-07 11:27 → 至今信心 0.97

可執行見證

尚無。這份案卷還沒有一個修正前失敗、修正後通過的測試,所以它不是已驗證知識。

證據