Skip to content

Prove exact mode preservation needs a full rounding unit (no κ) - #6312

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w15-1030c-frontier-step
Oct 31, 2026
Merged

Prove exact mode preservation needs a full rounding unit (no κ)#6312
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w15-1030c-frontier-step

feat(research): prove a mode-preserving rounding radius obstruction

4659323
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 30, 2026 in 4m 17s