Finality, execution and the epoch barrier

Finality, execution and the epoch barrier A sequence diagram generated by Archify. verify payload verification result finalized height h execute height h state + result enqueue per-height result if epoch boundary transition complete release boundary wait execute height h + 1 Automaton · payload checks · Sequence participant Automaton payload checks Simplex · consensus decision · Sequence participant Simplex consensus decision Reporter · height-ordered queue · Sequence participant Reporter height-ordered queue TurboExecutor · shared-state apply · Sequence participant TurboExecutor shared-state apply Finalization · bounded FIFO lane · Sequence participant Finalization bounded FIFO lane Epoch handler · membership + rewards · Sequence participant Epoch handler membership + rewards

The boundary controls the next height

  • • Ordinary heights do not wait for an epoch transition. A local execution defect halts the reporter; it cannot skip to h + 1.

Finalization is separate from disk writes

  • • The FIFO holds at most 16 blocks. The separate ordered state writer owns WAL and durable-height writes.