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

| Generated: 2026-06-21 01:22 UTC
| LOBSTER Version: 1.0.4-dev

.. rubric:: Tracing Policy

.. note::

   The tracing-policy diagram below could not be rendered because the Graphviz ``dot`` utility was not found.
   Install `Graphviz <https://graphviz.org>`__ and rebuild to see the diagram as an image.

   .. code-block:: dot

      digraph tracing_policy {
         rankdir=TB;
         node [shape=box, style=filled, fontname="Helvetica", margin="0.3,0.1"];
         edge [arrowhead=open];
      
         "Feature Requirements" [fillcolor="#2196F3", fontcolor="white"];
         "Component Requirements" [fillcolor="#2196F3", fontcolor="white"];
         "Unit Test" [fillcolor="#FF9800", fontcolor="white"];
         "Architecture" [fillcolor="#4CAF50", fontcolor="white"];
         "Public API" [fillcolor="#4CAF50", fontcolor="white"];
         "Failure Modes" [fillcolor="#2196F3", fontcolor="white"];
         "Control Measures" [fillcolor="#2196F3", fontcolor="white"];
         "Root Causes" [fillcolor="#FF9800", fontcolor="white"];
         "Component Requirements" -> "Feature Requirements";
         "Architecture" -> "Component Requirements";
         "Failure Modes" -> "Public API";
         "Root Causes" -> "Failure Modes";
         "Root Causes" -> "Control Measures";
      }

.. rubric:: Coverage Summary

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

   * - Category
     - Coverage
     - OK Items
     - Total Items
   * - :doc:`Feature Requirements <feature_requirements>`
     - 8.3%
     - 1
     - 12
   * - :doc:`Component Requirements <component_requirements>`
     - 100.0%
     - 1
     - 1
   * - :doc:`Unit Test <unit_test>`
     - 100.0%
     - 59
     - 59
   * - :doc:`Architecture <architecture>`
     - 100.0%
     - 3
     - 3
   * - :doc:`Public API <public_api>`
     - 0.0%
     - 0
     - 2
   * - :doc:`Failure Modes <failure_modes>`
     - 0.0%
     - 0
     - 2
   * - :doc:`Control Measures <control_measures>`
     - 100.0%
     - 2
     - 2
   * - :doc:`Root Causes <root_causes>`
     - 100.0%
     - 4
     - 4

.. rubric:: Issues

* [MISSING — no trace to: Failure Modes] :ref:`score.message\_passing.ServerConnection <lobster-item-d8f8a9c95a4e98e382ee4cac0890eb93897592da>`
* [MISSING — no trace to: Failure Modes] :ref:`score.message\_passing.ClientConnection <lobster-item-c7a95f1c664a43b7d06f424e13675470709a0444>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.SystemMessagingProtocol <lobster-item-0d5af8303741090bf4ce12260312a8018f478464>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.OSIndependentAPI <lobster-item-c0ae859ebf53b1d6cfb21f3e41ca036237a3c537>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.SafetyCertifiedTransportMechanism <lobster-item-84fdecf73c74a2a1fd4c2776e257de1b925c9f3c>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.PointToPointConnections <lobster-item-ad2cc4df9ae09c5cf2f7850141bb9e1a0813479c>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.SmallDataLowLatencyCommunication <lobster-item-9af0c1bac8efbbb6ba4ea4c519c728938b345a64>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.SynchronousUnidirectionalCommunication <lobster-item-ba163ff9509496a237fea9fd048a108fcfdb043a>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.SynchronousBidirectionalCommunication <lobster-item-318e6f2d262d46dbe619063fe916b5ef79bedec8>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.AsynchronousUnidirectionalCommunication <lobster-item-25125a0a8438a9df52ca9c88ead0f0715e56e953>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.SingletonFreeImplementation <lobster-item-64675ed8c41ed182fb74f50532bdd85946919a66>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.AllowsBoundedMonotonicMemoryAllocation <lobster-item-f22b534616bd3bd7d634333818aed8595f094ff6>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassingSEooC.AllowsResourceMockInjectionForTesting <lobster-item-a6b8bcb37c844d96b5f43f4d8953bba0bc1db130>`
* [MISSING — unknown target: req IServer.RegisterMessageHandler] :ref:`MessagePassingFMEA.ServerNotListening <lobster-item-9d5e581c962e0bbd5db2298e08e82c1050f56a61>`
* [MISSING — no upward trace] :ref:`MessagePassingFMEA.ServerNotListening <lobster-item-9d5e581c962e0bbd5db2298e08e82c1050f56a61>`
* [MISSING — unknown target: req IClientFactory.Connect] :ref:`MessagePassingFMEA.ClientConnectionFailed <lobster-item-b2593a070d6d962db5981cf6fd9e38b57056c05a>`
* [MISSING — no upward trace] :ref:`MessagePassingFMEA.ClientConnectionFailed <lobster-item-b2593a070d6d962db5981cf6fd9e38b57056c05a>`

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

   Overview <self>
   feature_requirements
   component_requirements
   failure_modes
   control_measures

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

   architecture
   public_api

.. toctree::
   :caption: Verification and Validation
   :maxdepth: 1
   :hidden:

   unit_test
   root_causes