{
  "CITATION.cff": {
    "bytes": 486,
    "sha256": "0cc037f0c9a4264b6ac8dfc7f9e79c4dbba9b4d79113cc65cf1168ba38b77249"
  },
  "evidence/latex_compile.log": {
    "bytes": 38408,
    "sha256": "26170bb2e29818c0d784f88497031f084d414889cd4e5d44597b455cc80c5b0d"
  },
  "evidence/manuscript_check.json": {
    "bytes": 363,
    "sha256": "d75b36ba522a170cd48e6142e6378d2247f2af64e7540c522c91eecbdfbdda86"
  },
  "evidence/pdf_quality.json": {
    "bytes": 1744,
    "sha256": "1d1997c1e2958e332698372758c09dccd5b4164e5fb2ea1f683151ce5708cb83"
  },
  "evidence/reproduction_centers/independent_centers.json": {
    "bytes": 66034,
    "sha256": "58910ef3e8207fe60fe2a9ecd3cd6a16a1d8bc74548a9912e2cce0a16b33a9cf"
  },
  "evidence/reproduction_centers/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "evidence/reproduction_centers/receipt.json": {
    "bytes": 883,
    "sha256": "681de72f6236880bebdd9fab0d8beff2331ec158064f610c5dd1a229f3aadbb7"
  },
  "evidence/reproduction_centers_corrected/independent_centers.json": {
    "bytes": 66033,
    "sha256": "f7226686368834eb0b1e73763c6d1c4f8194e01fdb83f5989a10b4569daec4bc"
  },
  "evidence/reproduction_centers_corrected/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "evidence/reproduction_corrected/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "evidence/reproduction_corrected/adaptive_map.py": {
    "bytes": 1192,
    "sha256": "56eb076417b020c38e8ae79ba3f44619c7557049bbc818a9f75f4e46f3357b23"
  },
  "evidence/reproduction_corrected/adaptive_map.py.log": {
    "bytes": 9447,
    "sha256": "26f7341b7b0d7a5e75702b8294021f61091fc7f924f98822d0825b3cc3a3384d"
  },
  "evidence/reproduction_corrected/check_evidence.py": {
    "bytes": 3250,
    "sha256": "41471c4b425ad9102d477736958639a4f2c745e63d2d67724613758c97401464"
  },
  "evidence/reproduction_corrected/check_evidence.py.log": {
    "bytes": 128,
    "sha256": "2d6c0e08940455e11aef721fab8e41ecf03c38b1db2c886cce5ec5ef364d3d76"
  },
  "evidence/reproduction_corrected/check_manuscript.py": {
    "bytes": 5945,
    "sha256": "cdf3871631e13515d42635de82ea2111bde9936b0b803b69d12bdf1a08421d64"
  },
  "evidence/reproduction_corrected/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "evidence/reproduction_corrected/classify_windows.py": {
    "bytes": 3063,
    "sha256": "5a76d18578464201eaa32e0ab6ce7463e71161ddd35c9eeec0836e30dba988cf"
  },
  "evidence/reproduction_corrected/classify_windows.py.log": {
    "bytes": 392,
    "sha256": "16a24225682483c52e5f0901d6e33c5c87d7a54ca012dc6d0572bbb6e647d27e"
  },
  "evidence/reproduction_corrected/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "evidence/reproduction_corrected/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "evidence/reproduction_corrected/finite_summand_mechanism.py": {
    "bytes": 1714,
    "sha256": "02b5bd51dc489aeb4ceb45a26d1fa5852ac04d2561b0c65b32c19df3450dc982"
  },
  "evidence/reproduction_corrected/finite_summand_mechanism.py.log": {
    "bytes": 5867,
    "sha256": "441dd145f979c550c1c2185f7bc799fa0ed6362da3f44dd762f262230f789adf"
  },
  "evidence/reproduction_corrected/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "evidence/reproduction_corrected/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "evidence/reproduction_corrected/mechanism_review.py": {
    "bytes": 3203,
    "sha256": "bfce354d520ca81fd9cfb733d51c7beb0b9ffa74209a9549826b32206406f35e"
  },
  "evidence/reproduction_corrected/mechanism_review.py.log": {
    "bytes": 88,
    "sha256": "95b7b4b5b16bb891b483a14428c99052282f4ad2a38238302700f1387525c430"
  },
  "evidence/reproduction_corrected/one_summand.py": {
    "bytes": 5187,
    "sha256": "72ee0d667e4f2d356ffbd38e15ba55df46823a113ad3a62e53e0720626c42d03"
  },
  "evidence/reproduction_corrected/one_summand.py.log": {
    "bytes": 1806,
    "sha256": "be576f35ee553c0838650281591d5732b943ebfff8ff3509faee537032327bcc"
  },
  "evidence/reproduction_corrected/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "evidence/reproduction_corrected/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "evidence/reproduction_corrected/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "evidence/reproduction_corrected/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "evidence/reproduction_corrected/reproduce_all.py": {
    "bytes": 1852,
    "sha256": "d26b65f57801bb98496ba769bfec03826516e7c741084d3c3195972f73be67cb"
  },
  "evidence/reproduction_corrected/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "evidence/reproduction_corrected/scan.py": {
    "bytes": 1729,
    "sha256": "a9d4dd4f32c9211961b2870fcf915f6cd27923e122304ca5e69fff1c9fe8f5c9"
  },
  "evidence/reproduction_corrected/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "evidence/reproduction_corrected/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "evidence/reproduction_corrected/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "evidence/reproduction_corrected/transition_windows.py": {
    "bytes": 2138,
    "sha256": "2ac01cf7979ecedc932e0084cb2dfaeb21bb0e19da66a8d2770fe364a17f5fe3"
  },
  "evidence/reproduction_corrected/transition_windows.py.log": {
    "bytes": 800,
    "sha256": "69630827268e4a3542b945e70a47d17efcaeecc6d07334a693729186d5a426d0"
  },
  "evidence/reproduction_corrected/verify_root_inputs.py": {
    "bytes": 797,
    "sha256": "9cfbd60142ec15b8950e9e67e4f9798e1449129da7e216a60454886667203624"
  },
  "evidence/reproduction_corrected/verify_root_inputs.py.log": {
    "bytes": 741,
    "sha256": "abd2cda7cf3515905c1da3afde8a3ac72a14e373c5539b3025b49ebc65a54d0c"
  },
  "evidence/reproduction_corrected/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "evidence/reproduction_fresh/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "evidence/reproduction_fresh/adaptive_map.py": {
    "bytes": 1192,
    "sha256": "56eb076417b020c38e8ae79ba3f44619c7557049bbc818a9f75f4e46f3357b23"
  },
  "evidence/reproduction_fresh/adaptive_map.py.log": {
    "bytes": 9447,
    "sha256": "26f7341b7b0d7a5e75702b8294021f61091fc7f924f98822d0825b3cc3a3384d"
  },
  "evidence/reproduction_fresh/check_evidence.py": {
    "bytes": 3250,
    "sha256": "41471c4b425ad9102d477736958639a4f2c745e63d2d67724613758c97401464"
  },
  "evidence/reproduction_fresh/check_evidence.py.log": {
    "bytes": 128,
    "sha256": "2d6c0e08940455e11aef721fab8e41ecf03c38b1db2c886cce5ec5ef364d3d76"
  },
  "evidence/reproduction_fresh/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "evidence/reproduction_fresh/classify_windows.py": {
    "bytes": 3063,
    "sha256": "5a76d18578464201eaa32e0ab6ce7463e71161ddd35c9eeec0836e30dba988cf"
  },
  "evidence/reproduction_fresh/classify_windows.py.log": {
    "bytes": 392,
    "sha256": "16a24225682483c52e5f0901d6e33c5c87d7a54ca012dc6d0572bbb6e647d27e"
  },
  "evidence/reproduction_fresh/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "evidence/reproduction_fresh/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "evidence/reproduction_fresh/finite_summand_mechanism.py": {
    "bytes": 1714,
    "sha256": "02b5bd51dc489aeb4ceb45a26d1fa5852ac04d2561b0c65b32c19df3450dc982"
  },
  "evidence/reproduction_fresh/finite_summand_mechanism.py.log": {
    "bytes": 5867,
    "sha256": "441dd145f979c550c1c2185f7bc799fa0ed6362da3f44dd762f262230f789adf"
  },
  "evidence/reproduction_fresh/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "evidence/reproduction_fresh/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "evidence/reproduction_fresh/mechanism_review.py": {
    "bytes": 3203,
    "sha256": "bfce354d520ca81fd9cfb733d51c7beb0b9ffa74209a9549826b32206406f35e"
  },
  "evidence/reproduction_fresh/mechanism_review.py.log": {
    "bytes": 88,
    "sha256": "95b7b4b5b16bb891b483a14428c99052282f4ad2a38238302700f1387525c430"
  },
  "evidence/reproduction_fresh/one_summand.py": {
    "bytes": 5187,
    "sha256": "72ee0d667e4f2d356ffbd38e15ba55df46823a113ad3a62e53e0720626c42d03"
  },
  "evidence/reproduction_fresh/one_summand.py.log": {
    "bytes": 1792,
    "sha256": "64e88325f4e728beabe578a7b996054e49def6cb13b58fcc6d038fc0ca294b14"
  },
  "evidence/reproduction_fresh/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "evidence/reproduction_fresh/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "evidence/reproduction_fresh/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "evidence/reproduction_fresh/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "evidence/reproduction_fresh/reproduce_all.py": {
    "bytes": 1852,
    "sha256": "d26b65f57801bb98496ba769bfec03826516e7c741084d3c3195972f73be67cb"
  },
  "evidence/reproduction_fresh/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "evidence/reproduction_fresh/scan.py": {
    "bytes": 1729,
    "sha256": "a9d4dd4f32c9211961b2870fcf915f6cd27923e122304ca5e69fff1c9fe8f5c9"
  },
  "evidence/reproduction_fresh/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "evidence/reproduction_fresh/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "evidence/reproduction_fresh/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "evidence/reproduction_fresh/transition_windows.py": {
    "bytes": 2138,
    "sha256": "2ac01cf7979ecedc932e0084cb2dfaeb21bb0e19da66a8d2770fe364a17f5fe3"
  },
  "evidence/reproduction_fresh/transition_windows.py.log": {
    "bytes": 800,
    "sha256": "69630827268e4a3542b945e70a47d17efcaeecc6d07334a693729186d5a426d0"
  },
  "evidence/reproduction_fresh/verify_root_inputs.py": {
    "bytes": 797,
    "sha256": "9cfbd60142ec15b8950e9e67e4f9798e1449129da7e216a60454886667203624"
  },
  "evidence/reproduction_fresh/verify_root_inputs.py.log": {
    "bytes": 741,
    "sha256": "abd2cda7cf3515905c1da3afde8a3ac72a14e373c5539b3025b49ebc65a54d0c"
  },
  "evidence/reproduction_fresh/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "main.tex": {
    "bytes": 24127,
    "sha256": "d93e7611dfec530e498765e64ee0935d2605712b15255ee1d82b307de9026075"
  },
  "Minimum_Degree_Obstructions_Riemann_Theta_Product.pdf": {
    "bytes": 96481,
    "sha256": "7083051022ab4e7ef0a83b40d3359d957ebeb7ded89c67399f3040edf31679ed"
  },
  "provenance/code_source_map.json": {
    "bytes": 5967,
    "sha256": "036415357a005b5482b66ac09f910941ca1daac5736e7921e3f00fd8a0c79590"
  },
  "provenance/corrected_20261018_SHA256SUMS.json": {
    "bytes": 9313,
    "sha256": "a322064cb62f2a1340783fcfcf56e50f2ba1c7f6658acb23fd7d20c9678a6486"
  },
  "provenance/original_20261018/changed_files/CITATION.cff": {
    "bytes": 461,
    "sha256": "c115dcd4298b0f751cf02233217460767fb0fd53a50a29c156037777b3ed716f"
  },
  "provenance/original_20261018/changed_files/evidence/latex_compile.log": {
    "bytes": 38408,
    "sha256": "0d3941d4eb0ad3b55280d5d5a67d0a2724dc8b28e1a6a5855e7a1c3352e12c41"
  },
  "provenance/original_20261018/changed_files/evidence/pdf_quality.json": {
    "bytes": 2721,
    "sha256": "7f16b8bed3aee1de448a3d50c9df504fc43bb108912da3d0e2769ea7ba3d5ea5"
  },
  "provenance/original_20261018/changed_files/main.tex": {
    "bytes": 23586,
    "sha256": "45f4e99ea46c091d0b92b572b9ac831b83e5dba02fb76eecc289ca522596994f"
  },
  "provenance/original_20261018/changed_files/Minimum_Degree_Obstructions_Riemann_Theta_Product.pdf": {
    "bytes": 95938,
    "sha256": "8e7f3cb203b2e59dd6e4f5277fa77d0b253891fa9140f2daa323e71f6bfdf2a3"
  },
  "provenance/original_20261018/changed_files/README.txt": {
    "bytes": 2857,
    "sha256": "335e6b41d26dd1d89056be6de1ead147eee0e7b64ed968fc890d5408ab2e80b3"
  },
  "provenance/original_20261018/changed_files/RELEASE_STATUS.json": {
    "bytes": 908,
    "sha256": "19a6f6d5e09aac24657d8356a2f74c9fd3c4dc558f385c3ea348078550376748"
  },
  "provenance/original_20261018/revision-baseline.json": {
    "bytes": 567,
    "sha256": "7323261d7bf51d6349a24c883147748a23ab63c265981e2aacb702cfb84c6c50"
  },
  "provenance/original_20261018/SHA256SUMS.json": {
    "bytes": 12995,
    "sha256": "7b9056c295e4207652041442d366f135c1d1bedbd402d6e42f4fc1442fb4b821"
  },
  "provenance/prior_versions.json": {
    "bytes": 1976,
    "sha256": "3fcf503f731f24308f96507d6332a91aac47b43b9bf6376d5c221bf3960acc9c"
  },
  "provenance/research_checkpoint_20261018_SHA256SUMS.json": {
    "bytes": 11817,
    "sha256": "8d772dfa39694ccb94e54eb25ca22afd4be5f14de031cf75e6da9f0840e4ab42"
  },
  "provenance/reviewed_20261017_SHA256SUMS.json": {
    "bytes": 6540,
    "sha256": "72a9c4459130782e97bd33ea24264bc80c3bf94b566de2049eaabed51b7562bd"
  },
  "PUBLICATION_RELATIONSHIP.txt": {
    "bytes": 3522,
    "sha256": "f1b4820f873a82ed0bba46b49685f63a45acedbc94938ffdc247879cc5431e76"
  },
  "README.txt": {
    "bytes": 4129,
    "sha256": "893057888acac4e3a2fbda2cb048a6d6e810f999a65f548e50ee55358e1f90bd"
  },
  "RELEASE_STATUS.json": {
    "bytes": 1111,
    "sha256": "a5b8e7347f9f5765e7832f9948f5c9de2085689af6d397a72585c6b6715c0cdb"
  },
  "review/code_build_notes.txt": {
    "bytes": 2816,
    "sha256": "44ae26d88066d574709c42d1eeac35a08f54f94c9f88049292d359af2e4c6f6d"
  },
  "review/code_completion.json": {
    "bytes": 2333,
    "sha256": "0408c191b642d8eef6bdf3895a0a4ff2482d371b78e71f85716e003b19df74b5"
  },
  "review/code_controls.json": {
    "bytes": 309,
    "sha256": "d61f76788fa40889ab4e9e9e14bc1ed2458804f8a9c9b394a3ba22d6cecc1f50"
  },
  "review/code_controls.py": {
    "bytes": 2171,
    "sha256": "008bb7e815897af77add1d41a04012833bc6e0010b207cdc8c2cd92572c1845f"
  },
  "review/correction_manuscript/check_revision.py": {
    "bytes": 3570,
    "sha256": "3a4064801ad0f05e19da7175749773e816132c4b7518c5571f699e2dc8beac91"
  },
  "review/correction_manuscript/compiler-output.txt": {
    "bytes": 25679,
    "sha256": "f6502b73bc4140c6b3ffd00d7bdee4cbedfc1a92edd930d696ff8112130ea85e"
  },
  "review/correction_manuscript/prior_pdf_quality.json": {
    "bytes": 2721,
    "sha256": "7f16b8bed3aee1de448a3d50c9df504fc43bb108912da3d0e2769ea7ba3d5ea5"
  },
  "review/correction_manuscript/receipt.json": {
    "bytes": 1447,
    "sha256": "adc5b903ecbeb79a1002e2f56ec8502e788b9466a81b8f1ecf3f539f3a149107"
  },
  "review/correction_manuscript/source.diff": {
    "bytes": 1703,
    "sha256": "a2098b1368646d8a2de56e5627dc50b19be535296416fbec69d0a0c202d5b37f"
  },
  "review/correction_verification/arithmetic_controls.json": {
    "bytes": 535,
    "sha256": "3c443d60dffcb9de882ee4eca53835a4653b683bf467b86f715649379dd3fcf7"
  },
  "review/correction_verification/arithmetic_controls.py": {
    "bytes": 2205,
    "sha256": "5fb3ac8785468c73bebd07f619c4309eeb51c04120515a814bca6dc88fd07924"
  },
  "review/correction_verification/code-audit.txt": {
    "bytes": 3303,
    "sha256": "3fc4ce622e82458f67fe5baf34b4fe7fe26f82bbc3c6da693581f3b0bfa21a45"
  },
  "review/correction_verification/execution-receipt.json": {
    "bytes": 4796,
    "sha256": "373cdf71d91ed9562cf66550d62304d9f87a80861f446aba9c5de31cecef8549"
  },
  "review/correction_verification/finalize_code_receipt.py": {
    "bytes": 3030,
    "sha256": "045eba47a8fb5f19596915f8ddcb8edeb356c7974f79c5be507b94d799e78727"
  },
  "review/correction_verification/manuscript_check.json": {
    "bytes": 363,
    "sha256": "8c876b9d647432a76f93aeb1f82f8a0a9b1097611ec12f4d8f6c22595a39e0d2"
  },
  "review/correction_verification/negative_controls/coverage_gap/adaptive_map.json": {
    "bytes": 287035,
    "sha256": "3cb346c89a73715d823da882df1c660c30413b454660ed03a7d02eb461dc18ca"
  },
  "review/correction_verification/negative_controls/coverage_gap/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/coverage_gap/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/coverage_gap/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/coverage_gap/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/coverage_gap/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/coverage_gap/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/coverage_gap/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/coverage_gap/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/coverage_gap/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/coverage_gap/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/coverage_gap/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/coverage_overlap/adaptive_map.json": {
    "bytes": 287033,
    "sha256": "854d2bfaebd9913427f3823a65ff7d56d0d46fe4a734c50a2d17a367cd597186"
  },
  "review/correction_verification/negative_controls/coverage_overlap/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/coverage_overlap/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/coverage_overlap/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/coverage_overlap/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/coverage_overlap/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/coverage_overlap/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/coverage_overlap/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/coverage_overlap/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/coverage_overlap/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/coverage_overlap/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/coverage_overlap/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/missing_prefix/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/missing_prefix/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/missing_prefix/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/missing_prefix/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/missing_prefix/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/missing_prefix/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/missing_prefix/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/missing_prefix/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/missing_prefix/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/missing_prefix/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/missing_prefix/transition_windows.json": {
    "bytes": 76744,
    "sha256": "ae0e43bd8fde76f5dc9bb0a6a9c597bc80b5ab9d2c2d0df926016c333e11b331"
  },
  "review/correction_verification/negative_controls/missing_prefix/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/reversed_root/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/reversed_root/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/reversed_root/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/reversed_root/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/reversed_root/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/reversed_root/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/reversed_root/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/reversed_root/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/reversed_root/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/reversed_root/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/reversed_root/transition_windows.json": {
    "bytes": 77702,
    "sha256": "041c518dd426841f0bb2c8b70753ae74b4b2d70907c7a50c738b05965dd5516c"
  },
  "review/correction_verification/negative_controls/reversed_root/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/wrong_equality/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/wrong_equality/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/wrong_equality/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/wrong_equality/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/wrong_equality/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/wrong_equality/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/wrong_equality/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/wrong_equality/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/wrong_equality/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/wrong_equality/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/wrong_equality/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/wrong_equality/window_classification.json": {
    "bytes": 24486,
    "sha256": "3b35f05fb615506039a8e53936e66b4f5d2a953906c25fc476f769941ab86651"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/main.tex": {
    "bytes": 24774,
    "sha256": "1bfd1e3a50dcf0ae3f8e54ef61623a42b3d4597cce9131261f9a45c0c7248216"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/wrong_published_bound/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/rational_roots.json": {
    "bytes": 40925,
    "sha256": "633df6e3bafe465ccf7cc926fa7a4f952a91d6aaef66fff0564b09f695121457"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/wrong_rational_sign/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/wrong_regime/adaptive_map.json": {
    "bytes": 287009,
    "sha256": "2ad7278eaf7a88c7bbcf6d41b675a7861467cc8e8ed4f18938d61c20fc4e7094"
  },
  "review/correction_verification/negative_controls/wrong_regime/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/wrong_regime/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/wrong_regime/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/wrong_regime/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/wrong_regime/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/wrong_regime/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/wrong_regime/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/wrong_regime/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/wrong_regime/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/wrong_regime/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/wrong_regime/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls/wrong_witness_degree/window_classification.json": {
    "bytes": 24486,
    "sha256": "cde8dfc49d00475ffc69bb75fc3792f3ff0f8dcdb15a83398cffc0681eabd8c2"
  },
  "review/correction_verification/negative_controls/zero_derivative/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "a17d93ebefe898518fa8c90ca7fb6cf905dd2926dcc8b2a3e0b2d30f3c1b157f"
  },
  "review/correction_verification/negative_controls/zero_derivative/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls/zero_derivative/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls/zero_derivative/main.tex": {
    "bytes": 24774,
    "sha256": "ceee32e8af8b8e2cac786a4636a4a35ce2b5cd230d28bb42d6421cd804347df9"
  },
  "review/correction_verification/negative_controls/zero_derivative/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls/zero_derivative/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls/zero_derivative/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls/zero_derivative/rational_roots.json": {
    "bytes": 47400,
    "sha256": "d195ed94c520d17223c5bbe3c36c965ff6ccaba57dfa3e4880e54b1088807f4c"
  },
  "review/correction_verification/negative_controls/zero_derivative/reproduction_receipt.json": {
    "bytes": 3618,
    "sha256": "7d32d6827db10eecb74eead7627a2e7fb7927b380857f5ba82ce53f6919d6e57"
  },
  "review/correction_verification/negative_controls/zero_derivative/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls/zero_derivative/transition_windows.json": {
    "bytes": 77523,
    "sha256": "c9755f963ed617397f1f22961d7ad060d5e3c296c0a0cc02746ad73a7727640e"
  },
  "review/correction_verification/negative_controls/zero_derivative/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls.json": {
    "bytes": 1674,
    "sha256": "155d760a5044f86efa7ee725f80351b35ae33f72c279bb320875f3faa0bdc604"
  },
  "review/correction_verification/negative_controls.py": {
    "bytes": 2666,
    "sha256": "46fffdc037888dcfdb750142f91ee03987d9ea0f65d46f7f8c45dc2b534512b7"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/adaptive_map.json": {
    "bytes": 287035,
    "sha256": "f792c3fde87ffb0481f98deff93732334da6f47817f57666fc55c8258f8f47d5"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/coverage_gap/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/adaptive_map.json": {
    "bytes": 287033,
    "sha256": "9d53dffbf155bf65a1827c01ad625d49ce02546a3caff854c945825fa71537a2"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/coverage_overlap/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/transition_windows.json": {
    "bytes": 76744,
    "sha256": "ae0e43bd8fde76f5dc9bb0a6a9c597bc80b5ab9d2c2d0df926016c333e11b331"
  },
  "review/correction_verification/negative_controls_fresh/missing_prefix/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/transition_windows.json": {
    "bytes": 77702,
    "sha256": "041c518dd426841f0bb2c8b70753ae74b4b2d70907c7a50c738b05965dd5516c"
  },
  "review/correction_verification/negative_controls_fresh/reversed_root/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_equality/window_classification.json": {
    "bytes": 24486,
    "sha256": "3b35f05fb615506039a8e53936e66b4f5d2a953906c25fc476f769941ab86651"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/main.tex": {
    "bytes": 24679,
    "sha256": "54b25597a9b148e18eb94ae34ad0302ce92ebfb17d4683867556f23fd2fe931a"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_published_bound/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/rational_roots.json": {
    "bytes": 40924,
    "sha256": "60bddc8450293ab0f2340dc346bf1366f4df1fa6c2843c07dc663e5cbb4f0cf9"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_rational_sign/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/adaptive_map.json": {
    "bytes": 287009,
    "sha256": "966161cb98ac9d95c4e38c2f72658aed0cd135deecc7c96ae1fda022d6dbe8cd"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_regime/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "review/correction_verification/negative_controls_fresh/wrong_witness_degree/window_classification.json": {
    "bytes": 24486,
    "sha256": "cde8dfc49d00475ffc69bb75fc3792f3ff0f8dcdb15a83398cffc0681eabd8c2"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "f44031acdc6e724ab93f0d994cbfefc374484ba123bbcd0c433ebd4aef116777"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/main.tex": {
    "bytes": 24679,
    "sha256": "1784ab59d6cd9e586bc78a88304f553be3d9cab065870e412dea9ed5fa416044"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/rational_roots.json": {
    "bytes": 47399,
    "sha256": "20fbefc62a4b25f8b71b5bbea7f056ca1f6454f2b9cedd2b72c3bb9090554215"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/reproduction_receipt.json": {
    "bytes": 3699,
    "sha256": "672d2d7e950d96d107e45569ad38727af40d3883e6ca10740b5f2ae7b07e3740"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/transition_windows.json": {
    "bytes": 77523,
    "sha256": "c9755f963ed617397f1f22961d7ad060d5e3c296c0a0cc02746ad73a7727640e"
  },
  "review/correction_verification/negative_controls_fresh/zero_derivative/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "review/correction_verification/negative_controls_fresh.json": {
    "bytes": 1674,
    "sha256": "836458c8e3506e6ec9e0397767840528fc3cdf1b88e6d201bedf72d911eecacd"
  },
  "review/correction_verification/negative_controls_fresh.py": {
    "bytes": 2684,
    "sha256": "60e276bd7822b8996cc529ecdbbcf0bc3b5deec586cbb35b130e197b520c1aa5"
  },
  "review/correction_verification/original_integrity_after.log": {
    "bytes": 34,
    "sha256": "cdd87015c7d4de09da93ec16944d2b71950f90d0f4a6f14922d14769dd4c9a72"
  },
  "review/final_code_independent_review.txt": {
    "bytes": 4701,
    "sha256": "b75f8914ddccdfb4c6b7d69dc85bf80ed23d4de04f8cd98a08ffd604588c6af8"
  },
  "review/final_proof_review.txt": {
    "bytes": 5795,
    "sha256": "4dda164e3aa2bbb708cc5ea709b1705cb31876361a6c751322508a419925612a"
  },
  "review/independent_checker_controls.json": {
    "bytes": 2279,
    "sha256": "f1f0f64166f08194ea32ce6ce0c9602b40be1e269a7c188d71f0cd6ef96230a7"
  },
  "review/independent_checker_controls.py": {
    "bytes": 3396,
    "sha256": "c0daac83979a40cc4cad26a53a0f19f4ec20451cd2a38e55379e55e6b0870fc6"
  },
  "review/independent_one_term.json": {
    "bytes": 2186,
    "sha256": "f9dfafd67448cda67b984e03c1c64c41d36dcc09db7057dd43208efec282f7df"
  },
  "review/independent_one_term.py": {
    "bytes": 2543,
    "sha256": "971d7761a1145c73bd45c5c628e5e1f184f62731c965b5eebdd13652d844b658"
  },
  "review/originality_review.txt": {
    "bytes": 13382,
    "sha256": "871671e64c0a17b0fdd5914f0b88185c130d663f8e5072a266392eff321dd133"
  },
  "review/proof_preparation.txt": {
    "bytes": 3264,
    "sha256": "f24c49a97ec4dd9907933f812de77979e71c5179d0c4f0bed434fb1c904fd720"
  },
  "review/publisher_additional-prior-work-qualification.txt": {
    "bytes": 794,
    "sha256": "083e060afafa800115ccbcb5da9acd4b4090ede4aeda7640215364605cb9128b"
  },
  "review/publisher_baseline_20261018/analytic_one_term_check.json": {
    "bytes": 1169,
    "sha256": "a01519a24b90c90cfca17b08c13496d06ef9561ae69dd1040ffdafc864c686f7"
  },
  "review/publisher_baseline_20261018/arithmetic_controls.json": {
    "bytes": 535,
    "sha256": "3c443d60dffcb9de882ee4eca53835a4653b683bf467b86f715649379dd3fcf7"
  },
  "review/publisher_baseline_20261018/code-audit.txt": {
    "bytes": 7809,
    "sha256": "b494f5d169ef43ff8328d5390ab1798cde9674f9e3111dfcdcce678d37e9897e"
  },
  "review/publisher_baseline_20261018/execution-receipt.json": {
    "bytes": 3952,
    "sha256": "ad566578eca1405fc261e655c4facb9909fd17e44299cac8d98c4fa53abbfd8d"
  },
  "review/publisher_baseline_20261018/extracted_final_pdf.txt": {
    "bytes": 22331,
    "sha256": "218793fb779ba8f7b74d0b20e19aa51afddb7de5d1a30e4e6a87101acbaaa997"
  },
  "review/publisher_baseline_20261018/full-assessment.txt": {
    "bytes": 6570,
    "sha256": "2c842840148e222815c2d6fcf684895574267a69b64d5ef2ff79a8aaa1ab4c8d"
  },
  "review/publisher_baseline_20261018/manuscript_check.json": {
    "bytes": 363,
    "sha256": "d75b36ba522a170cd48e6142e6378d2247f2af64e7540c522c91eecbdfbdda86"
  },
  "review/publisher_baseline_20261018/negative_controls.json": {
    "bytes": 1674,
    "sha256": "dfb3627a111c571383bb690dd28dffdae2aea845fc02533dac8b1c7326668fc7"
  },
  "review/publisher_baseline_20261018/originality-value.txt": {
    "bytes": 18165,
    "sha256": "1bd494742b365d8791a5473cac7a8e96948c165f06de2591ae91c8a54ddf7982"
  },
  "review/publisher_baseline_20261018/presentation-audit.txt": {
    "bytes": 4490,
    "sha256": "59f867c6c75b94dbadf71ac68e6fe0cc2e6b1fbf1b17dbb219c1b83e51c9ca18"
  },
  "review/publisher_baseline_20261018/presentation_check.json": {
    "bytes": 1420,
    "sha256": "058e5656720f23c47774f3d45c5f607ee819758acfe18d26611672951f2c7af5"
  },
  "review/publisher_baseline_20261018/proof-audit.txt": {
    "bytes": 13467,
    "sha256": "3a8462dd6db34622a5e18e3f833bdf04a4209406cabf97f442281da5c2033e77"
  },
  "review/publisher_baseline_20261018/review-decision.json": {
    "bytes": 1733,
    "sha256": "331ab0e7f518c81033e85beb52c17269da3dedf7f20e9fdf2682ed7cfd9b388b"
  },
  "review/publisher_baseline_20261018/SCOPE.txt": {
    "bytes": 282,
    "sha256": "17d5a4ba23cb7cb79047e4267bb5cd8eaa595802ce1539df1056f3918b50a66f"
  },
  "review/publisher_full-critique.txt": {
    "bytes": 15573,
    "sha256": "be747997c4247ad958a2179a829bd69cac399b5e055b23b0d215cc720679bc5b"
  },
  "review/publisher_review-decision.json": {
    "bytes": 3257,
    "sha256": "90e1e75a3c96146033ca08ad783f1f4778b63758a12fa33672447cb21e3adc7a"
  },
  "review/REVIEW_DISPOSITION.json": {
    "bytes": 1973,
    "sha256": "66b030f95d6d501953f9675fee25fafff89902c8c7ea7de19458b798a71c677b"
  },
  "review/verify_pdf.py": {
    "bytes": 2532,
    "sha256": "4ee438478929fbfa4b39f6ae4d320a5ce1f1fce396f25f50acd133463c422112"
  },
  "REVISION_RECORD.json": {
    "bytes": 3081,
    "sha256": "83e9f0296a7635cf7813cec048d7947e0087b82d75bc941320b1f71f2ea05e01"
  },
  "supplement/adaptive_map.py": {
    "bytes": 1192,
    "sha256": "56eb076417b020c38e8ae79ba3f44619c7557049bbc818a9f75f4e46f3357b23"
  },
  "supplement/check_evidence.py": {
    "bytes": 3250,
    "sha256": "41471c4b425ad9102d477736958639a4f2c745e63d2d67724613758c97401464"
  },
  "supplement/check_manuscript.py": {
    "bytes": 5945,
    "sha256": "cdf3871631e13515d42635de82ea2111bde9936b0b803b69d12bdf1a08421d64"
  },
  "supplement/classify_windows.py": {
    "bytes": 3063,
    "sha256": "5a76d18578464201eaa32e0ab6ce7463e71161ddd35c9eeec0836e30dba988cf"
  },
  "supplement/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "supplement/finite_summand_mechanism.py": {
    "bytes": 1714,
    "sha256": "02b5bd51dc489aeb4ceb45a26d1fa5852ac04d2561b0c65b32c19df3450dc982"
  },
  "supplement/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "supplement/mechanism_review.py": {
    "bytes": 3203,
    "sha256": "bfce354d520ca81fd9cfb733d51c7beb0b9ffa74209a9549826b32206406f35e"
  },
  "supplement/one_summand.py": {
    "bytes": 5187,
    "sha256": "72ee0d667e4f2d356ffbd38e15ba55df46823a113ad3a62e53e0720626c42d03"
  },
  "supplement/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "supplement/README.txt": {
    "bytes": 3761,
    "sha256": "645211b64e5ca208a23c4e992915aff19ece36c5f890cc4761489e33ff40acde"
  },
  "supplement/reproduce_all.py": {
    "bytes": 1852,
    "sha256": "d26b65f57801bb98496ba769bfec03826516e7c741084d3c3195972f73be67cb"
  },
  "supplement/scan.py": {
    "bytes": 1729,
    "sha256": "a9d4dd4f32c9211961b2870fcf915f6cd27923e122304ca5e69fff1c9fe8f5c9"
  },
  "supplement/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "supplement/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "supplement/transition_windows.py": {
    "bytes": 2138,
    "sha256": "2ac01cf7979ecedc932e0084cb2dfaeb21bb0e19da66a8d2770fe364a17f5fe3"
  },
  "supplement/verify_root_inputs.py": {
    "bytes": 797,
    "sha256": "9cfbd60142ec15b8950e9e67e4f9798e1449129da7e216a60454886667203624"
  },
  "verify_integrity.py": {
    "bytes": 502,
    "sha256": "45ffdd8c739a6051cc38d493b6228635f4d5331d5df40e9540b62323bbe49a4f"
  }
}