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