Balanced coarse sums: conditional κ = 5.136837484e-5

.github/workflows/verify.yml

@@ -16,7 +16,7 @@ jobs:
       fail-fast: false
       matrix:
         python-version: ['3.11', '3.13', '3.14']
-        group: [community, producers, certificates, ternary, research, tests, strips, clones, positive, joint, pair]
+        group: [community, producers, certificates, ternary, research, tests, strips, clones, positive, joint, pair, balanced-coarse]
     steps:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
         with:

Makefile

@@ -23,6 +23,7 @@ verify:
 	$(MAKE) verify-positive
 	$(MAKE) verify-joint
 	$(MAKE) verify-pair
+	$(MAKE) verify-balanced-coarse
 	$(MAKE) verify-tests
 
 verify-community: community-audit-check community-followup-check copied-reversed-producer copied-reversed-check copied-fixed-reversed-producer copied-fixed-reversed-check
@@ -428,3 +429,9 @@ pair-assembly-verify: pair-assembly-producer pair-assembly-check
 .PHONY: verify-pair
 verify-pair: pair-assembly-verify
 	python3 scripts/audit_pair_candidate.py --check docs/research/community-pair-arithmetic.json
+
+.PHONY: verify-balanced-coarse balanced-coarse-verify
+verify-balanced-coarse: balanced-coarse-verify
+balanced-coarse-verify:
+	python3 scripts/experiments/pr62_exploration/audit_balanced_coarse.py --check certificates/balanced-coarse-independent-audit.json
+	python3 scripts/experiments/verify_balanced_coarse.py

NOTICE

@@ -302,3 +302,10 @@ inherited PR #48 sources. The stacked witness in research/pair-assembly/frame
 uses eumemic's PR #57 joint frame compiler unchanged; its driver and verifier
 are adaptations of PR #57's skip_frame_compiler.py, skip_frame_compose.py and
 verify_skip_frame.py. Original notices are retained.
+
+Balanced coarse-column sums (eumemic, with OpenAI Codex assistance):
+Reassociates PR62 coarse sums into shared two-edge column sums, compiled
+with PR57 joint frames and PR60 rank-first slot reclamation. PR62 graph:
+Avi Eisenberg / ikeboy with Anthropic Claude assistance; PR60 priority:
+Chafik Boukhalfa with OpenAI Codex assistance; PR63 composition: Dominik
+Scholz with OpenAI Codex assistance. All inherited credits are retained.

certificates/balanced-coarse-compiler.json

