Verification Coverage

Coverage analysis focuses on leaf requirements—the lowest-level requirements that don’t derive others. In MBSE, these are the implementable specifications. The roll-up strategy means verifying leaves provides automatic coverage to their ancestors through derivedFrom chains. This report shows verified vs. unverified leaf percentages by file and type, identifying where verification effort is needed.

Summary

Leaf Requirements

Total Leaf Requirements: 103
Verified Leaf Requirements: 73 (70.9%)
Unverified Leaf Requirements: 30

Test Verifications

Total Test Verifications: 96
Satisfied Test Verifications: 86 (89.6%)
Unsatisfied Test Verifications: 10

Orphaned Verifications

Total Verifications: 97
Orphaned Verifications: 6 (6.2%)

Verification Types

Test: 96
Analysis: 1
Inspection: 0
Demonstration: 0

Verified Leaf Requirements

requirements/Functional/Core/Configuration.html

requirements/Functional/Core/ModelManagement.html

requirements/Functional/Core/StructureAndParsing.html

✅ Specification File Identification
- Verified by:
  - requirements/Functional/Core/Verifications/ParsingVerifications.md#specification-file-identification-test

requirements/Functional/Core/Validation.html

requirements/Functional/Integration/GitHubIntegration.html

✅ Automated Documentation Export on PR Merge
- Verified by:
  - requirements/Functional/Output/Verifications/DiagramVerifications.md#automated-documentation-export-on-pr-merge-verification

requirements/Functional/Operations/ElementManipulation.html

requirements/Functional/Operations/Formatting.html

✅ Document Structure Normalization
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#format-command-requirements-verification
✅ Element Ordering Normalization
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#element-ordering-verification
✅ Format Duplicate Removal
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#format-duplicate-removal-test
✅ Full Relations Insertion
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#full-relations-insertion-verification
✅ Git-Style Diff Output for Format
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#format-command-requirements-verification
✅ Relation Ordering Normalization
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#relation-ordering-verification
✅ Replace Absolute Links with Relative Links
- Verified by:
  - requirements/Functional/Operations/Verifications/FormattingVerifications.md#format-command-requirements-verification

requirements/Functional/Operations/Linting.html

✅ Lint Auto-fix Capability
- Verified by:
  - requirements/Functional/Operations/Verifications/LintingVerifications.md#lint-command-verification
✅ Multi-Branch Convergence Detection
- Verified by:
  - requirements/Functional/Operations/Verifications/LintingVerifications.md#lint-command-verification
✅ Redundant Hierarchical Attachment Detection
- Verified by:
  - requirements/Functional/Operations/Verifications/LintingVerifications.md#redundant-hierarchical-attachment-test
✅ Redundant Hierarchical Relations Detection and Auto-Removal
- Verified by:
  - requirements/Functional/Operations/Verifications/LintingVerifications.md#lint-command-verification
✅ Redundant Verify Relations Detection
- Verified by:
  - requirements/Functional/Operations/Verifications/LintingVerifications.md#lint-command-verification

requirements/Functional/Output/DiagramGeneration.html

requirements/Functional/Output/Reporting.html

✅ Comma-Separated Type Filter Parsing
- Verified by:
  - requirements/Functional/Output/Verifications/ReportingVerifications.md#multi-type-search-filter-test
✅ Containment View Report
- Verified by:
  - requirements/Functional/Output/Verifications/ReportingVerifications.md#containment-view-design-documents-test
✅ Forward-Only Relation Traversal
- Verified by:
  - requirements/Functional/Output/Verifications/ReportingVerifications.md#model-command-verification
✅ Reverse Relation Traversal
- Verified by:
  - requirements/Functional/Output/Verifications/ReportingVerifications.md#reverse-model-traversal-test
✅ Start Element Type Filtering
- Verified by:
  - requirements/Functional/Output/Verifications/ReportingVerifications.md#start-type-filter-test
✅ TraceFlow View Report Generation
- Verified by:
  - requirements/Functional/Output/Verifications/ReportingVerifications.md#traceflow-view-test

requirements/Functional/Processing/ChangeImpact.html

✅ Requirements Change Propagation
- Verified by:

requirements/Interfaces/CLI/Commands.html

requirements/Interfaces/WebInterface/Features.html

✅ Attachment Export
- Verified by:
  - requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.md#attachment-export-verification
