Research: save 48,400 JP8 primitives with a restored compensation basis (no new kappa)

research/complex-compensation-basis/CLAIM.md

@@ -0,0 +1,65 @@
+# Sprint claim
+
+- Track: complex supplier. OS-random assignment seed: **24**, drawn with
+  `secrets.randbelow(100)` at 2026-10-13 04:45 UTC.
+- Exact base: `66849e1475c930fd7732b1a0067ffee7e1e95f60`.
+- Scope: the selected #626/#622 **JP8 zero-frame dirty-input compensation**,
+  using a restored dyadic basis on disjoint target pairs. The assignment's
+  even seed chooses JP8 (odd would choose CK); seed 24 orders tied candidates.
+- Hypothesis: rational target-row sharing reduces the paid scalar primitive
+  count after charging both basis changes, without changing helpers, frames,
+  recursive children, source access or restoration.
+- Method: exactly score all 112*111 ordered target pairs at coefficients
+  {-4,-2,-1,-1/2,-1/4,1/4,1/2,1,2,4}; one seeded greedy disjoint matching,
+  then freeze the recipe. Stop after this finite domain and one pass.
+- Deliverable: one finite circuit construction or a scoped negative result,
+  exact rational verification, full local replay if a circuit improves,
+  meaningful controls, source pins and a reproduction command. No new kappa.
+- Expected finish: 2026-10-13 05:25 UTC (October 12, 10:25 p.m. PDT).
+  Orientation ends before 04:53 UTC; verification/handoff begins by 05:15 UTC.
+
+Three candidate tasks were considered:
+
+1. Repeated complex cleanup-pair fusion: recent #719 already proves the CK
+   fixed-middle obstruction. Merely moving to JP8 adds little mechanism.
+2. Coordinate-total factory resynthesis: #681 already supplies a stronger raw
+   local replacement, while #645 changes the complementary factory basis.
+3. Restored target-row factoring of JP8's initial rational compensation:
+   selected, because #713/#716 concern the binary R420 supplier and #696
+   lowers individual complex scalar instructions without changing the word.
+
+The third task explicitly transfers the credited target-basis idea into a
+rational circuit with coefficient-dependent costs, both reflected programs,
+and cold-wrapper restrictions. #411 changes chronological target prefixes and
+paid frames; it does not factor this initial compensated map. The older
+projection-cut-toolkit cold-helper full-lifetime gauges are also distinct.
+No pending source code is imported, and no combined savings are assumed.
+
+GitHub refresh at 04:48 UTC found no pinned sprint coordination issue and no
+claim for this exact object/method. The full open-PR title inventory, relevant
+PR bodies (#681/#696/#698/#713/#716/#719/#411), central review ledger and
+preserved negative results were inspected. No separate reservation issue was
+opened. The recent queue reached #721. Work is parent-only on
+`codex/complex-compensation-seed24`; `upstream/` and the selected frontier stay
+unchanged.
+
+## Result — one completion update
+
+Completed and submitted as [PR #749](https://github.com/CrocSwap/integer-mult-bounds/pull/749).
+The 56-pair circuit reduces JP8 compensation from 8,800 to 4,596 additions and
+saves 48,400 real scalar primitives in each orientation, fully pricing both
+basis changes. No new kappa is claimed. The exact recipe, proof, source pins,
+complete local replay and meaningful rejection controls are included.
+
+All 716 input columns in both orientations, ten new controls, 25 unchanged
+native controls, six focused tests, exact search reproduction, relocation,
+recompression, optimized-mode checks and corruption rejection pass.
+`make selected-record-check` passes. The final full-queue refresh covered 562
+open PRs through #743, followed by an immediate refresh through #748. New
+coefficient-lowering, cleanup-sharing and adjoint-verification work is distinct;
+no combined savings or pending-source dependency is asserted.
+
+Implementation and research finished by 05:00 UTC. The remaining session was
+used for verification, overlap review and handoff, exceeding the requested
+final-quarter reserve. The contribution was submitted at 05:06 UTC, ahead of
+the 05:25 UTC window. The selected frontier and `upstream/` remain unchanged.

research/complex-compensation-basis/EXPECTED.json

@@ -0,0 +1,191 @@
+{
+  "canonical_sha256": "4dae41657da4a6c3761419b6bfe3887522aa137fcbaca0c6633ae2c65c49bbb5",
+  "columns": 716,
+  "compensation_after": 4596,
+  "compensation_before": 8800,
+  "compensation_real_primitives_after": 51872,
+  "compensation_real_primitives_before": 100272,
+  "dirty_target_control_passes_helper_only_check": true,
+  "kappa": "unchanged; no global invoice or assembly claim",
+  "native": {
+    "backward": {
+      "all_columns": 716,
+      "events": 23705,
+      "paid_profile": {
+        "1": 2512,
+        "2": 400,
+        "3": 448,
+        "4": 160,
+        "5": 70,
+        "6": 8,
+        "8": 8
+      },
+      "private_centers_cleared": true,
+      "private_coefficient_stream_cleared_after_each_macro": true,
+      "real_component_primitive_bound": 208880,
+      "scalar_macros": 18489,
+      "sha256": "2d8fc147ac187a24a2470faf7cfa0f3fca1d8262f8359d408d8b7e9b2a7ea3f7"
+    },
+    "forward": {
+      "all_columns": 716,
+      "events": 23705,
+      "paid_profile": {
+        "1": 2512,
+        "2": 400,
+        "3": 448,
+        "4": 160,
+        "5": 70,
+        "6": 8,
+        "8": 8
+      },
+      "private_centers_cleared": true,
+      "private_coefficient_stream_cleared_after_each_macro": true,
+      "real_component_primitive_bound": 208832,
+      "scalar_macros": 18489,
+      "sha256": "fc5b0db17936c3328b9f6dabf495d8e41b05345fd0ab4f4161d7c2b464647ad3"
+    }
+  },
+  "native_audit": {
+    "cold_hyperplane_ended_helpers": 22,
+    "entering_helpers": 204,
+    "helpers": 492,
+    "local": {
+      "backward": {
+        "all_exact_columns": 716,
+        "charged_payload_bits": 192,
+        "prefix_bits_upper": 101,
+        "prefix_l1_upper": "16831962624931826245647201899142257011/8388608",
+        "private_work_erased": true
+      },
+      "forward": {
+        "all_exact_columns": 716,
+        "charged_payload_bits": 192,
+        "prefix_bits_upper": 64,
+        "prefix_l1_upper": "4536094588619580433782972610869617/281474976710656",
+        "private_work_erased": true
+      }
+    },
+    "negative_controls_rejected": [
+      "wrong_scale",
+      "missing_center",
+      "wrong_common_frame",
+      "wrong_child_rank",
+      "missing_pre_wrapper",
+      "missing_post_wrapper",
+      "wrapper_with_wrong_frame",
+      "wrapper_in_wrong_phase",
+      "wrapper_on_a_data_register",
+      "wrapper_on_a_target_register",
+      "wrapper_on_a_centre_register",
+      "hpe_pre_wrapper_resolved_to_full_recipe",
+      "hpe_post_wrapper_without_terminal_frame",
+      "hpe_post_wrapper_wrong_terminal_frame",
+      "hpe_tail_gate_at_full_frame",
+      "hpe_tail_climb_dropped",
+      "hpe_helper_exit_adapter_to_full",
+      "hpe_tail_gate_moved_into_full_cleanup",
+      "cold_hpe_pre_wrapper_replaced_by_identity_entry_adapter",
+      "cold_hpe_pre_wrapper_dropped",
+      "cold_hpe_post_wrapper_replaced_by_exit_adapter",
+      "cold_hpe_pre_wrapper_resolved_to_cold_full_convention",
+      "cold_hpe_wrapper_with_nonzero_entrance",
+      "cold_hpe_post_wrapper_wrong_terminal_frame",
+      "cold_hpe_premix_gate_before_pre_wrapper"
+    ],
+    "paid_profiles": {
+      "backward": {
+        "1": 2512,
+        "2": 400,
+        "3": 448,
+        "4": 160,
+        "5": 70,
+        "6": 8,
+        "8": 8
+      },
+      "forward": {
+        "1": 2512,
+        "2": 400,
+        "3": 448,
+        "4": 160,
+        "5": 70,
+        "6": 8,
+        "8": 8
+      }
+    },
+    "status": "PASS_INDEPENDENT_LOCAL_SCALAR_FRAME_AND_WRAPPER_REPLAY",
+    "v": 112
+  },
+  "negative_controls": [
+    "missing_preparation_on_dirty_targets",
+    "missing_restoration",
+    "wrong_preparation_sign",
+    "missing_helper_read",
+    "nonzero_frame",
+    "cold_ended_helper_before_wrapper",
+    "aliased_shear",
+    "non_dyadic_coefficient",
+    "overlapping_pairs",
+    "undercharged_basis_changes"
+  ],
+  "original_local": {
+    "backward": {
+      "all_columns": 716,
+      "events": 27909,
+      "paid_profile": {
+        "1": 2512,
+        "2": 400,
+        "3": 448,
+        "4": 160,
+        "5": 70,
+        "6": 8,
+        "8": 8
+      },
+      "private_centers_cleared": true,
+      "private_coefficient_stream_cleared_after_each_macro": true,
+      "real_component_primitive_bound": 257280,
+      "scalar_macros": 22693,
+      "sha256": "7fa2c16d9623ab39eeaf00f5ea03a8ff7aa099a3f62949d03d77bb44ac4d62cf"
+    },
+    "forward": {
+      "all_columns": 716,
+      "events": 27909,
+      "paid_profile": {
+        "1": 2512,
+        "2": 400,
+        "3": 448,
+        "4": 160,
+        "5": 70,
+        "6": 8,
+        "8": 8
+      },
+      "private_centers_cleared": true,
+      "private_coefficient_stream_cleared_after_each_macro": true,
+      "real_component_primitive_bound": 257232,
+      "scalar_macros": 22693,
+      "sha256": "3d92c93a12aaf6bafcc0bc5bee33e4a710f3439c5c43efcd91833e9a9da052b8"
+    }
+  },
+  "original_prefix": {
+    "backward": {
+      "all_exact_columns": 716,
+      "charged_payload_bits": 192,
+      "prefix_bits_upper": 101,
+      "prefix_l1_upper": "16753412757380464429924108070201913461/8388608",
+      "private_work_erased": true
+    },
+    "forward": {
+      "all_exact_columns": 716,
+      "charged_payload_bits": 192,
+      "prefix_bits_upper": 64,
+      "prefix_l1_upper": "4536094588619580433782972610869617/281474976710656",
+      "private_work_erased": true
+    }
+  },
+  "pairs": 56,
+  "provider": "jp8",
+  "recipe_sha256": "a993ab194e52a18aa47813ccdc92961d0928ae5c97909bb3ad02faa85faf49f4",
+  "saved_real_primitives_each_orientation": 48400,
+  "scalar_replays": 4,
+  "seed": 24,
+  "status": "PASS_COMPLEX_COMPENSATION_BASIS"
+}

research/complex-compensation-basis/OVERLAP.json

@@ -0,0 +1,100 @@
+{
+  "refreshed_at_utc": "2026-10-13T05:02:10Z",
+  "open_pr_count": 562,
+  "newest_pr": 743,
+  "pinned_sprint_issues": [],
+  "related_work": [
+    {
+      "pr": 719,
+      "head": "a3d9c0aa0a16b68b1f4dd064671ad018013e6dd4",
+      "title": "Scoped negative result: rank-two obstruction for 78 CK cleanup pairs",
+      "read": "initial selection"
+    },
+    {
+      "pr": 716,
+      "head": "c804e7d79ac524723aa8c2d0d6a59d5e662763b3",
+      "title": "Research: R420 target-pair compensation, concurrent reproduction of #713",
+      "read": "initial selection"
+    },
+    {
+      "pr": 713,
+      "head": "1a19af5c5ddb6de9797a6d085e5df0b90ed6d58b",
+      "title": "Research: save 3,150 R420 XORs with a restored target basis",
+      "read": "initial selection"
+    },
+    {
+      "pr": 681,
+      "head": "fdc2e4f3c6825530b02143b30deab5de10209479",
+      "title": "Research: save 1,484 complex factory operations (no new kappa)",
+      "read": "initial selection"
+    },
+    {
+      "pr": 698,
+      "head": "ab78f797cffcbeddbb17a7eb069741085ffe3351",
+      "title": "Scoped negative result: selected CK B frames are optimal at fixed boundaries",
+      "read": "initial selection"
+    },
+    {
+      "pr": 696,
+      "head": "5a3f983715027c4fd83f50bc9001d4b18463bed1",
+      "title": "Research: lower selected complex scalar primitives by 22\u201325% (no new kappa)",
+      "read": "initial selection"
+    },
+    {
+      "pr": 411,
+      "head": "f58d95f2c5da03445e704ea9c72cc55df9e68190",
+      "title": "\u03ba = 1.017629458064773e-3: exact target-prefix resynthesis on sequential206",
+      "read": "body and file inventory"
+    },
+    {
+      "pr": 722,
+      "head": "a0766ab0fab379e1997fadc3ca157578d57986c1",
+      "title": "Research: share JP8 cleanup coefficient work, saving 19,688 primitives (no new kappa)",
+      "read": "body and file inventory"
+    },
+    {
+      "pr": 723,
+      "head": "d3bc41b87fc7d23f50d064a0f06f1a89e3ab02a7",
+      "title": "Research: save 3,276 JP8 scalar primitives per orientation with signed digits",
+      "read": "body and file inventory"
+    },
+    {
+      "pr": 734,
+      "head": "ba76ba3321d000c8996b0b254bcf0d7260e1bbb6",
+      "title": "Research: prefix-bounded signed-Horner circuits for CK and JP8 (no new kappa)",
+      "read": "body and file inventory"
+    },
+    {
+      "pr": 739,
+      "head": "abb9825202dba6f9bc95c7df8d12d86088fdff1a",
+      "title": "Research construction: rescale JP8 coefficient work across magnitudes (no new kappa)",
+      "read": "body and file inventory"
+    },
+    {
+      "pr": 716,
+      "head": "afeb452f58ff0cbf109172335e2ba282aac3dcde",
+      "title": "Research: optimal disjoint R420 target pairs save 3,250 XORs (no new kappa)",
+      "read": "final title/head refresh; later optimal matching is not imported"
+    },
+    {
+      "pr": 745,
+      "head": "fc6ebccca3bd61a6eaf6ec3fcbf2e99d2888c35c",
+      "title": "Independent verification: JP8 adjoint replay and dirty-centre clear witness",
+      "read": "body inspected before submission; intact construction passes, coverage witness concerns omitted private clear; this replacement retains all center events verbatim"
+    }
+  ],
+  "scope_difference": "The new package changes the rational JP8 compensation macro circuit through a restored target basis. #713/#716 concern binary R420; #722/#739 share coefficient work in JP8 cleanup; #696/#723/#734 change coefficient lowering; #681 changes raw factory gates. No combined savings or pending implementation dependency is claimed.",
+  "immediate_pre_submission_refresh": {
+    "at_utc": "2026-10-13T05:05:00Z",
+    "through_pr": 748,
+    "pinned_issues": [],
+    "additional_titles_reviewed": [
+      744,
+      745,
+      746,
+      747,
+      748
+    ],
+    "upstream_main": "66849e1475c930fd7732b1a0067ffee7e1e95f60"
+  }
+}