Elements

graph TD; %% REQVIRE-AUTOGENERATED-DIAGRAM %% Graph styling classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px; classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px; classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px; classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px; classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px; classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px; subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"] subgraph 7ac75a27d422080f["📄 Behaviors.md"] 5c87b81c1c498514["Reverse Relation Traversal Behavior"]; class 5c87b81c1c498514 default; click 5c87b81c1c498514 "Behaviors.html#reverse-relation-traversal-behavior"; c722f86eb2eb252f["Start Element Type Filter Behavior"]; class c722f86eb2eb252f default; click c722f86eb2eb252f "Behaviors.html#start-element-type-filter-behavior"; 8244c27e5a9f5023["Verification Coverage Philosophy Behavior"]; class 8244c27e5a9f5023 default; click 8244c27e5a9f5023 "Behaviors.html#verification-coverage-philosophy-behavior"; end subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"] ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]; class ee0d244ddc9aac8f userRequirement; click ee0d244ddc9aac8f "DiagramGeneration.html#interactive-mermaid-diagrams"; end subgraph 2bc3d3f246abf2de["📄 Reporting.md"] 3136e3195e243669["Collect Content from Requirement Chain
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"]; class 3136e3195e243669 systemRequirement; click 3136e3195e243669 "Reporting.html#collect-content-from-requirement-chain"; eeeef3e5049982b8["Comma-Separated Type Filter Parsing"]; class eeeef3e5049982b8 systemRequirement; click eeeef3e5049982b8 "Reporting.html#comma-separated-type-filter-parsing"; 2a8c9ba9fd932aba["Containment View Report
📎 ContainmentView.md
📎 requirements/Refinements.md#containment-specification
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#resources-report-format-specification"]; class 2a8c9ba9fd932aba userRequirement; click 2a8c9ba9fd932aba "Reporting.html#containment-view-report"; 5aa1c66a1962bbcf["Flexible Search Type Filtering"]; class 5aa1c66a1962bbcf userRequirement; click 5aa1c66a1962bbcf "Reporting.html#flexible-search-type-filtering"; 98610608d81a8fde["Forward-Only Relation Traversal
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]; class 98610608d81a8fde systemRequirement; click 98610608d81a8fde "Reporting.html#forward-only-relation-traversal"; f8301585b3d30631["Model Diagram Output Formats
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]; class f8301585b3d30631 systemRequirement; click f8301585b3d30631 "Reporting.html#model-diagram-output-formats"; 40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]; class 40dc720d7c510af0 userRequirement; click 40dc720d7c510af0 "Reporting.html#model-reports"; b7ae73612502c3fb["Model Structure and Summaries"]; class b7ae73612502c3fb userRequirement; click b7ae73612502c3fb "Reporting.html#model-structure-and-summaries"; c17deaee6f88323a["Provide Validation Reports"]; class c17deaee6f88323a userRequirement; click c17deaee6f88323a "Reporting.html#provide-validation-reports"; a0f7724a2ceac1ec["Resources Report"]; class a0f7724a2ceac1ec userRequirement; click a0f7724a2ceac1ec "Reporting.html#resources-report"; 6a3c5a7153a49a89["Reverse Relation Traversal
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]; class 6a3c5a7153a49a89 systemRequirement; click 6a3c5a7153a49a89 "Reporting.html#reverse-relation-traversal"; f484430652f48bac["Search Report Generator
📎 SearchFiltering.md
📎 requirements/Refinements.md#supported-element-types-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification
📎 requirements/Functional/Output/Specifications.md#resources-report-format-specification"]; class f484430652f48bac systemRequirement; click f484430652f48bac "Reporting.html#search-report-generator"; f941bbbbf5db2d8c["Start Element Type Filtering"]; class f941bbbbf5db2d8c systemRequirement; click f941bbbbf5db2d8c "Reporting.html#start-element-type-filtering"; c52fdde1821f5cf2["TraceFlow View Report Generation
📎 TraceFlowView.md
📎 requirements/Refinements.md#traceability-reporting-specification
📎 requirements/Functional/Processing/Specifications.md#verification-roll-up-specification
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"]; class c52fdde1821f5cf2 systemRequirement; click c52fdde1821f5cf2 "Reporting.html#traceflow-view-report-generation"; 9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]; class 9acde25d23600635 userRequirement; click 9acde25d23600635 "Reporting.html#tracing-structural-changes"; c988fb8451de7d2d["Validation Report Generator
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"]; class c988fb8451de7d2d systemRequirement; click c988fb8451de7d2d "Reporting.html#validation-report-generator"; befd27abaf2aae8b["Verification Coverage Report
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Refinements.md#verification-coverage-specification
📎 requirements/Functional/Processing/Specifications.md#verification-roll-up-specification
📎 requirements/Functional/Core/Specifications.md#verification-type-selection-guidelines
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"]; class befd27abaf2aae8b userRequirement; click befd27abaf2aae8b "Reporting.html#verification-coverage-report"; end subgraph 7799005208c6c9c1["📄 Specifications.md"] 8891df8e827d960c["Collect Content Specification"]; class 8891df8e827d960c default; click 8891df8e827d960c "Specifications.html#collect-content-specification"; 9bce1082c475cb0d["Collect Output Format Specification"]; class 9bce1082c475cb0d default; click 9bce1082c475cb0d "Specifications.html#collect-output-format-specification"; d415e0f99fc5ad0c["Deterministic Output Specification"]; class d415e0f99fc5ad0c default; click d415e0f99fc5ad0c "Specifications.html#deterministic-output-specification"; e8918fd8f69a1f0a["Diff Output Format Specification"]; class e8918fd8f69a1f0a default; click e8918fd8f69a1f0a "Specifications.html#diff-output-format-specification"; 38c3e6e7692e0875["Error Message Format Specification"]; class 38c3e6e7692e0875 default; click 38c3e6e7692e0875 "Specifications.html#error-message-format-specification"; 64319236fb27fe2["JSON Output Structure"]; class 64319236fb27fe2 default; click 64319236fb27fe2 "Specifications.html#json-output-structure"; d55aca455bf08f76["Markdown Report Style Specification"]; class d55aca455bf08f76 default; click d55aca455bf08f76 "Specifications.html#markdown-report-style-specification"; 1006dcaf287c0eec["Resources Report Format Specification"]; class 1006dcaf287c0eec default; click 1006dcaf287c0eec "Specifications.html#resources-report-format-specification"; 934223a89d4e2022["Text Output Formatting"]; class 934223a89d4e2022 default; click 934223a89d4e2022 "Specifications.html#text-output-formatting"; 65ef0c6018cc1dc4["Verification Trace Diagram Specification"]; class 65ef0c6018cc1dc4 default; click 65ef0c6018cc1dc4 "Specifications.html#verification-trace-diagram-specification"; end end subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"] subgraph d02aea5a4453b115["📄 ReportingVerifications.md"] 8ce2510b23f2d68e["Containment View Design Documents Test"]; class 8ce2510b23f2d68e verification; click 8ce2510b23f2d68e "Verifications/ReportingVerifications.html#containment-view-design-documents-test"; f1434402b83d319["Model Command Verification"]; class f1434402b83d319 verification; click f1434402b83d319 "Verifications/ReportingVerifications.html#model-command-verification"; 334b4046f4e15671["Multi-Type Search Filter Test"]; class 334b4046f4e15671 verification; click 334b4046f4e15671 "Verifications/ReportingVerifications.html#multi-type-search-filter-test"; 3c9f85ce80e7b0c["Resources Report Verification"]; class 3c9f85ce80e7b0c verification; click 3c9f85ce80e7b0c "Verifications/ReportingVerifications.html#resources-report-verification"; 6535b833e5ffb628["Reverse Model Traversal Test
📎 requirements/Functional/Output/Behaviors.md#reverse-relation-traversal-behavior"]; class 6535b833e5ffb628 verification; click 6535b833e5ffb628 "Verifications/ReportingVerifications.html#reverse-model-traversal-test"; 246afbd94e01647b["Search Command Tests"]; class 246afbd94e01647b verification; click 246afbd94e01647b "Verifications/ReportingVerifications.html#search-command-tests"; 8f4c9f9feba8e8f1["Start Type Filter Test
📎 requirements/Functional/Output/Behaviors.md#start-element-type-filter-behavior"]; class 8f4c9f9feba8e8f1 verification; click 8f4c9f9feba8e8f1 "Verifications/ReportingVerifications.html#start-type-filter-test"; 17252f3552f2567a["TraceFlow View Test"]; class 17252f3552f2567a verification; click 17252f3552f2567a "Verifications/ReportingVerifications.html#traceflow-view-test"; end end subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"] subgraph 743a852fd07358e8["📄 ChangeImpact.md"] a27cb4ff2637ed4a["Change Impact Detection"]; class a27cb4ff2637ed4a systemRequirement; click a27cb4ff2637ed4a "../Processing/ChangeImpact.html#change-impact-detection"; end end subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"] subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"] 129e024331e2ae9e["Structural Change Reports Verification"]; class 129e024331e2ae9e verification; click 129e024331e2ae9e "../Processing/Verifications/ChangeImpactVerifications.html#structural-change-reports-verification"; end end subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"] subgraph 43307c569ff89429["📄 Commands.md"] ee7ad64abb668237["CLI Resources Command
📎 requirements/Functional/Output/Specifications.md#text-output-formatting"]; class ee7ad64abb668237 systemRequirement; click ee7ad64abb668237 "../../Interfaces/CLI/Commands.html#cli-resources-command"; end end 4ada1b79f43485ee["report_collect.rs"]; class 4ada1b79f43485ee default; click 4ada1b79f43485ee "../../../core/src/report_collect.rs"; 3136e3195e243669 -->|satisfiedBy| 4ada1b79f43485ee; 3136e3195e243669 -->|satisfiedBy| 8891df8e827d960c; 3136e3195e243669 -->|satisfiedBy| 9bce1082c475cb0d; 25bf5cc42f41e395["cli.rs"]; class 25bf5cc42f41e395 default; click 25bf5cc42f41e395 "../../../cli/src/cli.rs"; eeeef3e5049982b8 -->|satisfiedBy| 25bf5cc42f41e395; 399c3564599787ff["search.rs"]; class 399c3564599787ff default; click 399c3564599787ff "../../../core/src/search.rs"; eeeef3e5049982b8 -->|satisfiedBy| 399c3564599787ff; eeeef3e5049982b8 -.->|verifiedBy| 334b4046f4e15671; 4a8772cb0c75593a["containment.rs"]; class 4a8772cb0c75593a default; click 4a8772cb0c75593a "../../../core/src/containment.rs"; 2a8c9ba9fd932aba -->|satisfiedBy| 4a8772cb0c75593a; 2a8c9ba9fd932aba -.->|verifiedBy| 8ce2510b23f2d68e; 5aa1c66a1962bbcf -.->|deriveReqT| eeeef3e5049982b8; d4166762363eb31d["diagrams.rs"]; class d4166762363eb31d default; click d4166762363eb31d "../../../core/src/diagrams.rs"; 98610608d81a8fde -->|satisfiedBy| d4166762363eb31d; 98610608d81a8fde -.->|verifiedBy| f1434402b83d319; f8301585b3d30631 -.->|deriveReqT| 98610608d81a8fde; f8301585b3d30631 -.->|deriveReqT| 6a3c5a7153a49a89; f8301585b3d30631 -.->|deriveReqT| f941bbbbf5db2d8c; f8301585b3d30631 -->|satisfiedBy| d4166762363eb31d; f8301585b3d30631 -.->|verifiedBy| f1434402b83d319; 40dc720d7c510af0 -.->|deriveReqT| ee0d244ddc9aac8f; 40dc720d7c510af0 -.->|deriveReqT| 3136e3195e243669; 40dc720d7c510af0 -.->|deriveReqT| b7ae73612502c3fb; 40dc720d7c510af0 -.->|deriveReqT| c17deaee6f88323a; 40dc720d7c510af0 -.->|deriveReqT| a0f7724a2ceac1ec; 40dc720d7c510af0 -.->|deriveReqT| befd27abaf2aae8b; 40dc720d7c510af0 -->|satisfiedBy| d415e0f99fc5ad0c; 40dc720d7c510af0 -->|satisfiedBy| e8918fd8f69a1f0a; 40dc720d7c510af0 -->|satisfiedBy| 38c3e6e7692e0875; 40dc720d7c510af0 -->|satisfiedBy| 64319236fb27fe2; 40dc720d7c510af0 -->|satisfiedBy| d55aca455bf08f76; 40dc720d7c510af0 -->|satisfiedBy| 934223a89d4e2022; b7ae73612502c3fb -.->|deriveReqT| 2a8c9ba9fd932aba; b7ae73612502c3fb -.->|deriveReqT| f8301585b3d30631; b7ae73612502c3fb -.->|deriveReqT| f484430652f48bac; c17deaee6f88323a -.->|deriveReqT| c988fb8451de7d2d; a0f7724a2ceac1ec -.->|deriveReqT| ee7ad64abb668237; c0849dfe7867fd66["report_resources.rs"]; class c0849dfe7867fd66 default; click c0849dfe7867fd66 "../../../core/src/report_resources.rs"; a0f7724a2ceac1ec -->|satisfiedBy| c0849dfe7867fd66; a0f7724a2ceac1ec -->|satisfiedBy| 1006dcaf287c0eec; a0f7724a2ceac1ec -.->|verifiedBy| 3c9f85ce80e7b0c; b2113c1b9405a723["report_model.rs"]; class b2113c1b9405a723 default; click b2113c1b9405a723 "../../../core/src/report_model.rs"; 6a3c5a7153a49a89 -->|satisfiedBy| b2113c1b9405a723; 6a3c5a7153a49a89 -->|satisfiedBy| 5c87b81c1c498514; 6a3c5a7153a49a89 -.->|verifiedBy| 6535b833e5ffb628; f484430652f48bac -.->|deriveReqT| 5aa1c66a1962bbcf; 20029702488622b["filters.rs"]; class 20029702488622b default; click 20029702488622b "../../../core/src/filters.rs"; f484430652f48bac -->|satisfiedBy| 20029702488622b; f484430652f48bac -->|satisfiedBy| 399c3564599787ff; f484430652f48bac -.->|verifiedBy| 246afbd94e01647b; f941bbbbf5db2d8c -->|satisfiedBy| b2113c1b9405a723; f941bbbbf5db2d8c -->|satisfiedBy| c722f86eb2eb252f; f941bbbbf5db2d8c -.->|verifiedBy| 8f4c9f9feba8e8f1; bd747195bcfe94dd["export.rs"]; class bd747195bcfe94dd default; click bd747195bcfe94dd "../../../core/src/export.rs"; c52fdde1821f5cf2 -->|satisfiedBy| bd747195bcfe94dd; c52fdde1821f5cf2 -->|satisfiedBy| 65ef0c6018cc1dc4; c52fdde1821f5cf2 -.->|verifiedBy| 17252f3552f2567a; 9acde25d23600635 -.->|deriveReqT| a27cb4ff2637ed4a; 9acde25d23600635 -.->|verifiedBy| 129e024331e2ae9e; 499d48218b73f571["model.rs"]; class 499d48218b73f571 default; click 499d48218b73f571 "../../../core/src/model.rs"; c988fb8451de7d2d -->|satisfiedBy| 499d48218b73f571; befd27abaf2aae8b -.->|deriveReqT| c52fdde1821f5cf2; f0b66f65c95dfaa2["report_coverage.rs"]; class f0b66f65c95dfaa2 default; click f0b66f65c95dfaa2 "../../../core/src/report_coverage.rs"; befd27abaf2aae8b -->|satisfiedBy| f0b66f65c95dfaa2; befd27abaf2aae8b -->|satisfiedBy| 8244c27e5a9f5023; 80aab4c106444560["test.sh"]; class 80aab4c106444560 default; click 80aab4c106444560 "../../../tests/test-multi-type-search/test.sh"; 334b4046f4e15671 -->|satisfiedBy| 80aab4c106444560; ea79f4f1551d1df1["test.sh"]; class ea79f4f1551d1df1 default; click ea79f4f1551d1df1 "../../../tests/test-containment-view/test.sh"; 8ce2510b23f2d68e -->|satisfiedBy| ea79f4f1551d1df1; df92bf508f2f7295["test.sh"]; class df92bf508f2f7295 default; click df92bf508f2f7295 "../../../tests/test-model-command/test.sh"; f1434402b83d319 -->|satisfiedBy| df92bf508f2f7295; ee0d244ddc9aac8f -.->|deriveReqT| b1a0db26e90f239f; ee0d244ddc9aac8f -->|satisfiedBy| ac522a615450fded; ee0d244ddc9aac8f -->|satisfiedBy| b214580f5133dc42; ee0d244ddc9aac8f -->|satisfiedBy| ec385316ac867c67; ee7ad64abb668237 -->|satisfiedBy| 25bf5cc42f41e395; ee7ad64abb668237 -.->|verifiedBy| 3c9f85ce80e7b0c; c326a5f02f65c781["test.sh"]; class c326a5f02f65c781 default; click c326a5f02f65c781 "../../../tests/test-resources-report/test.sh"; 3c9f85ce80e7b0c -->|satisfiedBy| c326a5f02f65c781; ea6a90c3d551dae4["test.sh"]; class ea6a90c3d551dae4 default; click ea6a90c3d551dae4 "../../../tests/test-search-all-features/test.sh"; 246afbd94e01647b -->|satisfiedBy| ea6a90c3d551dae4; b14852fd8c912f44["test.sh"]; class b14852fd8c912f44 default; click b14852fd8c912f44 "../../../tests/test-traceflow-view/test.sh"; 17252f3552f2567a -->|satisfiedBy| b14852fd8c912f44; a27cb4ff2637ed4a -.->|deriveReqT| 1868da177a2e8ffd; a27cb4ff2637ed4a -.->|deriveReqT| 27ee21b54c142739; 4391424e97bc407a["change_impact.rs"]; class 4391424e97bc407a default; click 4391424e97bc407a "../../../core/src/change_impact.rs"; a27cb4ff2637ed4a -->|satisfiedBy| 4391424e97bc407a; a27cb4ff2637ed4a -.->|verifiedBy| 3758f5f1c504cd42; c2377a15dab54ba5["test.sh"]; class c2377a15dab54ba5 default; click c2377a15dab54ba5 "../../../tests/test-change-impact-detection/test.sh"; 129e024331e2ae9e -->|satisfiedBy| c2377a15dab54ba5;

Model Reports

When requested the system shall provide human readable and machine readable System model reports with deterministic output and consistent ordering.

Metadata

  • type: user-requirement

Attachments

Relations

Collect Content from Requirement Chain

The system shall collect and consolidate all content from a requirement element and its ancestors via derivedFrom relations, including attachment contents, and output with source citations in text or JSON format.

Details

The system shall define:

  • Content collection rules for elements and attachments
  • Output format specifications for text and JSON modes

Metadata

  • type: requirement

Attachments

Relations

Model Structure and Summaries

When requested the system shall generate reports summarizing the structure and relationships in the System model, including counts and types of connections also supporting json output.

Metadata

  • type: user-requirement

Relations

Containment View Report

The system shall generate containment view reports showing the physical hierarchical structure of the model.

Details

The containment view shows the physical organization of the model:

  • Root folder → Subfolders → Files → Elements
  • Sections skipped (elements shown directly under files)

The system shall generate reports in multiple formats:

  • Mermaid diagrams for visualization
  • JSON for programmatic access
  • HTML export integration

The system shall include design documents:

  • Files in DesignDocuments folders displayed alongside specifications
  • Design documents visually distinguished from specification elements
  • Clickable navigation to document files

Metadata

  • type: user-requirement

Attachments

Relations

Model Diagram Output Formats

System shall support markdown and JSON output formats.

Details

  • Markdown format shall include embedded Mermaid diagram with model structure
  • Markdown shall show hierarchical structure using containment subgraphs (folders > files > elements)
  • Mermaid diagrams shall use folder and file subgraphs to visually group elements by their physical location
  • JSON format shall use structured data with folders, files, sections, elements, relations, and attachments
  • Both formats shall represent the same filtered or complete model data
  • Element attachments shall be included as an array of strings in both formats (file paths and element identifiers)

Metadata

  • type: requirement

Attachments

Relations

Forward-Only Relation Traversal

When filtering by root element, system shall traverse only forward relations down to leaf elements.

Details

  • Shall follow only forward relations (derive, satisfiedBy, verifiedBy, trace)
  • Shall start from specified root element (looked up by name)
  • Shall recursively traverse outgoing relations to leaf elements
  • Shall NOT traverse backward (no bidirectional traversal)
  • Unfiltered diagrams (no –from) shall show complete model with all elements

Metadata

  • type: requirement

Attachments

Relations

Reverse Relation Traversal

The system shall support reverse relation traversal for model views, following defined rules in Reverse Relation Traversal Behavior.

Metadata

  • type: requirement

Attachments

Relations

Start Element Type Filtering

The system shall support filtering starting elements by type for model traversal, following defined rules in Start Element Type Filter Behavior.

Metadata

  • type: requirement

Relations

Search Report Generator

The system shall implement a search report generator with comprehensive filtering and element type tracking.

Details

The search report must include file-level, section-level, and element-level information.

The system shall define comprehensive search filtering capabilities:

  • By file path patterns
  • By element name patterns
  • By element type
  • By element content patterns
  • By presence/absence of relations
  • By presence/absence of attachments

The system shall define custom element type tracking:

  • Identify types not in standard categories
  • Report custom types with counts

Metadata

  • type: requirement

Attachments

Relations

Flexible Search Type Filtering

The system shall support filtering search results by multiple element types simultaneously to enable flexible querying across type categories.

Details

Users shall be able to specify multiple element types in a single search operation using comma-separated values (e.g., requirement,test-verification,behavior).

This capability enables:

  • Searching across related type categories (all requirement types, all verification types)
  • Building complex queries without multiple search invocations
  • Improved workflow efficiency for model analysis and reporting

Metadata

  • type: user-requirement

Relations

Comma-Separated Type Filter Parsing

The system shall parse comma-separated element type values in the --filter-type flag, validating each type and applying OR logic to match elements.

Details

When parsing the --filter-type argument:

  • Split input by comma delimiter
  • Trim whitespace from each type value
  • Convert to lowercase for case-insensitive matching
  • Validate each type against the valid element types list
  • Return clear error messages for invalid types

When filtering elements:

  • Element matches if it matches ANY of the specified types (OR logic)
  • Support for custom types using other-TYPENAME syntax
  • Maintain backward compatibility with single-type queries

Metadata

  • type: requirement

Relations

Provide Validation Reports

The system shall generate detailed validation reports, highlighting any inconsistencies or errors in the System model structure.

Details

Validation shall be performed automatically when any command requires the parsed model, eliminating the need for a separate validation command. Commands that operate on raw files shall skip validation to allow operation on potentially invalid documents.

Metadata

  • type: user-requirement

Relations

Validation Report Generator

The system shall implement a validation report generator that compiles and formats validation results from all validators, providing a unified view of model quality with categorized issues, remediation suggestions, and compliance metrics.

Metadata

  • type: requirement

Attachments

Relations

Resources Report

The system shall provide a resources report showing all files referenced by the model through relations and attachments in text, JSON, and HTML formats.

Metadata

  • type: user-requirement

Relations

Verification Coverage Report

The system shall generate verification coverage reports focusing on leaf requirements, showing the percentage and details of verified and unverified requirements following clearly defined coverage philosophy.

Details

The verification coverage report shall provide:

  • Total count of leaf requirements with breakdown by requirement type
  • Count and percentage of verified leaf requirements (those with verifiedBy relations)
  • Count and percentage of unverified leaf requirements
  • Total count of verification artifacts with breakdown by verification type
  • Count and percentage of satisfied test-verification artifacts
  • Count and percentage of orphaned verification artifacts
  • Detailed lists grouped by file and section
  • Output in both human-readable text and machine-readable JSON formats

The report helps track verification completeness and identify gaps in requirement verification coverage.

Metadata

  • type: user-requirement

Attachments

Relations

TraceFlow View Report Generation

The system shall generate a TraceFlow view page showing the verification traceability flow using an interactive D3.js Sankey diagram visualization. The view displays how requirements flow from user requirements through system requirements to verifications.

Metadata

  • type: requirement

Attachments

Relations

Tracing Structural Changes

When tracing structural changes, the system shall analyze the System model and diffs to identify affected components and generate a report of impacted elements and structures, so that the user can review the changes and decide on further actions.

Metadata

  • type: user-requirement

Attachments

Relations