✅ Containment View Attachment Links
- Verified by:
  - requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.md#containment-attachment-links-verification
✅ Diagram Attachment Display
- Verified by:
  - requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.md#diagram-attachment-display-verification
✅ Model View Element Navigation
- Verified by:
  - requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.md#model-view-element-navigation-test
✅ Serve Command
- Verified by:
  - requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.md#serve-command-verification

requirements/Interfaces/WebInterface/HTMLGeneration.html

Unverified Leaf Requirements

requirements/Functional/Core/ModelManagement.html

❌ Efficient Processing
❌ Template-Based Model Bootstrapping
❌ Verification Type Categories

requirements/Functional/Core/Validation.html

requirements/Functional/Integration/CodeAlignment.html

requirements/Functional/Integration/GitHubIntegration.html

❌ Generate Change Logs for Pull Requests

requirements/Functional/Operations/ElementManipulation.html

❌ Rename Element Operation

requirements/Functional/Output/DiagramGeneration.html

❌ Interactive Mermaid Diagram Node Behavior
❌ SysML-Compatible Relationship Rendering

requirements/Functional/Output/Reporting.html

❌ Collect Content from Requirement Chain
❌ Validation Report Generator

requirements/Functional/Processing/ChangeImpact.html

❌ Structural Change Analyzer

requirements/Functional/Processing/VerificationTraces.html

❌ Verification Roll-up Strategy
❌ Verification Trace Builder

requirements/Interfaces/CLI/Commands.html

requirements/Interfaces/WebInterface/Features.html

❌ Web Interface Color Scheme

requirements/UserStories.html

❌ AI-Assisted System Model Management
❌ Align with Industry Standards
❌ Fostering Community Contributions

Satisfied Test Verifications

requirements/Functional/Core/Verifications/AttachmentsVerifications.html

✅ Attach Command Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Attachment Output Rendering Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Attachment Search Filters Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Attachments Change Impact Verification (test-verification)
- Satisfied by:
  - tests/test-change-impact-attachments/test.sh
✅ Attachments Subsection Parsing Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Attachments Validation Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Detach Command Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Move Asset Command Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh
✅ Remove Asset Command Verification (test-verification)
- Satisfied by:
  - tests/test-assets/test.sh

requirements/Functional/Core/Verifications/ParsingVerifications.html

✅ Element Subsection Parsing Test (test-verification)
- Satisfied by:
  - tests/test-parsing-functionality/test.sh
✅ Fragment Normalization Test (test-verification)
- Satisfied by:
  - tests/test-parsing-functionality/test.sh
✅ Non-Reserved Subsections Content Test (test-verification)
- Satisfied by:
  - tests/test-search-all-features/test.sh
✅ Specification File Identification Test (test-verification)
- Satisfied by:
  - tests/test-gitignore-integration/test.sh

requirements/Functional/Core/Verifications/ValidationVerifications.html

✅ Cross-Section Duplicate Validation Test (test-verification)
- Satisfied by:
  - tests/test-duplicate-detection/test.sh
✅ Default Element Type Assignment Test (test-verification)
- Satisfied by:
  - tests/test-default-type-assignment/test.sh
✅ Element Type Relation Compatibility Test (test-verification)
- Satisfied by:
  - tests/test-element-type-relation-compatibility/test.sh
✅ File Exclusion Test (test-verification)
- Satisfied by:
  - tests/test-gitignore-integration/test.sh
✅ Invalid Header Structure Test (test-verification)
- Satisfied by:
  - tests/test-invalid-relations/test.sh
✅ Invalid Relations Test (test-verification)
- Satisfied by:
  - tests/test-invalid-relations/test.sh
✅ Requirements Files Search and Detection Test (test-verification)
- Satisfied by:
  - tests/test-excluded-patterns/test.sh
✅ Same-File Fragment Relations Test (test-verification)
- Satisfied by:
  - tests/test-fragment-relations/test.sh
✅ Subdirectory Processing Verification (test-verification)
- Satisfied by:
  - tests/test-subdirectory-functionality/test.sh
✅ Type Validation Errors Test (test-verification)
- Satisfied by:
  - tests/test-type-validation-errors/test.sh
✅ Unstructured Documents Test (test-verification)
- Satisfied by:
  - tests/test-valid-relations/test.sh

requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html

✅ Add Command Duplicate Detection Test (test-verification)
- Satisfied by:
  - tests/test-duplicate-detection/test.sh
