Elements
graph TD;
%% REQVIRE-AUTOGENERATED-DIAGRAM
%% Graph styling
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
subgraph c97e5d4c96ea3f37["📁 requirements/Interfaces"]
subgraph 7ecaecf58817be05["📄 Interfaces.md"]
90bec7578aacbe9d["CLI interface"];
class 90bec7578aacbe9d userRequirement;
click 90bec7578aacbe9d "Interfaces.html#cli-interface";
ea7f8e1ac2ba1ba4["Web Interface"];
class ea7f8e1ac2ba1ba4 userRequirement;
click ea7f8e1ac2ba1ba4 "Interfaces.html#web-interface";
end
end
subgraph cfe1eea0278796bc["📁 requirements/Interfaces/CLI"]
subgraph 43307c569ff89429["📄 Commands.md"]
d6147550e948449e["CLI Interface Structure"];
class d6147550e948449e systemRequirement;
click d6147550e948449e "CLI/Commands.html#cli-interface-structure";
end
end
subgraph 46bd8996ef832bd8["📁 requirements/Interfaces/WebInterface"]
subgraph 318b1cdfa03981b0["📄 Features.md"]
343e7b2d42df05e8["HTML Export
📎 requirements/Interfaces/WebInterface/Behaviors.md#web-interface-navigation-behavior"];
class 343e7b2d42df05e8 systemRequirement;
click 343e7b2d42df05e8 "WebInterface/Features.html#html-export";
9b566692fe070492["Serve Command
📎 requirements/Interfaces/WebInterface/Specifications.md#html-export-pipeline-specification"];
class 9b566692fe070492 systemRequirement;
click 9b566692fe070492 "WebInterface/Features.html#serve-command";
end
subgraph c7d31f0c38cfb0c5["📄 HTMLGeneration.md"]
bb0ee0a283e500e8["Mobile-Friendly Documentation"];
class bb0ee0a283e500e8 userRequirement;
click bb0ee0a283e500e8 "WebInterface/HTMLGeneration.html#mobile-friendly-documentation";
end
end
90bec7578aacbe9d -.->|deriveReqT| d6147550e948449e;
ea7f8e1ac2ba1ba4 -.->|deriveReqT| 343e7b2d42df05e8;
ea7f8e1ac2ba1ba4 -.->|deriveReqT| 9b566692fe070492;
ea7f8e1ac2ba1ba4 -.->|deriveReqT| bb0ee0a283e500e8;
d6147550e948449e -.->|deriveReqT| 104c59d25b737d22;
d6147550e948449e -.->|deriveReqT| 68e30181f97f6f71;
d6147550e948449e -.->|deriveReqT| 9a2adde3721af9df;
d6147550e948449e -.->|deriveReqT| 218fa75a3081be32;
d6147550e948449e -.->|deriveReqT| 43efd1fafe961f2e;
d6147550e948449e -.->|deriveReqT| ec02481a0771dca;
d6147550e948449e -.->|deriveReqT| 51a6083e0a55197c;
d6147550e948449e -.->|deriveReqT| 151987ac330b33f0;
d6147550e948449e -.->|deriveReqT| a68fbec67469256b;
d6147550e948449e -.->|deriveReqT| 7ef6cb0e4258e1bc;
d6147550e948449e -.->|deriveReqT| d9c57dd799158af9;
d6147550e948449e -.->|deriveReqT| 91025cd88b1df4f0;
d6147550e948449e -.->|deriveReqT| 1f8022dac203e679;
d6147550e948449e -.->|deriveReqT| 2f51b946a8587225;
d6147550e948449e -.->|deriveReqT| ee7ad64abb668237;
d6147550e948449e -.->|deriveReqT| d2fc543d82f61bbb;
d6147550e948449e -.->|deriveReqT| 9578836eb8e0fc6;
d6147550e948449e -.->|deriveReqT| 62f24ccbcd1f428a;
d6147550e948449e -.->|deriveReqT| 8d334537008d94ba;
d6147550e948449e -.->|deriveReqT| c04221154b7fc90d;
d6147550e948449e -.->|deriveReqT| a8750da2c3580220;
25bf5cc42f41e395["cli.rs"];
class 25bf5cc42f41e395 default;
click 25bf5cc42f41e395 "../../cli/src/cli.rs";
d6147550e948449e -->|satisfiedBy| 25bf5cc42f41e395;
343e7b2d42df05e8 -.->|deriveReqT| e03d9fc7fee23cbf;
343e7b2d42df05e8 -.->|deriveReqT| 1a4bd1d4cf59c6c3;
343e7b2d42df05e8 -.->|deriveReqT| 399558ec4fcaeca;
343e7b2d42df05e8 -.->|deriveReqT| 27d051a7dc8ddd3d;
343e7b2d42df05e8 -.->|deriveReqT| 965615d978d68cf5;
343e7b2d42df05e8 -->|satisfiedBy| 25bf5cc42f41e395;
bd747195bcfe94dd["export.rs"];
class bd747195bcfe94dd default;
click bd747195bcfe94dd "../../core/src/export.rs";
343e7b2d42df05e8 -->|satisfiedBy| bd747195bcfe94dd;
fe66abc142b678e5["layouts.rs"];
class fe66abc142b678e5 default;
click fe66abc142b678e5 "../../core/src/html/layouts.rs";
343e7b2d42df05e8 -->|satisfiedBy| fe66abc142b678e5;
b6f563ab46761a95["mod.rs"];
class b6f563ab46761a95 default;
click b6f563ab46761a95 "../../core/src/html/mod.rs";
343e7b2d42df05e8 -->|satisfiedBy| b6f563ab46761a95;
68fef32bd3e3323d["html_export.rs"];
class 68fef32bd3e3323d default;
click 68fef32bd3e3323d "../../core/src/html_export.rs";
343e7b2d42df05e8 -->|satisfiedBy| 68fef32bd3e3323d;
b4e855d4c9269f88["index_generator.rs"];
class b4e855d4c9269f88 default;
click b4e855d4c9269f88 "../../core/src/index_generator.rs";
343e7b2d42df05e8 -->|satisfiedBy| b4e855d4c9269f88;
343e7b2d42df05e8 -->|satisfiedBy| 2c269288950887aa;
343e7b2d42df05e8 -->|satisfiedBy| ac8ced009233741a;
343e7b2d42df05e8 -->|satisfiedBy| 32592aed4644ac95;
343e7b2d42df05e8 -->|satisfiedBy| 1c6c804d67bc741e;
343e7b2d42df05e8 -->|satisfiedBy| 945adb3f0ea1012e;
343e7b2d42df05e8 -.->|verifiedBy| bd0b4833b30da28;
343e7b2d42df05e8 -.->|verifiedBy| a7eeaf4fd1d17030;
9b566692fe070492 -->|satisfiedBy| 25bf5cc42f41e395;
70c4d955a4bb93c["serve.rs"];
class 70c4d955a4bb93c default;
click 70c4d955a4bb93c "../../cli/src/serve.rs";
9b566692fe070492 -->|satisfiedBy| 70c4d955a4bb93c;
9b566692fe070492 -.->|trace| a8750da2c3580220;
9b566692fe070492 -.->|verifiedBy| d48ee06d20b13bcc;
bb0ee0a283e500e8 -.->|deriveReqT| fa0ecb1299582ab;
bb0ee0a283e500e8 -.->|deriveReqT| 4e47e768f2a254cb;
bb0ee0a283e500e8 -.->|deriveReqT| f5edec5aaf14290d;
bb0ee0a283e500e8 -.->|verifiedBy| 3d80dd755086873a;
CLI interface
The system shall provide command line interface (CLI) to faciliate model management.
Metadata
Relations
Web Interface
The system SHALL provide a web-based interface to browse the System model documentation, including all generated artifacts such as diagrams, reports, and verification traces.
Details
The browse interface allows users to:
- View HTML-rendered specifications and requirements
- Navigate through diagrams and visualizations
- Access verification traces and coverage reports
- Explore the complete model structure through an integrated web interface
This capability enables both human users (via browser) and AI agents (via MCP server) to efficiently explore and understand the System model without manually navigating file structures.
All generated HTML content shall produce deterministic output with consistent ordering to enable reliable version control and reproducible builds.
The system shall ensure deterministic HTML output by:
- Sorting elements by identifier before rendering
- Sorting relations by type and target identifier
- Maintaining consistent navigation and page ordering
- Generating stable diagram node and relation ordering
This determinism ensures that:
- Running HTML generation multiple times produces byte-identical output
- Version control diffs reflect actual content changes
- Continuous integration pipelines produce reproducible results
Metadata
Relations