[JoyboyBrian]

Helper469's frame593 rung remains impossible to remove by invertible receiver-only endpoint recoding, the case expressly left outside PR6069's donor-only exclusion. For the selected PR6030 word and maximal windows [7896,14357] at chart3 and [14418,14850] at chart713, every donor and the receiver entry row have public-input1 coefficient zero; the required restored receiver has coefficient1/2. This separates the full rational affine span and makes the feasible nonzero receiver-multiplier set empty.

The focused package adds a source-pinned proof, exact certificate and independent standard-library verifier. It replays only helper469's required prefix and preserves all frozen predecessors. A separate literal input1 interpreter checks all 2,734,614 legal donor-slot visits. A synthetic positive shows why donor-only exclusion does not generally imply receiver-recoding exclusion; negative controls reject zero multipliers, stale donor versions, wrong charts, changed arbitrary-input columns and omitted restoration.

Validation at 06d9cd06aa769514304b1ec461117a793addb9f9:

• Python3.12 registered primary and independent controls pass normally and with -O.
• Exact committed bytes and declared source-history ancestry pass.
• Official nine-file package export and integrity check pass; fresh Git-free read-only exported replay passes all four commands in under one second total with unchanged files.
• Corrupted source bytes and a changed input1 certificate coefficient both fail under optimized Python.

This is a scoped scalar exclusion, with no new kappa or supplier claim. No candidate reaches the native/paid/productive/ordinary-cost gates; those profiles are not asserted. No 764-interval recensus, full selected/native/caller replay, Lean or Docker run is included. Human proof review should check the contact-free boundary, unchanged-donor induction and affine normal form.

Canonical claim: #6078

Credit Jonathan Capalbo/PR6069 for the accumulated-span argument and its receiver-recoding boundary; Nick Petalas/PR6033 for carrier-cost context; DreamingOfClouds/PR6030 for the selected word; Ali Romman/PR5827 and retained P104 predecessors. PR6069 head b3f5aabddbae2d65f80bb8356e6993e0a65cd245 is contextual provenance, not a computational dependency. Prepared for JoyboyBrian with substantial OpenAI Codex assistance; Apache-2.0.

[JoyboyBrian]

CI follow-up for 06d9cd06aa769514304b1ec461117a793addb9f9.

The plan failure reproduces on clean canonical main 721c03822c421b7f7fcbb2598993b947c4d88419: the two current-status navigation tests fail before this PR’s scientific replay. Existing PR #6050 (41ac3a47b91b4184e6c54af417bf576bfb429926) fixes both documentation mismatches; its exact two-file change passes all six tests locally, normally and with -O. Awaiting the shared upstream repair and a fresh CI run; this is not a successful scientific-replay claim.