Spaces:

DineshAI
/

nBuL6HywFX

Running

Publish claim-by-claim theorem audit and evaluator-visible evidence

cbbc874 verified 6 days ago

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