runtime: Python 3.10.21
command: python3 scripts/check_axioms.py evidence/current/axioms.log
cwd: public/formal
checker_bytes: 1326
checker_sha256: f57f46411b7245ec715eb13e4546d82d273eb9a8bbfe186c9f4fbf07fe78f5c2
axioms_log_bytes: 11804
axioms_log_sha256: 82dae0644b5ce591c3e4af7bf9fdbfa6aeec11591560cb785ab0727a65d8eda1
exit: 0
--- stdout ---
Checked 147 theorem reports; axioms: Classical.choice, Quot.sound, propext

This is the named runtime of scripts/check_axioms.py against the 2026-09-13
lake env lean Omega/AxiomAudit.lean transcript hosted at
evidence/current/axioms.log. That transcript is byte-identical to the author
evidence/axioms.log (SHA-256 82dae0644b5ce591c3e4af7bf9fdbfa6aeec11591560cb785ab0727a65d8eda1).
The checker is an inventory of the axiom report, not a proof oracle.
lake build of omega_provenance v0.1 was run on this archive on 2026-09-13;
see evidence/current/build.log and evidence/current/ENVIRONMENT.json.
That kernel-check is machine-checking of the selected maps in this package.
It is not peer review of Papers I–VII and not independent reproduction of those papers.
Cubature packages for 10 ≤ f ≤ 21 and the 117 exact f=23,24 coefficient pairs
were not supplied and are not hosted.