nBuL6HywFX / data /claim5 /method.md
DineshAI's picture
Publish claim-by-claim theorem audit and evaluator-visible evidence
cbbc874 verified
|
Raw
History Blame Contribute Delete
283 Bytes

Claim 5 method

source_scope_audit() records the source hash, all substantive section groups, and the absence of an empirical benchmark or training protocol. repro/run_audit.py emits the record on every cumulative run, and the pytest suite checks that Claim 5 remains present.