Proposal, gate, commitment
Deterministic convergence
Start with the foundation: a shared context, an explicit promotion gate, and nine invariants. The paper sets out the conditions under which a run reaches a unique result, with a trace of how it got there.
Read at Reflective Labs