The canonical requirement owner documents and verification registries are loaded.
When
A requirement mapping is reviewed before executable coverage exists.
Required invariants
INV-REQUIREMENT-MANIFEST-TRACEABILITY: Every requirement has a declared invariant mapping, required suite set, platform-evidence status, and limitation status.
Forbidden effects
None.
Variations
Executable implementation and evidence fixtures are separate work items.
Limitations
This reference records the limitation of planned, unbound requirement verification paths: it does not establish implementation coverage or passing runtime evidence.
# Requirement manifest mapping
**Fixture:** `fixture-requirement-manifest@1`
## Given
The canonical requirement owner documents and verification registries are loaded.
## When
A requirement mapping is reviewed before executable coverage exists.
## Required invariants
- **`INV-REQUIREMENT-MANIFEST-TRACEABILITY`:** Every requirement has a declared invariant mapping, required suite set, platform-evidence status, and limitation status.
## Forbidden effects
None.
## Variations
Executable implementation and evidence fixtures are separate work items.
## Limitations
This reference records the limitation of planned, unbound requirement verification paths: it does not establish implementation coverage or passing runtime evidence.