Finite bit construction: two-sided R439 compensation saves 1,228 more ADDs beyond PR915

research/r439-two-sided-compensation/CLAIM.json

@@ -0,0 +1,96 @@
+{
+  "pass": 11,
+  "assignment_seed": 5,
+  "drawn_at_utc": "2026-10-13T12:26:24.184229+00:00",
+  "track": "bit supplier",
+  "source": "secrets.randbelow(100), OS randomness",
+  "base": "91a2094f2e022930069e8cfdc810a3ea1b81cd09",
+  "branch": "research/pass11-bit-seed05",
+  "status": "submitted",
+  "claimed_at_utc": "2026-10-13T12:36:24.399839+00:00",
+  "candidate_selection": "Seed 5 modulo 3 selects candidate 2; seed 5 fixes the helper-pair tie order.",
+  "candidates": [
+    {
+      "object": "Reduce P111 copied rank below 63 with fixed label functionals",
+      "chosen": false,
+      "reason": "The fixed class is closed by PR757/761 and PR620."
+    },
+    {
+      "object": "Append another strictly profitable target shear to PR915",
+      "chosen": false,
+      "reason": "PR915 exhausts the 12,210 final one-shear choices and finds maximum paid gain zero."
+    },
+    {
+      "object": "Two-sided R439 compensation with disjoint helper pairs around the frozen PR915 target basis",
+      "chosen": true,
+      "method": "Score helper-column pairs on the actual transformed matrix. Select a deterministic disjoint set, paying both helper shears and admitting only complete positive bounds below the existing local and nine-stage prefix ceilings."
+    }
+  ],
+  "statement": "Keep PR915 target basis fixed and add disjoint restored helper-basis pairs. Form the actual two-sided middle matrix, preserve the complete arbitrary-input D boundary, and count every operation. Compare accepted PR589, pinned PR915 and the composition separately.",
+  "domain": "All 439*438 = 192,282 ordered helper pairs on the frozen 111-by-439 transformed compensation matrix. One sorted greedy disjoint pass with seed-5 tie order, at most 219 accepted pairs. No target-basis reselection, neutral detours or global matching optimality claim.",
+  "admission": "The complete word must satisfy 64*F^3*B^2 < 2^104 and 2^18*F^5*B^4 < 2^192. Both F and B are recomputed for the combined word; parent bounds or standalone savings are not added.",
+  "optimistic_complete_cost": "Starting from 13,208 native ADDs and 6,988 D ADDs: replace the 6,376 helper injections by the actual transformed matrix weight, and add two ADDs per helper pair. The 612 target-basis operations, other 6,220 ADDs, frame moves and nine copies are all retained.",
+  "stopping_rule": "Complete the ordered-pair census and one guarded disjoint greedy pass. Stop at its end. At most one evidence-driven pivot if the fully charged candidate does not improve its parent.",
+  "expected_finish": "Approximately 120 minutes, with the final quarter reserved for validation and handoff.",
+  "coordination": "No pinned sprint coordination issue was found. Current issues #650 and #913 concern Discussions and prose quality. The local claim is separate from the frozen 18-PR review batch.",
+  "predecessors": {
+    "915": {
+      "head": "e9daefe320a0043000bd9746664ed02c3287d056",
+      "mathematical_head": "7d5ef1dcf994d0542f2d302110b33780f5504ab7",
+      "use": "Exact frozen target basis and candidate; revalidate its boundary and native bill."
+    },
+    "733": {
+      "head": "dfe84e09298abc5c5e0074afda59a821e10abfb4",
+      "author": "Scott Woolsey Biggart",
+      "use": "Prior two-sided F2 conjugation and mixed-term obligation on R420."
+    },
+    "694": "Greer Guthrie, disjoint restored helper pairs",
+    "794": "commdata2338, guarded target-basis method",
+    "917": "Ross Richardson, concurrent two-sided CK compensation in another field/word; no executable or saving imported."
+  },
+  "overlap": {
+    "open_count": 707,
+    "latest": 917,
+    "new_main": "91a2094f freezes an 18-PR follow-up review batch; selected PR799/PR589 result is unchanged. This contribution does not edit that batch or claim approval."
+  },
+  "scope": "Finite construction with the semantic D-boundary contract already required by PR915. Integration still requires acceptance of that contract and a complete updated hosted reconstruction/invoice. No new kappa or measured runtime speedup.",
+  "completed_at_utc": "2026-10-13T13:08:53.779229+00:00",
+  "result": {
+    "pr": 926,
+    "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/926",
+    "mathematical_head": "1e9c43ee8dbeeb9aca0e8fdecbf9769db4f4a29e",
+    "complete_ADDs": {
+      "selected_PR589": 24305,
+      "parent_PR915": 13208,
+      "candidate": 11980
+    },
+    "D_ADDs": 5760,
+    "saving_beyond_parent": 1228,
+    "saving_against_selected_word": 12325,
+    "helper_pairs": 192,
+    "middle_weight": 4764,
+    "F": 71907,
+    "B": 10562318,
+    "payload_bits": 102,
+    "nine_stage_prefix_bits": 192,
+    "coverage": {
+      "ordered_pair_scores": 192282,
+      "positive_pairs": 2298,
+      "overlap_skips": 2106,
+      "guard_rejections": 0,
+      "four_term_coefficients": 48729,
+      "mixed_term_nonzeros": 7031,
+      "literal_prefix_instructions": 4760850
+    },
+    "validation": "Complete receipts match on CPython 3.14.4 and isolated optimized read-only CPython 3.12.3. All three words pass original endpoint and native 5/9/11-stage checks; 144 bridge controls, 19 local controls, 8 package tests. Selected record and whitespace checks pass.",
+    "integration": "Original H2 and literal K extraction remain false. Requires semantic D acceptance, changed whole-hosted emission/audit, full finite/precision invoices and outer assembly. Nine-stage bound uses about 99.925% of its ceiling; no new kappa.",
+    "hosted_CI": "Separate from local verification; no hosted success claimed."
+  },
+  "final_refresh": {
+    "upstream": "91a2094f2e022930069e8cfdc810a3ea1b81cd09",
+    "open_prs": 714,
+    "through_pr": 924,
+    "gist_revision": "4180bf0d4045ffdcd12d75bb1fec91c234420162",
+    "overlap": "PR917 is complex CK; PR923 changes R439 phase-B frame520 and cleanup. Neither is composed; no new R439 two-sided D construction in snapshot."
+  }
+}