Research/jp8 diagonal gauge seed35

research/complex-jp8-diagonal-gauge/CLAIM.json

@@ -0,0 +1,55 @@
+{
+  "status": "completed: historical finite construction and exact class optimum; branch published, PR creation blocked",
+  "track": "complex supplier",
+  "assignment_seed": 35,
+  "seed_source": "Python secrets.randbelow(100), OS randomness",
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "object": "Selected #626 JP8 full-frame cleanup, simultaneous restored power-of-two diagonal conjugation",
+  "method": "Exact dyadic valuation cost screen; exponents initially -2..2; seed-35 coordinate order; complete boundary scaling and original Horner costs; finite exact replay if profitable",
+  "candidates": [
+    {
+      "task": "CK repeated-addition fusion",
+      "decision": "not chosen; overlaps #719"
+    },
+    {
+      "task": "JP8 shared private coefficient preparation",
+      "decision": "not chosen; overlaps #722/#739/#751"
+    },
+    {
+      "task": "JP8 restored live-register diagonal gauge",
+      "decision": "chosen; changes many live register coordinates jointly, distinct from #750 single-scale relocation and #739 private-work rescaling"
+    }
+  ],
+  "expected_deliverable": "Exact construction and verifier, or scoped negative result; no new kappa claim",
+  "started_utc": "2026-10-13T05:06:05.541648Z",
+  "claimed_utc": "2026-10-13T05:10:19.008757+00:00",
+  "expected_finish_utc": "2026-10-13T05:46:05Z",
+  "time_budget": "40 minutes; orientation <=8; final >=10 for verification/handoff",
+  "overlap_snapshot": "All open issue pages 1..6; only ordinary open issue #650, no coordination issue; PR metadata through #751",
+  "attribution": "Prepared for Luis Leon (@mythrilium) with substantial OpenAI Codex assistance; Apache-2.0",
+  "completed_utc": "2026-10-13T05:27:37.693518+00:00",
+  "result": {
+    "saved_real_primitives_per_orientation": 6154,
+    "objective": 10326,
+    "original_objective": 13403,
+    "domain": "all integer constant positive power-of-two diagonal gauges of the fixed JP8 cleanup, original Horner pricing and separate paid boundary scales",
+    "kappa_change": false,
+    "report": "README.md",
+    "validation": "VALIDATION.md",
+    "reproduce": "python3 -B research/complex-jp8-diagonal-gauge/check.py",
+    "branch_url": "https://github.com/mythrilium/integer-mult-bounds/tree/research/jp8-diagonal-gauge-seed35"
+  },
+  "overlap_final": "585 open PRs through #766, then 100 recently updated through #772 at 2026-10-13T05:25:52Z; no equivalent live-register diagonal sandwich found; #750/#739/#755/#769 and other distinct mechanisms credited",
+  "posting": "Published as mythrilium commit 1a37df609e1267a43308a0c0f8f23280b08f691b. GitHub create-pull-request API returned 403 Resource not accessible by integration. No PR created.",
+  "verification_started_utc": "2026-10-13T05:21:53Z",
+  "publication_refresh": {
+    "upstream": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f",
+    "related_prs": [
+      786,
+      793,
+      984,
+      949
+    ],
+    "scope": "historical PR626 scalar cleanup; no current frontier or complete supplier-cost improvement"
+  }
+}

research/complex-jp8-diagonal-gauge/EXPECTED.json

@@ -0,0 +1,50 @@
+{
+  "objective": 10326,
+  "original_objective": 13403,
+  "saving_per_orientation": 6154,
+  "boundary_real_primitives": 916,
+  "changed_registers": 203,
+  "edge_count": 8894,
+  "candidate_cleanup_sha256": "d7accd6e0217e6898677ea0845b9d7c91f7888c3bfc6c4b8d651d1dc8f390425",
+  "programs": {
+    "backward": {
+      "before": {
+        "real_primitives": 257280,
+        "scalar_macros": 22693,
+        "prefix_l1": "16753412757380464429924108070201913461/8388608",
+        "prefix_bits": 101,
+        "all_native_columns": 716,
+        "arbitrary_private_centre_columns": 8
+      },
+      "after": {
+        "real_primitives": 251126,
+        "scalar_macros": 23099,
+        "prefix_l1": "16753412757380464429924108070201913461/8388608",
+        "prefix_bits": 101,
+        "all_native_columns": 716,
+        "arbitrary_private_centre_columns": 8
+      },
+      "candidate_sha256": "02ed6e1590be0cf403484fa725f32d57bbf4fe2b8954a79f9c4d2b92095ef7b6"
+    },
+    "forward": {
+      "before": {
+        "real_primitives": 257232,
+        "scalar_macros": 22693,
+        "prefix_l1": "4536094588619580433782972610869617/281474976710656",
+        "prefix_bits": 64,
+        "all_native_columns": 716,
+        "arbitrary_private_centre_columns": 8
+      },
+      "after": {
+        "real_primitives": 251078,
+        "scalar_macros": 23099,
+        "prefix_l1": "4536094588619580433782972610869617/4398046511104",
+        "prefix_bits": 70,
+        "all_native_columns": 716,
+        "arbitrary_private_centre_columns": 8
+      },
+      "candidate_sha256": "f403ae250347a1fd5a22c1d97c67b791f89991486c9c0a3105831cc5b40e9651"
+    }
+  },
+  "distinct_add_coefficients_checked": 846
+}

