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

Verify grouped phase interfaces and formalize general rank debt; reta…

20bb93c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs