Repository navigation
Conversation
|
Thank you @eumemic. This contribution is now retained on main in the scoped 100-PR review and contributor credits. Contribution: Additional sink-preserving orientations. Review and limits: Independent improvement within the same fixed family; joint paid-profile and endpoint checks are retained. 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: |
κ = 7.77667758368047375562422e-4
Exact value:
388833879184023687781211/500000000000000000000000000.Three further cube orientations (indices 4, 48 and 96) improve on frozen #337 while preserving all fifteen terminal sinks. Carrier matching and both physical reuse/descent passes are freshly regenerated. Fresh downstream discovery and exact native assembly determine the bound; no source score or separately reported gain is added to it. The increase over #337 is approximately 2.1624e-8.
The full operational complex supplier remains #327 at
40ed0456ab1990beb3440e61bb883ccf95fdcea4, with full-fallback saving779597612622781/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,427 ADDs, 47,817 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 50 final retiming gates (12 singles and 19 pairs). 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,793,054,367,303,001.
Word SHA256:
f2c616f29488c1e03780a0f8687af5aeaf5fedb8a154c7a0cde993683ffe04d4.Package manifest:
8b8d506eb9af26ab79b15fdf9a269bf7351ffd64648b8a78bb8f795c56e0aa22.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,836 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-dualMakefile 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.