Skip to content

κ = 7.77646134698096194171091e-4: source orientations preserving fifteen sinks - #337

Closed
eumemic wants to merge 8 commits into
CrocSwap:mainfrom
eumemic:codex/p10b-sinkaware15
Closed

eumemic wants to merge 8 commits into
CrocSwap:mainfrom
eumemic:codex/p10b-sinkaware15

Conversation

@eumemic

@eumemic eumemic commented Oct 10, 2026

Copy link
Copy Markdown
Contributor

κ = 7.77646134698096194171091e-4

Exact value: 777646134698096194171091/1000000000000000000000000000.

A new source orientation improves on frozen #335 by preserving fifteen terminal sinks. The trial restores the previous orientations at cube indices 10 and 111 while keeping the new sink at cube 3, then regenerates carrier matching and both physical reuse/descent passes. Fresh downstream discovery and exact native assembly determine the bound; no source score or separately reported gain is added to it. The bound exceeds #336 by approximately 1.6169e-8; that sixteen-carrier construction is a separate derivative of the same predecessor.

The full operational complex supplier remains #327 at 40ed0456ab1990beb3440e61bb883ccf95fdcea4, with full-fallback saving 779597612622781/10^18. The bit side still binds. The 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 independent dirty helpers, 324,325 ADDs, 47,820 paid local calls and rank mass 177,855. Fresh stages comprise 480 first retimings, 120 target groups, 1,241 entrance families of rank 1,245, 240 early restorations, 15 terminal sinks, 125 reorderings and 52 final retimings. The second reorder is empty. At 300 physical replicas the literal stock is 3,267,225, with 423,045 complete banks per stage, 1,918,670,172,000 paid selectors and counted primitive coefficient 125,797,662,727,190,501.

Word SHA256: 77cd5ad8fc080a4e5ae32cacfbad049498d7e35615e907f3cddb4cea9b6e40c6.
Package manifest: 66e5173b7c1ba3910758ddd53d75d12bdb6e61314d18dc397c966d7a89ff9bb3.

Both immutable 22-stage replays actually exited 0 (Python 3.11 and 3.12). Their complete mathematical certificates match, excluding only top-level timing-dependent receipt hashes. Every receipt hash and both complete five-file source regenerations passed. The separate literal audit has already passed the actual forward/inverse scalar operators, arbitrary dirty restoration, COPY lifetimes, both reflected ledgers, alternate exact bank tiling, all 27,840 basis/annihilator minor witnesses, and an independent closed-form assembly. Omitting kernel restoration corrupts 956 formal rows. The final pre-push gate also checks all 404 committed package blobs and the outer manifest, including every nested manifest.

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 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: Sink-aware source orientations.

Review and limits: Retains fifteen sinks through joint orientation choices. A scoped construction, not a proof of global sink or orientation optimality.

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: bc97a6e8ddd3150f7533fdf119c2a6b5df0e57ea. 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