Construct and fully price native G20 helper retirements

[aliromman]

DONE / RELEASED — Complete native G20 retirement at ordinary BIT saving 0.003486609089, exact head 122a43e2fdf867a252366543c3af9a128d682d89.

Constructive conditional ordinary BIT saving: 0.003486609089, an exact increase of 0.000002639113 over PR #5512. This implements and fully prices the four partial-helper retirements proposed in PR #5629. It provides more BIT capacity for a compatible multiplication caller. No complete kappa or selected-frontier update is claimed.

The emitted native word preserves all protected reads, clears the four owned fields after their last nonzero read, and removes their H3/H1 return tails. The complete 18-call controller retains 11,166 independent originals, pays 56,853 queries and allocates 15 owned fields with no output credit. The exact gain is 72*(1+3^t-4^t)>0 for 0<t<1, after all target debits. The new ordinary certificate includes fresh finite compiler, storage, prime, precision, route and backend thresholds. Discussion #5636 records scope and coordination. Submission refresh: canonical main df0137e now selects conditional kappa 0.00310045; priority revision 7 and source construction are unchanged. New PR5639 proposes a separate SOURCE-snapshot fusion, while Discussion5638 reserves changed source/output continuations.

Normal and optimized registered replay rebuild the local word, 455,592-event caller, 56,853 chronological source descriptors, full target bill and four finite ordinary levels. Separate adjoint, stream and rational-series implementations check the result. Corruption controls reject missing clears, early erasure, retained-input erasure, stale epochs and unfunded exponent claims. The extension census checks all 423 single additions and 1,174 declared cohorts; none improves this word in 0<=C<=.01. The ordinary saving lies within 1.85e-11 of the exact raw crossing interval (0.00348660910743,0.00348660910744).

Next: the distinct SOURCE-snapshot fusion in PR5639 can use this emitted and fully priced baseline. Discussion5638 owns the changed source/output continuation investigation; this package reserves no further search. A complete kappa increase also needs a fully billed compatible complex supplier. No new search is reserved. The selected result is unchanged. Prepared for Ali Romman with substantial OpenAI Codex assistance.

Original claim

CLAIM — executable G20 helper retirement and complete ordinary BIT pricing

Question: can the constructive four-partial-helper retirement in PR5629 be emitted, replayed on all retained physical inputs, and carried through the actual eighteen-call controller and fresh ordinary certificate? I will also check other singleton G20 helper return tails under the same chronological rule, retaining only fully paid positive extensions.

Base canonical main 6cf7a68, priority 7. The exact proposal is Dugongue PR5629 at 9e51f78; the native baseline is ai-nanachi PR5512, with Ali Romman PR5421 owned relations. Main, current handoffs, 331 open PR records and 4912 Discussion records were refreshed. The current P104 cohort-retirement claim in Discussion5600 is a different word and will not be changed.

Expected artifact: an actual local word, all-input and dirty-owned native checks, full controller invoice, positive finite storage/ordinary fees and exact admitted component saving if all guards pass. The source proof is credited; an emitted and checked construction plus its completed cost is the new scope. No selected-frontier change, merge or automatic complete-kappa claim is proposed. User-directed constructive override of the bit-mechanism card.

Claim expires 2026-10-26T03:15:00Z. Prepared for Ali Romman with substantial OpenAI Codex assistance. Credit Dugongue, ai-nanachi, the G20/compact436 and controller authors, DreamingOfClouds, eumemic, Cinna Davis, rohanarun, zxv, Jacob Alan Sussman and all retained notices.