Finite complex construction: two center shears save 5,562 primitives per invocation (no new kappa)

research/dyadic-center-two-shear/BASE-SELECTED.json

@@ -0,0 +1,153 @@
+{
+  "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status",
+  "kappa": "1661634653669567/1000000000000000000",
+  "decimal": "0.001661634653669567",
+  "source_prs": [
+    799,
+    741,
+    699,
+    685,
+    676,
+    664,
+    660,
+    659,
+    656,
+    655,
+    653,
+    658,
+    649,
+    645,
+    635,
+    589,
+    555,
+    545,
+    626,
+    623,
+    622,
+    620,
+    617,
+    615,
+    604,
+    601,
+    596,
+    592,
+    591,
+    593,
+    599,
+    588,
+    543,
+    584,
+    586,
+    583,
+    582,
+    579,
+    576,
+    575,
+    574,
+    571,
+    569,
+    568,
+    567,
+    564,
+    562,
+    561,
+    559,
+    558,
+    552,
+    550,
+    548,
+    541,
+    535,
+    510,
+    503,
+    531,
+    523,
+    493,
+    514,
+    507,
+    484,
+    496,
+    505,
+    522,
+    520,
+    472,
+    458,
+    445,
+    442,
+    425,
+    433,
+    370,
+    361,
+    315
+  ],
+  "source_manifest": "research/community-frontier799-audit/SELECTED-SOURCE.json",
+  "certificate": "research/community-frontier799-audit/ASSEMBLY.json",
+  "certificate_sha256": "65c7648a8edaeaf4e0b8de3e21eeda94fba124d0935010d45ac9f76375b72cec",
+  "proof": "docs/research/community-frontier799-review.md",
+  "proof_supplements": {
+    "research/e8-bit-r420/README.md": "9807be57c6adf26b30e4f54e2f8160075bbc05091f1a6d157e43d2a4620c1c9f",
+    "research/complex-571-free4fc8/NOTICE.md": "a4c084abdc1c7a9ac683eeb11124335d51cff8a6deba6ee92ba5a12bceaa2c97",
+    "research/complex-multicold/proof/CONSTRUCTION.md": "27ece5e1c11b90d97a808b56eff897b998c10e61016db95867f84e6e6aef132f",
+    "research/complex-multicold/vendor/pr559/PROOF.md": "d5d498edc56fdef8c5798af7f5ec66948bd2f66c553b9efe366cdaab01bd3453",
+    "research/structural-gain/frontier-composition/README.md": "70f0f791cbe3b2603f85d85bb9055aa0ee1df6dc06ba82fc1921356948312887",
+    "research/complex-joint-prefix/proof/CONSTRUCTION.md": "a92e610e7a598d99c612d1b63d1a03a49c0cd1e15ddd29fa55c465ddd8c18105",
+    "research/kernel-frame-coalescing/PROOF.md": "fa8b2f36b9590ee80ff45d3f7724f8c7de8ad29a29f366d5133010c77e41fe1b",
+    "research/complex-571-hpeq5/README.md": "4000b37f6c07c09d971dc4010ceb137c13340f3a8809d3272046ccaf746c3e2b",
+    "research/hyperplane-end-lean/PROOF.md": "1cbce5cf0ff0152f71e8ae7bef25841d1ce13010af248ff7209182d2328c21c9",
+    "docs/research/community-hyperplane599-review.md": "3298cd0d451541508af232cac72efbd7c10580e6c6ad493a855ab0faa01ade8c",
+    "research/complex-571-cold14-b3/README.md": "1945785785c153c7d0e8d4c071adabe626c1091b71721ff85d2d67191b376b96",
+    "research/complex-571-cold14-b3/PROOF-NOTE.md": "1cf592cbc8ab8e21d2dd8c1e945a5c64c6d5cde1216fb06e05a36c1c6ec6613d",
+    "scripts/verify_cold617_interface.py": "95d7a9094c05ad975fb72f5ab7605593003245a503c8456764987e512028fa6a",
+    "docs/research/community-cold617-review.md": "b3f2bcbae1249f1f651032022ce1e6e2bfb3f563ce580bf53671f50a074d7046",
+    "research/complex-k492-owner-repair/README.md": "ee5a1ace4828f7a073be97e95c2d931988774dd3a29a877e65abdf429aeec902",
+    "research/complex-k492-owner-repair/PROOF-NOTE.md": "337d70fe7abd9afca1d90954c23bde87f4dc27888cc1a6b4bb80506fd6fbf8c5",
+    "research/complex-k492-owner-repair/PROOF-NOTE-R.md": "22312bb347bdf159e6a01a45c47675e6170d33b258e2fd9ed52aee88fb92c0ed",
+    "docs/research/community-k492-review.md": "3b731d30e80010b15408a289b0b32192700885474c8b36d48ee3320a7a8c5c47",
+    "scripts/verify_frontier626.py": "2207bd0ef04a19ef276869085afdedad80a0938fa75db5e1aa7ab73fd3429444",
+    "scripts/verify_frontier626_bindings.py": "cda63ff41c6d6e2e352c7bf75b84e690c0ce57e4ec6c0355573bb5d9b1f98280",
+    "scripts/verify_frontier588_bindings.py": "6d1932eea7b1936598118ea8e607b09c29b6e31b749ec41bbe0744ea4f0b606d",
+    "scripts/verify_hpe_lean_binding.py": "52aa1d23641e4c716b43c98f6b883ad042087dd03a9d01369e8e6a735b07aa03",
+    "research/hyperplane-end-lean/HyperplaneEnd/Exact.lean": "eebf3a3982af7ab9be45777b272a6aaa523206fa7667ceb6df63ad6589fd8183",
+    "docs/research/community-frontier741-review.md": "4634694fa75ea9e749ecf19d3db3e4d82effe3b61a2efdf08ac5a97275fb676a",
+    "research/complex-sw4-frame8/PROVENANCE.md": "c7648719b01dd93af2c3a2c6e951a54711d13892dc4bd4339d16edb4c37c9bf0",
+    "research/e8-bit-p111-tuned/tune/README.md": "46c7917fb252949f38b7bcd88cf568efc282e3ea065b61d11e457e41673d0b2d",
+    "scripts/verify_frontier741.py": "215ee6a12de8dc2392e6811a1b8f2140035f6b2d2a0d2100ff4bd2fdcb8bb39b",
+    "scripts/verify_frontier741_bindings.py": "eff455167e2fd0bc9a67d35241d0e69d8edc58f3a23e776dcfe8f500ca8e8d67",
+    "docs/research/community-frontier799-review.md": "bd91c10c67f2a873fd456b95cbb43f715a43dac0e0a66938737d591c6b754052",
+    "scripts/verify_frontier799.py": "19fe1b32079095160dc00fe2f7df75e0fcbc82cff37f7159b755c8a63bd5ce99",
+    "scripts/verify_frontier799_bindings.py": "43897b3c99212d6134870898a1840f32898aa1b3679b299e654901568ad7e19b",
+    "research/gauge44-frames-x/PROOF-NOTE-FRAMES-X4.md": "39c50420ebb6e8813706a49b2cf759f277c4afac9f6780fc0a7ac6a5fb86e036"
+  },
+  "review": "docs/research/community-frontier799-review.md",
+  "validation": "docs/research/community-frontier799-integration.json",
+  "reproduce": "make frontier799-verify",
+  "scope": "Source-bound finite X4 construction and freshly rebuilt bit589/ancestral SW4 supplier checks; optional verified ancestry reuse recorded explicitly. Inherited all-size/compiler, common-label/mutable-source, whole-call hosting, precision/tape and analytic hypotheses remain. Not a full Lean multiplication theorem. Integration Linux CI status is separate.",
+  "previous_kappa": "1661202643272239/1000000000000000000",
+  "previous_record": "certificates/checkpoints/frontier741.json",
+  "audited_source_head": "80e6463157cfc80b85af09e7e2f14748fe2dac60",
+  "reviewed_dependency_heads": {
+    "588": "6d0e53b66c29abd17981881a09eaff41ac862d85",
+    "543": "2065fe4f72a914d907f1046603f5a36f17018535",
+    "568": "71c99ac935a33bb7b59a1b4a7af8725a939b0b90",
+    "569": "1424da81263a5305b35e4cf74ef686c275f03f3f",
+    "571": "b7bdc5a8de18fcf418cfb9c7d83a2b1097a5e4a3",
+    "575": "eac6f7e378ab622dac50a2fd4b7ef6eab014de44",
+    "583": "89be768f0157f5a3d8e4db69cf1748768605eac9",
+    "586": "4846fee5b06af770e9b3a10c36200f673d656725",
+    "591": "f622547244bf6d895a571a7b035142ba66279806",
+    "592": "1f471c445c06a45a32e2c47e8d74c8264b68356b",
+    "593": "fdb6dcc6d7bc29764c5b6b4d32b7fa050acf74a4",
+    "596": "7732dd5e46863ff294b5e443661cb9d99abf4e01",
+    "599": "bc13c8a3e000442606bd2dbe8583a17649ba6c32",
+    "601": "529ab7dcb59d5ea7a5798e9e06cf5b3aee8a1550",
+    "604": "1b795c5d7dea746ba310572585c0ef067574b4a6",
+    "615": "bf8a49a34350599763cced8592db81dc62c2c1c0",
+    "617": "904d62855723c00f8acef9a287a10768598fdeb2",
+    "622": "f69477f4f6d3c7eb1f740b166881bffed4ffa9f6",
+    "623": "e39a615ca601ce5d62abeb24f3fcdb8644ca1005",
+    "626": "660de893d27bb7abd1d5b01b1640207528a5c851",
+    "589": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46",
+    "741": "e516b1463606840a15f80aac1995d64ce0092e89",
+    "799": "80e6463157cfc80b85af09e7e2f14748fe2dac60"
+  }
+}

