Split-pair dual-suffix frames: conditional κ = 4.83109396e-5

Makefile

@@ -428,3 +428,10 @@ 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: split-dual-verify
+split-dual-verify:
+	python3 scripts/experiments/verify_split_dual.py
+	python3 -m unittest discover -s tests -p 'test_split_dual.py' -v
+
+verify-joint: split-dual-verify

NOTICE

@@ -302,3 +302,17 @@ 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.
+
+Split-pair / dual-suffix composition (2026-10-08)
+------------------------------------------------
+Rohan Garg / rohangar1 with substantial OpenAI Codex assistance: PR59
+split-pair recursion and group vectors. All fourteen fetched originals and
+original notices remain under references/frame-compiler/pr59. Rohan Gupta /
+gupt1156 with Anthropic Claude assistance: PR55 dual-suffix layout. Eumemic
+with substantial OpenAI Codex assistance: PR57 joint reversible compiler and
+independent physical-word/profile checks. Chafik Boukhalfa with OpenAI Codex
+assistance: PR60 ranked reclamation and this explicit graph composition,
+source isolation, exact comparison and certification package. The PR60 engine
+is unchanged; no paid clones or recorded PR59 permutations are used. The full
+published PR60 comparison and its source/proof provenance are retained under
+references/frame-compiler/pr60. Every preceding notice remains applicable.

README.md

@@ -21,6 +21,24 @@ speedup. The model and general reduction are inherited from OpenAI's
 [Selected parameter certificate](research/matrix-exponent-synthesis/candidate/arithmetic.json) ·
 [Independent arithmetic check](docs/research/community-pair-arithmetic.json)
 
+## Additional conditional composition: split-pair dual-suffix frames (PR66)
+
+The [split-dual proof and reproduction guide](research/split-dual/README.md)
+gives **κ=120777349/2500000000000=4.83109396e-5**, approximately **1.3974275711%**
+above PR60 and below the current reviewed frontier. It combines **Rohan Garg's PR59 split-pair groups**, **Rohan Gupta's
+PR55 dual-suffix layout**, and **eumemic's PR57 joint compiler** with the
+unchanged PR60 ranked reclamation engine. It uses no paid clones or recorded
+PR59 permutation overrides. Physical roles are R23=30118 and R25=39663,
+so W=147661173.
+
+`make split-dual-verify` regenerates the complete words, independently checks
+arbitrary dirty scratch and actual fixed-I+J profiles, then certifies the
+full recursive child list and strict assembly inequalities. The complete PR60
+profile is excluded at the new bit saving. The predecessor verifier and all
+main checks remain. This additional conditional witness retains the original
+all-size hypotheses and does not enlarge the maintainer-reviewed result above.
+Prepared by Chafik Boukhalfa with OpenAI Codex assistance.
+
 ## What changed
 
 **Avi Eisenberg's interval strips and core-aware pair assembly (#62)** arrange

certificates/joint-dual-kappa.json

@@ -842,7 +842,7 @@
     "scripts/experiments/pin_joint_dual_sources.py": "4d31cc0e38b7902709ca5f8f714cba109760d2592346dd7f8dc0b900a2d9fe00",
     "scripts/experiments/verify_joint_dual.py": "7a31bba1e9c0ded32ae285df2ca9bc91ef20c330f6789fdba361876f3c7a1985"
   },
