Finite bit construction: frame272 reaches a guarded 12-ADD minimum (no new kappa)

research/r439-frame272-seed06/CLAIM.json

@@ -0,0 +1,22 @@
+{
+  "status": "claimed locally",
+  "track": "bit supplier",
+  "assignment_seed": 6,
+  "randomness": "First OS RandomNumberGenerator UInt32 draw, rejection sampled below 4294967200 then reduced modulo 100",
+  "base_commit": "407d52ff15b2217b6e22bce44728b4c3907b6515",
+  "claimed_at": "2026-10-13T08:49:00-07:00",
+  "expected_finish": "2026-10-13T09:23:00-07:00",
+  "object": "PR589 R439 phase-A frame 272, selected as 266 + seed modulo 60",
+  "method": "Exact nonnegative integer row-subtraction graph for the full six-wire transfer; independent minimum and finite word checks, including literal cleanup and positive bounds",
+  "stopping_rule": "One object; at most 1000000 states in first graph enumeration. If capped, report bounded coverage rather than optimality. Permit one evidence-driven method pivot on this same object.",
+  "expected_deliverable": "Source-pinned finite circuit construction or scoped minimum/negative result with reproducible verifier, negative controls and clear inherited obligations; no assumed new kappa",
+  "candidates_considered": [
+    "Whole frame 272 positive-transfer factorization: selected because bounded Boolean/window searches do not certify its integer-transfer minimum",
+    "Phase-B frame 506 factorization beyond the single-write class: deferred because the phase-B blocks have many concurrent constructions",
+    "R439 restored helper/target sharing: deferred because PR965/967/980 and related work actively occupy that mechanism"
+  ],
+  "coordination": "Curiosity Bot live issue listing at selection showed only issues 913 and 650, no pinned sprint coordination issue; claim recorded locally",
+  "overlap_inspected": [589, 886, 891, 904, 925, 936, 952, 965, 967, 973, 978, 980],
+  "prior_negative_results": "PR886 closes fixed-word frame-only improvements; PR891 closes stated single-write classes for phase B. This task changes a phase-A gate sequence and checks a distinct exact integer-transfer class.",
+  "delegation_scope": "Only frame272 nomination, independent minimum/comparison, and finite verification of that same replacement"
+}

research/r439-frame272-seed06/HANDOFF.json

