[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. Exact conditional κ change 0%. The replay checks all 2,871 literal paid MOVE arrivals on the retained BIT word. At each old clock, the moving arbitrary-input row lies outside the GF(2) span of all other already-live original destination-chart rows. Independent replay checks 2,871 separating duals, including 552 non-unit witnesses with maximum support 87. No arrivals remain unresolved in this scope. The complete original 36-copy signed invoice remains charged and the savings upper is exactly zero. The directed target margin remains approximately −60.10389921914735.

Task and overlap

Changed bit-helper-contract scope, recorded in TASK.json. Exact canonical base e545235 and science head b28b6bb. #7289 changes destinations while preserving balanced ingress stock. This scope fixes the literal old chart and clock and asks whether its original live source library could replace the paid MOVE. #4633 changes the ambient quotient and its caller premise. The branch inherits the two existing #7257 CI prerequisite commits and adds one 19-path science commit.

Validation

From a clean checkout with CPython 3.12 and assertions enabled:

python3.12 -B scripts/research_package.py --package research/bit-destination-span-bound
python3.12 -B scripts/check_research_commit.py --package research/bit-destination-span-bound --check-modes --check-source-history
python3.12 -B -m unittest discover -s tests -p test_research_current_status.py

All three passed locally. The standalone replay also passed in an empty working directory with empty PATH. It verifies source provenance, exact ordered duals, original endpoints and independent directed price. Both implementations reject changed source, the independent audit rejects forged membership, and a one-case cap preserves the remaining unvisited cases. See the exact proof and replay package. No native site, changed supplier or selected cold replay was needed for this scoped result.

Credit

#7001 and #6726 supply the retained BIT word and invoice. #7289 provides the pinned public source copy. #7257 supplies the inherited CI prerequisite. The original notices and licenses are retained. OpenAI Codex and subagents materially assisted the proof and replay.

Open next questions

Can a changed coframed chart schedule or new paid delivery provide a different live source library? First price its full compatible stock on one complete invoice. Retain the exact arbitrary-input action, phase, endpoints, ownership and restoration gates. Canonical campaign.