Example requirement and proof
Review prompts
- Can each requirement be tested without interpreting the author’s intent?
- Does the design assign one owner for every durable state transition?
- Are failure, privacy, migration, and rollback behavior first-class sections?
- Which details belong in an ADR rather than the maintained specification?
