/analyze-model

Analyze Reqvire Model

Perform comprehensive analysis of the current Reqvire model.

Current Model State

• Validation status: !reqvire validate 2>&1 | head -1
• Total elements: !reqvire search --json | jq -r '.global_counters.total_elements'
• Verification coverage: !reqvire coverage --json | jq -r '.summary.leaf_requirements_coverage_percentage'%
• Test satisfaction: !reqvire coverage --json | jq -r '.summary.test_verifications_satisfaction_percentage'%

Steps

1. Run validation:

   reqvire validate --json --output /tmp/validation.json
   

2. Generate model search:

   reqvire search --short --json --output /tmp/search.json
   

   Use --short to get model structure without full content.

3. Check coverage:

   reqvire coverage --json --output /tmp/coverage.json
   

4. Run lint checks:

   reqvire lint --json --output /tmp/lint.json
   

5. Analyze submodel boundaries:

   reqvire submodels --json --output /tmp/submodels.json
   

6. Analyze the results:

   • Review validation errors and warnings
   • Identify unverified requirements from coverage report
   • Check for model quality issues from lint report
   • Review cross-submodel couplings and boundary hotspots
   • Calculate coverage percentages and statistics

7. Provide recommendations:

   • List specific issues found with file locations
   • Suggest improvements prioritized by impact
   • Recommend commands to fix issues (e.g., reqvire lint --fix)
   • Identify requirements needing verifications

Output Format

Present findings in clear sections:

• Validation Results: Errors and warnings
• Coverage Analysis: Verification coverage statistics
• Model Quality: Lint findings (auto-fixable vs needs review)
• Recommendations: Prioritized action items

Notes

• Use /tmp for JSON outputs
• Focus on actionable recommendations