✅ Add Command Error Messages Test (test-verification)
- Satisfied by:
  - tests/test-add-command-error-messages/test.sh
✅ CLI Add Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
✅ CLI Move Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
✅ CLI Move File Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
  - tests/test-subdirectory-functionality/test.sh
✅ CLI Remove Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
✅ CLI Rename Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
✅ Create Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
✅ Delete Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-manipulation/test.sh
✅ File Persistence Test (test-verification)
- Satisfied by:
  - tests/test-crud-file-persistence/test.sh
✅ Link Command Cross-Section Detection Test (test-verification)
- Satisfied by:
  - tests/test-duplicate-detection/test.sh
✅ Link Command Verification (test-verification)
- Satisfied by:
  - tests/test-link-unlink/test.sh
✅ Move Element Test (test-verification)
- Satisfied by:
  - tests/test-crud-empty-file-cleanup/test.sh
  - tests/test-crud-manipulation/test.sh
✅ Move File Squash Test (test-verification)
- Satisfied by:
  - tests/test-crud-mv-file-squash/test.sh
✅ Relation Consistency Test (test-verification)
- Satisfied by:
  - tests/test-crud-relation-consistency/test.sh
✅ Target Location Validation Test (test-verification)
- Satisfied by:
  - tests/test-crud-target-location-validation/test.sh
✅ Unlink Command Verification (test-verification)
- Satisfied by:
  - tests/test-link-unlink/test.sh

requirements/Functional/Operations/Verifications/FormattingVerifications.html

✅ Element Ordering Verification (test-verification)
- Satisfied by:
  - tests/test-element-ordering/test.sh
✅ Format Command Requirements Verification (test-verification)
- Satisfied by:
  - tests/test-advanced-format/test.sh
✅ Format Duplicate Removal Test (test-verification)
- Satisfied by:
  - tests/test-duplicate-detection/test.sh
✅ Full Relations Insertion Verification (test-verification)
- Satisfied by:
  - tests/test-format-full-relations/test.sh
✅ Relation Ordering Verification (test-verification)
- Satisfied by:
  - tests/test-advanced-format/test.sh

requirements/Functional/Operations/Verifications/LintingVerifications.html

✅ Lint Command Verification (test-verification)
- Satisfied by:
  - tests/test-lint-command/test.sh
✅ Redundant Hierarchical Attachment Test (test-verification)
- Satisfied by:
  - tests/test-lint-redundant-attachments/test.sh

requirements/Functional/Output/Verifications/DiagramVerifications.html

✅ Automated Documentation Export on PR Merge Verification (test-verification)
- Satisfied by:
  - .github/workflows/update_docs.yml
✅ File Diagram Attachment Test (test-verification)
- Satisfied by:
  - tests/test-attachment-export/test.sh

requirements/Functional/Output/Verifications/ReportingVerifications.html

✅ CLI Collect Command Test (test-verification)
- Satisfied by:
  - tests/test-collect-command/test.sh
✅ Containment Hierarchy Extraction Test (test-verification)
- Satisfied by:
  - tests/test-containment-view/test.sh
✅ Containment View Design Documents Test (test-verification)
- Satisfied by:
  - tests/test-containment-view/test.sh
✅ Containment View JSON Output Test (test-verification)
- Satisfied by:
  - tests/test-containment-view/test.sh
✅ Containment View Mermaid Diagram Test (test-verification)
- Satisfied by:
  - tests/test-containment-view/test.sh
✅ Containment View Text Output Test (test-verification)
- Satisfied by:
  - tests/test-containment-view/test.sh
✅ Custom Element Type Tracking Test (test-verification)
- Satisfied by:
  - tests/test-search-all-features/test.sh
✅ HTML Export Containment View Integration Test (test-verification)
- Satisfied by:
  - tests/test-containment-view/test.sh
✅ Model Command Verification (test-verification)
- Satisfied by:
  - tests/test-model-command/test.sh
✅ Multi-Type Search Filter Test (test-verification)
- Satisfied by:
  - tests/test-multi-type-search/test.sh
✅ Resources Report Verification (test-verification)
- Satisfied by:
  - tests/test-resources-report/test.sh
✅ Search Command Tests (test-verification)
- Satisfied by:
  - tests/test-search-all-features/test.sh
✅ TraceFlow View Test (test-verification)
- Satisfied by:
  - tests/test-traceflow-view/test.sh
