Reduce helpers 644/660 from width 8 to 7; conditional κ > 0.00173

research/staged-644-660-conditional-release/ARITHMETIC-PINS.json

@@ -0,0 +1,84 @@
+{
+  "source_head": "550a660a97308d3aeb3620ee1f4218f77e2c2742",
+  "vendor": {
+    "SOURCES.json": "30fc7635c08820a54f4b34485cbbfc154cacd97c6a484b52f182c77a9bc45189",
+    "support.py": "a3fe5057bf4a8706289b49c772676a57df8f8f7481c1d6dbb637e76361fae067",
+    "binomial.py": "03eebf2be23cab07e5f9e978980fee7b17e10847da5720c3e4e0adb243e8e4fa",
+    "vendor/PR3361-CLAIM.json": "43aadbe1181516c97ea7f12c65e65ee757df08ead084a9cbbd48a46ed6c59089",
+    "vendor/PR3361-NOTICE": "d065f2ddf9931a63c44bd5d2eef1164c8cafa57710cbf279feadf249867c802d"
+  },
+  "repo": {
+    "research/adaptive-kernel-demotion/vendor/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c",
+    "research/coupled-carrier-cap740/.gitattributes": "9fe19dd37d5e9fa50f5bfab548cbeb38d300a05a78ea11abe3199b97c30fa563",
+    "research/coupled-carrier-cap740/BASELINE-PR3143.json": "736e804af3c2f5665e29e79e9d54cda619817edac582c02da8613ee85d07b8ae",
+    "research/coupled-carrier-cap740/CLAIM.json": "338165d75d87a1a576750ec92772640e641bc91076e91b686d8ec7ad6f9d6d19",
+    "research/coupled-carrier-cap740/EXCHANGE.json": "5063791f327d067f37478488c97ce449e5b34cfb61d6309fc6924c5e360fe839",
+    "research/coupled-carrier-cap740/FETCH.txt": "2d72343c697fb55c87e9c092bc6a6346b5a31e1b311cf8f02e11cdc7d4e916d9",
+    "research/coupled-carrier-cap740/MANIFEST.json": "db2e63e8814e3af5cab14e83174ca035e3b74a919d3d9632dbcf8ff031da7931",
+    "research/coupled-carrier-cap740/NOTICE": "6a0ba71e24f2705eb353db20ee4e369f70fc9ed1d03571f1516c86b8143b2d3f",
+    "research/coupled-carrier-cap740/README.md": "1442d0a676e2f7528c5eea000d9abdbddf4649ee8e7a85f03f903f96eaad18a5",
+    "research/coupled-carrier-cap740/SOURCE-PINS.json": "8e558e3728f04ff3d5cf2f7e42d8ecffe2689db4f3a128d295f004fcea94b126",
+    "research/coupled-carrier-cap740/SOURCES.json": "3e2848315417072d8ad01b2cbc6ebe22b87c832157f0054ed4bd4586b8342b63",
+    "research/coupled-carrier-cap740/TASK.json": "c2479064dd5f8c9cf59ec86a97216d896a361516ad8a520d312f2edc8eb70956",
+    "research/coupled-carrier-cap740/VENDOR.json": "b1ca2aa5eda68a671af0c7a8d9c16798fa6024ccc243a70ba28108b65f9172bd",
+    "research/coupled-carrier-cap740/VERIFY.json": "28af19a46e30b1bdd6cd72a33d580d9b66d367b01f111657ebb5fad24b6287e6",
+    "research/coupled-carrier-cap740/cap_check.py": "c2a2ea7df9ef2f7c7ae2739435f4ac44f2c912d8e18fc9278c717958f258ee38",
+    "research/coupled-carrier-cap740/common.py": "8786495cbf808d950be1c42e42d0198e950e44167af80063d25fd186aafea534",
+    "research/coupled-carrier-cap740/construct.py": "7aa70e617974d4cfd93d71e5f569f7200778bca3056ea1f592920c42bded6911",
+    "research/coupled-carrier-cap740/evidence/ADMISSION-RESULT.json": "ac9bd230856de7acd09828433163032ea94bccaec446e454576e43f8d1a54b74",
+    "research/coupled-carrier-cap740/evidence/COMPOSITION-RESULT.json": "ba30bcb0454dcbc21ad8cc06a196d354feda43b330663808940c302540f21a1d",
+    "research/coupled-carrier-cap740/evidence/ENVIRONMENT.json": "7f87ff189cd75ad7cd8fa1abedb1bb4b5d8db071e4ca468c7f2589c11f55388a",
+    "research/coupled-carrier-cap740/evidence/FINITE.json": "5e4a46af7d8b6211a181b09fc79606617d57564921d67683269e3e6717ccc8a8",
+    "research/coupled-carrier-cap740/evidence/INVOICE-PAYLOAD.json": "29a18051af4cf4bd071db50eef9a9905ed0c0dfe27f6b7deacbebecff665b3eb",
+    "research/coupled-carrier-cap740/evidence/MATERIALIZED.json": "40a4a3e05ad345aac2131822aa201c662012040c254af5528fea0c408d098326",
+    "research/coupled-carrier-cap740/evidence/NATIVE-RECEIPT.json": "15c975052f81f9a7363669a4ea9d016525063e920f9e596422ce24f66a23b1a2",
+    "research/coupled-carrier-cap740/evidence/NATIVE-base-STEPS.json": "0a89aa9ecf6bc1fc1436699842d17674661cd5e0d7a110d3572e7eb912fedbf6",
+    "research/coupled-carrier-cap740/evidence/NATIVE-extra-STEPS.json": "815f9657e04e63815af45bceeaabf549357bac432498cd2d331f607d7b2929ab",
+    "research/coupled-carrier-cap740/evidence/OUTER-CLAIM.json": "6f3ea6f27ca0a6f1cb925b14b3db323482c71316ab8810b056fdb41ce5490046",
+    "research/coupled-carrier-cap740/evidence/OVERLAP.json": "c6d551be96d163b91f2d32e59de8df2d89a1dd4626388146df589a530af772d1",
+    "research/coupled-carrier-cap740/evidence/PREFIX-AND-INVOICE.json.gz": "4c46daacf45747db13ab2c5a0d5253e28f8619dc97841ec4f9d455f17cdb04ee",
+    "research/coupled-carrier-cap740/evidence/RECIPE.json": "a3a4656491c73e11860614b05d9cce809f5fd576648d184aca75b75a4e087faf",
+    "research/coupled-carrier-cap740/evidence/RELEASE-RECEIPT.json": "d2536cd5945ddafd4dee9f1ba8c7f24f5ac98d52fad22f9163241663b533d399",
+    "research/coupled-carrier-cap740/evidence/RETAINED-REUSE-RECEIPT.json": "dd36443f2789ffa6deca7210c76ada781e2b9b7e622a546b366f51a475faff3e",
+    "research/coupled-carrier-cap740/evidence/RUN.json": "09e013a5ef64c3c23728e93bdc1deb65c3fc902d5bc9b7c61b9c411df6a17793",
+    "research/coupled-carrier-cap740/evidence/logs/complete-admission.log.txt": "9554cd4188e0893fae82b3e44b992bae4f1409dfa974ffc7de1d57aab256e3e6",
+    "research/coupled-carrier-cap740/evidence/logs/declared-edit-stage.log.txt": "0c33d4323f555c64c0c9cc6cd4d821ed70c7163434a5b265cad51ad68d751b03",
+    "research/coupled-carrier-cap740/evidence/logs/derive-closed-adapters.log.txt": "ae9fbbecb3eb64e18eb7e08a99ea6e15c924ec7626e4b09f7997703a474d9273",
+    "research/coupled-carrier-cap740/evidence/logs/export-pr2833.log.txt": "7b2179791de25298ed2efd677a5854d12ccae6a15ac0b8c4ee9fa55bad1276ea",
+    "research/coupled-carrier-cap740/evidence/logs/export-pr2894.log.txt": "6bd8df30779863897e48441608240db6a7e3fcbd0754511e44f854f3a5c462a6",
+    "research/coupled-carrier-cap740/evidence/logs/final-outer.log.txt": "670f60ee3ecc7e2d7fc4b23b468d4cdb8cfab9edaf252cd2410c1cabcb0318dc",
+    "research/coupled-carrier-cap740/evidence/logs/final-source.log.txt": "5840b042911f77ba55c1536f72932775910e53930b4a515416f028c8ffe219b5",
+    "research/coupled-carrier-cap740/evidence/logs/four-kernel-stage.log.txt": "f2bbb6462b3f5bb8a6415bb33c0c35355353b13343ddb90961660f7473caa5a2",
+    "research/coupled-carrier-cap740/evidence/logs/fresh-current-native.log.txt": "57a95a5df95aa0574b48d59d71a6e5e84d017172e51b8627d8713c52a7134206",
+    "research/coupled-carrier-cap740/evidence/logs/paired-extension-stage.log.txt": "61cc77beeae833d7473b5c5338b176b150f95f6652a888c0307f080674cfde35",
+    "research/coupled-carrier-cap740/evidence/logs/parent-paired-stage.log.txt": "d80d8494c48816e3acf662db00cc0077a888b82392d736826f73beb1c4248299",
+    "research/coupled-carrier-cap740/evidence/logs/pr3136-local-audit.log.txt": "20ddd986c6be5ecda7758f0fa42a90e0a7224dbb5eedfd4d9c9ee899743b50f5",
+    "research/coupled-carrier-cap740/evidence/logs/preload-stage.log.txt": "2eb7601c48840a39c58eb838886aed00a531349b259f0bbc3ea6421376b8ea3c",
+    "research/coupled-carrier-cap740/evidence/logs/public-fresh-preflight.log.txt": "2a1a354a82f7a24425452304b3d13d7a40a7db9aeed96c2a41907968195d1e9c",
+    "research/coupled-carrier-cap740/evidence/logs/public-preflight.log.txt": "2a1a354a82f7a24425452304b3d13d7a40a7db9aeed96c2a41907968195d1e9c",
+    "research/coupled-carrier-cap740/evidence/logs/rank7-overlay-stage.log.txt": "06150c3f42489b14e981b90ac0e594e7e32bfc6ec4a98f3551cf53b6d18acd36",
+    "research/coupled-carrier-cap740/materialize.py": "246c1f694f76faf93c21ba9e46a527d334f6d53a9d882e5fa9d98c859b57b736",
+    "research/coupled-carrier-cap740/reproduce.py": "b8a057998fe8b5819aa429b49734f3f85348c38f0d27e3302853098ddc5b902d",
+    "research/coupled-carrier-cap740/requirements-full.txt": "13f257631f46d3c774495c6b22351899a825afb226410856b2c549535022632f",
+    "research/coupled-carrier-cap740/run_release.py": "1955dbfed014b34df1401b3bed480eb30eb0d80854285f8b63da0e8d838c899a",
+    "research/coupled-carrier-cap740/test_allocation.py": "cf3eb0e979828fbb0960d1240c42a95aab79b6ef73e8106cb93d2166513076c2",
+    "research/coupled-carrier-cap740/test_bindings.py": "f334e67e1ccd2b5eb9430e11aa48fffaa11b07aba3e4bc8518f6cd079bb7a6c1",
+    "research/coupled-carrier-cap740/vendor/PR3133-CAP.json": "e32f3ecd5e6594935583f80f643cf1930e8bc017e3c541025c335395a15cf19c",
+    "research/coupled-carrier-cap740/vendor/PR3133-CLAIM.json": "f3435eda62a95bb02fd4870ac97b108b3a6862cbf84a7d22863889fc1d73ec01",
+    "research/coupled-carrier-cap740/vendor/PR3133-CREDITS.md": "1d9d8f56d8899f55878e4cb2c4e052b22506444016a51c2e678773505f5189e6",
+    "research/coupled-carrier-cap740/vendor/PR3133-FILL.json.gz": "68b8bae90144248774b1920cd27f9519caa3dc427704d8a9da6d4c491d912fc4",
+    "research/coupled-carrier-cap740/vendor/PR3133-MANIFEST.json": "609209f577c9185b16825dd2e8bb30f0891205fddd2571a8f76c558e3cb1f70e",
+    "research/coupled-carrier-cap740/vendor/PR3133-NOTICE": "c9731c9cca25ede32c2a1b3aef6d5b249973cb2ed5fb2494407bdca598763661",
+    "research/coupled-carrier-cap740/vendor/PR3133-PROVIDERS.json": "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd",
+    "research/coupled-carrier-cap740/vendor/lift.py": "ae6c1fee78fbdec26976ca74ca89f6aab2528d763c596f6573132cb54d57cd3c",
+    "research/coupled-carrier-cap740/verify.py": "86fbd1ab5fdbc5ea1914a2d873e55d8ea1b4921bfcc2567442cc8141567019be",
+    "research/coupled-carrier-cap740/verify_release.py": "30acfd9f5f4488f29f2f8e6854ba35dc06ce1afba97124408eb051b7b145ea27",
+    "research/coupled-carrier-cap740/words/base.json.gz": "300a9b8ad1d554f0e6f84f43f3f5fd870a5b4e5f81ad856900b6e8999684892e",
+    "research/coupled-carrier-cap740/words/extra.json.gz": "495d030f1e03b90e954dad3043994f03293d41b9ed220a3beaef849df435d3f0",
+    "research/gmx-t74-borrow43-handoff/code/assemble.py": "f25e1e870df5d5a16a1e367b3df8843cb01644ab4b75895d7939af81e4fcb833",
+    "research/gmx-t74-borrow43-handoff/outer/check_ledger.py": "9e12909c73d3b3a31a45d801ae76c034510d6306400412e474df79bc4f1dc67e",
+    "research/gmx-t74-borrow43-handoff/outer/independent_check.py": "a5a0361539ec7cae9eb6c0371f857919335a1720040f22af291aa3e34fc864c7",
+    "research/rank7-joint-endframes/tools/root.py": "55f5aca39b5ee2fe4687ac8863e6c24569010f27a332883c069b8e14b8fe09e3",
+    "research/two-sided-helper-extraction/tools/audit_moment.py": "e7147ccb8c57aa32a2cb227234a6a200a0b9e735eb1a655fd79ab29a4d7c0a00"
+  }
+}

