Skip to content

Candidate conditional kappa 0.001017671197486403: enlarged entrance spaces - #413

Draft
rohanarun wants to merge 51 commits into
CrocSwap:mainfrom
rohanarun:codex/enlarged-entrances
Draft

rohanarun wants to merge 51 commits into
CrocSwap:mainfrom
rohanarun:codex/enlarged-entrances

Conversation

@rohanarun

@rohanarun rohanarun commented Oct 11, 2026 •

Copy link
Copy Markdown
Contributor

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 bound 7850012378156, per-vertex bound 5021683376523255, row 15451. Fresh bit at this candidate and the uninterrupted full wrapper/CI remain pending.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants