Overview

The problem Auwai solves, the coverage model, and the vocabulary.

Contents

• what-is-auwai.md: What Auwai is and what it does not do
• mental-model.md: The ledger, the partition tree, the segment session, and the three budgets
• coverage.md: First-party scope, coverage accounting, and the coverage certificate
• glossary.md: Terms used across the documentation

Reading order

Read the pages in the order above unless a page names a prerequisite.