[Research] Exact selected BIT same-family ADD route invoice

[1337isnot1337]

Result

This package replaces the symbolic chart-route terms in PR #2195's restricted-fibre ADD formula with the exact selected GL64 route words for the complete same-family ADD subset in the pinned PR589 word.

• 288 selected local calls and 11,072 same-family ADD events.
• 33,216 ordered route actions across 43 used route types.
• Exact route primitive totals: 19,398,656 ordinary operations; 3,407,872 double-half operations; 417,792 negations; 4,177,920 controlled shifts; 1,097,728 constant shifts; 321,408 low permutations.
• Includes all 288 per-call receipts, the concrete family-451 event at stage 0 / replica 0 / position 19422, and three negative controls.

The scan-sharing screen finds 3,456 (call, family) groups, which gives a naive ceiling of 7,616 fewer selection scans. It does not count this as a saving: family 451's first and second same-family ADDs are separated by an operation that changes role 243, and the exact three-operation control shows the reorder changes role 244 on a dirty input.

Scope

This is a partial conditional cost result, not a complete low-class invocation or a new supplier. Whole-family selection, payload XOR, fixed-tape parking, descriptor installation, precision, recursive child execution, and restoration remain unpriced. No new kappa is claimed; the selected conditional kappa is unchanged.

The route records are the 43 used records captured from PR #2157 head eb1bf93950e9b14f7fadca7892866e9f29a26ad3. The verifier replays each rational route word and checks it against the selected support completion and the exact bill. PR #2195 head 3a1cf78a1ba6322129e42d80c50d21765524d612 supplies the owner layout and the three-route procedure. PR #2171's preparation costs and PR #2188's descriptor work remain separate.

Assignment: seed 96e4cc54f6b42661a96b916ab0d83929, track recursive-interfaces, task selected-stock-envelope with changed scope, base 0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2, priority revision 4, selected-record SHA-256 10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32. Claim and handoff: Discussion #2179.

Verification

Observed locally on CPython 3.14.7:

PASS_SELECTED_BIT_ADD_ROUTE_INVOICE adds=11072 routes=33216 types=43 ordinary=19398656 groups=3456 controls=3 no_new_kappa
PASS_SELECTED_BIT_ADD_ROUTE_INVOICE adds=11072 routes=33216 types=43 ordinary=19398656 groups=3456 controls=3 no_new_kappa
PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check)

The first two lines are normal and optimized verifier runs. Python 3.12 is unavailable in this environment, so the registered Python 3.12 replay was not run locally. OVERLAP.json records the final refresh at 00:04 UTC: 449 open PRs and 904 Discussions, complete pagination, no warnings, and no exact matches.

Attribution

Credit Jose Manuel (jmbarrancoml) for PR589, PR #2157, PR #2171, and PR #2195; commdata2338 for PR #2188; and the retained authors of PR1627, PR490, and the upstream stream / fixed-tape arguments. Prepared with substantial OpenAI Codex assistance; no independent human review or proof-assistant formalization is claimed. New work is Apache-2.0.