6155f5a742e23fa25580a009f155e109aa4a87014e671d2067d73e55e17839bf  ./01_audit-output.zip
e3fd6380f3455fb849103322fc66b2d7c947f4f9249ed5b00fb437f5d7370459  ./02_verify_sp4_gauge.py
0d8008e8c84a7aada340c6d978148bb23d6dcf3b0494ea4b65efdc1d737e0754  ./03_verify_sp4_gauge_local_rerun.txt
21e537a6ea3a4cde4c2263a9467be4c2d572c9cc8143dbf80782a79805e5386b  ./PINNED_SOURCE_LINKS.md
43f0256ca41ff91705dea69dda8e0878703cb3ed0c56bb3740bf1b52aa5cdc1b  ./README_REPRODUCIBILITY_PASS.md
4fac88aee24daa765dcf2d5ae392fd2aee96a5cea8a7bee03bdd23505485253c  ./audit_receipts/AUDIT_INTAKE_REPORT_6155f5a7.md
445999987f4935e97528710f201940151cf1c29ebb4e2f60792ce4ca03684c59  ./audit_receipts/RESULTS.md
4dea7daeffa5070eb80ac177b003ad54ce722fabf0d2aff60469322d836f894a  ./audit_receipts/SCOPING.md
6155f5a742e23fa25580a009f155e109aa4a87014e671d2067d73e55e17839bf  ./audit_receipts/audit-output.zip
b0b66557741ccb22c23fc1a9124308d4e29ce47d72b4e2e987e586c5b37e972e  ./audit_receipts/build.log
6196f979f987418a7545787c7036bc69e0a577acc644903b2e1bb49f60eb5fe1  ./audit_receipts/build_command.txt
55117dffa9c793044990cacd168471432bed636878130a67be960b41f158b586  ./audit_receipts/build_exit_status.txt
2d75a19d181c0aee2e658bfd085ec1c5a98cd477f19436c0b473d4084fba7846  ./audit_receipts/command_transcript.txt
4478e2640fbb7bfb5f6269762bb2ef57bcf94788ddc5d76d4ef49aeda400e738  ./audit_receipts/comparator.log
ca2bdd2752cc9839a63d8d5217408c1ae934eb0c93dc241580a18bf16fd36f6c  ./audit_receipts/comparator_config.json
b93d7e103d034ccd6ced861eaf45b96d6763629fb0c1908d23930bcbcd79db2f  ./audit_receipts/comparator_exit_status.txt
eba310c1ecf3e9da584d7807972b944e855c723f4d83f6e63b70269b4ee326da  ./audit_receipts/comparator_permitted_axioms.txt
e1780fadc1fe71c520f4f64969b75938055cbe4e5b364d85cbda7a9d3f759000  ./audit_receipts/comparator_replay_provenance.txt
85c3bd29942e705c0e195c99d4439440de2ccc3a58b250adde6115e5cc2fb480  ./audit_receipts/comparator_sorry_check.txt
1603474f2e143679d732758312a85a9fb89bd5f470634e4474176a7287c7a132  ./audit_receipts/comparator_versions.txt
6a786ef85e94d524546fe09858800c90f29606ad1c9944697257a3bc684ddc9e  ./audit_receipts/environment.txt
b9965c43e6d2fa33ab36373e004602efaad0ac3941142b695ce5413c58a846dc  ./audit_receipts/exact_arithmetic.log
e6f19b1d0e2e5d7396f5271b297842c003b8b2e750da82e38f4bad3da980c8a2  ./audit_receipts/key_definitions.txt
d54beed1992972ad92167927ad2a27669d656b577a2fedbda9f72ef9c5ae3ea9  ./audit_receipts/print_axioms.lean
83779faf177e69bde0a907335ee02c07468736a70a89eeed0baca7802f0bc347  ./audit_receipts/print_axioms.log
59cdf4e1c07bb7f3c6fe1312b9386a10e7e9ef776a3785350409c4ad152ca825  ./audit_receipts/print_axioms_raw.txt
6adb24fcd940500470f68f280842c288d085cbe2918d13061de0cfca8f681f4d  ./audit_receipts/repository_state.txt
1a21da07837c893b0c76d64e71ba4ad051d39b2ee0ea959f7f28fbf5f66385d1  ./audit_receipts/source_hashes.txt
a061aabc9baa33c2ff0f20dcae7cb1e5b19e05e830fb2c74a3766cdb3ea6036e  ./audit_receipts/source_searches.txt
