Repository navigation
Fuse two encoded CRT payload sorts into one - #7390
Open
Clear1nsight wants to merge 4 commits into
Open
Clear1nsight wants to merge 4 commits into
Clear1nsight wants to merge 4 commits into
Conversation
This is the exact documentation prerequisite retained by CrocSwap#7156. It points the onboarding check to the selected CrocSwap#7000/CrocSwap#7001 review. Credit to Rohan Arun and the source authors.
The PR CrocSwap#6292 rejection census and package plan are statements about 2485805. Load its exact sources and planner in a private sparse checkout, keeping all source hashes, 19 expected rejections, nine package selections and the empty-plan control. Subsequent edits to the live Makefile and CI guide no longer invalidate this historical check. The original audit is by unpaidmoon, building on Dennis’s historical replay gate. The pinned repository view follows the precedent of Matarener’s PR CrocSwap#5434. Repair prepared with substantial OpenAI Codex assistance.
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.
Change and mathematical scope
One live encoded CRT root now routes all 16 marked records of the retained
two_short_firstright rectangle. Writing both destination fields before sorting gives the same forward frame as sorting after each axis. The fused route takes four literal radix passes and 492,724 radix instructions. The matched staged route takes eight passes and 985,448 radix instructions. Both forward arms execute the same numerical work, two ROM calls and 96 physical row queries. The fused inverse restores the original payload, source, physical backing and entry heads.The independent CRT oracle checks the complete permutation from the fixed left state
(1,5), including padded coordinates, and source(1,5,2,1)→(1,5,0,0)→(1,5,2,1).RESULT.jsonrecords the live headers, shared bank and separate execution counts. This is a finite matched comparison under the retained full-frame radix ABI. A complete multiplier, a common literal tariff and a numerical κ improvement remain open.Task and overlap
Refined
uniform-transfer-auditscope (priority revision 8). #5519 at53a034436f17ef5b8fdf7a02f5066528cdfe5446supplies the retained fixture and shared-bank record-alignment invariant. #7352 at8c0e55c9ba25ff2c8199b01539a4d56ae71a1473supplies the live forward/inverse root, with #7351's shared writer. #7388 executes one right-axis fiber. This change uses its unchanged row traversal and literal mover for both axes of one root and adds the matched comparison. Discussion #4709 claim.The branch starts from canonical
e54523517d0f03e58352e647c403a5af3e525a57and carries the exact #7388 dependency commitd6f4a69202ad0bba4a915f4d4f3eaba1fe431c86plus its two unchanged #7257 onboarding prerequisites. Review the seven new package files in the follow-up commit.Validation
Run
python3.12 -I -B research/encoded-crt-two-target-payload/replay.py. The registered replay and Python optimized replay passed in about 17 seconds each locally. The committed source history, bytes and modes passed preflight, and the checked Git-free export replay passed. Dropping the fast target moves tag293to slot 4 instead of 5. An unequal-width header-only case detects reusing the first offset on the second target. The noncommuting inverse-row and truncated-row controls also run.Credit
Commdata2338 (#5519), CubeJerry (#7351, #7352), Ali Romman (#5625) and JoyboyBrian (#5092, #5496, #5015). OpenAI Codex and ChatGPT Pro materially assisted. Pro derived the slot map and checked the isolated radix component with supplied keys. Apache-2.0.
Open next questions
The product-level gate needs one production-admitted catalogue, actual normalized transform returns and original-coordinate extraction through CRT and carry to the exact integer product. The fixed-left replay and its cost receipts isolate one payload seam of that larger task.