✅ Verification Coverage Report Test (test-verification)
- Satisfied by:
  - tests/test-coverage-report/test.sh
✅ Verification Traces Filter Options Test (test-verification)
- Satisfied by:
  - tests/test-verification-traces/test.sh
✅ Verification Traces From-Folder Test (test-verification)
- Satisfied by:
  - tests/test-verification-traces/test.sh

requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html

✅ Change Impact Analysis Verification (test-verification)
- Satisfied by:
  - tests/test-change-impact-detection/test.sh
✅ Change Impact Detection Test (test-verification)
- Satisfied by:
  - tests/test-change-impact-detection/test.sh
  - tests/test-change-impact-element-relocation/test.sh
✅ Change Impact Relations Test (test-verification)
- Satisfied by:
  - tests/test-change-impact-detection/test.sh
✅ Change Impact Smart Filtering Test (test-verification)
- Satisfied by:
  - tests/test-change-impact-smart-filtering/test.sh
✅ Element Content Extraction Test (test-verification)
- Satisfied by:
  - tests/test-element-content-extraction/test.sh
✅ Structural Change Reports Verification (test-verification)
- Satisfied by:
  - tests/test-change-impact-detection/test.sh

requirements/Functional/Processing/Verifications/TraceVerifications.html

✅ Trace Relations No Cycles Verification (test-verification)
- Satisfied by:
  - tests/test-trace-no-cycles/test.sh

requirements/Interfaces/CLI/Verifications/CLIVerifications.html

✅ CLI Git Commit Hash Flag Test (test-verification)
- Satisfied by:
  - tests/test-change-impact-detection/test.sh
✅ CLI Help Structure Verification (test-verification)
- Satisfied by:
  - tests/test-cli-help-structure/test.sh
✅ Verification Traces Element Navigation Test (test-verification)
- Satisfied by:
  - tests/test-verification-traces/test.sh

requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html

✅ HTML Validity Verification (test-verification)
- Satisfied by:
  - tests/test-html-generation/test.sh
✅ Integration Test Verification (test-verification)
- Satisfied by:
  - tests/test-html-generation/test.sh
✅ Mobile Responsiveness Verification (test-verification)
- Satisfied by:
  - tests/test-html-generation/test.sh
✅ Responsive Design Verification (test-verification)
- Satisfied by:
  - tests/test-html-generation/test.sh

requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html

✅ Attachment Export Verification (test-verification)
- Satisfied by:
  - tests/test-attachment-export/test.sh
✅ Containment Attachment Links Verification (test-verification)
- Satisfied by:
  - tests/test-attachment-export/test.sh
✅ Diagram Attachment Display Verification (test-verification)
- Satisfied by:
  - tests/test-attachment-export/test.sh
✅ HTML Export Verification (test-verification)
- Satisfied by:
  - tests/test-html-export/test.sh
✅ Model View Element Navigation Test (test-verification)
- Satisfied by:
  - tests/test-model-command/test.sh
✅ Serve Command Verification (test-verification)
- Satisfied by:
  - tests/test-serve-command/test.sh

Unsatisfied Test Verifications

requirements/Functional/Core/Verifications/AttachmentsVerifications.html

❌ Attachment Identifier CRUD Verification (test-verification)

requirements/Functional/Core/Verifications/ParsingVerifications.html

❌ Refinement Element Type Parsing Test (test-verification)
❌ Refinement Relations Rejection Test (test-verification)

requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html

❌ Create Element Override Test (test-verification)
❌ Merge Elements Test (test-verification)

requirements/Functional/Output/Verifications/DiagramVerifications.html

❌ Diagram Generation Test (test-verification)
❌ Diagram Relation Filtering Verification (test-verification)
❌ Visualize Model Relationships Verification (test-verification)

requirements/Functional/Output/Verifications/ReportingVerifications.html

❌ Reverse Model Traversal Test (test-verification)
❌ Start Type Filter Test (test-verification)

Orphaned Verifications

requirements/Functional/Output/Verifications/ReportingVerifications.html

⚠️ Containment Hierarchy Extraction Test (test-verification)
⚠️ Containment View JSON Output Test (test-verification)
⚠️ Containment View Mermaid Diagram Test (test-verification)
⚠️ Containment View Text Output Test (test-verification)
⚠️ Custom Element Type Tracking Test (test-verification)
⚠️ HTML Export Containment View Integration Test (test-verification)