Skip to content

Prove the smallest two-pass width-budget obstruction (no κ) - #7253

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

Prove the smallest two-pass width-budget obstruction (no κ)#7253
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1111d-frontier-step

feat(research): prove the minimum two-pass width obstruction

17e0213
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 45s