Skip to content

Conditional κ = 0.001530327580902932: kernel92 with native-body frame lifts - #538

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
chafreaky:research/direct504-kernel92-lifts
Oct 12, 2026
Merged

Conditional κ = 0.001530327580902932: kernel92 with native-body frame lifts#538
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
chafreaky:research/direct504-kernel92-lifts

Merge main and retain both proof-package attribute rules

a146051
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 12, 2026 in 5m 9s