@@ -0,0 +1,209 @@
+{
+  "assignment_seed": 6,
+  "attribution": "GitHub @woklerx, substantial OpenAI Codex assistance; predecessor and concurrent credit inNOTICE.md",
+  "base_commit": "407d52ff15b2217b6e22bce44728b4c3907b6515",
+  "branch": "research/frame272-seed06-review",
+  "claim_update_policy": "After publication, the original local CLAIM.json is updated once with the result and PR URL; this immutable submission retains the original claim plus this completed receipt.",
+  "initial_inventory_sha256": "81a0da6dc6a8c7cf00417e67800519b5d4f4f5401b72ca37b1137b69b3a687d6",
+  "initial_open_pr_count": 707,
+  "metadata_refreshed_at": "2026-10-13T16:15:53.260117+00:00",
+  "native_reproduce": "python -I -B research/r439-frame272-seed06/native.py",
+  "native_requirements": "C++17 compiler and Boost headers; CXX and BOOST_INCLUDE; MSVC developer shell on Windows",
+  "new_arrivals": [
+    {
+      "headRefOid": "607294b05e534087d934bb3a7fcb46e89f9b9851",
+      "number": 1000,
+      "title": "Research audit: elementary rational T37 support certificate (no new kappa)",
+      "updatedAt": "2026-10-13T16:15:19Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1000"
+    },
+    {
+      "headRefOid": "fd38a824adb3a5c60c101a86c950a6d590454adf",
+      "number": 999,
+      "title": "Research: bounded target accumulation saves additional complex primitives (no new kappa)",
+      "updatedAt": "2026-10-13T16:13:31Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/999"
+    },
+    {
+      "headRefOid": "66b777bf2b0160ed926572ff8714ac7b7bba0859",
+      "number": 998,
+      "title": "Scoped negative result: complex single lifts cannot lower P112 copy cost",
+      "updatedAt": "2026-10-13T16:09:02Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/998"
+    },
+    {
+      "headRefOid": "b3fda8d59436103b195069a6328cbf5d74f73bc0",
+      "number": 997,
+      "title": "Recursive-interface construction: signed Hadamard batch saves 126 leaf calls (no new kappa)",
+      "updatedAt": "2026-10-13T16:10:07Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/997"
+    },
+    {
+      "headRefOid": "d61f23298228b0b54fb24d997e5a81c30c886ece",
+      "number": 996,
+      "title": "Research note: reconcile prime-subset ceilings across assemblies (no new kappa)",
+      "updatedAt": "2026-10-13T16:09:48Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/996"
+    },
+    {
+      "headRefOid": "93a8127b990f9755d0c80e729b40c969d6c611e4",
+      "number": 995,
+      "title": "Independent verification: uniform U8 supporting inequality (no new kappa)",
+      "updatedAt": "2026-10-13T16:07:39Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/995"
+    },
+    {
+      "headRefOid": "b2a47e14f7189969a8a8d0e5f0a44be69898f514",
+      "number": 994,
+      "title": "Research consolidation: PR946 frozen-pin inventory and restoration replay (no new kappa)",
+      "updatedAt": "2026-10-13T16:07:34Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/994"
+    },
+    {
+      "headRefOid": "76b71ff5bea1088fb5019dea25fe89698287e673",
+      "number": 993,
+      "title": "Research note: exact incident-safe parity frame dimensions (no new kappa)",
+      "updatedAt": "2026-10-13T16:07:24Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/993"
+    },
+    {
+      "headRefOid": "0efdfc28b1eb71c91c012ca1e1945baeeebce7bb",
+      "number": 992,
+      "title": "Research audit: sharp T37 integrality penalties (no new kappa)",
+      "updatedAt": "2026-10-13T16:09:13Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/992"
+    },
+    {
+      "headRefOid": "69f989511a3f0c6f7a26da1c1608b265fbb1668a",
+      "number": 991,
+      "title": "Independent T37 schedule and targeted payload/binding verification (same \u03ba as #942)",
+      "updatedAt": "2026-10-13T16:06:46Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/991"
+    },
+    {
+      "headRefOid": "1c3ddf6bbbe1d8f0227de6726bb8273b2cb03711",
+      "number": 990,
+      "title": "Research construction: eight-query private native shear batch (no new kappa)",
+      "updatedAt": "2026-10-13T16:06:24Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/990"
+    },
+    {
+      "headRefOid": "101103e56e3effdb268ce90110c6caa4c6885671",
+      "number": 989,
+      "title": "Finite bit construction: compose four R439 blocks, saving 72 ADDs (no new kappa)",
+      "updatedAt": "2026-10-13T16:05:11Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/989"
+    },
+    {
+      "headRefOid": "9892e3e9f883fc39966e6d16bcd4e349597afeb4",
+      "number": 988,
+      "title": "Independent verification: complete U8 terminal-cone census (no new kappa)",
+      "updatedAt": "2026-10-13T16:04:17Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/988"
+    },
+    {
+      "headRefOid": "0beb9476d10308e6693a886be78b36df8fa0a288",
+      "number": 987,
+      "title": "Draft: conditional \u03ba = 0.001662039077758742 \u2014 U10 (two new triangle-hybrid slots) on PR942's T37 owners",
+      "updatedAt": "2026-10-13T16:14:24Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/987"
+    },
+    {
+      "headRefOid": "12470750d68b13b88e91277cacf95efddab95a59",
+      "number": 986,
+      "title": "Research: exact 12/13 frame281 boundary and two fewer ADDs (no new kappa)",
+      "updatedAt": "2026-10-13T15:58:37Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/986"
+    },
+    {
+      "headRefOid": "9df42a99dd8497b6e7d46cd2507bb89071372640",
+      "number": 985,
+      "title": "Research: dirty arbitrary-stride cyclic inverse on two tapes (no new kappa)",
+      "updatedAt": "2026-10-13T15:58:18Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/985"
+    },
+    {
+      "headRefOid": "51b8bce91ab21e1fffa42a907c5de3439551decb",
+      "number": 984,
+      "title": "Research note: scale deferral saves 66 beyond one JP8 fan-in block (no new kappa)",
+      "updatedAt": "2026-10-13T15:50:58Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/984"
+    },
+    {
+      "headRefOid": "5eca5b435d2ce172edf6ffb85694c7efa31bf114",
+      "number": 982,
+      "title": "Research: output-borrowed fanout with an exact scratch/work tradeoff (no new kappa)",
+      "updatedAt": "2026-10-13T15:50:06Z",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/982"
+    }
+  ],
+  "pinned_coordination_issues": [],
+  "refreshed_inventory_sha256": "dce5938bce662bac711ad8a30d4b2b322401e345a022b88075bb0aa1e37d6b90",
+  "refreshed_open_pr_count": 695,
+  "remaining_obligations": "No whole hosted invoice, outer assembly, selected cold replay, all-size compiler or full Lean multiplication theorem; inherited physical and analytic hypotheses remain",
+  "reproduce": "python -I -B research/r439-frame272-seed06/verify.py",
+  "result": "Frame272 23-to-12 ADD replacement; full local word 24305-to-24283; exact fixed-transfer minimum11 and reverse-compatible minimum12; no new kappa",
+  "review_entry": "README.md",
+  "reviewed_dependencies": {
+    "p904": {
+      "author": {
+        "login": "bitplane"
+      },
+      "headRefOid": "883a0bdf7792693e57c16be660824b57aacfbe05",
+      "number": 904,
+      "state": "MERGED",
+      "title": "Bit supplier: save 254 R439 ADDs with four-wire prefix resynthesis (no new kappa)",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/904"
+    },
+    "p925": {
+      "author": {
+        "login": "RossRichardson"
+      },
+      "headRefOid": "eb85d40a1ba80c2f776481fbeed1bae8cf04cfde",
+      "number": 925,
+      "state": "MERGED",
+      "title": "Finite bit construction: R439 frame 267 reaches a 12-ADD positive-transfer minimum (no new kappa)",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/925"
+    },
+    "p936": {
+      "author": {
+        "login": "RossRichardson"
+      },
+      "headRefOid": "0679fb6e1e4c91f573ae07ab1d0ea273b13c74e3",
+      "number": 936,
+      "state": "MERGED",
+      "title": "Finite bit construction: five-wire prefixes save 340 further ADDs beyond PR904 (no new kappa)",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/936"
+    },
+    "p952": {
+      "author": {
+        "login": "bitplane"
+      },
+      "headRefOid": "11d24706f06e95271804c9438869546724c67aab",
+      "number": 952,
+      "state": "MERGED",
+      "title": "Finite bit construction: whole six-wire synthesis saves 38 further ADDs beyond PR936 (no new kappa)",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/952"
+    }
+  },
+  "specific_overlap_conclusions": {
+    "PR904_PR936_PR952": "Same-frame source-bound/transcribed comparison shows23->20->18->18; new exact guarded12, full-word replay usesPR589, not a sum of unrelated candidate savings",
+    "PR986": "Different frame281 and source transfer, related12/13 boundary; credit concurrent distinction, no dependency or priority claim",
+    "PR989": "Composition of phase-B507/508/519/524, distinct object; native compiler adapter adapted with exact Git head and observed checkout digests retained"
+  },
+  "status": "completed research contribution; prepared for one focused PR",
+  "track": "bit supplier",
+  "validation": {
+    "finite_controls": 9,
+    "formal_columns": [
+      883,
+      1327,
+      1549
+    ],
+    "full_make_verify": "not run; standalone additions, GNU make unavailable; unrelated historical regeneration avoided",
+    "hosted_ci": "not claimed",
+    "native_omitted_bridge_controls": 96,
+    "package_tests": 11,
+    "selected_record": "PASS"
+  }
+}

research/r439-frame272-seed06/INDEPENDENT-GUARD.json

@@ -0,0 +1,46 @@
+{
+  "excluded_gate_counts": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    10,
+    11
+  ],
+  "layers": [
+    1,
+    13,
+    105,
+    616,
+    2774,
+    10015,
+    29147,
+    67281,
+    126047,
+    194071,
+    248807,
+    270500
+  ],
+  "visited_states": 949377,
+  "valid_subtraction_edges": 4416636,
+  "guard_pruned_edges": 1587210,
+  "completed_expansion_depths": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    10
+  ]
+}

research/r439-frame272-seed06/INDEPENDENT-MINIMUM.json

@@ -0,0 +1,32 @@
+{
+  "minimum": 11,
+  "layers": [
+    1,
+    14,
+    125,
+    830,
+    4209,
+    16312,
+    48192,
+    104127,
+    162909,
+    186564,
+    163664,
+    111454
+  ],
+  "visited_states": 798401,
+  "edges_from_completed_layers": 4163706,
+  "completed_expansion_depths": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    10
+  ]
+}