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

| Generated: 2026-07-26 01:25 UTC
| LOBSTER Version: 1.0.4

.. 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"];
         "Forwarded AoUs" [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>`
     - 76.9%
     - 10
     - 13
   * - :doc:`Forwarded AoUs <forwarded_aous>`
     - 0.0%
     - 0
     - 0
   * - :doc:`Component Requirements <component_requirements>`
     - 100.0%
     - 33
     - 33
   * - :doc:`Unit Test <unit_test>`
     - 98.3%
     - 58
     - 59
   * - :doc:`Architecture <architecture>`
     - 100.0%
     - 2
     - 2
   * - :doc:`Public API <public_api>`
     - 0.0%
     - 0
     - 2
   * - :doc:`Failure Modes <failure_modes>`
     - 0.0%
     - 0
     - 8
   * - :doc:`Control Measures <control_measures>`
     - 50.0%
     - 2
     - 4
   * - :doc:`Root Causes <root_causes>`
     - 28.6%
     - 10
     - 35

.. rubric:: Issues

* [MISSING — unknown target: req MessagePassing.ClientIdentityIntegrityCheck] :ref:`MessagePassing.ClientIdentityIntegrityCheck <lobster-item-84c2615f6461fba2e84db57ee3845ee5625a7734>`
* [MISSING — no upward trace] :ref:`MessagePassing.ClientIdentityIntegrityCheck <lobster-item-84c2615f6461fba2e84db57ee3845ee5625a7734>`
* [MISSING — unknown target: req MessagePassing.ClientIdentityValidation] :ref:`MessagePassing.ClientIdentityValidation <lobster-item-c1fdc19be8f242253b0cfa23dbf37ca47af12fc6>`
* [MISSING — no upward trace] :ref:`MessagePassing.ClientIdentityValidation <lobster-item-c1fdc19be8f242253b0cfa23dbf37ca47af12fc6>`
* [MISSING — unknown target: req MessagePassing.ConnectCallbackReturnValueValidation] :ref:`MessagePassing.ConnectCallbackReturnValueValidation <lobster-item-8e5ff7a93b864d7c1f3c6fdd7bc04b8dd60450d7>`
* [MISSING — no upward trace] :ref:`MessagePassing.ConnectCallbackReturnValueValidation <lobster-item-8e5ff7a93b864d7c1f3c6fdd7bc04b8dd60450d7>`
* [MISSING — unknown target: req MessagePassing.ConnectCallbackValidation] :ref:`MessagePassing.ConnectCallbackValidation <lobster-item-d0df5c4026632e50418c1880b581f259dc697bd5>`
* [MISSING — no upward trace] :ref:`MessagePassing.ConnectCallbackValidation <lobster-item-d0df5c4026632e50418c1880b581f259dc697bd5>`
* [MISSING — unknown target: req MessagePassing.LifecycleOrderEnforcement] :ref:`MessagePassing.LifecycleOrderEnforcement <lobster-item-75e79b71ac50e479be78607e352cf0210aad53f6>`
* [MISSING — no upward trace] :ref:`MessagePassing.LifecycleOrderEnforcement <lobster-item-75e79b71ac50e479be78607e352cf0210aad53f6>`
* [MISSING — unknown target: req MessagePassing.CallFlowConformance] :ref:`MessagePassing.CallFlowConformance <lobster-item-fce60b8a9bd86d1134405fc98e3b42c34344d977>`
* [MISSING — no upward trace] :ref:`MessagePassing.CallFlowConformance <lobster-item-fce60b8a9bd86d1134405fc98e3b42c34344d977>`
* [MISSING — unknown target: req BE\_RequestDisconnectMisuse] :ref:`BE\_RequestDisconnectMisuse <lobster-item-4d66d44b068a6e99ebe76f3cf3857404897690fd>`
* [MISSING — no upward trace] :ref:`BE\_RequestDisconnectMisuse <lobster-item-4d66d44b068a6e99ebe76f3cf3857404897690fd>`
* [MISSING — unknown target: req MessagePassing.StartupArgumentValidation] :ref:`MessagePassing.StartupArgumentValidation <lobster-item-0e397a7a7a7d512dffbc9a0b609c800e349a6d41>`
* [MISSING — no upward trace] :ref:`MessagePassing.StartupArgumentValidation <lobster-item-0e397a7a7a7d512dffbc9a0b609c800e349a6d41>`
* [MISSING — unknown target: req MessagePassing.UniqueServerNamePolicy] :ref:`MessagePassing.UniqueServerNamePolicy <lobster-item-9b760da6fae5f139a51875a7457afd7685156b09>`
* [MISSING — no upward trace] :ref:`MessagePassing.UniqueServerNamePolicy <lobster-item-9b760da6fae5f139a51875a7457afd7685156b09>`
* [MISSING — unknown target: req BE\_ServerQueueConfig] :ref:`BE\_ServerQueueConfig <lobster-item-a0164ae1a36cbbb4daa17cdabcbe98d67987d38c>`
* [MISSING — no upward trace] :ref:`BE\_ServerQueueConfig <lobster-item-a0164ae1a36cbbb4daa17cdabcbe98d67987d38c>`
* [MISSING — unknown target: req MessagePassing.ServerHealthCheck] :ref:`MessagePassing.ServerHealthCheck <lobster-item-f025441262f6b2c18b91b447ad1a8887ff337d30>`
* [MISSING — no upward trace] :ref:`MessagePassing.ServerHealthCheck <lobster-item-f025441262f6b2c18b91b447ad1a8887ff337d30>`
* [MISSING — unknown target: req MessagePassing.ClientRetryPolicy] :ref:`MessagePassing.ClientRetryPolicy <lobster-item-31706125c3398a5d834ad80a913aa774c7223d4d>`
* [MISSING — no upward trace] :ref:`MessagePassing.ClientRetryPolicy <lobster-item-31706125c3398a5d834ad80a913aa774c7223d4d>`
* [MISSING — unknown target: req BE\_UnintendedDisconnect] :ref:`BE\_UnintendedDisconnect <lobster-item-8da7817c38d0ee1e280ff79ea6ebdd7f588823fe>`
* [MISSING — no upward trace] :ref:`BE\_UnintendedDisconnect <lobster-item-8da7817c38d0ee1e280ff79ea6ebdd7f588823fe>`
* [MISSING — unknown target: req BE\_MessageTooBig] :ref:`BE\_MessageTooBig <lobster-item-18748d99979863fb1fe064c64e7836814b30d196>`
* [MISSING — no upward trace] :ref:`BE\_MessageTooBig <lobster-item-18748d99979863fb1fe064c64e7836814b30d196>`
* [MISSING — unknown target: req BE\_SendQueueExhausted] :ref:`BE\_SendQueueExhausted <lobster-item-4e3bf17961ea8e447a062190ce26d18b8ff3f73d>`
* [MISSING — no upward trace] :ref:`BE\_SendQueueExhausted <lobster-item-4e3bf17961ea8e447a062190ce26d18b8ff3f73d>`
* [MISSING — unknown target: req MessagePassing.TimingSupervision] :ref:`MessagePassing.TimingSupervision <lobster-item-858650cd67f75b7a48201b2b0559c158a703de8f>`
* [MISSING — no upward trace] :ref:`MessagePassing.TimingSupervision <lobster-item-858650cd67f75b7a48201b2b0559c158a703de8f>`
* [MISSING — unknown target: req BE\_SyncConnectDeadlock] :ref:`BE\_SyncConnectDeadlock <lobster-item-ddbf4ea41318450a70a0877cbe7c503a9f7ce3b9>`
* [MISSING — no upward trace] :ref:`BE\_SyncConnectDeadlock <lobster-item-ddbf4ea41318450a70a0877cbe7c503a9f7ce3b9>`
* [MISSING — unknown target: req BE\_NotifyQueueExhausted] :ref:`BE\_NotifyQueueExhausted <lobster-item-ba2c49b7864059b1af4110ae080454de7edddb97>`
* [MISSING — no upward trace] :ref:`BE\_NotifyQueueExhausted <lobster-item-ba2c49b7864059b1af4110ae080454de7edddb97>`
* [MISSING — unknown target: req BE\_NotifyTooBig] :ref:`BE\_NotifyTooBig <lobster-item-5478f1e6266e877b3cd825e3e0fbb6e33a2fb748>`
* [MISSING — no upward trace] :ref:`BE\_NotifyTooBig <lobster-item-5478f1e6266e877b3cd825e3e0fbb6e33a2fb748>`
* [MISSING — unknown target: req BE\_NotifyTransportFault] :ref:`BE\_NotifyTransportFault <lobster-item-238f44df0a41002d4460a6533f4b551d90f1b647>`
* [MISSING — no upward trace] :ref:`BE\_NotifyTransportFault <lobster-item-238f44df0a41002d4460a6533f4b551d90f1b647>`
* [MISSING — unknown target: req BE\_NotifyCallbackMissing] :ref:`BE\_NotifyCallbackMissing <lobster-item-fe729972e2b9bec55d958c6773fe1b608714f9dd>`
* [MISSING — no upward trace] :ref:`BE\_NotifyCallbackMissing <lobster-item-fe729972e2b9bec55d958c6773fe1b608714f9dd>`
* [MISSING — unknown target: req BE\_HandlerNoReply] :ref:`BE\_HandlerNoReply <lobster-item-728027f176213ab4ab1a7828d8b5c14be00dce8b>`
* [MISSING — no upward trace] :ref:`BE\_HandlerNoReply <lobster-item-728027f176213ab4ab1a7828d8b5c14be00dce8b>`
* [MISSING — unknown target: req BE\_HandlerErrorUnpropagated] :ref:`BE\_HandlerErrorUnpropagated <lobster-item-73090fe96d7d2653e752487cdbec4207507a3e1f>`
* [MISSING — no upward trace] :ref:`BE\_HandlerErrorUnpropagated <lobster-item-73090fe96d7d2653e752487cdbec4207507a3e1f>`
* [MISSING — unknown target: req BE\_HandlerNotRegistered] :ref:`BE\_HandlerNotRegistered <lobster-item-6d5dd65e055100ecda4dce01b548782c45347bb8>`
* [MISSING — no upward trace] :ref:`BE\_HandlerNotRegistered <lobster-item-6d5dd65e055100ecda4dce01b548782c45347bb8>`
* [MISSING — unknown target: req MessagePassing.StateMachineVerification] :ref:`MessagePassing.StateMachineVerification <lobster-item-5e33f54693a7da0065e03515fd70e82d63791cab>`
* [MISSING — no upward trace] :ref:`MessagePassing.StateMachineVerification <lobster-item-5e33f54693a7da0065e03515fd70e82d63791cab>`
* [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 — unknown target: req MessagePassingComponent.REQ\_MP\_COMP\_001] :ref:`ClientConnectionTest:Constructed <lobster-item-1c1c62cf3299f61db2046b3bd3db4e42e995e794>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassing.SystemMessagingProtocol <lobster-item-c1a7e19a19b1fe8c67e95470ead6450a02fcc9f3>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassing.SafeState <lobster-item-b2864cac047f746b60a533aa9a94e6b1b8a3f531>`
* [MISSING — no trace to: Component Requirements] :ref:`MessagePassing.SmallDataLowLatencyCommunication <lobster-item-d54fb43b80455d65c15bcb21f16e3fcd75a5070b>`
* [MISSING — no trace to: Root Causes] :ref:`MessagePassing.BE\_MessageTooBig <lobster-item-8ba2f56cc9d8b54d4297b3847b32354ad567a203>`
* [MISSING — no trace to: Root Causes] :ref:`MessagePassing.BE\_SendQueueExhausted <lobster-item-d0b61519b0e18820cc0a4d2fa81d987ed3d2d0c7>`
* [MISSING — unknown target: req IServer.StartListening, IServer.StopListening, IClientFactory.Create, IClientConnection.Start, IClientConnection.Stop, IServerConnection.RequestDisconnect] :ref:`MessagePassing.IpcChannelUnavailable <lobster-item-cb6ddd1e01ee5546398fc5ebe7b25fcf93291d3e>`
* [MISSING — no upward trace] :ref:`MessagePassing.IpcChannelUnavailable <lobster-item-cb6ddd1e01ee5546398fc5ebe7b25fcf93291d3e>`
* [MISSING — unknown target: req IServerConnection.Reply, IClientConnection.Send, IClientConnection.SendWaitReply, IClientConnection.SendWithCallback] :ref:`MessagePassing.MessageNotDeliveredCorrectly <lobster-item-de01c4a3fd82d4556192a3e7b4e03f2366194bf8>`
* [MISSING — no upward trace] :ref:`MessagePassing.MessageNotDeliveredCorrectly <lobster-item-de01c4a3fd82d4556192a3e7b4e03f2366194bf8>`
* [MISSING — unknown target: req IServerConnection.Notify, IClientConnection.Start] :ref:`MessagePassing.NotificationNotDelivered <lobster-item-9597dca612fd81b0459d1eff4dd03745a13bbd34>`
* [MISSING — no upward trace] :ref:`MessagePassing.NotificationNotDelivered <lobster-item-9597dca612fd81b0459d1eff4dd03745a13bbd34>`
* [MISSING — unknown target: req IServer.StartListening, IConnectionHandler.OnMessageSent, IConnectionHandler.OnMessageSentWithReply] :ref:`MessagePassing.ServerMessageHandlingFailure <lobster-item-3d9c5a12ded556ec18472c4c8ad06beaa4946d08>`
* [MISSING — no upward trace] :ref:`MessagePassing.ServerMessageHandlingFailure <lobster-item-3d9c5a12ded556ec18472c4c8ad06beaa4946d08>`
* [MISSING — unknown target: req IServerConnection.Reply] :ref:`MessagePassing.MessageTimingViolated <lobster-item-f926890ad269978d3be0b4ed9697403a23bb7ad6>`
* [MISSING — no upward trace] :ref:`MessagePassing.MessageTimingViolated <lobster-item-f926890ad269978d3be0b4ed9697403a23bb7ad6>`
* [MISSING — unknown target: req IClientConnection.Send, IClientConnection.SendWaitReply, IClientConnection.SendWithCallback, IClientConnection.Restart, IServerConnection.Reply, IServerConnection.RequestDisconnect] :ref:`MessagePassing.IpcApiMisuseOrLifecycleViolation <lobster-item-0d995153218ccca40ace645d69b98be9acf958db>`
* [MISSING — no upward trace] :ref:`MessagePassing.IpcApiMisuseOrLifecycleViolation <lobster-item-0d995153218ccca40ace645d69b98be9acf958db>`
* [MISSING — unknown target: req IServerConnection.GetClientIdentity, IServerConnection.GetUserData] :ref:`MessagePassing.ConnectionContextDataWrong <lobster-item-7829a9dc46fa849742fce40539969be56a91391b>`
* [MISSING — no upward trace] :ref:`MessagePassing.ConnectionContextDataWrong <lobster-item-7829a9dc46fa849742fce40539969be56a91391b>`
* [MISSING — unknown target: req IClientConnection.GetState, IClientConnection.GetStopReason] :ref:`MessagePassing.StateMachineError <lobster-item-673d880a3d99bd7219539898df5ccdd016660114>`
* [MISSING — no upward trace] :ref:`MessagePassing.StateMachineError <lobster-item-673d880a3d99bd7219539898df5ccdd016660114>`

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

   Overview <self>
   feature_requirements
   forwarded_aous
   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