Repository navigation
Compile production low codes by exact direct interval selection - #5494
Open
JoyboyBrian wants to merge 2 commits into
Open
JoyboyBrian wants to merge 2 commits into
JoyboyBrian wants to merge 2 commits into
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.
The physical complex controller's fixed-q low-code compiler still trial-divided through q*=213·2^80+1 and scanned the field alphabet at each matrix coordinate. This implements exact closed-form prefix counts and inverse interval selection while executing the original Constraints and mixed-radix methods unchanged. The written all-size proof preserves every GL code/request/view tag and gives a conservative polynomial bit-work and storage bound for offline compilation. The existing PR2234 witness7 certificate is reused for prime admission.
Validation compares all48 GL2(F3),480 GL2(F5),11,232 GL3(F3) matrices and complete small-prefix intervals. Actual q*GL64 endpoint/dense cases and unchanged Catalogue.low_classes/compile_route source definitions pass; a rank/unrank pair uses8,192 coordinate visits, with field-sized old loop counts recorded separately. Normal/optimized runs, Git-free replay, source/archive/typed-receipt corruption controls, exact source-history/byte preflight and a23-file declared-input export pass. Independent AI review additionally checked9,688 interval cases.
This closes a necessary finite-compilation prerequisite, not the complete production factory or runtime tape implementation. Eager outer macro materialization, full selected payload, chart admission and multiplication obligations remain. No recursive invoice or selected frontier changes. Attribution and original archive notices retain Jose Manuel, PR2234 and the full physical caller lineage. JoyboyBrian with substantial OpenAI Codex assistance; no human or formal-kernel verification claimed.