@@ -0,0 +1,207 @@
+{
+  "axes": {
+    "23": {
+      "compiled": {
+        "all_physical_frame_inclusions": true,
+        "baseline_pr48_roles": 36432,
+        "baseline_pr62_stacked_roles": 27918,
+        "complete_dirty_basis_both_orientations": true,
+        "dirty_basis_vectors": 31240,
+        "elementary_xors": 149922,
+        "h": 23,
+        "histogram": {
+          "0": 300883,
+          "1": 42474,
+          "10": 467,
+          "12": 511,
+          "14": 1958,
+          "15": 548,
+          "16": 532,
+          "17": 464,
+          "18": 4220,
+          "19": 7250,
+          "2": 85317,
+          "21": 440,
+          "22": 23,
+          "3": 10866,
+          "4": 9561,
+          "5": 7759,
+          "6": 2169,
+          "7": 250,
+          "8": 1107,
+          "9": 545
+        },
+        "mode": {
+          "matching": true,
+          "reclaim": true
+        },
+        "rank_mass": 637560,
+        "roles": 27698,
+        "scalar": {
+          "additions": 60730,
+          "all_additions_disjoint": true,
+          "all_partial_outputs_exact": true,
+          "circuit_sha256": "8ce682c9b87c03c2d4767a4d634e9ed4eee2d106521653d79f63693cf324e3cf",
+          "every_node_has_common_point": true,
+          "h": 23,
+          "inputs": 1771,
+          "merged_additions": 12870,
+          "partial_outputs": 5336,
+          "roles": 66066
+        },
+        "seconds": 30.219927072525024,
+        "stats": {
+          "clearing_xors": 4367,
+          "matched": 34117,
+          "multi_node_regions": 9246,
+          "reclaimed": 2365,
+          "regions": 52473
+        }
+      },
+      "gzip_sha256": "012b7526ecc14165fa8276c41070072ead8e71bc12686a17f7889ea210cd19f2",
+      "replay": {
+        "elementary_xors": 149922,
+        "full_basis_vectors": 31240,
+        "h": 23,
+        "histogram": {
+          "0": 163524,
+          "1": 42474,
+          "2": 85317,
+          "3": 10866,
+          "4": 9561,
+          "5": 7759,
+          "6": 2169,
+          "7": 250,
+          "8": 1107,
+          "9": 545,
+          "10": 467,
+          "12": 511,
+          "14": 1958,
+          "15": 548,
+          "16": 532,
+          "17": 464,
+          "18": 4220,
+          "19": 7250,
+          "21": 440,
+          "22": 23
+        },
+        "output_roles": 5336,
+        "rank_mass": 637560,
+        "roles": 27698,
+        "status": "independent serialized word, exact frames, full input and dirty basis both orientations PASS",
+        "word_length": 624482
+      },
+      "word_sha256": "60e45d49e144780f9319cb614f18180d99d6879434a0f03b4d94f6d766159d06"
+    },
+    "25": {
+      "compiled": {
+        "all_physical_frame_inclusions": true,
+        "baseline_pr48_roles": 48329,
+        "baseline_pr62_stacked_roles": 36586,
+        "complete_dirty_basis_both_orientations": true,
+        "dirty_basis_vectors": 40900,
+        "elementary_xors": 207715,
+        "h": 25,
+        "histogram": {
+          "0": 416532,
+          "1": 55192,
+          "10": 528,
+          "12": 677,
+          "13": 2,
+          "14": 531,
+          "16": 3087,
+          "17": 851,
+          "18": 528,
+          "19": 372,
+          "2": 119356,
+          "20": 5436,
+          "21": 9594,
+          "23": 506,
+          "24": 25,
+          "3": 14076,
+          "4": 15113,
+          "5": 10330,
+          "6": 2178,
+          "7": 441,
+          "8": 1751,
+          "9": 664
+        },
+        "mode": {
+          "matching": true,
+          "reclaim": true
+        },
+        "rank_mass": 908100,
+        "roles": 36300,
+        "scalar": {
+          "additions": 84495,
+          "all_additions_disjoint": true,
+          "all_partial_outputs_exact": true,
+          "circuit_sha256": "e13f9d4d8504e47782c2333d11990a352200bcc8b3c5000aa55c4d04032caa31",
+          "every_node_has_common_point": true,
+          "h": 25,
+          "inputs": 2300,
+          "merged_additions": 18480,
+          "partial_outputs": 6925,
+          "roles": 91420
+        },
+        "seconds": 53.43013668060303,
+        "stats": {
+          "clearing_xors": 5811,
+          "matched": 49280,
+          "multi_node_regions": 12175,
+          "reclaimed": 3190,
+          "regions": 73695
+        }
+      },
+      "gzip_sha256": "209505f0febd8b26791895cc6182cf3bf3963e17488d86fe9b6d421a03b43c23",
+      "replay": {
+        "elementary_xors": 207715,
+        "full_basis_vectors": 40900,
+        "h": 25,
+        "histogram": {
+          "0": 226642,
+          "1": 55192,
+          "2": 119356,
+          "3": 14076,
+          "4": 15113,
+          "5": 10330,
+          "6": 2178,
+          "7": 441,
+          "8": 1751,
+          "9": 664,
+          "10": 528,
+          "12": 677,
+          "13": 2,
+          "14": 531,
+          "16": 3087,
+          "17": 851,
+          "18": 528,
+          "19": 372,
+          "20": 5436,
+          "21": 9594,
+          "23": 506,
+          "24": 25
+        },
+        "output_roles": 6925,
+        "rank_mass": 908100,
+        "roles": 36300,
+        "status": "independent serialized word, exact frames, full input and dirty basis both orientations PASS",
+        "word_length": 863060
+      },
+      "word_sha256": "e4b0ac34c0d79090516c26dc15526f1d6b0e99e283716e5a4f6d33d5ca0c1d9d"
+    }
+  },
+  "source": {
+    "attribution": "PR62 graph: Avi Eisenberg / ikeboy with Anthropic Claude assistance. PR57 compiler: eumemic with OpenAI Codex assistance. PR60 priority: Chafik Boukhalfa with OpenAI Codex assistance. PR63 composition: Dominik Scholz with OpenAI Codex assistance. New coarse-column factoring and checks prepared with OpenAI Codex assistance. All inherited notices retained.",
+    "files": {
+      "../../../certificates/ranked-interval-kappa.json": "3ac44016c8cc8119cfef842708a4a8bf2a0588c738b2e02b24cc682c8667b40d",
+      "../../../scripts/experiments/balanced_coarse_compiler.py": "bd8169bf9f5df185a8aa4aec22234b4fd483000a1cecc78b71bf32e479af1499",
+      "../../../scripts/experiments/binary_frame_compiler.py": "bc6910c8bbe8224285164323d3c06e9035ad3eaa55416abc2867ae0066454a0c",
+      "../../../scripts/experiments/ranked_interval_compiler.py": "46cb34afa613c62adb33939af1f01299177599ba4e09e55c1db26bba3b6006ab"
+    },
+    "scope": "Balanced coarse column-pair sums on pinned PR62 graph; rank-priority joint compilation",
+    "shared_dependency_manifest": "../pr62/SOURCE.json",
+    "shared_dependency_manifest_sha256": "4ef81f0fc7943d3ea8cfadd3e975dc707994c7ed4f0ec35d07470e772b35c998"
+  },
+  "status": "Balanced coarse column-pair sums on PR62 with descending-rank joint compilation; complete dirty basis both orientations"
+}

certificates/balanced-coarse-independent-audit.json

