nBuL6HywFX / data /claim5 /EVAL.md
DineshAI's picture
Publish claim-by-claim theorem audit and evaluator-visible evidence
cbbc874 verified
|
Raw
History Blame Contribute Delete
403 Bytes
# Evaluator guide — Claim 5
- Verdict: **VERIFIED**
- Confidence: **HIGH**
- Current checker: `repro/run_audit.py` through the fixed cumulative command
- Negative control: `repro/run_release_audit.py` injects a synthetic empirical
marker and requires the scope classifier to reject the theory-only verdict
- Primary PDF SHA-256:
`fbc31ec9024e20bef85e4e12a262991f098c093d171d6063d57bcf62419b562b`