[hexapode]

This combines PR3734’s unchanged staged-helper544 supplier with the preserved T37/T8/T16 chronological order and a new exact T488 allocation. Conditional κ improves from 0.001730448360207635461740 − 10^-46 − 10^-70 to 0.001730512921319457636694 − 10^-46 − 10^-70, a gain of 6.4561111822174954e-8.

There are 4,392 calls, 1,791,936 helper roles and 437,757 physical families. At equal replica count, 45 × new − 61 × PR3734 changes the complete paid profile by −95352 H1 − 54936 H3 + 59776 H5 − 61 H32 − 766 H48, with zero rank-mass change. Both native suppliers, their phases and widths are unchanged. The new allocation is independently checked against fresh PR3734 source windows; old headline gains are not added together.

Reproduction and evidence

Only research/staged544-t488/ is added. Its fixed integer certificate and portable physical reconstruction need no optimizer.

python3.12 -B scripts/research_package.py --package research/staged544-t488

The bounded registered command checks the exact aggregate, every literal physical owner with corruption controls, rational root signs, source bindings, complete stored release evidence and regenerated outer arithmetic. The portable reconstruction reproduced all 39,492,355 decompressed allocation bytes exactly, as well as order, dispatch and profile. Gzip container bytes are not used to judge mathematical reconstruction equality.

The opt-in full_replay.py --work /tmp/fresh-staged544-t488-release reruns changed-allocation admission with explicitly source-bound reuse of unchanged native suppliers and retained ancestry. The new packaging wrapper has not itself been run end to end; the underlying admission is recorded separately. No no-reuse cold replay is claimed.

Validation passed: all seven original admission stages and final isolated release; complete independent literal-owner audit and three corruption controls; exact rational root bracket and both regenerated outer ledgers; registered package replay and source-bound stored-release checks. Unchanged native suppliers and retained ancestry were reused through authenticated receipts.

Scope and credit

This remains conditional on inherited uniform/all-size compilation, source and mutable-label realization, whole-call hosting, precision/tape/recovery, analytic transfer, recurrence and BIT assumptions. It is not an unconditional multiplication theorem or a packing-optimality claim. The selected repository result is unchanged.

Credit dataisfire’s PR3734 at fa041037a3374eaa08feeca0b26a5d6893194147, PR3682, PR3638, PR3605, our PR3633 T488 combination of earlier T37/T8/T16 order work, and the retained native/owner/prefix/BIT/outer authors. The exact predecessor clock and supplier sources and notices are retained. Prepared by hexapode with substantial OpenAI Codex assistance; no independent human review or formal theorem proof is claimed.