Skip to content

Prove scalar frame gauges cannot remove selected MOVE phases (no κ) - #6298

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1030c-scoped-result
Open

Prove scalar frame gauges cannot remove selected MOVE phases (no κ)#6298
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1030c-scoped-result

feat(research): prove selected MOVE frame-phase obstruction

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