A sequencer node must produce consistent topology with witness signature.

After a kernel node is pledged successfully, it must be accepted timely.

The payee should spend the node removal output as soon as possible.

All nodes should ensure consistent snapshots to keep the round space small.

A node produces snapshot x in round A, then announces round B, which references round A with only snapshot x in it.