Bit construction: 55 same-frame rewrites on composed R439 save 110 ADDs

research/r439-abc-zrewrite-seed16/CLAIM.json

@@ -0,0 +1,41 @@
+{
+  "attribution": "Prepared for ToikY with substantial OpenAI Codex assistance; credit bitplane/Gareth Davidson PR1122, navinor PR1127, Sagar Thakrar PR1062, Dugongue PR541/548, DreamingOfClouds PR589 and eumemic PR555. Apache-2.0.",
+  "base_commit": "1b59b624d21924f8e3537cdc1ac52d3be6eda2fe",
+  "candidates": [
+    "Compose commuting 3-to-2 z rewrites with the frozen PR1122 complete A/B/star-D circuit: chosen, different input word from PR1127 and explicitly left as future work there",
+    "Earlier-cut width-seven frame on six PR1128 candidates: deferred, requires simultaneous transfers and a larger suffix/interface construction",
+    "Four arbitrary-support five-cube decoder terms: deferred, adjacent new PR1177 has the three-term classification and a changed cost mechanism is needed"
+  ],
+  "claimed_utc": "2026-10-13 19:48:00 UTC",
+  "coordination": "No pinned sprint coordination issue: only open issues650/913. Local claim. Read discussion inventory, start-here1163 and handoff1166; only seed97 PR279 provenance claim, no overlap. Targeted PR1122/1127 and refreshed open-PR queue checked. No new reservation issue or public coordination message.",
+  "deliverable": "One fully invoiced finite bit circuit if a verified saving exists, otherwise only a concrete scoped interaction finding; at most one PR, no merge.",
+  "expected_finish_utc": "2026-10-13 20:15:01 UTC",
+  "method": "Exact register-level commutation and all-column endpoint/frame-path/profile filtering; deterministic seed-diversified greedy order to fixed point or 60 rounds, no optimizer restarts. Independent complete F2 map and invoice/positive-majorant check.",
+  "optimistic_complete_cost": "At most two ADDs disappear per accepted triangle, one forward edge and its paid cleanup mirror; all source reads, helper stock, scalar gates, COPY/ERASE, frame changes, restoration and children remain charged. Profile unchanged implies no bit-moment or kappa gain; complex supplier still binds. Candidate must retain 104/192-bit inherited precision ceiling after recomputation.",
+  "predecessors": {
+    "1122": "a2551e70fce0cc34348f50f1a94e7cc4c80bbcbf",
+    "1127": "2e9dc9d3356a6b7258ed869ddcee46352907f746"
+  },
+  "randomness": "one fresh secrets.randbelow(100) OS draw",
+  "result": {
+    "ADDs": 10542,
+    "B": 3663878,
+    "F": 13721,
+    "artifact_link": "https://github.com/ToikY/integer-mult-bounds/tree/codex/bit-seed16/research/r439-abc-zrewrite-seed16",
+    "branch": "codex/bit-seed16",
+    "local_bits": 91,
+    "moves": 55,
+    "nine_bits": 174,
+    "rank_mass": 5129,
+    "saved_ADDs": 110,
+    "scope": "all paid ranks and frame paths unchanged; no new kappa; pending semantic-D interface obligations inherited",
+    "status": "DONE finite circuit construction; focused PR preparation"
+  },
+  "scope": "Test same-section commuting Steinberg 3-to-2 rewrites on the complete PR1122 A/B/star-D composed word, preserving every register frame path and complete paid profile, rebuilding literal cleanup, and repricing both full orientations and positive precision envelopes. No supplier adoption or kappa claim.",
+  "scope_key": "R439-ABC-star/commuting-z-triangles/complete-word-and-precision",
+  "seed": 16,
+  "started_utc": "2026-10-13 19:45:01 UTC",
+  "stopping_rule": "One fixed complete PR1122 word in same-section commuting triangle class; stop on zero accepted rewrites or round60. No global optimality claim and no rerun of PR1127 fixed PR589 experiment.",
+  "track": "bit supplier",
+  "verification_reserve_utc": "2026-10-13 20:07:31 UTC"
+}