research/staged-644-660-conditional-release/ARTIFACTS.json

@@ -0,0 +1,43 @@
+{
+  "ARITHMETIC-PINS.json": "b1092c4a5aa06b34ea59d07287ba571838de8ed6d3515e4da0219c6c6c776395",
+  "CLAIM.json": "2e721209f626d5111142951b1f26383d6746b4f230a4625244b5e5c84d6079d5",
+  "DERIVATION.md": "0570b25a98261ed62c9c5709e14a8f6f6c5a921a73286739212c3954c3e7de27",
+  "FETCH.txt": "df2e78dc2e66d67930bd3506f150dd83e06274f8282714ffd4f6fe164523dca4",
+  "README.md": "41ae8d2e718677a679909a29bd60aec97cd9ccb1dd3255e36f08d670fecb876b",
+  "SOURCES.json": "d44309c15aa0c06b590be7c0dc0fefe6db8faf62ee5cde4d47e31ea2ec82cd15",
+  "STAGE-SCOPE.json": "686bc141663bae0354afbcc9ea8ff81cdffcdfc10e6699357c4bf393a430e979",
+  "TASK.json": "ec26803d9d0fdf31a6348c443b628bc0af7ffe87b8b2a37c3b199b3b088c06e4",
+  "VALIDATION.json": "c59b2ac8eff9a519a6c371bee216b7bdfe38bd2a193e1ccad87352ff11bcdba3",
+  "VENDOR.json": "f88de7e5b925bfa5f29591e034d3804a87150b39d2edd05aea958a1c703645d0",
+  "VERIFY.json": "d9ae41e410a8b599854b24bb7f47c0096e2502fb9b34af779cc10a4e51c6909b",
+  "check_arithmetic.py": "ee4a9cd92267b70a0d482377331bbb4ae9555cf68cf3f7467e46f9923567c91b",
+  "check_owners_and_moment.py": "a356fc3bab185107bd902232ce3c35941f328c439d04f3e12ef8aafcf65cb1ec",
+  "evidence/BOUNDED-REPLAY.json": "f29c24deedbfe7dccea2bd291401cebc2c3772952eeb538f0f6bf7e6fe63ada2",
+  "evidence/FINAL-BINDING.json": "9b76c0d007a43dee2d3dd24da4e99e7700544ece87eef70ad34caab06502481a",
+  "evidence/FINAL-RELEASE-REVIEW.json": "2b2bae6ee0e05216693fc4a34dbb657f290a4f182c33c023e11f097111b47c30",
+  "evidence/LONG-PREPARATION.json": "1d3f525084dc1a2a50cbc82fe221a9f05c06f82bf8395c3b5f7e65c69fc66f0c",
+  "evidence/RELEASE-RECEIPT.json": "ce1ce9d9ad3ac9440057534d19e06b7cb4fb8da98ba5e72e01ce538b59eb2f40",
+  "evidence/SOURCE-DERIVATION.json": "7a84f9b25f99e52b522bd9c2ba664a3943fb3ebc39cd241307cfe84b21d8ac52",
+  "owners/AGGREGATE-INTEGER-FLOW.json.gz": "392d9ff80e641a79c9375e71df7f745e9d48f6e0914851a4ed4ecd079e0df2e9",
+  "owners/PROOF.md": "11113405347bb8a85a85c6d5b516ff3dcdb15e01d4b16f825ba4eb314a1be5cd",
+  "owners/SOURCE-CREDITS.md": "1d9d8f56d8899f55878e4cb2c4e052b22506444016a51c2e678773505f5189e6",
+  "owners/SOURCE-NOTICE": "c9731c9cca25ede32c2a1b3aef6d5b249973cb2ed5fb2494407bdca598763661",
+  "owners/SOURCE-PINS.json": "6c334914c592b26eeeadd9fbe3a0aa2a52f22fc66df7704fc80b5f45874d9916",
+  "owners/actual-t740-prefix/OWNER-CHECK.json": "25b46766913b05439c324e7b805e36981ea775d9caa099bdadc8f2745ffa8008",
+  "owners/actual-t740-prefix/PREFIX-REPACK.json": "91b2515b6f28f7a77f82ef4601dbadb16a85afe4c10ce9313a9f2f08158fb8cd",
+  "owners/actual-t740-prefix/PROFILE.json": "779e8775d398e81a2315695573ab779e5039e45e7497f9eb6c8125097b51cc14",
+  "owners/actual-t740-prefix/PROVIDERS.json": "d96f2798024ab83edbb8848b62c425992aec182f1f24ef46bb8286dd390618c2",
+  "owners/independent_literal.py": "da897bd5cef36943b3f5b1422fe81716b4eaa6230b056d31f8c2310cf62f8580",
+  "owners/integral_network.py": "d9d20262cd509e2b3ed5ce12036cb8abb90c52f1d84531317b88e2bbb0426745",
+  "owners/portable_expand.py": "76fa44cf996b97d7e7a89fb0a93e734b41efc7c0e07cbbc14bfac635e174600c",
+  "owners/verify_aggregate.py": "c10a0eb62799f73dd577a5bec86e91b0124ec8b2cdf95bd68807299cf1521866",
+  "portable_source_overlay.py": "7e29707ad0785466abb623a4c2ad3675641f8fb6dc74d3de7561951c67e303e8",
+  "reproduce.py": "3c19c5a8f7f833af42c41e58d60deaeb0424bd33759ff28122eb0f7da0ff2a44",
+  "staged_pair_review.py": "b33b4e4e85035086c60c252cb2026b6035453879d8ce57302a76c45374830bf3",
+  "vendor/pr3531/SOURCES.json": "30fc7635c08820a54f4b34485cbbfc154cacd97c6a484b52f182c77a9bc45189",
+  "vendor/pr3531/binomial.py": "03eebf2be23cab07e5f9e978980fee7b17e10847da5720c3e4e0adb243e8e4fa",
+  "vendor/pr3531/support.py": "a3fe5057bf4a8706289b49c772676a57df8f8f7481c1d6dbb637e76361fae067",
+  "vendor/pr3531/vendor/PR3361-CLAIM.json": "43aadbe1181516c97ea7f12c65e65ee757df08ead084a9cbbd48a46ed6c59089",
+  "vendor/pr3531/vendor/PR3361-NOTICE": "d065f2ddf9931a63c44bd5d2eef1164c8cafa57710cbf279feadf249867c802d",
+  "verify.py": "b04302159c1574fb39b7ecf0a32bf10af850c78154ae13145d71cffe68f66185"
+}

