Improve conditional BIT c to 0.001736646042 with composed R437 and credited slot coalescing

[ai-nanachi]

Result

Compose the helper464 GL deletion with Ali Romman's public #1043 helper470
deletion, then apply Sagar Thakrar's #3700 OQ4 slot coalescing. The fully
charged conditional BIT coefficient is now

c = 1736646042038446578551 / 1000000000000000000000000

= 0.001736646042038446578551.

The next 10^-24 grid point fails. This follow-up improves this PR's original
coefficient by approximately 0.001024318895%; it is an additional commit,
not a new PR or a restarted submission clock. The original R437 composition
already exceeded both reproduced #1043 and pending #2423 by more than 0.1%.

Whole κ remains 0.001672660197076918. Complex supply and the selected-result
metadata stay at their inherited values. This is a finite BIT supplier under
the stated selected interfaces, with maintainer admission pending.

Concrete program change

The R437 word retains 111 SOURCE labels, 636 rational frames, 659 independent
input columns and nine paid rank7 captures. All original SOURCE/helper DIRTY
is restored. SOURCE77's replacement read occurs at its existing frame186;
SOURCE chronology and the capture windows are checked in both orientations.

The OQ4 follow-up changes exactly one placement:
[6,210,0,8,6,422] -> [6,209,8,8,6,422].
Stage6 helper422 joins helper421 at offset8 in idle family209. All 32
replicas' corresponding owners are regenerated. Window6 now has 209 five-slot,
one two-slot and 12 empty families per replica. The new whole paid profile is

{1:380160,2:400864,3:22176,4:26592,5:29376,6:17376,7:26496,26:32,42:384}.

All 125856 helper owners and 7814016 emitted local-call events are checked.
W28416, physical28425, E903456, rankmass1808352, deficit10272, maximum child42
and halving depth2 are retained. The complete invoice includes the unchanged
bad-class fallback. Prefix177 bits is charged192, two-level393 is charged512,
and ROW18355 is below the inherited cap20161.

The new local-call stream digest is
a777373994bd84681d6c2be75251ba6a04a1521580910f23afe09bb50db632b2;
the complete schedule/owners/template content digest is
c425a64739981b3ae3ed6b36d1a2f42c2d35e93f007649e89d4c677d8e158fe5.
The word and all 27132 local records remain byte-identical to the original
R437 construction. Old proof and replay snapshots are retained as history.

Reproduce and evidence

python research/bit-p111-r437-gl464-470-20261018/verify.py

This self-contained standard-library archive requires no network. Each child
uses a separate fresh Python cache namespace. It regenerates the actual word,
records, matching, owners, emitter, invoice and exact price; it checks all RAW
columns, rational frames, H1-H5, SOURCE/captures and the historical control.
EXPECTED.json, the package record, source pins and replay receipts identify
the current result. REPLAY.json describes the archive workflow.

The final isolated clean-export replay passed all 13 commands in 65.663s.
Its receipt, validation/R437-OQ4-COLD-REPLAY.json, has SHA256
266cdad360452acee74332c9a565fa3fcbe69da197061b24f117380e0a5fc93e.

#3700 at
aa0bd9fbc8700506b1fafcc55bca9bd32aced7d9 independently reimplements the
original R437 word/hosting/price audit. We replayed that audit successfully.
Its unmodified hosting and rational-price engines also pass on our regenerated
OQ4 template, including the adjacent-grid bracket. Overlapping slots, a stale
owner and the old profile at the new coefficient are rejected as controls.
This second use is our local cross-check, not an external endorsement of the
new commit. Hosted CI and formal maintainer approval are not claimed.

Assumptions, attribution and next questions

The inherited all-size/compiler, common-label/mutable-SOURCE/target-label,
common-field/ρ/cover, correlated-hosting and precision/tape/analytic interfaces
remain conditional. COPY uses one paid transform plus retained linear
complete-private-stream discard. The new capture-scope note states the
arbitrary-stream hypothesis explicitly and explains the dirty-helper column
substitution identified by #3700 OQ1; it does not supply a new physical
all-size realization. Finite audit, CI, admission and a multiplication theorem
are separate claims. The historical outer diagnostic is not a current κ claim.

Credit Ali Romman (@aliromman) for #1043's helper470 deletion and source
boundary proof, and Sagar Thakrar (@thakrarsagar) for #3700 OQ4 and the
capture-column observation. This PR contributes the helper464/470 composition,
the complete regenerated owner/invoice realization and reproducible packaging.
Preserve eumemic, DreamingOfClouds, #545/#543/#555, Dylan Crow, DaysSky's #442,
chafreaky and the full predecessor notices. Substantial OpenAI Codex assistance
was used here; #3700 discloses substantial Claude assistance. Apache-2.0 and
all inherited notices are retained.

Open work is a new carrier construction surviving every future observation
with complete owner costs, and a formal realization of the inherited SOURCE
and all-size interfaces. Neither is asserted by this finite result.