Compose shared radix and forward admission across actual pooled preparation

[Clear1nsight]

The complete named preparation interval now composes ToikY/#4025's shared radix traversal with #4011's forward admission on independently compiled #4010 pooled source contexts. It includes Context construction/close, full directory production, both first-prefix read/validate and read/child-program phases, and disposal of every owned output. The candidate also shares Context.high_count's radix traversal, doubling the #4025 producer-only saving.

At actual pooled native IDLE896352 (rank14, Q6512), with old common COPY1603 and IDLE contexts, four original/candidate combinations produce identical bytes and restore all protected bytes, heads and ownership. At dimension64/cap1, source actions fall 11,709,798→2,023,876 (82.716%) for h0/B1 and 21,090,379→10,356,737 (50.894%) for h2/B2. Record, residue and index lanes remain separate; these totals are source operations, not wall-clock or a physical-machine tariff. Two radix families save exactly 8190(523 reads,95 writes,556 moves)*. Admission savings add independently with no cross term. No extra tape, numerical Word, peak or backing slot is introduced.

The current source's actual compiled fallback plan begins with a UNIT child, admitted current width2048→32. Low specifications are independently compiled from the complete source export, not copied projections. Histories are legal generic admitted histories; literal selected top-level reachability is not claimed. Finite complete dimension64 cubes have cap1/modulus3. Geometry, child_extents, handoff copies, arbitrary dirty acquisition, transport, coefficients, control/allocator tariffs, original-width stock and remaining Pi terms are open. No full physical CALL/RETURN, supplier admission or new kappa is claimed.

Only research/r437-preparation-composition/ is added. Its self-contained pooled export authenticates154 files; exact #4025 source/notice and #4011 adapter bytes are retained. Four-way replay checks the complete phase partition, output identity, all borrowed/created state and erased backing. The separate no-runtime-import invoice derives the exact record/radix delta. Eleven controls include actual same-output losing compositions that omit Context sharing or silently skip validation, plus AST/source-context/invoice controls. Registered normal and optimized results and publication/CI receipts are reported after final preflight.

Canonical main 20ecf2891d80b5acf18d980b2164fb44ea7faa90, priority6. Explicit multi-agent donor assignment changes selected-stock-envelope to this bounded preparation join. Parent checked733 open PR bodies at10:46UTC and fresh R437 search; broader Discussion/closed/code coverage partial. #4025's released handoff is built upon. No shared/frozen source or selected-frontier file is changed.

Credit: ToikY/#4025 supplies shared radix and exact traversal invoice; ywz65/#2590 supplied the cubic setup analysis and explicit optimization question, and #2566 primitive analysis. Ross Richardson retains numerical peak credit. Chris R/Clear1nsight #4011 supplies forward admission; #4010 supplies pooled compilation. Jose Manuel/jmbarrancoml, David Arias/#2753, Nick Petalas and the complete retained R437/OQ4/pooling lineage retain runtime and construction credit; full notices are preserved. New composition/proof/controls by Chris R/Clear1nsight with substantial OpenAI Codex assistance and separate AI review. Apache-2.0; no independent human or formal-kernel acceptance.

Open next questions: join geometry, extents and fixed handoff with these same contexts; lower source operations to a fixed physical tariff and price simultaneous lifetimes at original widths. Unknown costs remain unknown. No merge or closure requested.

Publication packaging: the154 frozen #4010 source files are retained byte-for-byte under vendor/ and authenticated against the unchanged source manifest. Existing Git blobs are reused during publication; no large archive upload is required. The original archive and its digest remain local evidence. This changes only transport, preserving the scientific receipt and executable source bytes.

Packaging validation: all three registered commands pass normally. A 178-file Git-free package-only export passes all three optimized commands with unchanged hashes. All eleven controls additionally pass from a read-only source export (files 0444, directories 0555), also unchanged. A separate AI packaging review found no blocker and compared all 154 sources with the original archive. Official committed-ref export and hosted CI are reported separately.

Publication head d7df855fc64525b43bfda7e7a24b17356d6c1d0e passes exact178-file package/input byte and canonical-source-history preflight. All three registered commands and final read-only Git-free optimized package replay pass; hosted CI is pending at creation. Canonical claim. Main20ec/priority6 refreshed unchanged12:15UTC after publication transport delay; science and RESULT are unchanged. The original archive remains preserved locally;154 exact public source blobs are materialized and authenticated rather than uploaded as one large archive.

[tekuuu]

DONE — encoded runtime atom powers and actual child spectator integration: #4077

Exact head 90b658330f0357975337b41d67927ae84b72c851, canonical base20ecf2891d80b5acf18d980b2164fb44ea7faa90; BIT track, OS seed4. This fills the child-geometry component of the released #4025/#4062 handoff. One complete radix validator is shared across the three actual Layout.child_extents powers; all exponents stay encoded and one owned blank Counter role is reused and returned erased. The original method's disjointness, complete-chunk contiguity, gap placement, marginal format and cleanup remain intact.

Fifteen complete same-input geometry/cleanup pairs save28.49%–59.20% of retained record/residue/index source actions. The width70 internal-child geometry is7,046,111→5,038,964. Added counters and index copies are fully charged; all tested additional per-bank numerical peaks remain index21/residue6. An independent no-runtime/primary-import integer and trailing-zero oracle checks the entire delta;30 control groups include26 actual source Counter calibrations and a same-output exponent-one losing case. For a strict child c<n, the old total radix traversals simplify to E=2(n−c), independent of gap placement; the new count is1. Extra counter costs still require the exact site budget.

All registered Python3.12 checks, exact25-file canonical-source-history/byte preflight, official export/check and all three read-only optimized Git-free commands pass; final27-file export contents remain unchanged. Published bytes/head/body match the tested artifact. Hosted CI is separately observable on the PR.

The reusable Powers API and same-runtime adapter/blank-role contract are in VERIFICATION.md and PROOF.md. Next join: #4062 Context/directory/admission, then actual fixed handoff/payload copies and all backing at original widths. This does not complete that join, global Pi, physical control/allocator tariffs, dirty acquisition, stock/native/source admission, precision or supplier transfer. Malformed contexts still reject; transactional rollback and universal performance improvement are not claimed. No new κ.

Credit ToikY/#4025 and ywz65/#2590 for the fixed-d² precedent; Chris R/Clear1nsight/#4062 for the preparation composition and handoff; David Arias/#2753 and Jose Manuel/jmbarrancoml for the actual geometry/caller/runtime, plus all retained source/record/codec lineage. Tekalign (tekuuu), substantial OpenAI Codex assistance; Apache-2.0. Claim complete and released.