Merge remote-tracking branch 'origin/main'

Author: ilijaljubicic

specifications/Interfaces/Interfaces.md

@@ -42,4 +42,4 @@ This determinism ensures that:
 
 #### Relations
   * derivedFrom: [Managing System Models](../UserStories.md#managing-system-models)
----
+---

specifications/Interfaces/WebInterface.md

@@ -217,4 +217,4 @@ The system SHALL provide a serve command that exports comprehensive HTML documen
   * satisfiedBy: [cli.rs](../../cli/src/cli.rs)
   * satisfiedBy: [serve.rs](../../cli/src/serve.rs)
   * verifiedBy: [Serve Command Verification](#serve-command-verification)
----
+---

specifications/System/CodeAlignment.md

@@ -157,4 +157,4 @@ The system shall suggest code refactoring opportunities to better align with the
 
 #### Relations
   * derivedFrom: [Aligning Design with Code](../UserStories.md#aligning-design-with-code)
----
+---

specifications/System/Configuration.md

@@ -119,4 +119,4 @@ Identification Process:
 #### Relations
   * derivedFrom: [Requirements Processing](#requirements-processing)
   * satisfiedBy: [model.rs](../../core/src/model.rs)
----
+---

specifications/System/GitHubIntegration.md

@@ -53,4 +53,4 @@ This ensures that the Mermaid diagrams in the repository are always up-to-date a
   * derivedFrom: [Automate Diagram Generation](#automate-diagram-generation)
   * derivedFrom: [Automate Pull Request Validations](#automate-pull-request-validations)
   * satisfiedBy: [generate_diagrams.yml](../../.github/workflows/generate_diagrams.yml)
----
+---

specifications/System/Linting.md

@@ -306,4 +306,4 @@ Reason: D is reachable via A → B → D and A → C → D
   * derivedFrom: [Redundant Hierarchical Relations Detection](#redundant-hierarchical-relations-detection)
   * satisfiedBy: [lint.rs](../../core/src/lint.rs)
   * verifiedBy: [Lint Command Verification](#lint-command-verification)
----
+---

specifications/System/VerificationTraces.md

@@ -52,4 +52,4 @@ The roll-up strategy shall work as follows:
 
 #### Relations
   * derivedFrom: [Verification Upward Traceability](Reporting.md#verification-upward-traceability)
----
+---