Repository navigation
Conversation
…se invoice replay
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.
Conditional κ = 0.001017923290728024 (
127240411341003/125000000000000000), 0.01230651% above #416. Subsequent #419 reports0.001017962405296845, which is higher than this PR. #420 reports a value below this PR.Apply #416's four frame-propagating gauge promotions to our #415 word, with exact relation transport. Three relations transfer directly. The relation for 892 initially fails on target coordinates 133 and 149 because 1010 is already gauged; substituting its explicit #409 relation repairs every rational response equation. Both the rejected transfer and corrected witness are retained.
The combined word has 208 gauges, 560 entrance instructions and five propagated original-A frame changes. Its local paid delta is
{1:+8,2:-3,3:+1,4:-2,7:+1,8:-1}, reducing rank mass by four. Outside the 25 new entrance shears, original A scalar groups are preserved.Validation on the published mathematical code (
e4a8214d0c13ad5d7a436a848448f614a6ca9c79):Successful receipts and retained failures are committed with raw and compressed hashes. The first physical replay failed while serializing its template with
OSError: [Errno 28] No space left on device. After lossless archival of completed local outputs, the unchanged code passed in a fresh output directory. No mathematical assertion was bypassed.Still pending: uninterrupted replay of the complete parent/new wrapper and Python 3.11/3.14 CI. Separate component passes are not represented as a full wrapper pass. Draft-first publication was followed by the local checks above; the PR remains a draft.
32 replicas; 2,941 banks per stage; 57,189 live and 57,980 physical registers. The invoice charges 32,774,592 real primitives, local bound 9,400,678,229,684, 119,808 bank-boundary adapters and row reserve 15,449 < 20,161. Complex lower:
254740128591982906821/250000000000000000000000; unchanged bit lower:255384852701747/250000000000000000.Run
python -B research/e8-propagated-entrances/verify.py /absolute/path/to/new/output. This freshly runs all of #415, this construction and fresh bit, checking all eight manifests before and after.This uses the same broader chronological/dyadic framework as #415/#416. No unchanged legacy gx/gxcore E4/E5 acceptance, Lean theorem or unconditional multiplication exponent is claimed. All-size window, arbitrary dirty-bank, compiler, fixed-tape, restored-row, common-grid, precision and analytic interfaces remain conditional.
Prepared by Rohan Arun with substantial OpenAI Codex assistance. Credit eumemic #416 for frame propagation, gauge witnesses and the immutable constructor/local admission; #411 for prefixes and dyadic lowering; Rohan #415/#413/#409; chafreaky #402; Dugongue #404/#401; #403 banks; applecrusher #376 and Sussman's E8 lineage. Apache-2.0 and original notices are retained. Parent #415:
4ad1ef5c67e9943d21ee8c13325ca5705546ae28; #416:c76d101df11ad4152c52fd9d68344c064e453d3a.