Skip to content

κ = 7.77709755852032951391533e-4: selected carrier switches preserve fifteen sinks - #341

Closed
eumemic wants to merge 11 commits into
CrocSwap:mainfrom
eumemic:codex/p10b-selected-carrier15
Closed

eumemic wants to merge 11 commits into
CrocSwap:mainfrom
eumemic:codex/p10b-selected-carrier15

Conversation

@eumemic

@eumemic eumemic commented Oct 10, 2026

Copy link
Copy Markdown
Contributor

κ = 7.77709755852032951391533e-4

Exact value: 777709755852032951391533/1000000000000000000000000000.

The source orientations of #338 combine with exact-subspace grouping and fourteen even plus six odd carrier switches. Omitting the odd-centre-9 switch preserves two rank-17 donors and all fifteen sink opportunities. The source is freshly regenerated and matched before downstream discovery; the final exact assembly improves on #339 by approximately 1.0469e-8. No source or carrier score is added as a proxy gain.

The full operational complex supplier remains #327 at 40ed0456ab1990beb3440e61bb883ccf95fdcea4, with full-fallback saving 779597612622781/10^18. The bit side still binds. All inherited all-size compiler, selector, common-ancestor chart, restored-row, routing, prime-supply, precision/recovery, complex-symbolic and analytic interfaces remain assumptions; this is a conditional sufficient construction.

The final word has 10,005 registers, 8,085 dirty helpers, 324,469 ADDs, 47,817 paid calls and rank mass 177,855. It retains 1,241 entrance families of rank 1,245, 15 sinks, 125 reorderings and 12 final single retimings. At 300 replicas the stock is 3,267,225, with 423,045 banks per stage and 1,918,670,172,000 selectors. The independently recomputed finite bootstrap has eight levels.

The final word is independently audited for all forward and inverse F₂ scalar columns, arbitrary dirty restoration, COPY lifetimes, both reflected frame ledgers, alternate exact bank tiling, all 27,810 nonzero basis and annihilator minor witnesses, and closed-form finite assembly. The separate numerical column audit is over F₂; integer inverse semantics follow the actual elementary signed shears, and signed decoder/recovery interfaces remain conditional. Omitting kernel restoration corrupts 956 formal rows. Two complete immutable 22-stage replays on Python 3.11 and 3.12 exited 0 with matching mathematical certificates. All five producer payloads matched expanded bytes in both replays, and all 404 package blobs plus the manifest matched the committed tree before push.

Word SHA256: 420b66079b610fe66ecd4683c505d13d07101eb5ffc27e5407e8a68c5312460d.
Package manifest: 796c0be1d330faeb8f107233345b0cb67fcd1cb2059401882a1e6f436fe6a587.

Credit includes DreamingOfClouds for the #325 bit construction and #327 complex supplier, Chafik Boukhalfa for transcript transforms and p10 adaptations, Rohan Arun for frame optimization and arithmetic refinements, and every contributor named in inherited notices. The new source orientation, carrier search, selections, integration, independent auditing and publication used substantial OpenAI Codex assistance. All inherited provenance and AI disclosures are retained.

The repository-wide inherited joint-dual Makefile pin failure remains separate and is addressed by #318. A dedicated Linux workflow replays this complete new package. All previously published PR heads and claims remain unchanged.

@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

Thank you @eumemic. This contribution is now retained on main in the scoped 100-PR review and contributor credits.

Contribution: Selected carrier switches preserving fifteen sinks.

Review and limits: Complete source-bound producer, frame, bank and finite assembly replay; no universal optimality claim.

The complete original source, notices and relevant execution evidence are retained through the pinned source archive. The review distinguishes fresh local runs, source-bound historical Linux CI and prior exact-head review; it does not claim 100 fresh full mathematical audits. Closing this historical PR as reconciled. This preserves parallel and cumulative credit without replacing the selected frontier or promoting priced research targets to completed constructions.

Reviewed head: 6ee2d78d7773b2406762d35e41a5636231310ed9. Publication: 4040a0f46d67b41c36a472a7cd4af791fd4c36cc.

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