System Analysis
Requirement Coverage
Systems and Responsibilities
Interaction Flows
Contracts
Data and State Semantics
Error and Recovery Semantics
Observability Semantics
Security and NFR at System Boundaries
Compatibility / Migration
Durable Documentation Candidates
Open Questions
