ec70f575a4635796197cb2b1ea1a99dc3eeb595a99bb6c19ff2b0ada4697e61c  AUDIT_SUMMARY.md
c6d4076d68f9753ca7ba3543941d259ea7f6703a19341e02b59e7c4f407746b9  CORRECTION_LEDGER.json
d9180988c471129b2e303b7714b662c84c3d02f35212af67f8f5cd0aab6844ed  LICENSE.md
f0c332a432426444db36986bf223c8a94728a0e1f0dda31a66f37c4924254226  PREPARATION_DELIVERY.json
0f32d036dd2617f8fe1e2a1ae90c4c095c9c8c62f2cf79406b3c03d8a6f163fb  PREPARATION_START.json
91a3ed26b081f0f23152d95d685ea3208cf19b3b1533adf6ec434c4e0d63c189  PRIORITY_PROVENANCE.md
099a6f127c1a3708be110ce92d624dc07c4538d2980c401c84d94c13045dff24  PROOF_BINDING.json
34b004866a73c482b41b21729b1dab0a88602ea406668cb0fa4da6defd95b6c4  README.md
cfe020d2fd59a2362685321e92b8714b4ada91eba6bb6626f3f8d655254c41d0  RESEARCH_LOG.md
01c06cbc43aa55052ad4f5d265a19abff5ee943e818c26ac9ca638bd3adaab39  example_full_cost_instance.json
2818eab189445649ae1ba98d55e3da3e5fab918de88f1779de86962ba99a3393  historical/PROOF.md
42ea8fb086471353e228807acc4b8fd9b8bcf3feab6218046075b001a61e1b69  historical/README.md
a4ce1913c369b438b2e4cd39568e246996e36748368abbef4722060b7f0c6460  historical/imported_author_verification.json
28e76923c813e40f93704568da0855b4424b5b277f5ce2d8644a77625667a1f1  historical/imported_independent_verification.json
2818eab189445649ae1ba98d55e3da3e5fab918de88f1779de86962ba99a3393  historical/independent_review/author_replay/PROOF.md
a298835e88bf4a6528d3ff3d39f6036a5edfb4e6dc525cae13f3f9f631357a7c  historical/independent_review/independent_checks.py
46173f3fa54eae9da12a0525494b7d73d1544980cefea9040f8341340cf7385e  historical/verify.py
64466b5eba72496824829d28313d122a5016fcce0b621f65f6c55a6c5fa48a05  intended_zenodo_metadata.json
e3f08e97a3194daff7b2c1e552306d596060af0c00b3f1f7828084609cb947b8  provenance/INPUT_READ_BINDINGS.json
4db58a2591ef17944baf6ac184f32cfe377bf296847d6c76022a458e3cdc2c49  provenance/R1_REPORT.md
b9c9461627c8d8fd4c3911e193639959dbe466389041e968461f6b0316960872  provenance/R1_REVIEW_MANIFEST.json
450d2c237c9047bafabb5e2ba0f38f978534f0f9d2492592d5a94f1c03923c18  provenance/R1_VERDICT.json
4bf44e311520064a02b179def6e6ba7037b5c46ae4e3464450b58b5c63de5330  provenance/ROOT_MATHEMATICAL_GATE_20261006.json
7d233996c4b554bd15fd52fbd339fa3d17bf1cc05dfc00655b926b9ef7258f66  provenance/ROOT_PRIORITY_GATE_20261006.json
cb97141aaf61c01a6090155f10c5402a2653cf03ec5301c159f7ee5e830e731c  provenance/V1_SEAL.json
79e389c5609da2da253aa320208e7b7abe91233e72acae0200dd48770f1344b7  provenance/V1_SOURCE_PREPARATION_MANIFEST.json
a0e7e6158267fbf9ca4cafbd5ccb4cfa4ac79a1e0aea61282c9ee09d7e8d11d5  root_dependent_spanning_trees.tex
7670a7e06b1406d5d2d6507c6b9713051970fc0703c5503ea81db99e00c9d97f  run_checks.py
011e11c8361c261dfbd34498b9de8a994b6300cca43c73544e813d783c53b178  seal_source_preparation.py
7c88cd05caca22dc3a9323571196236cf948c7f231d022bf34e4d4f2d5b0c4b8  verification_results/PREPARATION_EXECUTION_HISTORY.json
14e23d36a07c2d5e128b99befb26a45a40a43866985c32603b6a68291f787bf5  verification_results/actual_run_receipt.json
21464fe6cb3bad049f7374f620df5228c67964b5f88bdcdcc6d53286f805c52d  verification_results/runner_execution.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification_results/runner_stderr.txt
39f5eb2d42369c05500324df61f31a0245e339ee8b1f1cd5dff4f976dee28fe2  verification_results/runner_stdout.txt
8d90c8f42dc29fa8beed31097c9c01d9ded771745d96b9500c7c0ff0c2d3bdde  verify_exact.py
cc84b3ed53674d54d6765c5187fda0da9b17e17bbfafe6b1ec220d8c1be7c16b  zenodo-deposit.json
d05467112fa2a3e71d90dcf9bba4074af87075653582fb2eb0b8e2931cb71d16  SOURCE_PREPARATION_MANIFEST.json
