# Summary
- [Introduction](introduction.md)
- [Scope](scope.md)
- [Protocol](protocol.md)
- [Allocation Invariants](invariants.md)
- [Proof Sketch](proof-sketch.md)
- [Lean Model](lean-model.md)
- [Durable Commit Protocol](durable-commit.md)
- [Operational Guidance](operational-guidance.md)
- [Limitations](limitations.md)