Skip to content

Prove exact six-call nonunit fanout on a directed cycle (no κ) - #5933

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w8-1022ac-rank-obstruction
Oct 28, 2026
Merged

Prove exact six-call nonunit fanout on a directed cycle (no κ)#5933
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w8-1022ac-rank-obstruction

feat(research): prove six-call directed-cycle nonunit fanout

2d215b3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 27, 2026 in 5m 9s