##################################
L.O.B.S.T.E.R. Traceability Report
##################################

| Generated: 2026-07-15 06:19 UTC
| LOBSTER Version: 1.0.4

.. rubric:: Tracing Policy

.. graphviz::

   digraph tracing_policy {
      rankdir=TB;
      node [shape=box, style=filled, fontname="Helvetica", margin="0.3,0.1"];
      edge [arrowhead=open];
   
      "Use Cases" [fillcolor="#2196F3", fontcolor="white"];
      "Potential Errors" [fillcolor="#2196F3", fontcolor="white"];
      "Tool Requirements" [fillcolor="#2196F3", fontcolor="white"];
      "Code" [fillcolor="#4CAF50", fontcolor="white"];
      "Potential Errors" -> "Use Cases";
      "Tool Requirements" -> "Potential Errors";
      "Code" -> "Tool Requirements";
   }

.. rubric:: Coverage Summary

.. list-table::
   :header-rows: 1
   :widths: 35 15 15 15

   * - Category
     - Coverage
     - OK Items
     - Total Items
   * - :doc:`Use Cases <use_cases>`
     - 43.8%
     - 7
     - 16
   * - :doc:`Potential Errors <potential_errors>`
     - 100.0%
     - 8
     - 8
   * - :doc:`Tool Requirements <tool_requirements>`
     - 0.0%
     - 0
     - 12
   * - :doc:`Code <code>`
     - 0.0%
     - 0
     - 1

.. rubric:: Issues

* [PARTIAL — no trace to: Code] :ref:`UseCases.Render\_All\_TRLC\_Records <lobster-item-1102c0bb8e3735c7b72d233cfc9c348d75bdb9cc>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Resolve\_Derived\_From\_References <lobster-item-def20b14ccda057fb83ba3094f3e71d8ec473104>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Validate\_Traceability\_Completeness <lobster-item-c0d474eadd91c03f8b4758f479ec7b3c9b5f6b32>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Emit\_Correct\_Provider\_Info <lobster-item-9003272ca273f0c849d138c3c23b0650b8e2c983>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Emit\_Sphinx\_Sources <lobster-item-6bdd395f561eb0252f2c4e1b1560f959a34ebe63>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Render\_All\_Failure\_Modes <lobster-item-00a741c54edf65f799e8488f3766a73e0184187e>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Reject\_Invalid\_PlantUML <lobster-item-bc6c57f4ce83b257e6906b63b8cc68b0c27a4cfc>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Extract\_Lobster\_From\_Requirements <lobster-item-6bbb6db619fc087a556a3ace6025a91d3f93f6da>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Forward\_Own\_AoUs\_To\_Dependees <lobster-item-be679b47c92dbdbdf17bcced82d849d26676380f>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Chain\_Forward\_Received\_AoUs <lobster-item-c661040750af1f5839ed1bbbd8aba0041b85e665>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Reject\_Unknown\_AoU\_In\_Forwarding\_YAML <lobster-item-d7700af5df55a2279ad6ecccdb7693b489039986>`
* [PARTIAL — no trace to: Code] :ref:`UseCases.Include\_Forwarded\_AoUs\_In\_Traceability <lobster-item-17a39770072b667118cf1735da8715741074325a>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Verify\_Architecture\_Conformance <lobster-item-3946d6859e7b08de155fa8242d00dca1fcf26a01>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Trace\_Failure\_Modes\_To\_Interfaces <lobster-item-4579e1519cd395a734f5e93b02f7148ebf352466>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Aggregate\_Safety\_Analysis\_Report <lobster-item-9392f557673c87f4d3533c01aeeffaf39bac575e>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Enforce\_Certified\_Scope\_And\_Integrity <lobster-item-a6461294825ddc7fc5cdc1e1011d3d340f7173cd>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Author\_Requirements\_In\_Rst\_Or\_Trlc <lobster-item-18a8783ced685e2b017d8352760280039e33387b>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Verify\_Unit\_Tests\_Pass <lobster-item-ae7e63b8cd467312470575bdc970159ba753a746>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Merge\_Cross\_Module\_Documentation <lobster-item-c28b5d4714ef3419f75201156010298489ff22b9>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Validate\_Architecture\_Specification\_Documents <lobster-item-0178ede123bb22180565193660812ffe55d4e878>`
* [MISSING — no trace to: Potential Errors] :ref:`UseCases.Validate\_Unit\_Specification\_Documents <lobster-item-09ff16403e494b9cc92a7d0c503b9f0d2e6a548b>`
* [MISSING — unknown target: req Tools.ArchitectureModelingDependableElement] :ref:`Tools.ArchitectureModelingDependableElement <lobster-item-e8cb987ec9b5090ef974f99b0a39c971dc9fe40b>`
* [MISSING — no upward trace] :ref:`Tools.ArchitectureModelingDependableElement <lobster-item-e8cb987ec9b5090ef974f99b0a39c971dc9fe40b>`

.. toctree::
   :caption: Requirements and Specification
   :maxdepth: 1
   :hidden:

   Overview <self>
   use_cases
   potential_errors
   tool_requirements

.. toctree::
   :caption: Implementation
   :maxdepth: 1
   :hidden:

   code