7. Invariants and Requirements
7. Invariants and Requirements
← Language | Index | Next →
7.1 Invariant Specification
Invariants MUST be:
| Property | Description |
|---|---|
| Numbered | Sequentially (Invariant 1, Invariant 2, etc.) |
| Normative | Stated using RFC 2119 keywords |
| Falsifiable | Can be tested for violation |
| Referenced | Referenced when rejecting alternatives |
Format
Example
7.2 Design Goal Specification
Design goals describe desired properties without absolute requirements.
Format
Example
7.3 Non-Goal Specification
Non-goals explicitly exclude concerns from the RFC scope.
Format
Example
7.4 Success Criteria
Success criteria define how to validate the architecture achieves its goals.
Format
| Criterion | Metric | Target |
|---|---|---|
| All authentications via Keycloak | Audit log analysis | 100% |
| Secret rotation automated | Manual intervention count | 0 per rotation |
| Deployment rollback time | Time from decision to completion | < 5 minutes |
End of Section 7 — RFC Authoring Standards