research/dyadic-center-two-shear/CLAIM.json

@@ -0,0 +1,44 @@
+{
+  "track": "Complex supplier",
+  "assignment_seed": 39,
+  "random_source": "Python secrets.randbelow(100), operating-system randomness",
+  "base_commit": "91a2094f2e022930069e8cfdc810a3ea1b81cd09",
+  "started_utc": "2026-10-13T13:20:55Z",
+  "expected_finish_utc": "2026-10-13T14:00:55Z",
+  "verification_reserved_from_utc": "2026-10-13T13:50:55Z",
+  "coordination": "GitHub pinnedIssues empty; no coordination issue found. Local claim.",
+  "candidates": [
+    {
+      "task": "Shared two-scratch coefficient lowering in the historical JP8 supplier",
+      "decision": "Not selected: crowded coefficient-lowering neighborhood including PR882/811/839."
+    },
+    {
+      "task": "Another factory gauge/fusion construction",
+      "decision": "Not selected: overlaps PR922/924/931."
+    },
+    {
+      "task": "A second possibly noncommuting center-basis shear after PR809's rank-h shear",
+      "decision": "Selected: changes the factorization class beyond the prior one-shear census, while retaining grouped incidence frames."
+    }
+  ],
+  "object": "scripts/experiments/complex_centers.py rank-26 central factor; start from A=I-E12 and enumerate one further signed elementary shear",
+  "method": "Exact integral row/column updates, complete gather/scatter pricing and finite coefficient replay; enumerate 2*h*(h-1)=1300 second shears, no further pivot/search expansion",
+  "seed_diversification": "The seed rotates the ordered second-shear enumeration by 39; it changes tie-breaking, not the completed domain or claim of novelty.",
+  "expected_deliverable": "One explicit lower-cost factor with exact local invoice and reproducible checker, or a scoped finite negative result",
+  "status": "completed",
+  "pivot": {
+    "reason": "The completed 1300-move census reached 43128. A direct algebraic simplification of its factor removed the remaining t1-t2 difference, giving A=I+E10+E20 and 42600.",
+    "scope": "One deterministic algebraic revision, no enlarged numerical search; no optimality claim for the final witness."
+  },
+  "result": {
+    "pr": "https://github.com/CrocSwap/integer-mult-bounds/pull/937",
+    "finished_utc": "2026-10-13T13:41:10.420329+00:00",
+    "classification": "finite historical complex-supplier construction; no new kappa",
+    "G_plus_H": 42600,
+    "primitive_saving_per_signed_invocation": 5562,
+    "extra_G_plus_H_saving_vs_pr809": 1309,
+    "complete_three_stage_scalar_saving": 112797360000,
+    "integration_base": "47481c89fd30a43f8f882eb4b391e89c29273fd0",
+    "validation": "5 package tests,9 inherited tests,exact source-bound receipt,independent integer and actual-operation census,selected-record integrity"
+  }
+}