Finite complex construction: defer historical swaps for 560 further primitives after clear elision (no new kappa)

research/complex-swap-runs-seed37/CLAIM.json

@@ -0,0 +1,38 @@
+{
+  "status": "COMPLETE",
+  "track": "Complex supplier",
+  "assignment_seed": 37,
+  "seed_origin": "secrets.randbelow(100), operating-system randomness",
+  "base_commit": "007664306fff84fbb1c9a1b4053b69f439764034",
+  "claimed_at_utc": "2026-10-13T14:53:45+00:00",
+  "expected_finish_utc": "2026-10-13T15:18:34Z",
+  "coordination": "Open issues 650 and 913 are not sprint coordination issues; no pinned coordination issue found. Initial claim and this single result update are local.",
+  "candidates": [
+    "Lower maximal contiguous same-frame scalar SWAP runs of historical PR626 CK/JP8 into paid scratch-copy permutation cycles",
+    "Fuse historical full-frame helper negation/scale runs; adjacent prior PR919 sign normalization makes this less distinct",
+    "Resynthesize historical common-frame source-scale/add/restore coefficient runs; PR750 and later coefficient-route work make overlap likely"
+  ],
+  "chosen_object": "Historical PR626 CK and JP8 literal SWAPs across intervening macros within maximal common-frame scalar runs, in both orientations.",
+  "method": "One evidence-driven refinement from adjacent swaps: defer permutations across intervening scalar macros, remap both operands, then pay every boundary COPY and final CLEAR using existing work. Compare complete PR696 and identically clear-elided words. Exact arbitrary-input replay and independent dense checking.",
+  "domain": "Four frozen local programs (CK and JP8, forward and backward); exhaustive deterministic scan of all 8,836 scalar runs and 504 swaps. Seed 37 diversifies provider/report/control order; no random sampling.",
+  "stopping_rule": "One completed historical scan and explicit deferred-permutation lowering. No frame or word-order search. Final 7.5 minutes reserved for verification and publication; external submission and handoff completed after the expected finish.",
+  "expected_deliverable": "One opt-in finite circuit construction with exact primitive bills, source pins, strong comparator, arbitrary dirty-work tests and scoped mathematical argument. No new kappa.",
+  "overlap": "Initial claim checked ledger, batch 932 and recent PRs through 961. Final metadata through 968 and targeted swap/deferred-permutation searches show distinct objects; no pending executable code imported.",
+  "delegation": "One bounded read-only scout, then independent permutation checker in its own file; root owns compiler, whole replay and packaging.",
+  "completed_at_utc": "2026-10-13T15:19:52.368625+00:00",
+  "result_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/969",
+  "refreshed_upstream": "bbc600db2fc15007b7c914f4f2b2ed55fa909c87",
+  "refreshed_sources": "All 11 consumed source bytes unchanged on refreshed main; moving selected record is not a runtime pin.",
+  "result": {
+    "saved_per_orientation_after_identical_clear_elision": 560,
+    "saved_against_pr696": 1316,
+    "changed_blocks": 168,
+    "independent_local_columns": 840,
+    "full_projections": 16,
+    "columns_per_full_projection": 725,
+    "deleted_actual_copies_rejected": 728,
+    "mathematical_mutations_rejected": 13,
+    "boundary_checks": 2,
+    "new_kappa": false
+  }
+}