diff --git a/experimental/agents-log.md b/experimental/agents-log.md index 7de3cf744..fb7d19642 100644 --- a/experimental/agents-log.md +++ b/experimental/agents-log.md @@ -3682,3 +3682,98 @@ 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. + +## 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). + +## 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. + +## 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. + +## 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. + +## 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. + +## 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. + +## 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-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..a04574d4f --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell11-close-v1/README.md @@ -0,0 +1,59 @@ +--- +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. + +## 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-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" + } +} 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..c934d2ce5 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell3-close-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: 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. + +## 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/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" + } +} 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-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..21fff8bfb --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cell9-close-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: 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. + +## 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/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" + } +} 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-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..208184249 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-cells5-8-close-v1/README.md @@ -0,0 +1,53 @@ +--- +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. + +## 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/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" + } +} 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..04067f0c0 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/README.md @@ -0,0 +1,45 @@ +--- +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 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 guarded common-source rows +projection_and_unit: source tower x-roots, not distinct bad slopes +claimed_bound: 0 guarded selected-cofactor boundary points +status: PROVED +impact: ROUTE_CUT +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 +--- + +# 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. 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 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 + +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..744c892b1 --- /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,78 @@ +{ + "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 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 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", + "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": "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 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": "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", + "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_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 new file mode 100644 index 000000000..0d55b9f32 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-o0b-cell11-cofactor-boundary-v1/verify.py @@ -0,0 +1,132 @@ +#!/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"] + 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 + 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"] + == {"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(len(cert["dependencies"]) == 1, "dependency count") + require(cert["provenance"]["node_count"] == 2, "node count") + require(len(cert["evidence_files"]) + == 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 guarded_points=0" + ) + + +if __name__ == "__main__": + main() 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() + 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() + 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() 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..6bbe953f0 --- /dev/null +++ b/experimental/data/certificates/kb-mca-v4-433-1b-raw-workboard-close-v1/README.md @@ -0,0 +1,65 @@ +--- +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 +``` + +## 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/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() 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" + } +}