From abbf38c8733d5e5cb3f709c0a0fa03393ee68fde Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Sun, 9 Aug 2026 10:16:21 +0100 Subject: [PATCH 01/12] [K3] Living progress: c112 coverage complete; 433-1b cells 4 and 12-13 closed; universal structure (204 nodes pinned) Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01EaFM28YvmBtkP3JEgeiBuC --- experimental/agents-log.md | 12 + .../kb-mca-v4-433-1b-cell4-close-v1/README.md | 13 + .../kb_mca_v4_433_1b_cell4_close_v1.json | 330 +++++++++++ .../README.md | 13 + .../kb_mca_v4_433_1b_cells12_13_close_v1.json | 173 ++++++ .../README.md | 13 + ..._mca_v4_433_1b_universal_structure_v1.json | 293 ++++++++++ .../README.md | 13 + ...m2_c112_source_line_coverage_close_v1.json | 542 ++++++++++++++++++ 9 files changed, 1402 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/kb_mca_v4_433_1b_cell4_close_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/kb_mca_v4_433_1b_cells12_13_close_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/kb_mca_v4_433_1b_universal_structure_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/kb_mca_v4_m2_c112_source_line_coverage_close_v1.json diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 7de3cf744..9da2596d0 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3682,3 +3682,15 @@ Keep entries concise and link to the relevant files. - **What to do next:** Run verifiers and audits on the integrated material, review mathematical notes before promotion, and close the original PRs as manually integrated once the integration commit is pushed. + +## 2026-08-09 — [K3] living progress branch opened (k3-433-progress-export) + +Four unit certificates: c112 source-line coverage COMPLETE (incl. +the M01-R11/M02-R11 Singular-replay discharge at PR #1144's pinned +commit); 433-1b cell 4 CLOSED (105/105 slices); 433-1b cells 12-13 +CLOSED; 433-1b universal structure (105 -> 60 orbit quotient + +transports). 204 theorem nodes pinned by path + verifier sha256 in +AllenGrahamHart/rs-mca-prize-dag @ 594aaa985; all verifiers +coordinator-replayed. Ledger movement 0; K3 and the KoalaBear row +remain open (cell 9 in flight; [5,8], [11], cell-3 xi4 residual). +Incremental pushes will land here as cells close. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/README.md new file mode 100644 index 000000000..9d4b6e51f --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/README.md @@ -0,0 +1,13 @@ +# Complete closure of common-role cell 4 of the positive 433-1b workboard (all 105 labeled slices) + +The JSON certificate in this directory summarizes 50 PROVED +nodes of the public campaign repository +https://github.com/AllenGrahamHart/rs-mca-prize-dag at commit 594aaa985568. +Each node carries its own machine verifier (verify.py, sha256-pinned +in the certificate); the replay command is recorded in the +certificate's provenance block. All verifiers were replayed by the +campaign coordinator at the pinned commit. + +This packet moves no ledger value and does not close K3 or the +KoalaBear row. Fresh independent proof review remains required +before promotion to a GREEN banked result. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/kb_mca_v4_433_1b_cell4_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/kb_mca_v4_433_1b_cell4_close_v1.json new file mode 100644 index 000000000..84b0da150 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell4-close-v1/kb_mca_v4_433_1b_cell4_close_v1.json @@ -0,0 +1,330 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_complete_exclusion", + "status": "PROVED", + "verify_sha256": "7c9e0c0e2722233fa3fbd0e01ac176c17c635fe2c11587d90d0cfea68725e8a3" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_firstpair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_firstpair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ef9a1938aeb750cc9dfa2159b2b5ebb4c437bd65a7ce98b30dcd6369dff2fe6f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing11_14_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing11_14_complete_exclusion", + "status": "PROVED", + "verify_sha256": "1c1597adb588aaf73d052020ec9af67f7136f716fb953d40feaa45f9c4459bf2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing11_14_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing11_14_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "b9855750b1449329ea785b8716347140a6d578951fb17312d25760c235147198" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing11_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing11_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e62adacf3157b35c9b1290283faea5fe41c21ecc223d72a7ec6194bdf14b5966" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing3_6_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing3_6_complete_exclusion", + "status": "PROVED", + "verify_sha256": "4885e8bd3264907c8950b1d6df50648f53bb306997899682357dbb31e8e2958f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing3_6_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing3_6_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "0161a2122284d21d46b45b89b9d40d57461e83de8e1f998b6e5fcc9e271ca8bc" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing3_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing3_complete_exclusion", + "status": "PROVED", + "verify_sha256": "4ad1d11bdb6b92d9d717e967b2a19976316c90bf69e2c778419f5e35fa75108c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing4_9_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing4_9_complete_exclusion", + "status": "PROVED", + "verify_sha256": "dce5e90b992bb990466f5e88d060a6e55eafce15b8b186c1d16d4d7b669a2c56" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing4_9_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing4_9_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "f650d701e30b7ba510aeae818a3f21c48d9fc2dd34e4c9f36cc46fab5584cdda" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing4_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing4_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e79eb5f90d58b0979cbf660dec82970557046a5579e102ea5d8be7f53afc664f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing5_12_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing5_12_complete_exclusion", + "status": "PROVED", + "verify_sha256": "7caca883450f4d77d7773bb8083f63b37cb039b873b7404743195b446f864e28" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing5_12_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing5_12_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "68e85a3426d1554a178ec8f6365087652af0103df52586b05a6ee3c672cccf90" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing5_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing5_complete_exclusion", + "status": "PROVED", + "verify_sha256": "50cc196d73b08c4ed450c1a3780fc2ae476ac90b4da4cfd0a137097a70398b77" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing7_10_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing7_10_complete_exclusion", + "status": "PROVED", + "verify_sha256": "9922cbd477ba7c90050d13afc8081a62989560d6fff491407567e2e19cecb44d" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing7_10_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing7_10_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "d0dfe4d9b374193e44b610fb832ea8282afc13d6173176c4947e1b710f83d1f5" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing7_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing7_complete_exclusion", + "status": "PROVED", + "verify_sha256": "dd68beb5e076b31e68c56bc8ecd2e91bdc214e2f971e967886dd33666d6c09f1" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing8_13_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing8_13_complete_exclusion", + "status": "PROVED", + "verify_sha256": "f99b7345f5939dbadded7f9b721cfe552da4f99ab34a30baa0ccfc55934abe7f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing8_13_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing8_13_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "e4a24b98d626fa46c6e55d963fafaadf9858fb82a15d3838a9765abb289c6564" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing8_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_de_pairing8_complete_exclusion", + "status": "PROVED", + "verify_sha256": "227a61c6c17345f683ec4ee5eb58a2a66c96d12ea2a8e314871b8f69da075431" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_four_basis_tower_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_four_basis_tower_kernel", + "status": "PROVED", + "verify_sha256": "da2ae8c6790e4a1f96eacd668c81f947333a2480a02ab9816cde4c1058402e65" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_parallel_de_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_parallel_de_complete_exclusion", + "status": "PROVED", + "verify_sha256": "c1d82fae6bf49eaaf7e1a7eb10fe9d9bcc07443973095c91352e0bf454258681" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_parallel_de_matching_orbit_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_parallel_de_matching_orbit_quotient", + "status": "PROVED", + "verify_sha256": "7edd4d2e0cc613b0757a9c0b9e0203e6cb77b7569ab481dfeda587317ebc2306" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing10_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing10_complete_exclusion", + "status": "PROVED", + "verify_sha256": "6882331a038c55476a99910e7bde2e0eb2969b8ec373a837ffe45d6349ae22bb" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing12_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing12_complete_exclusion", + "status": "PROVED", + "verify_sha256": "41b1e616fc9d71cf0cafcee2f24446ab9a401a6887ca4b86b8d0273a93e359d7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing13_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing13_complete_exclusion", + "status": "PROVED", + "verify_sha256": "b1b29c970c4be9c90b3edfbaff128caadb9d7a430222860ef715e190e437e2d0" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing14_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing14_complete_exclusion", + "status": "PROVED", + "verify_sha256": "d940c59bb6ac99ad75fd1150cc2b3c963a4dfca39ca22c3b150314508ccd13c7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing6_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing6_complete_exclusion", + "status": "PROVED", + "verify_sha256": "c331ff10fb25f882bd29dc68de33233906dbb1488b2e58787964e067cbf4c726" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing9_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_positive_de_pairing9_complete_exclusion", + "status": "PROVED", + "verify_sha256": "d9346df597ee5d88767883ab19a9b3c920f56be1c5a6a5215e60181c398b09b8" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi0_pairing0_four_basis_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi0_pairing0_four_basis_exclusion", + "status": "PROVED", + "verify_sha256": "a3242e70751ed456acb6f1fe515809451d9cc79f685fe83ef0cbb1f697a21bb3" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi1_pairing0_parallel_edge_transport", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi1_pairing0_parallel_edge_transport", + "status": "PROVED", + "verify_sha256": "a5d70cda2420c44c37db458c96d61e1ff12dd1cfe9e635b4ebbae01facf97391" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi2_pairing0_four_basis_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi2_pairing0_four_basis_exclusion", + "status": "PROVED", + "verify_sha256": "adb07d95d45d6ce93a7d091895d77d395d5c82a27f15496899742b1f3046a526" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "b7dfb72f4d21333add6b004fee3317eb8e70a13cc7b7d40bc5fb1f0774476c0c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing11_quadratic_resultant_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing11_quadratic_resultant_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "60163cdb4b5f4686f9a7a43845f6d815c3393b87eff8ed8c773448c4631ae002" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing3_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing3_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "4e1a28d3f78b27da9785303b181c25fe706f4b2a4a993d888700db2c5dacd48c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing4_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing4_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "a8212e1c3547af4b680f92dacc6fa052cec61a0e04a5e27e68347a20bd05677f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing5_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing5_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "1de4d8f1e97cc629b27ab7f05882cc12198365f04965f0b279edff457d55b54b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing7_quadratic_resultant_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing7_quadratic_resultant_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "1094bd4fbdb47e1df3f6e2e44f344c0e1d80170b3d00ad90f965ccafe8cef3c7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing8_quadratic_resultant_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairing8_quadratic_resultant_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "7c9d4c40f6831ff3df508ecf8c195abd21fafd6e4c2c1aa44b6e8453eebf12a8" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairings1_2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_pairings1_2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "67f0731f2acacbd4878f3cb2d98b946ad5245a41bb7aa1b67395a965e5088bc9" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e18089e64372b580a5dab71491099ba82b8659256431fecf0e11fc73189b59cc" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing11_14_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing11_14_transport_exclusion", + "status": "PROVED", + "verify_sha256": "4cf9951ddcc50dc0b9bc0e8f6b3c2febcc0d3bb429efcdb52e96a9a6ed4e5a9b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing3_6_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing3_6_transport_exclusion", + "status": "PROVED", + "verify_sha256": "1c6b7b3c39fc9af83f8257b89c75da88ff2bcf0cf2c5fffbd8fb015e62a73532" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing4_9_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing4_9_transport_exclusion", + "status": "PROVED", + "verify_sha256": "302311fc85417b5ea63bb55d5e283ac84f1d81fd0a17b57bee3324ecd73606d4" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing5_12_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing5_12_transport_exclusion", + "status": "PROVED", + "verify_sha256": "07eb08519cc74b87ed0a80d824ad03bf56de3554db0965eb8276bcf4ac34bc3f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing7_10_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing7_10_transport_exclusion", + "status": "PROVED", + "verify_sha256": "c859c8305874f7b164d70a180e5f454dc3e4f5eeff1046f4c4935adef7376782" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing8_13_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi3_xi4_pairing8_13_transport_exclusion", + "status": "PROVED", + "verify_sha256": "0aa0aec9e9bc3f51f05f2c1031e5896d3489d1a403dfbbf9e4620ab6c87aaada" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi4_xi3_pairing0_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi4_xi3_pairing0_transport_exclusion", + "status": "PROVED", + "verify_sha256": "e94c3b068c567d10dd79c66eb825e20ee4661d22b5e719368434a539ee660f5c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi4_xi3_pairings1_2_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi4_xi3_pairings1_2_transport_exclusion", + "status": "PROVED", + "verify_sha256": "0babbd8152e9f2601c53e4a82b79516e251f5f6c6a05e1dcc25279b1080b3733" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi5_xi6_endpoint_compatibility_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell4_xi5_xi6_endpoint_compatibility_exclusion", + "status": "PROVED", + "verify_sha256": "387d27c48d45e43bd6329c6dc000031c7c2be6b3fd851a0ceccd2f194c848e50" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: cell 9 (in flight), the [5,8] and [11] common-role orbits, the cell-3 xi4 residual.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "commit": "594aaa985568cd02991673532d89419e8224d6da", + "node_count": 50, + "replay": "from the repo root: tools/ramguard local -- python3 /verify.py (RAMGUARD_TIMEOUT=2400 for the two cell-4 pairing-7/8 heavy ledgers)", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-cell4-close-v1", + "statement": { + "claims": { + "heavy_ledgers": "pairing-7/8 degree-4068 norm ledgers verified (extended-wall replays)", + "slices": "105/105 paid; pairings 0-14 via nested-quadratic / quadratic-resultant / common-f-resultant exclusions and matching-exchange transports; endpoint roles empty" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete closure of common-role cell 4 of the positive 433-1b workboard (all 105 labeled slices)", + "workboard_item": "K3" + } +} diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/README.md new file mode 100644 index 000000000..f37a4fe74 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/README.md @@ -0,0 +1,13 @@ +# Complete closure of the [12,13] common-role orbit of the positive 433-1b workboard + +The JSON certificate in this directory summarizes 24 PROVED +nodes of the public campaign repository +https://github.com/AllenGrahamHart/rs-mca-prize-dag at commit 594aaa985568. +Each node carries its own machine verifier (verify.py, sha256-pinned +in the certificate); the replay command is recorded in the +certificate's provenance block. All verifiers were replayed by the +campaign coordinator at the pinned commit. + +This packet moves no ledger value and does not close K3 or the +KoalaBear row. Fresh independent proof review remains required +before promotion to a GREEN banked result. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/kb_mca_v4_433_1b_cells12_13_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/kb_mca_v4_433_1b_cells12_13_close_v1.json new file mode 100644 index 000000000..3f48b1b03 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cells12-13-close-v1/kb_mca_v4_433_1b_cells12_13_close_v1.json @@ -0,0 +1,173 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_complete_exclusion", + "status": "PROVED", + "verify_sha256": "8c5883043bb0c490b871d09a23e380edd697ff8a0e90b494e45391082d4be607" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_elliptic_four_basis_common_locus", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_elliptic_four_basis_common_locus", + "status": "PROVED", + "verify_sha256": "9892a6a6d2ff8fb0e02fb1a91474c17a318cae56f40fbc3f2397c090f52cc7ca" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_endpoint_roles_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_endpoint_roles_complete_exclusion", + "status": "PROVED", + "verify_sha256": "5ffeeaeb94280ca43a688aa2fc8a11b899eacb43bb2dcc0dd8427246fe59bc87" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_generic_outside_label_orbit_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_generic_outside_label_orbit_quotient", + "status": "PROVED", + "verify_sha256": "402a992c0847496a5bb3a67ba066c8381f59a5e66eb1344b971411e207dc5c4d" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_global_common_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_global_common_kernel", + "status": "PROVED", + "verify_sha256": "58896399cf61c775629b666bdaae4b8e87faaabeb9fc4630977ef0d82e753c60" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_first_pair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_first_pair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "f5b6b812d863ddf56d2722421b174400d7c0e6143ca3554de8df5da7443e91ae" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing11_14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing11_14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "ec2d11eddb5f42907a321f6b3455337078b2dee7a50ba25f66be99b3d9dcb06c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing3_6_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing3_6_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "bf378e64e3e441a2d727122a1cbcbd789dbc0829c808e6ae01454f701291cd29" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "d461c75545e6d4169a0455e98158bb7ee309ee28a6ad2e8d1244c847b0b1aefa" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "bf3f39af7ca35beb2b0fee8dccfddcd176921c650a16d2f39c31a409298ff427" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_positive_de_pairing12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_positive_de_pairing12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "24e59df1bc2ae3b1d62bba990f51e82b389db4a70e3b45ed13cf9a1fcffc1d22" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_positive_de_pairing14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_positive_de_pairing14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "3b72b29223cdc56614567efe5e950bd0253149913472279fe720cb3a6ff1801f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_positive_de_pairing9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_positive_de_pairing9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "e9d6820888e5880998d0b9d5ce3f694dc954a1716a666425fa2746f3ee6bb210" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_rational_boundary_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_rational_boundary_complete_exclusion", + "status": "PROVED", + "verify_sha256": "2bd361adb6e1bf8b4b6cf0b13f328fe426e0b0f723939d54582262ec1805b7d4" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "402a0608a1d0542025664192549377bf1d9686758865140150ee2e3effb57270" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_pairings1_2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_pairings1_2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "df671b3030c7af7044f572b2fcb9f1481190df65835841aee31b2c02d025860f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing11_14_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing11_14_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "9071a7065ae82aaa688ffa42daf3b1c8c4a83981f1df4debbdacdfb4daefec5f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing3_6_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing3_6_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "97b572882604537e360cf24b7e00aa20f007e3e892f2c26092f08b337fb42abf" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing4_9_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing4_9_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "279fe3519d967c39c8a063132695d95f89ec1e2c74dcd2c21a98c86f8ea108b5" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing5_12_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing5_12_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "96a508aa2ed9e55a33012d2f7c1fe6d482c2ac68ab99a6fc04077982ca9f8ea3" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing7_10_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing7_10_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "746fc08c10c6c1a8e9c64f27f9e8b1a5f22d2aa84e69057393abee690ee51eae" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing8_13_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell12_xi3_xi4_pairing8_13_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "9b5c574fe91ad121af39c2af6791cc73d3951844719c4cfe23c1ffa465e5d20e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells12_13_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells12_13_complete_exclusion", + "status": "PROVED", + "verify_sha256": "47107aacf3584d174edc20b3d8a26a973c480982723db85bc2eb1f756cf018c5" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells12_13_duplicate_role_transport", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells12_13_duplicate_role_transport", + "status": "PROVED", + "verify_sha256": "fae8958088b5fda90c4b1da9ef26b6e5173e5414cc5a8524e8e54a010f8b7733" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: cell 9 (in flight), the [5,8] and [11] common-role orbits, the cell-3 xi4 residual.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "commit": "594aaa985568cd02991673532d89419e8224d6da", + "node_count": 24, + "replay": "from the repo root: tools/ramguard local -- python3 /verify.py (RAMGUARD_TIMEOUT=2400 for the two cell-4 pairing-7/8 heavy ledgers)", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-cells12-13-close-v1", + "statement": { + "claims": { + "slices": "cell-12 generic ledger + all pairing orbits closed; cells 12-13 role orbit closed; elliptic four-basis common locus + global common kernel proved" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete closure of the [12,13] common-role orbit of the positive 433-1b workboard", + "workboard_item": "K3" + } +} diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/README.md new file mode 100644 index 000000000..b52da3d67 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/README.md @@ -0,0 +1,13 @@ +# Universal structure of the positive 433-1b workboard: quotients and transports + +The JSON certificate in this directory summarizes 44 PROVED +nodes of the public campaign repository +https://github.com/AllenGrahamHart/rs-mca-prize-dag at commit 594aaa985568. +Each node carries its own machine verifier (verify.py, sha256-pinned +in the certificate); the replay command is recorded in the +certificate's provenance block. All verifiers were replayed by the +campaign coordinator at the pinned commit. + +This packet moves no ledger value and does not close K3 or the +KoalaBear row. Fresh independent proof review remains required +before promotion to a GREEN banked result. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/kb_mca_v4_433_1b_universal_structure_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/kb_mca_v4_433_1b_universal_structure_v1.json new file mode 100644 index 000000000..f7fe6dc9a --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-universal-structure-v1/kb_mca_v4_433_1b_universal_structure_v1.json @@ -0,0 +1,293 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell0_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell0_complete_exclusion", + "status": "PROVED", + "verify_sha256": "6a6fdd54a13f08eb2b4b7f605331dbbd3c5ad72ba51948ff2646417f71342a2e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_fixed_a_rankone_allmixed_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_fixed_a_rankone_allmixed_exclusion", + "status": "PROVED", + "verify_sha256": "d39a34c7fc3043d83be44a9e1babd9dbe237c9671842ac0faecf464331ad2760" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_fixed_a_rankone_chain_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_fixed_a_rankone_chain_exclusion", + "status": "PROVED", + "verify_sha256": "473a02cd5ef8d9486001e60475ef6afc4404c5088d7e47a3cfa316b3080ae6a3" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_linear_pair_outside_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_linear_pair_outside_exclusion", + "status": "PROVED", + "verify_sha256": "59834142a5b5a9679811f7adc61fec999715c15746d8d41a220648db2d659730" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_quadratic_curve_structure", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_quadratic_curve_structure", + "status": "PROVED", + "verify_sha256": "59e27bd3e4b77fa8e6cb6915336cc78924bcac97113d07673675befb4af47b98" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_rankone_target_projection_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell14_rankone_target_projection_exclusion", + "status": "PROVED", + "verify_sha256": "8d229e7398ce4677c8f1ccc77a67c2fab2d990212b7480a2655541eeeba780f6" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_compact_curve_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_compact_curve_kernel", + "status": "PROVED", + "verify_sha256": "4a405e7d9a5a865bfab7cfea1d6cfb25ac8b21a1b6a042abce35c4c61071c587" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_complete_exclusion", + "status": "PROVED", + "verify_sha256": "b2083fd9336497c67b8394cb79c7a6a6d24e7fc3a15d84203dcb092c2dedf896" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_firstpair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_firstpair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ff6406def3f0f5b0af18faa37849261ed49681818ebe08ddf12d8bdb633b348e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing10_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing10_complete_exclusion", + "status": "PROVED", + "verify_sha256": "dc9564674f036df3a7e4cfd74720772678ff65553b1b4a68e2ca6242a6840184" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing11_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing11_complete_exclusion", + "status": "PROVED", + "verify_sha256": "1cba23ad8b691fd2a2f3f16863590db84d1be1c40a4e639c4eff6bfdc822a9c9" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing12_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing12_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ce7e272cd1934d7824ef4e8d45caee4efa437c4e69c7b1d519795241ed9ff672" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing13_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing13_complete_exclusion", + "status": "PROVED", + "verify_sha256": "eef6ecb077c9eb15ceee43b5f53ce8fb5ca701e8086f64ce325476789ca9a932" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing14_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing14_complete_exclusion", + "status": "PROVED", + "verify_sha256": "6c6309251cf48433494bf7217d42b075d1bbd1b8b3a52f54b9e54f27f1987497" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing3_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing3_complete_exclusion", + "status": "PROVED", + "verify_sha256": "37e44a5cbb019a457abcda562fb5b5437e0f012029bd2a7371af094c58736b00" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing4_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing4_complete_exclusion", + "status": "PROVED", + "verify_sha256": "29c30017791f0894d84468f311817a7c579a322f8d5d88b692a3ba1e892e4046" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing5_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing5_complete_exclusion", + "status": "PROVED", + "verify_sha256": "67d8d2262782e7c788654c858cb244bc3ec7f241329b1df9fe1e5f0bf4aeb375" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing6_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing6_complete_exclusion", + "status": "PROVED", + "verify_sha256": "d9b0a83a891298c542a92e707bb008ff181b1a576423ef73df249958f92f6f52" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing7_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing7_complete_exclusion", + "status": "PROVED", + "verify_sha256": "262d73fd1caf841ec126919c68ff9c5453bdda8b57476a365395796fc5a666d0" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing8_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing8_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e3bd1d1c5909e5f6ae5764c615c77d0d276424a641789b788522c0e90c0c10e2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing9_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing9_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e4c933af5299ad8da55094c09c4f8da884e287f10fe0fdb1a620044c5943a8f7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_global_quadratic_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_global_quadratic_quotient", + "status": "PROVED", + "verify_sha256": "26d5191073a26b42c928a41b2777deb1bfa29d6530997681b9c6c7a9338f6306" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi0_pairing0_outside_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi0_pairing0_outside_exclusion", + "status": "PROVED", + "verify_sha256": "e557d8f781f01165f5ce22e4683ceee99c9f9b1b332c183def345830d6c8c40c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi1_pairing0_parallel_edge_transport", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi1_pairing0_parallel_edge_transport", + "status": "PROVED", + "verify_sha256": "001daeca20cbfd190eb8756c87c8df750bc965b32ad3d091850760d10cb31725" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi2_pairing0_outside_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi2_pairing0_outside_exclusion", + "status": "PROVED", + "verify_sha256": "ba34a67c622c8432ae3ab9bfe14a9db70ad25b58694759e6d17eaeeb87e42fe7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings11_14_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings11_14_exclusion", + "status": "PROVED", + "verify_sha256": "57ade72a6cc7ee84266c5084a06f0b0b43ce5d59850220afbcec33f8326eb50b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings7_8_10_13_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings7_8_10_13_exclusion", + "status": "PROVED", + "verify_sha256": "aa2496675f46ea40a1e18d912ae2e85ff1e00f89ad8d7dd14a0aaafc38ee90fc" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings3_6_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings3_6_exclusion", + "status": "PROVED", + "verify_sha256": "cd7266041a04ac6d63d57ab49833a090ed1430d7a02e847af3164766bf953a27" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings4_5_9_12_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings4_5_9_12_exclusion", + "status": "PROVED", + "verify_sha256": "51c34ab777f5c4c01959009be8aa0a397000eb689c91c6a887d073cab416ca9a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "f94fb62c507b2b6c7f677afc4f4d884e24089ac4d5cbb2f38e97f325a3bc6695" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairings1_2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairings1_2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "988cd3d2b629833dada924904ef9f3e395357f72d6ddd58e22f98b56a26e4696" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi4_xi3_outside_role_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi4_xi3_outside_role_transport_exclusion", + "status": "PROVED", + "verify_sha256": "978ba7d3d558d17ab3a9268a748cec5c586612e65310586ca262fc9911e6ec14" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi5_finite_source_pairing_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi5_finite_source_pairing_exclusion", + "status": "PROVED", + "verify_sha256": "0f2dfb50e35b72ad42e489a7d4158f35f13b0c8a5916499c32e74616ab40d887" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi6_endpoint_compatibility_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi6_endpoint_compatibility_exclusion", + "status": "PROVED", + "verify_sha256": "c090dace0db787c58abea953123562382564bbd44fe52a3958a66e9c2a361f17" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells1_2_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells1_2_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ee26b39791c03035077e50ebc5c5340e0bd67ee961f48260093763a5aaa7829f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells3_6_duplicate_role_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells3_6_duplicate_role_complete_exclusion", + "status": "PROVED", + "verify_sha256": "fde9888facd44ab5c159ad05522802c55d1cdf8d8b222318ccc9de5cca55b2bc" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells4_7_duplicate_role_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells4_7_duplicate_role_complete_exclusion", + "status": "PROVED", + "verify_sha256": "a0aec0d41db4c8385494da8d962b5f8916b2e2de98e918221e38f2166d64a69e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_common_vieta_minor_compiler", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_common_vieta_minor_compiler", + "status": "PROVED", + "verify_sha256": "40019f9741abef44822c264d11a34c0ea58626e559d671327c650f149c5ab92b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0a_signed_edge_atlas", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0a_signed_edge_atlas", + "status": "PROVED", + "verify_sha256": "f50bbddd1744a6c36e2aaed95741aec9a0fe16e7658a1b08298173cdbea06b7a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_product_rankdrop_common_exception_classifier", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_product_rankdrop_common_exception_classifier", + "status": "PROVED", + "verify_sha256": "c2f52b32fa0dfa903f58b6d0492d1055b13f7b9567d5373093e054c3386ed827" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_product_rankdrop_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_product_rankdrop_complete_exclusion", + "status": "PROVED", + "verify_sha256": "5e19f405591de9c24d7c8f7c9812096aa157c70797f33a7c971c057ee53d4f72" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_product_rankdrop_deployed_rational_classifier", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_product_rankdrop_deployed_rational_classifier", + "status": "PROVED", + "verify_sha256": "79b2c5333030b1a4a70aa0e1af559a5a50f679a2e537c043875f786276a60240" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_generic_outside_label_orbit_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_generic_outside_label_orbit_quotient", + "status": "PROVED", + "verify_sha256": "cd49f5cd6b74e733908eac92149fc8e3aafbbd4a846fcf0428d2089f1b84e7c2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_xi4_xi3_outside_role_transport", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_xi4_xi3_outside_role_transport", + "status": "PROVED", + "verify_sha256": "22c572696978f790f2fdafcb2a719713bc0e118cb4cb5c466880ff251e4c7b89" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: cell 9 (in flight), the [5,8] and [11] common-role orbits, the cell-3 xi4 residual.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "commit": "594aaa985568cd02991673532d89419e8224d6da", + "node_count": 44, + "replay": "from the repo root: tools/ramguard local -- python3 /verify.py (RAMGUARD_TIMEOUT=2400 for the two cell-4 pairing-7/8 heavy ledgers)", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-universal-structure-v1", + "statement": { + "claims": { + "quotient": "the 105 labeled slices form 60 orbits under the parallel-DE matching exchange; universal xi4/xi3 transport; universal positive label quotient; common Vieta minors, product-base/common-kernel compilers, first-pair theorems" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Universal structure of the positive 433-1b workboard: quotients and transports", + "workboard_item": "K3" + } +} diff --git a/experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/README.md new file mode 100644 index 000000000..fca64580a --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/README.md @@ -0,0 +1,13 @@ +# Complete literal source-line coverage of the saturated diagonal c2(1,1,2) branch + +The JSON certificate in this directory summarizes 85 PROVED +nodes of the public campaign repository +https://github.com/AllenGrahamHart/rs-mca-prize-dag at commit 594aaa985568. +Each node carries its own machine verifier (verify.py, sha256-pinned +in the certificate); the replay command is recorded in the +certificate's provenance block. All verifiers were replayed by the +campaign coordinator at the pinned commit. + +This packet moves no ledger value and does not close K3 or the +KoalaBear row. Fresh independent proof review remains required +before promotion to a GREEN banked result. diff --git a/experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/kb_mca_v4_m2_c112_source_line_coverage_close_v1.json b/experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/kb_mca_v4_m2_c112_source_line_coverage_close_v1.json new file mode 100644 index 000000000..9ad6d1525 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-m2-c112-source-line-coverage-close-v1/kb_mca_v4_m2_c112_source_line_coverage_close_v1.json @@ -0,0 +1,542 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_negative_literal_assignment_coverage", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_negative_literal_assignment_coverage", + "status": "PROVED", + "verify_sha256": "0a53fbefa3f21e10caadb1b03597d03316d6b4f3620f636fd0b0fa1d3135af1f" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_36_cell_coverage", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_36_cell_coverage", + "status": "PROVED", + "verify_sha256": "41d133a46b1d38749536034d52d380580cb9018028dba47fc8a6149378045bf6" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_f02_f03_upstream_import", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_f02_f03_upstream_import", + "status": "PROVED", + "verify_sha256": "d3bce7854e5c3095f7fa9e30cec8331846d929f7c49f2f0f2a6edc3895b7e10d" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_balanced_quadratic_branch_reduction", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_balanced_quadratic_branch_reduction", + "status": "PROVED", + "verify_sha256": "713d8e82aa9d9db01fb62ebb87891ee3374ef4dfb06849b84076276b347534e4" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_companion_inversion_transport", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_companion_inversion_transport", + "status": "PROVED", + "verify_sha256": "3dd1b9211711701e4b30f6bf407a21bd375dae3078d3f2f7c1fab9ada4a4c873" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_f04_r02_cell_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_f04_r02_cell_exclusion", + "status": "PROVED", + "verify_sha256": "7da5f1bcb4ba1a31bafd8fc2f2fe9f71c954527efb50a71c63ab3e6591401434" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_f04_r02_degree12_branch_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_f04_r02_degree12_branch_exclusion", + "status": "PROVED", + "verify_sha256": "e69a92979f033c2709b1345aa9e7e90325cfdc4c8a80a2a041f5307706070d2b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_f07_r02_cell_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_f07_r02_cell_exclusion", + "status": "PROVED", + "verify_sha256": "40701a78375564e4bbe7fef64c370edc6b46697d1a8e24811403b794f1b68459" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_quadratic_orbit_compression_upstream_import", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_quadratic_orbit_compression_upstream_import", + "status": "PROVED", + "verify_sha256": "818e279cdc2e14b12b42b39a520b24aa197fddcfacf5cab48e32ceb34cd15e56" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_degree12_branch_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_degree12_branch_exclusion", + "status": "PROVED", + "verify_sha256": "86da4f3a81288e00eccd4be866dbbc80783c06210effbcf001530f8ec9c135ab" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_degree12_degree6_leading_curve_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_degree12_degree6_leading_curve_exclusion", + "status": "PROVED", + "verify_sha256": "fc249215db26ccd16cab9382e8e629022fd491b14367c3c13ac2336b66573f80" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_degree12_leading_branch_decomposition", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_degree12_leading_branch_decomposition", + "status": "PROVED", + "verify_sha256": "dab4cd5c78c60202c0f52e4dd9f4511107b0c4388c5def9f1bb4656549afc9e9" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_degree12_s_zero_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_degree12_s_zero_exclusion", + "status": "PROVED", + "verify_sha256": "b5ae454d5d61ad34745b91fda92e691ffabdbea1f678a82c776fe3a6ac0e7a7f" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_quadratic_branch_reduction", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_quadratic_branch_reduction", + "status": "PROVED", + "verify_sha256": "7dd93d2d8843c718a21509696e9c6b23d8749a1b83eeeec46a9d48c0d1d0dce4" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_rank_drop_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r02_r20_rank_drop_exclusion", + "status": "PROVED", + "verify_sha256": "cf366bf65cd6f7bb5a6c05c0f520c2a919dcb64c2fd318035f553f850ab3d394" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r20_cell_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r20_cell_exclusions", + "status": "PROVED", + "verify_sha256": "2e3cb2d649604ef6e696b3e0e1df120bbc9eccdb9aec1ec9642c5c8c66b20644" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r20_degree12_branch_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_r20_degree12_branch_exclusion", + "status": "PROVED", + "verify_sha256": "eb094a818738a011652fa5fee2749e17d3089f9a0325753bb6a929e362aae0d8" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_remaining_r02_cell_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_fixed_remaining_r02_cell_exclusions", + "status": "PROVED", + "verify_sha256": "c62b9622001578f75b665c1f7e500df6670f757bb3cdf9edf409fd6f963c2b93" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_literal_cell_crosswalk", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_literal_cell_crosswalk", + "status": "PROVED", + "verify_sha256": "78757026d638f989d5541a961d3ada9ad94cd4bc63cb3e7d409736112a012c28" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_moving_ten_cell_upstream_import", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_moving_ten_cell_upstream_import", + "status": "PROVED", + "verify_sha256": "ec40b99d0957b973d595a98579eab422f0fbd5ba830cd36f1a52b77910fa80ac" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_moving_upstream_review_gate", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_moving_upstream_review_gate", + "status": "PROVED", + "verify_sha256": "a92c353305eea971f21f13fff86a55270692d8f5715f2411a39588dca304d5c5" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_ramified_q_slice_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_ramified_q_slice_exclusion", + "status": "PROVED", + "verify_sha256": "d082645156f5d24e6bc79968599e39e53c2c964ce27558af3ea2b1ed0d48585a" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_fixed_mixed_full_quotient_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_fixed_mixed_full_quotient_exclusion", + "status": "PROVED", + "verify_sha256": "f19504957febb65ad280ef0ba85f3541bbc59f89021284850b8ba3a9cd3cc88c" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_fixed_same_full_quotient_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_fixed_same_full_quotient_exclusion", + "status": "PROVED", + "verify_sha256": "3334f4b79988da9f47be5db17699a0cfdf1b8e6134d25eaf9b310ddba4c55c4d" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_fixed_swap_full_quotient_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_fixed_swap_full_quotient_exclusion", + "status": "PROVED", + "verify_sha256": "217850519f7db7f991f4db9ff213ad811acef303f98b8ed8f68f21dba55ba572" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_moving_mixed_full_quotient_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_moving_mixed_full_quotient_exclusion", + "status": "PROVED", + "verify_sha256": "5060ee40bde2500cd7c0a405cc5556ab4c032ddace6abf5cb14dcaf45091f3e4" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_moving_same_q_slice_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_moving_same_q_slice_exclusion", + "status": "PROVED", + "verify_sha256": "7474f138df8404bfb1d97d7d880c7528929406312ecbb6475b1a58bc4b7e276b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_moving_swap_q_slice_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_aligned_positive_unramified_moving_swap_q_slice_exclusion", + "status": "PROVED", + "verify_sha256": "44f33e7c4d2bd0240457734e610adda7c1c25784b6891d14d5e15152732ac3bc" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_degree12_b0_f_p6_fiber_boundary_audit", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_degree12_b0_f_p6_fiber_boundary_audit", + "status": "PROVED", + "verify_sha256": "aff7c67e63ac3eceff8675a6a8dad738142dd188161c9e8ca48aa913ad538b00" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_degree12_b0_k8_nonzero_f_p6_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_degree12_b0_k8_nonzero_f_p6_exclusion", + "status": "PROVED", + "verify_sha256": "acb12e8e88724ce5f7e6b51b2fe05b6dc596163555fd23ee06df99b31f0ad21e" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_degree12_k8_branch_cover", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_degree12_k8_branch_cover", + "status": "PROVED", + "verify_sha256": "86679fe476aaf60512dbefc1e197cccc7ff733a3d97471e79bf7e4c0ef139fcc" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_degree12_r20_b0_f_p6_fiber_boundary_audit", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_degree12_r20_b0_f_p6_fiber_boundary_audit", + "status": "PROVED", + "verify_sha256": "478e3d72fb7899c75f04b0b646cc35d71443a1084d79017c2f5f8c445221a1da" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_degree12_r20_b0_generic_boundary_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_degree12_r20_b0_generic_boundary_exclusion", + "status": "PROVED", + "verify_sha256": "e9f05753387f5741df89e0e1b55fa9d290d3d8256c1ff252ff90b062f917c3bf" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_degree12_r20_k10_zero_leading_drop_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_degree12_r20_k10_zero_leading_drop_exclusion", + "status": "PROVED", + "verify_sha256": "7561f1f2f2c739442f500fe68ecef1365a4e246f66e58477ed6b0ef19958e053" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_f04_cubic_full_j_route_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_f04_cubic_full_j_route_exclusion", + "status": "PROVED", + "verify_sha256": "6c032cf32d11c6ac3894e6c5cfdd7b42e2d0e66e74327c22c6e8cff83ee7b60b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_companion_inversion_transport", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_companion_inversion_transport", + "status": "PROVED", + "verify_sha256": "aa8793dd911588dd17da3b8020a3565b312c526821202e158a2a44f9879cb48c" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_cubic_full_j_route_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_cubic_full_j_route_exclusions", + "status": "PROVED", + "verify_sha256": "b81408f8d19c48e9eecc9d557ab8fb9edc210809adb52b980208055ba6fcf593" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_full_j_log_denominator_branch_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_full_j_log_denominator_branch_exclusion", + "status": "PROVED", + "verify_sha256": "a088252622a7b5e5e99e99d4b273fe0ff603c59e72e1c29bb99e061d72da75a2" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_full_j_log_guarded_numerator_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_full_j_log_guarded_numerator_exclusions", + "status": "PROVED", + "verify_sha256": "1dbf88f221218b61cf5a432783e2e9ba0bd78fb8f455cb491f2f928aff895f24" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_full_j_log_router_replay", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_full_j_log_router_replay", + "status": "PROVED", + "verify_sha256": "42dcf6494968a6e4c4fd383586ff7bb14974d9d45c6262deefc4080b269160bb" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_r02_generic_cubic_replay", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_r02_generic_cubic_replay", + "status": "PROVED", + "verify_sha256": "543a8a7b33800f134abe33b14095785c825e192f6cb7eeaa8c2a672f284402bb" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_r20_generic_cubic_replay", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_fixed_literal_r20_generic_cubic_replay", + "status": "PROVED", + "verify_sha256": "d84d768f27728d229518f20958615118cc020b48e8e6a85d02557883433ebdb3" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_full_j_log_denominator_branch_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_full_j_log_denominator_branch_exclusion", + "status": "PROVED", + "verify_sha256": "bae64ec4a69b734eabe7c518234444c19a6de419c7eb55fd14a96bdd67305a31" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_full_j_log_derivative_branch_router", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_full_j_log_derivative_branch_router", + "status": "PROVED", + "verify_sha256": "acbda1a8249858f33d61ced261fc250da1bccc844d5c6fdbcc01425739bd7d2e" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_full_j_log_guarded_numerator_branch_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_full_j_log_guarded_numerator_branch_exclusion", + "status": "PROVED", + "verify_sha256": "94fcd96774bd750e82a505656387e47c9c1f9aa5d02713e6337e2858c4632301" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_negative_literal_assignment_coverage", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_negative_literal_assignment_coverage", + "status": "PROVED", + "verify_sha256": "3deaca2b6fed9cb7c872060e90653716f68762c95342d9831bc6e1a6bcffe129" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_negative_q_slice_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_negative_q_slice_exclusion", + "status": "PROVED", + "verify_sha256": "4a7b5526cf5032f86b54b9caecea94745d28a3ab2cf47fbd21fd47d776415aff" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_direct_residual_registry", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_direct_residual_registry", + "status": "PROVED", + "verify_sha256": "aa7c247cc94ae65b60b6ff09164cea6c9612fca5bfaf0f12612a128b4db0155f" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f02_mixed_collision_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f02_mixed_collision_exclusions", + "status": "PROVED", + "verify_sha256": "82033379293dc5d88b0a0215129bcdc28da87520ff3ec75fd6e256de070f897e" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f02_square_orbit_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f02_square_orbit_exclusions", + "status": "PROVED", + "verify_sha256": "ab2cef1e995d0e0dcc399e20ba3084ba8bd649cc994e2354285a6d688399d2ab" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f04_complete_chart_classification", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f04_complete_chart_classification", + "status": "PROVED", + "verify_sha256": "48c74d601c7a228ccf9c2353c2dc2c001169c248cbf76938e2160ba8c4537c6d" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f06_complete_chart_classification", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_f06_complete_chart_classification", + "status": "PROVED", + "verify_sha256": "a48a6958dac5aa712645f77edd39fabcf311548a0eb6c7254d78af3b0b6786fc" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_fixed_xi_direct_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_fixed_xi_direct_square_exclusion", + "status": "PROVED", + "verify_sha256": "35b0b84a1d47d60af94328614feed8eb6160eb3e5855fc0b11a94418dced6661" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_fixed_xi_mixed_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_fixed_xi_mixed_exclusion", + "status": "PROVED", + "verify_sha256": "e54b73e841cc1b48e9f0a300ca992181447b44e687565dfb68c93afebe39d3f8" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_fixed_xi_swapped_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_fixed_xi_swapped_square_exclusion", + "status": "PROVED", + "verify_sha256": "f943c347851b98e774b68e1c01806d5d289157a375fe1b52895eec14a998968b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_literal_inversion_transport", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_literal_inversion_transport", + "status": "PROVED", + "verify_sha256": "a211a30474bcfb9d7320b1627fc7acaa23073cd8d3c381635d2e80d05962a410" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_m01_complete_chart_classification", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_m01_complete_chart_classification", + "status": "PROVED", + "verify_sha256": "936ee2c8a7e67897a24e2b7d394d4ec5e4ca6c221f06af80dad2231a346d464e" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_m03_complete_chart_classification", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_m03_complete_chart_classification", + "status": "PROVED", + "verify_sha256": "9472ac84a2b6c579233d61c326ea5cd7f40bc4c085f259bcf1a94fd64b38c442" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_a_xi_mixed_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_a_xi_mixed_exclusion", + "status": "PROVED", + "verify_sha256": "634d34cd39f436337ab5bd0956e44d6ba19b5db56bf016fbe78711e13278ecbf" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_a_xi_square_ell_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_a_xi_square_ell_exclusion", + "status": "PROVED", + "verify_sha256": "7f0c5737358fb2fcf787d8ff36ecadc81ebb728ea1fd1b2facf535a8f4b6882b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_a_xi_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_a_xi_square_exclusion", + "status": "PROVED", + "verify_sha256": "85c95c0ef4545ddfb982187f2c107158a57eb4e36b79d7ea6c61ec435ca1d3c2" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_other_xi_mixed_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_other_xi_mixed_exclusion", + "status": "PROVED", + "verify_sha256": "4ecde08b0a4154cb82365e78cfa69801740c7fa1bf3aaf2e8e644468f96f0534" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_other_xi_square_ell_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_other_xi_square_ell_exclusion", + "status": "PROVED", + "verify_sha256": "0c09579d0f20e027bdad1c056ab6b8baadef0e284e500fa375f6d9b7a8288b70" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_other_xi_square_xi_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_other_xi_square_xi_exclusion", + "status": "PROVED", + "verify_sha256": "448ba76d8e9c99ea1ab0f18ec67bd02bd1dae842b87dd1919959a7ca1bd35642" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_tau_xi_orbit_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_moving_moving_tau_xi_orbit_exclusion", + "status": "PROVED", + "verify_sha256": "a5a40f25fa0e5b6f585dd96917c8c5408d495d1cca3f2044109582193050732b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_other_xi_mixed_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_other_xi_mixed_exclusion", + "status": "PROVED", + "verify_sha256": "6e395a9ed745ac52082dc32e00a6fc7e8eaa523955a9c076706d45b337dcfb2c" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_other_xi_square_ell_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_other_xi_square_ell_exclusion", + "status": "PROVED", + "verify_sha256": "1817aa8d3421f7e52171bffefa70578d63a9b3b5f5eb10604aef1aa1672f4657" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_other_xi_square_xi_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_other_xi_square_xi_exclusion", + "status": "PROVED", + "verify_sha256": "163d38cf097b912de5f29a56a2ea144556c98547bb66093aeac23ab0781a3b4b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_pair_swap_covariance_refutation", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_pair_swap_covariance_refutation", + "status": "PROVED", + "verify_sha256": "03e7fd59fd71ea2e5534966cc6a4cdeaa9945e38b7ffc5837744a19a126ff5e4" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_projective_boundary_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_projective_boundary_exclusion", + "status": "PROVED", + "verify_sha256": "8d679e6a2f0655b2a80c3c221ea6df893a168935f464bf9adfef84bdd787e7b2" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_projective_boundary_literal_coverage", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_projective_boundary_literal_coverage", + "status": "PROVED", + "verify_sha256": "dd8d2075a96a3deaa8c7ff020291b1e112d2a6aed5ce9a956ce5080e40ee43f2" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_tau_xi_mixed_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_tau_xi_mixed_exclusion", + "status": "PROVED", + "verify_sha256": "eea4800dd91776e9cf7a7cb993c59a9e163b544d47d2bf242ec411986b14046b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_near_positive_tau_xi_square_exclusions", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_near_positive_tau_xi_square_exclusions", + "status": "PROVED", + "verify_sha256": "b6ae0dd8dd5cae1099b72a97aa4e23acbc357195b1912df51840c6fedab08d56" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_quadratic_parity_reduced_evaluation_identity", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_quadratic_parity_reduced_evaluation_identity", + "status": "PROVED", + "verify_sha256": "be686878e62dd4fcca6ab581a7e5761700bf7e89264c2f406d8124299eed4c0d" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_quadratic_pseudoremainder_determinant_reduction", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_quadratic_pseudoremainder_determinant_reduction", + "status": "PROVED", + "verify_sha256": "706e879392186f7fc32fa640cf1fc2c2fe4f33ee2c98ec68a550adb4b423d895" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_ramified_complete_source_repair", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_ramified_complete_source_repair", + "status": "PROVED", + "verify_sha256": "d6075ba0b1ad70129116bc6fc3eb3256eb01ad95e438a832b17577ce44f4d95c" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_saturated_defect_classifier", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_saturated_defect_classifier", + "status": "PROVED", + "verify_sha256": "91078c313d8f44ecf5df0690648d7c0d6169d184884e10214f54a740b6551591" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_aligned_negative_q_slice_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_aligned_negative_q_slice_exclusion", + "status": "PROVED", + "verify_sha256": "41c1cc5860646c8ebd2f962850a6e773800d75a432de25e22ecf755bf132c08c" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_colored_quotient_compiler", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_colored_quotient_compiler", + "status": "PROVED", + "verify_sha256": "88accf4b4b57570d80db04ba9d7d346b50699023810ed6143f054e0e40536ca2" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_complete_exclusion", + "status": "PROVED", + "verify_sha256": "0d0f7757b27c3d0fda5e01d1947ada654d77248530fc00d6e98bb765e188c743" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_internal_star_reconstruction", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_internal_star_reconstruction", + "status": "PROVED", + "verify_sha256": "b6b76a344a7f20518f49c0f388a629faef25b89d38d4890730030fcf7ddd30e4" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_literal_assignment_coverage", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_literal_assignment_coverage", + "status": "PROVED", + "verify_sha256": "a4829dcf3a9806d26cecbb72450a277d772b907c18695b0fa4c6036f535bc83f" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_negative_reconstruction_factor_gate", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_negative_reconstruction_factor_gate", + "status": "PROVED", + "verify_sha256": "7d001fb9870f2b1193a96bacc163520c4155b1028996274362d4cdc69f84317b" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_odd_part_incidence_gate", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_odd_part_incidence_gate", + "status": "PROVED", + "verify_sha256": "e7737833669e842feb9dab1e23ce709ebe51da9585b5aa7f61ed4adad2fe755a" + }, + { + "id": "rate_half_kb_m2_r4_diagonal_c2_112_source_line_q_slice_resultant_gate", + "path": "background/nodes/rate_half_kb_m2_r4_diagonal_c2_112_source_line_q_slice_resultant_gate", + "status": "PROVED", + "verify_sha256": "c030914ba8d129febecc02aef204cdf4c25d2693d3b50d09da65543169d3f5f3" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: cell 9 (in flight), the [5,8] and [11] common-role orbits, the cell-3 xi4 residual.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "commit": "594aaa985568cd02991673532d89419e8224d6da", + "node_count": 85, + "replay": "from the repo root: tools/ramguard local -- python3 /verify.py (RAMGUARD_TIMEOUT=2400 for the two cell-4 pairing-7/8 heavy ledgers)", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-m2-c112-source-line-coverage-close-v1", + "statement": { + "claims": { + "m01_m02_gate": "M01-R11/M02-R11 discharged by a direct exact Singular replay at upstream PR #1144 commit 05ff2348de8f2c0f99683875ff12a9a79dcf21ec (fresh augmented slimgb basis size 168 dim 2; all 148 deterministic blocks of the 151178-term I polynomial reduced)", + "near_positive": "108 literal cells -> 42 orbits via two exact restricted q-slice transports; all excluded", + "negative_and_projective": "aligned-negative + negative source-line coverage closed; all 48 literal positive projective boundary cells closed", + "registry": "36/36 aligned-positive semantic cells PROVED (disjoint seven-packet census)" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete literal source-line coverage of the saturated diagonal c2(1,1,2) branch", + "workboard_item": "K3" + } +} From 1b8666348da112198f0ba4abe55ab8040f462d79 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Sun, 9 Aug 2026 15:29:59 +0100 Subject: [PATCH 02/12] [K3] Close 433-1b coordinate-positive cell 9 --- experimental/agents-log.md | 10 + .../kb-mca-v4-433-1b-cell9-close-v1/README.md | 37 +++ .../kb_mca_v4_433_1b_cell9_close_v1.json | 218 ++++++++++++++++++ 3 files changed, 265 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/kb_mca_v4_433_1b_cell9_close_v1.json diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 9da2596d0..2abf74e2a 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3694,3 +3694,13 @@ AllenGrahamHart/rs-mca-prize-dag @ 594aaa985; all verifiers coordinator-replayed. Ledger movement 0; K3 and the KoalaBear row remain open (cell 9 in flight; [5,8], [11], cell-3 xi4 residual). Incremental pushes will land here as cells close. + +## 2026-08-09 — [K3] 433-1b coordinate-positive cell 9 closed + +Added `kb-mca-v4-433-1b-cell9-close-v1`: 105/105 labeled slices paid +by 30 endpoint labels and 75 active labels in 24 exact orbits. The packet +pins 28 PROVED theorem nodes and verifier digests in +AllenGrahamHart/rs-mca-prize-dag @ 68ac9e383; the executable aggregate +reconstructs the universal router and checks the 17-owner partition. All 56 +node verifier and audit scripts were coordinator-replayed. Ledger movement 0; +K3 and the KoalaBear row remain open ([5,8], [11], cell-3 xi4 residual). diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md new file mode 100644 index 000000000..6cbc9893f --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md @@ -0,0 +1,37 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: Every one of the 105 raw direct labels in positive 433-1b cell 9 is empty on the deployed guarded route. +architecture: positive-433-1b-coordinate-guarded-route +partition_digest: sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb +atom_or_cell: coordinate-positive 433-1b cell 9 +quantifier: every raw direct label in the declared cell +projection_and_unit: raw workboard labels, not distinct bad slopes +claimed_bound: 0 surviving labels out of 105 +status: PROVED +impact: LOCAL_ONLY +falsifier: a deployed guarded-route solution in any label, an omitted label, or an invalid orbit transport +replay: tools/ramguard local -- python3 /verify.py && tools/ramguard local -- python3 /verify_audit.py +--- + +# Complete closure of coordinate-positive cell 9 of the 433-1b workboard (all 105 labeled slices) + +The JSON certificate in this directory summarizes 28 PROVED nodes of the +public campaign repository https://github.com/AllenGrahamHart/rs-mca-prize-dag +at commit `68ac9e383172`. Each node carries its own machine verifier +(`verify.py`, sha256-pinned in the certificate) and independent audit. The +aggregate verifier reconstructs the universal label router rather than +trusting a copied orbit table. + +The exact census is 30 endpoint labels plus 75 active labels in 24 orbits. +Seventeen exclusion packets pay one representative of every active orbit, +giving 105/105 labeled slices. All 56 node verifier and audit scripts were +replayed by the campaign coordinator at the pinned commit. + +This packet moves no ledger value and does not close K3 or the KoalaBear row. +Fresh independent proof review remains required before promotion to a GREEN +banked result. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/kb_mca_v4_433_1b_cell9_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/kb_mca_v4_433_1b_cell9_close_v1.json new file mode 100644 index 000000000..e90f9bf13 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/kb_mca_v4_433_1b_cell9_close_v1.json @@ -0,0 +1,218 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-coordinate-guarded-route", + "atom_or_cell": "coordinate-positive 433-1b cell 9", + "claimed_bound": "0 surviving labels out of 105", + "direct_statement": "Every one of the 105 raw direct labels in positive 433-1b cell 9 is empty on the deployed guarded route.", + "falsifier": "a deployed guarded-route solution in any label, an omitted label, or an invalid orbit transport", + "impact": "LOCAL_ONLY", + "object": "MCA", + "partition_digest": "sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb", + "projection_and_unit": "raw workboard labels, not distinct bad slopes", + "quantifier": "every raw direct label in the declared cell", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_complete_exclusion", + "status": "PROVED", + "verify_sha256": "d98b7e5a05b680ab0de06c2379d2107fcf18f886c4e57ec46e2a6a83af08afd4" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_endpoint_compatibility_decomposition", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_endpoint_compatibility_decomposition", + "status": "PROVED", + "verify_sha256": "4e506015a7d81e0436659bee08d5575fe96ec0716b2f91d9949a4bcbcb5f3ee2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_endpoint_generic_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_endpoint_generic_complete_exclusion", + "status": "PROVED", + "verify_sha256": "23c349aa3bcf4e08de4257e49e0e7c1b1c41fc6ce4eeae1d850c1d709c2c3b2d" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_endpoint_roles_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_endpoint_roles_complete_exclusion", + "status": "PROVED", + "verify_sha256": "20d00dec38911042272127d04d0e4f32a645153f9820e29359fb70340f3f2f37" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_global_common_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_global_common_kernel", + "status": "PROVED", + "verify_sha256": "8b261e73f93f1b64cda65cdaccaf53d57e8e8c474a8d9fe6784dd89c8cf4f372" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_global_five_relation_common_locus", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_global_five_relation_common_locus", + "status": "PROVED", + "verify_sha256": "2f472dfcd6cc3a0062b9e0b886238517d4b2d336b7aae71c0c72df1c816ce7fa" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_kernel_section_base_locus_regularization", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_kernel_section_base_locus_regularization", + "status": "PROVED", + "verify_sha256": "e7a9b91d16d7fa52fd5ebd98d0af1de7251dd840ae7b3fd18225d14ca801ad70" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_first_pair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_first_pair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "2c716ec943bbd68d5e3311c3002b072d7b9fe14cee75b4e4ba3885727de1117b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_first_pair_source_census", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_first_pair_source_census", + "status": "PROVED", + "verify_sha256": "3786f9e49167d2b6f9c2afe343910f85516af1c05cb6b6b47ed2e136b1d8b44a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing11_14_common_f_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing11_14_common_f_exclusion", + "status": "PROVED", + "verify_sha256": "86adbf17c7517d86259b20d806e0386c3532e506ee19748a9df57c74c426a5a8" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing3_6_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing3_6_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "27f34e953e59d6d188983ccde1e14e09e416a8a6b0afa3142da10b40eda9b5d1" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "00952c4bb37750a02c1032e7db8c5fd43edd9ea1185115d0152f862d5c6a5841" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "316e2ae486a1227d14c9f60d5b4e65f69cb7cee9f60bfff9148374eddb0d15d9" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_positive_de_pairing12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_positive_de_pairing12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "d9d117feec74483ca870b54bbb7c436534f173e7e3412f94c8c98d6e69d51600" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_positive_de_pairing14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_positive_de_pairing14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "a07030ba6e3dc1f51f5ce89f982840cde6d7b170af5967a847d26d01ea0e2cdb" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_positive_de_pairing9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_positive_de_pairing9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "3ca0e89a48bbf07a4ad4024c331e7acbb21d9711de0b9bc3806a9886b83751b4" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_regularized_base_locus_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_regularized_base_locus_complete_exclusion", + "status": "PROVED", + "verify_sha256": "864cb87ce37ee077feb7ffc212489e272bcf24f61724bd4e5c426d017311456f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_remaining_generic_label_orbit_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_remaining_generic_label_orbit_quotient", + "status": "PROVED", + "verify_sha256": "a7f8bceacdfbf0e82c8cc64b16cf15843344a580697d1b64316dfdffbe8792fa" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_six_chart_four_basis_common_locus", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_six_chart_four_basis_common_locus", + "status": "PROVED", + "verify_sha256": "ced58ad1af8b674707b86396a2d4b960cd16977da3a7ef5a96c8022d77a5e4eb" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "fd182d0c75cf47951ec35f5f2b7896c3983d84350b23e52cc62de47770d88a96" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing11_quadratic_resultant_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing11_quadratic_resultant_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "4dca4fc28b73aa661166cac0211313dcab35fe10e1dc13b82818b0f7c16c7ef4" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing1_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing1_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "c729d4a78cab559f26688fa2f6dd4f463d4148aec6fa9c674df3b72545876060" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "ea01f1a34398da516e64cc030dee9814a85a76f76727d440cb8a2561802bb382" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing3_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing3_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "d69114d1071825036ae8f63774897cfcbdc501f5e6eb4fd8e19a1ee2d96691be" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing4_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing4_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "903c2b6a99197e44438770b07c7d2f5463755895636b2869f5131281e5e9d7bf" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing5_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing5_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "2e39e9cdd3f1cb2103cc2f04f43ce5f18e10e33867c0db15cc8b363b776a34da" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing7_quadratic_resultant_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing7_quadratic_resultant_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "171e19dde826291b42d99236c1eb8f9d9ab4f64dab2bda992fe3591fbb05e8d6" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing8_quadratic_resultant_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell9_xi3_pairing8_quadratic_resultant_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "59ba6082d26a38b69956cf4122399624d771de11453cc293b6e5d93f00344f58" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: the [5,8] and [11] common-role orbits, and the cell-3 xi4 residual.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "branch": "codex/cell9-close-20260809", + "commit": "68ac9e383172910bbea0b81d4287e21f5a611d55", + "node_count": 28, + "replay": "from the repo root: tools/ramguard local -- python3 /verify.py && tools/ramguard local -- python3 /verify_audit.py", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-cell9-close-v1", + "statement": { + "claims": { + "active_orbits": "75 nonendpoint labels partition into 24 exact orbits with size profile 1:1, 2:9, 4:14", + "endpoint_labels": "30 endpoint labels excluded", + "slices": "105/105 paid by the endpoint theorem, executable universal quotient, and 17 exact orbit-owner packets" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete closure of coordinate-positive cell 9 of the 433-1b workboard (all 105 labeled slices)", + "workboard_item": "K3" + } +} From e1e7d263006dd0ffa748f1eabd06340141d67690 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Sun, 9 Aug 2026 15:43:38 +0100 Subject: [PATCH 03/12] [K3] Re-pin complete 433-1b source role cell 3 --- experimental/agents-log.md | 11 + .../kb-mca-v4-433-1b-cell3-close-v1/README.md | 37 +++ .../kb_mca_v4_433_1b_cell3_close_v1.json | 227 ++++++++++++++++++ 3 files changed, 275 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/kb_mca_v4_433_1b_cell3_close_v1.json diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 2abf74e2a..2944f9809 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3704,3 +3704,14 @@ AllenGrahamHart/rs-mca-prize-dag @ 68ac9e383; the executable aggregate reconstructs the universal router and checks the 17-owner partition. All 56 node verifier and audit scripts were coordinator-replayed. Ledger movement 0; K3 and the KoalaBear row remain open ([5,8], [11], cell-3 xi4 residual). + +## 2026-08-09 — [K3] 433-1b source role cell 3 re-pinned complete + +Added `kb-mca-v4-433-1b-cell3-close-v1`. The common rank-drop branch is +empty in all four source-sign rows, and a disjoint supplier census pays all +`7 * 15 * 4 * 4 = 1680` principal systems, including all 240 `xi4` systems +by exact outside-role transport. The packet pins 28 PROVED theorem nodes at +AllenGrahamHart/rs-mca-prize-dag @ a001708ae. Modal replay +`ap-jYkVRdvSHQuofSrzIJzAG1` passed all 28 primary verifiers and 28 audits. +Ledger movement 0; K3 and the KoalaBear row remain open only on role orbits +`[5,8]` and `[11]` within this exported workboard. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md new file mode 100644 index 000000000..4aad56c51 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md @@ -0,0 +1,37 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: The deployed positive 433-1b to O0a route is empty in source role cell 3. +architecture: positive-433-1b-coordinate-guarded-route +partition_digest: sha256:b2083fd9336497c67b8394cb79c7a6a6d24e7fc3a15d84203dcb092c2dedf896 +atom_or_cell: coordinate-positive 433-1b source role cell 3 +quantifier: every common rank-drop row and every principal missing-record/matching/sign/lane system in the declared cell +projection_and_unit: raw workboard systems, not distinct bad slopes +claimed_bound: 0 surviving systems out of 1680 principal systems plus the common rank-drop branch +status: PROVED +impact: LOCAL_ONLY +falsifier: a surviving common rank-drop row, a surviving principal system, an omitted system, or an overlapping supplier payment +replay: tools/ramguard modal -- modal run experiments/prize_resolution/modal_verifier_replay.py --match rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3 +--- + +# Complete closure of source role cell 3 of the positive 433-1b workboard + +The JSON certificate in this directory summarizes 28 PROVED nodes of the +public campaign repository https://github.com/AllenGrahamHart/rs-mca-prize-dag +at commit `a001708ae134`. Each node carries its own machine verifier +(`verify.py`, sha256-pinned in the certificate) and independent audit. + +The aggregate verifier pays the rank-drop common branch in all four source +sign rows, then reconstructs a disjoint cover of all +`7 * 15 * 4 * 4 = 1680` principal systems. This includes all 240 `xi4` +systems via the exact signed outside-role involution to the proved `xi3` +slice. Modal app `ap-jYkVRdvSHQuofSrzIJzAG1` replayed all 28 primary +verifiers and all 28 independent audits with 56/56 PASS. + +This packet moves no ledger value and does not close K3 or the KoalaBear row. +Fresh independent proof review remains required before promotion to a GREEN +banked result. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/kb_mca_v4_433_1b_cell3_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/kb_mca_v4_433_1b_cell3_close_v1.json new file mode 100644 index 000000000..6591b98d1 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/kb_mca_v4_433_1b_cell3_close_v1.json @@ -0,0 +1,227 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-coordinate-guarded-route", + "atom_or_cell": "coordinate-positive 433-1b source role cell 3", + "claimed_bound": "0 surviving systems out of 1680 principal systems plus the common rank-drop branch", + "direct_statement": "The deployed positive 433-1b to O0a route is empty in source role cell 3.", + "falsifier": "a surviving common rank-drop row, a surviving principal system, an omitted system, or an overlapping supplier payment", + "impact": "LOCAL_ONLY", + "object": "MCA", + "partition_digest": "sha256:b2083fd9336497c67b8394cb79c7a6a6d24e7fc3a15d84203dcb092c2dedf896", + "projection_and_unit": "raw workboard systems, not distinct bad slopes", + "quantifier": "every common rank-drop row and every principal missing-record/matching/sign/lane system in the declared cell", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_compact_curve_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_compact_curve_kernel", + "status": "PROVED", + "verify_sha256": "4a405e7d9a5a865bfab7cfea1d6cfb25ac8b21a1b6a042abce35c4c61071c587" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_complete_exclusion", + "status": "PROVED", + "verify_sha256": "b2083fd9336497c67b8394cb79c7a6a6d24e7fc3a15d84203dcb092c2dedf896" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_firstpair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_firstpair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ff6406def3f0f5b0af18faa37849261ed49681818ebe08ddf12d8bdb633b348e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing10_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing10_complete_exclusion", + "status": "PROVED", + "verify_sha256": "dc9564674f036df3a7e4cfd74720772678ff65553b1b4a68e2ca6242a6840184" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing11_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing11_complete_exclusion", + "status": "PROVED", + "verify_sha256": "1cba23ad8b691fd2a2f3f16863590db84d1be1c40a4e639c4eff6bfdc822a9c9" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing12_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing12_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ce7e272cd1934d7824ef4e8d45caee4efa437c4e69c7b1d519795241ed9ff672" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing13_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing13_complete_exclusion", + "status": "PROVED", + "verify_sha256": "eef6ecb077c9eb15ceee43b5f53ce8fb5ca701e8086f64ce325476789ca9a932" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing14_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing14_complete_exclusion", + "status": "PROVED", + "verify_sha256": "6c6309251cf48433494bf7217d42b075d1bbd1b8b3a52f54b9e54f27f1987497" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing3_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing3_complete_exclusion", + "status": "PROVED", + "verify_sha256": "37e44a5cbb019a457abcda562fb5b5437e0f012029bd2a7371af094c58736b00" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing4_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing4_complete_exclusion", + "status": "PROVED", + "verify_sha256": "29c30017791f0894d84468f311817a7c579a322f8d5d88b692a3ba1e892e4046" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing5_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing5_complete_exclusion", + "status": "PROVED", + "verify_sha256": "67d8d2262782e7c788654c858cb244bc3ec7f241329b1df9fe1e5f0bf4aeb375" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing6_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing6_complete_exclusion", + "status": "PROVED", + "verify_sha256": "d9b0a83a891298c542a92e707bb008ff181b1a576423ef73df249958f92f6f52" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing7_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing7_complete_exclusion", + "status": "PROVED", + "verify_sha256": "262d73fd1caf841ec126919c68ff9c5453bdda8b57476a365395796fc5a666d0" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing8_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing8_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e3bd1d1c5909e5f6ae5764c615c77d0d276424a641789b788522c0e90c0c10e2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing9_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_de_pairing9_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e4c933af5299ad8da55094c09c4f8da884e287f10fe0fdb1a620044c5943a8f7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_global_quadratic_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_global_quadratic_quotient", + "status": "PROVED", + "verify_sha256": "26d5191073a26b42c928a41b2777deb1bfa29d6530997681b9c6c7a9338f6306" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi0_pairing0_outside_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi0_pairing0_outside_exclusion", + "status": "PROVED", + "verify_sha256": "e557d8f781f01165f5ce22e4683ceee99c9f9b1b332c183def345830d6c8c40c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi1_pairing0_parallel_edge_transport", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi1_pairing0_parallel_edge_transport", + "status": "PROVED", + "verify_sha256": "001daeca20cbfd190eb8756c87c8df750bc965b32ad3d091850760d10cb31725" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi2_pairing0_outside_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi2_pairing0_outside_exclusion", + "status": "PROVED", + "verify_sha256": "ba34a67c622c8432ae3ab9bfe14a9db70ad25b58694759e6d17eaeeb87e42fe7" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings11_14_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings11_14_exclusion", + "status": "PROVED", + "verify_sha256": "57ade72a6cc7ee84266c5084a06f0b0b43ce5d59850220afbcec33f8326eb50b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings7_8_10_13_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_fully_mixed_pairings7_8_10_13_exclusion", + "status": "PROVED", + "verify_sha256": "aa2496675f46ea40a1e18d912ae2e85ff1e00f89ad8d7dd14a0aaafc38ee90fc" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings3_6_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings3_6_exclusion", + "status": "PROVED", + "verify_sha256": "cd7266041a04ac6d63d57ab49833a090ed1430d7a02e847af3164766bf953a27" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings4_5_9_12_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_opposite_de_pairings4_5_9_12_exclusion", + "status": "PROVED", + "verify_sha256": "51c34ab777f5c4c01959009be8aa0a397000eb689c91c6a887d073cab416ca9a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "f94fb62c507b2b6c7f677afc4f4d884e24089ac4d5cbb2f38e97f325a3bc6695" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairings1_2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi3_pairings1_2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "988cd3d2b629833dada924904ef9f3e395357f72d6ddd58e22f98b56a26e4696" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi4_xi3_outside_role_transport_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi4_xi3_outside_role_transport_exclusion", + "status": "PROVED", + "verify_sha256": "978ba7d3d558d17ab3a9268a748cec5c586612e65310586ca262fc9911e6ec14" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi5_finite_source_pairing_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi5_finite_source_pairing_exclusion", + "status": "PROVED", + "verify_sha256": "0f2dfb50e35b72ad42e489a7d4158f35f13b0c8a5916499c32e74616ab40d887" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi6_endpoint_compatibility_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell3_xi6_endpoint_compatibility_exclusion", + "status": "PROVED", + "verify_sha256": "c090dace0db787c58abea953123562382564bbd44fe52a3958a66e9c2a361f17" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: the [5,8] and [11] common-role orbits.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "branch": "codex/cell9-close-20260809", + "commit": "a001708ae1342a5a5381b5f37511c7151e625aa7", + "modal_app": "ap-jYkVRdvSHQuofSrzIJzAG1", + "node_count": 28, + "replay_counts": { + "FAIL": 0, + "HASH_MISMATCH": 0, + "PASS": 56, + "REMOTE_ERROR": 0, + "TIMEOUT": 0 + }, + "replay_json": "experiments/prize_resolution/cell3_verifier_replay.json", + "replay_sha256": "2051784b7bff494045c7584c4bd491850725646f6a85b4619c005b1578774989", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-cell3-close-v1", + "statement": { + "claims": { + "principal_systems": "7 missing records x 15 matchings x 4 source signs x 4 target lanes = 1680 disjoint systems, all empty", + "rank_drop": "common product-rank-drop branch empty in all four source-sign rows", + "xi4_transport": "all 240 xi4 systems paid by an exact signed outside-role involution to the proved xi3 slice" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete closure of source role cell 3 of the positive 433-1b workboard", + "workboard_item": "K3" + } +} From 5443db878c488ac9cfa204d1d79e211caf9e8608 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Sun, 9 Aug 2026 20:13:41 +0100 Subject: [PATCH 04/12] [K3] Close 433-1b common-role orbit 5-8 --- experimental/agents-log.md | 12 ++ .../README.md | 40 ++++ .../kb_mca_v4_433_1b_cells5_8_close_v1.json | 189 ++++++++++++++++++ 3 files changed, 241 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/kb_mca_v4_433_1b_cells5_8_close_v1.json diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 2944f9809..d51b9eee0 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3715,3 +3715,15 @@ AllenGrahamHart/rs-mca-prize-dag @ a001708ae. Modal replay `ap-jYkVRdvSHQuofSrzIJzAG1` passed all 28 primary verifiers and 28 audits. Ledger movement 0; K3 and the KoalaBear row remain open only on role orbits `[5,8]` and `[11]` within this exported workboard. + +## 2026-08-09 — [K3] 433-1b common-role orbit [5,8] closed + +Added `kb-mca-v4-433-1b-cells5-8-close-v1`. Cell 5 is closed at 105/105: +75 active labels are paid by 16 exact owner packets over 24 quotient orbits, +and all 30 endpoint labels are excluded because eight degree-16/degree-11 +eliminants have no deployed base-field root. An exact B/C transport closes +cell 8 over all 1,680 signed principal systems, with the global rank-drop +theorem paying the complement. The packet pins 23 PROVED theorem nodes at +AllenGrahamHart/rs-mca-prize-dag @ 3fa298743024. Ledger movement 0; K3 and +the KoalaBear row remain open only on role orbit `[11]` within this exported +workboard. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md new file mode 100644 index 000000000..7ffe33827 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md @@ -0,0 +1,40 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: Every one of the 210 raw direct labels in positive 433-1b role orbit [5,8] is empty on the deployed guarded route. +architecture: positive-433-1b-coordinate-guarded-route +partition_digest: sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb +atom_or_cell: coordinate-positive 433-1b role orbit [5,8] +quantifier: every raw direct label in both declared role cells +projection_and_unit: raw workboard labels, not distinct bad slopes +claimed_bound: 0 surviving labels out of 210 +status: PROVED +impact: LOCAL_ONLY +falsifier: a deployed guarded-route solution in either role cell, an omitted label, an invalid endpoint rootlessness certificate, or an invalid duplicate-role transport +replay: tools/ramguard local -- python3 /verify.py && tools/ramguard local -- python3 /verify_audit.py +--- + +# Complete closure of the [5,8] common-role orbit of the positive 433-1b workboard + +The JSON certificate in this directory summarizes 23 PROVED nodes of the +public campaign repository https://github.com/AllenGrahamHart/rs-mca-prize-dag +at commit `3fa2987430242cb631ab76be4ebbee549ce95fb8`. Each node carries a +machine verifier whose sha256 is pinned in the certificate. The closure-layer +verifiers and hostile audits were replayed at that exact commit. + +Cell 5 has 75 active labels in 24 exact quotient orbits. Sixteen owner +packets pay one representative of every orbit. Its remaining 30 endpoint +labels are source-incompatible: all eight degree-16/degree-11 eliminants +have `gcd(E(r),r^p-r)=1` over `p=2130706433`. Thus cell 5 is closed at +105/105. A separately verified B/C symmetry bijects all 1,680 signed +principal systems from cell 5 to cell 8, while the global rank-drop theorem +pays the complement, closing role orbit `[5,8]` at 210/210 labels. + +This packet moves no ledger value and does not close K3 or the KoalaBear row. +Within this exported workboard, role orbit `[11]` remains open. Fresh +independent proof review remains required before promotion to a GREEN banked +result. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/kb_mca_v4_433_1b_cells5_8_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/kb_mca_v4_433_1b_cells5_8_close_v1.json new file mode 100644 index 000000000..908ba489e --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/kb_mca_v4_433_1b_cells5_8_close_v1.json @@ -0,0 +1,189 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-coordinate-guarded-route", + "atom_or_cell": "coordinate-positive 433-1b role orbit [5,8]", + "claimed_bound": "0 surviving labels out of 210", + "direct_statement": "Every one of the 210 raw direct labels in positive 433-1b role orbit [5,8] is empty on the deployed guarded route.", + "falsifier": "a deployed guarded-route solution in either role cell, an omitted label, an invalid endpoint rootlessness certificate, or an invalid duplicate-role transport", + "impact": "LOCAL_ONLY", + "object": "MCA", + "partition_digest": "sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb", + "projection_and_unit": "raw workboard labels, not distinct bad slopes", + "quantifier": "every raw direct label in both declared role cells", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_complete_exclusion", + "status": "PROVED", + "verify_sha256": "ba180943a912eb1c6686bcc70a9404cb73bcaacf097d76ddcbf6faf40e4fa978" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_elliptic_common_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_elliptic_common_kernel", + "status": "PROVED", + "verify_sha256": "06db70dea051305ff6eafbab5ed1f29c884026ec3ba5334295279da4e5341863" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_endpoint_roles_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_endpoint_roles_complete_exclusion", + "status": "PROVED", + "verify_sha256": "e0c067cef22d902e2e390ff7d36fa6ccb3ffd9ce3e70005ac92965d058539b7d" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_active_labels_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_active_labels_complete_exclusion", + "status": "PROVED", + "verify_sha256": "b5bb0c26d0f820f9feeb38701971ed6d94ea48dc4ba2aaa64b17586dfd1f178e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_generic_outside_label_orbit_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_generic_outside_label_orbit_quotient", + "status": "PROVED", + "verify_sha256": "cd49f5cd6b74e733908eac92149fc8e3aafbbd4a846fcf0428d2089f1b84e7c2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_first_pair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_first_pair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "1a010c8f0268f72dc2a0542c9f105729d2cd3d71e9d18da37055745814c7a449" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing11_14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing11_14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "e6b9b30750a1ae64372e734e7a5edb6d4e19ca4388d323d9b553a4534870ba24" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing3_6_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing3_6_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "f0d17922c0343f06fef7131d84fb88fe1173554c38e7cb42fd25f8951034ef4a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "d2ee78c1b262daf2e00955869b3af50b6fe3e01fb860963f2c8d63fe04cd2565" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "162ddb06ff5366d5e8de786ada6d8f84aac5cef3379e0b93e8066fc1ab5dc993" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_positive_de_pairing9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_positive_de_pairing9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "8c5d31c64a78056dc851f4c0b86a01d5359eebd54f3834b44bbc9df378fb8282" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_positive_de_pairing12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_positive_de_pairing12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "417628bd55b899b105141c9808b06ec96d7b5f266ca5ff35eb2a51b813bb4380" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_positive_de_pairing14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_positive_de_pairing14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "d2eade5778295ecaaa8808150f9619266c557a813e4e8078f31c0f012a13050a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "0dc34f666cce13afe054ab4f0e2716a7c362e8ca0fa1c3dc8349a4fce2644933" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_pairings1_2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_pairings1_2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "5c498c78ddfc0f56b4f40d5e510c01beacff09ab33bdc40683464dc2d459cf00" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing3_6_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing3_6_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "1ad161bd047507e9cc42b8d4d8fe6a46cc30ab365ab801a6a7f1ba6f42952e27" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing4_9_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing4_9_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "4693ff83858e600165ea76c87853a747d45cf0fcae719ea4b9b90b41a37cb03f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing5_12_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing5_12_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "acc04b3f4538a5836ffaf8a964aad10635d29028c266045b43bc55762d7c9cb5" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing7_10_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing7_10_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "4e5b0d567ef384ad9e9260f0edd800e0f8243e5845cf4ef7a2452b2393ac735f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing8_13_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing8_13_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "97b513a0e8d9371eae2f0d952f2bd5930bad14ced3528a07410c0d043c3f7087" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing11_14_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell5_xi3_xi4_pairing11_14_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "db982334a86d6b48e5a38c796151ba507281c64fe04eb801eb59c36e66813b07" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells5_8_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells5_8_complete_exclusion", + "status": "PROVED", + "verify_sha256": "013c6bc83795686742e12049524e254c19a5ef1776d00e487269bd4f46394b0c" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells5_8_duplicate_role_transport", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells5_8_duplicate_role_transport", + "status": "PROVED", + "verify_sha256": "a72496b60259c9538419b6da6606a11c8d9fbdadca6c10ce1bb8f2af1a7b9dd7" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Workboard remainder open: the [11] common-role orbit.", + "Fresh independent proof review remains required before promotion to a GREEN banked result." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "3fa2987430242cb631ab76be4ebbee549ce95fb8", + "node_count": 23, + "replay": "from the campaign repo root: tools/ramguard local -- python3 /verify.py && tools/ramguard local -- python3 /verify_audit.py", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-cells5-8-close-v1", + "statement": { + "claims": { + "active_orbits": "75 nonendpoint cell-5 labels partition into 24 exact orbits with size profile 1:1, 2:9, 4:14 and are paid by 16 owner packets", + "endpoint_labels": "30 cell-5 endpoint labels excluded because eight degree-16/degree-11 eliminants have gcd 1 with r^p-r", + "slices": "cell 5 closed at 105/105; exact transport closes cell 8; role orbit [5,8] closed at 210/210", + "transport": "exact B/C bijection of all 1680 signed principal systems from cell 5 to cell 8" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete closure of the [5,8] common-role orbit of the positive 433-1b workboard", + "workboard_item": "K3" + } +} From eb408eb6531149d8da5e17e753f7f5382481bc17 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 00:55:05 +0100 Subject: [PATCH 05/12] [K3] Close 433-1b source-role cell 11 --- experimental/agents-log.md | 14 ++ .../README.md | 46 +++++ .../kb_mca_v4_433_1b_cell11_close_v1.json | 184 ++++++++++++++++++ 3 files changed, 244 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/kb_mca_v4_433_1b_cell11_close_v1.json diff --git a/experimental/agents-log.md b/experimental/agents-log.md index d51b9eee0..331223eae 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3727,3 +3727,17 @@ theorem paying the complement. The packet pins 23 PROVED theorem nodes at AllenGrahamHart/rs-mca-prize-dag @ 3fa298743024. Ledger movement 0; K3 and the KoalaBear row remain open only on role orbit `[11]` within this exported workboard. + +## 2026-08-10 — [K3] 433-1b source-role cell 11 closed + +Added `kb-mca-v4-433-1b-cell11-close-v1`. Cell 11 is closed at 105/105: +75 active labels are paid by 16 exact owner packets over all 24 quotient +orbits, and the separate endpoint theorem pays the remaining 30 labels. The +final pairings 7, 8, and 11 have complete direct equation and leading-boundary +replays; a shared FLINT packet reconstructs 61 profiles and 302 roots through +degree 5192. The packet pins 22 PROVED theorem nodes at +AllenGrahamHart/rs-mca-prize-dag @ 7824a826a283. All 44 cell-11 verifier and +hostile-audit scripts passed. The exported raw-label workboard now has no +open role orbit. Ledger movement remains 0; K3 and the KoalaBear row remain +open on labels-to-distinct-affine-slopes conversion, the genuine-pencil +ledger, and fresh independent proof review. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md new file mode 100644 index 000000000..bcae74bec --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md @@ -0,0 +1,46 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: Every one of the 105 raw direct labels in positive 433-1b source-role cell 11 is empty on the deployed guarded route. +architecture: positive-433-1b-coordinate-guarded-route +partition_digest: sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb +atom_or_cell: coordinate-positive 433-1b source-role cell 11 +quantifier: every raw direct label in the declared source-role cell +projection_and_unit: raw workboard labels, not distinct bad slopes +claimed_bound: 0 surviving labels out of 105 +status: PROVED +impact: LOCAL_ONLY +falsifier: a deployed guarded-route solution in cell 11, an omitted quotient orbit, an invalid endpoint rootlessness certificate, or a verifier digest mismatch +replay: tools/ramguard local -- python3 /verify.py && tools/ramguard local -- python3 /verify_audit.py +--- + +# Complete closure of source-role cell 11 of the positive 433-1b workboard + +The JSON certificate in this directory summarizes 22 PROVED nodes of the +public campaign repository https://github.com/AllenGrahamHart/rs-mca-prize-dag +at commit `7824a826a28360fabcb1e50bf36f1cec14685292`. Each node carries a +machine verifier whose sha256 is pinned in the certificate. All 44 cell-11 +verifier and hostile-audit scripts passed at that exact commit. + +Cell 11 has 75 active labels in 24 exact quotient orbits. Sixteen owner +packets pay one representative of every orbit. The remaining 30 endpoint +labels are excluded by the independent endpoint rootlessness theorem. The +aggregate verifiers reconstruct the exact `75+30=105` disjoint cover. + +The final outside-role packet closes pairings 7, 8, and 11. Pairings 7 and 8 +each retain 64 compatible lifts and 128 colored lanes; pairing 11 retains 16 +lifts and 32 lanes. Every colored value is nonzero. A shared independent +FLINT reconstruction covers 61 polynomial profiles, 302 deployed roots, and +degrees through 5192. Three direct audits replay every candidate union, +source relation, paired-scalar equation, and cell-11 leading-boundary +payment. + +This closes the last role orbit named as open by the preceding living K3 +packet. Thus the exported positive-433-1b workboard has no remaining raw +label cell. This packet moves no ledger value and does not close K3 or the +KoalaBear row: conversion from raw labels to distinct affine slopes, the +genuine-pencil ledger, and fresh independent proof review remain required. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/kb_mca_v4_433_1b_cell11_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/kb_mca_v4_433_1b_cell11_close_v1.json new file mode 100644 index 000000000..7c0c5654a --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/kb_mca_v4_433_1b_cell11_close_v1.json @@ -0,0 +1,184 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-coordinate-guarded-route", + "atom_or_cell": "coordinate-positive 433-1b source-role cell 11", + "claimed_bound": "0 surviving labels out of 105", + "direct_statement": "Every one of the 105 raw direct labels in positive 433-1b source-role cell 11 is empty on the deployed guarded route.", + "falsifier": "a deployed guarded-route solution in cell 11, an omitted quotient orbit, an invalid endpoint rootlessness certificate, or a verifier digest mismatch", + "impact": "LOCAL_ONLY", + "object": "MCA", + "partition_digest": "sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb", + "projection_and_unit": "raw workboard labels, not distinct bad slopes", + "quantifier": "every raw direct label in the declared source-role cell", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_complete_exclusion", + "status": "PROVED", + "verify_sha256": "b0cdd85e528cf0032307dc8b488201632f24962adda7d053c42a5abef3d938ba" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_active_labels_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_active_labels_complete_exclusion", + "status": "PROVED", + "verify_sha256": "7121a13db2a249a27aec9db84c5ed1148238fdda1c81211472858ff356097081" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_endpoint_roles_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_endpoint_roles_complete_exclusion", + "status": "PROVED", + "verify_sha256": "66b186aeee95b6c8c59193df5e484f85078de2014324db7ee906bedf1d562c3e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_generic_outside_label_orbit_quotient", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_universal_generic_outside_label_orbit_quotient", + "status": "PROVED", + "verify_sha256": "cd49f5cd6b74e733908eac92149fc8e3aafbbd4a846fcf0428d2089f1b84e7c2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_quadratic_four_basis_common_locus", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_quadratic_four_basis_common_locus", + "status": "PROVED", + "verify_sha256": "b459aec1f4f169566b117d39a3dfdb15caa739a2223be3fc8414038c30db7125" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_global_common_kernel", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_global_common_kernel", + "status": "PROVED", + "verify_sha256": "60106a40dcd9964859297f7a3cffb62d527917c55d5a38539fd409a3f1bcb45a" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_first_pair_complete_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_first_pair_complete_exclusion", + "status": "PROVED", + "verify_sha256": "7136b9b76d3f842f57e086b7b44bc6c19d5dea61b8c0761a786144660911de71" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing11_14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing11_14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "0bebe83f5e0a34440992a2a5cd5695e7bcf608c33a696e30aaed793e08691922" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing3_6_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing3_6_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "e8724e835e5e451b9263f5ec555d81a99e8cf7c3c600f68587f94681fb05c85f" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing4_7_9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "9023c3eebf43b07f1d98f893450bfdb3ea88cc47acf4627eaf97eee368206be8" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_parallel_de_pairing5_8_12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "f9a8b0d785a686e8d1fd3d5b0df7f400c4f1707387903759c2134ab550d48c7e" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_positive_de_pairing9_10_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_positive_de_pairing9_10_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "f9a430407b8935af4abcf7866a1db454fe85eaa4fbbb95afd04de60e45a3849b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_positive_de_pairing12_13_nested_quadratic_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_positive_de_pairing12_13_nested_quadratic_exclusion", + "status": "PROVED", + "verify_sha256": "ebd0fe95c7416d9569224d82eae81d88d81a0b383bec7e22a133f0a887c67e15" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_positive_de_pairing14_common_f_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_positive_de_pairing14_common_f_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "c9f93bd82f5bcb1f16a6909f320064c31f360202bdd2eb7357a367f593c35e95" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_pairing0_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_pairing0_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "eafb762c9dfcab464ba768bf4d58b481a4b52b6a44802478c5befd7443862847" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_pairings1_2_reciprocal_linear_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_pairings1_2_reciprocal_linear_exclusion", + "status": "PROVED", + "verify_sha256": "405dd58de350fada69033cff8e7ca4b0cf84303f1b2b4fe32ae1eaadc5f511bf" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing3_6_reciprocal_square_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing3_6_reciprocal_square_exclusion", + "status": "PROVED", + "verify_sha256": "bdd47750e12df36599e07bab6365b85468f5e72e45aeda0ce114492ab8eff6b3" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing4_9_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing4_9_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "0a4825d084652b97837cd0314915a3ea1cb6fa657ad1b56cc5432efb85cf7270" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing5_12_nested_signfree_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing5_12_nested_signfree_exclusion", + "status": "PROVED", + "verify_sha256": "51a69e888deb73c24fde6c258866b6b30ec6def207c9f7ae9bc8fa4216ebace2" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing7_10_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing7_10_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "77ee09015f3d3bc148b5aa9cbef5ffca2fbfffbbd67a9ad6d3e4f557c5f40314" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing8_13_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing8_13_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "e6b03df3133ac45aa645badfe5df5412e3e85d3a70f2801220823a4b6c143d93" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing11_14_quadratic_resultant_exclusion", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cell11_xi3_xi4_pairing11_14_quadratic_resultant_exclusion", + "status": "PROVED", + "verify_sha256": "924d55a68ef68296e1cc657dd1724dfcaa985d437d898995df3b0de3b14fc98d" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Raw-label workboard coverage is not yet converted to distinct bad slopes.", + "The genuine-pencil ledger and fresh independent proof review remain required before promotion to a GREEN banked result." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "7824a826a28360fabcb1e50bf36f1cec14685292", + "node_count": 22, + "replay": "from the campaign repo root: tools/ramguard local -- python3 /verify.py && tools/ramguard local -- python3 /verify_audit.py", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-cell11-close-v1", + "statement": { + "claims": { + "active_orbits": "75 nonendpoint cell-11 labels partition into 24 exact orbits with size profile 1:1, 2:9, 4:14 and are paid by 16 owner packets", + "common_geometry": "24 four-basis chart/sign rows and 40 global-kernel row reductions are exact over the deployed field", + "endpoint_labels": "30 cell-11 endpoint labels are excluded by the independent endpoint rootlessness theorem", + "final_outside_packet": "pairings 7, 8, and 11 close the final 12 labels with 24 complete rows and no witness", + "slices": "cell 11 is closed at 105/105 raw direct labels" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_LABEL_WORKBOARD_COMPLETE_CONVERSION_OPEN", + "title": "Complete closure of source-role cell 11 of the positive 433-1b workboard", + "workboard_item": "K3" + } +} From 4cc9e65b513949c72cbc2080fa31cb51561778e1 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 01:39:27 +0100 Subject: [PATCH 06/12] [K3] Close raw 433-1b to O0a workboard --- experimental/agents-log.md | 12 +++ .../README.md | 52 ++++++++++++ ..._mca_v4_433_1b_raw_workboard_close_v1.json | 77 ++++++++++++++++++ .../verify.py | 79 +++++++++++++++++++ 4 files changed, 220 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/kb_mca_v4_433_1b_raw_workboard_close_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 331223eae..27e7a5bf4 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3741,3 +3741,15 @@ hostile-audit scripts passed. The exported raw-label workboard now has no open role orbit. Ledger movement remains 0; K3 and the KoalaBear row remain open on labels-to-distinct-affine-slopes conversion, the genuine-pencil ledger, and fresh independent proof review. + +## 2026-08-10 — [K3] complete raw 433-1b to O0a workboard exclusion + +Added `kb-mca-v4-433-1b-raw-workboard-close-v1`. An explicit B/C +duplicate-role transport closes the previously implicit cell-10 step from +cell 9 over all 105 labels and 1,680 signed principal systems. Nine disjoint +owner packets now cover all 15 role cells, 1,575 labels, and 25,200 signed +principal systems; the global rank-drop theorem excludes the complement. +The packet pins three aggregate PROVED nodes and hostile audits at +AllenGrahamHart/rs-mca-prize-dag @ `8df090339e3e`. Ledger movement remains +0. K3 remains open on eleven other positive routes, orientation/source-cover +assembly, exact distinct-slope allocation, and independent review. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md new file mode 100644 index 000000000..3ddf1e51a --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md @@ -0,0 +1,52 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: The complete positive 433-1b to O0a raw workboard is empty in all 15 role cells, 1575 labels, and 25200 signed principal systems; the global rank-drop branch is empty separately. +architecture: positive-433-1b-coordinate-guarded-route +partition_digest: sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb +atom_or_cell: complete coordinate-positive 433-1b to O0a raw workboard +quantifier: every raw principal system and the complementary global rank-drop branch in the declared route +projection_and_unit: raw workboard labels and signed principal systems, not distinct bad slopes +claimed_bound: 0 surviving raw systems out of 25200 +status: PROVED +impact: ARCHITECTURE_BRIDGE +falsifier: an omitted or multiply owned role cell, a failed owner packet, an invalid cell-9-to-cell-10 transport, or a surviving guarded raw system +replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py --source-root /path/to/rs-mca-prize-dag +--- + +# Complete raw `433-1b -> O0a` workboard exclusion + +This certificate closes the exported raw workboard, including the previously +implicit cell-10 step. The exact `B<->C` duplicate-role map fixes the `BC+` +singleton, flips the second source sign, gauges the outside records, and +bijects all 105 labels and 1,680 signed principal systems in cells 9 and 10. + +The complete role-cell partition is + +```text +[0] | [1,2] | [3,6] | [4,7] | [5,8] | [9,10] | [11] | [12,13] | [14]. +``` + +These nine proved owner packets cover all 15 role cells disjointly. Each cell +has 105 raw labels and 16 signed principal systems per label, giving exactly +1,575 labels and 25,200 systems. The separate global product-rank-drop theorem +excludes the complementary branch. + +The JSON certificate pins the three new aggregate nodes, their verifiers, and +their hostile audits in the public campaign repository at commit +`8df0903391a228eed6e24398fca9d40d72d546cf`. + +This is not K3 closure. It does not prove exhaustive balanced-core routing, +convert raw labels to distinct affine slopes, pay the eleven other positive +routes, assemble source-cover orientations, or move a row ledger value. + +Replay the certificate and its ten pinned blobs with: + +```bash +python3 experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py \ + --source-root /path/to/rs-mca-prize-dag +``` diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/kb_mca_v4_433_1b_raw_workboard_close_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/kb_mca_v4_433_1b_raw_workboard_close_v1.json new file mode 100644 index 000000000..09858a042 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/kb_mca_v4_433_1b_raw_workboard_close_v1.json @@ -0,0 +1,77 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-coordinate-guarded-route", + "atom_or_cell": "complete coordinate-positive 433-1b to O0a raw workboard", + "claimed_bound": "0 surviving raw systems out of 25200", + "direct_statement": "The complete positive 433-1b to O0a raw workboard is empty in all 15 role cells, 1575 labels, and 25200 signed principal systems; the global rank-drop branch is empty separately.", + "falsifier": "an omitted or multiply owned role cell, a failed owner packet, an invalid cell-9-to-cell-10 transport, or a surviving guarded raw system", + "impact": "ARCHITECTURE_BRIDGE", + "object": "MCA", + "partition_digest": "sha256:82df776b06b375e9bee6fcc77aead1ebca4594028fa2e51df6318422a9d2f9bb", + "projection_and_unit": "raw workboard labels and signed principal systems, not distinct bad slopes", + "quantifier": "every raw principal system and the complementary global rank-drop branch in the declared route", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells9_10_duplicate_role_transport", + "node_manifest_sha256": "c532f86c392d29a116a947af32006648467e19fdfb72edeef17458266ddad19b", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells9_10_duplicate_role_transport", + "status": "PROVED", + "verify_audit_sha256": "a876f484d6fc3bf2405007b3f5dd63a2cb58876215043ec95fb5031f5365d4b7", + "verify_sha256": "eddd977362e61061c8befa3f5baa453649c1192bdaf19a5b840eaa60f09489a3" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_cells9_10_complete_exclusion", + "node_manifest_sha256": "baa3cdec74dbfa866283067e57325466b2e98d47c1d87ba85e51f1b161ee069d", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_cells9_10_complete_exclusion", + "status": "PROVED", + "verify_audit_sha256": "f393841c7db6bf9cdc1f608a4b48f8f35d4c3baed06559b47f15d068181b7bb8", + "verify_sha256": "de14b749d3670ea9d4be1446c76e33bb7de6de69ccfc3714272cc4020bfdaf33" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_raw_workboard_complete_exclusion", + "node_manifest_sha256": "f97faa957163bffb5e77c6bc9f67d5103311ea9b39a2eb4a22575436b34c28b5", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_raw_workboard_complete_exclusion", + "status": "PROVED", + "verify_audit_sha256": "a316d3ac2fa94f8fa432af66e3882683c138b078a4d29d9f1414b6d48f38f6f4", + "verify_sha256": "e1351670c2ca054f28589fd37822d8e3822336b3353ed93dcc87c7c81161af1a" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Does not prove exhaustive balanced-core routing or a raw-label-to-distinct-affine-slope conversion.", + "Does not pay the eleven other positive-coordinate routes or source-cover orientations.", + "Fresh independent proof review remains required before a GREEN K3 promotion." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "8df0903391a228eed6e24398fca9d40d72d546cf", + "experiment_sha256": "a562de03d52fedad25a9670b492283107b96fab6e4d689f32ff53345e7723f13", + "node_count": 3, + "replay": "from the campaign repo root: tools/ramguard local -- python3 /verify.py; tools/ramguard local -- python3 /verify_audit.py", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-raw-workboard-close-v1", + "statement": { + "claims": { + "cell_9_10_transport": "exact B/C duplicate-role bijection of all 105 labels and 1680 signed principal systems", + "owner_partition": "[0]|[1,2]|[3,6]|[4,7]|[5,8]|[9,10]|[11]|[12,13]|[14]", + "principal_census": "15 role cells, 1575 raw labels, 25200 signed principal systems", + "rankdrop": "the complementary global product-rank-drop branch is excluded" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_UNIT_OTHER_K3_ITEMS_OPEN", + "title": "Complete raw positive 433-1b to O0a workboard exclusion", + "workboard_item": "K3" + } +} diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py new file mode 100644 index 000000000..4cee1b91a --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py @@ -0,0 +1,79 @@ +#!/usr/bin/env python3 +"""Verify the raw 433-1b/O0a workboard certificate and pinned source blobs.""" + +import argparse +import hashlib +import json +import subprocess +from pathlib import Path + + +HERE = Path(__file__).resolve().parent +CERT = HERE / "kb_mca_v4_433_1b_raw_workboard_close_v1.json" +EXPECTED_PARTITION = "[0]|[1,2]|[3,6]|[4,7]|[5,8]|[9,10]|[11]|[12,13]|[14]" + + +def require(condition, message): + if not condition: + raise RuntimeError(message) + + +def blob(root, commit, path): + return subprocess.run( + ["git", "-C", str(root), "show", f"{commit}:{path}"], + check=True, + stdout=subprocess.PIPE, + ).stdout + + +def main(): + parser = argparse.ArgumentParser() + parser.add_argument( + "--source-root", + type=Path, + help="checkout containing the pinned rs-mca-prize-dag commit", + ) + args = parser.parse_args() + + cert = json.loads(CERT.read_text()) + claims = cert["statement"]["claims"] + require(cert["schema"] == "kb-mca-v4-433-1b-raw-workboard-close-v1", + "schema") + require(cert["statement"]["ledger_movement"] == 0, "ledger movement") + require(not cert["K3_closed"] and not cert["KoalaBear_row_closed"], + "scope flags") + require(claims["owner_partition"] == EXPECTED_PARTITION, + "owner partition") + require("25200" in claims["principal_census"], "principal census") + require(len(cert["nodes"]) == 3, "aggregate node count") + + checked = 0 + if args.source_root is not None: + commit = cert["provenance"]["commit"] + for node in cert["nodes"]: + for key, name in ( + ("node_manifest_sha256", "node.json"), + ("verify_sha256", "verify.py"), + ("verify_audit_sha256", "verify_audit.py"), + ): + path = f"{node['path']}/{name}" + digest = hashlib.sha256(blob(args.source_root, commit, path)).hexdigest() + require(digest == node[key], f"digest mismatch: {path}") + checked += 1 + experiment = ( + "experiments/prize_resolution/" + "rate_half_kb_positive_433_1b_cells9_10_duplicate_role_transport.py" + ) + digest = hashlib.sha256(blob(args.source_root, commit, experiment)).hexdigest() + require(digest == cert["provenance"]["experiment_sha256"], + "experiment digest") + checked += 1 + + print( + "RAW_WORKBOARD_CERT_PASS " + f"nodes=3 hashes={checked} cells=15 labels=1575 systems=25200" + ) + + +if __name__ == "__main__": + main() From 49b6bea5192ccce2da51a8e0d657eb956a5fdc2e Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 07:52:39 +0100 Subject: [PATCH 07/12] [K3] Provenance annotation: durable pins are the commit hashes; replay against source master 711fcb977+ --- .../kb-mca-v4-433-1b-cell11-close-v1/README.md | 13 +++++++++++++ .../kb-mca-v4-433-1b-cell3-close-v1/README.md | 13 +++++++++++++ .../kb-mca-v4-433-1b-cell9-close-v1/README.md | 13 +++++++++++++ .../kb-mca-v4-433-1b-cells5-8-close-v1/README.md | 13 +++++++++++++ .../README.md | 13 +++++++++++++ 5 files changed, 65 insertions(+) diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md index bcae74bec..a04574d4f 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md @@ -44,3 +44,16 @@ packet. Thus the exported positive-433-1b workboard has no remaining raw label cell. This packet moves no ledger value and does not close K3 or the KoalaBear row: conversion from raw labels to distinct affine slopes, the genuine-pencil ledger, and fresh independent proof review remain required. + +## Provenance annotation (2026-08-10, coordinator) + +The `provenance.commit` hash is the durable pin; the +`provenance.branch` field names a worker-local branch that is not +published. As of source-repo master +`711fcb9775ef6561fde1f6e7eb11d28e0a04d205` +(https://github.com/AllenGrahamHart/rs-mca-prize-dag), the pinned +commit and every node listed in this certificate are reachable from +public master with their verifiers. Worker certificate pushes land +on this PR ahead of the coordinator's audited merge to master, so a +pinned commit may be briefly unreachable (typically hours) between +the two — replay against master at or after the commit above. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md index 4aad56c51..c934d2ce5 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-v1/README.md @@ -35,3 +35,16 @@ verifiers and all 28 independent audits with 56/56 PASS. This packet moves no ledger value and does not close K3 or the KoalaBear row. Fresh independent proof review remains required before promotion to a GREEN banked result. + +## Provenance annotation (2026-08-10, coordinator) + +The `provenance.commit` hash is the durable pin; the +`provenance.branch` field names a worker-local branch that is not +published. As of source-repo master +`711fcb9775ef6561fde1f6e7eb11d28e0a04d205` +(https://github.com/AllenGrahamHart/rs-mca-prize-dag), the pinned +commit and every node listed in this certificate are reachable from +public master with their verifiers. Worker certificate pushes land +on this PR ahead of the coordinator's audited merge to master, so a +pinned commit may be briefly unreachable (typically hours) between +the two — replay against master at or after the commit above. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md index 6cbc9893f..21fff8bfb 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-v1/README.md @@ -35,3 +35,16 @@ replayed by the campaign coordinator at the pinned commit. This packet moves no ledger value and does not close K3 or the KoalaBear row. Fresh independent proof review remains required before promotion to a GREEN banked result. + +## Provenance annotation (2026-08-10, coordinator) + +The `provenance.commit` hash is the durable pin; the +`provenance.branch` field names a worker-local branch that is not +published. As of source-repo master +`711fcb9775ef6561fde1f6e7eb11d28e0a04d205` +(https://github.com/AllenGrahamHart/rs-mca-prize-dag), the pinned +commit and every node listed in this certificate are reachable from +public master with their verifiers. Worker certificate pushes land +on this PR ahead of the coordinator's audited merge to master, so a +pinned commit may be briefly unreachable (typically hours) between +the two — replay against master at or after the commit above. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md index 7ffe33827..208184249 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md @@ -38,3 +38,16 @@ This packet moves no ledger value and does not close K3 or the KoalaBear row. Within this exported workboard, role orbit `[11]` remains open. Fresh independent proof review remains required before promotion to a GREEN banked result. + +## Provenance annotation (2026-08-10, coordinator) + +The `provenance.commit` hash is the durable pin; the +`provenance.branch` field names a worker-local branch that is not +published. As of source-repo master +`711fcb9775ef6561fde1f6e7eb11d28e0a04d205` +(https://github.com/AllenGrahamHart/rs-mca-prize-dag), the pinned +commit and every node listed in this certificate are reachable from +public master with their verifiers. Worker certificate pushes land +on this PR ahead of the coordinator's audited merge to master, so a +pinned commit may be briefly unreachable (typically hours) between +the two — replay against master at or after the commit above. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md index 3ddf1e51a..6bbe953f0 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md +++ b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md @@ -50,3 +50,16 @@ Replay the certificate and its ten pinned blobs with: python3 experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/verify.py \ --source-root /path/to/rs-mca-prize-dag ``` + +## Provenance annotation (2026-08-10, coordinator) + +The `provenance.commit` hash is the durable pin; the +`provenance.branch` field names a worker-local branch that is not +published. As of source-repo master +`711fcb9775ef6561fde1f6e7eb11d28e0a04d205` +(https://github.com/AllenGrahamHart/rs-mca-prize-dag), the pinned +commit and every node listed in this certificate are reachable from +public master with their verifiers. Worker certificate pushes land +on this PR ahead of the coordinator's audited merge to master, so a +pinned commit may be briefly unreachable (typically hours) between +the two — replay against master at or after the commit above. From 1637e06a4d40b92e9d4b1635f8bbb782efb8d263 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 10:13:56 +0100 Subject: [PATCH 08/12] [K3] Cut O0b cell-11 off-guard systems --- experimental/agents-log.md | 13 ++ .../README.md | 50 +++++++ ..._mca_v4_433_1b_o0b_cell11_offguard_v1.json | 90 +++++++++++ .../verify.py | 140 ++++++++++++++++++ 4 files changed, 293 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_offguard_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/verify.py diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 27e7a5bf4..c44014501 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3753,3 +3753,16 @@ The packet pins three aggregate PROVED nodes and hostile audits at AllenGrahamHart/rs-mca-prize-dag @ `8df090339e3e`. Ledger movement remains 0. K3 remains open on eleven other positive routes, orientation/source-cover assembly, exact distinct-slope allocation, and independent review. + +## 2026-08-10 — [K3] repeated-BC O0b cell-11 off-guard route cut + +Added `kb-mca-v4-433-1b-o0b-cell11-offguard-v1`. Across eight source +towers, three missing representatives, two outside signs, and 15 residual +matchings, all 720 exact paired-product systems are empty at every deployed +nonzero-guard source value. Nested norms leave 1,584 exceptional-root +occurrences over 126 base values; exact all-pair replay excludes all 1,584. +The packet pins two PROVED nodes and 19 source artifacts at +AllenGrahamHart/rs-mca-prize-dag @ `81f218e38285`. Ledger movement remains +0. Missing `BE/CF`, guard and selected-cofactor boundaries, cell 14, +orientation, allocation, independent review, K3, and the KoalaBear row remain +open. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/README.md new file mode 100644 index 000000000..e13ab1583 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/README.md @@ -0,0 +1,50 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: All 720 repeated-BC O0b cell-11 DE+/DF+/EF representative systems are empty at every deployed off-guard source value. +architecture: positive-433-1b-O0b-common-repeat-cell11 +atom_or_cell: repeated-BC O0b cell-11 uncolored representative systems +quantifier: every deployed source value on the registered nonzero-guard chart +projection_and_unit: uncolored representative systems, not distinct bad slopes +claimed_bound: 0 surviving endpoints out of 720 representative systems +status: PROVED +impact: ROUTE_CUT +falsifier: a non-guard deployed source value at which all three paired-product Sylvester matrices are singular, an omitted representative, or a pinned-blob mismatch +replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/verify.py --source-root /path/to/rs-mca-prize-dag +--- + +# Repeated-BC `O0b` cell-11 deployed off-guard exclusion + +This packet exports a theorem that is separate from the closed +`433-1b -> O0a` raw workboard. It covers the repeated-BC `O0b` cell-11 +systems with missing representative `DE+`, `DF+`, or `EF`, both outside +signs, all 15 residual matchings, and all eight source towers. The exact +census is `8 * 3 * 2 * 15 = 720` systems. + +For each system, an exact quartic resultant is normed down the symmetric +source tower to the deployed base field. Of the 720 systems, 288 have no +off-guard deployed root. The other 432 produce 1,584 exceptional-root +occurrences over 126 base values. At every occurrence, all three equation +pairs are replayed and at least one Sylvester matrix has full rank. Thus no +common endpoint survives on the registered nonzero-guard chart. + +The certificate pins two PROVED campaign nodes and 19 source artifacts at +`AllenGrahamHart/rs-mca-prize-dag@81f218e38285`. Its verifier independently +checks the source-blob custody and the aggregate norm/replay census. + +This is a route cut, not K3 closure. It does not cover missing `BE/CF`, any +registered guard or selected-cofactor boundary, cell 14, source orientation, +distinct-slope allocation, or independent review. It moves no row ledger +value. + +## Provenance annotation + +The `provenance.commit` hash is the durable source pin. It is published on +the source repository branch +`codex/full-prize-resolution-v12-20260807`; it need not yet be an ancestor of +source `master` when this packet first lands. Replay from a checkout that +contains the pinned commit and do not infer proof status from the branch name. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_offguard_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_offguard_v1.json new file mode 100644 index 000000000..3a20b4e2f --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_offguard_v1.json @@ -0,0 +1,90 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-O0b-common-repeat-cell11", + "atom_or_cell": "repeated-BC O0b cell-11 uncolored representative systems", + "claimed_bound": "0 surviving endpoints out of 720 representative systems", + "direct_statement": "All 720 repeated-BC O0b cell-11 DE+/DF+/EF representative systems are empty at every deployed off-guard source value.", + "falsifier": "a non-guard deployed source value at which all three paired-product Sylvester matrices are singular, an omitted representative, or a pinned-blob mismatch", + "impact": "ROUTE_CUT", + "object": "MCA", + "projection_and_unit": "uncolored representative systems, not distinct bad slopes", + "quantifier": "every deployed source value on the registered nonzero-guard chart", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "evidence_files": { + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_generic_rank_modal.py": "d6995ccc293a30c3277c108a42dcbcbe1c7afa7eece40cd263a1cfd9cc9cb786", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_manifest.py": "4ec6de6737e081c8cdfb37d5edfa35b5a9d43fbff6d22ea0040d989e21731258", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_manifest.json": "1f2f13e925f7a6b05141b6757cb21417d8537866f59dce59ff7a2a6a56bc2fb1", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcminus_emm_result.json": "3fdf054568151bd55799507bfb92314758e67f51c9829ab0c0ae18284b22a48c", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcminus_emp_result.json": "be543841e5a28692b06114154ad5b2c2ea55a91236743531649f2adb5c39e53e", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcminus_epm_result.json": "0288f3927dbbe2d1129e0dc83aecd1fbe271d48fa0487165223fc4689548d583", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcminus_epp_result.json": "6cb8f12b9736fbe557a922609045ef51e9024899bef6e65162a175180714f83e", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcplus_emm_result.json": "7fcaae4a89c5d4d65c49f6f078b6af7e71261b4564c7f96894d49a085a5bddca", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcplus_emp_result.json": "27a90f419645562223d6a4bc2eb4454a935f9ffc514b8983c0c907ce7ad0733a", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcplus_epm_result.json": "15fe77d6130ed26c0395d2c7d056e4a77f40a600ba4039597b4f481829d06631", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_resultant_norm_bcplus_epp_result.json": "6a082ad0f355500341b9ecabd5d040f9c4188b2425970219f28445b9a6f90301", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcminus_emm_result.json": "1c6abee11c174be2280928a8ef5a1031e6ce78ba56f727d0719b456390566e69", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcminus_emp_result.json": "78590a25e112c8470bfe5d0ee016cef1df8167dd0090612e5e417508ebb4d37f", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcminus_epm_result.json": "1dabb3b34e76f59966c03e1273917d1bd2a8bc2e0e643e3463aecab79683b286", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcminus_epp_result.json": "fa6b7b398afb095ae77ef31609dc9ea9452d7acaa27c9d36457335846f336839", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcplus_emm_result.json": "4b8a9cfb63d27f5734c21b80a0e624b0e21352b109a6c0959f7b05715942b26e", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcplus_emp_result.json": "feac376c5d39332a3cd8fac73643f57738250cd96a1c64f5e61e8ade487c059b", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcplus_epm_result.json": "3e403d3f7eba4d536995bd252ba6b7d8dd052627bd35aa306430a2dda598063f", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_uncolored_exceptional_replay_bcplus_epp_result.json": "acd61c91f6421c82bdece449704c585df7ceafe6d72df4f0ea4585c3f4f61e6e" + }, + "nodes": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_uncolored_generic_rank_atlas", + "node_manifest_sha256": "0029b434961f75c3b3eaa585d258cf12533b02cd1d8aeb4a6c6b6bd4784ae762", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_uncolored_generic_rank_atlas", + "status": "PROVED", + "verify_audit_sha256": "c12b2fffc83f153048839ac512a34d306c2861e85e00794ef4307decb6c36ea4", + "verify_sha256": "d8efa3819b3f231464fa9aa4e62ffad72a307877081552462c1b61010ab7a364" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_uncolored_deployed_off_guard_pair_exclusion", + "node_manifest_sha256": "b4527e4df3e7b75f689a279cefcee4b21005b5afafb19fa8fc99e7637673e14f", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_uncolored_deployed_off_guard_pair_exclusion", + "status": "PROVED", + "verify_audit_sha256": "a9b7532b2ce457fc4862baeeb4a0a559a90059f19d78e82e8f03a843eee80498", + "verify_sha256": "4b6abe5f3106d4890bae0fe267feab31dd9e1c5ad59813f8d9428745a935f91f" + } + ], + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Does not cover missing BE/CF, registered guard loci, selected-cofactor boundaries, or cell 14.", + "Does not perform source-orientation assembly or convert representatives to distinct affine slopes.", + "Does not discharge exact allocation or independent review." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "81f218e3828546ec591bbf6880ee3dd42f2eb23d", + "evidence_file_count": 19, + "node_count": 2, + "replay": "from this repo: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/verify.py --source-root /path/to/rs-mca-prize-dag", + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-o0b-cell11-offguard-v1", + "statement": { + "claims": { + "deployed_exceptional_replay": "1584 of 1584 exceptional-root occurrences are excluded by a full-rank equation pair", + "distinct_base_values": 126, + "norm_partition": "288 off-guard units plus 432 pointwise norm covers equals 720 representatives", + "representative_census": "8 source towers times 3 missing records times 2 outside signs times 15 residual matchings equals 720" + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_ROUTE_CUT_BOUNDARIES_OPEN", + "title": "Repeated-BC O0b cell-11 deployed off-guard pair exclusion", + "workboard_item": "K3" + } +} + diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/verify.py b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/verify.py new file mode 100644 index 000000000..9b962c435 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-offguard-v1/verify.py @@ -0,0 +1,140 @@ +#!/usr/bin/env python3 +"""Verify the O0b cell-11 off-guard certificate and pinned source blobs.""" + +import argparse +from collections import Counter +import hashlib +import json +import subprocess +from pathlib import Path + + +HERE = Path(__file__).resolve().parent +CERT = HERE / "kb_mca_v4_433_1b_o0b_cell11_offguard_v1.json" +MANIFEST_SUFFIX = "cell11_uncolored_exceptional_replay_manifest.json" + + +def require(condition, message): + if not condition: + raise RuntimeError(message) + + +def blob(root, commit, path): + return subprocess.run( + ["git", "-C", str(root), "show", f"{commit}:{path}"], + check=True, + stdout=subprocess.PIPE, + ).stdout + + +def digest(value): + return hashlib.sha256(value).hexdigest() + + +def validate_source(cert, source_root): + commit = cert["provenance"]["commit"] + checked = 0 + for node in cert["nodes"]: + for key, name in ( + ("node_manifest_sha256", "node.json"), + ("verify_sha256", "verify.py"), + ("verify_audit_sha256", "verify_audit.py"), + ): + path = f"{node['path']}/{name}" + require(digest(blob(source_root, commit, path)) == node[key], + f"digest mismatch: {path}") + checked += 1 + manifest = json.loads(blob( + source_root, commit, f"{node['path']}/node.json" + )) + require(manifest["node"]["id"] == node["id"], "node id") + require(manifest["node"]["status"] == "PROVED", "node status") + + norm_status = Counter() + norm_rows = 0 + root_occurrences = 0 + distinct_x = set() + replay_rows = 0 + replay_excluded = 0 + manifest_payload = None + for path, expected in cert["evidence_files"].items(): + raw = blob(source_root, commit, path) + require(digest(raw) == expected, f"digest mismatch: {path}") + checked += 1 + if not path.endswith(".json"): + continue + payload = json.loads(raw) + if "_resultant_norm_" in path: + require(payload["case_count"] == len(payload["rows"]) == 90, + "norm shard census") + norm_rows += payload["case_count"] + norm_status.update(payload["status_counts"]) + for row in payload["rows"]: + roots = row["selected"]["resultant_nested_norm"][ + "non_guard_base_field_roots" + ] + root_occurrences += len(roots) + distinct_x.update(root["x"] for root in roots) + elif "_exceptional_replay_bc" in path: + require(payload["case_count"] == len(payload["rows"]), + "replay shard census") + replay_rows += payload["case_count"] + replay_excluded += payload["status_counts"].get( + "EXCEPTIONAL_ROOT_EXCLUDED", 0 + ) + elif path.endswith(MANIFEST_SUFFIX): + manifest_payload = payload + + require(norm_rows == 720, "norm aggregate census") + require(norm_status == Counter({ + "DEPLOYED_OFF_GUARD_UNIT": 288, + "DEPLOYED_POINTWISE_NORM_COVER": 432, + }), "norm aggregate partition") + require(root_occurrences == replay_rows == replay_excluded == 1584, + "exceptional replay census") + require(len(distinct_x) == 126, "distinct base-value census") + require(manifest_payload is not None, "exceptional manifest") + require(manifest_payload["case_count"] == 1584, "manifest cases") + require(manifest_payload["distinct_x_count"] == 126, + "manifest distinct values") + return checked + + +def main(): + parser = argparse.ArgumentParser() + parser.add_argument( + "--source-root", + type=Path, + help="checkout containing the pinned rs-mca-prize-dag commit", + ) + args = parser.parse_args() + + cert = json.loads(CERT.read_text()) + require(cert["schema"] == "kb-mca-v4-433-1b-o0b-cell11-offguard-v1", + "schema") + require(not cert["K3_closed"] and not cert["KoalaBear_row_closed"], + "scope flags") + require(cert["statement"]["ledger_movement"] == 0, "ledger movement") + require(len(cert["nodes"]) == cert["provenance"]["node_count"] == 2, + "node count") + require( + len(cert["evidence_files"]) + == cert["provenance"]["evidence_file_count"] == 19, + "evidence count", + ) + require(8 * 3 * 2 * 15 == 720, "representative arithmetic") + require(288 + 432 == 720, "norm partition arithmetic") + + checked = 0 + if args.source_root is not None: + checked = validate_source(cert, args.source_root) + print( + "O0B_CELL11_OFFGUARD_CERT_PASS " + f"nodes=2 blobs={checked} representatives=720 roots=1584 " + "distinct_x=126 excluded=1584" + ) + + +if __name__ == "__main__": + main() + From 28b2e1c9b17d2b5fb46e6242cfea2a69e1da5d45 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 10:26:49 +0100 Subject: [PATCH 09/12] [K3] Exclude colored O0b cell-11 records off guard --- experimental/agents-log.md | 11 ++ .../README.md | 42 +++++++ ...433_1b_o0b_cell11_colored_offguard_v1.json | 63 ++++++++++ .../verify.py | 110 ++++++++++++++++++ 4 files changed, 226 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_colored_offguard_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/verify.py diff --git a/experimental/agents-log.md b/experimental/agents-log.md index c44014501..fb7d19642 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3766,3 +3766,14 @@ AllenGrahamHart/rs-mca-prize-dag @ `81f218e38285`. Ledger movement remains 0. Missing `BE/CF`, guard and selected-cofactor boundaries, cell 14, orientation, allocation, independent review, K3, and the KoalaBear row remain open. + +## 2026-08-10 — [K3] repeated-BC O0b cell-11 colored off-guard cut + +Added `kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1`. The missing +`BE/CF` endpoint product fixes the colored endpoint, and its reconstructed +squared sum gives one necessary source-algebra consistency identity. All 16 +exact norms are units on the deployed rational open: their only base-field +roots are `x=0,1` for `BC-` and `x=0,-1` for `BC+`, all registered guards. +The packet pins one PROVED node and four evidence files at +AllenGrahamHart/rs-mca-prize-dag @ `96868562394e`. Ledger movement is 0; +finite guard/cofactor fibers and all later K3 obligations remain open. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/README.md new file mode 100644 index 000000000..39bb5e4eb --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/README.md @@ -0,0 +1,42 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: Missing BE and CF are impossible on every deployed off-guard repeated-BC O0b cell-11 source value. +architecture: positive-433-1b-O0b-common-repeat-cell11 +atom_or_cell: repeated-BC O0b cell-11 colored missing records +quantifier: all eight source towers and both colored missing records on the registered rational open +projection_and_unit: source consistency cases, not distinct bad slopes +claimed_bound: 0 surviving colored source cases out of 16 +status: PROVED +impact: ROUTE_CUT +falsifier: a deployed non-guard root of either exact source-algebra norm, a missing source tower, or a pinned-blob mismatch +replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/verify.py --source-root /path/to/rs-mca-prize-dag +--- + +# Repeated-BC `O0b` cell-11 colored off-guard exclusion + +The common-kernel reconstruction gives the missing endpoint product `q` and +squared sum `s^2`. If `BE` is missing, then `e=q/b` and +`(b+q/b)^2=s^2` is necessary; the `CF` identity is symmetric. Exact +source-algebra norms test these identities before residual matching. + +All 16 cases are units on the deployed rational open. For `BC-`, the only +base-field norm roots are `x=0,1`; for `BC+`, they are `x=0,-1`. Every root +is a registered chart guard, so there is no deployed off-guard source point +with missing `BE` or `CF`. + +The certificate pins one PROVED node and four evidence files at +`AllenGrahamHart/rs-mca-prize-dag@96868562394e`. It does not cover guard or +selected-cofactor boundaries, cell 14, orientation, slope allocation, +independent review, K3, or the KoalaBear row. Ledger movement is zero. + +## Provenance annotation + +The `provenance.commit` hash is the durable source pin. It is published on +`codex/full-prize-resolution-v12-20260807` and need not yet be an ancestor of +source `master`. Replay from a checkout containing the pinned commit. + diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_colored_offguard_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_colored_offguard_v1.json new file mode 100644 index 000000000..953e25ab7 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/kb_mca_v4_433_1b_o0b_cell11_colored_offguard_v1.json @@ -0,0 +1,63 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-O0b-common-repeat-cell11", + "atom_or_cell": "repeated-BC O0b cell-11 colored missing records", + "claimed_bound": "0 surviving colored source cases out of 16", + "direct_statement": "Missing BE and CF are impossible on every deployed off-guard repeated-BC O0b cell-11 source value.", + "falsifier": "a deployed non-guard root of either exact source-algebra norm, a missing source tower, or a pinned-blob mismatch", + "impact": "ROUTE_CUT", + "object": "MCA", + "projection_and_unit": "source consistency cases, not distinct bad slopes", + "quantifier": "all eight source towers and both colored missing records on the registered rational open", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "evidence_files": { + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_colored_consistency_modal.py": "c78beb924d657c304cbb408aefbd4d24048490afd80513b106356bd144761b7c", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_colored_consistency_result.json": "ef33475d85bdb333c8a698b8a449191092dc2e8b9f409a97538be02a46b10c88", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_function_field_core.py": "336aace4780acce09d9cb53cc969635d16a038af0a5379338a746e086758aac7", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_symmetric_tower_result.json": "e80940956518b958dafe74eb34e8ce4f00ce729e78646203bb0724057e6f7899" + }, + "node": { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_colored_deployed_off_guard_consistency_exclusion", + "node_manifest_sha256": "97113031298bfdad17744240c939713c267bc8d28fe947eaadb96c7450b9d29e", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_colored_deployed_off_guard_consistency_exclusion", + "status": "PROVED", + "verify_audit_sha256": "87226a1b69683eeb9b76f55869a77d90ea0c86fe145f9286cf28cd369f3f7904", + "verify_sha256": "5a2a3c9ea1936f46bfa4452fb3faa5ce31ac3ffa96ab4aacdc8f2887a111925e" + }, + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Does not cover registered guard or selected-cofactor boundary fibers.", + "Does not close cell 14, assemble orientations, or convert source cases to distinct slopes." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "96868562394ef11fb6a0b9173b06bfd4988f1457", + "evidence_file_count": 4, + "node_count": 1, + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1", + "statement": { + "claims": { + "BC_minus_roots": "x=0 with multiplicity 5 and x=1 with multiplicity 12; both guards", + "BC_plus_roots": "x=0 with multiplicity 4 and x=-1 with multiplicity 8; both guards", + "case_census": "8 source towers times 2 colored records equals 16", + "non_guard_roots": 0 + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_ROUTE_CUT_BOUNDARIES_OPEN", + "title": "Repeated-BC O0b cell-11 colored off-guard exclusion", + "workboard_item": "K3" + } +} + diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/verify.py b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/verify.py new file mode 100644 index 000000000..701435ed8 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1/verify.py @@ -0,0 +1,110 @@ +#!/usr/bin/env python3 +"""Verify the O0b cell-11 colored off-guard certificate.""" + +import argparse +import hashlib +import json +import subprocess +from pathlib import Path + + +HERE = Path(__file__).resolve().parent +CERT = HERE / "kb_mca_v4_433_1b_o0b_cell11_colored_offguard_v1.json" +PRIME = 2130706433 + + +def require(condition, message): + if not condition: + raise RuntimeError(message) + + +def blob(root, commit, path): + return subprocess.run( + ["git", "-C", str(root), "show", f"{commit}:{path}"], + check=True, + stdout=subprocess.PIPE, + ).stdout + + +def digest(value): + return hashlib.sha256(value).hexdigest() + + +def validate_source(cert, source_root): + commit = cert["provenance"]["commit"] + node = cert["node"] + checked = 0 + for key, name in ( + ("node_manifest_sha256", "node.json"), + ("verify_sha256", "verify.py"), + ("verify_audit_sha256", "verify_audit.py"), + ): + path = f"{node['path']}/{name}" + require(digest(blob(source_root, commit, path)) == node[key], + f"digest mismatch: {path}") + checked += 1 + manifest = json.loads(blob( + source_root, commit, f"{node['path']}/node.json" + )) + require(manifest["node"]["id"] == node["id"], "node id") + require(manifest["node"]["status"] == "PROVED", "node status") + + result = None + for path, expected in cert["evidence_files"].items(): + raw = blob(source_root, commit, path) + require(digest(raw) == expected, f"digest mismatch: {path}") + checked += 1 + if path.endswith("colored_consistency_result.json"): + result = json.loads(raw) + require(result is not None, "result payload") + require(result["source_tower_count"] == 8, "tower census") + require(result["case_count"] == 16, "case census") + require(result["status_counts"] == {"DEPLOYED_OFF_GUARD_UNIT": 16}, + "status census") + require(result["non_guard_root_occurrences"] == 0, "non-guard roots") + for source in result["rows"]: + require(source["tower_valid"], "tower validity") + require({row["missing_record"] for row in source["rows"]} + == {"BE", "CF"}, "record cover") + expected = ( + [(0, 5), (1, 12)] if source["bc_sign"] == -1 + else [(0, 4), (PRIME - 1, 8)] + ) + for row in source["rows"]: + roots = [ + (root["x"], root["multiplicity"]) + for root in row["base_field_roots"] + ] + require(roots == expected, "root profile") + require(all(not root["construction_guards_nonzero"] + for root in row["base_field_roots"]), + "guard classification") + return checked + + +def main(): + parser = argparse.ArgumentParser() + parser.add_argument("--source-root", type=Path) + args = parser.parse_args() + cert = json.loads(CERT.read_text()) + require(cert["schema"] + == "kb-mca-v4-433-1b-o0b-cell11-colored-offguard-v1", "schema") + require(not cert["K3_closed"] and not cert["KoalaBear_row_closed"], + "scope flags") + require(cert["statement"]["ledger_movement"] == 0, "ledger movement") + require(cert["provenance"]["node_count"] == 1, "node count") + require(len(cert["evidence_files"]) + == cert["provenance"]["evidence_file_count"] == 4, + "evidence count") + checked = 0 + if args.source_root is not None: + checked = validate_source(cert, args.source_root) + print( + "O0B_CELL11_COLORED_OFFGUARD_CERT_PASS " + f"blobs={checked} towers=8 cases=16 non_guard_roots=0" + ) + + +if __name__ == "__main__": + main() + From 7fcd2e8fc62119db26f6a0386febdfa1a6c4f7f9 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 10:49:13 +0100 Subject: [PATCH 10/12] [K3] Exclude cell-11 selected-cofactor chart boundary --- .../README.md | 42 ++++++ ...33_1b_o0b_cell11_cofactor_boundary_v1.json | 66 ++++++++++ .../verify.py | 123 ++++++++++++++++++ 3 files changed, 231 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md new file mode 100644 index 000000000..b5432ddc7 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md @@ -0,0 +1,42 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: The selected product-rank cofactor is nonzero at every base-field point on all eight deployed repeated-BC O0b cell-11 tower charts. +architecture: positive-433-1b-O0b-common-repeat-cell11 +atom_or_cell: repeated-BC O0b cell-11 selected-cofactor chart boundary +quantifier: all eight epsilon/sign source towers on the registered rational chart +projection_and_unit: source tower x-roots, not distinct bad slopes +claimed_bound: 0 deployed selected-cofactor boundary points +status: PROVED +impact: ROUTE_CUT +falsifier: a base-field norm root with every registered tower guard nonzero, a missing source tower, or a pinned-blob mismatch +replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py --source-root /path/to/rs-mca-prize-dag +--- + +# Repeated-BC `O0b` cell-11 selected-cofactor chart cut + +The exact degree-seven product-rank cofactor is substituted into each finite +symmetric tower algebra and normed to `F_2130706433(x)`. Over the base field, +the BC- norm has only `x=1` as a root and the BC+ norm has only `x=-1`. +Registered tower guards vanish at both roots, so the selected-cofactor zero +fiber has no point on any deployed source chart. + +The irreducible factor profiles are `(degree 2)^2 (degree 1)^10` for BC- and +`(degree 3)^2 (degree 2)^4 (degree 1)^4` for BC+. This is a finite-field +chart cut for the exact second-moment ledger, not a statement that the +cofactor boundary is empty over extension fields. + +The certificate pins one PROVED node and five evidence files at +`AllenGrahamHart/rs-mca-prize-dag@9d4355e26400`. It does not cover the +registered guard complement, cell 14, orientation, slope allocation, +independent review, K3, or the KoalaBear row. Ledger movement is zero. + +## Provenance annotation + +The `provenance.commit` hash is the durable source pin. It is published on +`codex/full-prize-resolution-v12-20260807` and need not yet be an ancestor of +source `master`. Replay from a checkout containing the pinned commit. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json new file mode 100644 index 000000000..efc90d644 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json @@ -0,0 +1,66 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-O0b-common-repeat-cell11", + "atom_or_cell": "repeated-BC O0b cell-11 selected-cofactor chart boundary", + "claimed_bound": "0 deployed selected-cofactor boundary points", + "direct_statement": "The selected product-rank cofactor is nonzero at every base-field point on all eight deployed repeated-BC O0b cell-11 tower charts.", + "falsifier": "a base-field norm root with every registered tower guard nonzero, a missing source tower, or a pinned-blob mismatch", + "impact": "ROUTE_CUT", + "object": "MCA", + "projection_and_unit": "source tower x-roots, not distinct bad slopes", + "quantifier": "all eight epsilon/sign source towers on the registered rational chart", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "evidence_files": { + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_function_field_core.py": "336aace4780acce09d9cb53cc969635d16a038af0a5379338a746e086758aac7", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_principal_input_result.json": "a9c3f10fc7e368f88599bce085598d641d0a73352a1f7d54e06abcd9b4aabbf7", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_boundary_modal.py": "2d2449c5f58e25006c40b4eb1a3e199498ba81659baa5e3a42d2c35c9fe656b8", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_boundary_result.json": "8c9a12c38c1cb4f48a9c9fd8b648a297131b6de26479eec42ab786f4dac496e3", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_symmetric_tower_result.json": "e80940956518b958dafe74eb34e8ce4f00ce729e78646203bb0724057e6f7899" + }, + "node": { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_deployed_boundary_exclusion", + "node_manifest_sha256": "11797227ebbb3f783fdb5981e202381750c769bf42174e1636b57e183c03e412", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_deployed_boundary_exclusion", + "status": "PROVED", + "verify_audit_sha256": "c3ac6eabc7c77dac35ef2fdbe1f28053f2e642e19f7c9a1bd595a585e0de9a74", + "verify_sha256": "5f53a5925ac977e31ef56123cc940e2d9003c31a0ba4b641b14efbfe261ece18" + }, + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Does not cover any point omitted by a registered tower guard.", + "Does not assert absence of selected-cofactor zeros over extension fields.", + "Does not close cell 14, assemble orientations, or convert source cases to distinct slopes." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "9d4355e264005afc55522223b3172d2d4a77d526", + "evidence_file_count": 5, + "node_count": 1, + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1", + "statement": { + "claims": { + "BC_minus_factors": [[2, 2], [1, 10]], + "BC_minus_root": "x=1 with multiplicity 10; six registered guards vanish", + "BC_plus_factors": [[3, 2], [2, 4], [1, 4]], + "BC_plus_root": "x=-1 with multiplicity 4; four registered guards vanish", + "case_census": "8 epsilon/sign source towers", + "deployed_base_field_roots": 0 + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_ROUTE_CUT_GUARD_COMPLEMENT_OPEN", + "title": "Repeated-BC O0b cell-11 selected-cofactor chart cut", + "workboard_item": "K3" + } +} diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py new file mode 100644 index 000000000..f5bbbc3e7 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py @@ -0,0 +1,123 @@ +#!/usr/bin/env python3 +"""Verify the O0b cell-11 selected-cofactor chart certificate.""" + +import argparse +import hashlib +import itertools +import json +import subprocess +from pathlib import Path + + +HERE = Path(__file__).resolve().parent +CERT = HERE / "kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json" +PRIME = 2130706433 + + +def require(condition, message): + if not condition: + raise RuntimeError(message) + + +def blob(root, commit, path): + return subprocess.run( + ["git", "-C", str(root), "show", f"{commit}:{path}"], + check=True, + stdout=subprocess.PIPE, + ).stdout + + +def digest(value): + return hashlib.sha256(value).hexdigest() + + +def validate_source(cert, source_root): + commit = cert["provenance"]["commit"] + node = cert["node"] + checked = 0 + for key, name in ( + ("node_manifest_sha256", "node.json"), + ("verify_sha256", "verify.py"), + ("verify_audit_sha256", "verify_audit.py"), + ): + path = f"{node['path']}/{name}" + require(digest(blob(source_root, commit, path)) == node[key], + f"digest mismatch: {path}") + checked += 1 + manifest = json.loads(blob( + source_root, commit, f"{node['path']}/node.json" + )) + require(manifest["node"]["id"] == node["id"], "node id") + require(manifest["node"]["status"] == "PROVED", "node status") + + result = None + for path, expected in cert["evidence_files"].items(): + raw = blob(source_root, commit, path) + require(digest(raw) == expected, f"digest mismatch: {path}") + checked += 1 + if path.endswith("selected_cofactor_boundary_result.json"): + result = json.loads(raw) + require(result is not None, "result payload") + require(result["case_count"] == len(result["rows"]) == 8, + "tower census") + require(result["status_counts"] + == {"NO_DEPLOYED_FIELD_BOUNDARY_POINT": 8}, "status census") + require(result["deployed_boundary_root_occurrences"] == 0, + "deployed root census") + require(result["field_boundary_point_count"] == 0, + "field point census") + expected_keys = set(itertools.product((-1, 1), repeat=3)) + seen = set() + for row in result["rows"]: + key = (row["epsilon"][0], row["epsilon"][1], row["bc_sign"]) + require(key in expected_keys and key not in seen, "tower key") + seen.add(key) + if row["bc_sign"] == -1: + factors = [(2, 2), (1, 10)] + root = (1, 10, [3, 4, 5, 6, 7, 8]) + else: + factors = [(3, 2), (2, 4), (1, 4)] + root = (PRIME - 1, 4, [2, 3, 4, 5]) + require([(item["degree"], item["multiplicity"]) + for item in row["norm_numerator_factorization"]] == factors, + "factor profile") + require(len(row["base_field_roots"]) == 1, "root count") + actual = row["base_field_roots"][0] + require((actual["x"], actual["multiplicity"], + actual["zero_guard_indices"]) == root, "root profile") + require(not actual["pre_cofactor_guards_nonzero"], + "guard classification") + require(row["off_chart_roots"] == row["base_field_roots"], + "off-chart roots") + require(row["deployed_boundary_roots"] == [], "deployed roots") + require(row["boundary_points"] == [], "boundary points") + require(seen == expected_keys, "Cartesian coverage") + return checked + + +def main(): + parser = argparse.ArgumentParser() + parser.add_argument("--source-root", type=Path) + args = parser.parse_args() + cert = json.loads(CERT.read_text()) + require(cert["schema"] + == "kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1", + "schema") + require(not cert["K3_closed"] and not cert["KoalaBear_row_closed"], + "scope flags") + require(cert["statement"]["ledger_movement"] == 0, "ledger movement") + require(cert["provenance"]["node_count"] == 1, "node count") + require(len(cert["evidence_files"]) + == cert["provenance"]["evidence_file_count"] == 5, + "evidence count") + checked = 0 + if args.source_root is not None: + checked = validate_source(cert, args.source_root) + print( + "O0B_CELL11_COFACTOR_BOUNDARY_CERT_PASS " + f"blobs={checked} towers=8 base_roots=8 deployed_roots=0" + ) + + +if __name__ == "__main__": + main() From 70c2bf61b76df5a03f2b9d0279c4a47edd8d3d8f Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 10:54:39 +0100 Subject: [PATCH 11/12] [K3] Strengthen cell-11 cofactor cut to guarded sources --- .../README.md | 23 +++++----- ...33_1b_o0b_cell11_cofactor_boundary_v1.json | 32 ++++++++----- .../verify.py | 45 +++++++++++-------- 3 files changed, 62 insertions(+), 38 deletions(-) diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md index b5432ddc7..04067f0c0 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md @@ -5,15 +5,15 @@ object: MCA target_epsilon: 2^-128 agreement: 1116048 B_star: 274980728111395087 -direct_statement: The selected product-rank cofactor is nonzero at every base-field point on all eight deployed repeated-BC O0b cell-11 tower charts. +direct_statement: The selected product-rank cofactor is nonzero at every guarded base-field source point in all eight repeated-BC O0b cell-11 common rows. architecture: positive-433-1b-O0b-common-repeat-cell11 atom_or_cell: repeated-BC O0b cell-11 selected-cofactor chart boundary -quantifier: all eight epsilon/sign source towers on the registered rational chart +quantifier: all eight epsilon/sign guarded common-source rows projection_and_unit: source tower x-roots, not distinct bad slopes -claimed_bound: 0 deployed selected-cofactor boundary points +claimed_bound: 0 guarded selected-cofactor boundary points status: PROVED impact: ROUTE_CUT -falsifier: a base-field norm root with every registered tower guard nonzero, a missing source tower, or a pinned-blob mismatch +falsifier: a guarded base-field common-source point on the selected-cofactor zero fiber, a missing source row, or a pinned-blob mismatch replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py --source-root /path/to/rs-mca-prize-dag --- @@ -22,18 +22,21 @@ replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofac The exact degree-seven product-rank cofactor is substituted into each finite symmetric tower algebra and normed to `F_2130706433(x)`. Over the base field, the BC- norm has only `x=1` as a root and the BC+ norm has only `x=-1`. -Registered tower guards vanish at both roots, so the selected-cofactor zero -fiber has no point on any deployed source chart. +Registered tower guards vanish at both roots. The pinned chart-coverage unit +ideals independently prove that no original guarded common-source point lies +on `x*y*(x-1)*(x+1)=0`. Hence the selected-cofactor zero fiber has no +guarded base-field source point. The irreducible factor profiles are `(degree 2)^2 (degree 1)^10` for BC- and `(degree 3)^2 (degree 2)^4 (degree 1)^4` for BC+. This is a finite-field chart cut for the exact second-moment ledger, not a statement that the cofactor boundary is empty over extension fields. -The certificate pins one PROVED node and five evidence files at -`AllenGrahamHart/rs-mca-prize-dag@9d4355e26400`. It does not cover the -registered guard complement, cell 14, orientation, slope allocation, -independent review, K3, or the KoalaBear row. Ledger movement is zero. +The certificate pins two PROVED nodes and seven evidence files at +`AllenGrahamHart/rs-mca-prize-dag@1f757c1a1af9`. It does not cover later +guards introduced by missing-record reconstruction or outside resultants, +cell 14, orientation, slope allocation, independent review, K3, or the +KoalaBear row. Ledger movement is zero. ## Provenance annotation diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json index efc90d644..744c892b1 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_cofactor_boundary_v1.json @@ -6,19 +6,21 @@ "agreement": 1116048, "architecture": "positive-433-1b-O0b-common-repeat-cell11", "atom_or_cell": "repeated-BC O0b cell-11 selected-cofactor chart boundary", - "claimed_bound": "0 deployed selected-cofactor boundary points", - "direct_statement": "The selected product-rank cofactor is nonzero at every base-field point on all eight deployed repeated-BC O0b cell-11 tower charts.", - "falsifier": "a base-field norm root with every registered tower guard nonzero, a missing source tower, or a pinned-blob mismatch", + "claimed_bound": "0 guarded selected-cofactor boundary points", + "direct_statement": "The selected product-rank cofactor is nonzero at every guarded base-field source point in all eight repeated-BC O0b cell-11 common rows.", + "falsifier": "a guarded base-field common-source point on the selected-cofactor zero fiber, a missing source row, or a pinned-blob mismatch", "impact": "ROUTE_CUT", "object": "MCA", "projection_and_unit": "source tower x-roots, not distinct bad slopes", - "quantifier": "all eight epsilon/sign source towers on the registered rational chart", + "quantifier": "all eight epsilon/sign guarded common-source rows", "row": "KoalaBear MCA at 2^-128", "status": "PROVED", "target_epsilon": "2^-128", "workboard_item": "K3" }, "evidence_files": { + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_chart_coverage_modal.py": "99946dc4afc5e4c1f86bde5e5c8e1a706d4b96ee868a1d78cdb80d272e8c0ec4", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_chart_coverage_result.json": "6eb057ca4d01517438643c7e09f5de2c4c52220e79292540e58597120abc006a", "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_function_field_core.py": "336aace4780acce09d9cb53cc969635d16a038af0a5379338a746e086758aac7", "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_principal_input_result.json": "a9c3f10fc7e368f88599bce085598d641d0a73352a1f7d54e06abcd9b4aabbf7", "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_boundary_modal.py": "2d2449c5f58e25006c40b4eb1a3e199498ba81659baa5e3a42d2c35c9fe656b8", @@ -27,23 +29,33 @@ }, "node": { "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_deployed_boundary_exclusion", - "node_manifest_sha256": "11797227ebbb3f783fdb5981e202381750c769bf42174e1636b57e183c03e412", + "node_manifest_sha256": "45014ae10d913445420679efad04f91530e0f987d61210dd12533b3779769121", "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_selected_cofactor_deployed_boundary_exclusion", "status": "PROVED", "verify_audit_sha256": "c3ac6eabc7c77dac35ef2fdbe1f28053f2e642e19f7c9a1bd595a585e0de9a74", "verify_sha256": "5f53a5925ac977e31ef56123cc940e2d9003c31a0ba4b641b14efbfe261ece18" }, + "dependencies": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_symmetric_function_field_tower", + "node_manifest_sha256": "43d1197f6294c63fe75f09170baad5f8864c802a94e5125672b0a6f7bdcc4172", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_symmetric_function_field_tower", + "status": "PROVED", + "verify_audit_sha256": "568060d3ccb86eb6773e7a1fc50e18537227a999b8cc020dbba72b2b2399dc5a", + "verify_sha256": "fb27b726f46de38944a45d5b5e40341d9ffdec8e2461c2eeaef18246d51c17df" + } + ], "nonclaims": [ "Does not close K3 or the KoalaBear row.", - "Does not cover any point omitted by a registered tower guard.", + "Does not cover later guards introduced by missing-record reconstruction or outside-resultant elimination.", "Does not assert absence of selected-cofactor zeros over extension fields.", "Does not close cell 14, assemble orientations, or convert source cases to distinct slopes." ], "provenance": { "branch": "codex/full-prize-resolution-v12-20260807", - "commit": "9d4355e264005afc55522223b3172d2d4a77d526", - "evidence_file_count": 5, - "node_count": 1, + "commit": "1f757c1a1af966b7818a60afecc010afc4193b9d", + "evidence_file_count": 7, + "node_count": 2, "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" }, "schema": "kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1", @@ -59,7 +71,7 @@ "deployed_characteristic": 2130706433, "ledger_movement": 0, "row": "KoalaBear MCA at 2^-128", - "status": "PROVED_ROUTE_CUT_GUARD_COMPLEMENT_OPEN", + "status": "PROVED_ROUTE_CUT_LATER_GUARDS_OPEN", "title": "Repeated-BC O0b cell-11 selected-cofactor chart cut", "workboard_item": "K3" } diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py index f5bbbc3e7..0d55b9f32 100644 --- a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py @@ -33,31 +33,39 @@ def digest(value): def validate_source(cert, source_root): commit = cert["provenance"]["commit"] - node = cert["node"] checked = 0 - for key, name in ( - ("node_manifest_sha256", "node.json"), - ("verify_sha256", "verify.py"), - ("verify_audit_sha256", "verify_audit.py"), - ): - path = f"{node['path']}/{name}" - require(digest(blob(source_root, commit, path)) == node[key], - f"digest mismatch: {path}") - checked += 1 - manifest = json.loads(blob( - source_root, commit, f"{node['path']}/node.json" - )) - require(manifest["node"]["id"] == node["id"], "node id") - require(manifest["node"]["status"] == "PROVED", "node status") + for node in [cert["node"], *cert["dependencies"]]: + for key, name in ( + ("node_manifest_sha256", "node.json"), + ("verify_sha256", "verify.py"), + ("verify_audit_sha256", "verify_audit.py"), + ): + path = f"{node['path']}/{name}" + require(digest(blob(source_root, commit, path)) == node[key], + f"digest mismatch: {path}") + checked += 1 + manifest = json.loads(blob( + source_root, commit, f"{node['path']}/node.json" + )) + require(manifest["node"]["id"] == node["id"], "node id") + require(manifest["node"]["status"] == "PROVED", "node status") result = None + chart = None for path, expected in cert["evidence_files"].items(): raw = blob(source_root, commit, path) require(digest(raw) == expected, f"digest mismatch: {path}") checked += 1 if path.endswith("selected_cofactor_boundary_result.json"): result = json.loads(raw) + if path.endswith("cell11_chart_coverage_result.json"): + chart = json.loads(raw) require(result is not None, "result payload") + require(chart is not None, "chart payload") + require(chart["status_counts"] == {"UNIT": 8}, "chart status") + require(len(chart["rows"]) == 8, "chart row census") + require(all(row["one_remainder"] == "0" and row["basis_size"] == 1 + for row in chart["rows"]), "chart unit ideals") require(result["case_count"] == len(result["rows"]) == 8, "tower census") require(result["status_counts"] @@ -106,16 +114,17 @@ def main(): require(not cert["K3_closed"] and not cert["KoalaBear_row_closed"], "scope flags") require(cert["statement"]["ledger_movement"] == 0, "ledger movement") - require(cert["provenance"]["node_count"] == 1, "node count") + require(len(cert["dependencies"]) == 1, "dependency count") + require(cert["provenance"]["node_count"] == 2, "node count") require(len(cert["evidence_files"]) - == cert["provenance"]["evidence_file_count"] == 5, + == cert["provenance"]["evidence_file_count"] == 7, "evidence count") checked = 0 if args.source_root is not None: checked = validate_source(cert, args.source_root) print( "O0B_CELL11_COFACTOR_BOUNDARY_CERT_PASS " - f"blobs={checked} towers=8 base_roots=8 deployed_roots=0" + f"blobs={checked} towers=8 base_roots=8 guarded_points=0" ) From ed4877cce5f227f33311fa93f5ff5e5f4150ae63 Mon Sep 17 00:00:00 2001 From: AllenGrahamHart Date: Mon, 10 Aug 2026 11:03:36 +0100 Subject: [PATCH 12/12] [K3] Exclude cell-11 reconstruction boundary --- .../README.md | 42 ++++++ ...o0b_cell11_reconstruction_boundary_v1.json | 82 ++++++++++++ .../verify.py | 125 ++++++++++++++++++ 3 files changed, 249 insertions(+) create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/README.md create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_reconstruction_boundary_v1.json create mode 100644 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/verify.py diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/README.md b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/README.md new file mode 100644 index 000000000..9e86b7e4d --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/README.md @@ -0,0 +1,42 @@ +--- +workboard_item: K3 +row: KoalaBear MCA at 2^-128 +object: MCA +target_epsilon: 2^-128 +agreement: 1116048 +B_star: 274980728111395087 +direct_statement: The common-kernel denominator A(lambda_missing) is nonzero at every guarded base-field repeated-BC O0b cell-11 source. +architecture: positive-433-1b-O0b-common-repeat-cell11 +atom_or_cell: repeated-BC O0b cell-11 missing-label reconstruction boundary +quantifier: all eight epsilon/sign guarded common-source rows +projection_and_unit: source tower points, not distinct bad slopes +claimed_bound: 0 guarded reconstruction-denominator boundary points +status: PROVED +impact: ROUTE_CUT +falsifier: a guarded base-field common-source point with A(lambda_missing)=0, a missing source row, or a pinned-blob mismatch +replay: python3 experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/verify.py --source-root /path/to/rs-mca-prize-dag +--- + +# Repeated-BC `O0b` cell-11 reconstruction-denominator cut + +The exact common-kernel formulas use the denominator `A(lambda_missing)`. +Its finite-algebra norm has no chart-level base-field root for BC-. BC+ has +three candidate `x`-values: one has no base-field source lift, and the other +two give 16 lifts across the four epsilon rows. Direct replay of the original +six common equations and guard shows that every lift has `b=c` and zero +common guard. Hence none is a guarded source. + +This removes one genuine mathematical denominator from the K3 cell-11 guard +frontier. It does not certify every pivot generated by a particular quotient +or resultant implementation. + +The certificate pins three PROVED nodes and five evidence files at +`AllenGrahamHart/rs-mca-prize-dag@925ac7755892`. It does not close later +endpoint/resultant guards, cell 14, orientation, slope allocation, independent +review, K3, or the KoalaBear row. Ledger movement is zero. + +## Provenance annotation + +The `provenance.commit` hash is the durable source pin. It is published on +`codex/full-prize-resolution-v12-20260807` and need not yet be an ancestor of +source `master`. Replay from a checkout containing the pinned commit. diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_reconstruction_boundary_v1.json b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_reconstruction_boundary_v1.json new file mode 100644 index 000000000..15b0cbeee --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/kb_mca_v4_433_1b_o0b_cell11_reconstruction_boundary_v1.json @@ -0,0 +1,82 @@ +{ + "K3_closed": false, + "KoalaBear_row_closed": false, + "bankability_contract": { + "B_star": 274980728111395087, + "agreement": 1116048, + "architecture": "positive-433-1b-O0b-common-repeat-cell11", + "atom_or_cell": "repeated-BC O0b cell-11 missing-label reconstruction boundary", + "claimed_bound": "0 guarded reconstruction-denominator boundary points", + "direct_statement": "The common-kernel denominator A(lambda_missing) is nonzero at every guarded base-field repeated-BC O0b cell-11 source.", + "falsifier": "a guarded base-field common-source point with A(lambda_missing)=0, a missing source row, or a pinned-blob mismatch", + "impact": "ROUTE_CUT", + "object": "MCA", + "projection_and_unit": "source tower points, not distinct bad slopes", + "quantifier": "all eight epsilon/sign guarded common-source rows", + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED", + "target_epsilon": "2^-128", + "workboard_item": "K3" + }, + "dependencies": [ + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_common_kernel_reconstruction", + "node_manifest_sha256": "730a070aca95e1033d2ecc3b2b513a6a5ed49cccf3395246e0beaeb83091d3b0", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_common_kernel_reconstruction", + "status": "PROVED", + "verify_audit_sha256": "a7a11650584bb2ac608b980d90e8fb086e5edfcedb5554b83948ff397ac49c59", + "verify_sha256": "cfca0e7e1027b66c582362aada1d703212d05886762c11ce86dc9f2e5f7c3e5b" + }, + { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_symmetric_function_field_tower", + "node_manifest_sha256": "43d1197f6294c63fe75f09170baad5f8864c802a94e5125672b0a6f7bdcc4172", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_symmetric_function_field_tower", + "status": "PROVED", + "verify_audit_sha256": "568060d3ccb86eb6773e7a1fc50e18537227a999b8cc020dbba72b2b2399dc5a", + "verify_sha256": "fb27b726f46de38944a45d5b5e40341d9ffdec8e2461c2eeaef18246d51c17df" + } + ], + "evidence_files": { + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_function_field_core.py": "336aace4780acce09d9cb53cc969635d16a038af0a5379338a746e086758aac7", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_principal_input_result.json": "a9c3f10fc7e368f88599bce085598d641d0a73352a1f7d54e06abcd9b4aabbf7", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_reconstruction_denominator_boundary_modal.py": "503e7f066376206f0c090c92d43ee4f8e027210f86962053f32d4fc6c30b9d0a", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_reconstruction_denominator_boundary_result.json": "2228e7ece1b6b74d34f15fdc2a6f82e6fd33ba675a6b19f18537fc3756547b05", + "experiments/prize_resolution/rate_half_kb_positive_433_1b_o0b_common_repeat_cell11_symmetric_tower_result.json": "e80940956518b958dafe74eb34e8ce4f00ce729e78646203bb0724057e6f7899" + }, + "node": { + "id": "rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_missing_label_reconstruction_denominator_exclusion", + "node_manifest_sha256": "95905b51f8f8c973dc838376013deb50d881538606a1675dc62cd1c88bec411a", + "path": "background/nodes/rate_half_kb_m2_r4_coordinate_positive_433_1b_o0b_common_repeat_cell11_missing_label_reconstruction_denominator_exclusion", + "status": "PROVED", + "verify_audit_sha256": "489a9922c4904ee42e9190bef838543f88e5280bf7734f4aacc6241f13da40d0", + "verify_sha256": "d73af8af413d14424fc18a3d36eb48a7534b9a57a523467914a938c165c85561" + }, + "nonclaims": [ + "Does not close K3 or the KoalaBear row.", + "Does not certify every implementation pivot or outside-resultant guard.", + "Does not close cell 14, assemble orientations, or convert source cases to distinct slopes." + ], + "provenance": { + "branch": "codex/full-prize-resolution-v12-20260807", + "commit": "925ac77558928fd531a5091db935139b797ef181", + "evidence_file_count": 5, + "node_count": 3, + "repo": "https://github.com/AllenGrahamHart/rs-mca-prize-dag" + }, + "schema": "kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1", + "statement": { + "claims": { + "BC_minus_chart_roots": 0, + "BC_plus_chart_roots_per_row": [153731577, 583634934, 1547071505], + "case_census": "8 epsilon/sign source towers", + "field_boundary_points": 16, + "guarded_boundary_points": 0 + }, + "deployed_characteristic": 2130706433, + "ledger_movement": 0, + "row": "KoalaBear MCA at 2^-128", + "status": "PROVED_ROUTE_CUT_LATER_GUARDS_OPEN", + "title": "Repeated-BC O0b cell-11 reconstruction-denominator cut", + "workboard_item": "K3" + } +} diff --git a/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/verify.py b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/verify.py new file mode 100644 index 000000000..6902abb50 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1/verify.py @@ -0,0 +1,125 @@ +#!/usr/bin/env python3 +"""Verify the O0b cell-11 reconstruction-boundary certificate.""" + +import argparse +import hashlib +import itertools +import json +import subprocess +from pathlib import Path + + +HERE = Path(__file__).resolve().parent +CERT = HERE / "kb_mca_v4_433_1b_o0b_cell11_reconstruction_boundary_v1.json" + + +def require(condition, message): + if not condition: + raise RuntimeError(message) + + +def blob(root, commit, path): + return subprocess.run( + ["git", "-C", str(root), "show", f"{commit}:{path}"], + check=True, + stdout=subprocess.PIPE, + ).stdout + + +def digest(value): + return hashlib.sha256(value).hexdigest() + + +def validate_source(cert, source_root): + commit = cert["provenance"]["commit"] + checked = 0 + for node in [cert["node"], *cert["dependencies"]]: + for key, name in ( + ("node_manifest_sha256", "node.json"), + ("verify_sha256", "verify.py"), + ("verify_audit_sha256", "verify_audit.py"), + ): + path = f"{node['path']}/{name}" + require(digest(blob(source_root, commit, path)) == node[key], + f"digest mismatch: {path}") + checked += 1 + manifest = json.loads(blob( + source_root, commit, f"{node['path']}/node.json" + )) + require(manifest["node"]["id"] == node["id"], "node id") + require(manifest["node"]["status"] == "PROVED", "node status") + + result = None + for path, expected in cert["evidence_files"].items(): + raw = blob(source_root, commit, path) + require(digest(raw) == expected, f"digest mismatch: {path}") + checked += 1 + if path.endswith("reconstruction_denominator_boundary_result.json"): + result = json.loads(raw) + require(result is not None, "result payload") + require(result["case_count"] == len(result["rows"]) == 8, + "tower census") + require(result["status_counts"] + == {"NO_GUARDED_RECONSTRUCTION_BOUNDARY_POINT": 8}, + "status census") + require(result["chart_boundary_root_occurrences"] == 12, + "chart root census") + require(result["field_boundary_point_count"] == 16, + "field point census") + require(result["guarded_boundary_point_count"] == 0, + "guarded point census") + expected_keys = set(itertools.product((-1, 1), repeat=3)) + seen = set() + for row in result["rows"]: + key = (*row["epsilon"], row["bc_sign"]) + require(key in expected_keys and key not in seen, "tower key") + seen.add(key) + if row["bc_sign"] == -1: + require(row["chart_boundary_roots"] == [], "BC- chart roots") + require(row["boundary_points"] == [], "BC- boundary points") + else: + require([item["x"] for item in row["chart_boundary_roots"]] + == [153731577, 583634934, 1547071505], + "BC+ chart roots") + require(row["field_boundary_point_count"] == 4, + "BC+ point census") + require(sorted(point["x"] for point in row["boundary_points"]) + == [583634934, 583634934, 1547071505, 1547071505], + "BC+ point roots") + for point in row["boundary_points"]: + require(point["b_equals_c"] and point["bc_matches_x"], + "boundary coordinates") + require(point["common_equations_zero"], "common equations") + require(not point["common_guard_nonzero"] + and not point["guarded"], "common guard") + require(seen == expected_keys, "Cartesian coverage") + return checked + + +def main(): + parser = argparse.ArgumentParser() + parser.add_argument("--source-root", type=Path) + args = parser.parse_args() + cert = json.loads(CERT.read_text()) + require(cert["schema"] + == "kb-mca-v4-433-1b-o0b-cell11-reconstruction-boundary-v1", + "schema") + require(not cert["K3_closed"] and not cert["KoalaBear_row_closed"], + "scope flags") + require(cert["statement"]["ledger_movement"] == 0, "ledger movement") + require(len(cert["dependencies"]) == 2, "dependency count") + require(cert["provenance"]["node_count"] == 3, "node count") + require(len(cert["evidence_files"]) + == cert["provenance"]["evidence_file_count"] == 5, + "evidence count") + checked = 0 + if args.source_root is not None: + checked = validate_source(cert, args.source_root) + print( + "O0B_CELL11_RECONSTRUCTION_BOUNDARY_CERT_PASS " + f"blobs={checked} towers=8 field_points=16 guarded_points=0" + ) + + +if __name__ == "__main__": + main()