[flyingviper]

This composes Ali Romman's helper 341 paid-boundary identity from #5602 with the delayed/prepared construction in #5612. The complete conditional endpoint increases from kappa 0.00310299 to 0.00310440, a gain of 0.00000141. This is a checked composition of a credited existing identity with our newer word.

Three initial coframed ADDs and one final correction replace eight helper 341 operations, including its final rank 5 transport. Its productive target changes from rank 9 to rank 4. The complete funding improvement is exactly 18*(4^(1-kappa)+5^(1-kappa)-9^(1-kappa)); the target debit is included. No input or owned lifetime is added.

The raw crossing is (0.00310440547057, 0.00310440547058), tested at 0.0031044005. The full invoice has 66,618 paid calls, 13,030 productive targets and rank surplus 760. The word has 25,525 events, 747 independent inputs, nine owned roles, 11 owned lifetimes and peak occupancy two.

Proof · Constructor · Pinned witness · Complete receipt · Source pins

The unchanged published PR5602 constructor and the specialized small constructor produce identical complete words. Only the witness's causal cut index changes. Verification checks all 756 arbitrary-input rows and dense transpose columns, 2,917 signed native maps, the full physical caller, complete cost/ownership accounting, two interval engines at the tested endpoint, the compiler and 58 outer predicates. Five controls reject missing basis/cut corrections, missing owned initialization, old target credit and an unpaid transport. Independent agents checked the causal relation, coframing, all original columns, ownership and complete histogram deltas.

Registered normal/optimized replay, committed-byte/source-history preflight and a read-only Git-free export pass.

python3.12 -B scripts/research_package.py --package research/p104-delayed-basis

Base is canonical main d7633ce230196a1d5d061347de7a0fd8be512ed6, priority revision7. PR5612 is pinned at faa9f6dbe6b8cc4a996d3edeca71823056453e1a; PR5602 at 6c224aa720203c4f4615e6538d8038a275387db8. Exact source exports and original notices are retained. No selected-frontier change is proposed.

The five inherited framework assumptions and helper-endpoint contract remain. The enormous uniform word and complete rounded multiplier are not materialized. This is finite exact evidence and conditional pricing, without independent human or proof-kernel acceptance. The fixed-invoice ceiling and headroom are documented.

Credit Ali Romman for the boundary identity, constructor, split/frame mechanisms and native/caller/pricing machinery; Scratch-net for prepared573; Pierre-Loic Doulcet/hexapode for commuting contacts; flyingviper for shared/delayed relays; Joel Pulikkan/GamingPuzzled, DreamingOfClouds, thu-nmrc, Gareth Davidson, David Arias, Cinna Davis, Jacob Alan Sussman, zxv, Cao Yifan and all retained predecessors. Composition and verification prepared for flyingviper with substantial OpenAI Codex assistance and independent agents; Apache-2.0.

Next: test whether changing another split cut permits a compatible boundary identity while retaining sufficient productive rank. The other five PR5602 boundary witnesses are not claimed compatible here.

Pre-submission refresh: canonical main 6cf7a683f447b9f1e2333791907fd92be5009a63; guidance, priority catalogue, selected record and package verification scripts were unchanged from the base.