@@ -0,0 +1,58 @@
+{
+  "results": [
+    {
+      "active_nodes": 62501,
+      "active_set_exact": true,
+      "additions": 60730,
+      "all_additions_disjoint": true,
+      "all_cores_and_covers_exact": true,
+      "all_output_coefficients_exact": true,
+      "complete_output_inventory": true,
+      "direct_global_coefficient_sha256": "2e855f3c8c27073795e4bedce946f2b4e99a2c2032af38ebdbfafe46aed1f861",
+      "every_node_has_common_point": true,
+      "h": 23,
+      "inputs": 1771,
+      "outputs": 5336,
+      "scope": "Scalar DAG only; physical dirty-role and profile checks are separate."
+    },
+    {
+      "active_nodes": 86795,
+      "active_set_exact": true,
+      "additions": 84495,
+      "all_additions_disjoint": true,
+      "all_cores_and_covers_exact": true,
+      "all_output_coefficients_exact": true,
+      "complete_output_inventory": true,
+      "direct_global_coefficient_sha256": "9b29e6e70e4a3b48163d0aed254014f2c45a2a3597801741f695e2f48facd059",
+      "every_node_has_common_point": true,
+      "h": 25,
+      "inputs": 2300,
+      "outputs": 6925,
+      "scope": "Scalar DAG only; physical dirty-role and profile checks are separate."
+    }
+  ],
+  "scope": "Independent dense global scalar coefficients and core/cover audit of balanced_coarse_compiler.graph. No compilation or new kappa calculation.",
+  "source_hashes": {
+    "certificates/ranked-interval-kappa.json": "3ac44016c8cc8119cfef842708a4a8bf2a0588c738b2e02b24cc682c8667b40d",
+    "references/frame-compiler/balanced-coarse/SOURCE.json": "6a6529574755d9d7ae8df5ba24537d73d55c4569255e92052bd74a7edde39dbe",
+    "references/frame-compiler/pr48/SOURCE.json": "6ccc673f88d3650d75ed600b082fe2fc2866dd88a172d182a38c1d0cd27d24b3",
+    "references/frame-compiler/pr48/research/copied-fixed/balanced_assembly.py": "4d27575dcad2b45a281a34054d311409ecd954f373c0c3a62c29bcc843f06a86",
+    "references/frame-compiler/pr48/research/copied-fixed/certificate.json": "33b3373c04e18a7f4cee33ba68da6ed71934acc3e0179cca6197696be4befa22",
+    "references/frame-compiler/pr48/research/copied-fixed/changed_graph.py": "375a7ca6cac6d153c1880fd5ea5b4525e5dca9d4ee3018d24d679c219b59c5b3",
+    "references/frame-compiler/pr48/research/copied-fixed/profiles.cpp": "b9fbd71c746609948b60c441ba4601e88436956fe636d1810f270ce4ce6a63a6",
+    "references/frame-compiler/pr48/research/copied-fixed/verify.py": "44932182ce6c4d39776650311262ef0ac1ea9b5da7220bc0f728e2789881f84a",
+    "references/frame-compiler/pr48/scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0",
+    "references/frame-compiler/pr48/scripts/partial_swap/binary_io.hpp": "7e143eb75bb342ac8f0c82a60005e7c35c9ec827de479bf6fb773151f3af5fa1",
+    "references/frame-compiler/pr48/scripts/partial_swap/paired.py": "ddcecace3a8e04d690914cbd64873ab8dde8c0c3477a255767b0ed6f639bb0c7",
+    "references/frame-compiler/pr48/scripts/partial_swap/shared.py": "81e9af92cdf38243a540cdcff2062778e449467848d444da37a9553c12ca4c34",
+    "references/frame-compiler/pr62/LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+    "references/frame-compiler/pr62/NOTICE": "95d7dabb54a327216e007f1e0cf37dd2f138ab31527f2cc5ee0de55e87f274ca",
+    "references/frame-compiler/pr62/SOURCE.json": "4ef81f0fc7943d3ea8cfadd3e975dc707994c7ed4f0ec35d07470e772b35c998",
+    "references/frame-compiler/pr62/comparison-pr62.json": "70bc8a24a5565b840a5aac845703819c89c83b8c607acae021f64cf296f10c6e",
+    "references/frame-compiler/pr62/research/pair-assembly/pair_graph.py": "3d47e89d2649c90800a276bdd0480131def50e0bdf92c122a19494b55bf17420",
+    "scripts/experiments/balanced_coarse_compiler.py": "bd8169bf9f5df185a8aa4aec22234b4fd483000a1cecc78b71bf32e479af1499",
+    "scripts/experiments/binary_frame_compiler.py": "bc6910c8bbe8224285164323d3c06e9035ad3eaa55416abc2867ae0066454a0c",
+    "scripts/experiments/pr62_exploration/audit_balanced_coarse.py": "7293c86b75b995b7d23ae81df28c9c2b99fcbc63a8587cdad4f795c665ccd902",
+    "scripts/experiments/ranked_interval_compiler.py": "46cb34afa613c62adb33939af1f01299177599ba4e09e55c1db26bba3b6006ab"
+  }
+}