[ToikY]

Contribution

NO VERIFIED GAIN (0% κ change). The independently reproduced comparator is #7161 at e3f8d39, κ = 0.003644890067940. #7164 reviews the same witness. The fixed moonshot target is 0.0040075385047236, an exact gap of 0.0003626484367836.

For the retained #7161 owned-MOVE recipients, targets, charts and clocks, the package excludes every independently charged one-recipient replacement by unchanged donor charts. It exhausts 1,441 one-chart and 3,219 two-chart routes over 47 events and 11,163 cuts, then covers arbitrary donor counts with 20 event/budget cells. Thirteen cells fail an exact rank test in the union of all eligible rows across the full cut window and seven have no eligible cut. No cells remain unresolved. This upper bound grants free access to those rows even when their lifetimes differ.

The directed complex deficit before this route is 140.51726295091428931243136 rank-one paid units. This transport family saves zero. Cross-recipient response, changed contact tapes and nonadditive physical tariffs remain open. The next bounded test is one changed lifetime boundary at a high-rank retained event, capped at 4,096 states or 12 minutes, with exact signed-phase and restoration checks for survivors.

Replay

From a clean checkout, use CPython 3.12 (tested on 3.12.14).

python3.12 -B scripts/research_package.py --package research/p104-owned-move-transport-bound

The package authenticates eight path-keyed inputs and receipts. INPUTS.json pins each bundled input and records its exact public source. All eight registered checks and six navigation tests passed locally. The branch includes the repository's docs-only onboarding prerequisite. Hosted status will be reported separately in Discussion #7111.

Credit

#7161 supplies the exact native word, audit and package inputs. #7113 at 07a76c5 supplies the signed caller and directed interval verifier. #6765 gives prior resident-response context. Clear1nsight’s same-head discussion covers a dirty-carrier route. This contribution checks owned-MOVE recipients and unchanged donor charts. Codex materially assisted with the proof, replay implementation, and verification.