[ToikY]

Change and mathematical scope

Exhaust all 185 eligible rank-at-least-two BIT terminal ports on the fixed native word. The exact census finds 446 compatible midpoint incidences and 798 literal or 1,338 quiet paid ingress witnesses. Grant free retention and old coframed mixing. There are zero additional quotient-useful unmarked slots. Marked return stock stays at most 14 against 21 required. Even granting ideal separately charged donors, the raw margin upper is −0.35408633858153143 at the fixed target. NO VERIFIED GAIN. κ change is 0%.

The fee-aware changed-library route must expand at least 7, 5 or 4 isolated marked libraries with zero, one or two separate whole-volume splits, respectively. The stricter trial requires eight or six with zero or one split. Two splits are unaffordable there. These are directed upper-bound tests of source stock and cost.

Task and overlap

Canonical e545235, revision 8. The bit-helper-contract card changes to aggregate funded terminal ingress on the exact selected BIT word. #7260 at 87d47c1 prices the older 523-port coframed library and separate splits. This result grants earlier paid ingress into compatible rank-seven charts. #7264 at 19f6c9e proves sharpness for synthetic maximal libraries. This package binds the literal old sources, clocks, quotient and paid bill.

Validation

From the repository root with CPython 3.12 and assertions enabled:

python3.12 -B scripts/research_package.py --package research/bit-funded-terminal-ingress
python3.12 -B scripts/check_research_commit.py --package research/bit-funded-terminal-ingress --check-modes --check-source-history

The replay runs offline and regenerates the two predecessors and the exact 8,170,267-byte ingress receipt, SHA-256 1acd03fec0213cda8c44f4914c4c0b0c2e2124d7a0dc0586689e80bbc0fb8646. Independent fraction-free geometry, chronology and price checks pass. Forged ingress clocks and a lowered two-split threshold are rejected. Clean CPython 3.12.14, changed source and duplicate-path controls, all 34 committed paths and six navigation checks passed. No changed supplier, materialized multiplier or selected cold replay ran. The branch reuses the existing docs-only navigation prerequisite f2206e6 in a separate commit. Hosted status is pending at opening.

Credit

Credit CubeJerry #7001/#6726 for the native BIT word, ToikY #7209/#7258/#7260 for the bank geometry, terminal quotient, old-source stock and separate prices, Clear1nsight #7244 for the complete comparison, and Nick Petalas #7264 for the synthetic sharpness construction. OpenAI Codex and subagents materially assisted. Exact source pins and original notices accompany the package.

Open next questions

The old paid-payload ingress scope is exhausted. NEXT.md extracts the 60 literal events for a changed marked-carrier test and gives the 7/5/4 fee-aware gate. A candidate still needs jointly signed rank, restored endpoints, exact clocks and ownership, and the complete paid bill.