1. 1. Project Overview
2. 2. System Architecture
3. 3. Theoretical Model
4. 4. Privacy and Information Flow Contract
5. 5. Distributed Systems Contract
6. 6. Cryptography
7. 7. Identifiers and Boundaries
8. 8. Authority and Identity
9. 9. Effect System
10. 10. Runtime
11. 11. Journal
12. 12. Authorization
13. 13. Database Architecture
14. 14. Consensus
15. 15. Operation Categories
16. 16. MPST and Choreography
17. 17. Transport and Information Flow
18. 18. Aura Messaging Protocol (AMP)
19. 19. Rendezvous Architecture
20. 20. Relational Contexts
21. 21. Social Architecture
22. 22. Distributed Maintenance Architecture
23. 23. User Interface
24. 24. Test Infrastructure Reference
25. 25. Simulation Infrastructure Reference
26. 26. Formal Verification Reference
27. 27. User Flow Harness
28. 28. Ownership Model
29. 29. Network Anonymity
30. 30. Hello World Guide
31. 31. Effects and Handlers Guide
32. 32. Choreography Development Guide
33. 33. Testing Guide
34. 34. Simulation Guide
35. 35. Verification and MBT Guide
36. 36. System Internals Guide
37. 37. Distributed Maintenance Guide
38. 38. Capability Vocabulary Inventory
39. 39. Environment Configuration Guide
40. 40. User Flow Coverage Report
41. 41. Verification Coverage Report
42. 42. Project Structure