[aliromman]

This independently checks the source-to-profile step in Dugongue's PR5657, which supplied proofs without an executed source replay. It emits all fourteen windows not already in PR5653, checks their complete source intervals and interactions, and reproduces the proposed paid profile. Helper 444 is retained predecessor coverage.

The simultaneous word changes 102 old events and passes all 684 input columns, including arbitrary owned data. It retains 645 local original inputs and returns 39 owned fields to zero, within the proposal's conservative 40. Its full eighteen-call histogram substitution has 56,547 paid queries, 11,166 productive targets and rank surplus 753. A separate rational series calculation gives moment [0.171920889810167927,0.171920889810167928] at C=.003497, confirming the proposed >1/32 test. The raw profile crossing lies in (0.00349780457955,0.00349780457965).

Matcher qualification: the new 506 -> 0 rank-four request is absent from the consumed baseline. Its historical 1 -> 506 request has the complementary residual. This audit supplies exact forward/inverse basis matrices for the required residual: 38 nonzero coefficients, common denominator 4, norms 3 and 2. Their physical compilation and full cost remain ordinary-admission obligations. Literal reuse of every old oriented request would be an incorrect claim.

• Proof and scope
• All 102 literal edits
• Exact result, matcher and rational bounds
• Source pins

Registered Python 3.12 normal/optimized replays, a separate reverse oracle, exact projector identities, 20 semantic failure controls, 22-file committed-byte checks, official export integrity and a Git-free optimized replay pass. No predecessor executable is imported. Full-history preflight is unavailable in the shallow checkout. The selected binding baseline passes after its sparse inputs are materialized.

This is a finite source/geometry/ledger audit, not a full chronological caller replay, completed ordinary admission, independent human acceptance or new kappa. The raw crossing excludes cover loss, finite completion margins and the backend chain. The source proposal's conditional .003496 ordinary claim retains those obligations. Selected .00310045 is unchanged.

Base: canonical main df0137efd35e11b4445734bf612bdd4c7ebc330c, priority 7. Main, fully paginated remote overlap and the final PR delta were refreshed. The distinct claim is in Discussion 1166; the active G20 scalar-boundary search is excluded. The shared hosted planner has the reported current-link failure; repair PR5659 is pending and no hosted pass is claimed.

Credit Dugongue PR5657, ai-nanachi PR5512, Ali Romman PR5421/5641/5647/5648/5653, Dugongue PR5629/5639 and every retained native, ROW, controller, compiler, precision, tape and analytic notice. New audit, exact word and checks by Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.