Appendix B
Traceability of the 79 Adopted Forms
Non-normative mapping. It shows where each Adopted form of Generalized Patterns is realized in this Specification. Clauses cited by number refer to sections of this document.
The Form column is the join key to Generalized Patterns and carries the provenance of each form. The Mechanism column states what this Specification requires, in the terminology defined in §2; it does not restate the source form's own wording. Where a source form's vocabulary differs from §2, §2 governs here.
| Form | Mechanism | Realized in |
|---|---|---|
| GP-01 | All governing state as versioned artifacts in the Project Record | §4.1, §4.2, §4.6 |
| GP-02 | Verify-and-record iteration | §4.2, §4.7 |
| GP-03 | One binding Plan Document per Work Unit | §4.6 |
| GP-04 | Work Record | §4.5 |
| GP-05 | Typed dependencies, derived eligibility for execution | §4.5 |
| GP-06 | Documents as sole coordination medium | §4.1 |
| GP-07 | Deliverable-anchored decomposition | §5.1 |
| GP-08 | Purpose-defined Components, named owner, binary verification | §5.2 |
| GP-09 | System-level Contracts first | §5.3 |
| GP-10 | Work Unit sizing | §5.5 |
| GP-11 | The verifiable Work Unit as the unit of decomposition | §5.7 |
| GP-12 | Work Units bounded by Blast Radius | §5.6 |
| GP-13 | Nested levels of intent | §3.1, §3.3, §5.8 |
| GP-14 | Work Units with repair before progression | §5.9 |
| GP-15 | Numbered generations | §9.6 |
| GP-16 | Four recursive process groups | §1.2, §1.4 |
| GP-17 | Specification-first Contract before execution | §6.13 |
| GP-18 | Execution gated on an approved Plan Document | §6.13 |
| GP-19 | Specification as durable alignment artifact | §6.4 |
| GP-20 | Unique verifiable Obligation statements | §6.5, §16.2 |
| GP-21 | Fixed structure for Obligation statements | §6.5, §16.2 |
| GP-22 | Obligation hierarchy with fixed attributes | §6.6, §6.17, §16.2 |
| GP-23 | Named owner for every Obligation | §6.7, §16.2 |
| GP-24 | Constraint provenance marking | §6.8, §16.2 |
| GP-25 | Verification method at authoring | §6.9, §16.2 |
| GP-26 | One fixed lens for every interface | §6.10 |
| GP-27 | Public Contract, private Design, co-update, Contract protection | §6.3, §6.15, §6.16, §7.19, §9.2, §15.3 |
| GP-28 | Adversarial expansion of the Contract | §6.14 |
| GP-29 | Named Key Design Parameters | §6.18 |
| GP-30 | Artifact-gated Phase sequence | §8.1 |
| GP-31 | Done is a checkable criterion | §7.1, §7.19 |
| GP-32 | Verifiability governs delegation | §7.3 |
| GP-33 | Verification Procedures authored before the Work Unit | §7.4 |
| GP-34 | Verification Reference State before change | §7.5 |
| GP-35 | Durable corpus of Verification Procedures | §7.6 |
| GP-36 | Layered verification | §7.7 |
| GP-37 | Verification correspondence | §7.8 |
| GP-38 | Governing Verification Plan | §7.9 |
| GP-39 | Recorded Criticality Class determines rigor | §1.6, §6.6, §7.10, §7.19, §9.2 |
| GP-40 | Producing Executor and verifying Executor are independent | §7.11, §12.2 |
| GP-41 | Acceptance Criteria must not be weakened | §7.12 |
| GP-42 | Contract clause linked to its Verification Procedures | §7.13, §16.2 |
| GP-43 | Structured outputs for verification | §7.14 |
| GP-44 | Evidence before, verification after | §8.2 |
| GP-45 | Linked stage Verification Procedures | §7.15 |
| GP-46 | Model-based verification | §7.16 |
| GP-47 | Reference Realization, drift detection | §7.17, §16.2 |
| GP-48 | Durable execution records | §7.18, §16.3 |
| GP-49 | Event-based Gates | §8.3, §8.4, §16.2 |
| GP-50 | Approved Baselines | §3.2, §9.1, §16.2 |
| GP-51 | One controlled change Gate | §3.2, §9.2, §16.2 |
| GP-52 | One Status Ledger | §9.3, §16.2 |
| GP-53 | Explicit Deviation Matrix | §1.5, §9.4 |
| GP-54 | Separate structural and behavioral change | §9.5, §16.2 |
| GP-55 | Traceability as structural property | §6.11, §10.1, §16.2 |
| GP-56 | Bidirectional traceability | §10.2, §16.2 |
| GP-57 | Versioned input lineage | §10.3 |
| GP-58 | Realization system traced like the System | §10.4 |
| GP-59 | One canonical source of truth per concern | §4.3 |
| GP-60 | Numbered immutable Decision Records | §8.4, §11.1, §11.2, §11.3, §11.4, §16.2 |
| GP-61 | Continuous Risk Register | §12.1 |
| GP-62 | Failure closure by numbered corrective actions | §12.2 |
| GP-63 | Invariants as mechanically checkable Constraints | §13.2, §16.1, §16.2 |
| GP-64 | Declared Executor scope | §13.1 |
| GP-65 | Disposable Executors, durable work | §4.2, §4.8, §13.2 |
| GP-66 | Governance Documents as controlled artifacts | §4.9 |
| GP-67 | Isolated delegation behind a summary interface | §13.3 |
| GP-68 | One Governing-Principles Document | §3.1, §14.1 |
| GP-69 | Governance content discipline | §14.2, §16.2 |
| GP-70 | Short Entry Point into versioned tree | §14.3, §14.8, §16.2 |
| GP-71 | Governance bound to Component boundaries | §14.4 |
| GP-72 | Placement and naming are declared structure | §14.5, §14.8 |
| GP-73 | Documentation lives on the artifact | §14.6 |
| GP-74 | Named owner plus standing flaw-checker | §15.1 |
| GP-75 | Durable human breakpoints | §8.5 |
| GP-76 | Human-owned Contract, machine-readable surfaces | §4.4 |
| GP-77 | Reusable task definitions | §5.10 |
| GP-78 | One Registry; unregistered does not exist | §14.7, §14.8, §16.2 |
| GP-79 | Why-What-How skeleton | §6.19, §11.4 |
Frozen-principle coverage:
- Component-Oriented Decomposition (COD): §5.1, §5.2, §5.3, §6.1, §6.2, §6.11, §16.2.
- Layered System Architecture (LSA): §1.7, §1.8, §3.1, §3.2, §6.12, §16.2.
- Integrated Modularity First (IMF): §5.4.
- Verification-First Engineering (VFE): §1.3, §1.6, §4.7, §5.7, §5.9, §6.2, §6.9, §7.1, §7.2, §7.4, §7.11, §7.19, §15.2, §15.3, §16.2, §16.3.
- Specifications as Contracts (SaC): §1.1, §1.3, §1.5, §1.7, §6.1, §6.2, §6.4, §6.13, §7.12, §15.2, §16.2.
Meta-clauses §1.1 to §1.3 additionally derive from Goal §2 and Goal §5 to Goal §6, which define the framework's premises, objective, and contents.