Model
The model view displays the logical structure starting from root requirements—requirements without parent derivations. Each element shows its complete relation tree: derived child requirements, verifications, and implementations. This follows MBSE principles where stakeholder needs flow down through requirement hierarchies to verifiable, implementable specifications.
Total Elements: 15
Total Relations: 599
Direction: Forward
Type: user-requirement
File: requirements/UserStories.html
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph 922090a32bce0711["📄 Refinements.md"]
e3505bdf96f2e996["Containment Specification"];
class e3505bdf96f2e996 default;
click e3505bdf96f2e996 "requirements/Refinements.html#containment-specification";
12b8c722b73f030f["Refinement Specification"];
class 12b8c722b73f030f default;
click 12b8c722b73f030f "requirements/Refinements.html#refinement-specification";
32bc0a15650ebf08["Relation Semantics Specification"];
class 32bc0a15650ebf08 default;
click 32bc0a15650ebf08 "requirements/Refinements.html#relation-semantics-specification";
a03cf6f1eda0c5c["Supported Element Types Specification"];
class a03cf6f1eda0c5c default;
click a03cf6f1eda0c5c "requirements/Refinements.html#supported-element-types-specification";
d3d2eb1636d763ca["Traceability Reporting Specification"];
class d3d2eb1636d763ca default;
click d3d2eb1636d763ca "requirements/Refinements.html#traceability-reporting-specification";
a7802cc8074affd0["Verification Coverage Specification"];
class a7802cc8074affd0 default;
click a7802cc8074affd0 "requirements/Refinements.html#verification-coverage-specification";
end
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
1f2f1e74fb06dae9["Align with Industry Standards"];
class 1f2f1e74fb06dae9 userRequirement;
click 1f2f1e74fb06dae9 "requirements/UserStories.html#align-with-industry-standards";
end
end
1f2f1e74fb06dae9 -->|satisfiedBy| e3505bdf96f2e996;
1f2f1e74fb06dae9 -->|satisfiedBy| 12b8c722b73f030f;
1f2f1e74fb06dae9 -->|satisfiedBy| 32bc0a15650ebf08;
1f2f1e74fb06dae9 -->|satisfiedBy| a03cf6f1eda0c5c;
1f2f1e74fb06dae9 -->|satisfiedBy| d3d2eb1636d763ca;
1f2f1e74fb06dae9 -->|satisfiedBy| a7802cc8074affd0;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b7bd2696af5e74d1["Aligning Design with Code"];
class b7bd2696af5e74d1 userRequirement;
click b7bd2696af5e74d1 "requirements/UserStories.html#aligning-design-with-code";
end
end
subgraph 295862b78f71931e["📁 requirements/Functional/Integration"]
subgraph 46ddebdb4f22c8ba["📄 CodeAlignment.md"]
3221acc9f28ad2e8["BAT style comment"];
class 3221acc9f28ad2e8 systemRequirement;
click 3221acc9f28ad2e8 "requirements/Functional/Integration/CodeAlignment.html#bat-style-comment";
cb2d46c673c86826["Code Traceability"];
class cb2d46c673c86826 userRequirement;
click cb2d46c673c86826 "requirements/Functional/Integration/CodeAlignment.html#code-traceability";
1fa67e6ca679696f["Comment Style by File Extension"];
class 1fa67e6ca679696f systemRequirement;
click 1fa67e6ca679696f "requirements/Functional/Integration/CodeAlignment.html#comment-style-by-file-extension";
ed34b4e6f6f62d59["CSS style comment"];
class ed34b4e6f6f62d59 systemRequirement;
click ed34b4e6f6f62d59 "requirements/Functional/Integration/CodeAlignment.html#css-style-comment";
7b894127c574ddcc["Dash style comment"];
class 7b894127c574ddcc userRequirement;
click 7b894127c574ddcc "requirements/Functional/Integration/CodeAlignment.html#dash-style-comment";
76973148d3c8f875["Slash style comment"];
class 76973148d3c8f875 systemRequirement;
click 76973148d3c8f875 "requirements/Functional/Integration/CodeAlignment.html#slash-style-comment";
c6b7e74445a27ce1["SQL style comment"];
class c6b7e74445a27ce1 systemRequirement;
click c6b7e74445a27ce1 "requirements/Functional/Integration/CodeAlignment.html#sql-style-comment";
c71fb60381800071["Traceability Format"];
class c71fb60381800071 systemRequirement;
click c71fb60381800071 "requirements/Functional/Integration/CodeAlignment.html#traceability-format";
43da2919bb21bb21["Validating Traceability Format"];
class 43da2919bb21bb21 systemRequirement;
click 43da2919bb21bb21 "requirements/Functional/Integration/CodeAlignment.html#validating-traceability-format";
274e7f2bddc1ffb["XML style comment"];
class 274e7f2bddc1ffb systemRequirement;
click 274e7f2bddc1ffb "requirements/Functional/Integration/CodeAlignment.html#xml-style-comment";
end
subgraph 36a0666ce9e433d6["📄 Specifications.md"]
e65459f80f414a8d["Comment Style Specification"];
class e65459f80f414a8d default;
click e65459f80f414a8d "requirements/Functional/Integration/Specifications.html#comment-style-specification";
end
end
b7bd2696af5e74d1 -->|derive| cb2d46c673c86826;
cb2d46c673c86826 -->|derive| c71fb60381800071;
c71fb60381800071 -->|derive| 1fa67e6ca679696f;
1fa67e6ca679696f -->|derive| 3221acc9f28ad2e8;
1fa67e6ca679696f -->|derive| ed34b4e6f6f62d59;
1fa67e6ca679696f -->|derive| 7b894127c574ddcc;
1fa67e6ca679696f -->|derive| 76973148d3c8f875;
1fa67e6ca679696f -->|derive| c6b7e74445a27ce1;
1fa67e6ca679696f -->|derive| 274e7f2bddc1ffb;
1fa67e6ca679696f -->|satisfiedBy| e65459f80f414a8d;
c71fb60381800071 -->|derive| 43da2919bb21bb21;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
5962c1ae315af2be["Defining Model Structure"];
class 5962c1ae315af2be userRequirement;
click 5962c1ae315af2be "requirements/UserStories.html#defining-model-structure";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph d1a073c5dbdc4a00["📄 Behaviors.md"]
c7a7113c11f9175d["Subdirectory Auto-Detection Behavior"];
class c7a7113c11f9175d default;
click c7a7113c11f9175d "requirements/Functional/Core/Behaviors.html#subdirectory-auto-detection-behavior";
end
subgraph ce194c8f6727a221["📄 Configuration.md"]
f02dac6e75313544["Coexistence of Structured and Unstructured Documents
📎 requirements/Refinements.md#refinement-specification"];
class f02dac6e75313544 userRequirement;
click f02dac6e75313544 "requirements/Functional/Core/Configuration.html#coexistence-of-structured-and-unstructured-documents";
66f4b835345ddf91["Ignore Files Integration"];
class 66f4b835345ddf91 systemRequirement;
click 66f4b835345ddf91 "requirements/Functional/Core/Configuration.html#ignore-files-integration";
a1795409a371f481["Ignoring Unstructured Documents"];
class a1795409a371f481 systemRequirement;
click a1795409a371f481 "requirements/Functional/Core/Configuration.html#ignoring-unstructured-documents";
f225228c6f9046e1["Requirements Processing"];
class f225228c6f9046e1 systemRequirement;
click f225228c6f9046e1 "requirements/Functional/Core/Configuration.html#requirements-processing";
fdaf3aa93f19ec5["Reserved Repository Files Exclusion"];
class fdaf3aa93f19ec5 systemRequirement;
click fdaf3aa93f19ec5 "requirements/Functional/Core/Configuration.html#reserved-repository-files-exclusion";
9577f209f3e80942["Structured Markdown Files Search and Detection"];
class 9577f209f3e80942 systemRequirement;
click 9577f209f3e80942 "requirements/Functional/Core/Configuration.html#structured-markdown-files-search-and-detection";
end
subgraph 793b6191caf1a62f["📄 Constraints.md"]
c2c71cb34cb7b7c9["Cross-Section Duplicate Constraint"];
class c2c71cb34cb7b7c9 default;
click c2c71cb34cb7b7c9 "requirements/Functional/Core/Constraints.html#cross-section-duplicate-constraint";
c1660a11594249ca["Element Type Relation Compatibility Constraint"];
class c1660a11594249ca default;
click c1660a11594249ca "requirements/Functional/Core/Constraints.html#element-type-relation-compatibility-constraint";
end
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
3b924660b3d92e9d["Element Type Relation Compatibility
📎 requirements/Refinements.md#supported-element-types-specification"];
class 3b924660b3d92e9d systemRequirement;
click 3b924660b3d92e9d "requirements/Functional/Core/ModelManagement.html#element-type-relation-compatibility";
43eafdd22a501023["Git Repository as Project Root
📎 requirements/Refinements.md#containment-specification"];
class 43eafdd22a501023 userRequirement;
click 43eafdd22a501023 "requirements/Functional/Core/ModelManagement.html#git-repository-as-project-root";
7b8a81499865dbaa["Refinement Element Structure Constraints
📎 requirements/Functional/Core/DesignDocuments/RelationTypes.md
📎 requirements/Refinements.md#supported-element-types-specification"];
class 7b8a81499865dbaa systemRequirement;
click 7b8a81499865dbaa "requirements/Functional/Core/ModelManagement.html#refinement-element-structure-constraints";
ac192cac778569d0["Relation Management Operations"];
class ac192cac778569d0 systemRequirement;
click ac192cac778569d0 "requirements/Functional/Core/ModelManagement.html#relation-management-operations";
15293612289d990c["Relation Types and behaviors
📎 requirements/Functional/Core/DesignDocuments/RelationTypes.md
📎 requirements/Refinements.md#relation-semantics-specification"];
class 15293612289d990c systemRequirement;
click 15293612289d990c "requirements/Functional/Core/ModelManagement.html#relation-types-and-behaviors";
1275026756e287b9["Verification Type Categories
📎 requirements/Refinements.md#supported-element-types-specification"];
class 1275026756e287b9 systemRequirement;
click 1275026756e287b9 "requirements/Functional/Core/ModelManagement.html#verification-type-categories";
end
subgraph 525b4b735cf204bb["📄 Specifications.md"]
ad64383b5bdb4b7b["Element Type Metadata Specification"];
class ad64383b5bdb4b7b default;
click ad64383b5bdb4b7b "requirements/Functional/Core/Specifications.html#element-type-metadata-specification";
f95149e7369cd429["Git Repository Scope Specification"];
class f95149e7369cd429 default;
click f95149e7369cd429 "requirements/Functional/Core/Specifications.html#git-repository-scope-specification";
bce2fe8ffb765797["Ignore Files Specification"];
class bce2fe8ffb765797 default;
click bce2fe8ffb765797 "requirements/Functional/Core/Specifications.html#ignore-files-specification";
973db75b41c8556d["Reserved Files Specification"];
class 973db75b41c8556d default;
click 973db75b41c8556d "requirements/Functional/Core/Specifications.html#reserved-files-specification";
75dfb35477f838d5["Verification Type Selection Guidelines"];
class 75dfb35477f838d5 default;
click 75dfb35477f838d5 "requirements/Functional/Core/Specifications.html#verification-type-selection-guidelines";
end
subgraph b88b5e4ef23c0883["📄 StructureAndParsing.md"]
136749f37a361991["Element Identity Model
📎 requirements/Functional/Core/DesignDocuments/ElementIdentity.md"];
class 136749f37a361991 systemRequirement;
click 136749f37a361991 "requirements/Functional/Core/StructureAndParsing.html#element-identity-model";
7971fe15dab8f0b7["Identifiers and Relations
📎 requirements/Functional/Core/DesignDocuments/IdentifiersAndRelations.md"];
class 7971fe15dab8f0b7 systemRequirement;
click 7971fe15dab8f0b7 "requirements/Functional/Core/StructureAndParsing.html#identifiers-and-relations";
9e793aabc302d0d5["Reserved Subsections Support
📎 requirements/Functional/Core/DesignDocuments/ReservedSubsections.md"];
class 9e793aabc302d0d5 systemRequirement;
click 9e793aabc302d0d5 "requirements/Functional/Core/StructureAndParsing.html#reserved-subsections-support";
c1fde7d1c17c2acb["Specification File Identification"];
class c1fde7d1c17c2acb systemRequirement;
click c1fde7d1c17c2acb "requirements/Functional/Core/StructureAndParsing.html#specification-file-identification";
625bdde09d955477["Structure and Addressing in Markdown Documents
📎 requirements/Functional/Core/DesignDocuments/MarkdownStructure.md"];
class 625bdde09d955477 systemRequirement;
click 625bdde09d955477 "requirements/Functional/Core/StructureAndParsing.html#structure-and-addressing-in-markdown-documents";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
fcfc76ba4d193d75["Attachment Target Validation
📎 requirements/Functional/Core/DesignDocuments/ReservedSubsections.md"];
class fcfc76ba4d193d75 systemRequirement;
click fcfc76ba4d193d75 "requirements/Functional/Core/Validation.html#attachment-target-validation";
14c74cc4fb33d735["Cross-Section Duplicate Validation"];
class 14c74cc4fb33d735 systemRequirement;
click 14c74cc4fb33d735 "requirements/Functional/Core/Validation.html#cross-section-duplicate-validation";
327e10e1bebd5bde["Excluded File Relation Validation"];
class 327e10e1bebd5bde systemRequirement;
click 327e10e1bebd5bde "requirements/Functional/Core/Validation.html#excluded-file-relation-validation";
fed54223697ea04e["Internal Consistency Validator"];
class fed54223697ea04e systemRequirement;
click fed54223697ea04e "requirements/Functional/Core/Validation.html#internal-consistency-validator";
9f1021634cff7f57["Relation Element Type Validator"];
class 9f1021634cff7f57 systemRequirement;
click 9f1021634cff7f57 "requirements/Functional/Core/Validation.html#relation-element-type-validator";
4a77e514d9e5539b["Validate Relation Types
📎 requirements/Refinements.md#relation-semantics-specification"];
class 4a77e514d9e5539b userRequirement;
click 4a77e514d9e5539b "requirements/Functional/Core/Validation.html#validate-relation-types";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
1c80039ebf669864["Attach Command Verification"];
class 1c80039ebf669864 verification;
click 1c80039ebf669864 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attach-command-verification";
43a55500f0bebfda["Attachment Output Rendering Verification"];
class 43a55500f0bebfda verification;
click 43a55500f0bebfda "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachment-output-rendering-verification";
3758f5f1c504cd42["Attachments Change Impact Verification"];
class 3758f5f1c504cd42 verification;
click 3758f5f1c504cd42 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-change-impact-verification";
18307065fb353848["Attachments Subsection Parsing Verification"];
class 18307065fb353848 verification;
click 18307065fb353848 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-subsection-parsing-verification";
ff62a0266193ee63["Attachments Validation Verification"];
class ff62a0266193ee63 verification;
click ff62a0266193ee63 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-validation-verification";
285be0a87e4eada0["Detach Command Verification"];
class 285be0a87e4eada0 verification;
click 285be0a87e4eada0 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#detach-command-verification";
end
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
98ae4e1997fb1002["Element Subsection Parsing Test"];
class 98ae4e1997fb1002 verification;
click 98ae4e1997fb1002 "requirements/Functional/Core/Verifications/ParsingVerifications.html#element-subsection-parsing-test";
49c372fbdf0ebe68["Fragment Normalization Test"];
class 49c372fbdf0ebe68 verification;
click 49c372fbdf0ebe68 "requirements/Functional/Core/Verifications/ParsingVerifications.html#fragment-normalization-test";
55d54f4d3853a23b["Non-Reserved Subsections Content Test"];
class 55d54f4d3853a23b verification;
click 55d54f4d3853a23b "requirements/Functional/Core/Verifications/ParsingVerifications.html#non-reserved-subsections-content-test";
581d470f0ef1f431["Refinement Element Type Parsing Test"];
class 581d470f0ef1f431 verification;
click 581d470f0ef1f431 "requirements/Functional/Core/Verifications/ParsingVerifications.html#refinement-element-type-parsing-test";
52b50094727794f3["Refinement Relations Rejection Test"];
class 52b50094727794f3 verification;
click 52b50094727794f3 "requirements/Functional/Core/Verifications/ParsingVerifications.html#refinement-relations-rejection-test";
6cf270efbdc5a78["Specification File Identification Test"];
class 6cf270efbdc5a78 verification;
click 6cf270efbdc5a78 "requirements/Functional/Core/Verifications/ParsingVerifications.html#specification-file-identification-test";
end
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
f0aeb8d3ad027b6e["Cross-Section Duplicate Validation Test"];
class f0aeb8d3ad027b6e verification;
click f0aeb8d3ad027b6e "requirements/Functional/Core/Verifications/ValidationVerifications.html#cross-section-duplicate-validation-test";
4bbdeefb4231596e["Element Type Relation Compatibility Test"];
class 4bbdeefb4231596e verification;
click 4bbdeefb4231596e "requirements/Functional/Core/Verifications/ValidationVerifications.html#element-type-relation-compatibility-test";
f8b4586a036406cd["File Exclusion Test"];
class f8b4586a036406cd verification;
click f8b4586a036406cd "requirements/Functional/Core/Verifications/ValidationVerifications.html#file-exclusion-test";
83d989f6ea529f74["Invalid Header Structure Test"];
class 83d989f6ea529f74 verification;
click 83d989f6ea529f74 "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-header-structure-test";
ad323c8d4c0751e["Invalid Relations Test"];
class ad323c8d4c0751e verification;
click ad323c8d4c0751e "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-relations-test";
cd31aec9ae0c3ed3["Requirements Files Search and Detection Test"];
class cd31aec9ae0c3ed3 verification;
click cd31aec9ae0c3ed3 "requirements/Functional/Core/Verifications/ValidationVerifications.html#requirements-files-search-and-detection-test";
5352180257d54fb2["Same-File Fragment Relations Test"];
class 5352180257d54fb2 verification;
click 5352180257d54fb2 "requirements/Functional/Core/Verifications/ValidationVerifications.html#same-file-fragment-relations-test";
c40e17e0f8f2b5ec["Subdirectory Processing Verification"];
class c40e17e0f8f2b5ec verification;
click c40e17e0f8f2b5ec "requirements/Functional/Core/Verifications/ValidationVerifications.html#subdirectory-processing-verification";
2d8c79b0a3233f70["Unstructured Documents Test"];
class 2d8c79b0a3233f70 verification;
click 2d8c79b0a3233f70 "requirements/Functional/Core/Verifications/ValidationVerifications.html#unstructured-documents-test";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph 60a9b8fe38a9d536["📄 Behaviors.md"]
40714cbda978a508["Create Element Override Behavior"];
class 40714cbda978a508 default;
click 40714cbda978a508 "requirements/Functional/Operations/Behaviors.html#create-element-override-behavior";
end
subgraph efce051cd2e037ec["📄 Constraints.md"]
1dc0e8b76789ffce["Target Location Constraint"];
class 1dc0e8b76789ffce default;
click 1dc0e8b76789ffce "requirements/Functional/Operations/Constraints.html#target-location-constraint";
end
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
bf9a2f73b67492b9["Create Element Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class bf9a2f73b67492b9 systemRequirement;
click bf9a2f73b67492b9 "requirements/Functional/Operations/ElementManipulation.html#create-element-operation";
9cdb6297e49a3802["Target Location Validation and Auto-Creation
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification"];
class 9cdb6297e49a3802 systemRequirement;
click 9cdb6297e49a3802 "requirements/Functional/Operations/ElementManipulation.html#target-location-validation-and-auto-creation";
end
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
3126a7da8d2fc941["File Pattern Exclusion for Format"];
class 3126a7da8d2fc941 systemRequirement;
click 3126a7da8d2fc941 "requirements/Functional/Operations/Formatting.html#file-pattern-exclusion-for-format";
end
subgraph 7c2e7eef0051f760["📄 Specifications.md"]
3c85593db589fd04["Create Element Workflow Specification"];
class 3c85593db589fd04 default;
click 3c85593db589fd04 "requirements/Functional/Operations/Specifications.html#create-element-workflow-specification";
2a23f1dee6913aeb["Relation Operations Specification"];
class 2a23f1dee6913aeb default;
click 2a23f1dee6913aeb "requirements/Functional/Operations/Specifications.html#relation-operations-specification";
86e301b42cc16d0d["Relation Validation Specification"];
class 86e301b42cc16d0d default;
click 86e301b42cc16d0d "requirements/Functional/Operations/Specifications.html#relation-validation-specification";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
221f6c008823a4d0["Create Element Override Test
📎 requirements/Functional/Operations/Behaviors.md#create-element-override-behavior"];
class 221f6c008823a4d0 verification;
click 221f6c008823a4d0 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#create-element-override-test";
d5bf7d0addaf6d19["Create Element Test"];
class d5bf7d0addaf6d19 verification;
click d5bf7d0addaf6d19 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#create-element-test";
ea3a2bf2fbe74057["Link Command Verification"];
class ea3a2bf2fbe74057 verification;
click ea3a2bf2fbe74057 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#link-command-verification";
c0a8cdea5e5972df["Target Location Validation Test"];
class c0a8cdea5e5972df verification;
click c0a8cdea5e5972df "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#target-location-validation-test";
9f8ff23aca853fa0["Unlink Command Verification"];
class 9f8ff23aca853fa0 verification;
click 9f8ff23aca853fa0 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#unlink-command-verification";
end
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
ccbfdf0d74ac48bf["Format Command Requirements Verification"];
class ccbfdf0d74ac48bf verification;
click ccbfdf0d74ac48bf "requirements/Functional/Operations/Verifications/FormattingVerifications.html#format-command-requirements-verification";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph a1762b6e181c2fd0["📄 DiagramGeneration.md"]
6a54472e974b0c63["Trace Relation Non-Directional Behavior"];
class 6a54472e974b0c63 systemRequirement;
click 6a54472e974b0c63 "requirements/Functional/Output/DiagramGeneration.html#trace-relation-non-directional-behavior";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 743a852fd07358e8["📄 ChangeImpact.md"]
a27cb4ff2637ed4a["Change Impact Detection"];
class a27cb4ff2637ed4a systemRequirement;
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
1868da177a2e8ffd["Requirements Change Propagation
📎 requirements/Functional/Processing/DesignDocuments/ChangePropagation.md"];
class 1868da177a2e8ffd systemRequirement;
click 1868da177a2e8ffd "requirements/Functional/Processing/ChangeImpact.html#requirements-change-propagation";
27ee21b54c142739["Structural Change Analyzer"];
class 27ee21b54c142739 systemRequirement;
click 27ee21b54c142739 "requirements/Functional/Processing/ChangeImpact.html#structural-change-analyzer";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
dc9eb3da0c5e0ed0["Change Impact Detection Test"];
class dc9eb3da0c5e0ed0 verification;
click dc9eb3da0c5e0ed0 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-detection-test";
b5f861c2be8eddab["Change Impact Relations Test"];
class b5f861c2be8eddab verification;
click b5f861c2be8eddab "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-relations-test";
1b778e17c237657e["Change Impact Smart Filtering Test"];
class 1b778e17c237657e verification;
click 1b778e17c237657e "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-smart-filtering-test";
d7a45cebd272c16["Element Content Extraction Test"];
class d7a45cebd272c16 verification;
click d7a45cebd272c16 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#element-content-extraction-test";
end
subgraph 9b8736a314ab6d6f["📄 TraceVerifications.md"]
881f005c754cdc5b["Trace Relations No Cycles Verification"];
class 881f005c754cdc5b verification;
click 881f005c754cdc5b "requirements/Functional/Processing/Verifications/TraceVerifications.html#trace-relations-no-cycles-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"];
class 457ab64992d42aa4 systemRequirement;
click 457ab64992d42aa4 "requirements/Interfaces/CLI/Commands.html#attachment-commands";
end
end
5962c1ae315af2be -->|derive| f02dac6e75313544;
f02dac6e75313544 -->|derive| a1795409a371f481;
a1795409a371f481 -->|derive| 66f4b835345ddf91;
66f4b835345ddf91 -->|derive| 9cdb6297e49a3802;
9dee9d64fe1aa9e9["core/src/graph_registry.rs"];
class 9dee9d64fe1aa9e9 default;
click 9dee9d64fe1aa9e9 "core/src/graph_registry.rs";
9cdb6297e49a3802 -->|satisfiedBy| 9dee9d64fe1aa9e9;
1961449d314952d4["core/src/utils.rs"];
class 1961449d314952d4 default;
click 1961449d314952d4 "core/src/utils.rs";
9cdb6297e49a3802 -->|satisfiedBy| 1961449d314952d4;
9cdb6297e49a3802 -->|satisfiedBy| 1dc0e8b76789ffce;
9cdb6297e49a3802 -->|verifiedBy| c0a8cdea5e5972df;
57f32296447ffce5["tests/test-crud-target-location-validation/test.sh"];
class 57f32296447ffce5 default;
click 57f32296447ffce5 "tests/test-crud-target-location-validation/test.sh";
c0a8cdea5e5972df -->|satisfiedBy| 57f32296447ffce5;
cef52e5a11c79117["cli/src/config.rs"];
class cef52e5a11c79117 default;
click cef52e5a11c79117 "cli/src/config.rs";
66f4b835345ddf91 -->|satisfiedBy| cef52e5a11c79117;
66f4b835345ddf91 -->|satisfiedBy| bce2fe8ffb765797;
66f4b835345ddf91 -->|verifiedBy| f8b4586a036406cd;
bd03ba8a501d669d["tests/test-gitignore-integration/test.sh"];
class bd03ba8a501d669d default;
click bd03ba8a501d669d "tests/test-gitignore-integration/test.sh";
f8b4586a036406cd -->|satisfiedBy| bd03ba8a501d669d;
a1795409a371f481 -->|derive| f225228c6f9046e1;
f225228c6f9046e1 -->|derive| 9577f209f3e80942;
fb194384862a33c3["core/src/model.rs"];
class fb194384862a33c3 default;
click fb194384862a33c3 "core/src/model.rs";
9577f209f3e80942 -->|satisfiedBy| fb194384862a33c3;
9577f209f3e80942 -->|verifiedBy| cd31aec9ae0c3ed3;
abe8c73252d203e1["tests/test-excluded-patterns/test.sh"];
class abe8c73252d203e1 default;
click abe8c73252d203e1 "tests/test-excluded-patterns/test.sh";
cd31aec9ae0c3ed3 -->|satisfiedBy| abe8c73252d203e1;
b62f3a330ddb0e4b["core/src/model.rs"];
class b62f3a330ddb0e4b default;
click b62f3a330ddb0e4b "core/src/model.rs";
f225228c6f9046e1 -->|satisfiedBy| b62f3a330ddb0e4b;
2625e3633ebd2f16["core/src/parser.rs"];
class 2625e3633ebd2f16 default;
click 2625e3633ebd2f16 "core/src/parser.rs";
f225228c6f9046e1 -->|satisfiedBy| 2625e3633ebd2f16;
f225228c6f9046e1 -->|verifiedBy| 5352180257d54fb2;
1f022713289297b["tests/test-fragment-relations/test.sh"];
class 1f022713289297b default;
click 1f022713289297b "tests/test-fragment-relations/test.sh";
5352180257d54fb2 -->|satisfiedBy| 1f022713289297b;
f225228c6f9046e1 -->|verifiedBy| d7a45cebd272c16;
a891143c88cd9440["tests/test-element-content-extraction/test.sh"];
class a891143c88cd9440 default;
click a891143c88cd9440 "tests/test-element-content-extraction/test.sh";
d7a45cebd272c16 -->|satisfiedBy| a891143c88cd9440;
a1795409a371f481 -->|derive| fdaf3aa93f19ec5;
d88a3cf110eba4cd["cli/src/config.rs"];
class d88a3cf110eba4cd default;
click d88a3cf110eba4cd "cli/src/config.rs";
fdaf3aa93f19ec5 -->|satisfiedBy| d88a3cf110eba4cd;
fdaf3aa93f19ec5 -->|satisfiedBy| 973db75b41c8556d;
a1795409a371f481 -->|derive| 3126a7da8d2fc941;
3126a7da8d2fc941 -->|derive| 327e10e1bebd5bde;
362b2eac5dcb9c5e["core/src/parser.rs"];
class 362b2eac5dcb9c5e default;
click 362b2eac5dcb9c5e "core/src/parser.rs";
327e10e1bebd5bde -->|satisfiedBy| 362b2eac5dcb9c5e;
327e10e1bebd5bde -->|verifiedBy| 2d8c79b0a3233f70;
b9a44d9922eab9f7["tests/test-valid-relations/test.sh"];
class b9a44d9922eab9f7 default;
click b9a44d9922eab9f7 "tests/test-valid-relations/test.sh";
2d8c79b0a3233f70 -->|satisfiedBy| b9a44d9922eab9f7;
38b5eee4b5674818["core/src/utils.rs"];
class 38b5eee4b5674818 default;
click 38b5eee4b5674818 "core/src/utils.rs";
3126a7da8d2fc941 -->|satisfiedBy| 38b5eee4b5674818;
3e5fba118d202ebd["cli/src/config.rs"];
class 3e5fba118d202ebd default;
click 3e5fba118d202ebd "cli/src/config.rs";
a1795409a371f481 -->|satisfiedBy| 3e5fba118d202ebd;
5962c1ae315af2be -->|derive| 43eafdd22a501023;
49a091731cbb9ed7["core/src/git_commands.rs"];
class 49a091731cbb9ed7 default;
click 49a091731cbb9ed7 "core/src/git_commands.rs";
43eafdd22a501023 -->|satisfiedBy| 49a091731cbb9ed7;
43eafdd22a501023 -->|satisfiedBy| c7a7113c11f9175d;
43eafdd22a501023 -->|satisfiedBy| f95149e7369cd429;
43eafdd22a501023 -->|verifiedBy| c40e17e0f8f2b5ec;
b1bcccc4ee032e7["tests/test-subdirectory-functionality/test.sh"];
class b1bcccc4ee032e7 default;
click b1bcccc4ee032e7 "tests/test-subdirectory-functionality/test.sh";
c40e17e0f8f2b5ec -->|satisfiedBy| b1bcccc4ee032e7;
5962c1ae315af2be -->|derive| c1fde7d1c17c2acb;
292fa6ac0cf5e425["core/src/model.rs"];
class 292fa6ac0cf5e425 default;
click 292fa6ac0cf5e425 "core/src/model.rs";
c1fde7d1c17c2acb -->|satisfiedBy| 292fa6ac0cf5e425;
990b91454b42be2e["core/src/parser.rs"];
class 990b91454b42be2e default;
click 990b91454b42be2e "core/src/parser.rs";
c1fde7d1c17c2acb -->|satisfiedBy| 990b91454b42be2e;
c1fde7d1c17c2acb -->|verifiedBy| 6cf270efbdc5a78;
2843b54aa9b56056["tests/test-gitignore-integration/test.sh"];
class 2843b54aa9b56056 default;
click 2843b54aa9b56056 "tests/test-gitignore-integration/test.sh";
6cf270efbdc5a78 -->|satisfiedBy| 2843b54aa9b56056;
5962c1ae315af2be -->|derive| 625bdde09d955477;
625bdde09d955477 -->|derive| 136749f37a361991;
136749f37a361991 -->|derive| 7971fe15dab8f0b7;
7971fe15dab8f0b7 -->|derive| 15293612289d990c;
15293612289d990c -->|derive| 3b924660b3d92e9d;
3b924660b3d92e9d -->|derive| 9f1021634cff7f57;
854cac4e38f685af["core/src/graph_registry.rs"];
class 854cac4e38f685af default;
click 854cac4e38f685af "core/src/graph_registry.rs";
9f1021634cff7f57 -->|satisfiedBy| 854cac4e38f685af;
d4af297327cc6594["core/src/model.rs"];
class d4af297327cc6594 default;
click d4af297327cc6594 "core/src/model.rs";
9f1021634cff7f57 -->|satisfiedBy| d4af297327cc6594;
410741ef2423b052["core/src/parser.rs"];
class 410741ef2423b052 default;
click 410741ef2423b052 "core/src/parser.rs";
9f1021634cff7f57 -->|satisfiedBy| 410741ef2423b052;
9f1021634cff7f57 -->|verifiedBy| 4bbdeefb4231596e;
e63eed117d3bb0b1["tests/test-element-type-relation-compatibility/test.sh"];
class e63eed117d3bb0b1 default;
click e63eed117d3bb0b1 "tests/test-element-type-relation-compatibility/test.sh";
4bbdeefb4231596e -->|satisfiedBy| e63eed117d3bb0b1;
9f1021634cff7f57 -->|verifiedBy| ad323c8d4c0751e;
a5f04bd49870765b["tests/test-invalid-relations/test.sh"];
class a5f04bd49870765b default;
click a5f04bd49870765b "tests/test-invalid-relations/test.sh";
ad323c8d4c0751e -->|satisfiedBy| a5f04bd49870765b;
3b924660b3d92e9d -->|satisfiedBy| c1660a11594249ca;
15293612289d990c -->|derive| 7b8a81499865dbaa;
48107ea59e5ae9f4["core/src/model.rs"];
class 48107ea59e5ae9f4 default;
click 48107ea59e5ae9f4 "core/src/model.rs";
7b8a81499865dbaa -->|satisfiedBy| 48107ea59e5ae9f4;
7b8a81499865dbaa -->|verifiedBy| 581d470f0ef1f431;
7b8a81499865dbaa -->|verifiedBy| 52b50094727794f3;
15293612289d990c -->|derive| ac192cac778569d0;
d3c4e00a0e2a75db["core/src/crud.rs"];
class d3c4e00a0e2a75db default;
click d3c4e00a0e2a75db "core/src/crud.rs";
ac192cac778569d0 -->|satisfiedBy| d3c4e00a0e2a75db;
80a5e7517fee404a["core/src/graph_registry.rs"];
class 80a5e7517fee404a default;
click 80a5e7517fee404a "core/src/graph_registry.rs";
ac192cac778569d0 -->|satisfiedBy| 80a5e7517fee404a;
ac192cac778569d0 -->|satisfiedBy| 2a23f1dee6913aeb;
ac192cac778569d0 -->|verifiedBy| ea3a2bf2fbe74057;
d392696c9751599d["tests/test-link-unlink/test.sh"];
class d392696c9751599d default;
click d392696c9751599d "tests/test-link-unlink/test.sh";
ea3a2bf2fbe74057 -->|satisfiedBy| d392696c9751599d;
ac192cac778569d0 -->|verifiedBy| 9f8ff23aca853fa0;
6919afeb9ccc2868["tests/test-link-unlink/test.sh"];
class 6919afeb9ccc2868 default;
click 6919afeb9ccc2868 "tests/test-link-unlink/test.sh";
9f8ff23aca853fa0 -->|satisfiedBy| 6919afeb9ccc2868;
15293612289d990c -->|derive| 4a77e514d9e5539b;
15293612289d990c -->|derive| 6a54472e974b0c63;
6a54472e974b0c63 -->|verifiedBy| 881f005c754cdc5b;
3db4aa739625c174["tests/test-trace-no-cycles/test.sh"];
class 3db4aa739625c174 default;
click 3db4aa739625c174 "tests/test-trace-no-cycles/test.sh";
881f005c754cdc5b -->|satisfiedBy| 3db4aa739625c174;
2cbcabf10aa0850a["core/src/relation.rs"];
class 2cbcabf10aa0850a default;
click 2cbcabf10aa0850a "core/src/relation.rs";
15293612289d990c -->|satisfiedBy| 2cbcabf10aa0850a;
15293612289d990c -->|verifiedBy| 98ae4e1997fb1002;
8f36c91836847a4c["tests/test-parsing-functionality/test.sh"];
class 8f36c91836847a4c default;
click 8f36c91836847a4c "tests/test-parsing-functionality/test.sh";
98ae4e1997fb1002 -->|satisfiedBy| 8f36c91836847a4c;
a3812e0e847b5fa8["core/src/relation.rs"];
class a3812e0e847b5fa8 default;
click a3812e0e847b5fa8 "core/src/relation.rs";
7971fe15dab8f0b7 -->|satisfiedBy| a3812e0e847b5fa8;
136749f37a361991 -->|derive| fed54223697ea04e;
fed54223697ea04e -->|derive| 14c74cc4fb33d735;
f89def9a8615b547["core/src/model.rs"];
class f89def9a8615b547 default;
click f89def9a8615b547 "core/src/model.rs";
14c74cc4fb33d735 -->|satisfiedBy| f89def9a8615b547;
14c74cc4fb33d735 -->|satisfiedBy| c2c71cb34cb7b7c9;
14c74cc4fb33d735 -->|verifiedBy| f0aeb8d3ad027b6e;
bbeb2317b7e52f0a["tests/test-duplicate-detection/test.sh"];
class bbeb2317b7e52f0a default;
click bbeb2317b7e52f0a "tests/test-duplicate-detection/test.sh";
f0aeb8d3ad027b6e -->|satisfiedBy| bbeb2317b7e52f0a;
d2958af8eb995b7e["core/src/model.rs"];
class d2958af8eb995b7e default;
click d2958af8eb995b7e "core/src/model.rs";
fed54223697ea04e -->|satisfiedBy| d2958af8eb995b7e;
5aad72a0e15d54bf["core/src/parser.rs"];
class 5aad72a0e15d54bf default;
click 5aad72a0e15d54bf "core/src/parser.rs";
fed54223697ea04e -->|satisfiedBy| 5aad72a0e15d54bf;
136749f37a361991 -->|derive| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -->|derive| 1868da177a2e8ffd;
26b3ab60eddf432["core/src/change_impact.rs"];
class 26b3ab60eddf432 default;
click 26b3ab60eddf432 "core/src/change_impact.rs";
1868da177a2e8ffd -->|satisfiedBy| 26b3ab60eddf432;
1868da177a2e8ffd -->|verifiedBy| dc9eb3da0c5e0ed0;
b5c996e41fe2b715["tests/test-change-impact-detection/test.sh"];
class b5c996e41fe2b715 default;
click b5c996e41fe2b715 "tests/test-change-impact-detection/test.sh";
dc9eb3da0c5e0ed0 -->|satisfiedBy| b5c996e41fe2b715;
4e0729fcca5c3e0e["tests/test-change-impact-element-relocation/test.sh"];
class 4e0729fcca5c3e0e default;
click 4e0729fcca5c3e0e "tests/test-change-impact-element-relocation/test.sh";
dc9eb3da0c5e0ed0 -->|satisfiedBy| 4e0729fcca5c3e0e;
1868da177a2e8ffd -->|verifiedBy| b5f861c2be8eddab;
86b539796edf847c["tests/test-change-impact-detection/test.sh"];
class 86b539796edf847c default;
click 86b539796edf847c "tests/test-change-impact-detection/test.sh";
b5f861c2be8eddab -->|satisfiedBy| 86b539796edf847c;
1868da177a2e8ffd -->|verifiedBy| 1b778e17c237657e;
2bbf1d110a3c3937["tests/test-change-impact-smart-filtering/test.sh"];
class 2bbf1d110a3c3937 default;
click 2bbf1d110a3c3937 "tests/test-change-impact-smart-filtering/test.sh";
1b778e17c237657e -->|satisfiedBy| 2bbf1d110a3c3937;
a27cb4ff2637ed4a -->|derive| 27ee21b54c142739;
106d495de10b9d82["core/src/change_impact.rs"];
class 106d495de10b9d82 default;
click 106d495de10b9d82 "core/src/change_impact.rs";
27ee21b54c142739 -->|satisfiedBy| 106d495de10b9d82;
d57bffff08214ebe["core/src/change_impact.rs"];
class d57bffff08214ebe default;
click d57bffff08214ebe "core/src/change_impact.rs";
a27cb4ff2637ed4a -->|satisfiedBy| d57bffff08214ebe;
a27cb4ff2637ed4a -->|verifiedBy| 3758f5f1c504cd42;
100ff33eaa0d74c7["tests/test-change-impact-attachments/test.sh"];
class 100ff33eaa0d74c7 default;
click 100ff33eaa0d74c7 "tests/test-change-impact-attachments/test.sh";
3758f5f1c504cd42 -->|satisfiedBy| 100ff33eaa0d74c7;
6600881f43e730c8["core/src/element.rs"];
class 6600881f43e730c8 default;
click 6600881f43e730c8 "core/src/element.rs";
136749f37a361991 -->|satisfiedBy| 6600881f43e730c8;
ef49333d798af6da["core/src/parser.rs"];
class ef49333d798af6da default;
click ef49333d798af6da "core/src/parser.rs";
136749f37a361991 -->|satisfiedBy| ef49333d798af6da;
136749f37a361991 -->|verifiedBy| 49c372fbdf0ebe68;
f3ee91bf9054997c["tests/test-parsing-functionality/test.sh"];
class f3ee91bf9054997c default;
click f3ee91bf9054997c "tests/test-parsing-functionality/test.sh";
49c372fbdf0ebe68 -->|satisfiedBy| f3ee91bf9054997c;
625bdde09d955477 -->|derive| 9e793aabc302d0d5;
9e793aabc302d0d5 -->|derive| 1275026756e287b9;
1275026756e287b9 -->|satisfiedBy| 75dfb35477f838d5;
9e793aabc302d0d5 -->|derive| fcfc76ba4d193d75;
201a10b440551625["core/src/model.rs"];
class 201a10b440551625 default;
click 201a10b440551625 "core/src/model.rs";
fcfc76ba4d193d75 -->|satisfiedBy| 201a10b440551625;
cea7b35fbc99dd96["core/src/parser.rs"];
class cea7b35fbc99dd96 default;
click cea7b35fbc99dd96 "core/src/parser.rs";
fcfc76ba4d193d75 -->|satisfiedBy| cea7b35fbc99dd96;
fcfc76ba4d193d75 -->|verifiedBy| 18307065fb353848;
ddee253d1d107087["tests/test-assets/test.sh"];
class ddee253d1d107087 default;
click ddee253d1d107087 "tests/test-assets/test.sh";
18307065fb353848 -->|satisfiedBy| ddee253d1d107087;
fcfc76ba4d193d75 -->|verifiedBy| ff62a0266193ee63;
6a467797b01196cd["tests/test-assets/test.sh"];
class 6a467797b01196cd default;
click 6a467797b01196cd "tests/test-assets/test.sh";
ff62a0266193ee63 -->|satisfiedBy| 6a467797b01196cd;
9e793aabc302d0d5 -->|derive| bf9a2f73b67492b9;
a7c178008e64e9a8["cli/src/cli.rs"];
class a7c178008e64e9a8 default;
click a7c178008e64e9a8 "cli/src/cli.rs";
bf9a2f73b67492b9 -->|satisfiedBy| a7c178008e64e9a8;
90ef25f29463eeb6["core/src/crud.rs"];
class 90ef25f29463eeb6 default;
click 90ef25f29463eeb6 "core/src/crud.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 90ef25f29463eeb6;
8378f74d3d9091a3["core/src/diff.rs"];
class 8378f74d3d9091a3 default;
click 8378f74d3d9091a3 "core/src/diff.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 8378f74d3d9091a3;
70c2abf9c54c300c["core/src/graph_registry.rs"];
class 70c2abf9c54c300c default;
click 70c2abf9c54c300c "core/src/graph_registry.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 70c2abf9c54c300c;
582799246fcf8268["core/src/parser.rs"];
class 582799246fcf8268 default;
click 582799246fcf8268 "core/src/parser.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 582799246fcf8268;
df94db6e76e72cc2["core/src/utils.rs"];
class df94db6e76e72cc2 default;
click df94db6e76e72cc2 "core/src/utils.rs";
bf9a2f73b67492b9 -->|satisfiedBy| df94db6e76e72cc2;
bf9a2f73b67492b9 -->|satisfiedBy| 40714cbda978a508;
bf9a2f73b67492b9 -->|satisfiedBy| 3c85593db589fd04;
bf9a2f73b67492b9 -->|satisfiedBy| 86e301b42cc16d0d;
bf9a2f73b67492b9 -->|verifiedBy| 221f6c008823a4d0;
bf9a2f73b67492b9 -->|verifiedBy| d5bf7d0addaf6d19;
6fb57787aecf3baf["tests/test-crud-manipulation/test.sh"];
class 6fb57787aecf3baf default;
click 6fb57787aecf3baf "tests/test-crud-manipulation/test.sh";
d5bf7d0addaf6d19 -->|satisfiedBy| 6fb57787aecf3baf;
9e793aabc302d0d5 -->|derive| 457ab64992d42aa4;
457ab64992d42aa4 -->|verifiedBy| 1c80039ebf669864;
f44975effc1d9578["tests/test-assets/test.sh"];
class f44975effc1d9578 default;
click f44975effc1d9578 "tests/test-assets/test.sh";
1c80039ebf669864 -->|satisfiedBy| f44975effc1d9578;
457ab64992d42aa4 -->|verifiedBy| 285be0a87e4eada0;
c88f432ebba39ad8["tests/test-assets/test.sh"];
class c88f432ebba39ad8 default;
click c88f432ebba39ad8 "tests/test-assets/test.sh";
285be0a87e4eada0 -->|satisfiedBy| c88f432ebba39ad8;
5e2354f9c088225a["core/src/element.rs"];
class 5e2354f9c088225a default;
click 5e2354f9c088225a "core/src/element.rs";
9e793aabc302d0d5 -->|satisfiedBy| 5e2354f9c088225a;
a9592a3297ab414["core/src/parser.rs"];
class a9592a3297ab414 default;
click a9592a3297ab414 "core/src/parser.rs";
9e793aabc302d0d5 -->|satisfiedBy| a9592a3297ab414;
9e793aabc302d0d5 -->|satisfiedBy| ad64383b5bdb4b7b;
9e793aabc302d0d5 -->|verifiedBy| 43a55500f0bebfda;
22ba240e9f040fd7["tests/test-assets/test.sh"];
class 22ba240e9f040fd7 default;
click 22ba240e9f040fd7 "tests/test-assets/test.sh";
43a55500f0bebfda -->|satisfiedBy| 22ba240e9f040fd7;
9e793aabc302d0d5 -->|verifiedBy| 55d54f4d3853a23b;
bd7ee7d0867482b0["tests/test-search-all-features/test.sh"];
class bd7ee7d0867482b0 default;
click bd7ee7d0867482b0 "tests/test-search-all-features/test.sh";
55d54f4d3853a23b -->|satisfiedBy| bd7ee7d0867482b0;
4a263af0585dc4e["core/src/element.rs"];
class 4a263af0585dc4e default;
click 4a263af0585dc4e "core/src/element.rs";
625bdde09d955477 -->|satisfiedBy| 4a263af0585dc4e;
20baf22b402b9c0["core/src/model.rs"];
class 20baf22b402b9c0 default;
click 20baf22b402b9c0 "core/src/model.rs";
625bdde09d955477 -->|satisfiedBy| 20baf22b402b9c0;
8349616653a7b90["core/src/parser.rs"];
class 8349616653a7b90 default;
click 8349616653a7b90 "core/src/parser.rs";
625bdde09d955477 -->|satisfiedBy| 8349616653a7b90;
1aba3f0a1669c200["core/src/relation.rs"];
class 1aba3f0a1669c200 default;
click 1aba3f0a1669c200 "core/src/relation.rs";
625bdde09d955477 -->|satisfiedBy| 1aba3f0a1669c200;
14059fe0467258cb["core/src/subsection.rs"];
class 14059fe0467258cb default;
click 14059fe0467258cb "core/src/subsection.rs";
625bdde09d955477 -->|satisfiedBy| 14059fe0467258cb;
625bdde09d955477 -->|verifiedBy| 83d989f6ea529f74;
5378f1cf7039fcb5["tests/test-invalid-relations/test.sh"];
class 5378f1cf7039fcb5 default;
click 5378f1cf7039fcb5 "tests/test-invalid-relations/test.sh";
83d989f6ea529f74 -->|satisfiedBy| 5378f1cf7039fcb5;
625bdde09d955477 -->|verifiedBy| ccbfdf0d74ac48bf;
a09491d6995b15df["tests/test-advanced-format/test.sh"];
class a09491d6995b15df default;
click a09491d6995b15df "tests/test-advanced-format/test.sh";
ccbfdf0d74ac48bf -->|satisfiedBy| a09491d6995b15df;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
62c6fc22d922c798["Formatting Model Documents"];
class 62c6fc22d922c798 userRequirement;
click 62c6fc22d922c798 "requirements/UserStories.html#formatting-model-documents";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph 60a9b8fe38a9d536["📄 Behaviors.md"]
dcccf1b1262f00fa["Format Duplicate Removal Behavior"];
class dcccf1b1262f00fa default;
click dcccf1b1262f00fa "requirements/Functional/Operations/Behaviors.html#format-duplicate-removal-behavior";
end
subgraph e87e3ee72f8fcc8a["📄 Formatting.md"]
5b7b8187ae0d5398["Document Structure Normalization"];
class 5b7b8187ae0d5398 systemRequirement;
click 5b7b8187ae0d5398 "requirements/Functional/Operations/Formatting.html#document-structure-normalization";
6a890183d80718cc["Element Ordering Normalization
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class 6a890183d80718cc systemRequirement;
click 6a890183d80718cc "requirements/Functional/Operations/Formatting.html#element-ordering-normalization";
358f8e948bf99775["Format Consistency Enforcement"];
class 358f8e948bf99775 systemRequirement;
click 358f8e948bf99775 "requirements/Functional/Operations/Formatting.html#format-consistency-enforcement";
4f647826dc3d196c["Format Duplicate Removal"];
class 4f647826dc3d196c systemRequirement;
click 4f647826dc3d196c "requirements/Functional/Operations/Formatting.html#format-duplicate-removal";
c1a2476e356893a8["Formatting Output"];
class c1a2476e356893a8 systemRequirement;
click c1a2476e356893a8 "requirements/Functional/Operations/Formatting.html#formatting-output";
9bbe93242c4454b["Full Relations Insertion
📎 requirements/Functional/Core/DesignDocuments/RelationTypes.md"];
class 9bbe93242c4454b systemRequirement;
click 9bbe93242c4454b "requirements/Functional/Operations/Formatting.html#full-relations-insertion";
d4eb33161647a801["Git-Style Diff Output for Format"];
class d4eb33161647a801 userRequirement;
click d4eb33161647a801 "requirements/Functional/Operations/Formatting.html#git-style-diff-output-for-format";
a39347281679d203["Model Formatting"];
class a39347281679d203 userRequirement;
click a39347281679d203 "requirements/Functional/Operations/Formatting.html#model-formatting";
ed769d861bf7b2cd["Relation Ordering Normalization"];
class ed769d861bf7b2cd systemRequirement;
click ed769d861bf7b2cd "requirements/Functional/Operations/Formatting.html#relation-ordering-normalization";
1e0f7595bc684d1["Replace Absolute Links with Relative Links"];
class 1e0f7595bc684d1 systemRequirement;
click 1e0f7595bc684d1 "requirements/Functional/Operations/Formatting.html#replace-absolute-links-with-relative-links";
end
subgraph 7c2e7eef0051f760["📄 Specifications.md"]
7f30e57cc80e9b87["Document Structure Specification"];
class 7f30e57cc80e9b87 default;
click 7f30e57cc80e9b87 "requirements/Functional/Operations/Specifications.html#document-structure-specification";
7d378fffc473b5bd["Format Consistency Specification"];
class 7d378fffc473b5bd default;
click 7d378fffc473b5bd "requirements/Functional/Operations/Specifications.html#format-consistency-specification";
fe3801f2ec107a8a["Relation Ordering Specification"];
class fe3801f2ec107a8a default;
click fe3801f2ec107a8a "requirements/Functional/Operations/Specifications.html#relation-ordering-specification";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
c89bd750e0ad5b9d["Element Ordering Verification
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class c89bd750e0ad5b9d verification;
click c89bd750e0ad5b9d "requirements/Functional/Operations/Verifications/FormattingVerifications.html#element-ordering-verification";
ccbfdf0d74ac48bf["Format Command Requirements Verification"];
class ccbfdf0d74ac48bf verification;
click ccbfdf0d74ac48bf "requirements/Functional/Operations/Verifications/FormattingVerifications.html#format-command-requirements-verification";
29d28d35a64a722d["Format Duplicate Removal Test"];
class 29d28d35a64a722d verification;
click 29d28d35a64a722d "requirements/Functional/Operations/Verifications/FormattingVerifications.html#format-duplicate-removal-test";
5df244b54d1b239c["Full Relations Insertion Verification"];
class 5df244b54d1b239c verification;
click 5df244b54d1b239c "requirements/Functional/Operations/Verifications/FormattingVerifications.html#full-relations-insertion-verification";
753442551dab9958["Relation Ordering Verification"];
class 753442551dab9958 verification;
click 753442551dab9958 "requirements/Functional/Operations/Verifications/FormattingVerifications.html#relation-ordering-verification";
end
end
62c6fc22d922c798 -->|derive| a39347281679d203;
a39347281679d203 -->|derive| 358f8e948bf99775;
358f8e948bf99775 -->|derive| 5b7b8187ae0d5398;
a08a4e7344b429fe["core/src/graph_registry.rs"];
class a08a4e7344b429fe default;
click a08a4e7344b429fe "core/src/graph_registry.rs";
5b7b8187ae0d5398 -->|satisfiedBy| a08a4e7344b429fe;
ec8198b1852d5f73["core/src/parser.rs"];
class ec8198b1852d5f73 default;
click ec8198b1852d5f73 "core/src/parser.rs";
5b7b8187ae0d5398 -->|satisfiedBy| ec8198b1852d5f73;
5b7b8187ae0d5398 -->|satisfiedBy| 7f30e57cc80e9b87;
5b7b8187ae0d5398 -->|verifiedBy| ccbfdf0d74ac48bf;
a09491d6995b15df["tests/test-advanced-format/test.sh"];
class a09491d6995b15df default;
click a09491d6995b15df "tests/test-advanced-format/test.sh";
ccbfdf0d74ac48bf -->|satisfiedBy| a09491d6995b15df;
358f8e948bf99775 -->|derive| 6a890183d80718cc;
6a890183d80718cc -->|verifiedBy| c89bd750e0ad5b9d;
b2b49f04e9ce270e["tests/test-element-ordering/test.sh"];
class b2b49f04e9ce270e default;
click b2b49f04e9ce270e "tests/test-element-ordering/test.sh";
c89bd750e0ad5b9d -->|satisfiedBy| b2b49f04e9ce270e;
358f8e948bf99775 -->|derive| 4f647826dc3d196c;
f3bba061cbfdf50["core/src/format.rs"];
class f3bba061cbfdf50 default;
click f3bba061cbfdf50 "core/src/format.rs";
4f647826dc3d196c -->|satisfiedBy| f3bba061cbfdf50;
4f647826dc3d196c -->|satisfiedBy| dcccf1b1262f00fa;
4f647826dc3d196c -->|verifiedBy| 29d28d35a64a722d;
da150251569e71ac["tests/test-duplicate-detection/test.sh"];
class da150251569e71ac default;
click da150251569e71ac "tests/test-duplicate-detection/test.sh";
29d28d35a64a722d -->|satisfiedBy| da150251569e71ac;
358f8e948bf99775 -->|derive| ed769d861bf7b2cd;
5190deb6c75bf094["core/src/graph_registry.rs"];
class 5190deb6c75bf094 default;
click 5190deb6c75bf094 "core/src/graph_registry.rs";
ed769d861bf7b2cd -->|satisfiedBy| 5190deb6c75bf094;
ed769d861bf7b2cd -->|satisfiedBy| fe3801f2ec107a8a;
ed769d861bf7b2cd -->|verifiedBy| 753442551dab9958;
9d085751f0c2b5c0["tests/test-advanced-format/test.sh"];
class 9d085751f0c2b5c0 default;
click 9d085751f0c2b5c0 "tests/test-advanced-format/test.sh";
753442551dab9958 -->|satisfiedBy| 9d085751f0c2b5c0;
7dc330b286db8b51["core/src/format.rs"];
class 7dc330b286db8b51 default;
click 7dc330b286db8b51 "core/src/format.rs";
358f8e948bf99775 -->|satisfiedBy| 7dc330b286db8b51;
358f8e948bf99775 -->|satisfiedBy| 7d378fffc473b5bd;
a39347281679d203 -->|derive| c1a2476e356893a8;
c1a2476e356893a8 -->|derive| d4eb33161647a801;
1e0d65f45c081b7a["core/src/diff.rs"];
class 1e0d65f45c081b7a default;
click 1e0d65f45c081b7a "core/src/diff.rs";
d4eb33161647a801 -->|satisfiedBy| 1e0d65f45c081b7a;
8653622cf9206a25["core/src/format.rs"];
class 8653622cf9206a25 default;
click 8653622cf9206a25 "core/src/format.rs";
d4eb33161647a801 -->|satisfiedBy| 8653622cf9206a25;
a39347281679d203 -->|derive| 9bbe93242c4454b;
9bbe93242c4454b -->|verifiedBy| 5df244b54d1b239c;
c1a76e8a064e4b8e["tests/test-format-full-relations/test.sh"];
class c1a76e8a064e4b8e default;
click c1a76e8a064e4b8e "tests/test-format-full-relations/test.sh";
5df244b54d1b239c -->|satisfiedBy| c1a76e8a064e4b8e;
a39347281679d203 -->|derive| 1e0f7595bc684d1;
Type: user-requirement
File: requirements/UserStories.html
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
afc24affb57aec68["Generate Diagrams"];
class afc24affb57aec68 userRequirement;
click afc24affb57aec68 "requirements/UserStories.html#generate-diagrams";
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"];
class b1a0db26e90f239f 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"];
class fba18d76f9130464 systemRequirement;
click fba18d76f9130464 "requirements/Functional/Output/DiagramGeneration.html#file-diagram-attachment-display";
4dcf8077bf98e9e7["Interactive Mermaid Diagram Node Behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"];
class 4dcf8077bf98e9e7 systemRequirement;
click 4dcf8077bf98e9e7 "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagram-node-behavior";
ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"];
class ee0d244ddc9aac8f userRequirement;
click ee0d244ddc9aac8f "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagrams";
4ac07a91ef7bd376["SysML-Compatible Relationship Rendering
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"];
class 4ac07a91ef7bd376 systemRequirement;
click 4ac07a91ef7bd376 "requirements/Functional/Output/DiagramGeneration.html#sysml-compatible-relationship-rendering";
end
subgraph 7799005208c6c9c1["📄 Specifications.md"]
4804d27a20a41dfb["Diagram Relation Filtering Specification"];
class 4804d27a20a41dfb default;
click 4804d27a20a41dfb "requirements/Functional/Output/Specifications.html#diagram-relation-filtering-specification";
ac522a615450fded["Mermaid Diagram Generation Specification"];
class ac522a615450fded default;
click ac522a615450fded "requirements/Functional/Output/Specifications.html#mermaid-diagram-generation-specification";
b214580f5133dc42["Mermaid Diagram Style Specification"];
class b214580f5133dc42 default;
click b214580f5133dc42 "requirements/Functional/Output/Specifications.html#mermaid-diagram-style-specification";
ec385316ac867c67["Mermaid Interactive Features Specification"];
class ec385316ac867c67 default;
click ec385316ac867c67 "requirements/Functional/Output/Specifications.html#mermaid-interactive-features-specification";
9e3bad6862a77529["SysML Rendering Specification"];
class 9e3bad6862a77529 default;
click 9e3bad6862a77529 "requirements/Functional/Output/Specifications.html#sysml-rendering-specification";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
dc6eabd419d3f364["Diagram Generation Test"];
class dc6eabd419d3f364 verification;
click dc6eabd419d3f364 "requirements/Functional/Output/Verifications/DiagramVerifications.html#diagram-generation-test";
6e29457ef7c1661a["Diagram Relation Filtering Verification"];
class 6e29457ef7c1661a verification;
click 6e29457ef7c1661a "requirements/Functional/Output/Verifications/DiagramVerifications.html#diagram-relation-filtering-verification";
948d575da460bbd3["File Diagram Attachment Test"];
class 948d575da460bbd3 verification;
click 948d575da460bbd3 "requirements/Functional/Output/Verifications/DiagramVerifications.html#file-diagram-attachment-test";
4149573a28941f35["Visualize Model Relationships Verification"];
class 4149573a28941f35 verification;
click 4149573a28941f35 "requirements/Functional/Output/Verifications/DiagramVerifications.html#visualize-model-relationships-verification";
end
end
afc24affb57aec68 -->|derive| ee0d244ddc9aac8f;
ee0d244ddc9aac8f -->|derive| b1a0db26e90f239f;
b1a0db26e90f239f -->|derive| fba18d76f9130464;
dc1f6f95ebd03915["core/src/diagrams.rs"];
class dc1f6f95ebd03915 default;
click dc1f6f95ebd03915 "core/src/diagrams.rs";
fba18d76f9130464 -->|satisfiedBy| dc1f6f95ebd03915;
fba18d76f9130464 -->|verifiedBy| 948d575da460bbd3;
5a2f3b1f7c7cb71c["tests/test-attachment-export/test.sh"];
class 5a2f3b1f7c7cb71c default;
click 5a2f3b1f7c7cb71c "tests/test-attachment-export/test.sh";
948d575da460bbd3 -->|satisfiedBy| 5a2f3b1f7c7cb71c;
b1a0db26e90f239f -->|derive| 4dcf8077bf98e9e7;
f6e461f43dbe9fcd["cli/src/cli.rs"];
class f6e461f43dbe9fcd default;
click f6e461f43dbe9fcd "cli/src/cli.rs";
4dcf8077bf98e9e7 -->|satisfiedBy| f6e461f43dbe9fcd;
d354225df2c89218["core/src/diagrams.rs"];
class d354225df2c89218 default;
click d354225df2c89218 "core/src/diagrams.rs";
4dcf8077bf98e9e7 -->|satisfiedBy| d354225df2c89218;
b1a0db26e90f239f -->|derive| 4ac07a91ef7bd376;
ad6ce041bab4df36["core/src/diagrams.rs"];
class ad6ce041bab4df36 default;
click ad6ce041bab4df36 "core/src/diagrams.rs";
4ac07a91ef7bd376 -->|satisfiedBy| ad6ce041bab4df36;
4ac07a91ef7bd376 -->|satisfiedBy| 9e3bad6862a77529;
5197e86eca1ecd72["core/src/diagrams.rs"];
class 5197e86eca1ecd72 default;
click 5197e86eca1ecd72 "core/src/diagrams.rs";
b1a0db26e90f239f -->|satisfiedBy| 5197e86eca1ecd72;
264070906b593a8["core/src/utils.rs"];
class 264070906b593a8 default;
click 264070906b593a8 "core/src/utils.rs";
b1a0db26e90f239f -->|satisfiedBy| 264070906b593a8;
b1a0db26e90f239f -->|satisfiedBy| 4804d27a20a41dfb;
b1a0db26e90f239f -->|verifiedBy| dc6eabd419d3f364;
b1a0db26e90f239f -->|verifiedBy| 6e29457ef7c1661a;
b1a0db26e90f239f -->|verifiedBy| 4149573a28941f35;
ee0d244ddc9aac8f -->|satisfiedBy| ac522a615450fded;
ee0d244ddc9aac8f -->|satisfiedBy| b214580f5133dc42;
ee0d244ddc9aac8f -->|satisfiedBy| ec385316ac867c67;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
72aa2e113883d4a9["Linting Model Quality"];
class 72aa2e113883d4a9 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"];
class 176bc8c4eb6608de systemRequirement;
click 176bc8c4eb6608de "requirements/Functional/Operations/Linting.html#lint-auto-fix-capability";
20f690d9cd389f10["Model Linting"];
class 20f690d9cd389f10 userRequirement;
click 20f690d9cd389f10 "requirements/Functional/Operations/Linting.html#model-linting";
8ab6eb6e6ddc46cc["Multi-Branch Convergence Detection
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction"];
class 8ab6eb6e6ddc46cc systemRequirement;
click 8ab6eb6e6ddc46cc "requirements/Functional/Operations/Linting.html#multi-branch-convergence-detection";
cc7864983ff441c7["Redundant Hierarchical Attachment Detection"];
class cc7864983ff441c7 systemRequirement;
click cc7864983ff441c7 "requirements/Functional/Operations/Linting.html#redundant-hierarchical-attachment-detection";
5f8fafa1901435c["Redundant Hierarchical Relations Detection and Auto-Removal
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction"];
class 5f8fafa1901435c 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"];
class 500be52cc121e6f2 systemRequirement;
click 500be52cc121e6f2 "requirements/Functional/Operations/Linting.html#redundant-verify-relations-detection";
end
subgraph 7c2e7eef0051f760["📄 Specifications.md"]
b8a5e3adb9b5d82d["Lint Output Specification"];
class b8a5e3adb9b5d82d default;
click b8a5e3adb9b5d82d "requirements/Functional/Operations/Specifications.html#lint-output-specification";
c5d346cc41243982["Multi-Branch Convergence Detection Specification"];
class c5d346cc41243982 default;
click c5d346cc41243982 "requirements/Functional/Operations/Specifications.html#multi-branch-convergence-detection-specification";
6a995b12e8da977a["Redundant Hierarchical Relations Specification"];
class 6a995b12e8da977a default;
click 6a995b12e8da977a "requirements/Functional/Operations/Specifications.html#redundant-hierarchical-relations-specification";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 584acc9e5dd3c2cd["📄 LintingVerifications.md"]
a967e55b50b57d2["Lint Command Verification"];
class a967e55b50b57d2 verification;
click a967e55b50b57d2 "requirements/Functional/Operations/Verifications/LintingVerifications.html#lint-command-verification";
d57f3715f551dd1f["Redundant Hierarchical Attachment Test"];
class d57f3715f551dd1f verification;
click d57f3715f551dd1f "requirements/Functional/Operations/Verifications/LintingVerifications.html#redundant-hierarchical-attachment-test";
end
end
72aa2e113883d4a9 -->|derive| 20f690d9cd389f10;
20f690d9cd389f10 -->|derive| 176bc8c4eb6608de;
176bc8c4eb6608de -->|verifiedBy| a967e55b50b57d2;
b34901fab37a5c58["tests/test-lint-command/test.sh"];
class b34901fab37a5c58 default;
click b34901fab37a5c58 "tests/test-lint-command/test.sh";
a967e55b50b57d2 -->|satisfiedBy| b34901fab37a5c58;
20f690d9cd389f10 -->|derive| 8ab6eb6e6ddc46cc;
bd9918df0c2783d5["core/src/lint.rs"];
class bd9918df0c2783d5 default;
click bd9918df0c2783d5 "core/src/lint.rs";
8ab6eb6e6ddc46cc -->|satisfiedBy| bd9918df0c2783d5;
8ab6eb6e6ddc46cc -->|satisfiedBy| c5d346cc41243982;
20f690d9cd389f10 -->|derive| cc7864983ff441c7;
c1c24aaf3793de71["core/src/lint.rs"];
class c1c24aaf3793de71 default;
click c1c24aaf3793de71 "core/src/lint.rs";
cc7864983ff441c7 -->|satisfiedBy| c1c24aaf3793de71;
cc7864983ff441c7 -->|verifiedBy| d57f3715f551dd1f;
ffd803ba768c3cd["tests/test-lint-redundant-attachments/test.sh"];
class ffd803ba768c3cd default;
click ffd803ba768c3cd "tests/test-lint-redundant-attachments/test.sh";
d57f3715f551dd1f -->|satisfiedBy| ffd803ba768c3cd;
20f690d9cd389f10 -->|derive| 5f8fafa1901435c;
cb970a75ab797614["core/src/lint.rs"];
class cb970a75ab797614 default;
click cb970a75ab797614 "core/src/lint.rs";
5f8fafa1901435c -->|satisfiedBy| cb970a75ab797614;
5f8fafa1901435c -->|satisfiedBy| 6a995b12e8da977a;
20f690d9cd389f10 -->|derive| 500be52cc121e6f2;
20f690d9cd389f10 -->|satisfiedBy| b8a5e3adb9b5d82d;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
63cff97aeb9a82df["Operating on Model Elements"];
class 63cff97aeb9a82df 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"];
class 42398f2c82684691 systemRequirement;
click 42398f2c82684691 "requirements/Functional/Core/ModelManagement.html#attachment-identifier-updates";
659a813dd417bc5e["Default Requirement Type Assignment
📎 requirements/Functional/Core/Specifications.md#element-type-metadata-specification"];
class 659a813dd417bc5e userRequirement;
click 659a813dd417bc5e "requirements/Functional/Core/ModelManagement.html#default-requirement-type-assignment";
d27e40511b457522["Efficient Processing"];
class d27e40511b457522 userRequirement;
click d27e40511b457522 "requirements/Functional/Core/ModelManagement.html#efficient-processing";
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"];
class d7718b70035d8d84 userRequirement;
click d7718b70035d8d84 "requirements/Functional/Core/ModelManagement.html#element-manipulation-operations";
5dea9fe53eee419e["Template-Based Model Bootstrapping"];
class 5dea9fe53eee419e userRequirement;
click 5dea9fe53eee419e "requirements/Functional/Core/ModelManagement.html#template-based-model-bootstrapping";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
2b94b4f8deb0b47d["Attachment Identifier CRUD Verification"];
class 2b94b4f8deb0b47d verification;
click 2b94b4f8deb0b47d "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachment-identifier-crud-verification";
end
subgraph 83363717080555bd["📄 ParsingVerifications.md"]
98ae4e1997fb1002["Element Subsection Parsing Test"];
class 98ae4e1997fb1002 verification;
click 98ae4e1997fb1002 "requirements/Functional/Core/Verifications/ParsingVerifications.html#element-subsection-parsing-test";
end
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
40f8f3dcc6a4e8bd["Default Element Type Assignment Test"];
class 40f8f3dcc6a4e8bd verification;
click 40f8f3dcc6a4e8bd "requirements/Functional/Core/Verifications/ValidationVerifications.html#default-element-type-assignment-test";
end
end
subgraph 91eede421faaa553["📁 requirements/Functional/Operations"]
subgraph 60a9b8fe38a9d536["📄 Behaviors.md"]
40714cbda978a508["Create Element Override Behavior"];
class 40714cbda978a508 default;
click 40714cbda978a508 "requirements/Functional/Operations/Behaviors.html#create-element-override-behavior";
2a2729a903e6692f["Merge Content Transformation Behavior"];
class 2a2729a903e6692f default;
click 2a2729a903e6692f "requirements/Functional/Operations/Behaviors.html#merge-content-transformation-behavior";
end
subgraph efce051cd2e037ec["📄 Constraints.md"]
3e506d76554b3740["Merge Type Compatibility Constraint"];
class 3e506d76554b3740 default;
click 3e506d76554b3740 "requirements/Functional/Operations/Constraints.html#merge-type-compatibility-constraint";
1dc0e8b76789ffce["Target Location Constraint"];
class 1dc0e8b76789ffce default;
click 1dc0e8b76789ffce "requirements/Functional/Operations/Constraints.html#target-location-constraint";
end
subgraph e1e686bef27807d6["📄 ElementManipulation.md"]
bf9a2f73b67492b9["Create Element Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class bf9a2f73b67492b9 systemRequirement;
click bf9a2f73b67492b9 "requirements/Functional/Operations/ElementManipulation.html#create-element-operation";
591265fa14ecd72d["Delete Element Operation"];
class 591265fa14ecd72d systemRequirement;
click 591265fa14ecd72d "requirements/Functional/Operations/ElementManipulation.html#delete-element-operation";
cab861a199d11c3c["Element Manipulation File Persistence
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class cab861a199d11c3c systemRequirement;
click cab861a199d11c3c "requirements/Functional/Operations/ElementManipulation.html#element-manipulation-file-persistence";
451abcac00b45de4["Merge Element Operation"];
class 451abcac00b45de4 systemRequirement;
click 451abcac00b45de4 "requirements/Functional/Operations/ElementManipulation.html#merge-element-operation";
c68daf5bfafc5a05["Move Element Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class c68daf5bfafc5a05 systemRequirement;
click c68daf5bfafc5a05 "requirements/Functional/Operations/ElementManipulation.html#move-element-operation";
b9c9829782477a6c["Move File Operation
📎 requirements/Functional/Operations/Constraints.md#target-location-constraint"];
class b9c9829782477a6c systemRequirement;
click b9c9829782477a6c "requirements/Functional/Operations/ElementManipulation.html#move-file-operation";
f006550e707e055f["Relation Consistency Maintenance"];
class f006550e707e055f systemRequirement;
click f006550e707e055f "requirements/Functional/Operations/ElementManipulation.html#relation-consistency-maintenance";
8f31bcc56d19f6e9["Rename Element Operation"];
class 8f31bcc56d19f6e9 systemRequirement;
click 8f31bcc56d19f6e9 "requirements/Functional/Operations/ElementManipulation.html#rename-element-operation";
9cdb6297e49a3802["Target Location Validation and Auto-Creation
📎 requirements/Functional/Core/Specifications.md#git-repository-scope-specification"];
class 9cdb6297e49a3802 systemRequirement;
click 9cdb6297e49a3802 "requirements/Functional/Operations/ElementManipulation.html#target-location-validation-and-auto-creation";
end
subgraph 7c2e7eef0051f760["📄 Specifications.md"]
3c85593db589fd04["Create Element Workflow Specification"];
class 3c85593db589fd04 default;
click 3c85593db589fd04 "requirements/Functional/Operations/Specifications.html#create-element-workflow-specification";
bc1f889f5f12a980["Delete Element Workflow Specification"];
class bc1f889f5f12a980 default;
click bc1f889f5f12a980 "requirements/Functional/Operations/Specifications.html#delete-element-workflow-specification";
9a6c593ffee9a214["Merge Element Workflow Specification"];
class 9a6c593ffee9a214 default;
click 9a6c593ffee9a214 "requirements/Functional/Operations/Specifications.html#merge-element-workflow-specification";
c75283445bce637a["Move Element Workflow Specification"];
class c75283445bce637a default;
click c75283445bce637a "requirements/Functional/Operations/Specifications.html#move-element-workflow-specification";
4366fe5150f6d7c2["Orphaned Children Error Message Specification"];
class 4366fe5150f6d7c2 default;
click 4366fe5150f6d7c2 "requirements/Functional/Operations/Specifications.html#orphaned-children-error-message-specification";
86e301b42cc16d0d["Relation Validation Specification"];
class 86e301b42cc16d0d default;
click 86e301b42cc16d0d "requirements/Functional/Operations/Specifications.html#relation-validation-specification";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
221f6c008823a4d0["Create Element Override Test
📎 requirements/Functional/Operations/Behaviors.md#create-element-override-behavior"];
class 221f6c008823a4d0 verification;
click 221f6c008823a4d0 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#create-element-override-test";
d5bf7d0addaf6d19["Create Element Test"];
class d5bf7d0addaf6d19 verification;
click d5bf7d0addaf6d19 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#create-element-test";
bfd28e1e74918526["Delete Element Test"];
class bfd28e1e74918526 verification;
click bfd28e1e74918526 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#delete-element-test";
362774efb36e2279["File Persistence Test
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class 362774efb36e2279 verification;
click 362774efb36e2279 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#file-persistence-test";
c7b35d6963f1017["Merge Elements Test"];
class c7b35d6963f1017 verification;
click c7b35d6963f1017 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#merge-elements-test";
9ae2cd53e62b6a33["Move Element Test"];
class 9ae2cd53e62b6a33 verification;
click 9ae2cd53e62b6a33 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#move-element-test";
af599fec38b8c0bf["Move File Squash Test"];
class af599fec38b8c0bf verification;
click af599fec38b8c0bf "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#move-file-squash-test";
81422a9a6525acd7["Relation Consistency Test"];
class 81422a9a6525acd7 verification;
click 81422a9a6525acd7 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#relation-consistency-test";
c0a8cdea5e5972df["Target Location Validation Test"];
class c0a8cdea5e5972df verification;
click c0a8cdea5e5972df "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#target-location-validation-test";
end
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
c89bd750e0ad5b9d["Element Ordering Verification
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class c89bd750e0ad5b9d verification;
click c89bd750e0ad5b9d "requirements/Functional/Operations/Verifications/FormattingVerifications.html#element-ordering-verification";
end
end
63cff97aeb9a82df -->|derive| 659a813dd417bc5e;
659a813dd417bc5e -->|verifiedBy| 98ae4e1997fb1002;
8f36c91836847a4c["tests/test-parsing-functionality/test.sh"];
class 8f36c91836847a4c default;
click 8f36c91836847a4c "tests/test-parsing-functionality/test.sh";
98ae4e1997fb1002 -->|satisfiedBy| 8f36c91836847a4c;
659a813dd417bc5e -->|verifiedBy| 40f8f3dcc6a4e8bd;
bd9f60f766e45fd0["tests/test-default-type-assignment/test.sh"];
class bd9f60f766e45fd0 default;
click bd9f60f766e45fd0 "tests/test-default-type-assignment/test.sh";
40f8f3dcc6a4e8bd -->|satisfiedBy| bd9f60f766e45fd0;
63cff97aeb9a82df -->|derive| d27e40511b457522;
63cff97aeb9a82df -->|derive| d7718b70035d8d84;
d7718b70035d8d84 -->|derive| 42398f2c82684691;
8be61543e268f732["core/src/crud.rs"];
class 8be61543e268f732 default;
click 8be61543e268f732 "core/src/crud.rs";
42398f2c82684691 -->|satisfiedBy| 8be61543e268f732;
42398f2c82684691 -->|verifiedBy| 2b94b4f8deb0b47d;
d7718b70035d8d84 -->|derive| bf9a2f73b67492b9;
a7c178008e64e9a8["cli/src/cli.rs"];
class a7c178008e64e9a8 default;
click a7c178008e64e9a8 "cli/src/cli.rs";
bf9a2f73b67492b9 -->|satisfiedBy| a7c178008e64e9a8;
90ef25f29463eeb6["core/src/crud.rs"];
class 90ef25f29463eeb6 default;
click 90ef25f29463eeb6 "core/src/crud.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 90ef25f29463eeb6;
8378f74d3d9091a3["core/src/diff.rs"];
class 8378f74d3d9091a3 default;
click 8378f74d3d9091a3 "core/src/diff.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 8378f74d3d9091a3;
70c2abf9c54c300c["core/src/graph_registry.rs"];
class 70c2abf9c54c300c default;
click 70c2abf9c54c300c "core/src/graph_registry.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 70c2abf9c54c300c;
582799246fcf8268["core/src/parser.rs"];
class 582799246fcf8268 default;
click 582799246fcf8268 "core/src/parser.rs";
bf9a2f73b67492b9 -->|satisfiedBy| 582799246fcf8268;
df94db6e76e72cc2["core/src/utils.rs"];
class df94db6e76e72cc2 default;
click df94db6e76e72cc2 "core/src/utils.rs";
bf9a2f73b67492b9 -->|satisfiedBy| df94db6e76e72cc2;
bf9a2f73b67492b9 -->|satisfiedBy| 40714cbda978a508;
bf9a2f73b67492b9 -->|satisfiedBy| 3c85593db589fd04;
bf9a2f73b67492b9 -->|satisfiedBy| 86e301b42cc16d0d;
bf9a2f73b67492b9 -->|verifiedBy| 221f6c008823a4d0;
bf9a2f73b67492b9 -->|verifiedBy| d5bf7d0addaf6d19;
6fb57787aecf3baf["tests/test-crud-manipulation/test.sh"];
class 6fb57787aecf3baf default;
click 6fb57787aecf3baf "tests/test-crud-manipulation/test.sh";
d5bf7d0addaf6d19 -->|satisfiedBy| 6fb57787aecf3baf;
d7718b70035d8d84 -->|derive| 591265fa14ecd72d;
1ae25fff1aed4ab8["cli/src/cli.rs"];
class 1ae25fff1aed4ab8 default;
click 1ae25fff1aed4ab8 "cli/src/cli.rs";
591265fa14ecd72d -->|satisfiedBy| 1ae25fff1aed4ab8;
fcf80ac9f01f1cb2["core/src/crud.rs"];
class fcf80ac9f01f1cb2 default;
click fcf80ac9f01f1cb2 "core/src/crud.rs";
591265fa14ecd72d -->|satisfiedBy| fcf80ac9f01f1cb2;
e2088a8829984753["core/src/diff.rs"];
class e2088a8829984753 default;
click e2088a8829984753 "core/src/diff.rs";
591265fa14ecd72d -->|satisfiedBy| e2088a8829984753;
d990eb630122d6f6["core/src/graph_registry.rs"];
class d990eb630122d6f6 default;
click d990eb630122d6f6 "core/src/graph_registry.rs";
591265fa14ecd72d -->|satisfiedBy| d990eb630122d6f6;
591265fa14ecd72d -->|satisfiedBy| bc1f889f5f12a980;
591265fa14ecd72d -->|satisfiedBy| 4366fe5150f6d7c2;
591265fa14ecd72d -->|verifiedBy| bfd28e1e74918526;
7310fcd1925980cb["tests/test-crud-manipulation/test.sh"];
class 7310fcd1925980cb default;
click 7310fcd1925980cb "tests/test-crud-manipulation/test.sh";
bfd28e1e74918526 -->|satisfiedBy| 7310fcd1925980cb;
d7718b70035d8d84 -->|derive| cab861a199d11c3c;
4bd76ba089a9399c["core/src/crud.rs"];
class 4bd76ba089a9399c default;
click 4bd76ba089a9399c "core/src/crud.rs";
cab861a199d11c3c -->|satisfiedBy| 4bd76ba089a9399c;
249875b2665e9c6e["core/src/graph_registry.rs"];
class 249875b2665e9c6e default;
click 249875b2665e9c6e "core/src/graph_registry.rs";
cab861a199d11c3c -->|satisfiedBy| 249875b2665e9c6e;
cab861a199d11c3c -->|verifiedBy| 362774efb36e2279;
98d7652cd354beea["tests/test-crud-file-persistence/test.sh"];
class 98d7652cd354beea default;
click 98d7652cd354beea "tests/test-crud-file-persistence/test.sh";
362774efb36e2279 -->|satisfiedBy| 98d7652cd354beea;
cab861a199d11c3c -->|verifiedBy| c89bd750e0ad5b9d;
b2b49f04e9ce270e["tests/test-element-ordering/test.sh"];
class b2b49f04e9ce270e default;
click b2b49f04e9ce270e "tests/test-element-ordering/test.sh";
c89bd750e0ad5b9d -->|satisfiedBy| b2b49f04e9ce270e;
d7718b70035d8d84 -->|derive| 451abcac00b45de4;
f497d98b36374d44["core/src/crud.rs"];
class f497d98b36374d44 default;
click f497d98b36374d44 "core/src/crud.rs";
451abcac00b45de4 -->|satisfiedBy| f497d98b36374d44;
bc921d398a4faa1f["core/src/diff.rs"];
class bc921d398a4faa1f default;
click bc921d398a4faa1f "core/src/diff.rs";
451abcac00b45de4 -->|satisfiedBy| bc921d398a4faa1f;
ad895905dd4f6f93["core/src/graph_registry.rs"];
class ad895905dd4f6f93 default;
click ad895905dd4f6f93 "core/src/graph_registry.rs";
451abcac00b45de4 -->|satisfiedBy| ad895905dd4f6f93;
451abcac00b45de4 -->|satisfiedBy| 2a2729a903e6692f;
451abcac00b45de4 -->|satisfiedBy| 3e506d76554b3740;
451abcac00b45de4 -->|satisfiedBy| 9a6c593ffee9a214;
451abcac00b45de4 -->|verifiedBy| c7b35d6963f1017;
d7718b70035d8d84 -->|derive| c68daf5bfafc5a05;
633cd47968df77db["cli/src/cli.rs"];
class 633cd47968df77db default;
click 633cd47968df77db "cli/src/cli.rs";
c68daf5bfafc5a05 -->|satisfiedBy| 633cd47968df77db;
1fe9bd5497f0f527["core/src/crud.rs"];
class 1fe9bd5497f0f527 default;
click 1fe9bd5497f0f527 "core/src/crud.rs";
c68daf5bfafc5a05 -->|satisfiedBy| 1fe9bd5497f0f527;
46daca6100e1519["core/src/diff.rs"];
class 46daca6100e1519 default;
click 46daca6100e1519 "core/src/diff.rs";
c68daf5bfafc5a05 -->|satisfiedBy| 46daca6100e1519;
95dc3e6d3df86877["core/src/graph_registry.rs"];
class 95dc3e6d3df86877 default;
click 95dc3e6d3df86877 "core/src/graph_registry.rs";
c68daf5bfafc5a05 -->|satisfiedBy| 95dc3e6d3df86877;
c68daf5bfafc5a05 -->|satisfiedBy| c75283445bce637a;
c68daf5bfafc5a05 -->|verifiedBy| 9ae2cd53e62b6a33;
b443f6ff591ae630["tests/test-crud-empty-file-cleanup/test.sh"];
class b443f6ff591ae630 default;
click b443f6ff591ae630 "tests/test-crud-empty-file-cleanup/test.sh";
9ae2cd53e62b6a33 -->|satisfiedBy| b443f6ff591ae630;
bd0fb23cc41e4ac5["tests/test-crud-manipulation/test.sh"];
class bd0fb23cc41e4ac5 default;
click bd0fb23cc41e4ac5 "tests/test-crud-manipulation/test.sh";
9ae2cd53e62b6a33 -->|satisfiedBy| bd0fb23cc41e4ac5;
d7718b70035d8d84 -->|derive| b9c9829782477a6c;
b9c9829782477a6c -->|verifiedBy| af599fec38b8c0bf;
e780ce6f47655efc["tests/test-crud-mv-file-squash/test.sh"];
class e780ce6f47655efc default;
click e780ce6f47655efc "tests/test-crud-mv-file-squash/test.sh";
af599fec38b8c0bf -->|satisfiedBy| e780ce6f47655efc;
d7718b70035d8d84 -->|derive| f006550e707e055f;
6f47d70938d32693["core/src/graph_registry.rs"];
class 6f47d70938d32693 default;
click 6f47d70938d32693 "core/src/graph_registry.rs";
f006550e707e055f -->|satisfiedBy| 6f47d70938d32693;
f006550e707e055f -->|verifiedBy| 81422a9a6525acd7;
c87c67e6fb7dced8["tests/test-crud-relation-consistency/test.sh"];
class c87c67e6fb7dced8 default;
click c87c67e6fb7dced8 "tests/test-crud-relation-consistency/test.sh";
81422a9a6525acd7 -->|satisfiedBy| c87c67e6fb7dced8;
d7718b70035d8d84 -->|derive| 8f31bcc56d19f6e9;
2ed974a2563cd09d["core/src/crud.rs"];
class 2ed974a2563cd09d default;
click 2ed974a2563cd09d "core/src/crud.rs";
8f31bcc56d19f6e9 -->|satisfiedBy| 2ed974a2563cd09d;
287dfe0389e47ae5["core/src/diff.rs"];
class 287dfe0389e47ae5 default;
click 287dfe0389e47ae5 "core/src/diff.rs";
8f31bcc56d19f6e9 -->|satisfiedBy| 287dfe0389e47ae5;
31d13cf92f54018f["core/src/graph_registry.rs"];
class 31d13cf92f54018f default;
click 31d13cf92f54018f "core/src/graph_registry.rs";
8f31bcc56d19f6e9 -->|satisfiedBy| 31d13cf92f54018f;
d7718b70035d8d84 -->|derive| 9cdb6297e49a3802;
9dee9d64fe1aa9e9["core/src/graph_registry.rs"];
class 9dee9d64fe1aa9e9 default;
click 9dee9d64fe1aa9e9 "core/src/graph_registry.rs";
9cdb6297e49a3802 -->|satisfiedBy| 9dee9d64fe1aa9e9;
1961449d314952d4["core/src/utils.rs"];
class 1961449d314952d4 default;
click 1961449d314952d4 "core/src/utils.rs";
9cdb6297e49a3802 -->|satisfiedBy| 1961449d314952d4;
9cdb6297e49a3802 -->|satisfiedBy| 1dc0e8b76789ffce;
9cdb6297e49a3802 -->|verifiedBy| c0a8cdea5e5972df;
57f32296447ffce5["tests/test-crud-target-location-validation/test.sh"];
class 57f32296447ffce5 default;
click 57f32296447ffce5 "tests/test-crud-target-location-validation/test.sh";
c0a8cdea5e5972df -->|satisfiedBy| 57f32296447ffce5;
63cff97aeb9a82df -->|derive| 5dea9fe53eee419e;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
4cedc67efb121d94["Integrate with GitHub Workflows"];
class 4cedc67efb121d94 userRequirement;
click 4cedc67efb121d94 "requirements/UserStories.html#integrate-with-github-workflows";
3274d129a1f9939f["Promote Automation and Efficiency"];
class 3274d129a1f9939f userRequirement;
click 3274d129a1f9939f "requirements/UserStories.html#promote-automation-and-efficiency";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 193cce1f294b91c8["📄 ModelManagement.md"]
d27e40511b457522["Efficient Processing"];
class d27e40511b457522 userRequirement;
click d27e40511b457522 "requirements/Functional/Core/ModelManagement.html#efficient-processing";
end
end
subgraph 295862b78f71931e["📁 requirements/Functional/Integration"]
subgraph ab9daa77a1cb1221["📄 GitHubIntegration.md"]
b37b9282f6da886["Automate Documentation Export"];
class b37b9282f6da886 userRequirement;
click b37b9282f6da886 "requirements/Functional/Integration/GitHubIntegration.html#automate-documentation-export";
39bccf245057be71["Automate Pull Request Validations"];
class 39bccf245057be71 userRequirement;
click 39bccf245057be71 "requirements/Functional/Integration/GitHubIntegration.html#automate-pull-request-validations";
80f699a01d9db166["Automated Documentation Export on PR Merge"];
class 80f699a01d9db166 systemRequirement;
click 80f699a01d9db166 "requirements/Functional/Integration/GitHubIntegration.html#automated-documentation-export-on-pr-merge";
ac8e1ef6e6aaf2de["Generate Change Logs for Pull Requests"];
class ac8e1ef6e6aaf2de userRequirement;
click ac8e1ef6e6aaf2de "requirements/Functional/Integration/GitHubIntegration.html#generate-change-logs-for-pull-requests";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
a125312e2a52f1c5["Automated Documentation Export on PR Merge Verification"];
class a125312e2a52f1c5 verification;
click a125312e2a52f1c5 "requirements/Functional/Output/Verifications/DiagramVerifications.html#automated-documentation-export-on-pr-merge-verification";
end
end
3274d129a1f9939f -->|derive| d27e40511b457522;
3274d129a1f9939f -->|derive| 4cedc67efb121d94;
4cedc67efb121d94 -->|derive| b37b9282f6da886;
b37b9282f6da886 -->|derive| 80f699a01d9db166;
831937bbc65c2605[".github/workflows/update_docs.yml"];
class 831937bbc65c2605 default;
click 831937bbc65c2605 ".github/workflows/update_docs.yml";
80f699a01d9db166 -->|satisfiedBy| 831937bbc65c2605;
80f699a01d9db166 -->|verifiedBy| a125312e2a52f1c5;
c64066a009d7592f[".github/workflows/update_docs.yml"];
class c64066a009d7592f default;
click c64066a009d7592f ".github/workflows/update_docs.yml";
a125312e2a52f1c5 -->|satisfiedBy| c64066a009d7592f;
4cedc67efb121d94 -->|derive| 39bccf245057be71;
4cedc67efb121d94 -->|derive| ac8e1ef6e6aaf2de;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
b52103e4a7ac2f83["Provide Reports"];
class b52103e4a7ac2f83 userRequirement;
click b52103e4a7ac2f83 "requirements/UserStories.html#provide-reports";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 7ac75a27d422080f["📄 Behaviors.md"]
5c87b81c1c498514["Reverse Relation Traversal Behavior"];
class 5c87b81c1c498514 default;
click 5c87b81c1c498514 "requirements/Functional/Output/Behaviors.html#reverse-relation-traversal-behavior";
c722f86eb2eb252f["Start Element Type Filter Behavior"];
class c722f86eb2eb252f default;
click c722f86eb2eb252f "requirements/Functional/Output/Behaviors.html#start-element-type-filter-behavior";
8244c27e5a9f5023["Verification Coverage Philosophy Behavior"];
class 8244c27e5a9f5023 default;
click 8244c27e5a9f5023 "requirements/Functional/Output/Behaviors.html#verification-coverage-philosophy-behavior";
end
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"];
class b1a0db26e90f239f 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"];
class fba18d76f9130464 systemRequirement;
click fba18d76f9130464 "requirements/Functional/Output/DiagramGeneration.html#file-diagram-attachment-display";
4dcf8077bf98e9e7["Interactive Mermaid Diagram Node Behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-interactive-features-specification"];
class 4dcf8077bf98e9e7 systemRequirement;
click 4dcf8077bf98e9e7 "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagram-node-behavior";
ee0d244ddc9aac8f["Interactive Mermaid Diagrams
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"];
class ee0d244ddc9aac8f userRequirement;
click ee0d244ddc9aac8f "requirements/Functional/Output/DiagramGeneration.html#interactive-mermaid-diagrams";
4ac07a91ef7bd376["SysML-Compatible Relationship Rendering
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"];
class 4ac07a91ef7bd376 systemRequirement;
click 4ac07a91ef7bd376 "requirements/Functional/Output/DiagramGeneration.html#sysml-compatible-relationship-rendering";
end
subgraph 2bc3d3f246abf2de["📄 Reporting.md"]
3136e3195e243669["Collect Content from Requirement Chain
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"];
class 3136e3195e243669 systemRequirement;
click 3136e3195e243669 "requirements/Functional/Output/Reporting.html#collect-content-from-requirement-chain";
eeeef3e5049982b8["Comma-Separated Type Filter Parsing"];
class eeeef3e5049982b8 systemRequirement;
click eeeef3e5049982b8 "requirements/Functional/Output/Reporting.html#comma-separated-type-filter-parsing";
2a8c9ba9fd932aba["Containment View Report
📎 requirements/Functional/Output/DesignDocuments/ContainmentView.md
📎 requirements/Refinements.md#containment-specification
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-generation-specification
📎 requirements/Functional/Output/Specifications.md#resources-report-format-specification"];
class 2a8c9ba9fd932aba userRequirement;
click 2a8c9ba9fd932aba "requirements/Functional/Output/Reporting.html#containment-view-report";
5aa1c66a1962bbcf["Flexible Search Type Filtering"];
class 5aa1c66a1962bbcf userRequirement;
click 5aa1c66a1962bbcf "requirements/Functional/Output/Reporting.html#flexible-search-type-filtering";
98610608d81a8fde["Forward-Only Relation Traversal
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"];
class 98610608d81a8fde systemRequirement;
click 98610608d81a8fde "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"];
class f8301585b3d30631 systemRequirement;
click f8301585b3d30631 "requirements/Functional/Output/Reporting.html#model-diagram-output-formats";
40dc720d7c510af0["Model Reports
📎 requirements/Refinements.md#traceability-reporting-specification"];
class 40dc720d7c510af0 userRequirement;
click 40dc720d7c510af0 "requirements/Functional/Output/Reporting.html#model-reports";
b7ae73612502c3fb["Model Structure and Summaries"];
class b7ae73612502c3fb userRequirement;
click b7ae73612502c3fb "requirements/Functional/Output/Reporting.html#model-structure-and-summaries";
c17deaee6f88323a["Provide Validation Reports"];
class c17deaee6f88323a userRequirement;
click c17deaee6f88323a "requirements/Functional/Output/Reporting.html#provide-validation-reports";
a0f7724a2ceac1ec["Resources Report"];
class a0f7724a2ceac1ec userRequirement;
click a0f7724a2ceac1ec "requirements/Functional/Output/Reporting.html#resources-report";
6a3c5a7153a49a89["Reverse Relation Traversal
📎 requirements/Functional/Output/Specifications.md#diagram-relation-filtering-specification"];
class 6a3c5a7153a49a89 systemRequirement;
click 6a3c5a7153a49a89 "requirements/Functional/Output/Reporting.html#reverse-relation-traversal";
f484430652f48bac["Search Report Generator
📎 requirements/Functional/Output/DesignDocuments/SearchFiltering.md
📎 requirements/Refinements.md#supported-element-types-specification
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification
📎 requirements/Functional/Output/Specifications.md#resources-report-format-specification"];
class f484430652f48bac systemRequirement;
click f484430652f48bac "requirements/Functional/Output/Reporting.html#search-report-generator";
f941bbbbf5db2d8c["Start Element Type Filtering"];
class f941bbbbf5db2d8c systemRequirement;
click f941bbbbf5db2d8c "requirements/Functional/Output/Reporting.html#start-element-type-filtering";
c52fdde1821f5cf2["TraceFlow View Report Generation
📎 requirements/Functional/Output/DesignDocuments/TraceFlowView.md
📎 requirements/Refinements.md#traceability-reporting-specification
📎 requirements/Functional/Processing/Specifications.md#verification-roll-up-specification
📎 requirements/Functional/Processing/Specifications.md#verification-trace-tree-construction
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"];
class c52fdde1821f5cf2 systemRequirement;
click c52fdde1821f5cf2 "requirements/Functional/Output/Reporting.html#traceflow-view-report-generation";
c988fb8451de7d2d["Validation Report Generator
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"];
class c988fb8451de7d2d systemRequirement;
click c988fb8451de7d2d "requirements/Functional/Output/Reporting.html#validation-report-generator";
befd27abaf2aae8b["Verification Coverage Report
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Refinements.md#verification-coverage-specification
📎 requirements/Functional/Processing/Specifications.md#verification-roll-up-specification
📎 requirements/Functional/Core/Specifications.md#verification-type-selection-guidelines
📎 requirements/Functional/Output/Specifications.md#deterministic-output-specification"];
class befd27abaf2aae8b userRequirement;
click befd27abaf2aae8b "requirements/Functional/Output/Reporting.html#verification-coverage-report";
end
subgraph 7799005208c6c9c1["📄 Specifications.md"]
8891df8e827d960c["Collect Content Specification"];
class 8891df8e827d960c default;
click 8891df8e827d960c "requirements/Functional/Output/Specifications.html#collect-content-specification";
9bce1082c475cb0d["Collect Output Format Specification"];
class 9bce1082c475cb0d default;
click 9bce1082c475cb0d "requirements/Functional/Output/Specifications.html#collect-output-format-specification";
d415e0f99fc5ad0c["Deterministic Output Specification"];
class d415e0f99fc5ad0c default;
click d415e0f99fc5ad0c "requirements/Functional/Output/Specifications.html#deterministic-output-specification";
4804d27a20a41dfb["Diagram Relation Filtering Specification"];
class 4804d27a20a41dfb default;
click 4804d27a20a41dfb "requirements/Functional/Output/Specifications.html#diagram-relation-filtering-specification";
e8918fd8f69a1f0a["Diff Output Format Specification"];
class e8918fd8f69a1f0a default;
click e8918fd8f69a1f0a "requirements/Functional/Output/Specifications.html#diff-output-format-specification";
38c3e6e7692e0875["Error Message Format Specification"];
class 38c3e6e7692e0875 default;
click 38c3e6e7692e0875 "requirements/Functional/Output/Specifications.html#error-message-format-specification";
64319236fb27fe2["JSON Output Structure"];
class 64319236fb27fe2 default;
click 64319236fb27fe2 "requirements/Functional/Output/Specifications.html#json-output-structure";
d55aca455bf08f76["Markdown Report Style Specification"];
class d55aca455bf08f76 default;
click d55aca455bf08f76 "requirements/Functional/Output/Specifications.html#markdown-report-style-specification";
ac522a615450fded["Mermaid Diagram Generation Specification"];
class ac522a615450fded default;
click ac522a615450fded "requirements/Functional/Output/Specifications.html#mermaid-diagram-generation-specification";
b214580f5133dc42["Mermaid Diagram Style Specification"];
class b214580f5133dc42 default;
click b214580f5133dc42 "requirements/Functional/Output/Specifications.html#mermaid-diagram-style-specification";
ec385316ac867c67["Mermaid Interactive Features Specification"];
class ec385316ac867c67 default;
click ec385316ac867c67 "requirements/Functional/Output/Specifications.html#mermaid-interactive-features-specification";
1006dcaf287c0eec["Resources Report Format Specification"];
class 1006dcaf287c0eec default;
click 1006dcaf287c0eec "requirements/Functional/Output/Specifications.html#resources-report-format-specification";
9e3bad6862a77529["SysML Rendering Specification"];
class 9e3bad6862a77529 default;
click 9e3bad6862a77529 "requirements/Functional/Output/Specifications.html#sysml-rendering-specification";
934223a89d4e2022["Text Output Formatting"];
class 934223a89d4e2022 default;
click 934223a89d4e2022 "requirements/Functional/Output/Specifications.html#text-output-formatting";
65ef0c6018cc1dc4["Verification Trace Diagram Specification"];
class 65ef0c6018cc1dc4 default;
click 65ef0c6018cc1dc4 "requirements/Functional/Output/Specifications.html#verification-trace-diagram-specification";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph 561c220cadb6e74d["📄 DiagramVerifications.md"]
dc6eabd419d3f364["Diagram Generation Test"];
class dc6eabd419d3f364 verification;
click dc6eabd419d3f364 "requirements/Functional/Output/Verifications/DiagramVerifications.html#diagram-generation-test";
6e29457ef7c1661a["Diagram Relation Filtering Verification"];
class 6e29457ef7c1661a verification;
click 6e29457ef7c1661a "requirements/Functional/Output/Verifications/DiagramVerifications.html#diagram-relation-filtering-verification";
948d575da460bbd3["File Diagram Attachment Test"];
class 948d575da460bbd3 verification;
click 948d575da460bbd3 "requirements/Functional/Output/Verifications/DiagramVerifications.html#file-diagram-attachment-test";
4149573a28941f35["Visualize Model Relationships Verification"];
class 4149573a28941f35 verification;
click 4149573a28941f35 "requirements/Functional/Output/Verifications/DiagramVerifications.html#visualize-model-relationships-verification";
end
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
8ce2510b23f2d68e["Containment View Design Documents Test"];
class 8ce2510b23f2d68e verification;
click 8ce2510b23f2d68e "requirements/Functional/Output/Verifications/ReportingVerifications.html#containment-view-design-documents-test";
f1434402b83d319["Model Command Verification"];
class f1434402b83d319 verification;
click f1434402b83d319 "requirements/Functional/Output/Verifications/ReportingVerifications.html#model-command-verification";
334b4046f4e15671["Multi-Type Search Filter Test"];
class 334b4046f4e15671 verification;
click 334b4046f4e15671 "requirements/Functional/Output/Verifications/ReportingVerifications.html#multi-type-search-filter-test";
3c9f85ce80e7b0c["Resources Report Verification"];
class 3c9f85ce80e7b0c verification;
click 3c9f85ce80e7b0c "requirements/Functional/Output/Verifications/ReportingVerifications.html#resources-report-verification";
6535b833e5ffb628["Reverse Model Traversal Test
📎 requirements/Functional/Output/Behaviors.md#reverse-relation-traversal-behavior"];
class 6535b833e5ffb628 verification;
click 6535b833e5ffb628 "requirements/Functional/Output/Verifications/ReportingVerifications.html#reverse-model-traversal-test";
246afbd94e01647b["Search Command Tests"];
class 246afbd94e01647b verification;
click 246afbd94e01647b "requirements/Functional/Output/Verifications/ReportingVerifications.html#search-command-tests";
8f4c9f9feba8e8f1["Start Type Filter Test
📎 requirements/Functional/Output/Behaviors.md#start-element-type-filter-behavior"];
class 8f4c9f9feba8e8f1 verification;
click 8f4c9f9feba8e8f1 "requirements/Functional/Output/Verifications/ReportingVerifications.html#start-type-filter-test";
17252f3552f2567a["TraceFlow View Test"];
class 17252f3552f2567a verification;
click 17252f3552f2567a "requirements/Functional/Output/Verifications/ReportingVerifications.html#traceflow-view-test";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
ee7ad64abb668237["CLI Resources Command
📎 requirements/Functional/Output/Specifications.md#text-output-formatting"];
class ee7ad64abb668237 systemRequirement;
click ee7ad64abb668237 "requirements/Interfaces/CLI/Commands.html#cli-resources-command";
end
end
b52103e4a7ac2f83 -->|derive| 40dc720d7c510af0;
40dc720d7c510af0 -->|derive| ee0d244ddc9aac8f;
ee0d244ddc9aac8f -->|derive| b1a0db26e90f239f;
b1a0db26e90f239f -->|derive| fba18d76f9130464;
dc1f6f95ebd03915["core/src/diagrams.rs"];
class dc1f6f95ebd03915 default;
click dc1f6f95ebd03915 "core/src/diagrams.rs";
fba18d76f9130464 -->|satisfiedBy| dc1f6f95ebd03915;
fba18d76f9130464 -->|verifiedBy| 948d575da460bbd3;
5a2f3b1f7c7cb71c["tests/test-attachment-export/test.sh"];
class 5a2f3b1f7c7cb71c default;
click 5a2f3b1f7c7cb71c "tests/test-attachment-export/test.sh";
948d575da460bbd3 -->|satisfiedBy| 5a2f3b1f7c7cb71c;
b1a0db26e90f239f -->|derive| 4dcf8077bf98e9e7;
f6e461f43dbe9fcd["cli/src/cli.rs"];
class f6e461f43dbe9fcd default;
click f6e461f43dbe9fcd "cli/src/cli.rs";
4dcf8077bf98e9e7 -->|satisfiedBy| f6e461f43dbe9fcd;
d354225df2c89218["core/src/diagrams.rs"];
class d354225df2c89218 default;
click d354225df2c89218 "core/src/diagrams.rs";
4dcf8077bf98e9e7 -->|satisfiedBy| d354225df2c89218;
b1a0db26e90f239f -->|derive| 4ac07a91ef7bd376;
ad6ce041bab4df36["core/src/diagrams.rs"];
class ad6ce041bab4df36 default;
click ad6ce041bab4df36 "core/src/diagrams.rs";
4ac07a91ef7bd376 -->|satisfiedBy| ad6ce041bab4df36;
4ac07a91ef7bd376 -->|satisfiedBy| 9e3bad6862a77529;
5197e86eca1ecd72["core/src/diagrams.rs"];
class 5197e86eca1ecd72 default;
click 5197e86eca1ecd72 "core/src/diagrams.rs";
b1a0db26e90f239f -->|satisfiedBy| 5197e86eca1ecd72;
264070906b593a8["core/src/utils.rs"];
class 264070906b593a8 default;
click 264070906b593a8 "core/src/utils.rs";
b1a0db26e90f239f -->|satisfiedBy| 264070906b593a8;
b1a0db26e90f239f -->|satisfiedBy| 4804d27a20a41dfb;
b1a0db26e90f239f -->|verifiedBy| dc6eabd419d3f364;
b1a0db26e90f239f -->|verifiedBy| 6e29457ef7c1661a;
b1a0db26e90f239f -->|verifiedBy| 4149573a28941f35;
ee0d244ddc9aac8f -->|satisfiedBy| ac522a615450fded;
ee0d244ddc9aac8f -->|satisfiedBy| b214580f5133dc42;
ee0d244ddc9aac8f -->|satisfiedBy| ec385316ac867c67;
40dc720d7c510af0 -->|derive| 3136e3195e243669;
44a06d689bf8d903["core/src/report_collect.rs"];
class 44a06d689bf8d903 default;
click 44a06d689bf8d903 "core/src/report_collect.rs";
3136e3195e243669 -->|satisfiedBy| 44a06d689bf8d903;
3136e3195e243669 -->|satisfiedBy| 8891df8e827d960c;
3136e3195e243669 -->|satisfiedBy| 9bce1082c475cb0d;
40dc720d7c510af0 -->|derive| b7ae73612502c3fb;
b7ae73612502c3fb -->|derive| 2a8c9ba9fd932aba;
6d463f7368840a8d["core/src/containment.rs"];
class 6d463f7368840a8d default;
click 6d463f7368840a8d "core/src/containment.rs";
2a8c9ba9fd932aba -->|satisfiedBy| 6d463f7368840a8d;
2a8c9ba9fd932aba -->|verifiedBy| 8ce2510b23f2d68e;
de19430f9b609986["tests/test-containment-view/test.sh"];
class de19430f9b609986 default;
click de19430f9b609986 "tests/test-containment-view/test.sh";
8ce2510b23f2d68e -->|satisfiedBy| de19430f9b609986;
b7ae73612502c3fb -->|derive| f8301585b3d30631;
f8301585b3d30631 -->|derive| 98610608d81a8fde;
90df4ef992e6a023["core/src/diagrams.rs"];
class 90df4ef992e6a023 default;
click 90df4ef992e6a023 "core/src/diagrams.rs";
98610608d81a8fde -->|satisfiedBy| 90df4ef992e6a023;
98610608d81a8fde -->|verifiedBy| f1434402b83d319;
c78946e8e673eea4["tests/test-model-command/test.sh"];
class c78946e8e673eea4 default;
click c78946e8e673eea4 "tests/test-model-command/test.sh";
f1434402b83d319 -->|satisfiedBy| c78946e8e673eea4;
f8301585b3d30631 -->|derive| 6a3c5a7153a49a89;
a5c62145ec4c977["core/src/report_model.rs"];
class a5c62145ec4c977 default;
click a5c62145ec4c977 "core/src/report_model.rs";
6a3c5a7153a49a89 -->|satisfiedBy| a5c62145ec4c977;
6a3c5a7153a49a89 -->|satisfiedBy| 5c87b81c1c498514;
6a3c5a7153a49a89 -->|verifiedBy| 6535b833e5ffb628;
f8301585b3d30631 -->|derive| f941bbbbf5db2d8c;
9743de9e5e39db5a["core/src/report_model.rs"];
class 9743de9e5e39db5a default;
click 9743de9e5e39db5a "core/src/report_model.rs";
f941bbbbf5db2d8c -->|satisfiedBy| 9743de9e5e39db5a;
f941bbbbf5db2d8c -->|satisfiedBy| c722f86eb2eb252f;
f941bbbbf5db2d8c -->|verifiedBy| 8f4c9f9feba8e8f1;
51f5c76fc8af6bcd["core/src/diagrams.rs"];
class 51f5c76fc8af6bcd default;
click 51f5c76fc8af6bcd "core/src/diagrams.rs";
f8301585b3d30631 -->|satisfiedBy| 51f5c76fc8af6bcd;
b7ae73612502c3fb -->|derive| f484430652f48bac;
f484430652f48bac -->|derive| 5aa1c66a1962bbcf;
5aa1c66a1962bbcf -->|derive| eeeef3e5049982b8;
77534b0491bc4e99["cli/src/cli.rs"];
class 77534b0491bc4e99 default;
click 77534b0491bc4e99 "cli/src/cli.rs";
eeeef3e5049982b8 -->|satisfiedBy| 77534b0491bc4e99;
a520c71406bac803["core/src/search.rs"];
class a520c71406bac803 default;
click a520c71406bac803 "core/src/search.rs";
eeeef3e5049982b8 -->|satisfiedBy| a520c71406bac803;
eeeef3e5049982b8 -->|verifiedBy| 334b4046f4e15671;
a03f3e9d387db9c8["tests/test-multi-type-search/test.sh"];
class a03f3e9d387db9c8 default;
click a03f3e9d387db9c8 "tests/test-multi-type-search/test.sh";
334b4046f4e15671 -->|satisfiedBy| a03f3e9d387db9c8;
b2f83e9f4058e210["core/src/filters.rs"];
class b2f83e9f4058e210 default;
click b2f83e9f4058e210 "core/src/filters.rs";
f484430652f48bac -->|satisfiedBy| b2f83e9f4058e210;
1f82fca16bf490c1["core/src/search.rs"];
class 1f82fca16bf490c1 default;
click 1f82fca16bf490c1 "core/src/search.rs";
f484430652f48bac -->|satisfiedBy| 1f82fca16bf490c1;
f484430652f48bac -->|verifiedBy| 246afbd94e01647b;
7b97a8a8867bb1f6["tests/test-search-all-features/test.sh"];
class 7b97a8a8867bb1f6 default;
click 7b97a8a8867bb1f6 "tests/test-search-all-features/test.sh";
246afbd94e01647b -->|satisfiedBy| 7b97a8a8867bb1f6;
40dc720d7c510af0 -->|derive| c17deaee6f88323a;
c17deaee6f88323a -->|derive| c988fb8451de7d2d;
d164dfb951f5ce81["core/src/model.rs"];
class d164dfb951f5ce81 default;
click d164dfb951f5ce81 "core/src/model.rs";
c988fb8451de7d2d -->|satisfiedBy| d164dfb951f5ce81;
40dc720d7c510af0 -->|derive| a0f7724a2ceac1ec;
a0f7724a2ceac1ec -->|derive| ee7ad64abb668237;
1ae8921feff19ef6["cli/src/cli.rs"];
class 1ae8921feff19ef6 default;
click 1ae8921feff19ef6 "cli/src/cli.rs";
ee7ad64abb668237 -->|satisfiedBy| 1ae8921feff19ef6;
ee7ad64abb668237 -->|verifiedBy| 3c9f85ce80e7b0c;
51957cf2a3b7ba33["tests/test-resources-report/test.sh"];
class 51957cf2a3b7ba33 default;
click 51957cf2a3b7ba33 "tests/test-resources-report/test.sh";
3c9f85ce80e7b0c -->|satisfiedBy| 51957cf2a3b7ba33;
2fe356aa808b4abd["core/src/report_resources.rs"];
class 2fe356aa808b4abd default;
click 2fe356aa808b4abd "core/src/report_resources.rs";
a0f7724a2ceac1ec -->|satisfiedBy| 2fe356aa808b4abd;
a0f7724a2ceac1ec -->|satisfiedBy| 1006dcaf287c0eec;
40dc720d7c510af0 -->|derive| befd27abaf2aae8b;
befd27abaf2aae8b -->|derive| c52fdde1821f5cf2;
ace45495a1081c14["core/src/export.rs"];
class ace45495a1081c14 default;
click ace45495a1081c14 "core/src/export.rs";
c52fdde1821f5cf2 -->|satisfiedBy| ace45495a1081c14;
c52fdde1821f5cf2 -->|satisfiedBy| 65ef0c6018cc1dc4;
c52fdde1821f5cf2 -->|verifiedBy| 17252f3552f2567a;
e9d790355a1de181["tests/test-traceflow-view/test.sh"];
class e9d790355a1de181 default;
click e9d790355a1de181 "tests/test-traceflow-view/test.sh";
17252f3552f2567a -->|satisfiedBy| e9d790355a1de181;
3ac3d1dd664690cf["core/src/report_coverage.rs"];
class 3ac3d1dd664690cf default;
click 3ac3d1dd664690cf "core/src/report_coverage.rs";
befd27abaf2aae8b -->|satisfiedBy| 3ac3d1dd664690cf;
befd27abaf2aae8b -->|satisfiedBy| 8244c27e5a9f5023;
40dc720d7c510af0 -->|satisfiedBy| d415e0f99fc5ad0c;
40dc720d7c510af0 -->|satisfiedBy| e8918fd8f69a1f0a;
40dc720d7c510af0 -->|satisfiedBy| 38c3e6e7692e0875;
40dc720d7c510af0 -->|satisfiedBy| 64319236fb27fe2;
40dc720d7c510af0 -->|satisfiedBy| d55aca455bf08f76;
40dc720d7c510af0 -->|satisfiedBy| 934223a89d4e2022;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
c0d2b45b8534b0ce["System Model Interfaces"];
class c0d2b45b8534b0ce 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"];
class 29ee19ee5dd27edc verification;
click 29ee19ee5dd27edc "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachment-search-filters-verification";
2f4e61e9544880a6["Move Asset Command Verification"];
class 2f4e61e9544880a6 verification;
click 2f4e61e9544880a6 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#move-asset-command-verification";
9ae645d347d4b31a["Remove Asset Command Verification"];
class 9ae645d347d4b31a verification;
click 9ae645d347d4b31a "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#remove-asset-command-verification";
end
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
ad323c8d4c0751e["Invalid Relations Test"];
class ad323c8d4c0751e verification;
click ad323c8d4c0751e "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-relations-test";
c40e17e0f8f2b5ec["Subdirectory Processing Verification"];
class c40e17e0f8f2b5ec verification;
click c40e17e0f8f2b5ec "requirements/Functional/Core/Verifications/ValidationVerifications.html#subdirectory-processing-verification";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
9ce04315a8dd0d88["Add Command Duplicate Detection Test"];
class 9ce04315a8dd0d88 verification;
click 9ce04315a8dd0d88 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#add-command-duplicate-detection-test";
f7d422af274a64cf["Add Command Error Messages Test"];
class f7d422af274a64cf verification;
click f7d422af274a64cf "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#add-command-error-messages-test";
868e15205b620ba2["CLI Add Element Test
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class 868e15205b620ba2 verification;
click 868e15205b620ba2 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-add-element-test";
d4a6f578d691e888["CLI Move Element Test
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class d4a6f578d691e888 verification;
click d4a6f578d691e888 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-move-element-test";
7d317f5d862a0785["CLI Move File Test"];
class 7d317f5d862a0785 verification;
click 7d317f5d862a0785 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-move-file-test";
c5f295328df58029["CLI Remove Element Test"];
class c5f295328df58029 verification;
click c5f295328df58029 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-remove-element-test";
7701c4bcfa966fe6["CLI Rename Element Test"];
class 7701c4bcfa966fe6 verification;
click 7701c4bcfa966fe6 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#cli-rename-element-test";
410dbe84dc2c3481["Link Command Cross-Section Detection Test"];
class 410dbe84dc2c3481 verification;
click 410dbe84dc2c3481 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#link-command-cross-section-detection-test";
ea3a2bf2fbe74057["Link Command Verification"];
class ea3a2bf2fbe74057 verification;
click ea3a2bf2fbe74057 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#link-command-verification";
9f8ff23aca853fa0["Unlink Command Verification"];
class 9f8ff23aca853fa0 verification;
click 9f8ff23aca853fa0 "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#unlink-command-verification";
end
subgraph cae715fe712bf6a2["📄 FormattingVerifications.md"]
c89bd750e0ad5b9d["Element Ordering Verification
📎 requirements/Functional/Operations/Behaviors.md#element-ordering-behavior"];
class c89bd750e0ad5b9d verification;
click c89bd750e0ad5b9d "requirements/Functional/Operations/Verifications/FormattingVerifications.html#element-ordering-verification";
ccbfdf0d74ac48bf["Format Command Requirements Verification"];
class ccbfdf0d74ac48bf verification;
click ccbfdf0d74ac48bf "requirements/Functional/Operations/Verifications/FormattingVerifications.html#format-command-requirements-verification";
5df244b54d1b239c["Full Relations Insertion Verification"];
class 5df244b54d1b239c verification;
click 5df244b54d1b239c "requirements/Functional/Operations/Verifications/FormattingVerifications.html#full-relations-insertion-verification";
end
end
subgraph e6e9a42ade18cb0e["📁 requirements/Functional/Output"]
subgraph 7799005208c6c9c1["📄 Specifications.md"]
faac557edc3096ee["Color Scheme Specification"];
class faac557edc3096ee default;
click faac557edc3096ee "requirements/Functional/Output/Specifications.html#color-scheme-specification";
end
end
subgraph 6ac6c5ebccc78d5e["📁 requirements/Functional/Output/Verifications"]
subgraph d02aea5a4453b115["📄 ReportingVerifications.md"]
ccc548a455bf2b45["CLI Collect Command Test"];
class ccc548a455bf2b45 verification;
click ccc548a455bf2b45 "requirements/Functional/Output/Verifications/ReportingVerifications.html#cli-collect-command-test";
3c9f85ce80e7b0c["Resources Report Verification"];
class 3c9f85ce80e7b0c verification;
click 3c9f85ce80e7b0c "requirements/Functional/Output/Verifications/ReportingVerifications.html#resources-report-verification";
246afbd94e01647b["Search Command Tests"];
class 246afbd94e01647b verification;
click 246afbd94e01647b "requirements/Functional/Output/Verifications/ReportingVerifications.html#search-command-tests";
75ff73f91ee1b985["Verification Coverage Report Test"];
class 75ff73f91ee1b985 verification;
click 75ff73f91ee1b985 "requirements/Functional/Output/Verifications/ReportingVerifications.html#verification-coverage-report-test";
e13ea8567a46f8fd["Verification Traces Filter Options Test"];
class e13ea8567a46f8fd verification;
click e13ea8567a46f8fd "requirements/Functional/Output/Verifications/ReportingVerifications.html#verification-traces-filter-options-test";
fb056d10eb059222["Verification Traces From-Folder Test"];
class fb056d10eb059222 verification;
click fb056d10eb059222 "requirements/Functional/Output/Verifications/ReportingVerifications.html#verification-traces-from-folder-test";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
b4cebcb9f2649a4f["Change Impact Analysis Verification"];
class b4cebcb9f2649a4f verification;
click b4cebcb9f2649a4f "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-analysis-verification";
dc9eb3da0c5e0ed0["Change Impact Detection Test"];
class dc9eb3da0c5e0ed0 verification;
click dc9eb3da0c5e0ed0 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-detection-test";
b5f861c2be8eddab["Change Impact Relations Test"];
class b5f861c2be8eddab 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"];
class 90bec7578aacbe9d userRequirement;
click 90bec7578aacbe9d "requirements/Interfaces/Interfaces.html#cli-interface";
ea7f8e1ac2ba1ba4["Web Interface"];
class ea7f8e1ac2ba1ba4 userRequirement;
click ea7f8e1ac2ba1ba4 "requirements/Interfaces/Interfaces.html#web-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"];
class 104c59d25b737d22 systemRequirement;
click 104c59d25b737d22 "requirements/Interfaces/CLI/Commands.html#cli-add-element-command";
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"];
class 68e30181f97f6f71 systemRequirement;
click 68e30181f97f6f71 "requirements/Interfaces/CLI/Commands.html#cli-change-impact-report-command";
9a2adde3721af9df["CLI Collect Command
📎 requirements/Functional/Output/Specifications.md#collect-content-specification
📎 requirements/Functional/Output/Specifications.md#collect-output-format-specification"];
class 9a2adde3721af9df systemRequirement;
click 9a2adde3721af9df "requirements/Interfaces/CLI/Commands.html#cli-collect-command";
218fa75a3081be32["CLI Containment Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Behaviors.md#short-mode-behavior
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Functional/Output/DesignDocuments/ContainmentView.md
📎 requirements/Interfaces/WebInterface/Specifications.md#d3js-containment-tree-specification"];
class 218fa75a3081be32 systemRequirement;
click 218fa75a3081be32 "requirements/Interfaces/CLI/Commands.html#cli-containment-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"];
class 43efd1fafe961f2e systemRequirement;
click 43efd1fafe961f2e "requirements/Interfaces/CLI/Commands.html#cli-coverage-command";
d6147550e948449e["CLI Interface Structure"];
class d6147550e948449e systemRequirement;
click d6147550e948449e "requirements/Interfaces/CLI/Commands.html#cli-interface-structure";
ec02481a0771dca["CLI Lint Command
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#lint-output-specification
📎 requirements/Functional/Output/Specifications.md#text-output-formatting
📎 requirements/Functional/Operations/Specifications.md#multi-branch-convergence-detection-specification"];
class ec02481a0771dca systemRequirement;
click ec02481a0771dca "requirements/Interfaces/CLI/Commands.html#cli-lint-command";
51a6083e0a55197c["CLI Merge Element Command
📎 requirements/Functional/Operations/Behaviors.md#merge-content-transformation-behavior
📎 requirements/Functional/Operations/Constraints.md#merge-type-compatibility-constraint
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Operations/Specifications.md#merge-element-workflow-specification"];
class 51a6083e0a55197c systemRequirement;
click 51a6083e0a55197c "requirements/Interfaces/CLI/Commands.html#cli-merge-element-command";
151987ac330b33f0["CLI Model Diagram Command
📎 requirements/Functional/Output/Specifications.md#json-output-structure
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification
📎 requirements/Functional/Output/Behaviors.md#reverse-relation-traversal-behavior
📎 requirements/Functional/Output/Behaviors.md#start-element-type-filter-behavior
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"];
class 151987ac330b33f0 systemRequirement;
click 151987ac330b33f0 "requirements/Interfaces/CLI/Commands.html#cli-model-diagram-command";
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"];
class a68fbec67469256b systemRequirement;
click a68fbec67469256b "requirements/Interfaces/CLI/Commands.html#cli-move-asset-command";
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"];
class 7ef6cb0e4258e1bc 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"];
class d9c57dd799158af9 systemRequirement;
click d9c57dd799158af9 "requirements/Interfaces/CLI/Commands.html#cli-move-file-command";
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"];
class 91025cd88b1df4f0 systemRequirement;
click 91025cd88b1df4f0 "requirements/Interfaces/CLI/Commands.html#cli-remove-asset-command";
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"];
class 1f8022dac203e679 systemRequirement;
click 1f8022dac203e679 "requirements/Interfaces/CLI/Commands.html#cli-remove-element-command";
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"];
class 2f51b946a8587225 systemRequirement;
click 2f51b946a8587225 "requirements/Interfaces/CLI/Commands.html#cli-rename-element-command";
ee7ad64abb668237["CLI Resources Command
📎 requirements/Functional/Output/Specifications.md#text-output-formatting"];
class ee7ad64abb668237 systemRequirement;
click ee7ad64abb668237 "requirements/Interfaces/CLI/Commands.html#cli-resources-command";
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"];
class d2fc543d82f61bbb 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"];
class 9578836eb8e0fc6 systemRequirement;
click 9578836eb8e0fc6 "requirements/Interfaces/CLI/Commands.html#cli-traces-command";
62f24ccbcd1f428a["Detailed Error Handling and Logging
📎 requirements/Functional/Core/Behaviors.md#validation-error-reporting-behavior"];
class 62f24ccbcd1f428a systemRequirement;
click 62f24ccbcd1f428a "requirements/Interfaces/CLI/Commands.html#detailed-error-handling-and-logging";
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"];
class 8d334537008d94ba systemRequirement;
click 8d334537008d94ba "requirements/Interfaces/CLI/Commands.html#format-command";
c04221154b7fc90d["Relation Commands
📎 requirements/Functional/Operations/Specifications.md#relation-operations-specification
📎 requirements/Functional/Core/DesignDocuments/RelationTypes.md
📎 requirements/Functional/Operations/Behaviors.md#dry-run-mode-behavior
📎 requirements/Functional/Output/Specifications.md#diff-output-format-specification"];
class c04221154b7fc90d systemRequirement;
click c04221154b7fc90d "requirements/Interfaces/CLI/Commands.html#relation-commands";
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"];
class a8750da2c3580220 systemRequirement;
click a8750da2c3580220 "requirements/Interfaces/CLI/Commands.html#validate-command";
43f4a4bb333138eb["Verification Traces Element Navigation"];
class 43f4a4bb333138eb systemRequirement;
click 43f4a4bb333138eb "requirements/Interfaces/CLI/Commands.html#verification-traces-element-navigation";
end
end
subgraph e258363212a98952["📁 requirements/Interfaces/CLI/Verifications"]
subgraph 81d836bf8ae49ad4["📄 CLIVerifications.md"]
349d095f92fc1135["CLI Git Commit Hash Flag Test"];
class 349d095f92fc1135 verification;
click 349d095f92fc1135 "requirements/Interfaces/CLI/Verifications/CLIVerifications.html#cli-git-commit-hash-flag-test";
bd0b4833b30da28["CLI Help Structure Verification"];
class bd0b4833b30da28 verification;
click bd0b4833b30da28 "requirements/Interfaces/CLI/Verifications/CLIVerifications.html#cli-help-structure-verification";
e2664857a303b33e["Verification Traces Element Navigation Test"];
class e2664857a303b33e verification;
click e2664857a303b33e "requirements/Interfaces/CLI/Verifications/CLIVerifications.html#verification-traces-element-navigation-test";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
e03d9fc7fee23cbf["Attachment Export"];
class e03d9fc7fee23cbf systemRequirement;
click e03d9fc7fee23cbf "requirements/Interfaces/WebInterface/Features.html#attachment-export";
1a4bd1d4cf59c6c3["Containment View Attachment Links
📎 requirements/Interfaces/WebInterface/Specifications.md#d3js-containment-tree-specification"];
class 1a4bd1d4cf59c6c3 systemRequirement;
click 1a4bd1d4cf59c6c3 "requirements/Interfaces/WebInterface/Features.html#containment-view-attachment-links";
399558ec4fcaeca["Diagram Attachment Display
📎 requirements/Functional/Output/Specifications.md#mermaid-diagram-style-specification"];
class 399558ec4fcaeca systemRequirement;
click 399558ec4fcaeca "requirements/Interfaces/WebInterface/Features.html#diagram-attachment-display";
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"];
class 343e7b2d42df05e8 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"];
class 27d051a7dc8ddd3d systemRequirement;
click 27d051a7dc8ddd3d "requirements/Interfaces/WebInterface/Features.html#model-centric-view-generation";
d9d538e0add3a7ee["Model View Element Navigation"];
class d9d538e0add3a7ee systemRequirement;
click d9d538e0add3a7ee "requirements/Interfaces/WebInterface/Features.html#model-view-element-navigation";
9b566692fe070492["Serve Command
📎 requirements/Interfaces/WebInterface/Specifications.md#html-export-pipeline-specification"];
class 9b566692fe070492 systemRequirement;
click 9b566692fe070492 "requirements/Interfaces/WebInterface/Features.html#serve-command";
965615d978d68cf5["Web Interface Color Scheme
📎 requirements/Interfaces/WebInterface/Specifications.md#html-navigation-bar-specification
📎 requirements/Interfaces/WebInterface/Specifications.md#html-branding-specification"];
class 965615d978d68cf5 systemRequirement;
click 965615d978d68cf5 "requirements/Interfaces/WebInterface/Features.html#web-interface-color-scheme";
end
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
fa0ecb1299582ab["Component-Based HTML Architecture"];
class fa0ecb1299582ab systemRequirement;
click fa0ecb1299582ab "requirements/Interfaces/WebInterface/HTMLGeneration.html#component-based-html-architecture";
ac6971954304c571["CSS Framework Integration"];
class ac6971954304c571 systemRequirement;
click ac6971954304c571 "requirements/Interfaces/WebInterface/HTMLGeneration.html#css-framework-integration";
bb0ee0a283e500e8["Mobile-Friendly Documentation"];
class bb0ee0a283e500e8 userRequirement;
click bb0ee0a283e500e8 "requirements/Interfaces/WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
4e47e768f2a254cb["Responsive HTML Generation"];
class 4e47e768f2a254cb systemRequirement;
click 4e47e768f2a254cb "requirements/Interfaces/WebInterface/HTMLGeneration.html#responsive-html-generation";
f5edec5aaf14290d["Type-Safe HTML Generation"];
class f5edec5aaf14290d systemRequirement;
click f5edec5aaf14290d "requirements/Interfaces/WebInterface/HTMLGeneration.html#type-safe-html-generation";
end
subgraph 5d341d66c5d20d4a["📄 Specifications.md"]
2c269288950887aa["D3.js Containment Tree Specification"];
class 2c269288950887aa default;
click 2c269288950887aa "requirements/Interfaces/WebInterface/Specifications.html#d3js-containment-tree-specification";
ac8ced009233741a["HTML Branding Specification"];
class ac8ced009233741a default;
click ac8ced009233741a "requirements/Interfaces/WebInterface/Specifications.html#html-branding-specification";
32592aed4644ac95["HTML Export Pipeline Specification"];
class 32592aed4644ac95 default;
click 32592aed4644ac95 "requirements/Interfaces/WebInterface/Specifications.html#html-export-pipeline-specification";
1c6c804d67bc741e["HTML Navigation Bar Specification"];
class 1c6c804d67bc741e default;
click 1c6c804d67bc741e "requirements/Interfaces/WebInterface/Specifications.html#html-navigation-bar-specification";
945adb3f0ea1012e["Web Interface Style Specification"];
class 945adb3f0ea1012e default;
click 945adb3f0ea1012e "requirements/Interfaces/WebInterface/Specifications.html#web-interface-style-specification";
end
end
subgraph 7b06d045a68fb066["📁 requirements/Interfaces/WebInterface/Verifications"]
subgraph 1002260922c26344["📄 HTMLGenerationVerifications.md"]
cd4d13fa425c5ad["Component Reuse Verification"];
class cd4d13fa425c5ad verification;
click cd4d13fa425c5ad "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#component-reuse-verification";
73786e8c37d9673f["HTML Validity Verification"];
class 73786e8c37d9673f verification;
click 73786e8c37d9673f "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#html-validity-verification";
79ec057500b741e["Integration Test Verification"];
class 79ec057500b741e verification;
click 79ec057500b741e "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#integration-test-verification";
3d80dd755086873a["Mobile Responsiveness Verification"];
class 3d80dd755086873a verification;
click 3d80dd755086873a "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#mobile-responsiveness-verification";
6c8b966ffd2cffc4["Responsive Design Verification"];
class 6c8b966ffd2cffc4 verification;
click 6c8b966ffd2cffc4 "requirements/Interfaces/WebInterface/Verifications/HTMLGenerationVerifications.html#responsive-design-verification";
end
subgraph 560467e65835f4b0["📄 WebInterfaceVerifications.md"]
10fd7a6a648e333a["Attachment Export Verification"];
class 10fd7a6a648e333a verification;
click 10fd7a6a648e333a "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#attachment-export-verification";
4761515e40f428b4["Containment Attachment Links Verification"];
class 4761515e40f428b4 verification;
click 4761515e40f428b4 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#containment-attachment-links-verification";
55142ee2c012c875["Diagram Attachment Display Verification"];
class 55142ee2c012c875 verification;
click 55142ee2c012c875 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#diagram-attachment-display-verification";
a7eeaf4fd1d17030["HTML Export Verification"];
class a7eeaf4fd1d17030 verification;
click a7eeaf4fd1d17030 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#html-export-verification";
5e30c180284e9196["Model View Element Navigation Test"];
class 5e30c180284e9196 verification;
click 5e30c180284e9196 "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#model-view-element-navigation-test";
d48ee06d20b13bcc["Serve Command Verification"];
class d48ee06d20b13bcc verification;
click d48ee06d20b13bcc "requirements/Interfaces/WebInterface/Verifications/WebInterfaceVerifications.html#serve-command-verification";
end
end
c0d2b45b8534b0ce -->|derive| 90bec7578aacbe9d;
90bec7578aacbe9d -->|derive| d6147550e948449e;
d6147550e948449e -->|derive| 104c59d25b737d22;
c52402f5ec07ec40["cli/src/cli.rs"];
class c52402f5ec07ec40 default;
click c52402f5ec07ec40 "cli/src/cli.rs";
104c59d25b737d22 -->|satisfiedBy| c52402f5ec07ec40;
104c59d25b737d22 -->|verifiedBy| 9ce04315a8dd0d88;
ba76934401978296["tests/test-duplicate-detection/test.sh"];
class ba76934401978296 default;
click ba76934401978296 "tests/test-duplicate-detection/test.sh";
9ce04315a8dd0d88 -->|satisfiedBy| ba76934401978296;
104c59d25b737d22 -->|verifiedBy| f7d422af274a64cf;
5f4bcd49fa479e1b["tests/test-add-command-error-messages/test.sh"];
class 5f4bcd49fa479e1b default;
click 5f4bcd49fa479e1b "tests/test-add-command-error-messages/test.sh";
f7d422af274a64cf -->|satisfiedBy| 5f4bcd49fa479e1b;
104c59d25b737d22 -->|verifiedBy| 868e15205b620ba2;
4273cf1741fc0b67["tests/test-crud-manipulation/test.sh"];
class 4273cf1741fc0b67 default;
click 4273cf1741fc0b67 "tests/test-crud-manipulation/test.sh";
868e15205b620ba2 -->|satisfiedBy| 4273cf1741fc0b67;
d6147550e948449e -->|derive| 68e30181f97f6f71;
d6c393e704e40550["cli/src/cli.rs"];
class d6c393e704e40550 default;
click d6c393e704e40550 "cli/src/cli.rs";
68e30181f97f6f71 -->|satisfiedBy| d6c393e704e40550;
68e30181f97f6f71 -->|verifiedBy| b4cebcb9f2649a4f;
4cfd1245fd8d75f["tests/test-change-impact-detection/test.sh"];
class 4cfd1245fd8d75f default;
click 4cfd1245fd8d75f "tests/test-change-impact-detection/test.sh";
b4cebcb9f2649a4f -->|satisfiedBy| 4cfd1245fd8d75f;
68e30181f97f6f71 -->|verifiedBy| dc9eb3da0c5e0ed0;
b5c996e41fe2b715["tests/test-change-impact-detection/test.sh"];
class b5c996e41fe2b715 default;
click b5c996e41fe2b715 "tests/test-change-impact-detection/test.sh";
dc9eb3da0c5e0ed0 -->|satisfiedBy| b5c996e41fe2b715;
4e0729fcca5c3e0e["tests/test-change-impact-element-relocation/test.sh"];
class 4e0729fcca5c3e0e default;
click 4e0729fcca5c3e0e "tests/test-change-impact-element-relocation/test.sh";
dc9eb3da0c5e0ed0 -->|satisfiedBy| 4e0729fcca5c3e0e;
68e30181f97f6f71 -->|verifiedBy| b5f861c2be8eddab;
86b539796edf847c["tests/test-change-impact-detection/test.sh"];
class 86b539796edf847c default;
click 86b539796edf847c "tests/test-change-impact-detection/test.sh";
b5f861c2be8eddab -->|satisfiedBy| 86b539796edf847c;
68e30181f97f6f71 -->|verifiedBy| 349d095f92fc1135;
3f1e64ec4bc19243["tests/test-change-impact-detection/test.sh"];
class 3f1e64ec4bc19243 default;
click 3f1e64ec4bc19243 "tests/test-change-impact-detection/test.sh";
349d095f92fc1135 -->|satisfiedBy| 3f1e64ec4bc19243;
68e30181f97f6f71 -->|verifiedBy| bd0b4833b30da28;
3cae11ac7afee9af["tests/test-cli-help-structure/test.sh"];
class 3cae11ac7afee9af default;
click 3cae11ac7afee9af "tests/test-cli-help-structure/test.sh";
bd0b4833b30da28 -->|satisfiedBy| 3cae11ac7afee9af;
d6147550e948449e -->|derive| 9a2adde3721af9df;
8cad9e2ac1727755["cli/src/cli.rs"];
class 8cad9e2ac1727755 default;
click 8cad9e2ac1727755 "cli/src/cli.rs";
9a2adde3721af9df -->|satisfiedBy| 8cad9e2ac1727755;
9a2adde3721af9df -->|verifiedBy| ccc548a455bf2b45;
17624ae51f39dd8e["tests/test-collect-command/test.sh"];
class 17624ae51f39dd8e default;
click 17624ae51f39dd8e "tests/test-collect-command/test.sh";
ccc548a455bf2b45 -->|satisfiedBy| 17624ae51f39dd8e;
d6147550e948449e -->|derive| 218fa75a3081be32;
759a5f043d73f4bf["cli/src/cli.rs"];
class 759a5f043d73f4bf default;
click 759a5f043d73f4bf "cli/src/cli.rs";
218fa75a3081be32 -->|satisfiedBy| 759a5f043d73f4bf;
a2212742ff32bbcc["core/src/containment.rs"];
class a2212742ff32bbcc default;
click a2212742ff32bbcc "core/src/containment.rs";
218fa75a3081be32 -->|satisfiedBy| a2212742ff32bbcc;
adab81fa9c547c5["core/src/diagrams.rs"];
class adab81fa9c547c5 default;
click adab81fa9c547c5 "core/src/diagrams.rs";
218fa75a3081be32 -->|satisfiedBy| adab81fa9c547c5;
d6147550e948449e -->|derive| 43efd1fafe961f2e;
b7cc3369d565333b["cli/src/cli.rs"];
class b7cc3369d565333b default;
click b7cc3369d565333b "cli/src/cli.rs";
43efd1fafe961f2e -->|satisfiedBy| b7cc3369d565333b;
43efd1fafe961f2e -->|verifiedBy| 75ff73f91ee1b985;
d7d1e10a14de3f7f["tests/test-coverage-report/test.sh"];
class d7d1e10a14de3f7f default;
click d7d1e10a14de3f7f "tests/test-coverage-report/test.sh";
75ff73f91ee1b985 -->|satisfiedBy| d7d1e10a14de3f7f;
d6147550e948449e -->|derive| ec02481a0771dca;
e506b12f1fae95e4["cli/src/cli.rs"];
class e506b12f1fae95e4 default;
click e506b12f1fae95e4 "cli/src/cli.rs";
ec02481a0771dca -->|satisfiedBy| e506b12f1fae95e4;
d6147550e948449e -->|derive| 51a6083e0a55197c;
f043ce3e113c962c["cli/src/cli.rs"];
class f043ce3e113c962c default;
click f043ce3e113c962c "cli/src/cli.rs";
51a6083e0a55197c -->|satisfiedBy| f043ce3e113c962c;
d6147550e948449e -->|derive| 151987ac330b33f0;
6d92419f27367848["cli/src/cli.rs"];
class 6d92419f27367848 default;
click 6d92419f27367848 "cli/src/cli.rs";
151987ac330b33f0 -->|satisfiedBy| 6d92419f27367848;
aa0001a9a4f32faf["core/src/diagrams.rs"];
class aa0001a9a4f32faf default;
click aa0001a9a4f32faf "core/src/diagrams.rs";
151987ac330b33f0 -->|satisfiedBy| aa0001a9a4f32faf;
d6147550e948449e -->|derive| a68fbec67469256b;
40dc96e7a84976ae["cli/src/cli.rs"];
class 40dc96e7a84976ae default;
click 40dc96e7a84976ae "cli/src/cli.rs";
a68fbec67469256b -->|satisfiedBy| 40dc96e7a84976ae;
a68fbec67469256b -->|verifiedBy| 2f4e61e9544880a6;
9b674c5a2b024f61["tests/test-assets/test.sh"];
class 9b674c5a2b024f61 default;
click 9b674c5a2b024f61 "tests/test-assets/test.sh";
2f4e61e9544880a6 -->|satisfiedBy| 9b674c5a2b024f61;
d6147550e948449e -->|derive| 7ef6cb0e4258e1bc;
17b090726b865638["cli/src/cli.rs"];
class 17b090726b865638 default;
click 17b090726b865638 "cli/src/cli.rs";
7ef6cb0e4258e1bc -->|satisfiedBy| 17b090726b865638;
7ef6cb0e4258e1bc -->|verifiedBy| c40e17e0f8f2b5ec;
b1bcccc4ee032e7["tests/test-subdirectory-functionality/test.sh"];
class b1bcccc4ee032e7 default;
click b1bcccc4ee032e7 "tests/test-subdirectory-functionality/test.sh";
c40e17e0f8f2b5ec -->|satisfiedBy| b1bcccc4ee032e7;
7ef6cb0e4258e1bc -->|verifiedBy| d4a6f578d691e888;
752bb8edddbf55a["tests/test-crud-manipulation/test.sh"];
class 752bb8edddbf55a default;
click 752bb8edddbf55a "tests/test-crud-manipulation/test.sh";
d4a6f578d691e888 -->|satisfiedBy| 752bb8edddbf55a;
d6147550e948449e -->|derive| d9c57dd799158af9;
9b6588c5926ee893["cli/src/cli.rs"];
class 9b6588c5926ee893 default;
click 9b6588c5926ee893 "cli/src/cli.rs";
d9c57dd799158af9 -->|satisfiedBy| 9b6588c5926ee893;
d9c57dd799158af9 -->|verifiedBy| 7d317f5d862a0785;
57db352284aa2eb7["tests/test-crud-manipulation/test.sh"];
class 57db352284aa2eb7 default;
click 57db352284aa2eb7 "tests/test-crud-manipulation/test.sh";
7d317f5d862a0785 -->|satisfiedBy| 57db352284aa2eb7;
f4ef75822fec2683["tests/test-subdirectory-functionality/test.sh"];
class f4ef75822fec2683 default;
click f4ef75822fec2683 "tests/test-subdirectory-functionality/test.sh";
7d317f5d862a0785 -->|satisfiedBy| f4ef75822fec2683;
d6147550e948449e -->|derive| 91025cd88b1df4f0;
5eb6b6a2b2c7eece["cli/src/cli.rs"];
class 5eb6b6a2b2c7eece default;
click 5eb6b6a2b2c7eece "cli/src/cli.rs";
91025cd88b1df4f0 -->|satisfiedBy| 5eb6b6a2b2c7eece;
91025cd88b1df4f0 -->|verifiedBy| 9ae645d347d4b31a;
55e78bf01c0ba400["tests/test-assets/test.sh"];
class 55e78bf01c0ba400 default;
click 55e78bf01c0ba400 "tests/test-assets/test.sh";
9ae645d347d4b31a -->|satisfiedBy| 55e78bf01c0ba400;
d6147550e948449e -->|derive| 1f8022dac203e679;
91881effccea3ee0["cli/src/cli.rs"];
class 91881effccea3ee0 default;
click 91881effccea3ee0 "cli/src/cli.rs";
1f8022dac203e679 -->|satisfiedBy| 91881effccea3ee0;
1f8022dac203e679 -->|verifiedBy| c5f295328df58029;
bb17619a5dff50["tests/test-crud-manipulation/test.sh"];
class bb17619a5dff50 default;
click bb17619a5dff50 "tests/test-crud-manipulation/test.sh";
c5f295328df58029 -->|satisfiedBy| bb17619a5dff50;
d6147550e948449e -->|derive| 2f51b946a8587225;
3361e119f62e980f["cli/src/cli.rs"];
class 3361e119f62e980f default;
click 3361e119f62e980f "cli/src/cli.rs";
2f51b946a8587225 -->|satisfiedBy| 3361e119f62e980f;
2f51b946a8587225 -->|verifiedBy| 7701c4bcfa966fe6;
804b03091680daf5["tests/test-crud-manipulation/test.sh"];
class 804b03091680daf5 default;
click 804b03091680daf5 "tests/test-crud-manipulation/test.sh";
7701c4bcfa966fe6 -->|satisfiedBy| 804b03091680daf5;
d6147550e948449e -->|derive| ee7ad64abb668237;
1ae8921feff19ef6["cli/src/cli.rs"];
class 1ae8921feff19ef6 default;
click 1ae8921feff19ef6 "cli/src/cli.rs";
ee7ad64abb668237 -->|satisfiedBy| 1ae8921feff19ef6;
ee7ad64abb668237 -->|verifiedBy| 3c9f85ce80e7b0c;
51957cf2a3b7ba33["tests/test-resources-report/test.sh"];
class 51957cf2a3b7ba33 default;
click 51957cf2a3b7ba33 "tests/test-resources-report/test.sh";
3c9f85ce80e7b0c -->|satisfiedBy| 51957cf2a3b7ba33;
d6147550e948449e -->|derive| d2fc543d82f61bbb;
9688f506bbbff5b5["cli/src/cli.rs"];
class 9688f506bbbff5b5 default;
click 9688f506bbbff5b5 "cli/src/cli.rs";
d2fc543d82f61bbb -->|satisfiedBy| 9688f506bbbff5b5;
d2fc543d82f61bbb -->|verifiedBy| 29ee19ee5dd27edc;
2943b1395fd00b22["tests/test-assets/test.sh"];
class 2943b1395fd00b22 default;
click 2943b1395fd00b22 "tests/test-assets/test.sh";
29ee19ee5dd27edc -->|satisfiedBy| 2943b1395fd00b22;
d2fc543d82f61bbb -->|verifiedBy| 246afbd94e01647b;
7b97a8a8867bb1f6["tests/test-search-all-features/test.sh"];
class 7b97a8a8867bb1f6 default;
click 7b97a8a8867bb1f6 "tests/test-search-all-features/test.sh";
246afbd94e01647b -->|satisfiedBy| 7b97a8a8867bb1f6;
d6147550e948449e -->|derive| 9578836eb8e0fc6;
9578836eb8e0fc6 -->|derive| 43f4a4bb333138eb;
8749541abc60480b["core/src/verification_trace.rs"];
class 8749541abc60480b default;
click 8749541abc60480b "core/src/verification_trace.rs";
43f4a4bb333138eb -->|satisfiedBy| 8749541abc60480b;
43f4a4bb333138eb -->|verifiedBy| e2664857a303b33e;
ddaaa14eb884e706["tests/test-verification-traces/test.sh"];
class ddaaa14eb884e706 default;
click ddaaa14eb884e706 "tests/test-verification-traces/test.sh";
e2664857a303b33e -->|satisfiedBy| ddaaa14eb884e706;
5ee0b6a0d7eedbbd["cli/src/cli.rs"];
class 5ee0b6a0d7eedbbd default;
click 5ee0b6a0d7eedbbd "cli/src/cli.rs";
9578836eb8e0fc6 -->|satisfiedBy| 5ee0b6a0d7eedbbd;
9578836eb8e0fc6 -->|verifiedBy| e13ea8567a46f8fd;
661e5841e0f3db65["tests/test-verification-traces/test.sh"];
class 661e5841e0f3db65 default;
click 661e5841e0f3db65 "tests/test-verification-traces/test.sh";
e13ea8567a46f8fd -->|satisfiedBy| 661e5841e0f3db65;
9578836eb8e0fc6 -->|verifiedBy| fb056d10eb059222;
43d469b34b4c9241["tests/test-verification-traces/test.sh"];
class 43d469b34b4c9241 default;
click 43d469b34b4c9241 "tests/test-verification-traces/test.sh";
fb056d10eb059222 -->|satisfiedBy| 43d469b34b4c9241;
d6147550e948449e -->|derive| 62f24ccbcd1f428a;
ee5375341f6073cf["core/src/error.rs"];
class ee5375341f6073cf default;
click ee5375341f6073cf "core/src/error.rs";
62f24ccbcd1f428a -->|satisfiedBy| ee5375341f6073cf;
d6147550e948449e -->|derive| 8d334537008d94ba;
e2ed2f6a1d33af0c["cli/src/cli.rs"];
class e2ed2f6a1d33af0c default;
click e2ed2f6a1d33af0c "cli/src/cli.rs";
8d334537008d94ba -->|satisfiedBy| e2ed2f6a1d33af0c;
8d334537008d94ba -->|verifiedBy| c89bd750e0ad5b9d;
b2b49f04e9ce270e["tests/test-element-ordering/test.sh"];
class b2b49f04e9ce270e default;
click b2b49f04e9ce270e "tests/test-element-ordering/test.sh";
c89bd750e0ad5b9d -->|satisfiedBy| b2b49f04e9ce270e;
8d334537008d94ba -->|verifiedBy| ccbfdf0d74ac48bf;
a09491d6995b15df["tests/test-advanced-format/test.sh"];
class a09491d6995b15df default;
click a09491d6995b15df "tests/test-advanced-format/test.sh";
ccbfdf0d74ac48bf -->|satisfiedBy| a09491d6995b15df;
8d334537008d94ba -->|verifiedBy| 5df244b54d1b239c;
c1a76e8a064e4b8e["tests/test-format-full-relations/test.sh"];
class c1a76e8a064e4b8e default;
click c1a76e8a064e4b8e "tests/test-format-full-relations/test.sh";
5df244b54d1b239c -->|satisfiedBy| c1a76e8a064e4b8e;
d6147550e948449e -->|derive| c04221154b7fc90d;
42f625e29cf34df["cli/src/cli.rs"];
class 42f625e29cf34df default;
click 42f625e29cf34df "cli/src/cli.rs";
c04221154b7fc90d -->|satisfiedBy| 42f625e29cf34df;
c04221154b7fc90d -->|verifiedBy| 410dbe84dc2c3481;
f8dc158b8c93a9bf["tests/test-duplicate-detection/test.sh"];
class f8dc158b8c93a9bf default;
click f8dc158b8c93a9bf "tests/test-duplicate-detection/test.sh";
410dbe84dc2c3481 -->|satisfiedBy| f8dc158b8c93a9bf;
c04221154b7fc90d -->|verifiedBy| ea3a2bf2fbe74057;
d392696c9751599d["tests/test-link-unlink/test.sh"];
class d392696c9751599d default;
click d392696c9751599d "tests/test-link-unlink/test.sh";
ea3a2bf2fbe74057 -->|satisfiedBy| d392696c9751599d;
c04221154b7fc90d -->|verifiedBy| 9f8ff23aca853fa0;
6919afeb9ccc2868["tests/test-link-unlink/test.sh"];
class 6919afeb9ccc2868 default;
click 6919afeb9ccc2868 "tests/test-link-unlink/test.sh";
9f8ff23aca853fa0 -->|satisfiedBy| 6919afeb9ccc2868;
d6147550e948449e -->|derive| a8750da2c3580220;
29d1df2e687d67f["cli/src/cli.rs"];
class 29d1df2e687d67f default;
click 29d1df2e687d67f "cli/src/cli.rs";
a8750da2c3580220 -->|satisfiedBy| 29d1df2e687d67f;
a8750da2c3580220 -->|verifiedBy| ad323c8d4c0751e;
a5f04bd49870765b["tests/test-invalid-relations/test.sh"];
class a5f04bd49870765b default;
click a5f04bd49870765b "tests/test-invalid-relations/test.sh";
ad323c8d4c0751e -->|satisfiedBy| a5f04bd49870765b;
5d1def2cd934c081["cli/src/cli.rs"];
class 5d1def2cd934c081 default;
click 5d1def2cd934c081 "cli/src/cli.rs";
d6147550e948449e -->|satisfiedBy| 5d1def2cd934c081;
c0d2b45b8534b0ce -->|derive| ea7f8e1ac2ba1ba4;
ea7f8e1ac2ba1ba4 -->|derive| 343e7b2d42df05e8;
343e7b2d42df05e8 -->|derive| e03d9fc7fee23cbf;
468ab3ed8edc7f3a["core/src/export.rs"];
class 468ab3ed8edc7f3a default;
click 468ab3ed8edc7f3a "core/src/export.rs";
e03d9fc7fee23cbf -->|satisfiedBy| 468ab3ed8edc7f3a;
e03d9fc7fee23cbf -->|verifiedBy| 10fd7a6a648e333a;
fc31450e11652b50["tests/test-attachment-export/test.sh"];
class fc31450e11652b50 default;
click fc31450e11652b50 "tests/test-attachment-export/test.sh";
10fd7a6a648e333a -->|satisfiedBy| fc31450e11652b50;
343e7b2d42df05e8 -->|derive| 1a4bd1d4cf59c6c3;
9aa1f8b8e3ebb5f9["core/src/containment.rs"];
class 9aa1f8b8e3ebb5f9 default;
click 9aa1f8b8e3ebb5f9 "core/src/containment.rs";
1a4bd1d4cf59c6c3 -->|satisfiedBy| 9aa1f8b8e3ebb5f9;
1a4bd1d4cf59c6c3 -->|verifiedBy| 4761515e40f428b4;
d6dcf2c347736b76["tests/test-attachment-export/test.sh"];
class d6dcf2c347736b76 default;
click d6dcf2c347736b76 "tests/test-attachment-export/test.sh";
4761515e40f428b4 -->|satisfiedBy| d6dcf2c347736b76;
343e7b2d42df05e8 -->|derive| 399558ec4fcaeca;
c9187fbea0d0907["core/src/diagrams.rs"];
class c9187fbea0d0907 default;
click c9187fbea0d0907 "core/src/diagrams.rs";
399558ec4fcaeca -->|satisfiedBy| c9187fbea0d0907;
399558ec4fcaeca -->|verifiedBy| 55142ee2c012c875;
a196152170a2bc60["tests/test-attachment-export/test.sh"];
class a196152170a2bc60 default;
click a196152170a2bc60 "tests/test-attachment-export/test.sh";
55142ee2c012c875 -->|satisfiedBy| a196152170a2bc60;
343e7b2d42df05e8 -->|derive| 27d051a7dc8ddd3d;
27d051a7dc8ddd3d -->|derive| d9d538e0add3a7ee;
a1e3a448555b4587["core/src/report_model.rs"];
class a1e3a448555b4587 default;
click a1e3a448555b4587 "core/src/report_model.rs";
d9d538e0add3a7ee -->|satisfiedBy| a1e3a448555b4587;
d9d538e0add3a7ee -->|verifiedBy| 5e30c180284e9196;
25bd8a893f4bc1a7["tests/test-model-command/test.sh"];
class 25bd8a893f4bc1a7 default;
click 25bd8a893f4bc1a7 "tests/test-model-command/test.sh";
5e30c180284e9196 -->|satisfiedBy| 25bd8a893f4bc1a7;
4120dde699bcf51c["core/src/export.rs"];
class 4120dde699bcf51c default;
click 4120dde699bcf51c "core/src/export.rs";
27d051a7dc8ddd3d -->|satisfiedBy| 4120dde699bcf51c;
c81e4d505865dde9["core/src/report_model.rs"];
class c81e4d505865dde9 default;
click c81e4d505865dde9 "core/src/report_model.rs";
27d051a7dc8ddd3d -->|satisfiedBy| c81e4d505865dde9;
343e7b2d42df05e8 -->|derive| 965615d978d68cf5;
387c839ccefa6c7d["core/src/containment.rs"];
class 387c839ccefa6c7d default;
click 387c839ccefa6c7d "core/src/containment.rs";
965615d978d68cf5 -->|satisfiedBy| 387c839ccefa6c7d;
60eb1da4898808e1["core/src/html/layouts.rs"];
class 60eb1da4898808e1 default;
click 60eb1da4898808e1 "core/src/html/layouts.rs";
965615d978d68cf5 -->|satisfiedBy| 60eb1da4898808e1;
c2c9c85d59ad3b14["core/src/html/styles.rs"];
class c2c9c85d59ad3b14 default;
click c2c9c85d59ad3b14 "core/src/html/styles.rs";
965615d978d68cf5 -->|satisfiedBy| c2c9c85d59ad3b14;
965615d978d68cf5 -->|satisfiedBy| faac557edc3096ee;
e2039b4d20aa7e37["cli/src/cli.rs"];
class e2039b4d20aa7e37 default;
click e2039b4d20aa7e37 "cli/src/cli.rs";
343e7b2d42df05e8 -->|satisfiedBy| e2039b4d20aa7e37;
3a2e2d82421ca367["core/src/export.rs"];
class 3a2e2d82421ca367 default;
click 3a2e2d82421ca367 "core/src/export.rs";
343e7b2d42df05e8 -->|satisfiedBy| 3a2e2d82421ca367;
f96c83718cf0fb34["core/src/html/layouts.rs"];
class f96c83718cf0fb34 default;
click f96c83718cf0fb34 "core/src/html/layouts.rs";
343e7b2d42df05e8 -->|satisfiedBy| f96c83718cf0fb34;
4d837d56f423560b["core/src/html/mod.rs"];
class 4d837d56f423560b default;
click 4d837d56f423560b "core/src/html/mod.rs";
343e7b2d42df05e8 -->|satisfiedBy| 4d837d56f423560b;
4fa12d9501ad10ee["core/src/html_export.rs"];
class 4fa12d9501ad10ee default;
click 4fa12d9501ad10ee "core/src/html_export.rs";
343e7b2d42df05e8 -->|satisfiedBy| 4fa12d9501ad10ee;
8dc4241bfc2fbd5f["core/src/index_generator.rs"];
class 8dc4241bfc2fbd5f default;
click 8dc4241bfc2fbd5f "core/src/index_generator.rs";
343e7b2d42df05e8 -->|satisfiedBy| 8dc4241bfc2fbd5f;
343e7b2d42df05e8 -->|satisfiedBy| 2c269288950887aa;
343e7b2d42df05e8 -->|satisfiedBy| ac8ced009233741a;
343e7b2d42df05e8 -->|satisfiedBy| 32592aed4644ac95;
343e7b2d42df05e8 -->|satisfiedBy| 1c6c804d67bc741e;
343e7b2d42df05e8 -->|satisfiedBy| 945adb3f0ea1012e;
343e7b2d42df05e8 -->|verifiedBy| a7eeaf4fd1d17030;
5cf91c9c2f7c9b34["tests/test-html-export/test.sh"];
class 5cf91c9c2f7c9b34 default;
click 5cf91c9c2f7c9b34 "tests/test-html-export/test.sh";
a7eeaf4fd1d17030 -->|satisfiedBy| 5cf91c9c2f7c9b34;
ea7f8e1ac2ba1ba4 -->|derive| 9b566692fe070492;
d1bcd57e3c7e17cd["cli/src/cli.rs"];
class d1bcd57e3c7e17cd default;
click d1bcd57e3c7e17cd "cli/src/cli.rs";
9b566692fe070492 -->|satisfiedBy| d1bcd57e3c7e17cd;
c5681d153df12b64["cli/src/serve.rs"];
class c5681d153df12b64 default;
click c5681d153df12b64 "cli/src/serve.rs";
9b566692fe070492 -->|satisfiedBy| c5681d153df12b64;
9b566692fe070492 -->|verifiedBy| d48ee06d20b13bcc;
c4fb262a52b372c6["tests/test-serve-command/test.sh"];
class c4fb262a52b372c6 default;
click c4fb262a52b372c6 "tests/test-serve-command/test.sh";
d48ee06d20b13bcc -->|satisfiedBy| c4fb262a52b372c6;
ea7f8e1ac2ba1ba4 -->|derive| bb0ee0a283e500e8;
bb0ee0a283e500e8 -->|derive| fa0ecb1299582ab;
fa0ecb1299582ab -->|verifiedBy| cd4d13fa425c5ad;
fa0ecb1299582ab -->|verifiedBy| 79ec057500b741e;
142a88a92d746773["tests/test-html-generation/test.sh"];
class 142a88a92d746773 default;
click 142a88a92d746773 "tests/test-html-generation/test.sh";
79ec057500b741e -->|satisfiedBy| 142a88a92d746773;
bb0ee0a283e500e8 -->|derive| 4e47e768f2a254cb;
4e47e768f2a254cb -->|derive| ac6971954304c571;
ac6971954304c571 -->|verifiedBy| 6c8b966ffd2cffc4;
b8d46363faf6e8c0["tests/test-html-generation/test.sh"];
class b8d46363faf6e8c0 default;
click b8d46363faf6e8c0 "tests/test-html-generation/test.sh";
6c8b966ffd2cffc4 -->|satisfiedBy| b8d46363faf6e8c0;
4e47e768f2a254cb -->|verifiedBy| 3d80dd755086873a;
c1fd4658bb04e004["tests/test-html-generation/test.sh"];
class c1fd4658bb04e004 default;
click c1fd4658bb04e004 "tests/test-html-generation/test.sh";
3d80dd755086873a -->|satisfiedBy| c1fd4658bb04e004;
bb0ee0a283e500e8 -->|derive| f5edec5aaf14290d;
f5edec5aaf14290d -->|verifiedBy| 73786e8c37d9673f;
5426ade6c9e459db["tests/test-html-generation/test.sh"];
class 5426ade6c9e459db default;
click 5426ade6c9e459db "tests/test-html-generation/test.sh";
73786e8c37d9673f -->|satisfiedBy| 5426ade6c9e459db;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
83e059965299c4d9["Trace Changes in System Model"];
class 83e059965299c4d9 userRequirement;
click 83e059965299c4d9 "requirements/UserStories.html#trace-changes-in-system-model";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
3758f5f1c504cd42["Attachments Change Impact Verification"];
class 3758f5f1c504cd42 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"];
class 9acde25d23600635 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"];
class a27cb4ff2637ed4a systemRequirement;
click a27cb4ff2637ed4a "requirements/Functional/Processing/ChangeImpact.html#change-impact-detection";
1868da177a2e8ffd["Requirements Change Propagation
📎 requirements/Functional/Processing/DesignDocuments/ChangePropagation.md"];
class 1868da177a2e8ffd systemRequirement;
click 1868da177a2e8ffd "requirements/Functional/Processing/ChangeImpact.html#requirements-change-propagation";
27ee21b54c142739["Structural Change Analyzer"];
class 27ee21b54c142739 systemRequirement;
click 27ee21b54c142739 "requirements/Functional/Processing/ChangeImpact.html#structural-change-analyzer";
end
end
subgraph 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph de803263fbe70715["📄 ChangeImpactVerifications.md"]
dc9eb3da0c5e0ed0["Change Impact Detection Test"];
class dc9eb3da0c5e0ed0 verification;
click dc9eb3da0c5e0ed0 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-detection-test";
b5f861c2be8eddab["Change Impact Relations Test"];
class b5f861c2be8eddab verification;
click b5f861c2be8eddab "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-relations-test";
1b778e17c237657e["Change Impact Smart Filtering Test"];
class 1b778e17c237657e verification;
click 1b778e17c237657e "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#change-impact-smart-filtering-test";
d7a45cebd272c16["Element Content Extraction Test"];
class d7a45cebd272c16 verification;
click d7a45cebd272c16 "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#element-content-extraction-test";
129e024331e2ae9e["Structural Change Reports Verification"];
class 129e024331e2ae9e verification;
click 129e024331e2ae9e "requirements/Functional/Processing/Verifications/ChangeImpactVerifications.html#structural-change-reports-verification";
end
end
83e059965299c4d9 -->|derive| 9acde25d23600635;
9acde25d23600635 -->|derive| a27cb4ff2637ed4a;
a27cb4ff2637ed4a -->|derive| 1868da177a2e8ffd;
26b3ab60eddf432["core/src/change_impact.rs"];
class 26b3ab60eddf432 default;
click 26b3ab60eddf432 "core/src/change_impact.rs";
1868da177a2e8ffd -->|satisfiedBy| 26b3ab60eddf432;
1868da177a2e8ffd -->|verifiedBy| dc9eb3da0c5e0ed0;
b5c996e41fe2b715["tests/test-change-impact-detection/test.sh"];
class b5c996e41fe2b715 default;
click b5c996e41fe2b715 "tests/test-change-impact-detection/test.sh";
dc9eb3da0c5e0ed0 -->|satisfiedBy| b5c996e41fe2b715;
4e0729fcca5c3e0e["tests/test-change-impact-element-relocation/test.sh"];
class 4e0729fcca5c3e0e default;
click 4e0729fcca5c3e0e "tests/test-change-impact-element-relocation/test.sh";
dc9eb3da0c5e0ed0 -->|satisfiedBy| 4e0729fcca5c3e0e;
1868da177a2e8ffd -->|verifiedBy| b5f861c2be8eddab;
86b539796edf847c["tests/test-change-impact-detection/test.sh"];
class 86b539796edf847c default;
click 86b539796edf847c "tests/test-change-impact-detection/test.sh";
b5f861c2be8eddab -->|satisfiedBy| 86b539796edf847c;
1868da177a2e8ffd -->|verifiedBy| 1b778e17c237657e;
2bbf1d110a3c3937["tests/test-change-impact-smart-filtering/test.sh"];
class 2bbf1d110a3c3937 default;
click 2bbf1d110a3c3937 "tests/test-change-impact-smart-filtering/test.sh";
1b778e17c237657e -->|satisfiedBy| 2bbf1d110a3c3937;
1868da177a2e8ffd -->|verifiedBy| d7a45cebd272c16;
a891143c88cd9440["tests/test-element-content-extraction/test.sh"];
class a891143c88cd9440 default;
click a891143c88cd9440 "tests/test-element-content-extraction/test.sh";
d7a45cebd272c16 -->|satisfiedBy| a891143c88cd9440;
a27cb4ff2637ed4a -->|derive| 27ee21b54c142739;
106d495de10b9d82["core/src/change_impact.rs"];
class 106d495de10b9d82 default;
click 106d495de10b9d82 "core/src/change_impact.rs";
27ee21b54c142739 -->|satisfiedBy| 106d495de10b9d82;
d57bffff08214ebe["core/src/change_impact.rs"];
class d57bffff08214ebe default;
click d57bffff08214ebe "core/src/change_impact.rs";
a27cb4ff2637ed4a -->|satisfiedBy| d57bffff08214ebe;
a27cb4ff2637ed4a -->|verifiedBy| 3758f5f1c504cd42;
100ff33eaa0d74c7["tests/test-change-impact-attachments/test.sh"];
class 100ff33eaa0d74c7 default;
click 100ff33eaa0d74c7 "tests/test-change-impact-attachments/test.sh";
3758f5f1c504cd42 -->|satisfiedBy| 100ff33eaa0d74c7;
9acde25d23600635 -->|verifiedBy| 129e024331e2ae9e;
555aa451b0a3900["tests/test-change-impact-detection/test.sh"];
class 555aa451b0a3900 default;
click 555aa451b0a3900 "tests/test-change-impact-detection/test.sh";
129e024331e2ae9e -->|satisfiedBy| 555aa451b0a3900;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
cbb3e11245e3e972["Validating Structures"];
class cbb3e11245e3e972 userRequirement;
click cbb3e11245e3e972 "requirements/UserStories.html#validating-structures";
end
end
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph d1a073c5dbdc4a00["📄 Behaviors.md"]
6789e7e9e093c884["Two-Pass Validation Behavior"];
class 6789e7e9e093c884 default;
click 6789e7e9e093c884 "requirements/Functional/Core/Behaviors.html#two-pass-validation-behavior";
5f843b087a10d61b["Type Validation Error Behavior"];
class 5f843b087a10d61b default;
click 5f843b087a10d61b "requirements/Functional/Core/Behaviors.html#type-validation-error-behavior";
fc1df5aa988472a["Validation Error Reporting Behavior"];
class fc1df5aa988472a default;
click fc1df5aa988472a "requirements/Functional/Core/Behaviors.html#validation-error-reporting-behavior";
end
subgraph 793b6191caf1a62f["📄 Constraints.md"]
c2c71cb34cb7b7c9["Cross-Section Duplicate Constraint"];
class c2c71cb34cb7b7c9 default;
click c2c71cb34cb7b7c9 "requirements/Functional/Core/Constraints.html#cross-section-duplicate-constraint";
end
subgraph 98067cc5207d6b91["📄 Validation.md"]
fcfc76ba4d193d75["Attachment Target Validation
📎 requirements/Functional/Core/DesignDocuments/ReservedSubsections.md"];
class fcfc76ba4d193d75 systemRequirement;
click fcfc76ba4d193d75 "requirements/Functional/Core/Validation.html#attachment-target-validation";
df9b3eb5275616dd["Cross-Component Dependency Validator"];
class df9b3eb5275616dd systemRequirement;
click df9b3eb5275616dd "requirements/Functional/Core/Validation.html#cross-component-dependency-validator";
14c74cc4fb33d735["Cross-Section Duplicate Validation"];
class 14c74cc4fb33d735 systemRequirement;
click 14c74cc4fb33d735 "requirements/Functional/Core/Validation.html#cross-section-duplicate-validation";
a869d98120d611e3["Enhanced Validation Error Reporting"];
class a869d98120d611e3 userRequirement;
click a869d98120d611e3 "requirements/Functional/Core/Validation.html#enhanced-validation-error-reporting";
f1ee9af5e71df06a["GraphRegistry as Primary Registry
📎 requirements/Functional/Core/Specifications.md#requirements-processing-specification"];
class f1ee9af5e71df06a systemRequirement;
click f1ee9af5e71df06a "requirements/Functional/Core/Validation.html#graphregistry-as-primary-registry";
b207bb8eb7f88839["Integrated Validation
📎 requirements/Functional/Core/Behaviors.md#two-pass-validation-behavior"];
class b207bb8eb7f88839 systemRequirement;
click b207bb8eb7f88839 "requirements/Functional/Core/Validation.html#integrated-validation";
fed54223697ea04e["Internal Consistency Validator"];
class fed54223697ea04e systemRequirement;
click fed54223697ea04e "requirements/Functional/Core/Validation.html#internal-consistency-validator";
4e665d02fddc5598["Markdown Structure Validator"];
class 4e665d02fddc5598 systemRequirement;
click 4e665d02fddc5598 "requirements/Functional/Core/Validation.html#markdown-structure-validator";
9f1021634cff7f57["Relation Element Type Validator"];
class 9f1021634cff7f57 systemRequirement;
click 9f1021634cff7f57 "requirements/Functional/Core/Validation.html#relation-element-type-validator";
dcb530333efa6cc3["Relation Type Validation"];
class dcb530333efa6cc3 systemRequirement;
click dcb530333efa6cc3 "requirements/Functional/Core/Validation.html#relation-type-validation";
32ca10d548006362["Two-Pass Validation Strategy"];
class 32ca10d548006362 systemRequirement;
click 32ca10d548006362 "requirements/Functional/Core/Validation.html#two-pass-validation-strategy";
dcd747ef36b02f8c["Type Validation Error Requirement"];
class dcd747ef36b02f8c systemRequirement;
click dcd747ef36b02f8c "requirements/Functional/Core/Validation.html#type-validation-error-requirement";
6226bc768d0185df["Validate Cross-Component Dependencies"];
class 6226bc768d0185df userRequirement;
click 6226bc768d0185df "requirements/Functional/Core/Validation.html#validate-cross-component-dependencies";
15086e20fb6e1f44["Validate Filesystem Structure"];
class 15086e20fb6e1f44 userRequirement;
click 15086e20fb6e1f44 "requirements/Functional/Core/Validation.html#validate-filesystem-structure";
ff8ff08f0c0500f0["Validate Internal Consistency"];
class ff8ff08f0c0500f0 userRequirement;
click ff8ff08f0c0500f0 "requirements/Functional/Core/Validation.html#validate-internal-consistency";
76fbd08929220b2f["Validate Markdown Structure"];
class 76fbd08929220b2f userRequirement;
click 76fbd08929220b2f "requirements/Functional/Core/Validation.html#validate-markdown-structure";
4a77e514d9e5539b["Validate Relation Types
📎 requirements/Refinements.md#relation-semantics-specification"];
class 4a77e514d9e5539b userRequirement;
click 4a77e514d9e5539b "requirements/Functional/Core/Validation.html#validate-relation-types";
e5ee40ed53dd3c3["Validation Error Handling
📎 requirements/Functional/Output/Specifications.md#error-message-format-specification"];
class e5ee40ed53dd3c3 systemRequirement;
click e5ee40ed53dd3c3 "requirements/Functional/Core/Validation.html#validation-error-handling";
end
end
subgraph 6c93988fc728d1f8["📁 requirements/Functional/Core/Verifications"]
subgraph 622a654342e7abad["📄 AttachmentsVerifications.md"]
18307065fb353848["Attachments Subsection Parsing Verification"];
class 18307065fb353848 verification;
click 18307065fb353848 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-subsection-parsing-verification";
ff62a0266193ee63["Attachments Validation Verification"];
class ff62a0266193ee63 verification;
click ff62a0266193ee63 "requirements/Functional/Core/Verifications/AttachmentsVerifications.html#attachments-validation-verification";
end
subgraph 46a9d0ceb9db210e["📄 ValidationVerifications.md"]
f0aeb8d3ad027b6e["Cross-Section Duplicate Validation Test"];
class f0aeb8d3ad027b6e verification;
click f0aeb8d3ad027b6e "requirements/Functional/Core/Verifications/ValidationVerifications.html#cross-section-duplicate-validation-test";
4bbdeefb4231596e["Element Type Relation Compatibility Test"];
class 4bbdeefb4231596e verification;
click 4bbdeefb4231596e "requirements/Functional/Core/Verifications/ValidationVerifications.html#element-type-relation-compatibility-test";
83d989f6ea529f74["Invalid Header Structure Test"];
class 83d989f6ea529f74 verification;
click 83d989f6ea529f74 "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-header-structure-test";
ad323c8d4c0751e["Invalid Relations Test"];
class ad323c8d4c0751e verification;
click ad323c8d4c0751e "requirements/Functional/Core/Verifications/ValidationVerifications.html#invalid-relations-test";
cd31aec9ae0c3ed3["Requirements Files Search and Detection Test"];
class cd31aec9ae0c3ed3 verification;
click cd31aec9ae0c3ed3 "requirements/Functional/Core/Verifications/ValidationVerifications.html#requirements-files-search-and-detection-test";
5352180257d54fb2["Same-File Fragment Relations Test"];
class 5352180257d54fb2 verification;
click 5352180257d54fb2 "requirements/Functional/Core/Verifications/ValidationVerifications.html#same-file-fragment-relations-test";
776101677ee97029["Type Validation Errors Test
📎 requirements/Functional/Core/Behaviors.md#type-validation-error-behavior"];
class 776101677ee97029 verification;
click 776101677ee97029 "requirements/Functional/Core/Verifications/ValidationVerifications.html#type-validation-errors-test";
end
end
subgraph 75874bcc96c01d2f["📁 requirements/Functional/Operations/Verifications"]
subgraph 264302f069db5bdb["📄 ElementManipulationVerifications.md"]
f7d422af274a64cf["Add Command Error Messages Test"];
class f7d422af274a64cf verification;
click f7d422af274a64cf "requirements/Functional/Operations/Verifications/ElementManipulationVerifications.html#add-command-error-messages-test";
end
end
cbb3e11245e3e972 -->|derive| a869d98120d611e3;
a869d98120d611e3 -->|derive| dcb530333efa6cc3;
3638f0a3ab70da46["core/src/relation.rs"];
class 3638f0a3ab70da46 default;
click 3638f0a3ab70da46 "core/src/relation.rs";
dcb530333efa6cc3 -->|satisfiedBy| 3638f0a3ab70da46;
dcb530333efa6cc3 -->|verifiedBy| ad323c8d4c0751e;
a5f04bd49870765b["tests/test-invalid-relations/test.sh"];
class a5f04bd49870765b default;
click a5f04bd49870765b "tests/test-invalid-relations/test.sh";
ad323c8d4c0751e -->|satisfiedBy| a5f04bd49870765b;
dcb530333efa6cc3 -->|verifiedBy| 5352180257d54fb2;
1f022713289297b["tests/test-fragment-relations/test.sh"];
class 1f022713289297b default;
click 1f022713289297b "tests/test-fragment-relations/test.sh";
5352180257d54fb2 -->|satisfiedBy| 1f022713289297b;
a869d98120d611e3 -->|derive| dcd747ef36b02f8c;
fdf4b2784432c89c["core/src/element.rs"];
class fdf4b2784432c89c default;
click fdf4b2784432c89c "core/src/element.rs";
dcd747ef36b02f8c -->|satisfiedBy| fdf4b2784432c89c;
a7ce87d84eb1fdc8["core/src/relation.rs"];
class a7ce87d84eb1fdc8 default;
click a7ce87d84eb1fdc8 "core/src/relation.rs";
dcd747ef36b02f8c -->|satisfiedBy| a7ce87d84eb1fdc8;
dcd747ef36b02f8c -->|satisfiedBy| 5f843b087a10d61b;
dcd747ef36b02f8c -->|verifiedBy| 776101677ee97029;
973a4b5df1c67a7d["tests/test-type-validation-errors/test.sh"];
class 973a4b5df1c67a7d default;
click 973a4b5df1c67a7d "tests/test-type-validation-errors/test.sh";
776101677ee97029 -->|satisfiedBy| 973a4b5df1c67a7d;
a869d98120d611e3 -->|derive| e5ee40ed53dd3c3;
8ec56d9764718485["core/src/error.rs"];
class 8ec56d9764718485 default;
click 8ec56d9764718485 "core/src/error.rs";
e5ee40ed53dd3c3 -->|satisfiedBy| 8ec56d9764718485;
6e6ec9923d9eec97["core/src/model.rs"];
class 6e6ec9923d9eec97 default;
click 6e6ec9923d9eec97 "core/src/model.rs";
e5ee40ed53dd3c3 -->|satisfiedBy| 6e6ec9923d9eec97;
27ae6ed47f3232b0["core/src/error.rs"];
class 27ae6ed47f3232b0 default;
click 27ae6ed47f3232b0 "core/src/error.rs";
a869d98120d611e3 -->|satisfiedBy| 27ae6ed47f3232b0;
a869d98120d611e3 -->|satisfiedBy| fc1df5aa988472a;
a869d98120d611e3 -->|verifiedBy| f7d422af274a64cf;
5f4bcd49fa479e1b["tests/test-add-command-error-messages/test.sh"];
class 5f4bcd49fa479e1b default;
click 5f4bcd49fa479e1b "tests/test-add-command-error-messages/test.sh";
f7d422af274a64cf -->|satisfiedBy| 5f4bcd49fa479e1b;
cbb3e11245e3e972 -->|derive| 6226bc768d0185df;
6226bc768d0185df -->|derive| df9b3eb5275616dd;
a27bba83ffbda077["core/src/model.rs"];
class a27bba83ffbda077 default;
click a27bba83ffbda077 "core/src/model.rs";
df9b3eb5275616dd -->|satisfiedBy| a27bba83ffbda077;
dcf3e39c4a2b95c5["core/src/parser.rs"];
class dcf3e39c4a2b95c5 default;
click dcf3e39c4a2b95c5 "core/src/parser.rs";
df9b3eb5275616dd -->|satisfiedBy| dcf3e39c4a2b95c5;
cbb3e11245e3e972 -->|derive| 15086e20fb6e1f44;
cbb3e11245e3e972 -->|derive| ff8ff08f0c0500f0;
ff8ff08f0c0500f0 -->|derive| fcfc76ba4d193d75;
201a10b440551625["core/src/model.rs"];
class 201a10b440551625 default;
click 201a10b440551625 "core/src/model.rs";
fcfc76ba4d193d75 -->|satisfiedBy| 201a10b440551625;
cea7b35fbc99dd96["core/src/parser.rs"];
class cea7b35fbc99dd96 default;
click cea7b35fbc99dd96 "core/src/parser.rs";
fcfc76ba4d193d75 -->|satisfiedBy| cea7b35fbc99dd96;
fcfc76ba4d193d75 -->|verifiedBy| 18307065fb353848;
ddee253d1d107087["tests/test-assets/test.sh"];
class ddee253d1d107087 default;
click ddee253d1d107087 "tests/test-assets/test.sh";
18307065fb353848 -->|satisfiedBy| ddee253d1d107087;
fcfc76ba4d193d75 -->|verifiedBy| ff62a0266193ee63;
6a467797b01196cd["tests/test-assets/test.sh"];
class 6a467797b01196cd default;
click 6a467797b01196cd "tests/test-assets/test.sh";
ff62a0266193ee63 -->|satisfiedBy| 6a467797b01196cd;
ff8ff08f0c0500f0 -->|derive| f1ee9af5e71df06a;
bc2b62e860900c2["core/src/graph_registry.rs"];
class bc2b62e860900c2 default;
click bc2b62e860900c2 "core/src/graph_registry.rs";
f1ee9af5e71df06a -->|satisfiedBy| bc2b62e860900c2;
4fbbedc7cdf00a58["core/src/model.rs"];
class 4fbbedc7cdf00a58 default;
click 4fbbedc7cdf00a58 "core/src/model.rs";
f1ee9af5e71df06a -->|satisfiedBy| 4fbbedc7cdf00a58;
f1ee9af5e71df06a -->|verifiedBy| cd31aec9ae0c3ed3;
abe8c73252d203e1["tests/test-excluded-patterns/test.sh"];
class abe8c73252d203e1 default;
click abe8c73252d203e1 "tests/test-excluded-patterns/test.sh";
cd31aec9ae0c3ed3 -->|satisfiedBy| abe8c73252d203e1;
ff8ff08f0c0500f0 -->|derive| b207bb8eb7f88839;
d29243be1bbc0da5["cli/src/cli.rs"];
class d29243be1bbc0da5 default;
click d29243be1bbc0da5 "cli/src/cli.rs";
b207bb8eb7f88839 -->|satisfiedBy| d29243be1bbc0da5;
ff8ff08f0c0500f0 -->|derive| fed54223697ea04e;
fed54223697ea04e -->|derive| 14c74cc4fb33d735;
f89def9a8615b547["core/src/model.rs"];
class f89def9a8615b547 default;
click f89def9a8615b547 "core/src/model.rs";
14c74cc4fb33d735 -->|satisfiedBy| f89def9a8615b547;
14c74cc4fb33d735 -->|satisfiedBy| c2c71cb34cb7b7c9;
14c74cc4fb33d735 -->|verifiedBy| f0aeb8d3ad027b6e;
bbeb2317b7e52f0a["tests/test-duplicate-detection/test.sh"];
class bbeb2317b7e52f0a default;
click bbeb2317b7e52f0a "tests/test-duplicate-detection/test.sh";
f0aeb8d3ad027b6e -->|satisfiedBy| bbeb2317b7e52f0a;
d2958af8eb995b7e["core/src/model.rs"];
class d2958af8eb995b7e default;
click d2958af8eb995b7e "core/src/model.rs";
fed54223697ea04e -->|satisfiedBy| d2958af8eb995b7e;
5aad72a0e15d54bf["core/src/parser.rs"];
class 5aad72a0e15d54bf default;
click 5aad72a0e15d54bf "core/src/parser.rs";
fed54223697ea04e -->|satisfiedBy| 5aad72a0e15d54bf;
ff8ff08f0c0500f0 -->|derive| 32ca10d548006362;
146c99cb80436111["core/src/model.rs"];
class 146c99cb80436111 default;
click 146c99cb80436111 "core/src/model.rs";
32ca10d548006362 -->|satisfiedBy| 146c99cb80436111;
32ca10d548006362 -->|satisfiedBy| 6789e7e9e093c884;
cbb3e11245e3e972 -->|derive| 76fbd08929220b2f;
76fbd08929220b2f -->|derive| 4e665d02fddc5598;
525bfede82a6c28e["core/src/model.rs"];
class 525bfede82a6c28e default;
click 525bfede82a6c28e "core/src/model.rs";
4e665d02fddc5598 -->|satisfiedBy| 525bfede82a6c28e;
fdf991cddaf25364["core/src/parser.rs"];
class fdf991cddaf25364 default;
click fdf991cddaf25364 "core/src/parser.rs";
4e665d02fddc5598 -->|satisfiedBy| fdf991cddaf25364;
4e665d02fddc5598 -->|verifiedBy| 83d989f6ea529f74;
5378f1cf7039fcb5["tests/test-invalid-relations/test.sh"];
class 5378f1cf7039fcb5 default;
click 5378f1cf7039fcb5 "tests/test-invalid-relations/test.sh";
83d989f6ea529f74 -->|satisfiedBy| 5378f1cf7039fcb5;
cbb3e11245e3e972 -->|derive| 4a77e514d9e5539b;
4a77e514d9e5539b -->|derive| 9f1021634cff7f57;
854cac4e38f685af["core/src/graph_registry.rs"];
class 854cac4e38f685af default;
click 854cac4e38f685af "core/src/graph_registry.rs";
9f1021634cff7f57 -->|satisfiedBy| 854cac4e38f685af;
d4af297327cc6594["core/src/model.rs"];
class d4af297327cc6594 default;
click d4af297327cc6594 "core/src/model.rs";
9f1021634cff7f57 -->|satisfiedBy| d4af297327cc6594;
410741ef2423b052["core/src/parser.rs"];
class 410741ef2423b052 default;
click 410741ef2423b052 "core/src/parser.rs";
9f1021634cff7f57 -->|satisfiedBy| 410741ef2423b052;
9f1021634cff7f57 -->|verifiedBy| 4bbdeefb4231596e;
e63eed117d3bb0b1["tests/test-element-type-relation-compatibility/test.sh"];
class e63eed117d3bb0b1 default;
click e63eed117d3bb0b1 "tests/test-element-type-relation-compatibility/test.sh";
4bbdeefb4231596e -->|satisfiedBy| e63eed117d3bb0b1;
Type: user-requirement
File: requirements/UserStories.html
graph TD
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
subgraph 68908f1dbfe487c0["📁 requirements"]
subgraph d5afb8f4e2d93d2e["📄 UserStories.md"]
94ec480b9c666ad["Verification Traceability"];
class 94ec480b9c666ad userRequirement;
click 94ec480b9c666ad "requirements/UserStories.html#verification-traceability";
end
end
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 1fca82108d7bd4a6["📄 Specifications.md"]
ee8cad76216ab553["Verification Roll-up Specification"];
class ee8cad76216ab553 default;
click ee8cad76216ab553 "requirements/Functional/Processing/Specifications.html#verification-roll-up-specification";
121cd27aa4d9a897["Verification Trace Tree Construction"];
class 121cd27aa4d9a897 default;
click 121cd27aa4d9a897 "requirements/Functional/Processing/Specifications.html#verification-trace-tree-construction";
end
subgraph 35073e93e967a10c["📄 VerificationTraces.md"]
e93ddf96472a7933["Verification Roll-up Strategy"];
class e93ddf96472a7933 systemRequirement;
click e93ddf96472a7933 "requirements/Functional/Processing/VerificationTraces.html#verification-roll-up-strategy";
c1ff27df19e4e86["Verification Trace Builder"];
class c1ff27df19e4e86 systemRequirement;
click c1ff27df19e4e86 "requirements/Functional/Processing/VerificationTraces.html#verification-trace-builder";
69aa75e267b074df["Verification Upward Traceability
📎 requirements/Refinements.md#traceability-reporting-specification"];
class 69aa75e267b074df userRequirement;
click 69aa75e267b074df "requirements/Functional/Processing/VerificationTraces.html#verification-upward-traceability";
end
end
94ec480b9c666ad -->|derive| 69aa75e267b074df;
69aa75e267b074df -->|derive| e93ddf96472a7933;
e93ddf96472a7933 -->|satisfiedBy| ee8cad76216ab553;
69aa75e267b074df -->|derive| c1ff27df19e4e86;
c1ff27df19e4e86 -->|satisfiedBy| 121cd27aa4d9a897;