Derivation

• Derived beats declared

  The one law — if something follows from the log, storing it as authoritative state is a bug.

• Stages

  Position in a process as a fixpoint over the reached set — synchronous sweeps, sticky milestones, and regression by derivation.