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, attachment contract coverage, and JSON report shape.
Submodels and Subgraphs
Capability-rooted subgraphs, cross-submodel couplings, one-way attachments, 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, refinements, attachments, verification links, or semantic dependencies changed.
reqvire ontologies
Exports authored ontology and SHACL content, with full mode for generated Reqvire model context triples.
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 attachments.
- Run validate, lint, coverage, traces, submodels, and change-impact before high-risk reviews.