Verification Traces
Verification traces show upward traceability from each verification through the requirement hierarchy. Using the roll-up strategy, verifying a leaf requirement automatically provides coverage to all its ancestors through derivedFrom relations—you don’t need to verify every level. Each diagram marks directly verified requirements, helping identify redundant verify relations where both a requirement and its ancestor are explicitly verified.
File: requirements/Functional/Core/Verifications/AttachmentsVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
1c80039ebf669864["Attach Command Verification"]:::verification
click 1c80039ebf669864 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attach-command-verification";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
457ab64992d42aa4["Attachment Commands
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Core/Behaviors.md#attachment-input-auto-detection-behavior"]:::systemRequirement
click 457ab64992d42aa4 "requirements/Interfaces/CLI/Commands.html#attachment-commands";
end
end
1c80039ebf669864 -.->|verifies| 457ab64992d42aa4;
457ab64992d42aa4 -.->|derivedFrom| 9e793aabc302d0d5;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
42398f2c82684691["Attachment Identifier Updates
📎 requirements/Functional/Core/Behaviors.md#attachment-identifier-crud-update-behavior"]:::systemRequirement
click 42398f2c82684691 "requirements/Functional/Core/ModelManagement.html#attachment-identifier-updates";
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
2b94b4f8deb0b47d["Attachment Identifier CRUD Verification"]:::verification
click 2b94b4f8deb0b47d "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachment-identifier-crud-verification";
end
end
2b94b4f8deb0b47d -.->|verifies| 42398f2c82684691;
42398f2c82684691 -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
43a55500f0bebfda["Attachment Output Rendering Verification"]:::verification
click 43a55500f0bebfda "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachment-output-rendering-verification";
end
end
43a55500f0bebfda -.->|verifies| 9e793aabc302d0d5;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
29ee19ee5dd27edc["Attachment Search Filters Verification"]:::verification
click 29ee19ee5dd27edc "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachment-search-filters-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
d2fc543d82f61bbb["CLI Search Command
📎 requirements/Refinements.md#supported-element-types-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Behaviors.md#short-mode-behavior
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click d2fc543d82f61bbb "requirements/Interfaces/CLI/Commands.html#cli-search-command";
end
end
29ee19ee5dd27edc -.->|verifies| d2fc543d82f61bbb;
d2fc543d82f61bbb -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
83e059965299c4d9["Trace Changes in System Model"]:::userRequirement
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
3758f5f1c504cd42["Attachments Change Impact Verification"]:::verification
click 3758f5f1c504cd42 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-change-impact-verification";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 9acde25d23600635 "requirements/Functional/Output/Reporting.html#tracing-structural-changes";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 743a852fd07358e8["📄 ChangeImpact.md"]
a27cb4ff2637ed4a["Change Impact Detection"]:::systemRequirement
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
end
end
3758f5f1c504cd42 -.->|verifies| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
a27cb4ff2637ed4a -.->|derivedFrom| 9acde25d23600635;
9acde25d23600635 -.->|derivedFrom| 83e059965299c4d9;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
fcfc76ba4d193d75["Attachment Target Validation
📎 ReservedSubsections.md"]:::systemRequirement
click fcfc76ba4d193d75 "requirements/Functional/Core/Validation.html#attachment-target-validation";
ff8ff08f0c0500f0["Validate Internal Consistency"]:::userRequirement
click ff8ff08f0c0500f0 "requirements/Functional/Core/Validation.html#validate-internal-consistency";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
18307065fb353848["Attachments Subsection Parsing Verification"]:::verification
click 18307065fb353848 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-subsection-parsing-verification";
end
end
18307065fb353848 -.->|verifies| 9e793aabc302d0d5;
18307065fb353848 -.->|verifies| fcfc76ba4d193d75;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
fcfc76ba4d193d75 -.->|derivedFrom| ff8ff08f0c0500f0;
ff8ff08f0c0500f0 -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
fcfc76ba4d193d75["Attachment Target Validation
📎 ReservedSubsections.md"]:::systemRequirement
click fcfc76ba4d193d75 "requirements/Functional/Core/Validation.html#attachment-target-validation";
ff8ff08f0c0500f0["Validate Internal Consistency"]:::userRequirement
click ff8ff08f0c0500f0 "requirements/Functional/Core/Validation.html#validate-internal-consistency";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
ff62a0266193ee63["Attachments Validation Verification"]:::verification
click ff62a0266193ee63 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-validation-verification";
end
end
ff62a0266193ee63 -.->|verifies| 9e793aabc302d0d5;
ff62a0266193ee63 -.->|verifies| fcfc76ba4d193d75;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
fcfc76ba4d193d75 -.->|derivedFrom| ff8ff08f0c0500f0;
ff8ff08f0c0500f0 -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
285be0a87e4eada0["Detach Command Verification"]:::verification
click 285be0a87e4eada0 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#detach-command-verification";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
457ab64992d42aa4["Attachment Commands
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Core/Behaviors.md#attachment-input-auto-detection-behavior"]:::systemRequirement
click 457ab64992d42aa4 "requirements/Interfaces/CLI/Commands.html#attachment-commands";
end
end
285be0a87e4eada0 -.->|verifies| 457ab64992d42aa4;
457ab64992d42aa4 -.->|derivedFrom| 9e793aabc302d0d5;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
2f4e61e9544880a6["Move Asset Command Verification"]:::verification
click 2f4e61e9544880a6 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#move-asset-command-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
a68fbec67469256b["CLI Move Asset Command
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::systemRequirement
click a68fbec67469256b "requirements/Interfaces/CLI/Commands.html#cli-move-asset-command";
end
end
2f4e61e9544880a6 -.->|verifies| a68fbec67469256b;
a68fbec67469256b -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
9ae645d347d4b31a["Remove Asset Command Verification"]:::verification
click 9ae645d347d4b31a "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#remove-asset-command-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
91025cd88b1df4f0["CLI Remove Asset Command
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::systemRequirement
click 91025cd88b1df4f0 "requirements/Interfaces/CLI/Commands.html#cli-remove-asset-command";
end
end
9ae645d347d4b31a -.->|verifies| 91025cd88b1df4f0;
91025cd88b1df4f0 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
File: requirements/Functional/Core/Verifications/ParsingVerifications.html
- Type: test-verification
- Directly Verified: 3 requirements
- Total in Tree: 8 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
659a813dd417bc5e["Default Requirement Type Assignment
📎 requirements/Functional/Core/Specifications.md#element-type-metadata-specification"]:::userRequirement
click 659a813dd417bc5e "requirements/Functional/Core/ModelManagement.html#default-requirement-type-assignment";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
98ae4e1997fb1002["Element Subsection Parsing Test"]:::verification
click 98ae4e1997fb1002 "requirements/Functional/Core/Verifications/ParsingVerifications.html#element-subsection-parsing-test";
end
end
98ae4e1997fb1002 -.->|verifies| 659a813dd417bc5e;
98ae4e1997fb1002 -.->|verifies| 15293612289d990c;
98ae4e1997fb1002 -.->|verifies| 9e793aabc302d0d5;
659a813dd417bc5e -.->|derivedFrom| 63cff97aeb9a82df;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
49c372fbdf0ebe68["Fragment Normalization Test"]:::verification
click 49c372fbdf0ebe68 "requirements/Functional/Core/Verifications/ParsingVerifications.html#fragment-normalization-test";
end
end
49c372fbdf0ebe68 -.->|verifies| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
55d54f4d3853a23b["Non-Reserved Subsections Content Test"]:::verification
click 55d54f4d3853a23b "requirements/Functional/Core/Verifications/ParsingVerifications.html#non-reserved-subsections-content-test";
end
end
55d54f4d3853a23b -.->|verifies| 9e793aabc302d0d5;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
7b8a81499865dbaa["Refinement Element Structure Constraints
📎 RelationTypes.md
📎 requirements/Refinements.md#supported-element-types-specification"]:::systemRequirement
click 7b8a81499865dbaa "requirements/Functional/Core/ModelManagement.html#refinement-element-structure-constraints";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
581d470f0ef1f431["Refinement Element Type Parsing Test"]:::verification
click 581d470f0ef1f431 "requirements/Functional/Core/Verifications/ParsingVerifications.html#refinement-element-type-parsing-test";
end
end
581d470f0ef1f431 -.->|verifies| 7b8a81499865dbaa;
7b8a81499865dbaa -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
7b8a81499865dbaa["Refinement Element Structure Constraints
📎 RelationTypes.md
📎 requirements/Refinements.md#supported-element-types-specification"]:::systemRequirement
click 7b8a81499865dbaa "requirements/Functional/Core/ModelManagement.html#refinement-element-structure-constraints";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
52b50094727794f3["Refinement Relations Rejection Test"]:::verification
click 52b50094727794f3 "requirements/Functional/Core/Verifications/ParsingVerifications.html#refinement-relations-rejection-test";
end
end
52b50094727794f3 -.->|verifies| 7b8a81499865dbaa;
7b8a81499865dbaa -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 2 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
c1fde7d1c17c2acb["Specification File Identification"]:::systemRequirement
click c1fde7d1c17c2acb "requirements/Functional/Core/StructureAndParsing.html#specification-file-identification";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
6cf270efbdc5a78["Specification File Identification Test"]:::verification
click 6cf270efbdc5a78 "requirements/Functional/Core/Verifications/ParsingVerifications.html#specification-file-identification-test";
end
end
6cf270efbdc5a78 -.->|verifies| c1fde7d1c17c2acb;
c1fde7d1c17c2acb -.->|derivedFrom| 5962c1ae315af2be;
File: requirements/Functional/Core/Verifications/ValidationVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 7 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
14c74cc4fb33d735["Cross-Section Duplicate Validation"]:::systemRequirement
click 14c74cc4fb33d735 "requirements/Functional/Core/Validation.html#cross-section-duplicate-validation";
fed54223697ea04e["Internal Consistency Validator"]:::systemRequirement
click fed54223697ea04e "requirements/Functional/Core/Validation.html#internal-consistency-validator";
ff8ff08f0c0500f0["Validate Internal Consistency"]:::userRequirement
click ff8ff08f0c0500f0 "requirements/Functional/Core/Validation.html#validate-internal-consistency";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
f0aeb8d3ad027b6e["Cross-Section Duplicate Validation Test"]:::verification
click f0aeb8d3ad027b6e "requirements/Functional/Core/Verifications/ValidationVerifications.html#cross-section-duplicate-validation-test";
end
end
f0aeb8d3ad027b6e -.->|verifies| 14c74cc4fb33d735;
14c74cc4fb33d735 -.->|derivedFrom| fed54223697ea04e;
fed54223697ea04e -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
fed54223697ea04e -.->|derivedFrom| ff8ff08f0c0500f0;
ff8ff08f0c0500f0 -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 2 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
659a813dd417bc5e["Default Requirement Type Assignment
📎 requirements/Functional/Core/Specifications.md#element-type-metadata-specification"]:::userRequirement
click 659a813dd417bc5e "requirements/Functional/Core/ModelManagement.html#default-requirement-type-assignment";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
40f8f3dcc6a4e8bd["Default Element Type Assignment Test"]:::verification
click 40f8f3dcc6a4e8bd "requirements/Functional/Core/Verifications/ValidationVerifications.html#default-element-type-assignment-test";
end
end
40f8f3dcc6a4e8bd -.->|verifies| 659a813dd417bc5e;
659a813dd417bc5e -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 9 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
3b924660b3d92e9d["Element Type Relation Compatibility
📎 requirements/Refinements.md#supported-element-types-specification"]:::systemRequirement
click 3b924660b3d92e9d "requirements/Functional/Core/ModelManagement.html#element-type-relation-compatibility";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
9f1021634cff7f57["Relation Element Type Validator"]:::systemRequirement
click 9f1021634cff7f57 "requirements/Functional/Core/Validation.html#relation-element-type-validator";
4a77e514d9e5539b["Validate Relation Types
📎 requirements/Refinements.md#relation-semantics-specification"]:::userRequirement
click 4a77e514d9e5539b "requirements/Functional/Core/Validation.html#validate-relation-types";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
4bbdeefb4231596e["Element Type Relation Compatibility Test"]:::verification
click 4bbdeefb4231596e "requirements/Functional/Core/Verifications/ValidationVerifications.html#element-type-relation-compatibility-test";
end
end
4bbdeefb4231596e -.->|verifies| 3b924660b3d92e9d;
4bbdeefb4231596e -.->|verifies| 9f1021634cff7f57;
3b924660b3d92e9d -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
9f1021634cff7f57 -.->|derivedFrom| 4a77e514d9e5539b;
4a77e514d9e5539b -.->|derivedFrom| 15293612289d990c;
4a77e514d9e5539b -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"]:::userRequirement
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
66f4b835345ddf91["Ignore Files Integration"]:::systemRequirement
click 66f4b835345ddf91 "requirements/Functional/Core/Configuration.html#ignore-files-integration";
a1795409a371f481["Ignoring Unstructured Documents"]:::systemRequirement
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
fdaf3aa93f19ec5["Reserved Repository Files Exclusion"]:::systemRequirement
click fdaf3aa93f19ec5 "requirements/Functional/Core/Configuration.html#reserved-repository-files-exclusion";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
f8b4586a036406cd["File Exclusion Test"]:::verification
click f8b4586a036406cd "requirements/Functional/Core/Verifications/ValidationVerifications.html#file-exclusion-test";
end
end
f8b4586a036406cd -.->|verifies| 66f4b835345ddf91;
f8b4586a036406cd -.->|verifies| fdaf3aa93f19ec5;
66f4b835345ddf91 -.->|derivedFrom| a1795409a371f481;
a1795409a371f481 -.->|derivedFrom| f02dac6e75313544;
f02dac6e75313544 -.->|derivedFrom| 5962c1ae315af2be;
fdaf3aa93f19ec5 -.->|derivedFrom| a1795409a371f481;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
4e665d02fddc5598["Markdown Structure Validator"]:::systemRequirement
click 4e665d02fddc5598 "requirements/Functional/Core/Validation.html#markdown-structure-validator";
76fbd08929220b2f["Validate Markdown Structure"]:::userRequirement
click 76fbd08929220b2f "requirements/Functional/Core/Validation.html#validate-markdown-structure";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
83d989f6ea529f74["Invalid Header Structure Test"]:::verification
click 83d989f6ea529f74 "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-header-structure-test";
end
end
83d989f6ea529f74 -.->|verifies| 625bdde09d955477;
83d989f6ea529f74 -.->|verifies| 4e665d02fddc5598;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
4e665d02fddc5598 -.->|derivedFrom| 76fbd08929220b2f;
76fbd08929220b2f -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 8 requirements
- Total in Tree: 23 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
3b924660b3d92e9d["Element Type Relation Compatibility
📎 requirements/Refinements.md#supported-element-types-specification"]:::systemRequirement
click 3b924660b3d92e9d "requirements/Functional/Core/ModelManagement.html#element-type-relation-compatibility";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
df9b3eb5275616dd["Cross-Component Dependency Validator"]:::systemRequirement
click df9b3eb5275616dd "requirements/Functional/Core/Validation.html#cross-component-dependency-validator";
a869d98120d611e3["Enhanced Validation Error Reporting"]:::userRequirement
click a869d98120d611e3 "requirements/Functional/Core/Validation.html#enhanced-validation-error-reporting";
fed54223697ea04e["Internal Consistency Validator"]:::systemRequirement
click fed54223697ea04e "requirements/Functional/Core/Validation.html#internal-consistency-validator";
4e665d02fddc5598["Markdown Structure Validator"]:::systemRequirement
click 4e665d02fddc5598 "requirements/Functional/Core/Validation.html#markdown-structure-validator";
9f1021634cff7f57["Relation Element Type Validator"]:::systemRequirement
click 9f1021634cff7f57 "requirements/Functional/Core/Validation.html#relation-element-type-validator";
dcb530333efa6cc3["Relation Type Validation"]:::systemRequirement
click dcb530333efa6cc3 "requirements/Functional/Core/Validation.html#relation-type-validation";
6226bc768d0185df["Validate Cross-Component Dependencies"]:::userRequirement
click 6226bc768d0185df "requirements/Functional/Core/Validation.html#validate-cross-component-dependencies";
ff8ff08f0c0500f0["Validate Internal Consistency"]:::userRequirement
click ff8ff08f0c0500f0 "requirements/Functional/Core/Validation.html#validate-internal-consistency";
76fbd08929220b2f["Validate Markdown Structure"]:::userRequirement
click 76fbd08929220b2f "requirements/Functional/Core/Validation.html#validate-markdown-structure";
4a77e514d9e5539b["Validate Relation Types
📎 requirements/Refinements.md#relation-semantics-specification"]:::userRequirement
click 4a77e514d9e5539b "requirements/Functional/Core/Validation.html#validate-relation-types";
e5ee40ed53dd3c3["Validation Error Handling
📎 requirements/Functional/Output/Specifications.md#error-message-format-specification"]:::systemRequirement
click e5ee40ed53dd3c3 "requirements/Functional/Core/Validation.html#validation-error-handling";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
ad323c8d4c0751e["Invalid Relations Test"]:::verification
click ad323c8d4c0751e "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-relations-test";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
6a54472e974b0c63["Trace Relation Non-Directional Behavior"]:::systemRequirement
click 6a54472e974b0c63 "requirements/Functional/Output/DiagramGeneration.html#trace-relation-non-directional-behavior";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
a8750da2c3580220["Validate Command
📎 requirements/Functional/Core/Behaviors.md#two-pass-validation-behavior
📎 requirements/Functional/Core/Behaviors.md#validation-error-reporting-behavior
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#error-message-format-specification"]:::systemRequirement
click a8750da2c3580220 "requirements/Interfaces/CLI/Commands.html#validate-command";
end
end
ad323c8d4c0751e -.->|verifies| df9b3eb5275616dd;
ad323c8d4c0751e -.->|verifies| fed54223697ea04e;
ad323c8d4c0751e -.->|verifies| 4e665d02fddc5598;
ad323c8d4c0751e -.->|verifies| 9f1021634cff7f57;
ad323c8d4c0751e -.->|verifies| dcb530333efa6cc3;
ad323c8d4c0751e -.->|verifies| e5ee40ed53dd3c3;
ad323c8d4c0751e -.->|verifies| 6a54472e974b0c63;
ad323c8d4c0751e -.->|verifies| a8750da2c3580220;
df9b3eb5275616dd -.->|derivedFrom| 6226bc768d0185df;
6226bc768d0185df -.->|derivedFrom| cbb3e11245e3e972;
fed54223697ea04e -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
fed54223697ea04e -.->|derivedFrom| ff8ff08f0c0500f0;
ff8ff08f0c0500f0 -.->|derivedFrom| cbb3e11245e3e972;
4e665d02fddc5598 -.->|derivedFrom| 76fbd08929220b2f;
76fbd08929220b2f -.->|derivedFrom| cbb3e11245e3e972;
9f1021634cff7f57 -.->|derivedFrom| 3b924660b3d92e9d;
3b924660b3d92e9d -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
9f1021634cff7f57 -.->|derivedFrom| 4a77e514d9e5539b;
4a77e514d9e5539b -.->|derivedFrom| 15293612289d990c;
4a77e514d9e5539b -.->|derivedFrom| cbb3e11245e3e972;
dcb530333efa6cc3 -.->|derivedFrom| a869d98120d611e3;
a869d98120d611e3 -.->|derivedFrom| cbb3e11245e3e972;
e5ee40ed53dd3c3 -.->|derivedFrom| a869d98120d611e3;
6a54472e974b0c63 -.->|derivedFrom| 15293612289d990c;
a8750da2c3580220 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 8 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"]:::userRequirement
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
a1795409a371f481["Ignoring Unstructured Documents"]:::systemRequirement
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
f225228c6f9046e1["Requirements Processing"]:::systemRequirement
click f225228c6f9046e1 "requirements/Functional/Core/Configuration.html#requirements-processing";
9577f209f3e80942["Structured Markdown Files Search and Detection"]:::systemRequirement
click 9577f209f3e80942 "requirements/Functional/Core/Configuration.html#structured-markdown-files-search-and-detection";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
f1ee9af5e71df06a["GraphRegistry as Primary Registry
📎 requirements/Functional/Core/Specifications.md#requirements-processing-specification"]:::systemRequirement
click f1ee9af5e71df06a "requirements/Functional/Core/Validation.html#graphregistry-as-primary-registry";
ff8ff08f0c0500f0["Validate Internal Consistency"]:::userRequirement
click ff8ff08f0c0500f0 "requirements/Functional/Core/Validation.html#validate-internal-consistency";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
cd31aec9ae0c3ed3["Requirements Files Search and Detection Test"]:::verification
click cd31aec9ae0c3ed3 "requirements/Functional/Core/Verifications/ValidationVerifications.html#requirements-files-search-and-detection-test";
end
end
cd31aec9ae0c3ed3 -.->|verifies| 9577f209f3e80942;
cd31aec9ae0c3ed3 -.->|verifies| f1ee9af5e71df06a;
9577f209f3e80942 -.->|derivedFrom| f225228c6f9046e1;
f225228c6f9046e1 -.->|derivedFrom| a1795409a371f481;
a1795409a371f481 -.->|derivedFrom| f02dac6e75313544;
f02dac6e75313544 -.->|derivedFrom| 5962c1ae315af2be;
f1ee9af5e71df06a -.->|derivedFrom| ff8ff08f0c0500f0;
ff8ff08f0c0500f0 -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 7 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"]:::userRequirement
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
a1795409a371f481["Ignoring Unstructured Documents"]:::systemRequirement
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
f225228c6f9046e1["Requirements Processing"]:::systemRequirement
click f225228c6f9046e1 "requirements/Functional/Core/Configuration.html#requirements-processing";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
a869d98120d611e3["Enhanced Validation Error Reporting"]:::userRequirement
click a869d98120d611e3 "requirements/Functional/Core/Validation.html#enhanced-validation-error-reporting";
dcb530333efa6cc3["Relation Type Validation"]:::systemRequirement
click dcb530333efa6cc3 "requirements/Functional/Core/Validation.html#relation-type-validation";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
5352180257d54fb2["Same-File Fragment Relations Test"]:::verification
click 5352180257d54fb2 "requirements/Functional/Core/Verifications/ValidationVerifications.html#same-file-fragment-relations-test";
end
end
5352180257d54fb2 -.->|verifies| f225228c6f9046e1;
5352180257d54fb2 -.->|verifies| dcb530333efa6cc3;
f225228c6f9046e1 -.->|derivedFrom| a1795409a371f481;
a1795409a371f481 -.->|derivedFrom| f02dac6e75313544;
f02dac6e75313544 -.->|derivedFrom| 5962c1ae315af2be;
dcb530333efa6cc3 -.->|derivedFrom| a869d98120d611e3;
a869d98120d611e3 -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 3 requirements
- Total in Tree: 7 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
43eafdd22a501023["Git Repository as Project Root
📎 requirements/Refinements.md#containment-specification"]:::userRequirement
click 43eafdd22a501023 "requirements/Functional/Core/ModelManagement.html#git-repository-as-project-root";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
c40e17e0f8f2b5ec["Subdirectory Processing Verification"]:::verification
click c40e17e0f8f2b5ec "requirements/Functional/Core/Verifications/ValidationVerifications.html#subdirectory-processing-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
7ef6cb0e4258e1bc["CLI Move Element Command
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#move-element-workflow-specification"]:::systemRequirement
click 7ef6cb0e4258e1bc "requirements/Interfaces/CLI/Commands.html#cli-move-element-command";
d9c57dd799158af9["CLI Move File Command
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click d9c57dd799158af9 "requirements/Interfaces/CLI/Commands.html#cli-move-file-command";
end
end
c40e17e0f8f2b5ec -.->|verifies| 43eafdd22a501023;
c40e17e0f8f2b5ec -.->|verifies| 7ef6cb0e4258e1bc;
c40e17e0f8f2b5ec -.->|verifies| d9c57dd799158af9;
43eafdd22a501023 -.->|derivedFrom| 5962c1ae315af2be;
7ef6cb0e4258e1bc -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
d9c57dd799158af9 -.->|derivedFrom| d6147550e948449e;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 98067cc5207d6b91["📄 Validation.md"]
a869d98120d611e3["Enhanced Validation Error Reporting"]:::userRequirement
click a869d98120d611e3 "requirements/Functional/Core/Validation.html#enhanced-validation-error-reporting";
dcd747ef36b02f8c["Type Validation Error Requirement"]:::systemRequirement
click dcd747ef36b02f8c "requirements/Functional/Core/Validation.html#type-validation-error-requirement";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
776101677ee97029["Type Validation Errors Test"]:::verification
click 776101677ee97029 "requirements/Functional/Core/Verifications/ValidationVerifications.html#type-validation-errors-test";
end
end
776101677ee97029 -.->|verifies| dcd747ef36b02f8c;
dcd747ef36b02f8c -.->|derivedFrom| a869d98120d611e3;
a869d98120d611e3 -.->|derivedFrom| cbb3e11245e3e972;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"]:::userRequirement
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
a1795409a371f481["Ignoring Unstructured Documents"]:::systemRequirement
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
327e10e1bebd5bde["Excluded File Relation Validation"]:::systemRequirement
click 327e10e1bebd5bde "requirements/Functional/Core/Validation.html#excluded-file-relation-validation";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
2d8c79b0a3233f70["Unstructured Documents Test"]:::verification
click 2d8c79b0a3233f70 "requirements/Functional/Core/Verifications/ValidationVerifications.html#unstructured-documents-test";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
3126a7da8d2fc941["File Pattern Exclusion for Format"]:::systemRequirement
click 3126a7da8d2fc941 "requirements/Functional/Operations/Formatting.html#file-pattern-exclusion-for-format";
end
end
2d8c79b0a3233f70 -.->|verifies| 327e10e1bebd5bde;
327e10e1bebd5bde -.->|derivedFrom| 3126a7da8d2fc941;
3126a7da8d2fc941 -.->|derivedFrom| a1795409a371f481;
a1795409a371f481 -.->|derivedFrom| f02dac6e75313544;
f02dac6e75313544 -.->|derivedFrom| 5962c1ae315af2be;
File: requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
9ce04315a8dd0d88["Add Command Duplicate Detection Test"]:::verification
click 9ce04315a8dd0d88 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#add-command-duplicate-detection-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
104c59d25b737d22["CLI Add Element Command
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Operations/Behaviors.md#create-element-override-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#create-element-workflow-specification"]:::systemRequirement
click 104c59d25b737d22 "requirements/Interfaces/CLI/Commands.html#cli-add-element-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
9ce04315a8dd0d88 -.->|verifies| 104c59d25b737d22;
104c59d25b737d22 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 4 requirements
- Total in Tree: 9 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
cbb3e11245e3e972["Validating Structures"]:::userRequirement
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 98067cc5207d6b91["📄 Validation.md"]
a869d98120d611e3["Enhanced Validation Error Reporting"]:::userRequirement
click a869d98120d611e3 "requirements/Functional/Core/Validation.html#enhanced-validation-error-reporting";
4e665d02fddc5598["Markdown Structure Validator"]:::systemRequirement
click 4e665d02fddc5598 "requirements/Functional/Core/Validation.html#markdown-structure-validator";
76fbd08929220b2f["Validate Markdown Structure"]:::userRequirement
click 76fbd08929220b2f "requirements/Functional/Core/Validation.html#validate-markdown-structure";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
f7d422af274a64cf["Add Command Error Messages Test"]:::verification
click f7d422af274a64cf "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#add-command-error-messages-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
104c59d25b737d22["CLI Add Element Command
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Operations/Behaviors.md#create-element-override-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#create-element-workflow-specification"]:::systemRequirement
click 104c59d25b737d22 "requirements/Interfaces/CLI/Commands.html#cli-add-element-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
62f24ccbcd1f428a["Detailed Error Handling and Logging
📎 requirements/Functional/Core/Behaviors.md#validation-error-reporting-behavior"]:::systemRequirement
click 62f24ccbcd1f428a "requirements/Interfaces/CLI/Commands.html#detailed-error-handling-and-logging";
end
end
f7d422af274a64cf -.->|verifies| a869d98120d611e3;
f7d422af274a64cf -.->|verifies| 4e665d02fddc5598;
f7d422af274a64cf -.->|verifies| 104c59d25b737d22;
f7d422af274a64cf -.->|verifies| 62f24ccbcd1f428a;
a869d98120d611e3 -.->|derivedFrom| cbb3e11245e3e972;
4e665d02fddc5598 -.->|derivedFrom| 76fbd08929220b2f;
76fbd08929220b2f -.->|derivedFrom| cbb3e11245e3e972;
104c59d25b737d22 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
62f24ccbcd1f428a -.->|derivedFrom| d6147550e948449e;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
868e15205b620ba2["CLI Add Element Test"]:::verification
click 868e15205b620ba2 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-add-element-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
104c59d25b737d22["CLI Add Element Command
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Operations/Behaviors.md#create-element-override-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#create-element-workflow-specification"]:::systemRequirement
click 104c59d25b737d22 "requirements/Interfaces/CLI/Commands.html#cli-add-element-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
868e15205b620ba2 -.->|verifies| 104c59d25b737d22;
104c59d25b737d22 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
d4a6f578d691e888["CLI Move Element Test"]:::verification
click d4a6f578d691e888 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-move-element-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
7ef6cb0e4258e1bc["CLI Move Element Command
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#move-element-workflow-specification"]:::systemRequirement
click 7ef6cb0e4258e1bc "requirements/Interfaces/CLI/Commands.html#cli-move-element-command";
end
end
d4a6f578d691e888 -.->|verifies| 7ef6cb0e4258e1bc;
7ef6cb0e4258e1bc -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
7d317f5d862a0785["CLI Move File Test"]:::verification
click 7d317f5d862a0785 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-move-file-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
d9c57dd799158af9["CLI Move File Command
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click d9c57dd799158af9 "requirements/Interfaces/CLI/Commands.html#cli-move-file-command";
end
end
7d317f5d862a0785 -.->|verifies| d9c57dd799158af9;
d9c57dd799158af9 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
c5f295328df58029["CLI Remove Element Test"]:::verification
click c5f295328df58029 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-remove-element-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
1f8022dac203e679["CLI Remove Element Command
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#delete-element-workflow-specification"]:::systemRequirement
click 1f8022dac203e679 "requirements/Interfaces/CLI/Commands.html#cli-remove-element-command";
end
end
c5f295328df58029 -.->|verifies| 1f8022dac203e679;
1f8022dac203e679 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
7701c4bcfa966fe6["CLI Rename Element Test"]:::verification
click 7701c4bcfa966fe6 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-rename-element-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
2f51b946a8587225["CLI Rename Element Command
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click 2f51b946a8587225 "requirements/Interfaces/CLI/Commands.html#cli-rename-element-command";
end
end
7701c4bcfa966fe6 -.->|verifies| 2f51b946a8587225;
2f51b946a8587225 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
bf9a2f73b67492b9["Create Element Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"]:::systemRequirement
click bf9a2f73b67492b9 "requirements/Functional/Operations/ElementManipulation.html#create-element-operation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
221f6c008823a4d0["Create Element Override Test"]:::verification
click 221f6c008823a4d0 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#create-element-override-test";
end
end
221f6c008823a4d0 -.->|verifies| bf9a2f73b67492b9;
bf9a2f73b67492b9 -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
bf9a2f73b67492b9 -.->|derivedFrom| 9e793aabc302d0d5;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
9e793aabc302d0d5["Reserved Subsections Support
📎 ReservedSubsections.md"]:::systemRequirement
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
bf9a2f73b67492b9["Create Element Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"]:::systemRequirement
click bf9a2f73b67492b9 "requirements/Functional/Operations/ElementManipulation.html#create-element-operation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
d5bf7d0addaf6d19["Create Element Test"]:::verification
click d5bf7d0addaf6d19 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#create-element-test";
end
end
d5bf7d0addaf6d19 -.->|verifies| bf9a2f73b67492b9;
bf9a2f73b67492b9 -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
bf9a2f73b67492b9 -.->|derivedFrom| 9e793aabc302d0d5;
9e793aabc302d0d5 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
591265fa14ecd72d["Delete Element Operation"]:::systemRequirement
click 591265fa14ecd72d "requirements/Functional/Operations/ElementManipulation.html#delete-element-operation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
bfd28e1e74918526["Delete Element Test"]:::verification
click bfd28e1e74918526 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#delete-element-test";
end
end
bfd28e1e74918526 -.->|verifies| 591265fa14ecd72d;
591265fa14ecd72d -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
cab861a199d11c3c["Element Manipulation File Persistence
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"]:::systemRequirement
click cab861a199d11c3c "requirements/Functional/Operations/ElementManipulation.html#element-manipulation-file-persistence";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
362774efb36e2279["File Persistence Test"]:::verification
click 362774efb36e2279 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#file-persistence-test";
end
end
362774efb36e2279 -.->|verifies| cab861a199d11c3c;
cab861a199d11c3c -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
410dbe84dc2c3481["Link Command Cross-Section Detection Test"]:::verification
click 410dbe84dc2c3481 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#link-command-cross-section-detection-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
c04221154b7fc90d["Relation Commands
📎 requirements/Functional/Operations/Specifications.md#relation-operations-specification
📎 RelationTypes.md
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::systemRequirement
click c04221154b7fc90d "requirements/Interfaces/CLI/Commands.html#relation-commands";
end
end
410dbe84dc2c3481 -.->|verifies| c04221154b7fc90d;
c04221154b7fc90d -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 10 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
ac192cac778569d0["Relation Management Operations"]:::systemRequirement
click ac192cac778569d0 "requirements/Functional/Core/ModelManagement.html#relation-management-operations";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
ea3a2bf2fbe74057["Link Command Verification"]:::verification
click ea3a2bf2fbe74057 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#link-command-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
c04221154b7fc90d["Relation Commands
📎 requirements/Functional/Operations/Specifications.md#relation-operations-specification
📎 RelationTypes.md
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::systemRequirement
click c04221154b7fc90d "requirements/Interfaces/CLI/Commands.html#relation-commands";
end
end
ea3a2bf2fbe74057 -.->|verifies| ac192cac778569d0;
ea3a2bf2fbe74057 -.->|verifies| c04221154b7fc90d;
ac192cac778569d0 -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
c04221154b7fc90d -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
451abcac00b45de4["Merge Element Operation"]:::systemRequirement
click 451abcac00b45de4 "requirements/Functional/Operations/ElementManipulation.html#merge-element-operation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
c7b35d6963f1017["Merge Elements Test"]:::verification
click c7b35d6963f1017 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#merge-elements-test";
end
end
c7b35d6963f1017 -.->|verifies| 451abcac00b45de4;
451abcac00b45de4 -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
c68daf5bfafc5a05["Move Element Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"]:::systemRequirement
click c68daf5bfafc5a05 "requirements/Functional/Operations/ElementManipulation.html#move-element-operation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
9ae2cd53e62b6a33["Move Element Test"]:::verification
click 9ae2cd53e62b6a33 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#move-element-test";
end
end
9ae2cd53e62b6a33 -.->|verifies| c68daf5bfafc5a05;
c68daf5bfafc5a05 -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
b9c9829782477a6c["Move File Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint"]:::systemRequirement
click b9c9829782477a6c "requirements/Functional/Operations/ElementManipulation.html#move-file-operation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
af599fec38b8c0bf["Move File Squash Test"]:::verification
click af599fec38b8c0bf "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#move-file-squash-test";
end
end
af599fec38b8c0bf -.->|verifies| b9c9829782477a6c;
b9c9829782477a6c -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
f006550e707e055f["Relation Consistency Maintenance"]:::systemRequirement
click f006550e707e055f "requirements/Functional/Operations/ElementManipulation.html#relation-consistency-maintenance";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
81422a9a6525acd7["Relation Consistency Test"]:::verification
click 81422a9a6525acd7 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#relation-consistency-test";
end
end
81422a9a6525acd7 -.->|verifies| f006550e707e055f;
f006550e707e055f -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 8 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"]:::userRequirement
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
66f4b835345ddf91["Ignore Files Integration"]:::systemRequirement
click 66f4b835345ddf91 "requirements/Functional/Core/Configuration.html#ignore-files-integration";
a1795409a371f481["Ignoring Unstructured Documents"]:::systemRequirement
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
end
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
43eafdd22a501023["Git Repository as Project Root
📎 requirements/Refinements.md#containment-specification"]:::userRequirement
click 43eafdd22a501023 "requirements/Functional/Core/ModelManagement.html#git-repository-as-project-root";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
9cdb6297e49a3802["Target Location Validation and Auto-Creation
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification"]:::systemRequirement
click 9cdb6297e49a3802 "requirements/Functional/Operations/ElementManipulation.html#target-location-validation-and-auto-creation";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
c0a8cdea5e5972df["Target Location Validation Test"]:::verification
click c0a8cdea5e5972df "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#target-location-validation-test";
end
end
c0a8cdea5e5972df -.->|verifies| 9cdb6297e49a3802;
9cdb6297e49a3802 -.->|derivedFrom| 66f4b835345ddf91;
66f4b835345ddf91 -.->|derivedFrom| a1795409a371f481;
a1795409a371f481 -.->|derivedFrom| f02dac6e75313544;
f02dac6e75313544 -.->|derivedFrom| 5962c1ae315af2be;
9cdb6297e49a3802 -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
9cdb6297e49a3802 -.->|derivedFrom| 43eafdd22a501023;
43eafdd22a501023 -.->|derivedFrom| 5962c1ae315af2be;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 10 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
ac192cac778569d0["Relation Management Operations"]:::systemRequirement
click ac192cac778569d0 "requirements/Functional/Core/ModelManagement.html#relation-management-operations";
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
9f8ff23aca853fa0["Unlink Command Verification"]:::verification
click 9f8ff23aca853fa0 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#unlink-command-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
c04221154b7fc90d["Relation Commands
📎 requirements/Functional/Operations/Specifications.md#relation-operations-specification
📎 RelationTypes.md
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::systemRequirement
click c04221154b7fc90d "requirements/Interfaces/CLI/Commands.html#relation-commands";
end
end
9f8ff23aca853fa0 -.->|verifies| ac192cac778569d0;
9f8ff23aca853fa0 -.->|verifies| c04221154b7fc90d;
ac192cac778569d0 -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
c04221154b7fc90d -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 3 requirements
- Total in Tree: 11 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
62c6fc22d922c798["Formatting Model Documents"]:::userRequirement
click 62c6fc22d922c798 "requirements/UserStories.html#formatting-model-documents";
63cff97aeb9a82df["Operating on Model Elements"]:::userRequirement
click 63cff97aeb9a82df "requirements/UserStories.html#operating-on-model-elements";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d7718b70035d8d84["Element Manipulation Operations
📎 requirements/Functional/Operations/Behaviors.md#file-persistence-behavior
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::userRequirement
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
cab861a199d11c3c["Element Manipulation File Persistence
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"]:::systemRequirement
click cab861a199d11c3c "requirements/Functional/Operations/ElementManipulation.html#element-manipulation-file-persistence";
end
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
6a890183d80718cc["Element Ordering Normalization
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"]:::systemRequirement
click 6a890183d80718cc "requirements/Functional/Operations/Formatting.html#element-ordering-normalization";
358f8e948bf99775["Format Consistency Enforcement"]:::systemRequirement
click 358f8e948bf99775 "requirements/Functional/Operations/Formatting.html#format-consistency-enforcement";
a39347281679d203["Model Formatting"]:::userRequirement
click a39347281679d203 "requirements/Functional/Operations/Formatting.html#model-formatting";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
c89bd750e0ad5b9d["Element Ordering Verification"]:::verification
click c89bd750e0ad5b9d "requirements/Functional/Operations/Verifications/FormattingVerifications.html#element-ordering-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
8d334537008d94ba["Format Command
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click 8d334537008d94ba "requirements/Interfaces/CLI/Commands.html#format-command";
end
end
c89bd750e0ad5b9d -.->|verifies| cab861a199d11c3c;
c89bd750e0ad5b9d -.->|verifies| 6a890183d80718cc;
c89bd750e0ad5b9d -.->|verifies| 8d334537008d94ba;
cab861a199d11c3c -.->|derivedFrom| d7718b70035d8d84;
d7718b70035d8d84 -.->|derivedFrom| 63cff97aeb9a82df;
6a890183d80718cc -.->|derivedFrom| 358f8e948bf99775;
358f8e948bf99775 -.->|derivedFrom| a39347281679d203;
a39347281679d203 -.->|derivedFrom| 62c6fc22d922c798;
8d334537008d94ba -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 6 requirements
- Total in Tree: 13 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
62c6fc22d922c798["Formatting Model Documents"]:::userRequirement
click 62c6fc22d922c798 "requirements/UserStories.html#formatting-model-documents";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
5b7b8187ae0d5398["Document Structure Normalization"]:::systemRequirement
click 5b7b8187ae0d5398 "requirements/Functional/Operations/Formatting.html#document-structure-normalization";
358f8e948bf99775["Format Consistency Enforcement"]:::systemRequirement
click 358f8e948bf99775 "requirements/Functional/Operations/Formatting.html#format-consistency-enforcement";
c1a2476e356893a8["Formatting Output"]:::systemRequirement
click c1a2476e356893a8 "requirements/Functional/Operations/Formatting.html#formatting-output";
d4eb33161647a801["Git-Style Diff Output for Format"]:::userRequirement
click d4eb33161647a801 "requirements/Functional/Operations/Formatting.html#git-style-diff-output-for-format";
a39347281679d203["Model Formatting"]:::userRequirement
click a39347281679d203 "requirements/Functional/Operations/Formatting.html#model-formatting";
1e0f7595bc684d1["Replace Absolute Links with Relative Links"]:::systemRequirement
click 1e0f7595bc684d1 "requirements/Functional/Operations/Formatting.html#replace-absolute-links-with-relative-links";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
ccbfdf0d74ac48bf["Format Command Requirements Verification"]:::verification
click ccbfdf0d74ac48bf "requirements/Functional/Operations/Verifications/FormattingVerifications.html#format-command-requirements-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
8d334537008d94ba["Format Command
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click 8d334537008d94ba "requirements/Interfaces/CLI/Commands.html#format-command";
end
end
ccbfdf0d74ac48bf -.->|verifies| 625bdde09d955477;
ccbfdf0d74ac48bf -.->|verifies| 5b7b8187ae0d5398;
ccbfdf0d74ac48bf -.->|verifies| 358f8e948bf99775;
ccbfdf0d74ac48bf -.->|verifies| d4eb33161647a801;
ccbfdf0d74ac48bf -.->|verifies| 1e0f7595bc684d1;
ccbfdf0d74ac48bf -.->|verifies| 8d334537008d94ba;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
5b7b8187ae0d5398 -.->|derivedFrom| 358f8e948bf99775;
358f8e948bf99775 -.->|derivedFrom| a39347281679d203;
a39347281679d203 -.->|derivedFrom| 62c6fc22d922c798;
d4eb33161647a801 -.->|derivedFrom| c1a2476e356893a8;
c1a2476e356893a8 -.->|derivedFrom| a39347281679d203;
1e0f7595bc684d1 -.->|derivedFrom| a39347281679d203;
8d334537008d94ba -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
62c6fc22d922c798["Formatting Model Documents"]:::userRequirement
click 62c6fc22d922c798 "requirements/UserStories.html#formatting-model-documents";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
358f8e948bf99775["Format Consistency Enforcement"]:::systemRequirement
click 358f8e948bf99775 "requirements/Functional/Operations/Formatting.html#format-consistency-enforcement";
4f647826dc3d196c["Format Duplicate Removal"]:::systemRequirement
click 4f647826dc3d196c "requirements/Functional/Operations/Formatting.html#format-duplicate-removal";
a39347281679d203["Model Formatting"]:::userRequirement
click a39347281679d203 "requirements/Functional/Operations/Formatting.html#model-formatting";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
29d28d35a64a722d["Format Duplicate Removal Test"]:::verification
click 29d28d35a64a722d "requirements/Functional/Operations/Verifications/FormattingVerifications.html#format-duplicate-removal-test";
end
end
29d28d35a64a722d -.->|verifies| 4f647826dc3d196c;
4f647826dc3d196c -.->|derivedFrom| 358f8e948bf99775;
358f8e948bf99775 -.->|derivedFrom| a39347281679d203;
a39347281679d203 -.->|derivedFrom| 62c6fc22d922c798;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 7 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
62c6fc22d922c798["Formatting Model Documents"]:::userRequirement
click 62c6fc22d922c798 "requirements/UserStories.html#formatting-model-documents";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
9bbe93242c4454b["Full Relations Insertion
📎 RelationTypes.md"]:::systemRequirement
click 9bbe93242c4454b "requirements/Functional/Operations/Formatting.html#full-relations-insertion";
a39347281679d203["Model Formatting"]:::userRequirement
click a39347281679d203 "requirements/Functional/Operations/Formatting.html#model-formatting";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
5df244b54d1b239c["Full Relations Insertion Verification"]:::verification
click 5df244b54d1b239c "requirements/Functional/Operations/Verifications/FormattingVerifications.html#full-relations-insertion-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
8d334537008d94ba["Format Command
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click 8d334537008d94ba "requirements/Interfaces/CLI/Commands.html#format-command";
end
end
5df244b54d1b239c -.->|verifies| 9bbe93242c4454b;
5df244b54d1b239c -.->|verifies| 8d334537008d94ba;
9bbe93242c4454b -.->|derivedFrom| a39347281679d203;
a39347281679d203 -.->|derivedFrom| 62c6fc22d922c798;
8d334537008d94ba -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
62c6fc22d922c798["Formatting Model Documents"]:::userRequirement
click 62c6fc22d922c798 "requirements/UserStories.html#formatting-model-documents";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
358f8e948bf99775["Format Consistency Enforcement"]:::systemRequirement
click 358f8e948bf99775 "requirements/Functional/Operations/Formatting.html#format-consistency-enforcement";
a39347281679d203["Model Formatting"]:::userRequirement
click a39347281679d203 "requirements/Functional/Operations/Formatting.html#model-formatting";
ed769d861bf7b2cd["Relation Ordering Normalization"]:::systemRequirement
click ed769d861bf7b2cd "requirements/Functional/Operations/Formatting.html#relation-ordering-normalization";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
753442551dab9958["Relation Ordering Verification"]:::verification
click 753442551dab9958 "requirements/Functional/Operations/Verifications/FormattingVerifications.html#relation-ordering-verification";
end
end
753442551dab9958 -.->|verifies| ed769d861bf7b2cd;
ed769d861bf7b2cd -.->|derivedFrom| 358f8e948bf99775;
358f8e948bf99775 -.->|derivedFrom| a39347281679d203;
a39347281679d203 -.->|derivedFrom| 62c6fc22d922c798;
File: requirements/Functional/Operations/Verifications/LintingVerifications.html
- Type: test-verification
- Directly Verified: 5 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
72aa2e113883d4a9["Linting Model Quality"]:::userRequirement
click 72aa2e113883d4a9 "requirements/UserStories.html#linting-model-quality";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph 61ca07ef5d124066["📄 Linting.md"]
176bc8c4eb6608de["Lint Auto-fix Capability
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"]:::systemRequirement
click 176bc8c4eb6608de "requirements/Functional/Operations/Linting.html#lint-auto-fix-capability";
20f690d9cd389f10["Model Linting"]:::userRequirement
click 20f690d9cd389f10 "requirements/Functional/Operations/Linting.html#model-linting";
8ab6eb6e6ddc46cc["Multi-Branch Convergence Detection
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction"]:::systemRequirement
click 8ab6eb6e6ddc46cc "requirements/Functional/Operations/Linting.html#multi-branch-convergence-detection";
5f8fafa1901435c["Redundant Hierarchical Relations Detection and Auto-Removal
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction"]:::systemRequirement
click 5f8fafa1901435c "requirements/Functional/Operations/Linting.html#redundant-hierarchical-relations-detection-and-auto-removal";
500be52cc121e6f2["Redundant Verify Relations Detection
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction"]:::systemRequirement
click 500be52cc121e6f2 "requirements/Functional/Operations/Linting.html#redundant-verify-relations-detection";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 584acc9e5dd3c2cd["📄 LintingVerifications.md"]
a967e55b50b57d2["Lint Command Verification"]:::verification
click a967e55b50b57d2 "requirements/Functional/Operations/Verifications/LintingVerifications.html#lint-command-verification";
end
end
a967e55b50b57d2 -.->|verifies| 176bc8c4eb6608de;
a967e55b50b57d2 -.->|verifies| 20f690d9cd389f10;
a967e55b50b57d2 -.->|verifies| 8ab6eb6e6ddc46cc;
a967e55b50b57d2 -.->|verifies| 5f8fafa1901435c;
a967e55b50b57d2 -.->|verifies| 500be52cc121e6f2;
176bc8c4eb6608de -.->|derivedFrom| 20f690d9cd389f10;
20f690d9cd389f10 -.->|derivedFrom| 72aa2e113883d4a9;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
72aa2e113883d4a9["Linting Model Quality"]:::userRequirement
click 72aa2e113883d4a9 "requirements/UserStories.html#linting-model-quality";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph 61ca07ef5d124066["📄 Linting.md"]
20f690d9cd389f10["Model Linting"]:::userRequirement
click 20f690d9cd389f10 "requirements/Functional/Operations/Linting.html#model-linting";
cc7864983ff441c7["Redundant Hierarchical Attachment Detection"]:::systemRequirement
click cc7864983ff441c7 "requirements/Functional/Operations/Linting.html#redundant-hierarchical-attachment-detection";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 584acc9e5dd3c2cd["📄 LintingVerifications.md"]
d57f3715f551dd1f["Redundant Hierarchical Attachment Test"]:::verification
click d57f3715f551dd1f "requirements/Functional/Operations/Verifications/LintingVerifications.html#redundant-hierarchical-attachment-test";
end
end
d57f3715f551dd1f -.->|verifies| cc7864983ff441c7;
cc7864983ff441c7 -.->|derivedFrom| 20f690d9cd389f10;
20f690d9cd389f10 -.->|derivedFrom| 72aa2e113883d4a9;
File: requirements/Functional/Output/Verifications/DiagramVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
4cedc67efb121d94["Integrate with GitHub Workflows"]:::userRequirement
click 4cedc67efb121d94 "requirements/UserStories.html#integrate-with-github-workflows";
3274d129a1f9939f["Promote Automation and Efficiency"]:::userRequirement
click 3274d129a1f9939f "requirements/UserStories.html#promote-automation-and-efficiency";
end
end
subgraph 295862b78f71931e["📁 requirements/Functional/Integration"]
subgraph ab9daa77a1cb1221["📄 GitHubIntegration.md"]
b37b9282f6da886["Automate Documentation Export"]:::userRequirement
click b37b9282f6da886 "requirements/Functional/Integration/GitHubIntegration.html#automate-documentation-export";
39bccf245057be71["Automate Pull Request Validations"]:::userRequirement
click 39bccf245057be71 "requirements/Functional/Integration/GitHubIntegration.html#automate-pull-request-validations";
80f699a01d9db166["Automated Documentation Export on PR Merge"]:::systemRequirement
click 80f699a01d9db166 "requirements/Functional/Integration/GitHubIntegration.html#automated-documentation-export-on-pr-merge";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
a125312e2a52f1c5["Automated Documentation Export on PR Merge Verification"]:::verification
click a125312e2a52f1c5 "requirements/Functional/Output/Verifications/DiagramVerifications.html#automated-documentation-export-on-pr-merge-verification";
end
end
a125312e2a52f1c5 -.->|verifies| 80f699a01d9db166;
80f699a01d9db166 -.->|derivedFrom| b37b9282f6da886;
b37b9282f6da886 -.->|derivedFrom| 4cedc67efb121d94;
4cedc67efb121d94 -.->|derivedFrom| 3274d129a1f9939f;
80f699a01d9db166 -.->|derivedFrom| 39bccf245057be71;
39bccf245057be71 -.->|derivedFrom| 4cedc67efb121d94;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
afc24affb57aec68["Generate Diagrams"]:::userRequirement
click afc24affb57aec68 "requirements/UserStories.html#generate-diagrams";
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
b1a0db26e90f239f["Diagram Generation
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"]:::systemRequirement
click b1a0db26e90f239f "requirements/Functional/Output/DiagramGeneration.html#diagram-generation";
ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]:::userRequirement
click ee0d244ddc9aac8f "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagrams";
end
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
dc6eabd419d3f364["Diagram Generation Test"]:::verification
click dc6eabd419d3f364 "requirements/Functional/Output/Verifications/DiagramVerifications.html#diagram-generation-test";
end
end
dc6eabd419d3f364 -.->|verifies| b1a0db26e90f239f;
b1a0db26e90f239f -.->|derivedFrom| ee0d244ddc9aac8f;
ee0d244ddc9aac8f -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
ee0d244ddc9aac8f -.->|derivedFrom| afc24affb57aec68;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
afc24affb57aec68["Generate Diagrams"]:::userRequirement
click afc24affb57aec68 "requirements/UserStories.html#generate-diagrams";
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
b1a0db26e90f239f["Diagram Generation
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"]:::systemRequirement
click b1a0db26e90f239f "requirements/Functional/Output/DiagramGeneration.html#diagram-generation";
ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]:::userRequirement
click ee0d244ddc9aac8f "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagrams";
end
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
6e29457ef7c1661a["Diagram Relation Filtering Verification"]:::verification
click 6e29457ef7c1661a "requirements/Functional/Output/Verifications/DiagramVerifications.html#diagram-relation-filtering-verification";
end
end
6e29457ef7c1661a -.->|verifies| b1a0db26e90f239f;
b1a0db26e90f239f -.->|derivedFrom| ee0d244ddc9aac8f;
ee0d244ddc9aac8f -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
ee0d244ddc9aac8f -.->|derivedFrom| afc24affb57aec68;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
afc24affb57aec68["Generate Diagrams"]:::userRequirement
click afc24affb57aec68 "requirements/UserStories.html#generate-diagrams";
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
b1a0db26e90f239f["Diagram Generation
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"]:::systemRequirement
click b1a0db26e90f239f "requirements/Functional/Output/DiagramGeneration.html#diagram-generation";
fba18d76f9130464["File Diagram Attachment Display
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"]:::systemRequirement
click fba18d76f9130464 "requirements/Functional/Output/DiagramGeneration.html#file-diagram-attachment-display";
ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]:::userRequirement
click ee0d244ddc9aac8f "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagrams";
end
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
948d575da460bbd3["File Diagram Attachment Test"]:::verification
click 948d575da460bbd3 "requirements/Functional/Output/Verifications/DiagramVerifications.html#file-diagram-attachment-test";
end
end
948d575da460bbd3 -.->|verifies| fba18d76f9130464;
fba18d76f9130464 -.->|derivedFrom| b1a0db26e90f239f;
b1a0db26e90f239f -.->|derivedFrom| ee0d244ddc9aac8f;
ee0d244ddc9aac8f -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
ee0d244ddc9aac8f -.->|derivedFrom| afc24affb57aec68;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
afc24affb57aec68["Generate Diagrams"]:::userRequirement
click afc24affb57aec68 "requirements/UserStories.html#generate-diagrams";
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
b1a0db26e90f239f["Diagram Generation
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"]:::systemRequirement
click b1a0db26e90f239f "requirements/Functional/Output/DiagramGeneration.html#diagram-generation";
ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]:::userRequirement
click ee0d244ddc9aac8f "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagrams";
end
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
4149573a28941f35["Visualize Model Relationships Verification"]:::verification
click 4149573a28941f35 "requirements/Functional/Output/Verifications/DiagramVerifications.html#visualize-model-relationships-verification";
end
end
4149573a28941f35 -.->|verifies| b1a0db26e90f239f;
b1a0db26e90f239f -.->|derivedFrom| ee0d244ddc9aac8f;
ee0d244ddc9aac8f -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
ee0d244ddc9aac8f -.->|derivedFrom| afc24affb57aec68;
File: requirements/Functional/Output/Verifications/ReportingVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
ccc548a455bf2b45["CLI Collect Command Test"]:::verification
click ccc548a455bf2b45 "requirements/Functional/Output/Verifications/ReportingVerifications.html#cli-collect-command-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
9a2adde3721af9df["CLI Collect Command
📎 requirements/Functional/Output/Specifications.md#collect-content-specification
📎 requirements/Functional/Output/Specifications.md#collect-output-format-specification"]:::systemRequirement
click 9a2adde3721af9df "requirements/Interfaces/CLI/Commands.html#cli-collect-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
ccc548a455bf2b45 -.->|verifies| 9a2adde3721af9df;
9a2adde3721af9df -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
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"]:::userRequirement
click 2a8c9ba9fd932aba "requirements/Functional/Output/Reporting.html#containment-view-report";
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"]:::userRequirement
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
8ce2510b23f2d68e["Containment View Design Documents Test"]:::verification
click 8ce2510b23f2d68e "requirements/Functional/Output/Verifications/ReportingVerifications.html#containment-view-design-documents-test";
end
end
8ce2510b23f2d68e -.->|verifies| 2a8c9ba9fd932aba;
2a8c9ba9fd932aba -.->|derivedFrom| b7ae73612502c3fb;
b7ae73612502c3fb -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
98610608d81a8fde["Forward-Only Relation Traversal
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]:::systemRequirement
click 98610608d81a8fde "requirements/Functional/Output/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"]:::systemRequirement
click f8301585b3d30631 "requirements/Functional/Output/Reporting.html#model-diagram-output-formats";
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"]:::userRequirement
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
f1434402b83d319["Model Command Verification"]:::verification
click f1434402b83d319 "requirements/Functional/Output/Verifications/ReportingVerifications.html#model-command-verification";
end
end
f1434402b83d319 -.->|verifies| 98610608d81a8fde;
f1434402b83d319 -.->|verifies| f8301585b3d30631;
98610608d81a8fde -.->|derivedFrom| f8301585b3d30631;
f8301585b3d30631 -.->|derivedFrom| b7ae73612502c3fb;
b7ae73612502c3fb -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
eeeef3e5049982b8["Comma-Separated Type Filter Parsing"]:::systemRequirement
click eeeef3e5049982b8 "requirements/Functional/Output/Reporting.html#comma-separated-type-filter-parsing";
5aa1c66a1962bbcf["Flexible Search Type Filtering"]:::userRequirement
click 5aa1c66a1962bbcf "requirements/Functional/Output/Reporting.html#flexible-search-type-filtering";
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"]:::userRequirement
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
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"]:::systemRequirement
click f484430652f48bac "requirements/Functional/Output/Reporting.html#search-report-generator";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
334b4046f4e15671["Multi-Type Search Filter Test"]:::verification
click 334b4046f4e15671 "requirements/Functional/Output/Verifications/ReportingVerifications.html#multi-type-search-filter-test";
end
end
334b4046f4e15671 -.->|verifies| eeeef3e5049982b8;
eeeef3e5049982b8 -.->|derivedFrom| 5aa1c66a1962bbcf;
5aa1c66a1962bbcf -.->|derivedFrom| f484430652f48bac;
f484430652f48bac -.->|derivedFrom| b7ae73612502c3fb;
b7ae73612502c3fb -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 7 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
a0f7724a2ceac1ec["Resources Report"]:::userRequirement
click a0f7724a2ceac1ec "requirements/Functional/Output/Reporting.html#resources-report";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
3c9f85ce80e7b0c["Resources Report Verification"]:::verification
click 3c9f85ce80e7b0c "requirements/Functional/Output/Verifications/ReportingVerifications.html#resources-report-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
ee7ad64abb668237["CLI Resources Command
📎 requirements/Functional/Output/Specifications.md#text-output-formatting"]:::systemRequirement
click ee7ad64abb668237 "requirements/Interfaces/CLI/Commands.html#cli-resources-command";
end
end
3c9f85ce80e7b0c -.->|verifies| a0f7724a2ceac1ec;
3c9f85ce80e7b0c -.->|verifies| ee7ad64abb668237;
a0f7724a2ceac1ec -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
ee7ad64abb668237 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
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"]:::systemRequirement
click f8301585b3d30631 "requirements/Functional/Output/Reporting.html#model-diagram-output-formats";
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"]:::userRequirement
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
6a3c5a7153a49a89["Reverse Relation Traversal
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"]:::systemRequirement
click 6a3c5a7153a49a89 "requirements/Functional/Output/Reporting.html#reverse-relation-traversal";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
6535b833e5ffb628["Reverse Model Traversal Test"]:::verification
click 6535b833e5ffb628 "requirements/Functional/Output/Verifications/ReportingVerifications.html#reverse-model-traversal-test";
end
end
6535b833e5ffb628 -.->|verifies| 6a3c5a7153a49a89;
6a3c5a7153a49a89 -.->|derivedFrom| f8301585b3d30631;
f8301585b3d30631 -.->|derivedFrom| b7ae73612502c3fb;
b7ae73612502c3fb -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 8 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"]:::userRequirement
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
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"]:::systemRequirement
click f484430652f48bac "requirements/Functional/Output/Reporting.html#search-report-generator";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
246afbd94e01647b["Search Command Tests"]:::verification
click 246afbd94e01647b "requirements/Functional/Output/Verifications/ReportingVerifications.html#search-command-tests";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
d2fc543d82f61bbb["CLI Search Command
📎 requirements/Refinements.md#supported-element-types-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Behaviors.md#short-mode-behavior
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click d2fc543d82f61bbb "requirements/Interfaces/CLI/Commands.html#cli-search-command";
end
end
246afbd94e01647b -.->|verifies| f484430652f48bac;
246afbd94e01647b -.->|verifies| d2fc543d82f61bbb;
f484430652f48bac -.->|derivedFrom| b7ae73612502c3fb;
b7ae73612502c3fb -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
d2fc543d82f61bbb -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
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"]:::systemRequirement
click f8301585b3d30631 "requirements/Functional/Output/Reporting.html#model-diagram-output-formats";
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"]:::userRequirement
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
f941bbbbf5db2d8c["Start Element Type Filtering"]:::systemRequirement
click f941bbbbf5db2d8c "requirements/Functional/Output/Reporting.html#start-element-type-filtering";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
8f4c9f9feba8e8f1["Start Type Filter Test"]:::verification
click 8f4c9f9feba8e8f1 "requirements/Functional/Output/Verifications/ReportingVerifications.html#start-type-filter-test";
end
end
8f4c9f9feba8e8f1 -.->|verifies| f941bbbbf5db2d8c;
f941bbbbf5db2d8c -.->|derivedFrom| f8301585b3d30631;
f8301585b3d30631 -.->|derivedFrom| b7ae73612502c3fb;
b7ae73612502c3fb -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"]:::userRequirement
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
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"]:::systemRequirement
click c52fdde1821f5cf2 "requirements/Functional/Output/Reporting.html#traceflow-view-report-generation";
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"]:::userRequirement
click befd27abaf2aae8b "requirements/Functional/Output/Reporting.html#verification-coverage-report";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
17252f3552f2567a["TraceFlow View Test"]:::verification
click 17252f3552f2567a "requirements/Functional/Output/Verifications/ReportingVerifications.html#traceflow-view-test";
end
end
17252f3552f2567a -.->|verifies| c52fdde1821f5cf2;
c52fdde1821f5cf2 -.->|derivedFrom| befd27abaf2aae8b;
befd27abaf2aae8b -.->|derivedFrom| 40dc720d7c510af0;
40dc720d7c510af0 -.->|derivedFrom| b52103e4a7ac2f83;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
75ff73f91ee1b985["Verification Coverage Report Test"]:::verification
click 75ff73f91ee1b985 "requirements/Functional/Output/Verifications/ReportingVerifications.html#verification-coverage-report-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
43efd1fafe961f2e["CLI Coverage Command
📎 requirements/Functional/Core/Specifications.md#verification-type-selection-guidelines
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting"]:::systemRequirement
click 43efd1fafe961f2e "requirements/Interfaces/CLI/Commands.html#cli-coverage-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
75ff73f91ee1b985 -.->|verifies| 43efd1fafe961f2e;
43efd1fafe961f2e -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
e13ea8567a46f8fd["Verification Traces Filter Options Test"]:::verification
click e13ea8567a46f8fd "requirements/Functional/Output/Verifications/ReportingVerifications.html#verification-traces-filter-options-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
9578836eb8e0fc6["CLI Traces Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click 9578836eb8e0fc6 "requirements/Interfaces/CLI/Commands.html#cli-traces-command";
end
end
e13ea8567a46f8fd -.->|verifies| 9578836eb8e0fc6;
9578836eb8e0fc6 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
fb056d10eb059222["Verification Traces From-Folder Test"]:::verification
click fb056d10eb059222 "requirements/Functional/Output/Verifications/ReportingVerifications.html#verification-traces-from-folder-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
9578836eb8e0fc6["CLI Traces Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click 9578836eb8e0fc6 "requirements/Interfaces/CLI/Commands.html#cli-traces-command";
end
end
fb056d10eb059222 -.->|verifies| 9578836eb8e0fc6;
9578836eb8e0fc6 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
File: requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
b4cebcb9f2649a4f["Change Impact Analysis Verification"]:::verification
click b4cebcb9f2649a4f "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-analysis-verification";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
68e30181f97f6f71["CLI Change Impact Report Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Processing/Behaviors.md#change-propagation-behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"]:::systemRequirement
click 68e30181f97f6f71 "requirements/Interfaces/CLI/Commands.html#cli-change-impact-report-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
b4cebcb9f2649a4f -.->|verifies| 68e30181f97f6f71;
68e30181f97f6f71 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 11 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
83e059965299c4d9["Trace Changes in System Model"]:::userRequirement
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 9acde25d23600635 "requirements/Functional/Output/Reporting.html#tracing-structural-changes";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 743a852fd07358e8["📄 ChangeImpact.md"]
a27cb4ff2637ed4a["Change Impact Detection"]:::systemRequirement
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
1868da177a2e8ffd["Requirements Change Propagation
📎 ChangePropagation.md"]:::systemRequirement
click 1868da177a2e8ffd "requirements/Functional/Processing/ChangeImpact.html#requirements-change-propagation";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
dc9eb3da0c5e0ed0["Change Impact Detection Test"]:::verification
click dc9eb3da0c5e0ed0 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-detection-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
68e30181f97f6f71["CLI Change Impact Report Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Processing/Behaviors.md#change-propagation-behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"]:::systemRequirement
click 68e30181f97f6f71 "requirements/Interfaces/CLI/Commands.html#cli-change-impact-report-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
dc9eb3da0c5e0ed0 -.->|verifies| 1868da177a2e8ffd;
dc9eb3da0c5e0ed0 -.->|verifies| 68e30181f97f6f71;
1868da177a2e8ffd -.->|derivedFrom| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
a27cb4ff2637ed4a -.->|derivedFrom| 9acde25d23600635;
9acde25d23600635 -.->|derivedFrom| 83e059965299c4d9;
68e30181f97f6f71 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 11 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
83e059965299c4d9["Trace Changes in System Model"]:::userRequirement
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 9acde25d23600635 "requirements/Functional/Output/Reporting.html#tracing-structural-changes";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 743a852fd07358e8["📄 ChangeImpact.md"]
a27cb4ff2637ed4a["Change Impact Detection"]:::systemRequirement
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
1868da177a2e8ffd["Requirements Change Propagation
📎 ChangePropagation.md"]:::systemRequirement
click 1868da177a2e8ffd "requirements/Functional/Processing/ChangeImpact.html#requirements-change-propagation";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
b5f861c2be8eddab["Change Impact Relations Test"]:::verification
click b5f861c2be8eddab "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-relations-test";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
68e30181f97f6f71["CLI Change Impact Report Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Processing/Behaviors.md#change-propagation-behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"]:::systemRequirement
click 68e30181f97f6f71 "requirements/Interfaces/CLI/Commands.html#cli-change-impact-report-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
b5f861c2be8eddab -.->|verifies| 1868da177a2e8ffd;
b5f861c2be8eddab -.->|verifies| 68e30181f97f6f71;
1868da177a2e8ffd -.->|derivedFrom| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
a27cb4ff2637ed4a -.->|derivedFrom| 9acde25d23600635;
9acde25d23600635 -.->|derivedFrom| 83e059965299c4d9;
68e30181f97f6f71 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 7 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
83e059965299c4d9["Trace Changes in System Model"]:::userRequirement
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 9acde25d23600635 "requirements/Functional/Output/Reporting.html#tracing-structural-changes";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 743a852fd07358e8["📄 ChangeImpact.md"]
a27cb4ff2637ed4a["Change Impact Detection"]:::systemRequirement
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
1868da177a2e8ffd["Requirements Change Propagation
📎 ChangePropagation.md"]:::systemRequirement
click 1868da177a2e8ffd "requirements/Functional/Processing/ChangeImpact.html#requirements-change-propagation";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
1b778e17c237657e["Change Impact Smart Filtering Test"]:::verification
click 1b778e17c237657e "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-smart-filtering-test";
end
end
1b778e17c237657e -.->|verifies| 1868da177a2e8ffd;
1868da177a2e8ffd -.->|derivedFrom| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
a27cb4ff2637ed4a -.->|derivedFrom| 9acde25d23600635;
9acde25d23600635 -.->|derivedFrom| 83e059965299c4d9;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 10 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
83e059965299c4d9["Trace Changes in System Model"]:::userRequirement
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"]:::userRequirement
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
a1795409a371f481["Ignoring Unstructured Documents"]:::systemRequirement
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
f225228c6f9046e1["Requirements Processing"]:::systemRequirement
click f225228c6f9046e1 "requirements/Functional/Core/Configuration.html#requirements-processing";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 9acde25d23600635 "requirements/Functional/Output/Reporting.html#tracing-structural-changes";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 743a852fd07358e8["📄 ChangeImpact.md"]
a27cb4ff2637ed4a["Change Impact Detection"]:::systemRequirement
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
1868da177a2e8ffd["Requirements Change Propagation
📎 ChangePropagation.md"]:::systemRequirement
click 1868da177a2e8ffd "requirements/Functional/Processing/ChangeImpact.html#requirements-change-propagation";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
d7a45cebd272c16["Element Content Extraction Test"]:::verification
click d7a45cebd272c16 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#element-content-extraction-test";
end
end
d7a45cebd272c16 -.->|verifies| f225228c6f9046e1;
d7a45cebd272c16 -.->|verifies| 1868da177a2e8ffd;
f225228c6f9046e1 -.->|derivedFrom| a1795409a371f481;
a1795409a371f481 -.->|derivedFrom| f02dac6e75313544;
f02dac6e75313544 -.->|derivedFrom| 5962c1ae315af2be;
1868da177a2e8ffd -.->|derivedFrom| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
a27cb4ff2637ed4a -.->|derivedFrom| 9acde25d23600635;
9acde25d23600635 -.->|derivedFrom| 83e059965299c4d9;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 2 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
83e059965299c4d9["Trace Changes in System Model"]:::userRequirement
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
9acde25d23600635["Tracing Structural Changes
📎 requirements/Refinements.md#traceability-reporting-specification"]:::userRequirement
click 9acde25d23600635 "requirements/Functional/Output/Reporting.html#tracing-structural-changes";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
129e024331e2ae9e["Structural Change Reports Verification"]:::verification
click 129e024331e2ae9e "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#structural-change-reports-verification";
end
end
129e024331e2ae9e -.->|verifies| 9acde25d23600635;
9acde25d23600635 -.->|derivedFrom| 83e059965299c4d9;
File: requirements/Functional/Processing/Verifications/TraceVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 6 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"]:::userRequirement
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
15293612289d990c["Relation Types and behaviors
📎 RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"]:::systemRequirement
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 ElementIdentity.md"]:::systemRequirement
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 IdentifiersAndRelations.md"]:::systemRequirement
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 MarkdownStructure.md"]:::systemRequirement
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
6a54472e974b0c63["Trace Relation Non-Directional Behavior"]:::systemRequirement
click 6a54472e974b0c63 "requirements/Functional/Output/DiagramGeneration.html#trace-relation-non-directional-behavior";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph 9b8736a314ab6d6f["📄 TraceVerifications.md"]
881f005c754cdc5b["Trace Relations No Cycles Verification"]:::verification
click 881f005c754cdc5b "requirements/Functional/Processing/Verifications/TraceVerifications.html#trace-relations-no-cycles-verification";
end
end
881f005c754cdc5b -.->|verifies| 6a54472e974b0c63;
6a54472e974b0c63 -.->|derivedFrom| 15293612289d990c;
15293612289d990c -.->|derivedFrom| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -.->|derivedFrom| 136749f37a361991;
136749f37a361991 -.->|derivedFrom| 625bdde09d955477;
625bdde09d955477 -.->|derivedFrom| 5962c1ae315af2be;
File: requirements/Interfaces/CLI/Verifications/CLIVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
68e30181f97f6f71["CLI Change Impact Report Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Processing/Behaviors.md#change-propagation-behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"]:::systemRequirement
click 68e30181f97f6f71 "requirements/Interfaces/CLI/Commands.html#cli-change-impact-report-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
end
end
subgraph e258363212a98952["📁 requirements/Interfaces/CLI/Verifications"]
subgraph 81d836bf8ae49ad4["📄 CLIVerifications.md"]
349d095f92fc1135["CLI Git Commit Hash Flag Test"]:::verification
click 349d095f92fc1135 "requirements/Interfaces/CLI/Verifications/CLIVerifications.html#cli-git-commit-hash-flag-test";
end
end
349d095f92fc1135 -.->|verifies| 68e30181f97f6f71;
68e30181f97f6f71 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 7 requirements
- Total in Tree: 11 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
68e30181f97f6f71["CLI Change Impact Report Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Processing/Behaviors.md#change-propagation-behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"]:::systemRequirement
click 68e30181f97f6f71 "requirements/Interfaces/CLI/Commands.html#cli-change-impact-report-command";
43efd1fafe961f2e["CLI Coverage Command
📎 requirements/Functional/Core/Specifications.md#verification-type-selection-guidelines
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting"]:::systemRequirement
click 43efd1fafe961f2e "requirements/Interfaces/CLI/Commands.html#cli-coverage-command";
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
d2fc543d82f61bbb["CLI Search Command
📎 requirements/Refinements.md#supported-element-types-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Behaviors.md#short-mode-behavior
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click d2fc543d82f61bbb "requirements/Interfaces/CLI/Commands.html#cli-search-command";
9578836eb8e0fc6["CLI Traces Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click 9578836eb8e0fc6 "requirements/Interfaces/CLI/Commands.html#cli-traces-command";
8d334537008d94ba["Format Command
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure"]:::systemRequirement
click 8d334537008d94ba "requirements/Interfaces/CLI/Commands.html#format-command";
a8750da2c3580220["Validate Command
📎 requirements/Functional/Core/Behaviors.md#two-pass-validation-behavior
📎 requirements/Functional/Core/Behaviors.md#validation-error-reporting-behavior
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#error-message-format-specification"]:::systemRequirement
click a8750da2c3580220 "requirements/Interfaces/CLI/Commands.html#validate-command";
end
end
subgraph e258363212a98952["📁 requirements/Interfaces/CLI/Verifications"]
subgraph 81d836bf8ae49ad4["📄 CLIVerifications.md"]
bd0b4833b30da28["CLI Help Structure Verification"]:::verification
click bd0b4833b30da28 "requirements/Interfaces/CLI/Verifications/CLIVerifications.html#cli-help-structure-verification";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"]:::systemRequirement
click 343e7b2d42df05e8 "requirements/Interfaces/WebInterface/Features.html#html-export";
end
end
bd0b4833b30da28 -.->|verifies| 68e30181f97f6f71;
bd0b4833b30da28 -.->|verifies| 43efd1fafe961f2e;
bd0b4833b30da28 -.->|verifies| d2fc543d82f61bbb;
bd0b4833b30da28 -.->|verifies| 9578836eb8e0fc6;
bd0b4833b30da28 -.->|verifies| 8d334537008d94ba;
bd0b4833b30da28 -.->|verifies| a8750da2c3580220;
bd0b4833b30da28 -.->|verifies| 343e7b2d42df05e8;
68e30181f97f6f71 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
43efd1fafe961f2e -.->|derivedFrom| d6147550e948449e;
d2fc543d82f61bbb -.->|derivedFrom| d6147550e948449e;
9578836eb8e0fc6 -.->|derivedFrom| d6147550e948449e;
8d334537008d94ba -.->|derivedFrom| d6147550e948449e;
a8750da2c3580220 -.->|derivedFrom| d6147550e948449e;
343e7b2d42df05e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"]:::userRequirement
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"]:::systemRequirement
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
9578836eb8e0fc6["CLI Traces Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"]:::systemRequirement
click 9578836eb8e0fc6 "requirements/Interfaces/CLI/Commands.html#cli-traces-command";
43f4a4bb333138eb["Verification Traces Element Navigation"]:::systemRequirement
click 43f4a4bb333138eb "requirements/Interfaces/CLI/Commands.html#verification-traces-element-navigation";
end
end
subgraph e258363212a98952["📁 requirements/Interfaces/CLI/Verifications"]
subgraph 81d836bf8ae49ad4["📄 CLIVerifications.md"]
e2664857a303b33e["Verification Traces Element Navigation Test"]:::verification
click e2664857a303b33e "requirements/Interfaces/CLI/Verifications/CLIVerifications.html#verification-traces-element-navigation-test";
end
end
e2664857a303b33e -.->|verifies| 43f4a4bb333138eb;
43f4a4bb333138eb -.->|derivedFrom| 9578836eb8e0fc6;
9578836eb8e0fc6 -.->|derivedFrom| d6147550e948449e;
d6147550e948449e -.->|derivedFrom| 90bec7578aacbe9d;
90bec7578aacbe9d -.->|derivedFrom| c0d2b45b8534b0ce;
File: requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html
- Type: analysis-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
fa0ecb1299582ab["Component-Based HTML Architecture"]:::systemRequirement
click fa0ecb1299582ab "requirements/Interfaces/WebInterface/HTMLGeneration.html#component-based-html-architecture";
bb0ee0a283e500e8["Mobile-Friendly Documentation"]:::userRequirement
click bb0ee0a283e500e8 "requirements/Interfaces/WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 1002260922c26344["📄 HTMLGenerationVerifications.md"]
cd4d13fa425c5ad["Component Reuse Verification"]:::verification
click cd4d13fa425c5ad "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#component-reuse-verification";
end
end
cd4d13fa425c5ad -.->|verifies| fa0ecb1299582ab;
fa0ecb1299582ab -.->|derivedFrom| bb0ee0a283e500e8;
bb0ee0a283e500e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
bb0ee0a283e500e8["Mobile-Friendly Documentation"]:::userRequirement
click bb0ee0a283e500e8 "requirements/Interfaces/WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
f5edec5aaf14290d["Type-Safe HTML Generation"]:::systemRequirement
click f5edec5aaf14290d "requirements/Interfaces/WebInterface/HTMLGeneration.html#type-safe-html-generation";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 1002260922c26344["📄 HTMLGenerationVerifications.md"]
73786e8c37d9673f["HTML Validity Verification"]:::verification
click 73786e8c37d9673f "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#html-validity-verification";
end
end
73786e8c37d9673f -.->|verifies| f5edec5aaf14290d;
f5edec5aaf14290d -.->|derivedFrom| bb0ee0a283e500e8;
bb0ee0a283e500e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
fa0ecb1299582ab["Component-Based HTML Architecture"]:::systemRequirement
click fa0ecb1299582ab "requirements/Interfaces/WebInterface/HTMLGeneration.html#component-based-html-architecture";
bb0ee0a283e500e8["Mobile-Friendly Documentation"]:::userRequirement
click bb0ee0a283e500e8 "requirements/Interfaces/WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
4e47e768f2a254cb["Responsive HTML Generation"]:::systemRequirement
click 4e47e768f2a254cb "requirements/Interfaces/WebInterface/HTMLGeneration.html#responsive-html-generation";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 1002260922c26344["📄 HTMLGenerationVerifications.md"]
79ec057500b741e["Integration Test Verification"]:::verification
click 79ec057500b741e "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#integration-test-verification";
end
end
79ec057500b741e -.->|verifies| fa0ecb1299582ab;
79ec057500b741e -.->|verifies| 4e47e768f2a254cb;
fa0ecb1299582ab -.->|derivedFrom| bb0ee0a283e500e8;
bb0ee0a283e500e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
4e47e768f2a254cb -.->|derivedFrom| bb0ee0a283e500e8;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
bb0ee0a283e500e8["Mobile-Friendly Documentation"]:::userRequirement
click bb0ee0a283e500e8 "requirements/Interfaces/WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
4e47e768f2a254cb["Responsive HTML Generation"]:::systemRequirement
click 4e47e768f2a254cb "requirements/Interfaces/WebInterface/HTMLGeneration.html#responsive-html-generation";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 1002260922c26344["📄 HTMLGenerationVerifications.md"]
3d80dd755086873a["Mobile Responsiveness Verification"]:::verification
click 3d80dd755086873a "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#mobile-responsiveness-verification";
end
end
3d80dd755086873a -.->|verifies| bb0ee0a283e500e8;
3d80dd755086873a -.->|verifies| 4e47e768f2a254cb;
bb0ee0a283e500e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 2 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
ac6971954304c571["CSS Framework Integration"]:::systemRequirement
click ac6971954304c571 "requirements/Interfaces/WebInterface/HTMLGeneration.html#css-framework-integration";
bb0ee0a283e500e8["Mobile-Friendly Documentation"]:::userRequirement
click bb0ee0a283e500e8 "requirements/Interfaces/WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
4e47e768f2a254cb["Responsive HTML Generation"]:::systemRequirement
click 4e47e768f2a254cb "requirements/Interfaces/WebInterface/HTMLGeneration.html#responsive-html-generation";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 1002260922c26344["📄 HTMLGenerationVerifications.md"]
6c8b966ffd2cffc4["Responsive Design Verification"]:::verification
click 6c8b966ffd2cffc4 "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#responsive-design-verification";
end
end
6c8b966ffd2cffc4 -.->|verifies| ac6971954304c571;
6c8b966ffd2cffc4 -.->|verifies| 4e47e768f2a254cb;
ac6971954304c571 -.->|derivedFrom| 4e47e768f2a254cb;
4e47e768f2a254cb -.->|derivedFrom| bb0ee0a283e500e8;
bb0ee0a283e500e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
File: requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
e03d9fc7fee23cbf["Attachment Export"]:::systemRequirement
click e03d9fc7fee23cbf "requirements/Interfaces/WebInterface/Features.html#attachment-export";
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"]:::systemRequirement
click 343e7b2d42df05e8 "requirements/Interfaces/WebInterface/Features.html#html-export";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
10fd7a6a648e333a["Attachment Export Verification"]:::verification
click 10fd7a6a648e333a "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#attachment-export-verification";
end
end
10fd7a6a648e333a -.->|verifies| e03d9fc7fee23cbf;
e03d9fc7fee23cbf -.->|derivedFrom| 343e7b2d42df05e8;
343e7b2d42df05e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
1a4bd1d4cf59c6c3["Containment View Attachment Links
📎 requirements/Interfaces/WebInterface/Specifications.md#d3js-containment-tree-specification"]:::systemRequirement
click 1a4bd1d4cf59c6c3 "requirements/Interfaces/WebInterface/Features.html#containment-view-attachment-links";
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"]:::systemRequirement
click 343e7b2d42df05e8 "requirements/Interfaces/WebInterface/Features.html#html-export";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
4761515e40f428b4["Containment Attachment Links Verification"]:::verification
click 4761515e40f428b4 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#containment-attachment-links-verification";
end
end
4761515e40f428b4 -.->|verifies| 1a4bd1d4cf59c6c3;
1a4bd1d4cf59c6c3 -.->|derivedFrom| 343e7b2d42df05e8;
343e7b2d42df05e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 4 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
399558ec4fcaeca["Diagram Attachment Display
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"]:::systemRequirement
click 399558ec4fcaeca "requirements/Interfaces/WebInterface/Features.html#diagram-attachment-display";
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"]:::systemRequirement
click 343e7b2d42df05e8 "requirements/Interfaces/WebInterface/Features.html#html-export";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
55142ee2c012c875["Diagram Attachment Display Verification"]:::verification
click 55142ee2c012c875 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#diagram-attachment-display-verification";
end
end
55142ee2c012c875 -.->|verifies| 399558ec4fcaeca;
399558ec4fcaeca -.->|derivedFrom| 343e7b2d42df05e8;
343e7b2d42df05e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"]:::systemRequirement
click 343e7b2d42df05e8 "requirements/Interfaces/WebInterface/Features.html#html-export";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
a7eeaf4fd1d17030["HTML Export Verification"]:::verification
click a7eeaf4fd1d17030 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#html-export-verification";
end
end
a7eeaf4fd1d17030 -.->|verifies| 343e7b2d42df05e8;
343e7b2d42df05e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 5 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"]:::systemRequirement
click 343e7b2d42df05e8 "requirements/Interfaces/WebInterface/Features.html#html-export";
27d051a7dc8ddd3d["Model-Centric View Generation
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Interfaces/WebInterface/Specifications.md#html-export-pipeline-specification
📎 requirements/Interfaces/WebInterface/Specifications.md#html-navigation-bar-specification"]:::systemRequirement
click 27d051a7dc8ddd3d "requirements/Interfaces/WebInterface/Features.html#model-centric-view-generation";
d9d538e0add3a7ee["Model View Element Navigation"]:::systemRequirement
click d9d538e0add3a7ee "requirements/Interfaces/WebInterface/Features.html#model-view-element-navigation";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
5e30c180284e9196["Model View Element Navigation Test"]:::verification
click 5e30c180284e9196 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#model-view-element-navigation-test";
end
end
5e30c180284e9196 -.->|verifies| d9d538e0add3a7ee;
d9d538e0add3a7ee -.->|derivedFrom| 27d051a7dc8ddd3d;
27d051a7dc8ddd3d -.->|derivedFrom| 343e7b2d42df05e8;
343e7b2d42df05e8 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;
- Type: test-verification
- Directly Verified: 1 requirements
- Total in Tree: 3 requirements
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef requirement fill:#ECEFF1,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 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"]:::userRequirement
click c0d2b45b8534b0ce "requirements/UserStories.html#system-model-interfaces";
end
end
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
ea7f8e1ac2ba1ba4["Web Interface"]:::userRequirement
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-interface";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
9b566692fe070492["Serve Command
📎 requirements/Interfaces/WebInterface/Specifications.md#html-export-pipeline-specification"]:::systemRequirement
click 9b566692fe070492 "requirements/Interfaces/WebInterface/Features.html#serve-command";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
d48ee06d20b13bcc["Serve Command Verification"]:::verification
click d48ee06d20b13bcc "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#serve-command-verification";
end
end
d48ee06d20b13bcc -.->|verifies| 9b566692fe070492;
9b566692fe070492 -.->|derivedFrom| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -.->|derivedFrom| c0d2b45b8534b0ce;