research/complex-jp8-diagonal-gauge/PR-DESCRIPTION.md

@@ -0,0 +1,35 @@
+## Result and scope
+
+**Research construction with an exact scoped optimality certificate; no new kappa or complete supplier-cost improvement.**
+
+On the historical PR626 JP8 cleanup, a restored power-of-two diagonal change of 203 live coordinates saves **6,154 real-component scalar primitives per orientation**, including all 406 boundary-scale macros (916 primitives). Forward/backward totals become 251,078 / 251,126 from 257,232 / 257,280. The forward positive prefix envelope grows from 64 to 70 bits; backward remains 101, within the inherited 192-bit allowance.
+
+The exact integer primal/dual witness certifies objective 10,326 against 13,403 at zero gauge, globally over constant positive power-of-two diagonal gauges of the **fixed chronological cleanup, original per-add Horner lowering, and separately paid boundaries**. It is not global circuit optimality. The larger macro count may worsen the generic adapter allowance; no complete supplier invoice or practical speedup is claimed.
+
+## Sources and overlap
+
+- Original research base: `66849e1475c930fd7732b1a0067ffee7e1e95f60`; OS assignment seed **35**, complex supplier.
+- Publication refresh: `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`, selecting #1094 at κ = 0.001672660197076918. This package concerns frozen #626, not the current frontier.
+- The original selected record is retained byte-for-byte inside the package; all six other consumed source files remain unchanged on refreshed main. Exact source hashes and PR heads are in SOURCES.json.
+- Earlier local claim, candidate selection and completed coverage are in CLAIM.json. No pinned sprint issue existed during the research session.
+- Credit Jeremy Kothe / #622/#623, Chafik Boukhalfa / #626, icekylinx, DreamingOfClouds, Dominik Scholz, Dugongue, Rohan Arun, eumemic and retained predecessors.
+- Distinct concurrent work includes #739/#750/#755/#769 and later #786/#793/#949/#984. In particular #793 reports larger scalar savings through coefficient routes; this contribution adds a different simultaneous live-register gauge and exact unbounded-domain class optimum. No pending code is imported or savings claimed additive.
+
+Only `research/complex-jp8-diagonal-gauge/` is added. Selected certificates and `upstream/` remain unchanged.
+
+## Reproduce
+
+```sh
+python3 -I -B research/complex-jp8-diagonal-gauge/check.py
+```
+
+Expected:
+`PASS_JP8_GAUGE_COMPLETE saved=6154/6154 optimal_cost=10326 tests=10 inherited_controls=25 kappa=unchanged`
+
+The final publication replay passed: solver-free exact primal/dual check, whole scalar programs on 716 native plus eight arbitrary private-centre input columns, all 846 distinct coefficient primitive boundaries, separate integer-dyadic cleanup replay, ten tests with twelve adverse mutations, and unchanged native emitter/auditor with 25 inherited controls. The uploaded Git tree matches the locally verified tree exactly.
+
+Earlier verification also covered optimized-parent execution, relocated offline replay, equivalent gzip recompression, source/receipt corruption, deterministic rediscovery and the research-base selected-record check. See VALIDATION.md for exact coverage and limits. Full repository/cold frontier replay, global invoicing, hosted CI, Lean and independent human review are not claimed.
+
+Inherited all-size/compiler, physical/common-label realization, hosting, precision/tape/recovery, bit and analytic obligations remain. Open next questions cover complete adapter pricing and composition with coefficient reuse.
+
+Prepared for **Luis Leon (@mythrilium)** with substantial **OpenAI Codex assistance** in research, implementation, verification and writing. Apache-2.0; predecessor notices retained.