Repository navigation
Fuse P104 late delivery with residual cleanup for two actual consumers - #4006
Merged
Mister-Meeseeks merged 1 commit intoOct 20, 2026
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Result
This source-bound fusion combines PR3981's actual copy-free late FULL delivery with PR3943's compressed query cleanup, using two actual correction consumers. It preserves all 280 input-column identities, endpoint rows and formal frames, and all 72 arbitrary dirty helper returns.
Each word saves exactly 768 unit ADDs, with no extra scaling, native transport, private storage, or unpaid donor restoration. The source-preserving variant returns every X=x at FULL and every Y=x+y in its indexed hyperplane; it avoids the separate post-encoding adapter's extra192 native mass. These are matched constructive invoices, not scalar optima.
Actual chronology and evidence
The original final416 query-cleanup events define D. Exact extraction verifies
D=T[I B], where T has32 coefficients ±2. After the actual late deliveries and donor normalization are complete,Q=h−Dx. The PR3882 correction createsq=x_J+B x_Nin persistent FULL residuals. In the PR3940 source-preserving tail, q exists at the exact internal cut after1360 tail operations excluding the already-paid104 lifts—after every scatter donor is restored and before the inverse pivot stream removes q. At either legal cut,64 read-only unit ADDs implementQ+=Tq, replacing832 old cleanup ADDs.The unchanged conditional PR3954 two-axis gate still fails by32448. Scalar fusion changes no native quantity. New global caller hypotheses are separate tasks; there is no supplier admission, all-size theorem, selected-frontier change, or new kappa claim.
Scope and provenance
Published fork head
fa933662771f241e6db5b70cdad571df8d8d14c0, tree6e25bd5ed638f936f11db953ffc42e0e81b9cbbb. Exact committed bytes, source-history availability and official export integrity checks passed. All three registered commands passed from the read-only, Git-free official export, with unchanged bytes and permissions. Export SHA256:1ff3430d59e34b65d0b5ddade1743de30aa73244a39f9699deca68b4ccc1fa91.Twelve files only under
research/p104-fused-late-cleanup/, based on canonical main20ecf2891d80b5acf18d980b2164fb44ea7faa90, priority6. Four unchanged predecessor builder exports retain original Git blobs, SHA256 hashes and public heads: PR3981cdb7dcf3…, PR39432cba526a…, PR3882 scientific9d56eeed…, and PR394051ba88c0…. The verifier authenticates original Git blobs as well as exact bytes; main-only exports require no unavailable unmerged history.The full702-open-PR body snapshot at08:30:14UTC and a fresh latest100 update check found no equivalent fusion. The helper lacks a Discussion cache; the root coordinator separately checked live boards and posted the scoped claim: #3954 (comment) . Main remained unchanged at the publication checkpoint. This is bounded overlap evidence, not a novelty certificate.
Credit Chris R / Clear1nsight's PR3981 late delivery, PR3943 cleanup/return adapter, PR3882 correction and PR3940 fused source-preserving tail. The new result is their verified coupled chronology and full matched bill. Credit Rohan Arun PR1972, Chafik Boukhalfa PR1991, Adam Gall PR1940, icekylinx PR531 and PR1862 compiler/interpreter lineage, and Josie Elliston, Sagar Thakrar, Douglas Colkitt and Dominik Scholz's E8/P104 work. PR3954/3965 and the distinct PR3961/3962/3966 constraints remain credited. PR3956's existing adapter comparison is not claimed anew.
Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. No merge, closure, selected-frontier, or shared workflow change.
Reproduce:
python3.12 -B scripts/research_package.py --package research/p104-fused-late-cleanup. Hosted CI passes at the exact published head above: planning and all three registered replay commands succeeded, with committed inputs unchanged.