Updated model commands

Author: ilijaljubicic

.claude/agents/e2e-test-engineer.md

@@ -144,10 +144,10 @@ When updating tests due to functionality changes:
 3. **Additional detailed queries (when needed):**
    ```bash
    # Get all verifications with full details
-   ./target/debug/reqvire model-summary --filter-type="verification" --json > /tmp/all-verifications.json
-   
+   ./target/debug/reqvire model summary --filter-type="verification" --json > /tmp/all-verifications.json
+
    # Human-readable list of all verifications
-   ./target/debug/reqvire model-summary --filter-type="verification"
+   ./target/debug/reqvire model summary --filter-type="verification"
    ```
 
 **Decision Framework:**

.claude/agents/requirements-engineer.md

@@ -223,22 +223,31 @@ specifications/
 reqvire validate [--json]
 
 # Generate model summary with filters
-reqvire model-summary [filters] [--json]
+reqvire model summary [filters] [--json]
 
 # Generate sections summary (files/sections only, no elements)
-reqvire sections-summary [filters] [--json]
+reqvire model section-summary [filters] [--json]
+
+# Generate index document
+reqvire model index
 
 # Analyze change impact
 reqvire change-impact --git-commit=<commit> [--json]
 
 # Generate traceability matrix
-reqvire traces [--json]
+reqvire verifications matrix [--json]
+
+# Generate verification traces
+reqvire verifications traces [--json] [--filter-id=<id>] [--filter-name=<regex>] [--filter-type=<type>]
 
-# Lint specifications
-reqvire lint [--dry-run]
+# Generate verification coverage report
+reqvire verifications coverage [--json]
+
+# Format specifications
+reqvire format [--dry-run] [--json]
 
 # Generate HTML documentation
-reqvire html
+reqvire html --output <dir>
 
 # Generate diagrams
 reqvire generate-diagrams
@@ -261,23 +270,26 @@ reqvire generate-diagrams
 reqvire validate --json > /tmp/validation.json
 
 # Filtered model summary
-reqvire model-summary --filter-type="requirement" --filter-is-not-verified --json
+reqvire model summary --filter-type="requirement" --filter-is-not-verified --json
 
 # Sections overview (without individual elements)
-reqvire sections-summary --filter-file="specifications/*.md" --json
+reqvire model section-summary --filter-file="specifications/*.md" --json
 
 # Change impact analysis
 reqvire change-impact --git-commit=HEAD~1 --json > /tmp/impact.json
+
+# Generate index and save to file
+reqvire model index > index.md
 ```
 
 ## Your Workflow
 
 ### 1. Discovery Phase:
-- Use `reqvire sections-summary --filter-content="security|authentication|authorization"` to understand security requirements in each section
-- Use `reqvire sections-summary --filter-content="performance|latency|throughput"` to identify performance-related requirements
-- Use `reqvire sections-summary --filter-content="validation|verify|test"` to find verification and testing requirements
-- Use `reqvire sections-summary --filter-content="interface|API|integration"` to locate interface requirements
-- Run `reqvire model-summary` to understand current state
+- Use `reqvire model section-summary --filter-content="security|authentication|authorization"` to understand security requirements in each section
+- Use `reqvire model section-summary --filter-content="performance|latency|throughput"` to identify performance-related requirements
+- Use `reqvire model section-summary --filter-content="validation|verify|test"` to find verification and testing requirements
+- Use `reqvire model section-summary --filter-content="interface|API|integration"` to locate interface requirements
+- Run `reqvire model summary` to understand current state
 - Use `reqvire validate --json > /tmp/validation.json` to identify issues
 - Apply filters to focus on specific areas
 
@@ -303,7 +315,7 @@ reqvire change-impact --git-commit=HEAD~1 --json > /tmp/impact.json
 ## Best Practices
 
 ### Strategic Content Analysis:
-- Use `sections-summary --filter-content` to understand requirement themes in each section before detailed work
+- Use `model section-summary --filter-content` to understand requirement themes in each section before detailed work
 - Filter by domain keywords (security, performance, interface) to map requirement distribution
 - Identify sections with specific requirement types to target your analysis effectively
 

CLAUDE.md

@@ -23,21 +23,23 @@ This guide is split into domain-specific guides for better organization:
 - Format: `cargo fmt`
 
 ### Basic Reqvire Commands
-- **Validate sructure**: `./target/debug/reqvire validate --json > /tmp/validation.json`
+- **Validate structure**: `./target/debug/reqvire validate --json > /tmp/validation.json`
 - **Format requirements (preview only)**: `./target/debug/reqvire format --dry-run`
-- **Apply formating fixes**: `./target/debug/reqvire format`
+- **Apply formatting fixes**: `./target/debug/reqvire format`
 - **Generate diagrams**: `./target/debug/reqvire generate-diagrams`
-- **Generate index document**: `./target/debug/reqvire generate-index`
-- **Generate model summary**: `./target/debug/reqvire model-summary`
-- **Generate model summary (JSON)**: `./target/debug/reqvire model-summary --json > /tmp/model-summary.json`
-- **Generate section summary**: `./target/debug/reqvire sections-summary`
-- **Generate section summary (JSON)**: `./target/debug/reqvire sections-summary --json > /tmp/model-summary.json`
+- **Generate index document**: `./target/debug/reqvire model index > SpecificationIndex.md`
+- **Generate model summary**: `./target/debug/reqvire model summary`
+- **Generate model summary (JSON)**: `./target/debug/reqvire model summary --json > /tmp/model-summary.json`
+- **Generate section summary**: `./target/debug/reqvire model section-summary`
+- **Generate section summary (JSON)**: `./target/debug/reqvire model section-summary --json > /tmp/section-summary.json`
 - **Generate HTML documentation**: `./target/debug/reqvire html --output <OUTPUT_DIR>`
 - **Analyze change impact**: `./target/debug/reqvire change-impact --git-commit=<COMMIT_HASH>`
 - **Analyze change impact (JSON)**: `./target/debug/reqvire change-impact --git-commit=HEAD~1 --json > /tmp/impact.json`
-- **Generate verification traces**: `./target/debug/reqvire verification-traces` - Generates upward traceability from verifications to root requirements with Mermaid diagrams
-- **Generate verification traces (JSON)**: `./target/debug/reqvire verification-traces --json > /tmp/verification-traces.json` - JSON output with trace trees for programmatic analysis
-- **Filter verification traces**: `./target/debug/reqvire verification-traces --filter-id=<id>` or `--filter-name=<regex>` or `--filter-type=<type>` - Filter to specific verifications
+- **Generate verification traces**: `./target/debug/reqvire verifications traces` - Generates upward traceability from verifications to root requirements with Mermaid diagrams
+- **Generate verification traces (JSON)**: `./target/debug/reqvire verifications traces --json > /tmp/verification-traces.json` - JSON output with trace trees for programmatic analysis
+- **Filter verification traces**: `./target/debug/reqvire verifications traces --filter-id=<id>` or `--filter-name=<regex>` or `--filter-type=<type>` - Filter to specific verifications
+- **Generate verification matrix**: `./target/debug/reqvire verifications matrix` - Generates verification traceability matrix
+- **Generate coverage report**: `./target/debug/reqvire verifications coverage` - Generates verification coverage report for leaf requirements
 
 
 ### Filtering Options