[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. The strongest independently reproduced comparable κ remains 0.003644407895539 (#7156, head b44944c). The exact change is 0 (0%). This package proves a scoped exclusion for changing the retained #7001 BIT word at fixed owned-receiver contracts.

The replay checks all 360 one-intervening-ADD sends, granting the full sender gap and every recipient read barrier. All 120 receiver groups lack a common early chart. The late chart either lacks the retained consumer or charges a summary descent that outweighs three optimistic fusions. An independent row-span formulation excludes all 840 single, double, and triple alias subsets even with arbitrary combinations of retained rank-seven rows in the original lifetimes.

Task and overlap

Base e545235. Exact source heads, paths and hashes are in SOURCES.json. The sender scope refines the BIT moonshot investigation in #7111. #7157 supplies a distinct earlier-carrier gate. Its proof does not cover the recipient cochart, grouped sender, or alias tests here.

Validation

From a clean checkout with CPython 3.12 (tested 3.12.14):

python3.12 -I -B research/bit-send-cochart-gate/verify.py
python3.12 -B scripts/research_package.py --package research/bit-send-cochart-gate
python3.12 scripts/check_research_commit.py --package research/bit-send-cochart-gate --check-modes

The standalone replay checks 659 final rows and 840 restore-original positive controls. A modified source byte is rejected. The proof charges the late descent with an analytic inequality. No physical rewrite survives the finite gates, so candidate native/compiler verification does not apply. Local metadata, registered replay, and committed-byte checks passed.

Credit

Ali Romman’s retained BIT provider (#5421), the #6834/#7001 word and its authors, and #7149/#7157’s carrier methodology supply the predecessor construction and tests. #7156 supplies the current complete comparison. OpenAI Codex and subagents materially assisted the proofs, verifier and independent replay.

Open next question

Test coupled paid arrivals on asynchronous role clocks with exact original row restoration. Changed consumer routes and changed caller interfaces remain open.