{
  "success": true,
  "independent_verification": true,
  "fresh_compilations": 3,
  "new_math_sources": 1,
  "new_probe_sources": 2,
  "whole_chain_math_origins": 457,
  "whole_chain_origins": 458,
  "whole_new_module_declarations": 11298,
  "whole_new_module_theorems": 10812,
  "strict_theorem_origin_gates": 4059,
  "strict_definition_origin_gates": 455,
  "strict_inductive_origin_gates": 2,
  "all_new_origin_axioms_subset_standard3": true,
  "author_objects_imported": false,
  "semantic_review": "ACCEPTED",
  "frozen_author_manifest_sha256": "c51da3ca8a56eab55f9d49231cc3c6d59463e6482d38ffdafdb952429342f7e9",
  "accepted_dependency_receipts": {
    "cheeger-entropy-final-independent": "3258c788bb6d01d30e686a7d2a34efe1a0b590cd537294336480760947d415e3",
    "cheeger-profile-polynomial-independent": "3979087aab26bde356f1397eccb1e68ca4e6dc07bb206770184c5106196391bb",
    "cheeger-entropy-mixed-independent": "b407819f6d755361795ba0a342d13360cbee3308732d028435da3686d551fc29",
    "cheeger-entropy-chain-independent": "62110457a91129e2dd6f8812060eaa3d15f0c2348f9ec48d50246d1eaf36751a",
    "cheeger-entropy-clock-independent": "bdcc661d6c2494888274056b80eaefdc7b3bd8a912cda0c022323776463c3c1c",
    "cheeger-profile-domination-independent": "38014a00894eb5ed4a76751b728901402b7f01918032ac68ed15927a25dd6256",
    "cheeger-profile-l1-independent": "bce9a0993954837e6bc3a5f9f12c1e36ee2e83de1dffed13f7ae0dffa0dd0e84",
    "resolvent-weighted-cauchy-independent": "4ad1c5e5db1d06e377d4a2d2c1fd2e88f3acdb953a7f419871fd6f0172c41c3d",
    "cheeger-lag-independent": "a007eee675eae2fc0ea8c3e18d77ff5b00afa819a38d396dea5a9d2da9726454",
    "cheeger-clock-assembly-independent": "fd0e493d97b9389f0b7e756bc8579e665da0190629cc6503183ad6d828b7e4a5",
    "cheeger-profile-numerics-independent": "a14872dcc00098c5a7dd9dfe2048538c5250d99b6686460735585d5f6f766224",
    "iterated-cheeger-independent": "5f36cb67ba86ee48ae6a288582b7a6339de8116bf91b1b5e4609c728ef530ea7",
    "separated32-independent": "d5e20e9f03ca50349429b636facec4bde2c74ef1d4d14e4d082f4de7bc468251",
    "cumulant32-independent": "9d7ca152f15dab2e4df4169dc4f7e668ce5677d5202646e861c1cedd36bc9b7c",
    "openai500-independent": "2fd6a57184cc383b451cdab4f00bd947aefc677b3d4e32c1553d0dacb1076bf0",
    "coupled500-full-independent": "e88dd88d74f776787bce0e10e30a16a8d21e927f3386d986839e3d55324064a8",
    "spectral23-independent": "98424ac7c46e28f80fa42a46dff80a336f0bf8f2ce0c0bc1af431e37fbf82a4a",
    "spectral22-independent": "6c688cd84ec940d4218fb6e70bbcafbb946fedf62c1779b613848b5493a5d050",
    "spectral21-independent": "9f8b9dd7c141fb8aeb36fbf2edf4a80e05bb5fa8cbefebc2401d472ab237e011",
    "spectral20-independent": "90bc25a8bac9b57e93d81c86ab8aa234908a479e4a4b5fc18405b0b836a41b9f",
    "spectral19-independent": "ca3756d512631d92a2a07b8d72618f0efa395b093d52ba3b01aa6e504bc33960",
    "spectral18-independent": "ee241192d39115bd257017c7fb725c27ca0c2e98cee0d70d61ec392e79c42b23",
    "spectral17-independent": "05237712b9ed81390fde842d379016a4eabff809b28c6a203695400a5ff03a6d",
    "eighteen-quarter-independent": "5da8e7c5ccdfac9e4752f9822f8f5a639d5b3867f1b378751f9f46f3cae572a3",
    "spectral16-independent": "ddd1d2e7e1b3f9c74b18a99aff08437a1fa6e29ba0a4608c2b9ce7765163de7d",
    "interval-comparison-independent": "27d400bb323c0a084688e08055c6d5bd7b86fd9610f038b151b2930bf908e006",
    "complete-transpositions-independent": "1be766870ee2baaadcd82f786f8ef58683ce048cb642deb91b7a07941237781f",
    "spectral15-independent": "af515ba58de83527c157e57d51414d929758688289c61c1d9a950473e0ef6fc5",
    "spectral14-independent": "01b60111168093262d778e592672ec22b48f5df23f36117cf3d55e0653ec6366",
    "twenty-six-nine-independent": "d38a8d43506b5cbd954a49140bd1cf52ef61e06557b106a5f78c187f266e5d03",
    "spectral13-independent": "f57ee5d95ccbea107ec7f858c5516acb19569c42717f70be02498f26ab32b29b",
    "mean-joint-independent": "6f63b70abc315b03a1b6fe65aebc25460db836b595770cfff55a4662b991748d",
    "spectral12-independent": "6c1e37c319ad84e9313fe939abc346eab5d84402e0e441f32b52a1ada30c0788",
    "spectral11-independent": "c2119869da888a1ffe0354dbf516f7d84ac4d162f612b4409592f293849041bd",
    "mean-insertion-independent": "1b9d0914b9d3935010be16044db09f62d662cd3fba08add60cf3604c0fbafe11",
    "spectral10-independent": "671b4b9d9ae51cade2d1b2430181a1009d14d3c91fc3d6e7c1dfa15282ce85ab",
    "spectral9-independent": "733beee6e4dd115500cba89135519dffa9c2f71e2d8a8fc6e67ee71c39edb7ab",
    "rank-young-independent": "1925259a0c9c6e047bf01f16d5171317f6ce71501fa2b623f4312ece81f3b957",
    "spectral8-independent": "5925418caff7fa248c69254aa6eaa4f5e50117d262fab820c014fb5cf306a740",
    "twenty-seven-independent": "a825b408a6ed5a4c81abb59e51e2a1064d58542b2919448507cd8a5fe6d22a2e",
    "spectral7-independent": "56919ac240cf85695600ed174c95850c39d0b66ebe020d335d38bd3fcb9c94d5",
    "rank-cauchy-independent": "93cce7edee940c805d76b38715b50c97bc65aca3ddad4e0a7d73122f38da5c6f",
    "spectral6-independent": "91fa79dbae0269ce5f32a8fc4820f50ba0aa2b3a12273774201e3b6d80300c1a",
    "sharp-transfer-independent": "2d6d5dceee940f5c0cd357b54b966d4f1fd32605cee2e169efe045504527a103",
    "cumulant28half-independent": "177de898da69ff17d5571a2fa0aed5e86fe000c08a2d892234b047d23318efce",
    "spectral5-independent": "5d940cadca025f6c7296cc4244e00075b2a34ff765fd573307489f1b722530c1",
    "weighted-taylor-independent": "be1266cbb8dbd3c4f0c9468f88d0ff1ab5830a873aea726b97f9f313b1d6b742",
    "weighted-scale-independent": "e9542d1b6975a1722a81d68a2f33b18682905460d92202cf58a0ac459090139f",
    "spectral4-independent": "dc1889400752af0c665cc60fa5c3288832e6067f6258034caede2bbf4e7d5686",
    "finite-sixteen-independent": "93f56ab9291e635e5719484e59d3b32fbf492413d2faf0f5b5ac957c8a4ecbf6",
    "spectral3-independent": "6569c9e2e0fd5b9f93cf2014b263e43ae9b55e0bcd2f3f7db92e1724d49cb817",
    "general-scale-independent": "044b325dd91b87517ef4df8705c9d33d1db6c98afc5b729bf265944a836aaee2",
    "spectral2-clean-independent": "41bef3dbd24498a39fce9be20bd46292af8d9d80b6a8c3ea5202246fd2eddb9c",
    "two-point-independent": "d7bd7e27412949f024340bb2ec3ff34fb6d8100bad98239f783dc21a7ca22b4d",
    "cumulant29-independent": "c045e917bc111cc6ae0ccbf19006c53e50a271a28b123a7d773e73eecdc60563",
    "triangular-independent": "3d0b668d37fcc788d05ae1371d4f1fd801be557b7ce9058b94ea1cf1bbb805f9",
    "cubic-path-independent": "eac0fe901d728fa006423b9542e69dba5efaad28c1d3c86cc469fc63e589d7e6",
    "symmetric-energy-independent": "7212cbc5b079347e653c7825ac147bae1f648a21360097269d24aded0b7f2758",
    "symmetric-collective-independent": "6ca6e2f3fbd4a9e4e85e84e4fb06de142a9c50aaf5d455acce371d8cc7700981",
    "compact-scalar-skew-independent": "7dc193551febf2eee33a3550049d7f2af7b84384221280f26b8f300f9016e113",
    "cubic-banach-independent": "3e95c729cf6957f52f93b1be76d015280c951a4c08b728215f51c51aac3321b6",
    "sharp-complete-song-independent": "fe5dbcb13775b1f59ab729125b0191f51ddb17688b9f360009b0af56bfc821a4",
    "sharp-transposition-independent": "55283fe93a1dd503a3f79d0cb8910c0667f38e2fcb1728b028c0e6baca8c79ba",
    "transposition-gap-independent": "55150a4f60a5b6c1dc58c3b573c2416d503d0079d48b7515bf0447300e28e725",
    "eighteen-fifth-independent": "193a44d75abbeacbd7c8e4db1d701da2656942034cc61ddbea4b702f98252f71",
    "moving-particle-bkl-independent": "5ad9d521caa5cc625b5a962f40cf27286384d8a0ec8cc7eb810ef6b48eeac586",
    "transposition-series-song-independent": "eabae343af060436d79643f616cb6f2b59e56c0a106ecc08cdbbe47810ad9eed",
    "rank-symmetric256-independent": "9d66990b7590898a74ae1f029932dd7e23fc44f4ed74aa761df00fda409e5ca3",
    "retained-defect-bkl-independent": "5dd1a6bcde34cdd6663d2116d209fd4004c18be0153380789c420a8c5f3d9697",
    "moving-particle-tail-independent": "bb95b8982c381f26628fb0677ac1e98666b6370dc5e7636f13fbda909bfdb17e",
    "coupled-defect-bkl-independent": "32ee6857aa8cb66f429ebf5f35fea1d19decc6f4f2b45f83538b565a26d63428",
    "retained600-full-independent": "abb5096f971047c965a3df7fdec8669e6f7529a1d288d63047899f1f7eb3f221",
    "moving-rank-young-independent": "962527ac5d7a5b14b89ef7eed667d271c80cb4a256c1d66aec4391afe0e04128",
    "symmetric-rank-young-independent": "c272c44ce8fb75e5d7109fe5a45afdafa18adea42d384a2f6167cea5f0f849cd",
    "interval-rank-young-independent": "d48638c77fe573f86a9f96c5b66c8f3def498275f125e0bc99ddae5f0fe88b78",
    "refined-iterated-cheeger-independent": "0bbdfe2618386faf55b5858b5219c5885ba3b569266cb937365d4120af971463",
    "rank29-independent": "29466fff8f9ad6b0ffbc18b72065129c54cc963442ebec2645781fd23469ccbb",
    "openai600-independent": "d572d8a363af32cd17724291414df084147ffd2bc1ad31a83c04e09637e49552",
    "openai1100-independent": "087b2a36ba0a795f9881cffdda7ab622edc5a91ff50488436612140d14018b6a",
    "openai12500-independent": "52a5bdb0b7cd00def781a8c9d3b0da97efb5a850ddeedf2171273d60fdd02c86",
    "young-finite-rank-independent": "39bd817a04ec8f3dce9d74318870e237126d9e7faa6342245e1cecd0e31d0822"
  },
  "baseline_independent_receipt_sha256": "20e977f06551a4443a9114cdfd6ae2b17dfb3c64ee3d35ca0ab3b54b3a2c62a8",
  "poincare_upper_bound": 500,
  "cheeger_lower_bound": "100/(197*sqrt(500))",
  "status": "ACCEPTED",
  "scope": "Complete original KLS endpoint with fixed Poincare witness500 and Cheeger conversion coefficient197/100<2.",
  "baseline_source_commit": "cb6514892b7846d71ae81152293934409a4b4fe4",
  "semantic_review_sha256": "38c70de930915098e79884c4512278683946b6b776b5a9c3e4cbed7e6ac7fe30",
  "build_receipt_sha256": "1c6ac823996fce0e4c124f5228e468af4500d7a075f5d0fba352d1fcbe8b1617",
  "kernel_trust_level": 0,
  "maximum_compile_workers": 1,
  "root_mathematical_sources_and_semantic_review_read": true,
  "all_final_new_logs_warning_and_error_free": true,
  "pre_and_post_input_checks": {
    "before": {
      "sources_and_configs": 1748,
      "project_modules": 1744,
      "project_sidecars": 392,
      "package_pins": 9,
      "all_match": true
    },
    "after": {
      "sources_and_configs": 1748,
      "project_modules": 1744,
      "project_sidecars": 392,
      "package_pins": 9,
      "all_match": true
    }
  },
  "final_baseline_and_accepted_dependencies_recheck": true,
  "final_endpoint_axiom_sets_exact_standard_three": true,
  "original_definition_changes": false,
  "canonical_or_prior_report_edits": false,
  "global_numerical_optimality_claimed": false,
  "later_optimization_packets_covered": false,
  "actual_six_endpoint_types_sha256": "eb0af57a8d101a6374dbeae9b47bca3b8b4a8a89179b271a290eb45a12812f8e",
  "cheeger_conversion_coefficient": "197/100",
  "user_stop_threshold_below_two_met": true,
  "exact_OpenAI_statement_retained": true,
  "upstream_definitions_changed": false,
  "original_full_measure_function_boundary_classes_preserved": true,
  "all_new_math_logs_empty": true,
  "evidence_sha256": {
    "Entropy197500FinalIndependentOriginAudit.lean": "5d91754d7cc7c1a9bbc426d77b09f2371a9e1feb8f65ce5ae46573a06291f352",
    "Entropy197500FinalIndependentOriginAudit.olean": "953aa7212e8ef020cd901e738c24a15dc760b013ddb3d6ea59478273ccd0a5b2",
    "Entropy197500FullVerification.lean": "81c39fa56e7e918934e2ed9ac803bd2c4b01d7ba45d931eb175bd163612c9388",
    "Entropy197500FullVerification.olean": "3179f69da322af1a968083228547e458c106907d5b063e1384dda70426332321",
    "Entropy197500FullVerificationProbe.lean": "d3318f6207037666e40be499815b0ec26bc2b417a47b533f33a396d6094bff64",
    "Entropy197500FullVerificationProbe.olean": "2e0326de6bb8bcd8f9b0d8a9eb74dd1cb4e5a3ea4460031da639a565aa9c6eb6",
    "accepted-baseline-receipt.json": "20e977f06551a4443a9114cdfd6ae2b17dfb3c64ee3d35ca0ab3b54b3a2c62a8",
    "accepted-cheeger-clock-assembly-independent-evidence-sha256.json": "3d206fafb4e001c3f4738c0a842ac73d994acf90f84fd4717bfe693c1acbab68",
    "accepted-cheeger-clock-assembly-independent-receipt.json": "fd0e493d97b9389f0b7e756bc8579e665da0190629cc6503183ad6d828b7e4a5",
    "accepted-cheeger-entropy-chain-independent-evidence-sha256.json": "5da45d468ad293523ee4f3616d7efff055bb5686994b1953b9cd33acb27bf7cc",
    "accepted-cheeger-entropy-chain-independent-receipt.json": "62110457a91129e2dd6f8812060eaa3d15f0c2348f9ec48d50246d1eaf36751a",
    "accepted-cheeger-entropy-clock-independent-evidence-sha256.json": "54ddf75b17f9dc7c513e8aacfaa1e615e8a90b64f4c9d49e1633a46f97ffd695",
    "accepted-cheeger-entropy-clock-independent-receipt.json": "bdcc661d6c2494888274056b80eaefdc7b3bd8a912cda0c022323776463c3c1c",
    "accepted-cheeger-entropy-final-independent-evidence-sha256.json": "9898c712ebedc63a308f0cb54b7723477b19482f1ed74b4045ac01b1b03b9a5f",
    "accepted-cheeger-entropy-final-independent-receipt.json": "3258c788bb6d01d30e686a7d2a34efe1a0b590cd537294336480760947d415e3",
    "accepted-cheeger-entropy-mixed-independent-evidence-sha256.json": "d69187a5245082fb7833cbef72bf1ef5378edfc36ab1a28b11d70d469e13cdb2",
    "accepted-cheeger-entropy-mixed-independent-receipt.json": "b407819f6d755361795ba0a342d13360cbee3308732d028435da3686d551fc29",
    "accepted-cheeger-lag-independent-evidence-sha256.json": "f41c1525c189b7bc0dfd687230edabd4006f0656e7f6c3d9c323cecd6fe64ce8",
    "accepted-cheeger-lag-independent-receipt.json": "a007eee675eae2fc0ea8c3e18d77ff5b00afa819a38d396dea5a9d2da9726454",
    "accepted-cheeger-profile-domination-independent-evidence-sha256.json": "e4addabd60236f1902088ddfb1e2f4a1a712754c0721f445eb5d500314110f3f",
    "accepted-cheeger-profile-domination-independent-receipt.json": "38014a00894eb5ed4a76751b728901402b7f01918032ac68ed15927a25dd6256",
    "accepted-cheeger-profile-l1-independent-evidence-sha256.json": "bad94bb912f531b7f948eaec3b0a8e534635b0809568e68ce4250919d37131fa",
    "accepted-cheeger-profile-l1-independent-receipt.json": "bce9a0993954837e6bc3a5f9f12c1e36ee2e83de1dffed13f7ae0dffa0dd0e84",
    "accepted-cheeger-profile-numerics-independent-evidence-sha256.json": "71479136b81207f40397408c3740a267909ce764f4cda59e773b17f672eaa45f",
    "accepted-cheeger-profile-numerics-independent-receipt.json": "a14872dcc00098c5a7dd9dfe2048538c5250d99b6686460735585d5f6f766224",
    "accepted-cheeger-profile-polynomial-independent-evidence-sha256.json": "e5dc6988b5ec8db0abd4c9f11084833ed52553cf2e1b60d054810a4fc66332bb",
    "accepted-cheeger-profile-polynomial-independent-receipt.json": "3979087aab26bde356f1397eccb1e68ca4e6dc07bb206770184c5106196391bb",
    "accepted-compact-scalar-skew-independent-evidence-sha256.json": "faeea20ae6ec16c10c19baac1539491c1e9f6097da2759cf362793a6c1b1cf62",
    "accepted-compact-scalar-skew-independent-receipt.json": "7dc193551febf2eee33a3550049d7f2af7b84384221280f26b8f300f9016e113",
    "accepted-complete-transpositions-independent-evidence-sha256.json": "84c92dc0770f344fdd0d52bba0a3f4d21a6bdfc69bb9cb95e1985334f7c05637",
    "accepted-complete-transpositions-independent-receipt.json": "1be766870ee2baaadcd82f786f8ef58683ce048cb642deb91b7a07941237781f",
    "accepted-coupled-defect-bkl-independent-evidence-sha256.json": "22288ef31e35b5a53a93be02a40d4f6db044f057879deb9fa2f2ba03106f3282",
    "accepted-coupled-defect-bkl-independent-receipt.json": "32ee6857aa8cb66f429ebf5f35fea1d19decc6f4f2b45f83538b565a26d63428",
    "accepted-coupled500-full-independent-evidence-sha256.json": "f00df7b91809bc80d085095348f970539af2334b0b4cb619676d25341bd95459",
    "accepted-coupled500-full-independent-receipt.json": "e88dd88d74f776787bce0e10e30a16a8d21e927f3386d986839e3d55324064a8",
    "accepted-cubic-banach-independent-evidence-sha256.json": "c2540b3ccdf312162365d2502a82164cb019f552b6dc9b8f2037ab53460fbf37",
    "accepted-cubic-banach-independent-receipt.json": "3e95c729cf6957f52f93b1be76d015280c951a4c08b728215f51c51aac3321b6",
    "accepted-cubic-path-independent-evidence-sha256.json": "312b6516b056165d22d513f0b2101e47a8ba6f6feefe44cbd4a535cbe103485f",
    "accepted-cubic-path-independent-receipt.json": "eac0fe901d728fa006423b9542e69dba5efaad28c1d3c86cc469fc63e589d7e6",
    "accepted-cumulant28half-independent-evidence-sha256.json": "38f5ac40605a7ec84132a22a503c07d727ff15fc07f2c381cdb4625307de09a3",
    "accepted-cumulant28half-independent-receipt.json": "177de898da69ff17d5571a2fa0aed5e86fe000c08a2d892234b047d23318efce",
    "accepted-cumulant29-independent-evidence-sha256.json": "9344eacc30354cb4b6088eaae0188e2216011f27d06a7f2ed81084486b717223",
    "accepted-cumulant29-independent-receipt.json": "c045e917bc111cc6ae0ccbf19006c53e50a271a28b123a7d773e73eecdc60563",
    "accepted-cumulant32-independent-evidence-sha256.json": "c9caba801ecc255d78fd4fcf828bb049c8a46243ba11a155cb447537e81a6b44",
    "accepted-cumulant32-independent-receipt.json": "9d7ca152f15dab2e4df4169dc4f7e668ce5677d5202646e861c1cedd36bc9b7c",
    "accepted-dependency-paths.json": "af44502209bff1eca6660a8663e4db10ccbbd7f08dfcf74a4c99cec942c1d092",
    "accepted-eighteen-fifth-independent-evidence-sha256.json": "9e40edf618bf4a0e3dc8f4044cbd5c0bc1ee6f05dd5b37fcb1af66e9a9c3df4b",
    "accepted-eighteen-fifth-independent-receipt.json": "193a44d75abbeacbd7c8e4db1d701da2656942034cc61ddbea4b702f98252f71",
    "accepted-eighteen-quarter-independent-evidence-sha256.json": "b6eb190310e2ededad4fba1fa1bb2b7158dcc6430152fe47a698072f79ed21f9",
    "accepted-eighteen-quarter-independent-receipt.json": "5da8e7c5ccdfac9e4752f9822f8f5a639d5b3867f1b378751f9f46f3cae572a3",
    "accepted-finite-sixteen-independent-evidence-sha256.json": "2d0b75880e6c650d1efe0ca33750285acd2c05b775ff16a0d5efbfd51fc3035c",
    "accepted-finite-sixteen-independent-receipt.json": "93f56ab9291e635e5719484e59d3b32fbf492413d2faf0f5b5ac957c8a4ecbf6",
    "accepted-general-scale-independent-evidence-sha256.json": "6a443c4f727e22819fbea9f5aa3d47803a9b23095b90ffb527cc40cc1ef5cdf0",
    "accepted-general-scale-independent-receipt.json": "044b325dd91b87517ef4df8705c9d33d1db6c98afc5b729bf265944a836aaee2",
    "accepted-interval-comparison-independent-evidence-sha256.json": "db47661e3af08b544e8503e21d1f66ff100070b69934279635c1a780f674a879",
    "accepted-interval-comparison-independent-receipt.json": "27d400bb323c0a084688e08055c6d5bd7b86fd9610f038b151b2930bf908e006",
    "accepted-interval-rank-young-independent-evidence-sha256.json": "8d39496d522afdab371d5780da616da314eb939065b19563dd474c9088b98670",
    "accepted-interval-rank-young-independent-receipt.json": "d48638c77fe573f86a9f96c5b66c8f3def498275f125e0bc99ddae5f0fe88b78",
    "accepted-iterated-cheeger-independent-evidence-sha256.json": "20f4156bc34d6c4350f3fa6b149e3e5843f0a15e40073da0f12c0d8974a0bb88",
    "accepted-iterated-cheeger-independent-receipt.json": "5f36cb67ba86ee48ae6a288582b7a6339de8116bf91b1b5e4609c728ef530ea7",
    "accepted-mean-insertion-independent-evidence-sha256.json": "2de7a95289921a7ad2712f85478f708b15da3b330cccef6b2821be64f988310b",
    "accepted-mean-insertion-independent-receipt.json": "1b9d0914b9d3935010be16044db09f62d662cd3fba08add60cf3604c0fbafe11",
    "accepted-mean-joint-independent-evidence-sha256.json": "067b0d6fe6c9b4e4bea5675f2ce179f60101eeefe1419101b5a4d69212efae5a",
    "accepted-mean-joint-independent-receipt.json": "6f63b70abc315b03a1b6fe65aebc25460db836b595770cfff55a4662b991748d",
    "accepted-moving-particle-bkl-independent-evidence-sha256.json": "467883ce4428a012091a7540d71ab1daa2e5561c9d66ba9fa4b7200f0df5ddc8",
    "accepted-moving-particle-bkl-independent-receipt.json": "5ad9d521caa5cc625b5a962f40cf27286384d8a0ec8cc7eb810ef6b48eeac586",
    "accepted-moving-particle-tail-independent-evidence-sha256.json": "8e599e822cd6f289c6397a33992c317cb54afce53bfbe772049c029f8365d115",
    "accepted-moving-particle-tail-independent-receipt.json": "bb95b8982c381f26628fb0677ac1e98666b6370dc5e7636f13fbda909bfdb17e",
    "accepted-moving-rank-young-independent-evidence-sha256.json": "f934216d638046ff2c85e70d2502f7faf9a03ea195bb6b457f732e5c17fb49fc",
    "accepted-moving-rank-young-independent-receipt.json": "962527ac5d7a5b14b89ef7eed667d271c80cb4a256c1d66aec4391afe0e04128",
    "accepted-openai1100-independent-evidence-sha256.json": "bff37f4a344f4c2472d808bda0fc39048095f8be7537ab71cef57dde265bdec4",
    "accepted-openai1100-independent-receipt.json": "087b2a36ba0a795f9881cffdda7ab622edc5a91ff50488436612140d14018b6a",
    "accepted-openai12500-independent-evidence-sha256.json": "1b3445f45f19694c94eb031a8ddadd4b35eadad47488b963fafefc8cd937f823",
    "accepted-openai12500-independent-receipt.json": "52a5bdb0b7cd00def781a8c9d3b0da97efb5a850ddeedf2171273d60fdd02c86",
    "accepted-openai500-independent-evidence-sha256.json": "0ac39c54ffab4d492bfe8c8b77bfe4a2133a8b3a6b76255145872d7233f6633c",
    "accepted-openai500-independent-receipt.json": "2fd6a57184cc383b451cdab4f00bd947aefc677b3d4e32c1553d0dacb1076bf0",
    "accepted-openai600-independent-evidence-sha256.json": "64d9219caeda2a7870d82542deb4b8a9da2ac543dfd8f0103a74fdd95eaa1ae9",
    "accepted-openai600-independent-receipt.json": "d572d8a363af32cd17724291414df084147ffd2bc1ad31a83c04e09637e49552",
    "accepted-rank-cauchy-independent-evidence-sha256.json": "6f74bf01c0a964870b2571d8f1dc7b7dacf368aa21aa7e30c5747f85883f1016",
    "accepted-rank-cauchy-independent-receipt.json": "93cce7edee940c805d76b38715b50c97bc65aca3ddad4e0a7d73122f38da5c6f",
    "accepted-rank-symmetric256-independent-evidence-sha256.json": "e19c473416c703ea3f482d23a74644b16a5a053a163ea919508bcf4aec013d19",
    "accepted-rank-symmetric256-independent-receipt.json": "9d66990b7590898a74ae1f029932dd7e23fc44f4ed74aa761df00fda409e5ca3",
    "accepted-rank-young-independent-evidence-sha256.json": "be05f4fe75612782efa0868706ac60cc41173278412cde12aceeb1bc4094840d",
    "accepted-rank-young-independent-receipt.json": "1925259a0c9c6e047bf01f16d5171317f6ce71501fa2b623f4312ece81f3b957",
    "accepted-rank29-independent-evidence-sha256.json": "6b734a1f574b3fa51f2bb55d3e39163265e12363230de67ceef81516e2a44b6e",
    "accepted-rank29-independent-receipt.json": "29466fff8f9ad6b0ffbc18b72065129c54cc963442ebec2645781fd23469ccbb",
    "accepted-refined-iterated-cheeger-independent-evidence-sha256.json": "0a134914ca1f8ddff34623686ce11d66415241f010679111d3c906e9da218976",
    "accepted-refined-iterated-cheeger-independent-receipt.json": "0bbdfe2618386faf55b5858b5219c5885ba3b569266cb937365d4120af971463",
    "accepted-resolvent-weighted-cauchy-independent-evidence-sha256.json": "97a8513344f1d7985341269bdf6444f51a6f338652692ed7906339305d743c30",
    "accepted-resolvent-weighted-cauchy-independent-receipt.json": "4ad1c5e5db1d06e377d4a2d2c1fd2e88f3acdb953a7f419871fd6f0172c41c3d",
    "accepted-retained-defect-bkl-independent-evidence-sha256.json": "41eb8012c2ff36cd1418b1245de5f158c441a3412de0b4fa825448a4eafbac40",
    "accepted-retained-defect-bkl-independent-receipt.json": "5dd1a6bcde34cdd6663d2116d209fd4004c18be0153380789c420a8c5f3d9697",
    "accepted-retained600-full-independent-evidence-sha256.json": "c0504e2100709fccff423c8af35681f63c5be04c7950baea90433281f6cdf806",
    "accepted-retained600-full-independent-receipt.json": "abb5096f971047c965a3df7fdec8669e6f7529a1d288d63047899f1f7eb3f221",
    "accepted-separated32-independent-evidence-sha256.json": "1462febad08ad90ae36659267ca32307296799a763a9cd851f294941dff4e43a",
    "accepted-separated32-independent-receipt.json": "d5e20e9f03ca50349429b636facec4bde2c74ef1d4d14e4d082f4de7bc468251",
    "accepted-sharp-complete-song-independent-evidence-sha256.json": "acffe2c7207156fed9f5d390c9b481b69c31711115fe345311fbb86b113d89ba",
    "accepted-sharp-complete-song-independent-receipt.json": "fe5dbcb13775b1f59ab729125b0191f51ddb17688b9f360009b0af56bfc821a4",
    "accepted-sharp-transfer-independent-evidence-sha256.json": "9d482fa009776865684f3a20cd7adfcfcacad4d481b101db64fd934bed306f32",
    "accepted-sharp-transfer-independent-receipt.json": "2d6d5dceee940f5c0cd357b54b966d4f1fd32605cee2e169efe045504527a103",
    "accepted-sharp-transposition-independent-evidence-sha256.json": "a650e5caa7f3c9a4a4cc178311721b6b4380496b54546f83110ac3f16485d124",
    "accepted-sharp-transposition-independent-receipt.json": "55283fe93a1dd503a3f79d0cb8910c0667f38e2fcb1728b028c0e6baca8c79ba",
    "accepted-spectral10-independent-evidence-sha256.json": "1c6ee2101bce9aa5fafa75a0f43dcb2e91444ea847bf1b10f8125302fd19891a",
    "accepted-spectral10-independent-receipt.json": "671b4b9d9ae51cade2d1b2430181a1009d14d3c91fc3d6e7c1dfa15282ce85ab",
    "accepted-spectral11-independent-evidence-sha256.json": "763870eb47d95bee7502787106dbd1d6d24f53beea25cd15ebe023ac98bd6698",
    "accepted-spectral11-independent-receipt.json": "c2119869da888a1ffe0354dbf516f7d84ac4d162f612b4409592f293849041bd",
    "accepted-spectral12-independent-evidence-sha256.json": "7479d04bc971d53239ed0ed8e356cd5cd3b83e1816634cc9b6da093ff825f3b6",
    "accepted-spectral12-independent-receipt.json": "6c1e37c319ad84e9313fe939abc346eab5d84402e0e441f32b52a1ada30c0788",
    "accepted-spectral13-independent-evidence-sha256.json": "380089186061a63741e1cbfd9af6f3885cc07c011473fb7d0d869d48dc1384bd",
    "accepted-spectral13-independent-receipt.json": "f57ee5d95ccbea107ec7f858c5516acb19569c42717f70be02498f26ab32b29b",
    "accepted-spectral14-independent-evidence-sha256.json": "1826598df8f7209fe9486bf916ee81866dce16da0e72248181568c9d244fb172",
    "accepted-spectral14-independent-receipt.json": "01b60111168093262d778e592672ec22b48f5df23f36117cf3d55e0653ec6366",
    "accepted-spectral15-independent-evidence-sha256.json": "5fb8285df912d7e64bc4d7c8e69c29a3587a0d343d01f34504a3236184d1c945",
    "accepted-spectral15-independent-receipt.json": "af515ba58de83527c157e57d51414d929758688289c61c1d9a950473e0ef6fc5",
    "accepted-spectral16-independent-evidence-sha256.json": "d1fb7d6a315f15846c606ebf0dc5361f03dc298f3b8af5f3874adad17b94fbd2",
    "accepted-spectral16-independent-receipt.json": "ddd1d2e7e1b3f9c74b18a99aff08437a1fa6e29ba0a4608c2b9ce7765163de7d",
    "accepted-spectral17-independent-evidence-sha256.json": "5f20cd5a3eb8d3b79d8419189b360814dc2df7c506a179bdf452cb8eca6af3a2",
    "accepted-spectral17-independent-receipt.json": "05237712b9ed81390fde842d379016a4eabff809b28c6a203695400a5ff03a6d",
    "accepted-spectral18-independent-evidence-sha256.json": "2600c63bbddc51107ab37bdab56077e27356fa4db4c9e0bb668e57b2452f976f",
    "accepted-spectral18-independent-receipt.json": "ee241192d39115bd257017c7fb725c27ca0c2e98cee0d70d61ec392e79c42b23",
    "accepted-spectral19-independent-evidence-sha256.json": "4f4a0e3f83136c9350600849e7cdd3417fee48760e88aab1adea0dda8a6ed3e4",
    "accepted-spectral19-independent-receipt.json": "ca3756d512631d92a2a07b8d72618f0efa395b093d52ba3b01aa6e504bc33960",
    "accepted-spectral2-clean-independent-evidence-sha256.json": "d5ff5d9470a0a51e5faea5006c21eb61c8109edac293e4218b27e12751f2c2e8",
    "accepted-spectral2-clean-independent-receipt.json": "41bef3dbd24498a39fce9be20bd46292af8d9d80b6a8c3ea5202246fd2eddb9c",
    "accepted-spectral20-independent-evidence-sha256.json": "decae66b5c1a53ec56dff3c7a87e6dbbdd7c4a3bb9b6ca7173c23502aa5790b0",
    "accepted-spectral20-independent-receipt.json": "90bc25a8bac9b57e93d81c86ab8aa234908a479e4a4b5fc18405b0b836a41b9f",
    "accepted-spectral21-independent-evidence-sha256.json": "abeff5bc7b1b1a0e4befde26ff8290524be5b1e89fbeb405b3f6aace9cc2db0b",
    "accepted-spectral21-independent-receipt.json": "9f8b9dd7c141fb8aeb36fbf2edf4a80e05bb5fa8cbefebc2401d472ab237e011",
    "accepted-spectral22-independent-evidence-sha256.json": "c478bfc1887579e3c3458c7a695ac007f1ee1e5dcffce0e9b8d6140ffac86faa",
    "accepted-spectral22-independent-receipt.json": "6c688cd84ec940d4218fb6e70bbcafbb946fedf62c1779b613848b5493a5d050",
    "accepted-spectral23-independent-evidence-sha256.json": "d6efeeeb8aafab3b129515600179e31e9d187cc22179d7c05c79587925266ad5",
    "accepted-spectral23-independent-receipt.json": "98424ac7c46e28f80fa42a46dff80a336f0bf8f2ce0c0bc1af431e37fbf82a4a",
    "accepted-spectral3-independent-evidence-sha256.json": "76213f7ab528a64ec92cfe3c887b444ff29b23a60b82e734bae9ee4549c6bebc",
    "accepted-spectral3-independent-receipt.json": "6569c9e2e0fd5b9f93cf2014b263e43ae9b55e0bcd2f3f7db92e1724d49cb817",
    "accepted-spectral4-independent-evidence-sha256.json": "beaf424c7a56026fb881b74cabd20c438ad6e7ff6deed505e1302082e67a58a9",
    "accepted-spectral4-independent-receipt.json": "dc1889400752af0c665cc60fa5c3288832e6067f6258034caede2bbf4e7d5686",
    "accepted-spectral5-independent-evidence-sha256.json": "f424986ed1f3cdc4870bf1fde9d86dc5c0e8b36ff49be24d7257730bff3e3c37",
    "accepted-spectral5-independent-receipt.json": "5d940cadca025f6c7296cc4244e00075b2a34ff765fd573307489f1b722530c1",
    "accepted-spectral6-independent-evidence-sha256.json": "e6cad359a21b7654b4b55267e13768ca0bc1e1736be2b065e9cca3ab8c294e27",
    "accepted-spectral6-independent-receipt.json": "91fa79dbae0269ce5f32a8fc4820f50ba0aa2b3a12273774201e3b6d80300c1a",
    "accepted-spectral7-independent-evidence-sha256.json": "7925c63844d58ae60afc40f4c1aabcd295ebada8cc46516b0ff2f852c296f0ec",
    "accepted-spectral7-independent-receipt.json": "56919ac240cf85695600ed174c95850c39d0b66ebe020d335d38bd3fcb9c94d5",
    "accepted-spectral8-independent-evidence-sha256.json": "5f482d7c0bb33285a9d8d7f7956f5c890fc45795c7e83a73f5b0f4ff4d9570a5",
    "accepted-spectral8-independent-receipt.json": "5925418caff7fa248c69254aa6eaa4f5e50117d262fab820c014fb5cf306a740",
    "accepted-spectral9-independent-evidence-sha256.json": "dbc435326929d10d73e579e9ca8b481456f4ebfbf470f6e986c227af6f0afbbc",
    "accepted-spectral9-independent-receipt.json": "733beee6e4dd115500cba89135519dffa9c2f71e2d8a8fc6e67ee71c39edb7ab",
    "accepted-symmetric-collective-independent-evidence-sha256.json": "6408fa1ba07a4e11f7c84d2dba67c466c09c8e69a7723577febc4eac122d2799",
    "accepted-symmetric-collective-independent-receipt.json": "6ca6e2f3fbd4a9e4e85e84e4fb06de142a9c50aaf5d455acce371d8cc7700981",
    "accepted-symmetric-energy-independent-evidence-sha256.json": "20673a2646bf93cce9f294848e50fa76f3990fbac3870c8eb6785c1c144595fe",
    "accepted-symmetric-energy-independent-receipt.json": "7212cbc5b079347e653c7825ac147bae1f648a21360097269d24aded0b7f2758",
    "accepted-symmetric-rank-young-independent-evidence-sha256.json": "17f02f26b4b75b30ee2e864eee3f4e522b5085e0a8f52a7cdf7166368cad1d55",
    "accepted-symmetric-rank-young-independent-receipt.json": "c272c44ce8fb75e5d7109fe5a45afdafa18adea42d384a2f6167cea5f0f849cd",
    "accepted-transposition-gap-independent-evidence-sha256.json": "d5e66f011371ab0da1ef46d94a480cb8f5c72dbccbba5371fa88200a591ffacd",
    "accepted-transposition-gap-independent-receipt.json": "55150a4f60a5b6c1dc58c3b573c2416d503d0079d48b7515bf0447300e28e725",
    "accepted-transposition-series-song-independent-evidence-sha256.json": "438267c2e779afa72aa7722f94ad6e03073e6fe8590ebac4c96aba21c6ad5d1f",
    "accepted-transposition-series-song-independent-receipt.json": "eabae343af060436d79643f616cb6f2b59e56c0a106ecc08cdbbe47810ad9eed",
    "accepted-triangular-independent-evidence-sha256.json": "9de6a34019266170584abf877c6466044b05e0d9267c9879047a51d96921baa7",
    "accepted-triangular-independent-receipt.json": "3d0b668d37fcc788d05ae1371d4f1fd801be557b7ce9058b94ea1cf1bbb805f9",
    "accepted-twenty-seven-independent-evidence-sha256.json": "31885dbc7be1615d0e8b211379a5632c02463fd77bcab02a87031190dd67a9ff",
    "accepted-twenty-seven-independent-receipt.json": "a825b408a6ed5a4c81abb59e51e2a1064d58542b2919448507cd8a5fe6d22a2e",
    "accepted-twenty-six-nine-independent-evidence-sha256.json": "88a6d75ef76437fabc58205e1e1b083c23c57d8f64edcccd8e00e5285106028c",
    "accepted-twenty-six-nine-independent-receipt.json": "d38a8d43506b5cbd954a49140bd1cf52ef61e06557b106a5f78c187f266e5d03",
    "accepted-two-point-independent-evidence-sha256.json": "4f3d018eb5cbcc6459f7499010514a02659d7ef4726f6eccafa91259e3c7b19a",
    "accepted-two-point-independent-receipt.json": "d7bd7e27412949f024340bb2ec3ff34fb6d8100bad98239f783dc21a7ca22b4d",
    "accepted-weighted-scale-independent-evidence-sha256.json": "f47c2b1c01281ea2b82d9d3ac7a1daa78e8a4d3f3e0e4b195ed2609e689a85e2",
    "accepted-weighted-scale-independent-receipt.json": "e9542d1b6975a1722a81d68a2f33b18682905460d92202cf58a0ac459090139f",
    "accepted-weighted-taylor-independent-evidence-sha256.json": "14ae80c44fed3c083592ff63448ae6712955d3699ff63470e4cbd003017567ad",
    "accepted-weighted-taylor-independent-receipt.json": "be1266cbb8dbd3c4f0c9468f88d0ff1ab5830a873aea726b97f9f313b1d6b742",
    "accepted-young-finite-rank-independent-evidence-sha256.json": "203bf20e6c5d7918bba63ece2fd918e0edacc8a698709a15bea6b2acc61b0880",
    "accepted-young-finite-rank-independent-receipt.json": "39bd817a04ec8f3dce9d74318870e237126d9e7faa6342245e1cecd0e31d0822",
    "actual-declaration-types.txt": "566689d5229e80ee750feb2ff91e3387943016847d2020a7fe39f08bebed6836",
    "actual-six-endpoint-types.txt": "eb0af57a8d101a6374dbeae9b47bca3b8b4a8a89179b271a290eb45a12812f8e",
    "all-origin-declarations.json": "ea7c1dc2ed8ccc59045d26ede757ca367871eea8bfdca0f01085415422e82c62",
    "author-pinned-evidence/author-compile-receipt.json": "ab61327b372aa1b3027068b370bd5379991481e336e5ca739c6e8ade8538363d",
    "author-pinned-evidence/evidence-sha256.json": "569d2f32092ca00f9ad40b2078cff887d6058709162ac8174c2cfb09a05a7f63",
    "author-pinned-evidence/logs/Entropy197500FullVerification.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "author-pinned-evidence/logs/Entropy197500FullVerificationProbe.log": "132b9cefc1998b00e63480cf0ee53b9c35442effcf538bef64c8f1f2707f333b",
    "author-pinned-evidence/manifest.json": "c51da3ca8a56eab55f9d49231cc3c6d59463e6482d38ffdafdb952429342f7e9",
    "author-pinned-evidence/sources/Entropy197500FullVerification.lean": "81c39fa56e7e918934e2ed9ac803bd2c4b01d7ba45d931eb175bd163612c9388",
    "author-pinned-evidence/sources/Entropy197500FullVerificationProbe.lean": "d3318f6207037666e40be499815b0ec26bc2b417a47b533f33a396d6094bff64",
    "baseline-module-artifacts.json": "73c328da31f11f3c8f79554a905c9dcd8ea94c100075ac1340d1150d451cc2bb",
    "baseline-sidecars.json": "ed658a14a318ce332d6d971478661e25b9739aca06b8077d06bbb0023b1702bc",
    "baseline-source-inventory.json": "3ce94cba714b8931b5e01d6a57d7cb516f25900178e4758b7dcbeb17a079bc8f",
    "build-receipt.json": "1c6ac823996fce0e4c124f5228e468af4500d7a075f5d0fba352d1fcbe8b1617",
    "compile-and-axiom-review.json": "22261d93d4c79ad0385d13f8b00f879df6341c39f5d5d174e5387abb27f86aae",
    "deduplicated-module-provenance.json": "720db47fe59f7939e9e859c812ae364c822c39c87e92f0f35870a79363aa0a0c",
    "dependency-pins.json": "1facde09423a4a5d5c83d7243c363a1db94144b481574e8e053d10b95545c584",
    "finalize.py": "de75e6eb982e43c1a3d741de3373c19cce6181c5ab3bee34f47e3e9ed650dced",
    "input-checks.json": "c21c9da20d164d535e486a5075b9bc8f00c8f829e00c7e78bf41e2b3d4ed0625",
    "logs/Entropy197500FinalIndependentOriginAudit.log": "16b59010b310ff187a58c789094c5796f4ead7564be5f0c01621622945f0c794",
    "logs/Entropy197500FullVerification.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "logs/Entropy197500FullVerificationProbe.log": "132b9cefc1998b00e63480cf0ee53b9c35442effcf538bef64c8f1f2707f333b",
    "replay-config.json": "3f66b7d7fab71eb01b325f6996e566558e2ee85d73a7eb52f0130760fe175fef",
    "replay.py": "3d2a09ea95162363c6a063da9536759ae2616b7edd6b0dc23571764044021486",
    "required-declarations.json": "81526925e302710dccd7e005fac2f885bec8a62f48ba6923983a6c5d742999ce",
    "root-math-source-reading-pins.json": "7e135769937c24b261512b7c767bc78562f51715f691da67cf809aebf937b2c8",
    "selected-origin-paths.json": "c32ff0f7771c4a615a1c67ddfcbadbb1e6e64d3d129c13040387e5987cb60ba5",
    "semantic-review.txt": "38c70de930915098e79884c4512278683946b6b776b5a9c3e4cbed7e6ac7fe30",
    "source-pins.json": "7a053f94082bd1a44533716d4213cfa01d62bc9a3dd42b35056dbb798ac2792d",
    "source-scan.json": "652997ab3d38d7cc3b53f391109fe6e2b542c1a204fd6f19ddb15192f01b0527"
  }
}