Skip to content

κ = 0.001363614743745701: partial-own factory with 84 kernel pivots - #507

Draft
eumemic wants to merge 3 commits into
CrocSwap:mainfrom
eumemic:codex/r489-partial-own-kernel84
Draft

eumemic wants to merge 3 commits into
CrocSwap:mainfrom
eumemic:codex/r489-partial-own-kernel84

Include pinned upstream witness logs in the proof archive

8d4444c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (gaussian)
succeeded Oct 12, 2026 in 47s