Appendix A
Required Entity Set
The Entity and Multiplicity columns are normative: §14.8 requires every Entity below, at the multiplicity stated, and §16.2 checks that each is bound in the Path Map. The Clause column is a non-normative index to the clauses that impose each Entity. The binding of each Entity to a concrete location and serialization format is declared by the Project's Path Map (§14.8).
| Entity | Multiplicity | Clause |
|---|---|---|
| Vision Document | one | §3 |
| Governing Principles | one | §14.1 |
| Entry Point | one | §14.3 |
| Registry | one | §14.7 |
| Component Specification | one per Component | §6.1 |
| Top-level System Specification | one | §6.17 |
| Interface declarations | one per interface; those internal to a Component Specification are bound with it, those spanning Components are separately bound | §6.10 |
| Decision Records | one per binding decision | §11 |
| Records of Exploratory Work Units | one per Exploratory Work Unit; none where no Exploratory Work Unit is run | §5.7, §6.13 |
| Work Record | one | §4.5 |
| Plan Documents | one per Work Unit | §4.6, §5.9 |
| Phase artifacts | at least one per Phase | §8.1 |
| Design and planning documents | one per effort spanning more than one Work Unit; none where no such effort exists | §6.19 |
| Verification Plan | one | §7.9 |
| Verification Artifacts (Gate records, drift reports, quality record chain, Verification Reference State records, etc.) | one per verification event; element-local Verification Procedures live on the governed artifact | §7, §8.4, §14.6 |
| Baseline Ledger | one | §9.1 |
| Risk Register | one | §12.1 |
| Status Ledger | one | §9.3 |
| Deviation Matrix | one | §9.4 |
| Key Design Parameter register | one | §6.18 |
| Criticality Record | one | §7.10 |
| Executor scope declarations | one per Executor | §13.1 |
| Reusable task definitions | one per recurring kind of work | §5.10 |
| Realization and its local documentation | one Realization; internal layout declared in the Path Map | §14.8 |