-  "source_manifest_sha256": "fd1aab7d75753b4b55b2377f26119dae74f367b0b4fab66cba42d944b3042cc9",
+  "source_manifest_sha256": "9c34a8d6237ae7994d3630deb6c4606d446f802f9acbf8d10b3dd43240df9c10",
   "sources": [
     {
       "files": {

certificates/joint-dual-validation.json

@@ -226,7 +226,7 @@
     }
   },
   "bit_saving": "2382370177/50000000000000",
-  "certificate_sha256": "2ed658f05365b28825e24a6e7bac9fc9cc015d5a5d63d9579f4ac6e0640ae559",
+  "certificate_sha256": "68e2ee6d681bfee11376b90b564d0bc52d9f1d2b98a8eccaed5017a61ced98f6",
   "kappa": "4764513337/100000000000000",
   "margins": 7,
   "producer_words_regenerated_and_matched": true,

certificates/split-dual-compiler.json

@@ -0,0 +1,302 @@
+{
+  "axes": {
+    "23": {
+      "compiled": {
+        "all_physical_frame_inclusions": true,
+        "baseline_pr48_roles": 36432,
+        "baseline_pr60_roles": 30688,
+        "complete_dirty_basis_both_orientations": true,
+        "dirty_basis_vectors": 33660,
+        "elementary_xors": 113218,
+        "graph_configuration": {
+          "deep_mode": "asc",
+          "groups": [
+            1,
+            3,
+            2
+          ],
+          "top_mode": "input",
+          "total_mode": "reverse"
+        },
+        "h": 23,
+        "histogram": {
+          "0": 225359,
+          "1": 42683,
+          "2": 39116,
+          "3": 6870,
+          "4": 17864,
+          "5": 6986,
+          "6": 4851,
+          "7": 1434,
+          "8": 3154,
+          "9": 401,
+          "10": 3047,
+          "11": 455,
+          "12": 2783,
+          "13": 274,
+          "14": 3068,
+          "15": 627,
+          "16": 2030,
+          "17": 619,
+          "18": 7336,
+          "19": 3942,
+          "21": 99,
+          "22": 23
+        },
+        "mode": {
+          "matching": true,
+          "reclaim": true
+        },
+        "paid_clones": 0,
+        "pinned_permutation_overrides": 0,
+        "rank_mass": 693220,
+        "reclamation_order": "descending current frame rank, then slot ID",
+        "roles": 30118,
+        "scalar": {
+          "additions": 40426,
+          "all_additions_disjoint": true,
+          "all_partial_outputs_exact": true,
+          "circuit_sha256": "af3c18a15940c4a2b3bf787a8639644ecf66b796105d4dba7b2d8e42e94232c5",
+          "every_node_has_common_point": true,
+          "h": 23,
+          "inputs": 1771,
+          "merged_additions": 5208,
+          "partial_outputs": 5336,
+          "roles": 45762
+        },
+        "source_pr55_head": "03e991aa79f9df1a935726213bb6a8631cd0d823",
+        "source_pr59_head": "641f22e52913db784f3b6ff1176b0c2945aae45b",
+        "stats": {
+          "augmentations": 169,
+          "clearing_xors": 4653,
+          "matched": 12302,
+          "multi_node_regions": 4347,
+          "reclaimed": 2514,
+          "regions": 37022
+        }
+      },
+      "gzip_sha256": "6c2e6b7c784ea58c78851d33f65539afaaa39e9d653481a999abc3390d58f5fe",
+      "replay": {
+        "elementary_xors": 113218,
+        "full_basis_vectors": 33660,
+        "h": 23,
+        "histogram": {
+          "0": 121335,
+          "1": 42683,
+          "10": 3047,
+          "11": 455,
+          "12": 2783,
+          "13": 274,
+          "14": 3068,
+          "15": 627,
+          "16": 2030,
+          "17": 619,
+          "18": 7336,
+          "19": 3942,
+          "2": 39116,
+          "21": 99,
+          "22": 23,
+          "3": 6870,
+          "4": 17864,
+          "5": 6986,
+          "6": 4851,
+          "7": 1434,
+          "8": 3154,
+          "9": 401
+        },
+        "output_roles": 5336,
+        "rank_mass": 693220,
+        "roles": 30118,
+        "status": "independent serialized word, exact frames, full input and dirty basis both orientations PASS",
+        "word_length": 477666
+      },
+      "word_sha256": "699bbfe40e1ab5bd03e446447dfa8e64f3f26c05110d5b4135202f73357b16fc"
+    },
+    "25": {
+      "compiled": {
+        "all_physical_frame_inclusions": true,
+        "baseline_pr48_roles": 48329,
+        "baseline_pr60_roles": 40338,
+        "complete_dirty_basis_both_orientations": true,
+        "dirty_basis_vectors": 44263,
+        "elementary_xors": 149195,
+        "graph_configuration": {
+          "deep_mode": "support_desc",
+          "groups": [
+            1,
+            2,
+            2
+          ],
+          "top_mode": "input",
+          "total_mode": "desc"
+        },
+        "h": 25,
+        "histogram": {
+          "0": 297683,
+          "1": 55257,
+          "2": 51344,
+          "3": 8543,
+          "4": 21929,
+          "5": 8798,
+          "6": 7165,
+          "7": 2103,
+          "8": 4358,
+          "9": 852,
+          "10": 3409,
+          "11": 465,
+          "12": 3966,
+          "13": 190,
+          "14": 3298,
+          "15": 362,
+          "16": 3427,
+          "17": 439,
+          "18": 2393,
+          "19": 786,
+          "20": 9749,
+          "21": 5577,
+          "23": 121,
+          "24": 25
+        },
+        "mode": {
+          "matching": true,
+          "reclaim": true
+        },
+        "paid_clones": 0,
+        "pinned_permutation_overrides": 0,
+        "rank_mass": 992175,
+        "reclamation_order": "descending current frame rank, then slot ID",
+        "roles": 39663,
+        "scalar": {
+          "additions": 53649,
+          "all_additions_disjoint": true,
+          "all_partial_outputs_exact": true,
+          "circuit_sha256": "ce089b5bed5a23b70252870a45ea065995d5ebd80cae7063ed8ec5a91cf55a9f",
+          "every_node_has_common_point": true,
+          "h": 25,
+          "inputs": 2300,
+          "merged_additions": 6812,
+          "partial_outputs": 6925,
+          "roles": 60574
+        },
+        "source_pr55_head": "03e991aa79f9df1a935726213bb6a8631cd0d823",
+        "source_pr59_head": "641f22e52913db784f3b6ff1176b0c2945aae45b",
+        "stats": {
+          "augmentations": 212,
+          "clearing_xors": 5665,
+          "matched": 16928,
+          "multi_node_regions": 5400,
+          "reclaimed": 2883,
+          "regions": 49324
+        }
+      },
+      "gzip_sha256": "f496c583907c9ab29597548591afd01fc9e7dd6b8d6ab5aa392a98da38599625",
+      "replay": {
+        "elementary_xors": 149195,
+        "full_basis_vectors": 44263,
+        "h": 25,
+        "histogram": {
+          "0": 159647,
+          "1": 55257,
+          "10": 3409,
+          "11": 465,
+          "12": 3966,
+          "13": 190,
+          "14": 3298,
+          "15": 362,
+          "16": 3427,
+          "17": 439,
+          "18": 2393,
+          "19": 786,
+          "2": 51344,
+          "20": 9749,
+          "21": 5577,
+          "23": 121,
+          "24": 25,
+          "3": 8543,
+          "4": 21929,
+          "5": 8798,
+          "6": 7165,
+          "7": 2103,
+          "8": 4358,
+          "9": 852
+        },
+        "output_roles": 6925,
+        "rank_mass": 992175,
+        "roles": 39663,
+        "status": "independent serialized word, exact frames, full input and dirty basis both orientations PASS",
+        "word_length": 628980
+      },
+      "word_sha256": "64855926d2323c252cb7637c0d2a956525434cec5530039b3f832f73b4bcb2a4"
+    }
+  },
+  "compiler_source": {
+    "author": "eumemic with substantial OpenAI Codex assistance",
+    "commit": "cd350f76c9bc01489ec83568bded532cb69be938",
+    "pull_request": 57
+  },
+  "ranked_compiler": {
+    "author": "Chafik Boukhalfa with OpenAI Codex assistance",
+    "commit": "21a121960644b8c6fdf9c06fe39dea1944dd2231",
+    "engine_unchanged": true,
+    "pull_request": 60
+  },
+  "source": {
+    "ranked": {
+      "author": "Chafik Boukhalfa with OpenAI Codex assistance",
+      "commit": "21a121960644b8c6fdf9c06fe39dea1944dd2231",
+      "files": {
+        "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+        "NOTICE": "62d9c3390f8c61fcc5efcdbeb4cd60ceb7b31aaf75c4ac214288fd72c86a5890",
+        "README.md": "de28355a431628f39704b6b04a509caa4170fcc310300670020aa09ec69dd050",
+        "certificates/joint-dual-kappa.json": "516c66e002cbdf0f0d36e276c90a8d72798054052c40539cdbca54733c52b3e6",
+        "certificates/joint-dual-repository-validation.json": "9c33c9f829d4744583fb27e6912ed2abff558a4aaae888775de49819f36155e0",
+        "research/joint-dual/PROOF.md": "ef87781965cd6d509150c6423525671a7c7d1734f334a6a3c39cc7bffdbae33a",
+        "research/joint-dual/README.md": "ba7d21a7f71cac74fc7c5b802c0f1f642b8130d6b484e73074f117772b8133cb",
+        "research/joint-dual/SOURCE.json": "ee1922dd44d3b09ee40e7a010fbf25467fbc144a09e44977b452ff0875a66f41"
+      },
+      "scope": "Exact published PR60 comparison certificate, original source manifest, proof and full validation. The source and physical-word closure is retained at the ancestor construction commit. This snapshot is never regenerated.",
+      "tested_construction_commit": "94c97bd367782c9530bee7c17d229bd4b1e0a2b7",
+      "upstream": "https://github.com/CrocSwap/integer-mult-bounds/pull/60"
+    },
+    "split": {
+      "author": "Rohan Garg / rohangar1",
+      "commit": "641f22e52913db784f3b6ff1176b0c2945aae45b",
+      "files": {
+        "FETCH.json": "61df5f74e98804e52fff1054eaaa8b6dc6712f30449f0a9e59defb582921e618",
+        "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+        "NOTICE": "f85437ee441f2a028660dd5e8dbdc0ec7b52bb55c04ea34fa4829c154bfd0ac1",
+        "research/skip-strips/skip_graph.py": "03ee019cdaf73391455aaf4f5dcb4873f4fdcb278179b296c02ea39eafd047e4",
+        "research/split-skip/SOURCE.json": "7c2b4646a3ecfef6f881da5c43e4bd0fa9a4d1b00548b8ab458d897e16735134",
+        "research/split-skip/clone-jobs-23.json": "2ee04d3f9e2c86f0ac9136cf5229939d99ec3f04454264caaadb2cdc2dd0b88b",
+        "research/split-skip/clone-jobs-25.json": "555f5ef3eeb5b2af9e2a91d60a1c209def9b3803220e40c1864648794f6dbcb6",
+        "research/split-skip/clone_io.py": "0d75053f455aa85a0da416bf1abdd85b8f7c7d92dafc8496ce48f1782d67537c",
+        "research/split-skip/cloned_graph.py": "00fd4a2050cb1f61052b2a39a8903d005c6b94a15d26954c91f109764f3f16d6",
+        "research/split-skip/config-23.json": "09bfb8a80386616194988dc15579e99a3ea77e4ff8c848ec8ccbbae356533fea",
+        "research/split-skip/config-25.json": "f3412207cecf15ce604b9560388234ea4bf4ec7919f45f0348f37ed6182208c7",
+        "research/split-skip/split_graph.py": "9b16ba907cbd58611fb64bfb9211be7809d54822d44c78fc6167cf4ba79eb905",
+        "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0",
+        "scripts/partial_swap/paired.py": "ddcecace3a8e04d690914cbd64873ab8dde8c0c3477a255767b0ed6f639bb0c7",
+        "scripts/partial_swap/shared.py": "81e9af92cdf38243a540cdcff2062778e449467848d444da37a9553c12ca4c34"
+      },
+      "pull_request": 59,
+      "repository": "CrocSwap/integer-mult-bounds",
+      "scope": "Byte-identical original PR59 files retained for provenance. The new producer consumes split_graph.py and its dependency files; PR59 paid clones and pinned permutations are not used.",
+      "shared_dependency_manifest": "../pr48/SOURCE.json",
+      "shared_dependency_manifest_sha256": "6ccc673f88d3650d75ed600b082fe2fc2866dd88a172d182a38c1d0cd27d24b3",
+      "upstream": "https://github.com/CrocSwap/integer-mult-bounds/pull/59"
+    },
+    "suffix": {
+      "author": "Rohan Gupta / gupt1156 with Anthropic Claude assistance",
+      "commit": "03e991aa79f9df1a935726213bb6a8631cd0d823",
+      "files": {
+        "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+        "NOTICE": "40a3066696e0de23e46b565460d19e85b435990ba837da5c1ca925335f4ba829",
+        "research/skip-suffix/skip_graph.py": "7c4781dcc3c134befd8abf295d1e71a99fbbe932112fb56bd5d36e79896ca5f7"
+      },
+      "shared_dependency_manifest": "../pr48/SOURCE.json",
+      "shared_dependency_manifest_sha256": "6ccc673f88d3650d75ed600b082fe2fc2866dd88a172d182a38c1d0cd27d24b3",
+      "upstream": "https://github.com/CrocSwap/integer-mult-bounds/pull/55"
+    }
+  },
+  "status": "Exact finite split/dual words; independent replay, fixed-basis profiles and conditional arithmetic are verified separately"
+}