{
  "Paper_IX_Draft_0_6.tex": "c7136b24c646bb87c089b0ff1f427f243f50737a69c04f58cc717d3c297f5fb5",
  "README.md": "4bf6fe120a575ac087fd234637fb5815c4e3e9084d00d072fa0958ff66671dae",
  "SOURCE_ORIGINS.json": "9911b23ebe9a5a476690719b180d8f0866f4ef86549e4da096f9086f4861d7c0",
  "audit/AUDIT_RESPONSE.md": "fe854688db2d31682ce34c7d896d388e5b843028373f37a476f4e5cc0f6d5bbf",
  "audit/Draft_0_5_SOURCE_ORIGINS.json": "7e59221b9b768857d32e419e1023abe73813c62ba346d95a0d5712db12f68b3b",
  "audit/Draft_0_5_draft_metadata.json": "7164e2a8496ff00c776e96f4cd1dc07d75eb33d5556bf11b8c8092a47d986a2c",
  "audit/Draft_0_5_pdf_validation.json": "ff37693f9cd9f444235de0dd4700ee7cfdd08d83d15f5cf70b81366bcae0eca6",
  "audit/ILLUSTRATION_REVISION.md": "089887d64c2a2d641009284cba7fcf146bdc000bdb23af639064f08d701f2bdd",
  "audit/candidate_count_guards_fixed.py.txt": "764188dadfe84f2ec9c496cd1ee6afec6a1b742431736eda8ab9d57e5affe91d",
  "audit/candidate_counts.stderr": "af81852dc2dffd04b5f2a490f796a261b7e2872aa6f294b16ca3a8144668652d",
  "audit/candidate_counts.stdout": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "audit/candidate_cpp.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "audit/candidate_cpp.stdout": "c979d51fe38e59db85f9a5816f71061389b24c41bf4300621eeda679bfe08615",
  "audit/candidate_cpp_execution.json": "b4ce4c554d0579d47331e1f6e715f906e1e6ca457560504137def4900dc923dd",
  "audit/candidate_indent_fixed.py.txt": "c0ab5d5c2b174fa69f40ba9ea6f2b5302e859064e07850c6f36dd60d88d555da",
  "audit/checker_source_preservation.json": "10f8d7e3b9098b029d63a3e3fc92953ae9bf5a7eb7bbe304411176e4e1949f77",
  "audit/compression_comparison.json": "d39c2d903adf4409e80d80b089c3c97acc017e2c6519f02256026cbc734dc392",
  "audit/figure_assets_normal.json": "528e22f65112ca0cff3cbf389fa9e8b618c6ec1d1edd6d70092dcce1d71e64e8",
  "audit/figure_assets_optimized.json": "528e22f65112ca0cff3cbf389fa9e8b618c6ec1d1edd6d70092dcce1d71e64e8",
  "audit/figure_execution.json": "c72fc435ae43813f5b2a275625ec62df1826eb97e2c8708b3112fef6d814a83a",
  "audit/figure_validation_normal.json": "d57b4b9a248e4d91705cc193db005f50c3ac52e0419a3cbc6547fe7c3923a586",
  "audit/figure_validation_optimized.json": "d57b4b9a248e4d91705cc193db005f50c3ac52e0419a3cbc6547fe7c3923a586",
  "audit/minor_controls_normal.json": "e078548c0e308c041a1a128292acd857be406a28343b9d6ca6c33800baa1a51a",
  "audit/minor_controls_optimized.json": "e078548c0e308c041a1a128292acd857be406a28343b9d6ca6c33800baa1a51a",
  "audit/orbit_minor_default.json": "abae42e6488ea3889f81052038340094dd33360f17f84fd4dfaf5407c3c41d88",
  "audit/orbit_minor_normal.json": "8295651afc37c31195b887fed34c218373cdf7c12e61bdf7ce1746a76b82f2d2",
  "audit/orbit_minor_optimized.json": "8295651afc37c31195b887fed34c218373cdf7c12e61bdf7ce1746a76b82f2d2",
  "audit/pdf_validation.json": "60e011404e19ae133a54f798f7aff5f8af6a697bbc4963f5a777a4686eb1a95a",
  "audit/supplied_syntax.stderr": "8f730ce641a40c0bcb095dbc23c28183040b354729245a295a7d262f30edf007",
  "audit/supplied_verify_orbit_minor_sums.py.txt": "bc43383aef61e65e5490cd4d947b078485a76b09e48387cb92c01ddd724aa629",
  "build_publication_files.py": "dbdfb3b89b5471101bdff5d2edcb77ff1a6bdc4005450b46266c9f6cde35ae68",
  "build_source_archive.py": "34fa4197a7e56d6076377d5bafcfefe4b2889a878503b34deafef8780aace3c9",
  "check_minor_kernel_controls.py": "a37595b2b2d08941f2713c1e57d201a888cf74c96a6614120defb8e583819fc3",
  "compile_paper.py": "6b6536e269d5d131dcaed76479affd2b75ab65771f3092170a7747ed8f32dbe7",
  "core_certificate_check.py": "79e67b233c345cd57aa3a3789923ae06336fc07045907c6eb4ee2ea7da452ad4",
  "core_certificate_normal.json": "1cda37c790071935774be9e98e95feee42465c7a654a3534cf6e5f71dce096f1",
  "core_certificate_optimized.json": "1cda37c790071935774be9e98e95feee42465c7a654a3534cf6e5f71dce096f1",
  "draft_metadata.json": "b868790418d40e14a56a380555d43b3a36dd3fcbf085794c764c8b566f64c413",
  "evidence/CONFLICTS_AND_DECISIONS.md": "7199c77b79593891f17bc6b1c809cbae50871d06674c0f46d58e01bb975f1681",
  "evidence/claim_ledger.json": "42e97064b4fc893e297a0683c09dfa67a3e8c5f1f880643f8a2303d44bb79c6c",
  "evidence/interchange_normal/history_example.json": "f8aa1476eec70d40464ad7d69b947b5ad95bbd02df55bd98d61c3c92b206a37d",
  "evidence/interchange_normal/history_storage_examples.json": "c213ed7c41cdc611943b9e5ba08731240672143585f8149ce3cc6cb377faa65c",
  "evidence/interchange_normal/verification.json": "842b4a65ab79713f5da22d8b2ddde8b74986b900be6fa67ac78879780957d769",
  "evidence/interchange_optimized/history_example.json": "f8aa1476eec70d40464ad7d69b947b5ad95bbd02df55bd98d61c3c92b206a37d",
  "evidence/interchange_optimized/history_storage_examples.json": "c213ed7c41cdc611943b9e5ba08731240672143585f8149ce3cc6cb377faa65c",
  "evidence/interchange_optimized/verification.json": "842b4a65ab79713f5da22d8b2ddde8b74986b900be6fa67ac78879780957d769",
  "evidence/original_manifest_audit.json": "5e39b466c586c533f5c50da3a61cbcb2f1334f78315422c3e59a82714b71e5c4",
  "evidence/readiness.json": "5075acb1619e78559f1b49f8ce4c1c42f0789f01348857069cf6b771030b835a",
  "evidence/replay/bound_order5_normal.stderr": "537bc432c3a65b107d364d8f11cd0876ef6777e76d7ab0179275c0c178f4cc79",
  "evidence/replay/bound_order5_normal.stdout": "dfc43c53322e052c54a4eea5f9b1ea2ab86333bd7c35ae46fa6063269b589989",
  "evidence/replay/bound_order5_optimized.stderr": "1dfb04cd512cfd791abcb36a1518e68da9bb7cdfc2f375c6b775fad28dfa2fac",
  "evidence/replay/bound_order5_optimized.stdout": "dfc43c53322e052c54a4eea5f9b1ea2ab86333bd7c35ae46fa6063269b589989",
  "evidence/replay/bound_order6_normal.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/bound_order6_normal.stdout": "5e44ea6df608ea870512e28917697523cc294c5f05a9e3527cf686ba220eed27",
  "evidence/replay/bound_order6_optimized.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/bound_order6_optimized.stdout": "105ae393e8847abb15eb6dd6ec26c9ee5c6cf3e4469b062ecdf0f9b33ff48814",
  "evidence/replay/bound_order7_normal.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/bound_order7_normal.stdout": "8290070fc7c812d2835d14d148fa1022cec9f7956da780735f632e26c24ca9a2",
  "evidence/replay/bound_order7_optimized.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/bound_order7_optimized.stdout": "26305e1fd52ee19bbff8c7ebbedb394c1b329a730be8a646ab7498c6c89cc2f4",
  "evidence/replay/bounds_normal/neighborhood_normal.json": "1ef7e03587d6dca08f9f20a8baae64128a447b7348c003662b3e710b8830edc3",
  "evidence/replay/bounds_normal/neighborhood_order6.json": "5d54e92364e667d5f202e8f0e48455759ba006b69605db56b7279d8026bfcc6e",
  "evidence/replay/bounds_normal/neighborhood_order7.json": "9c2142c3fc5e6d15b7f7f90255e0a700574f859e9a3ae031cb189d8c59276c6d",
  "evidence/replay/bounds_optimized/neighborhood_normal.json": "1ef7e03587d6dca08f9f20a8baae64128a447b7348c003662b3e710b8830edc3",
  "evidence/replay/bounds_optimized/neighborhood_order6.json": "5d54e92364e667d5f202e8f0e48455759ba006b69605db56b7279d8026bfcc6e",
  "evidence/replay/bounds_optimized/neighborhood_order7.json": "9c2142c3fc5e6d15b7f7f90255e0a700574f859e9a3ae031cb189d8c59276c6d",
  "evidence/replay/codec_normal/certificate.json": "2a227692c2ee3cf21c4eeb28210bc6d662b408d1ee55cf3e26c11e8bec89bcdc",
  "evidence/replay/codec_normal/demo_records.json": "99ca02c538e4fa0d0ffa0a6e9967f63f4ee694c00f2030155d520beab6f23bb8",
  "evidence/replay/codec_normal/directional_examples.json": "229abe2de118b5440f4656b2688081331935e77afa79e23a0ab954c4ab00221d",
  "evidence/replay/codec_normal/directional_verification.json": "f94050c5cf86b040c7ac899f9dfabfb576dd33878818a0476ba3fdab48a00272",
  "evidence/replay/codec_normal/verification.json": "db4d349cbacce0500881e0d3a81bb846ae78e2a80c05c870defbfb51a303ac9f",
  "evidence/replay/codec_optimized/certificate.json": "2a227692c2ee3cf21c4eeb28210bc6d662b408d1ee55cf3e26c11e8bec89bcdc",
  "evidence/replay/codec_optimized/demo_records.json": "99ca02c538e4fa0d0ffa0a6e9967f63f4ee694c00f2030155d520beab6f23bb8",
  "evidence/replay/codec_optimized/directional_examples.json": "229abe2de118b5440f4656b2688081331935e77afa79e23a0ab954c4ab00221d",
  "evidence/replay/codec_optimized/directional_verification.json": "f94050c5cf86b040c7ac899f9dfabfb576dd33878818a0476ba3fdab48a00272",
  "evidence/replay/codec_optimized/verification.json": "db4d349cbacce0500881e0d3a81bb846ae78e2a80c05c870defbfb51a303ac9f",
  "evidence/replay/directional_normal.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/directional_normal.stdout": "1c49d95f6baf72a9202f6d82818e1bdbc258fa0485a5e261c27838ff5521818d",
  "evidence/replay/directional_optimized.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/directional_optimized.stdout": "1c49d95f6baf72a9202f6d82818e1bdbc258fa0485a5e261c27838ff5521818d",
  "evidence/replay/execution.json": "dbb2ec15961c060a868348cb1158b0cc9c315e4004ea29b663f4fc914c7ad2b5",
  "evidence/replay/indicator_normal.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/indicator_normal.stdout": "2f8b00333d1b2b26043d93ba9b22b92bdd07cff803b62c3e1b790cdbe49f6ae3",
  "evidence/replay/indicator_optimized.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "evidence/replay/indicator_optimized.stdout": "2f8b00333d1b2b26043d93ba9b22b92bdd07cff803b62c3e1b790cdbe49f6ae3",
  "evidence/source_inventory.json": "0397995693c59d6abeb35a31198d7876bb7c657e7500094c0eb9326c2c7c0d16",
  "figures/figure_1_local_neighborhood.pdf": "849ee6ac45fa6824454cffbe130b41af0f67b097807ebeda49018dd2922eba3a",
  "figures/figure_1_local_neighborhood.png": "b6359bdf9639a7dee9e4261723f332c1237ede25bc964167a9920b3f56d9eab6",
  "figures/figure_1_local_neighborhood.svg": "59a8c1452b5615365a3fde3404e367d6d570426afe98c561b90f074848e5ede7",
  "figures/figure_2_packing_and_cover.pdf": "9fdc2ef4d1ca52416aeba456d3f9ae9a43dc46e3a9529a96d1f640741a736889",
  "figures/figure_2_packing_and_cover.png": "97839f3feacc73c454b2be7d2ec089d459a38bee7a6085dffa60f6f7d9bf006b",
  "figures/figure_2_packing_and_cover.svg": "3ae084ba150308d62b9de42a29c594fbf719a9b5bd82f9634cf8fa7afe3dca72",
  "figures/figure_asset_sha256.json": "528e22f65112ca0cff3cbf389fa9e8b618c6ec1d1edd6d70092dcce1d71e64e8",
  "figures/figure_validation.json": "d57b4b9a248e4d91705cc193db005f50c3ac52e0419a3cbc6547fe7c3923a586",
  "fonts/DejaVuSansMono.ttf": "54bf827eb99404e8f430c330ad30f063334f637eba0109b6a18d4f566a8e9dd8",
  "fonts/FONT_LICENSE.txt": "63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9",
  "fonts/paperixmono.enc": "0f24a084bd072a24a39c6ca69ecdc3f459c2d3ae120bf14432e45c51992f1da6",
  "fonts/paperixmono.tfm": "6a4443cf36f85f13ccb814202e823ef0dc6bfbca6b7fa836195aed905f251a71",
  "literature/RELATED_WORK.md": "649ff4e64df2fca60174e48ae6dd6bdeaf3a19da71fbb9f0ff2214a181c5808d",
  "minor_sum_checked.cpp": "ebf26db92be94d9a4ea97a8eab96e4c1e514ec5ed25f2333c8af9b5ba1850686",
  "original_source_archives/OMEGA_Paper_IX_307_352_Exact_Certificate_2026-11-01.zip": "58743d6237f232b5c8eb9f0a326d261e02909458e60529fa617028c822c613f3",
  "original_source_archives/OMEGA_Value_Indicator_Codec_v1.zip": "7f920ec52b6836bb563df8e914dd02a38ad1b30dc1b854dd69325dc0a081cfbd",
  "original_source_archives/reference_texts/352_BIT_PROOF_ADDENDUM_2026-11-02.md": "e9224dd8725bb06cfdb53d08f289b4bfc1fb2f0262ceea43dfb81bd561d94bc5",
  "original_source_archives/reference_texts/OMEGA_Directional_Integration_2026-11-02.txt": "318e894f51f7606ad4cb1b11bc3cc9352dde423c39c3a58ff39adbdea0cecf60",
  "original_source_archives/reference_texts/OmegaPaperIX.lean": "4ec16b04d617d2f426657b0fe37d67d9e6a61e4c0cfd4165c87f5798cea3072f",
  "proofs/CORE_THEOREMS.md": "fa136e42948d8a41eaaed21dc79bb42d77b58d9d4848e30ba5da6085518ed45f",
  "proofs/OUTPUT_CONDITIONED_BOUNDS.md": "63284303b2b29d4f70fcd183f9b2aea945c7aab2de66fa9b739f456e3be01f2f",
  "publication_templates/CITATION.bib": "61b1c26d4dd4902e4f91cc32346bafbde8aff886e8d93cafc8e3c1487a859077",
  "publication_templates/CITATION.txt": "1ed04e49c0e262bb52c0e8da308c26d0428e69b70194c2ccb79ac27a78d8f691",
  "publication_templates/PUBLICATION_METADATA.json": "2f29a85bc0d2f7b0afd39fe1f6101b5a649554768da96405c549c950f97adffe",
  "publication_templates/READ_ME_FIRST.txt": "6f19d26ac874edf3a9e9c11c3d94a2a75f2a8230b399cf2591a18e34c7bf8480",
  "publication_templates/ZENODO_METADATA.txt": "f5dccb51306434041f797524a56b3097b80f294db9bd716a9bf8438ae73cc79e",
  "publication_templates/verify_publication_files.py": "67d1b71c7f845f03da706a0308bf2cec54952ddd7205ab2b36cf701e30c156db",
  "render_figures.py": "675e46c1ecb63d6ffce59777a2a7e91d988e84d3371043ef0cc3d9a9e2cbf4a1",
  "reproduction/paper9_records.py": "6c63400bae057104307f899d3eb1a58a7de799de5f8b258f0e0ba1f2174fc9cf",
  "reproduction/reference_bounds/EXECUTION_RECORD.json": "2092c3a5d8ed47574a0215b945899df3d9b1e4a0aff8b98f7d8470d2308ae3bd",
  "reproduction/reference_bounds/FOLLOWUP_COVER_SEARCH_2026-11-01.txt": "566218eaf03cd250de94596018e3c6017fe98642b8592a7949011b2ebb006add",
  "reproduction/reference_bounds/MANIFEST.json": "399852cb19c6967e6706eebcc69099e6aa982ad93df18f9611edc8acf587d34d",
  "reproduction/reference_bounds/PROOF_AND_AUDIT.txt": "139a1660da639527f11dcc8ba60205b20c1f79093e61d81e65951c301dca9379",
  "reproduction/reference_bounds/REPRODUCE_FOLLOWUP.txt": "2b7cd016e71ac154a8080909971907fb25b9b2a95f75a60a6c22e8036b88f3c2",
  "reproduction/reference_bounds/alternate_13_cover_screen.json": "f421060bccdd796f8a671eac9567db87f8d2de7162323d638eec1033df191670",
  "reproduction/reference_bounds/alternate_order5.json": "4050d327a4b2c1f40c805da2c8d35b38b5be30689fdeba33ea24a3a4f70f1d5d",
  "reproduction/reference_bounds/alternate_order6.json": "c96064ea476efa22a3a50191b774010f21412174e07dc94e493a852706006ce8",
  "reproduction/reference_bounds/baseline/STRUCTURE_REDUCTION_AND_PROOFS.md": "d8e4cac6cfa9416a02bf035b1baf64f866421a52827f8b397376aeeb732b2d3d",
  "reproduction/reference_bounds/baseline/verify_structure.py": "57100e240ba7d1a8c10c133e51937461cf6b9b0cb1ef1602671095bd4375917b",
  "reproduction/reference_bounds/candidate.json": "3aff853e58a353ffd5fbbbe8794d7923e5141f7d8beb5ca5c1f639e0391df0c6",
  "reproduction/reference_bounds/cover17_order5.json": "b8e1674fb16a8085f785d2fc3f8da2496d7128a3608c8f79f1775863c2b7d5a1",
  "reproduction/reference_bounds/cover17_order6.json": "3c1e73825c0268c1523c4ba856d899965a41d18be58ef7d833797f3f6d786cba",
  "reproduction/reference_bounds/cover19_screen_order4.json": "4a712a78a9c3695747e518a2f28e6c90c18a13439b5299affc8cbed486f3c2b0",
  "reproduction/reference_bounds/cover20_nested_bound.json": "a23bf3370f841c1365b57c8737adaa5e8b8707229f404f0cb05c3b5db5bdc1c3",
  "reproduction/reference_bounds/cover20_order5.json": "f99237968aac833b53877bfa4fa0939e098ce1afafb50e54810b0eb45570ccff",
  "reproduction/reference_bounds/cover20_order6.json": "3b2590b0ff8ca6d3de8a9e8f61d40641e7d8473be290115c7b9f0d9a823cd862",
  "reproduction/reference_bounds/dense_14_cover_order4.json": "2ae30706029f2ca9806db54a831e95283f44d0ba634f2a523388c3707bf5d31a",
  "reproduction/reference_bounds/dense_14_order6.json": "14c33c977b3f226e9a85165eb6549ec3941bd9d2b80c7e2050f538ee496ff514",
  "reproduction/reference_bounds/dense_14_order7_lower.json": "949bb182f105b8703c2ff2f99a263f6d4619fe2b140d2bd3c81639a43f4f8fa7",
  "reproduction/reference_bounds/dense_14_order7_one_external.json": "1a8c5cd8083360c43339ef2de4ad84d5d0ad0a3748f5f372c9ac48412a2c236d",
  "reproduction/reference_bounds/dense_15_16_a7_internal.json": "2f12814a20c0d73a60814bc2df2ce9d756e36e8eebd9c215038782636876af76",
  "reproduction/reference_bounds/dense_15_a7_one_external.json": "8198a69cd378e5882f32c3899c598ed046de2fb712366f24bbb867e367f55bb6",
  "reproduction/reference_bounds/dense_15_cover_order4.json": "5293495421fa8934d5f1efc277780fe7edf39e0766a56c5f641b719c767a5dd6",
  "reproduction/reference_bounds/dense_15_order5.json": "d5de571b89cd765805019489f5c86aef0745ed980b6b2e9c8f16a00f390c5fbf",
  "reproduction/reference_bounds/dense_15_order6.json": "12f950d1a455caad0bea2b7a32c398d20a19b4430c1ba264959148c982b76b07",
  "reproduction/reference_bounds/dense_15_order7_cauchy.json": "20e33cd5715c4f7bf444cc324defc2b1209a90aa79cbfe070f94e81740f952ec",
  "reproduction/reference_bounds/dense_16_cover_order4.json": "3859f67de024f8c2e01295872c93c3acf321a0ae58fc1866edeb5d5c38327680",
  "reproduction/reference_bounds/dense_16_order5.json": "8a32fcb1c76df66c35c50907d8858a52f9797c7c7123bfe1c0ce72ed99733322",
  "reproduction/reference_bounds/dense_16_order6.json": "fb7dd11e64899703cd5866be5a954294f7248a7e33a15d40ed4e521215e48469",
  "reproduction/reference_bounds/icosahedral_neighborhood.json": "e79a0709ab1126281f2a921c18bb3888fa5f3df48a31240dc2d07df700cd0511",
  "reproduction/reference_bounds/matching_partition_dp.cpp": "337ac41f35dea7af440d014ca0976abee59b5fc10acba90e7b599c230a944390",
  "reproduction/reference_bounds/matching_shearer_results.json": "a9a7e008fe961d3855f53f4b3a1749092014dc47fbf67cdc06de42e02c0dade2",
  "reproduction/reference_bounds/neighborhood_normal.json": "1ef7e03587d6dca08f9f20a8baae64128a447b7348c003662b3e710b8830edc3",
  "reproduction/reference_bounds/neighborhood_normal.stderr": "29488a112397598f2547eb7bc8a1f2f5e16cd90a123e2af7b7e0a14e94a0816d",
  "reproduction/reference_bounds/neighborhood_normal.stdout": "dfc43c53322e052c54a4eea5f9b1ea2ab86333bd7c35ae46fa6063269b589989",
  "reproduction/reference_bounds/neighborhood_optimized.json": "1ef7e03587d6dca08f9f20a8baae64128a447b7348c003662b3e710b8830edc3",
  "reproduction/reference_bounds/neighborhood_optimized.stderr": "3738427b84152aaf8578976f9313e4e82f5a2e654beadf5cfde556254b754dea",
  "reproduction/reference_bounds/neighborhood_optimized.stdout": "dfc43c53322e052c54a4eea5f9b1ea2ab86333bd7c35ae46fa6063269b589989",
  "reproduction/reference_bounds/neighborhood_order4.json": "bce0c5f67fd0fa584bf8e34faf32795011a04a3d21e5b43c611747f0f24a086d",
  "reproduction/reference_bounds/neighborhood_order4.stderr": "661374ed1a251623f77d4e3e1a3f9ad6a42f5319f5f02909790ae008d3bfc49c",
  "reproduction/reference_bounds/neighborhood_order4.stdout": "3f783218d8ed66ed20decb72babe64ce247fcf42cba8becd9947833f2d3bb8f0",
  "reproduction/reference_bounds/neighborhood_order6.json": "5d54e92364e667d5f202e8f0e48455759ba006b69605db56b7279d8026bfcc6e",
  "reproduction/reference_bounds/neighborhood_order7.json": "9c2142c3fc5e6d15b7f7f90255e0a700574f859e9a3ae031cb189d8c59276c6d",
  "reproduction/reference_bounds/normal.stderr": "59f1bccb7ab99db087598e256333653fe6a0d64fc11fe3320fd5ec9edf4bf92d",
  "reproduction/reference_bounds/normal.stdout": "48d6b934a2501098ba33e1e96bffeb325cf8414b673baf5530cbb5f4bcb0eaa5",
  "reproduction/reference_bounds/optimized.stderr": "853e77f0d6c6a8b66fb86cabef703bc4b52ecf97d55e214f69e33cc85ff8763c",
  "reproduction/reference_bounds/optimized.stdout": "48d6b934a2501098ba33e1e96bffeb325cf8414b673baf5530cbb5f4bcb0eaa5",
  "reproduction/reference_bounds/search_alternate_13_covers.py": "d91ef9defeee9dcd1d22f1e1f0309afc7a829a322b171985440717dee530c24f",
  "reproduction/reference_bounds/verification_normal.json": "58c1c9983713aa1e166ae90d562818493b1975b6f2f768fd6bc495369dad1de5",
  "reproduction/reference_bounds/verification_optimized.json": "58c1c9983713aa1e166ae90d562818493b1975b6f2f768fd6bc495369dad1de5",
  "reproduction/reference_bounds/verify_alternate_order5.py": "2100714fd6f4117fb6672a8c942833925fcaf17cd33a6d8663e385149da640c9",
  "reproduction/reference_bounds/verify_alternate_order6.py": "4e0492e66af587a10a4bcaf8de1a6dcbf0af34ab84be116814ebf06d020fc1bf",
  "reproduction/reference_bounds/verify_cover17_order5.py": "3977ecbde913f83b3076c0d8d4ee1d9f6fd859ce21a5ab816f5f483fc568c441",
  "reproduction/reference_bounds/verify_cover17_order6.py": "ff36c8eef7184daeb1acebf508378ddcd2d3ef4a05988a936136ee1e08230afc",
  "reproduction/reference_bounds/verify_cover19_screen.py": "2df389ecc4a26e57ed07ff38248d54ac5cc5e2f8d3c8440850e696da989cfb5b",
  "reproduction/reference_bounds/verify_cover20_nested_bound.py": "165bacb6071505073795f062e92bc95a9506dbe7f49bfa2381bff3a0a7aa0355",
  "reproduction/reference_bounds/verify_cover20_order5.py": "5fe66799b4e8405fdd76f025a2e77d688f69333322d1b4e6115f7d41fe9519d8",
  "reproduction/reference_bounds/verify_cover20_order6.py": "c4d4361e84a5bae12554975e80ec5c3f58c7136c9262bc8c365e699afcb8e696",
  "reproduction/reference_bounds/verify_dense15_a7_one_external.py": "edcb800a6b9c1a24354d897617c6b99bf2df9a91869d4c98e48471b2b1986f1f",
  "reproduction/reference_bounds/verify_dense_14_cover.py": "757b84fb5a547f8f95bd736da2e4c8b023b3d9da47e477c9713b2855307c9ecf",
  "reproduction/reference_bounds/verify_dense_14_order6.py": "d48b89d7661f8d36be22832fe9d2404b5cd4525f65b7f244fc5ef0ce1e5fdbb0",
  "reproduction/reference_bounds/verify_dense_14_order7_lower.py": "404140271639b1f608adc990ada160f3859bdd4741a783aa5046f4eed2bda5ca",
  "reproduction/reference_bounds/verify_dense_14_order7_one_external.py": "5e674e48022f016d654c88e24ab495157136ea38f5b7ab84e88329f814b3b098",
  "reproduction/reference_bounds/verify_dense_15_16_a7_internal.py": "3240ccde62d065011c65736d7f41672e55b3d6408049f1b37cb0f48f829a8cfc",
  "reproduction/reference_bounds/verify_dense_15_cover.py": "ae9c8ed5590c166b62cc287b98bcf45e3064347437d541817483f2226491e9cb",
  "reproduction/reference_bounds/verify_dense_15_order5.py": "22cf781e7c81a954508db22d4ad4ae5625d7cc67dab5b13adcfc6ed12b7834a1",
  "reproduction/reference_bounds/verify_dense_15_order6.py": "0344900fa1f9af602ae444ff3999d58ede9793d4586ddbce8906611ca6a23c00",
  "reproduction/reference_bounds/verify_dense_15_order7_cauchy.py": "8454df093395e9a5ce6365ec3a1791b9d354562ba65e0bdfded27fe136109c45",
  "reproduction/reference_bounds/verify_dense_16_cover.py": "f67cbb2e5dbe7e468e3e4eecb52dcc89bbd202a710a3a81dc9d79b946729f54e",
  "reproduction/reference_bounds/verify_dense_16_order5.py": "af8cc35d2f2a6e24fc09f70bcd2d7fb36e6f6c31ea193dec523ef60fa98d5c1e",
  "reproduction/reference_bounds/verify_dense_16_order6.py": "103ec9ad6ec4291760b41dde6674cc8d11ca117fd55abd54352f98236939f505",
  "reproduction/reference_bounds/verify_icosahedral_neighborhood.py": "f94a730e42cf735fcc9506bf22b7fc52061fabd05eebc542cc13ee8268482da6",
  "reproduction/reference_bounds/verify_matching_shearer.py": "a7ea649028918ede430c187a825b085e9ef18851a8a8ffb4822776b67bdd155f",
  "reproduction/reference_bounds/verify_neighborhood_bound.py": "1c1fabbe4f85d00818bab17905d4ae3337f7a4f41dc989104fdf3e3f71c7f19f",
  "reproduction/reference_bounds/verify_neighborhood_order6.py": "c1ccb87da72f577d2a05d5d8707efa22763610e7c576ee1cd8cbfdc3e3e5ace2",
  "reproduction/reference_bounds/verify_neighborhood_order7.py": "5b32744d2918c34db133b14639fa5cfaa37cae649e2eca3b51f14308483de019",
  "reproduction/reference_bounds/verify_orbit_cover.py": "4eb06b066cc03b44792421c694864a912d414628acc6df50fbecd17242690801",
  "reproduction/reference_bounds/zonotope_volume.cpp": "c421badd2b050edc6ecddb8717074bc372eebbd79fb2d9f6ce053e34993dd556",
  "reproduction/reference_bounds/zonotope_volume_parallel.cpp": "4791f23b3aae3523e7d5d159a24f5c757a30dcec413dafe6163b134e8138cde1",
  "reproduction/reference_codec/CORE_SHA256SUMS_PRIOR.txt": "0c5812f8c8642a69ed5b2f31ec6fd262b31d3c4619be44b4fa0a6a90c9abcb5e",
  "reproduction/reference_codec/DIRECTIONAL_INTEGRATION_PROOF.md": "ebfa116a039a5719431ecd58a55e9abc635b1bf37e9f20aea54254a2bed4d3ec",
  "reproduction/reference_codec/OMEGA_Directional_Integration_2026-11-02.txt": "318e894f51f7606ad4cb1b11bc3cc9352dde423c39c3a58ff39adbdea0cecf60",
  "reproduction/reference_codec/README.md": "3e03982ed404235ae247f363ca27e8ecd8a3ef406015ddc324a095a626473fb4",
  "reproduction/reference_codec/SHA256SUMS.txt": "a43f833d8eb7596181104b8b23a0d6584f0ec645cd53fe56bb9208abe1867706",
  "reproduction/reference_codec/TRANSFER_PROMPT.txt": "5de4a9fdc3e15907623ce2914340ff3b286d57793dcc3831b4c5a39a6e2d0f3e",
  "reproduction/reference_codec/alphabet.json": "b247901452a8d243cfd4f0a240d3ef70fb772fa8d7c0496cb5dc3d69658c1361",
  "reproduction/reference_codec/baseline/STRUCTURE_REDUCTION_AND_PROOFS.md": "d8e4cac6cfa9416a02bf035b1baf64f866421a52827f8b397376aeeb732b2d3d",
  "reproduction/reference_codec/baseline/__init__.py": "453d2202414da8f06a9d51ebf699dfe465bdd1cf750d49dc72ae67095c0d861c",
  "reproduction/reference_codec/baseline/verify_structure.py": "57100e240ba7d1a8c10c133e51937461cf6b9b0cb1ef1602671095bd4375917b",
  "reproduction/reference_codec/certificate.json": "2a227692c2ee3cf21c4eeb28210bc6d662b408d1ee55cf3e26c11e8bec89bcdc",
  "reproduction/reference_codec/demo_records.json": "99ca02c538e4fa0d0ffa0a6e9967f63f4ee694c00f2030155d520beab6f23bb8",
  "reproduction/reference_codec/directional_examples.json": "229abe2de118b5440f4656b2688081331935e77afa79e23a0ab954c4ab00221d",
  "reproduction/reference_codec/directional_verification.json": "f94050c5cf86b040c7ac899f9dfabfb576dd33878818a0476ba3fdab48a00272",
  "reproduction/reference_codec/execution_comparison.json": "3fc9561852cc81450f0e4f8c3a6daae6831103978751e8c5ed3566f8006df97b",
  "reproduction/reference_codec/execution_comparison_directional.json": "e7980b2580e09be5785db0d6b2813f6dc6fe13b072f6dc2f2f96cb3398413266",
  "reproduction/reference_codec/integration_provenance.json": "a55f63a85d82356963360795fa3cb3711c8851d1417ac345aeea46e3c23d3387",
  "reproduction/reference_codec/omega_directional.py": "3ffaee2b334b79eeea1ec72530bfebf9cb891d9003dd9a452acc062926090df7",
  "reproduction/reference_codec/omega_indicator.py": "fba18e7dc2a652187e4b89963f4904093e789e644c3e0e88a69671008784698a",
  "reproduction/reference_codec/provenance.json": "fe6f06a0a78e741fdbe7d715ec1612a601202f7cff0ef9115ffdaebc652d5d46",
  "reproduction/reference_codec/verification.json": "db4d349cbacce0500881e0d3a81bb846ae78e2a80c05c870defbfb51a303ac9f",
  "reproduction/reference_codec/verify_directional.py": "2b3943d9498234885b591d0c0ffe04586abeb6ea8c86148debff56488bb6a013",
  "reproduction/reference_codec/verify_indicator.py": "55d41957f0c1bb50863543d8adaf1864c0fcd60a0a30fe64806e57d8e76567d7",
  "reproduction/run_reference_checks.py": "3d2f398e98dce84515e0879c74216f602002bb5f94417b40b5f11008cd61808e",
  "reproduction/verify_consolidation.py": "354d4d56efd6a33ea545b290f09c4ceeaeaa82570411eb173e5440102deab7b2",
  "specification/INTERCHANGE.md": "325522834f53b84971039e6e2715550f86db82101f10e4b9dbf5194f87cbb52b",
  "specification/graph_fixture.json": "40bc6a1d52efab3d75cf343e65ac06b314f9c9c375fc02bf6d45bf6bb21f9529",
  "specification/model.json": "40d089eb7b59c744282581da16715720fc4deaf848256547f2fbd3498f97080e",
  "verify_orbit_minor_sums.py": "b966eb54004e2bbbb050074f7f324557471ab362883a9d9689b9f46004b04819"
}