Skip to content

Conditional κ = 0.0030217758: joint helper interfaces and Lean compiler tightening - #4610

Merged
Mister-Meeseeks merged 7 commits into
CrocSwap:mainfrom
intqwq:codex/kappa-native-warp-lean
Oct 22, 2026
Merged

Conditional κ = 0.0030217758: joint helper interfaces and Lean compiler tightening#4610
Mister-Meeseeks merged 7 commits into
CrocSwap:mainfrom
intqwq:codex/kappa-native-warp-lean

Commits

  1. Commits on Oct 22, 2026