Fault arena

A lying sequencer attests a root that pays Cuckoo 1,000 NENE with no transaction. The soft balance shows the lie immediately. Leave the window empty and the lie becomes canonical. Challenge it, and bisection walks to the first bad step and slashes the bond.