Bit supplier: save 254 R439 ADDs with four-wire prefix resynthesis (no new kappa)

research/r439-four-wire-prefix/CLAIM.json

@@ -0,0 +1,86 @@
+{
+  "pass": 9,
+  "assignment_seed": 11,
+  "drawn_at_utc": "2026-10-13T10:59:56.157702+00:00",
+  "track": "bit supplier",
+  "base": "f567884aeb8851b6e794af1184119a3bfbe1e631",
+  "status": "submitted",
+  "branch": "research/pass09-bit-seed11",
+  "claimed_at_utc": "2026-10-13T11:06:49.664551+00:00",
+  "candidate_selection": "11 modulo 3 = 2; four-register width selected by 3+(11 modulo 2)",
+  "candidates": [
+    {
+      "object": "Selected R439 fixed-word frame retiming",
+      "chosen": false,
+      "reason": "PR886 already proves exact frame optimality for that unchanged word"
+    },
+    {
+      "object": "Selected R439 mini-node interleaving",
+      "chosen": false,
+      "reason": "PR792 already certifies its same-wire same-frame class minima"
+    },
+    {
+      "object": "Selected R439 same-frame four-register prefix resynthesis",
+      "chosen": true,
+      "method": "Exact GL(2..4,2) CNOT synthesis on contiguous elementary A/B windows, with both-order positive-transfer domination and unchanged register frame paths; rebuild required literal reverse cleanup"
+    }
+  ],
+  "statement": "Search every contiguous same-frame window on at most four z registers in the selected PR589 A/B prefix. Replace disjoint windows by shorter exact F2 circuits without new helpers, target reads or frame changes; charge the paired literal cleanup and verify the complete local word.",
+  "domain": "Original selected PR589 word only; phases A and B, source/helper registers only, same frame and same physical participant set. Fixed deterministic shortest-path tie order diversified by seed 11; only accept nonincreasing positive transfer matrices in both orders. No global circuit optimum claim.",
+  "stopping_rule": "Complete one bounded original-window scan, construct and verify any accepted disjoint replacements. At most one evidence-driven pivot if needed. Do not repeat the closed frame-only or mini-node searches.",
+  "expected_finish": "Approximately 120 minutes from claim; final quarter for validation/handoff",
+  "coordination": "No sprint coordination issue; only #650 asks for Discussions. Claim recorded locally.",
+  "initial_open_pr_count": 689,
+  "latest_pr_at_claim": 897,
+  "related_prs": {
+    "754": "Exact four-wire synthesis on historical R420 cleanup; changes literal H4 to semantic H4-prime. This changes selected R439 A/B windows and preserves literal H4 via paired cleanup.",
+    "886": "Fixed-word frame optimum; no repeat",
+    "792": "Mini-node interleaving optimum; no repeat",
+    "891": "Whole-block positive single-write schedules and class obstructions; different window class",
+    "873": "R439 block508 whole-block rescheduling",
+    "880": "Block507 fixed-factor scheduling",
+    "884": "Block521 whole-block factorization",
+    "857": "Block523 positive factorization",
+    "827": "Cleanup-frame lower bound leaves scalar circuit savings open"
+  },
+  "submitted_at_utc": "2026-10-13T11:36:45.378556+00:00",
+  "pr": 904,
+  "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/904",
+  "mathematical_head": "33b9175c345bcd0f21b95d29f37cb95fffd5a134",
+  "result": {
+    "rewrites": 95,
+    "prefix_ADD_saving": 127,
+    "paired_cleanup_ADD_saving": 127,
+    "native_ADDs_before": 24305,
+    "native_ADDs_after": 24051,
+    "forward_positive_before": 49347,
+    "forward_positive_after": 43671,
+    "reverse_positive_before": 1113070,
+    "reverse_positive_after": 928888,
+    "payload_bits_before": 93,
+    "payload_bits_after": 92,
+    "literal_H1_H5": true,
+    "rank_mass_unchanged": 5129,
+    "kappa_recomputed": false
+  },
+  "validation": {
+    "full_replays": [
+      "CPython 3.14.4 isolated ordinary",
+      "CPython 3.12.3 isolated optimized read-only minimal closure"
+    ],
+    "native_stages": [
+      5,
+      9,
+      11
+    ],
+    "local_controls_rejected": 12,
+    "native_omitted_bridge_controls_rejected": 96,
+    "package_tests": 8
+  },
+  "final_overlap": {
+    "latest_pr_reviewed": 903,
+    "upstream_commit": "f567884aeb8851b6e794af1184119a3bfbe1e631",
+    "new_arrivals": "897..903 reviewed; no duplicate prefix-window contribution",
+    "related_844": "closed; fixed two-factor whole-block class at frame520, distinct from this prefix-window domain"
+  }
+}