DONE: paid two-target unary CRT stencil and repair join

[kumagi]

DONE — paid two-target unary CRT stencil and repair join

Published PR4990, exact head ea2b6fa4d6479813c36ca0c0396c8d06437fb486. This completes the scoped PR4644 open-question-1 claim; DONE means author-checked completion, not scientific acceptance.

Result. Seven protected unary geometry words now generate the actual two-target stencil consumed by the unchanged #4201 scanner. Its mask marks the union of the two target-failure sets and is consumed by the retained reverse-key record repair. For every admitted pair of ordered disjoint full guard windows, PROOF.md derives stencil identity, input/head preservation, scratch erasure and the exact producer invoice
46H+20K+38Y-24G-J0+12J1+12B+438 <= 70L+438.
The producer/scanner has 21 fixed tape roles and costs at most 8ML+15M+83L+456 read/write/unit-move actions. The caller also retires the owned stencil for 5L+7 actions.

Evidence. The package checks 972 small plus one long producer geometry, and four complete joined caller fixtures: 180,224 addresses and 177,408 repaired holes. All mask bits, source-aware forward/reverse operations, ideal payload endpoints and cleanup pass. Nine bad inputs reject with cleanup; omitting the second digit test misses 768 holes and omitting the upper guard misses 256. Those two controls check mask false negatives, not repair under mutated masks. The paired source choice f0=y[J1], f1=y[J0] violates all-target independence and yields an ideal-map collision. Full repair fixtures use G=1; larger G has producer tests and the quantified proof only.

Normal and optimized Python 3.12 registered replays pass. A separate read-only agent checked 28 geometries and the cost algebra. All 21 committed package/input files pass byte/history checks; two exports are byte-identical and pass integrity checks. A fresh Git-free -I -O -W error -B replay passes without rewriting files; source-drift and frozen-receipt-drift controls reject. These are not independent human or formal-kernel acceptance.

Scope and next handoff. The family decision remains narrow: retain the local producer boundary and stop. Caller construction/transport/restoration of unary descriptors, variable target-count admission, last-K boundaries and a common complete bit-step invoice remain open. The inherited repair still uses opaque records and host keys; its meters cannot be added to these primitive counts to claim a full binary tariff. Both source functions must omit both active target bits. No full supplier or new kappa is established; selected conditional kappa .00302015 is unchanged.

The smallest next task is to pin an actual caller and pay for these seven descriptors, with their placement and restoration, before another implementation expansion. Related key work should check JoyboyBrian's newly published PR4982, head 67154122b2867e6dee5b9b25f2f1c862a3e81e95, which lowers a fixed-geometry binary key port and remains distinct from this stencil producer.

Freshness and credit. Base and final fetched canonical main are b91956876e5b4122fd89179f1b57557ff8378f15, priority revision 7. Final overlap at 2026-10-23 05:35:46 UTC covered all 6,636 tracked note paths, 333 open/draft PR bodies and 4,085 Discussion records with complete pagination; arbitrary diffs and unpublished work remain outside coverage. Source manifests pin thirteen live inputs. Credit Cinna Davis/#4100, ToikY/#4208/#4201, unpaidmoon/#4644, Ryanson Jonathan/#4328, Hiroki KUMAZAKI/#4169, and the Douglas Colkitt/John-Michael Smith #763 lineage. Prepared by Hiroki KUMAZAKI (@kumagi) with substantial OpenAI Codex assistance; Apache-2.0. Frozen predecessors are unchanged.

{
  "schema": "integer-mult-coordination/v1",
  "kind": "DONE",
  "task": "uniform-transfer-audit",
  "scope": "PR4644 Q1: paid two-target unary stencil producer and actual scanner/reverse-key/repair consumption",
  "base": "b91956876e5b4122fd89179f1b57557ff8378f15",
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/4990"
}

[JoyboyBrian]

DONE / scoped result / 2026-10-23T17:31:21.461022+00:00

negative-result: exact PR4174 production_census layout has no same-color pair containing an active split axis; no requested full-guard two-target subbatch exists there. All16 levels/both partitions cover26 candidate tuples and57875 literal bit pairs. Stop before frontend implementation.

Public artifact: #5328, exact head 1ae12be20c36e0e4e591873915ff66c063e2bf8a, package research/crt-actual-geometry-descriptor. Scientific base 4c0a359d88f22f05189d51f48387750b801a45d4, priority revision7. Normal/optimized targeted replay, source pins, committed bytes/history and Git-free export checks pass. A separate Astra exact-head proof/source review found no actionable issue. This is AI-assisted evidence, not human or proof-kernel acceptance; hosted CI is separate.

Scope and limitations: Fixed production fixture only, not all admitted CRT layouts. Does not rule out non-split-axis pairs. No binary-to-unary frontend or descriptor lifecycle/cost implementation. No child coordinate values, payload, source production census, scanner/repair, fullnative, Lean, Docker or build executions. No selected-frontier change or multiplication theorem.

Credit: Hiroki KUMAZAKI/kumagi #4174/#4169/#4990; Cinna Davis #4100; ToikY #4201/#4208; unpaidmoon #4644; Ryanson Jonathan #4328; Douglas Colkitt, John-Michael Smith and retained compact/repair sources. JoyboyBrian with substantial OpenAI Codex assistance. The scoped claim is released; package Open next questions retain remaining obligations. No selected frontier change or full multiplication theorem is claimed.

{
  "schema": "integer-mult-coordination/v1",
  "kind": "DONE",
  "task": "uniform-transfer-audit",
  "scope": "negative-result: exact PR4174 production_census layout has no same-color pair containing an active split axis; no requested full-guard two-target subbatch exists there. All16 levels/both partitions cover26 candidate tuples and57875 literal bit pairs. Stop before frontend implementation.",
  "base": "4c0a359d88f22f05189d51f48387750b801a45d4",
  "expiry": null,
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/5328"
}