Repository navigation
Rebuild the compact BIT paid profile from the literal word and owners - #4349
Merged
Mister-Meeseeks merged 2 commits intoOct 21, 2026
Merged
Conversation
pinterbanget
pushed a commit
to pinterbanget/integer-mult-bounds
that referenced
this pull request
Oct 21, 2026
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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.
PR #4335 checks the moment/majorant of #4326's transcribed histogram and explicitly asks for a separate reconstruction from its word. This package closes that narrow binding gap for #4326 head
080f8c218d64c6d231ed6297987e39b7a912a4ef.Fresh code derives all 2,899 MOVE ranks and containment over Q plus nine rank-seven COPY charges from the actual 658-role word. It checks both complete 21,988-record frame traces, then derives the owner supports, inactive windows and idle complements for all 288 calls / 125,568 helper occurrences. The result agrees with 900,416 queries, rank mass 1,808,352, DATA stock 28,416, with nine separate private families excluded from DATA credit. A separate Fraction implementation checks all 636 frame ranks and 2,384 distinct MOVE union-rank containments.
Validation: two registered isolated Python3.12 replays (normal and optimized, warnings as errors), complete typed regenerated payload equality, five semantic controls plus three stored-evidence controls, 17 exact retained input pins, original commit/tree provenance and Git-free cold committed exports. No producer executable is imported or run.
This is a finite Q-frame / literal owner invoice audit. Numeric COPY/ERASE equality, SOURCE/operator action, odd-characteristic projector admission, fixed physical tapes, complete cleanup, precision, arbitrary-stock padding and the multiplication outer join remain inherited or UNKNOWN. No new κ or selected-frontier change.
Credit: ai-nanachi/#4326 and its internal independent checks; Ryanson Jonathan (pinterbanget)/#4335 for the numerical check and handoff; Ross Richardson/#4183/#4021, ai-nanachi/#3647 and the full retained source lineage. Prepared by ToikY with substantial OpenAI Codex assistance and separate implementation/review contexts.
Claim and full scope: #4346 . Current-main priority7 and complete open/draft overlap were checked; scope is a named-handoff refinement of
independent-moment. Maintainer edits disabled; no merge requested.