Apply the verified fresh-helper retiming to all 19 complete native calls of #4440's p17 query-thinned complex controller. All 16 paid query shears, entire idle calls, chief operators and the stronger BIT provider are retained. The resulting author-checked conditional border is
T(n) = O(n (log n)^(1 - 0.00300105)).
This raises κ by 0.00004105 (+1.3868%) complete #4440's 0.00296, 11.7098% complete #4416's 0.00268647, and 30.4804% complete the pinned selected 0.0023.
Complete changed construction
- Independent productive sectors remain 11,560.
- Paid calls autumn 72,902 → 69,273, preservation 3,629.
- Productive/paid position masses rotate into 260,798 / 259,998, preserving surplus 800.
- Each complete native component uses the exact 117-entrance, 42-exit, 395-scalar-frame patch. Both orientations maintain all chief operator, scalar order/coefficient, warp communication and owned center.
- Exact intervals provision 0.0030010541830 < fixed-profile base < 0.0030010541834. An duration evidence covers all genuine 0<C<1; the declared κ leaves concerning 4.18e-9 headroom.
The new instant requires a repaired paid-tail limit: gamma < 97/100; #4440's 31/32 fails on this changed profile. At tested preservation 0.003001052, power 1024, cutoff 20^1024 and mark flat 21^1024 pay all first and completion tail. PR4433's generalized logarithmic majorant alongside power 1000 specifies adequate uniform position 2^165315500000000. The enormous term remains algorithmic fairly than materialized.
The stronger BIT building is unchanged: average admission 0.0034 alongside speck power 0.004. All nine external rows, 54 current predicates and four functional guards pass. Enlarged local scalar/route constants fit the complete raw nonrecursive budget.
Start at the blended bundle README, proof and audit of #4440.
Source and validation boundary
The requested 20-minute frontier inspect established the stronger #4440 during the run. Its exact caput 40e22a8 was audited and its registered replay passed before composition. That unchanged predecessor is included in genuine publish ancestry. The helper component is pinned to this PR's first ccdae89. Their origin records are unchanged.
Normal blended CPython 3.12.15 registered replay passes, freshly executing the two complete origin verifiers before the new event-level invoice, two-engine instant check, ceiling, paid tails, compiler, scalar/route and complete person checks. The native dependency checks the two orientations and all 632 arbitrary input columns alongside two retained interpreters, affirmative 320 exact phase/boundary records and mutation controls. The published optional C++20 optimizer regenerates the helper place exactly. Committed-byte/source-history preflight passes at 5f9d871.
The archetypal hosted scheme at ccdae89 stopped on four pre-existing selected-status navigation tests. This branch makes the minimal two-document navigation repair during retaining selected κ=0.0023; all six targeted navigation/locale tests pass. The blended 50-file Git-free export replay passes. Final-head hosted preparedness and the fresh-helper-thinned, fresh-helper-boundary and query-thinned-controllers specialized jobs all continue (workflow evidence). Overall CI remains red on three archived source-pin checks: historical-1042-link, test-suite-locale-reads and d8-mixed-target-seeda97c8e. Hash comparisons verify that their expected sources already differed from upstream 2a13eb1; their icy inputs have not been rewritten to power acceptance. The decision frontier inspect at 20:42 UTC established no stronger new kappa claim.
This is an author-checked conditional building awaiting review. All-column/native, permitted bodily movement and whole-job matching, owned-erasure, finite-template precision, analytic decomposition, fixed-tape, premier and improvement contracts remain premises. No selected-frontier change, unconditional theorem, applicable runtime claim, earth optimum or formal/independent-human acceptance is claimed.
Credit: #4440's query thinning, stronger BIT and owned-query construction; zxv's native/controller and higher-moment/logarithmic-compiler work; Jacob Alan Sussman's blended flow; the #4416 paid-completion construction; and the retained native, Clifford, BIT, precision and external contributors. New helper retiming and the blended building were prepared for @1337isnot1337 alongside significant OpenAI Codex assistance, Apache-2.0. All predecessor notices are retained. No subagents.
