(git-record date, not publication date)
completed
measured
audit
verified
Compiler refinement verdicts rest on a hand-written Python model whose exposure is bounded by a 655,360-point zero-mismatch cross-check against Clang and full model power on the poison hazard, and true LLVM-native refinement remains absent because Alive2 is not installed.
hunts/r_e2ee73 (Record 49 of 98 in chronological sequence)
Guiding Question
What are the exact epistemic bounds and scope caveats of compiler verdicts resting on a hand-written Python interpreter in the absence of Alive2?
Method & Verification
All 10 compiler fixtures were cross-checked against Apple Clang at -O0 and -O2 over 655,360 comparable points, and both detectors were run against the four planted lesions in compiler.catalog, including the poison nsw-flag case.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Case-log status is settled. Disposition maps settled to completed. Alive2 absence is an environment fact at the pin, not a claim that rung-3 refinement is impossible in principle.
Date Provenance
commit f85e6d4416cfd5bcfb69111aa60f615ab5626d84, hunts/r_e2ee73/RESULTS.md, author 2026-08-20T09:49:31-05:00