Repository navigation
Conversation
…se invoice replay
This was referenced Oct 11, 2026
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.
Draft numerical candidate: conditional κ = 0.001017671197486403 (
1017671197486403/1000000000000000000), +0.04135624% over #409.Frontier update: concurrent #412 reports conditional κ =
0.001017776060460931, above this candidate. Its own body leaves changed phases, fused routing and invoices re-opened. This draft is therefore not advertised as the current numeric winner.Enlarge seven read-only entrance spaces from dimension four to five and relocate their literal shears. The 204 gauges and 535 entrance gates remain; exact local delta is
{1:+34,2:-23,3:-3,4:+1,5:+2}, reducing rank mass by seven. Full raw equality is verified after reordering; no blanket commutativity assumption is used.Passed before draft submission: all 1021 raw input columns and retained totals; every actual nested path; all gauged zero-response columns; chronological source-read-before-write premise; seven old-frame controls and one coefficient-flip control; exact packing inventory; two rational moment engines and all 47 strict outer inequalities. All 127 nonempty subsets of seven admitted moves are retained, including losing alternatives.
Pending: both formal entrance-chart orientations, changed Gaussian phases, actual global owner/padding assembly and independent decoder, regenerated finite invoice/bridge, fresh bit composition and full Python3.11/3.14 wrapper. This is a price-only candidate, not yet a fully admitted finite improvement. Submitted as a draft first as requested; CI retains failures.
Packing:64 replicas,5887 banks per stage,2999 rank-one pads,live114423,physical115214. Exact complex lower:
509353953591097004419/500000000000000000000000; unchanged bit lower:255384852701747/250000000000000000.Run
python -B research/e8-enlarged-entrances/verify.py /tmp/enlarged-entrances. It freshly replays the full #409 wrapper, this changed construction and fresh bit composition. The six pinned package manifests are checked before and after.Parent #409's local full attempt passed its rebuilt baseline and changed build, then failed linking the final bit checker with
errno=28 (No space left on device); its separate fresh bit replay passed. Parent CI was queued at submission. These are distinct from a completed full-wrapper pass.Finite conditional scope only: inherited all-size window, dirty-bank, compiler, fixed-tape, restored-row, common-grid, precision and analytic interfaces remain assumptions. The unchanged legacy gx/gxcore pipeline still rejects this lineage's inherited target overlap/fixed-sixths intermediate restrictions; exact chronological target replay and the dyadic/divisor3 framework are the stated broader conditions. No unconditional exponent improvement or Lean certificate is claimed.
Prepared by Rohan Arun with substantial OpenAI Codex assistance. Credit #409/#406, Dugongue #404/#401, chafreaky #402, applecrusher #376, #403's bank assembly and the earlier E8 lineage. Apache-2.0; original notices retained. Parent head:
212e03d7665d08fc6a037d3e33612cb7fc60874d.Post-submission local update: the unchanged PR409 local admission passes on this new word: both complete formal dirty entrance orientations, scalar expansion/private erasure, all chronological omission checks and 836 new/reflected Gaussian phase pairs. The full packaged changed build has now also passed: construction, local admission, phases, actual64-replica assembly, independent owner/padding decoder, finite invoice/bridge and exact outer assembly. Receipt status:
PASS_ENLARGED_ENTRANCES_LOCAL_PHASES_TEMPLATE_INVOICE_AND_PRICE. Invoice local bound7850012378156, per-vertex bound5021683376523255, row15451. Fresh bit at this candidate and the uninterrupted full wrapper/CI remain pending.