Repository navigation
Install #4502 adapters: full native replay saves 100 scalar allowance per orientation - #4505
Merged
Mister-Meeseeks merged 1 commit intoOct 22, 2026
Conversation
… prefix envelopes
Mister-Meeseeks
pushed a commit
that referenced
this pull request
Oct 22, 2026
…ical segment, allowance −100 per orientation (no new κ) 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
2 participants
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.
This closes the whole ideal native-word integration and prefix-envelope check left open by #4502. It adds no new local saving: #4502's four 766 → 666 replacements are installed into the complete THREE-base forward/backward programs, with a guarded installer, complete generated NATIVE.json and exact retained-event index map.
Fresh exact replay covers all 632 independent persistent inputs plus the original arbitrary owned C input in each orientation. All 408 helpers are restored in logical coordinates; C exits zero. The complete paid profile remains
{1:2487, 2:713, 3:232, 4:102, 5:28}: 3,562 calls, rank mass 5,157. No additional field or non-scalar event. Every original non-scalar event has an exact new-index mapping.Global ideal prefix maxima are unchanged: forward
(row l1, coefficient, numerator, denominator) = (457,32,32,32), backward(169,5,21,64). The verifier executes both retained literal and prefix interpreter loops from authenticated source functions. Full-word omission controls reject missing borrowed-input restoration and dirty-target subtraction; installer controls reject stale windows, wrong charts and hidden paid events. Registered replay, committed-byte checks and isolated optimized Git-free export replay pass. Standard-library Python only; Windows tested, Linux execution unavailable.No new κ, rounded induction, measured speedup, all-size compiler or physical phase-recipe regeneration is claimed. Unchanged global prefix maxima do not alone establish the rounded budget. Existing phase-event payloads/order are retained, but downstream receipts must consume the explicit index map. The canonical input is used as a chart/profile reference; its original cleanup-generation metadata is not rewritten. Consume NATIVE.json or the guarded installer rather than regenerate the old word from those old metadata arrays. The selected frontier is unchanged.
Credit #4502 for borrowed adapters, #4499 for exact gauges, #4494 for source windows/rank compilation and #4489 for the owned sum. Retain zxv's native reconstruction, Jacob Alan Sussman's mixed-target work, Cinna Davis's native/padding/query/retiming lineage and all source contributors. ATTRIBUTION.md records exact predecessor heads, retained interpreter reuse, MathProof restoration/feedback precedents and incomplete overlap coverage. Main was refreshed before submission and remained 2a13eb1. Substantial OpenAI assistance; Apache-2.0.