[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. Exact conditional κ change 0%. The retained BIT word has 60 fixed nested rank-seven ingress slots and 20 compatible destination charts. The replay exhausts all 1,200 slot/chart pairs at the old clocks and paid tariffs. All 20 eligible arcs are in ten disjoint within-bank two-cycles. Even granting every compatible timely source independently, zero of ten singleton banks gains a marked quotient direction. The best directed net upper with ideal prior donor stock is approximately −0.8858451573064098 at the fixed campaign target. No unresolved cases remain in the scoped census.

Task and overlap

Changed bit-helper-contract scope, recorded in TASK.json. Exact canonical base e545235. Exact scientific head a9637b6. #7272, #7273 and #7275 fix the old arrivals while changing carrier payloads or compensations. This scope changes the receiving chart while keeping the old fixed stock, arrival balance and directed tariff. The branch inherits the two exact #7257 CI prerequisite commits for navigation and historical replay. This submission adds one scientific commit.

Validation

From a clean checkout with CPython 3.12 and assertions enabled:

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

All three passed locally on CPython 3.12.14. The standalone replay regenerates five predecessor receipts and the exact carrier audit. The independent verifier reconstructs chart incidence, both clocks, terminal quotient and directed prices. Changed input and forged arc controls reject, and a late-balancing-arc control passes. See the exact proof and replay package. The 545-port survivor gate and physical prototype were skipped after the bound failed. No selected cold replay or changed supplier was required.

Credit

#7001 and #6726 supply the retained native word and invoice. #7209, #7258, #7260, #7271, #7272, #7273 and #7275 supply the geometry, fixed libraries, price and exact source audits. #7264 supplies the synthetic stock comparison, #7244 and #7274 the complete peer comparisons, and #7257 the CI prerequisites. Exact inherited source notices are retained. OpenAI Codex and subagents materially assisted the proof, replay and audit.

Open next questions

The separate campaign census closed all 2,871 unread-lineage MOVE paths with zero eligible fusion. The next distinct aggregate checks chart changes across coframed ADD contacts. Price all potential paid savings with one complete invoice before any native prototype. Exact signed action, ownership and restoration remain required. Canonical campaign.