Skip to content

Prove sharp mixed-width CRT active-row extrema (no κ) - #7251

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w8-1111d-frontier-obstruction
Open

Prove sharp mixed-width CRT active-row extrema (no κ)#7251
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w8-1111d-frontier-obstruction

feat(research): prove sharp CRT active-row placement bounds

6555bd4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 29s