Advanced
Advanced Reqvire workflows focus on proving the model, measuring evidence, reviewing change impact, and keeping independent subgraphs clean enough for humans and AI assistants to reason about.
Advanced Pages
Verifications
Verification methods, evidence-backed verification rules, leaf requirement roll-up, and coverage checks.
Implementation Coverage
Requirement implementation evidence, satisfiedBy links, contract-bindings contract coverage, and JSON report shape.
Submodels and Subgraphs
Capability-rooted subgraphs, cross-submodel couplings, one-way contract bindings, and boundary review.
Reports to Know
reqvire traces
Generates upward trace trees from verifications to owning capability roots and identifies redundant verify relations.
reqvire change-impact
Shows elements that need review because requirements, contracts, contract bindings, verification links, or semantic dependencies changed.
reqvire semantic
Exports ontology vocabulary, SHACL shapes, SKOS concepts, or the combined semantic export as explicit RDF layers.
reqvire resources
Lists files referenced by the model through relations so evidence artifacts remain visible.
Review Discipline
- Verify leaf requirements where possible and let coverage roll up through the hierarchy.
- Use satisfiedBy for implementation and evidence artifacts, not as a substitute for verification scope.
- Model cross-subgraph contract reuse with one-way Contract Bindings.
- Run validate, lint, coverage, traces, submodels, and change-impact before high-risk reviews.