Research: bidirectional Horner saves 312 SW4 primitives per orientation (no new kappa)

research/dyadic-horner-direction/CLAIM.json

@@ -0,0 +1,141 @@
+{
+  "assignment_seed": 39,
+  "drawn_at_utc": "2026-10-13T06:23:11.445790+00:00",
+  "claimed_at_utc": "2026-10-13T06:33:36.779096+00:00",
+  "track": "complex supplier",
+  "base_commit": "7ee02b7c96d85f22b38d28bd7ed49bb8c1aeb261",
+  "base_tree": "2bb27541ee289e7a650eb0559abc3df09754059e",
+  "candidate_selection": "39 modulo 3 = 0",
+  "candidates": [
+    {
+      "object": "Each dyadic coefficient in #626 CK/JP8 and current #741 SW4",
+      "method": "Compare binary and NAF Horner in both digit directions with the original per-macro private boundary",
+      "chosen": true
+    },
+    {
+      "object": "Unequal-numerator common-source transitions",
+      "method": "One-read affine updates",
+      "chosen": false,
+      "reason": "#739/#811 already study coefficient routes; avoid repeating their search"
+    },
+    {
+      "object": "Restored target panels for CK",
+      "method": "Signed target-basis forest",
+      "chosen": false,
+      "reason": "#816 already supplies a construction and exact class floor"
+    }
+  ],
+  "scope": "Construct and exactly replay bidirectional per-coefficient Horner words. Six finite local scalar programs; complete primitive invoices, arbitrary private input, fresh positive prefix bounds. No cross-macro sharing, production integration, or new kappa.",
+  "expected_deliverable": "Focused finite circuit construction, proof, exact certificate, source pins, independent arithmetic crosscheck and negative controls",
+  "expected_finish": "Within approximately 90 minutes of the claim; bounded to the six pinned programs and a finite coefficient crosscheck",
+  "coordination": "Only open non-PR issue #650 requests Discussions; no sprint coordination issue was available. Local claim under gist instructions.",
+  "open_pr_snapshot_count": 633,
+  "related_prs": {
+    "816": {
+      "title": "Research: signed CK target forests save 66,520 primitives with an exact class floor (no new kappa)",
+      "head": "133735a2cc2319c12ba5d786214b2217e083e7da",
+      "author": "dd-hemant",
+      "final_head": "133735a2cc2319c12ba5d786214b2217e083e7da"
+    },
+    "815": {
+      "title": "Research: exact frame-only search shows #626 providers are frame-optimal (negative result)",
+      "head": "52175dd28867aa3766730e02a4e253b887a3a2ab",
+      "author": "Rohansguliani",
+      "final_head": "d8c8b40ab0a95b6d77389e6726d86dddb60fb53c"
+    },
+    "811": {
+      "title": "Research: JP8 additive coefficient routes save 2,784 beyond rescaling (no new kappa)",
+      "head": "b5c244c916dd0b30957332edad7ae7ae22b0eb9d",
+      "author": "Ryan-Haines",
+      "final_head": "b5c244c916dd0b30957332edad7ae7ae22b0eb9d"
+    },
+    "807": {
+      "title": "Research: restored CK helper pairs save 35,872 primitives per orientation (no new \u03ba)",
+      "head": "b1a5c533a22c2665600102d872f6a84e0664a70d",
+      "author": "davidawad",
+      "final_head": "b1a5c533a22c2665600102d872f6a84e0664a70d"
+    },
+    "793": {
+      "title": "Research: batch JP8 compensation, saving 80,150 / 81,464 primitives (no new kappa)",
+      "head": "f9383f324ee86793c5ae7b73f8e39d5827a8aa52",
+      "author": "Varun-Mittal-1001",
+      "final_head": "f9383f324ee86793c5ae7b73f8e39d5827a8aa52"
+    },
+    "787": {
+      "title": "Research: compose complex coefficient lowering and cleanup sharing",
+      "head": "93ceb65cfbf339d7ca743614d4756a3af1440cd4",
+      "author": "bitplane",
+      "final_head": "93ceb65cfbf339d7ca743614d4756a3af1440cd4"
+    },
+    "769": {
+      "title": "Research: CK dyadic ladders save 13,770 / 67,146 primitives (no new kappa)",
+      "head": "e891b2b19e3185ec91bcf001e255af87f42389ce",
+      "author": "24kHandsome1201",
+      "final_head": "e891b2b19e3185ec91bcf001e255af87f42389ce"
+    },
+    "751": {
+      "title": "Research: save 19,688 JP8 backward primitives with reverse Horner (no new kappa)",
+      "head": "7a1a3a319da359ec8b6e83230a7fcf7733fac8e5",
+      "author": "thakrarsagar",
+      "final_head": "7a1a3a319da359ec8b6e83230a7fcf7733fac8e5"
+    },
+    "739": {
+      "title": "Research construction: rescale JP8 coefficient work across magnitudes (no new kappa)",
+      "head": "abb9825202dba6f9bc95c7df8d12d86088fdff1a",
+      "author": "namredips",
+      "final_head": "abb9825202dba6f9bc95c7df8d12d86088fdff1a"
+    },
+    "734": {
+      "title": "Research: prefix-bounded signed-Horner circuits for CK and JP8 (no new kappa)",
+      "head": "ba76ba3321d000c8996b0b254bcf0d7260e1bbb6",
+      "author": "AllStars101-sudo",
+      "final_head": "ba76ba3321d000c8996b0b254bcf0d7260e1bbb6"
+    },
+    "723": {
+      "title": "Research: save 3,276 JP8 scalar primitives per orientation with signed digits",
+      "head": "d3bc41b87fc7d23f50d064a0f06f1a89e3ab02a7",
+      "author": "thakrarsagar",
+      "final_head": "d3bc41b87fc7d23f50d064a0f06f1a89e3ab02a7"
+    },
+    "696": {
+      "title": "Research: lower selected complex scalar primitives by 22\u201325% (no new kappa)",
+      "head": "5a3f983715027c4fd83f50bc9001d4b18463bed1",
+      "author": "thakrarsagar",
+      "final_head": "5a3f983715027c4fd83f50bc9001d4b18463bed1"
+    },
+    "830": {
+      "title": "Research: transposed JP8 work saves 32,810 backward primitives (no new kappa)",
+      "head": "6a0b8d55bb8026f8b6d708ae07740453b41c872f",
+      "author": "Ryan-Haines",
+      "relation": "Transposed cross-macro #811 work. This contribution preserves each individual coefficient boundary; no combined saving claimed."
+    }
+  },
+  "status": "submitted",
+  "final_overlap_check": {
+    "checked_at_utc": "2026-10-13T06:46:00.251632+00:00",
+    "open_pr_count": 646,
+    "latest_number": 833,
+    "upstream_head": "7ee02b7c96d85f22b38d28bd7ed49bb8c1aeb261"
+  },
+  "result": {
+    "extra_real_saved_per_orientation": {
+      "ck": 928,
+      "jp8": 810,
+      "sw4": 312
+    },
+    "programs": 6,
+    "coefficients": 962,
+    "negative_controls": 14,
+    "independent_grid_inputs": 13286,
+    "kappa": "unchanged",
+    "pr_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/837"
+  },
+  "validated_at_utc": "2026-10-13T06:47:36.745728+00:00",
+  "publication_refresh": {
+    "upstream_head": "f567884aeb8851b6e794af1184119a3bfbe1e631",
+    "new_selected_pr": 799,
+    "new_selected_kappa": "1661634653669567/1000000000000000000",
+    "scope": "#741 has become a checkpoint during submission. This six-program result retains its pinned #741/#626 scope; no transport to #799 is claimed.",
+    "record_relocation": "The identical pinned #741 record is accepted at its new official checkpoint path; its hash and manifest binding are still enforced."
+  }
+}