Skip to content

Verify five rank-four BIT terminals and their fixed-controller cost bound - #4021

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:research/publish-bit-five-terminals-20261019T0916Z
Oct 20, 2026
Merged

Verify five rank-four BIT terminals and their fixed-controller cost bound#4021
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:research/publish-bit-five-terminals-20261019T0916Z

Credit the prior BIT window formula and narrow the added claim

c01f97e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 19, 2026 in 2m 11s