research/staged-644-660-conditional-release/CLAIM.json

@@ -0,0 +1,33 @@
+{
+  "calls": 6660,
+  "dimension": 73,
+  "generated_package_manifest_sha256": "d516ed4734f0d10d99fd157db769d72fe372ca09947e1d2c5ac93a27f0142dda",
+  "kappa": "17300065495388418470049999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa_decimal": "0.0017300065495388418470049999999999999999999998999999999999999999999999",
+  "live": 663040,
+  "local_publication_head": "ac92a027c78b0c9bb0ada739b26959afda489d0e",
+  "owner_payload_sha256": "653085641ff2e9470e25aedfc92861ec34e5cf594d52123e8b28b6f0ec20b9f8",
+  "physical": 663549,
+  "profile": {
+    "1": 16417896,
+    "2": 4835160,
+    "3": 1540174,
+    "4": 679321,
+    "48": 283185,
+    "5": 143992,
+    "6": 3,
+    "8": 53280
+  },
+  "release_receipt_sha256": "ce1ce9d9ad3ac9440057534d19e06b7cb4fb8da98ba5e72e01ce538b59eb2f40",
+  "replicas": 740,
+  "roles": 2717280,
+  "root_interval": [
+    "346001309907768369401/200000000000000000000000",
+    "865003274769420923503/500000000000000000000000"
+  ],
+  "scope": "Complete fixed T740 source/native/owner/physical/prefix/outer release bound to the stated exact endpoint. All inherited all-size/compiler/uniform-cost/hosting/bootstrap-time/PR559/rounding/tape/recovery/analytic/BIT H1-H5 hypotheses remain. No unconditional or formal-kernel theorem or selected-record update.",
+  "source_manifest_sha256": "adb145b4f36ca330c34c0dbdb847351dafdc4ca9cd7bb4e1de01ed634d96bfe1",
+  "status": "CONDITIONAL_RELEASE_BOUND",
+  "unchanged_bit_endpoint": "0.001733427039589844234749",
+  "validation_binding": "evidence/FINAL-BINDING.json"
+}