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

Generated: 2026-09-23 12:18 UTC

LOBSTER Version: 1.0.6

Tracing Policy

Coverage Summary

Category	Coverage	OK Items	Total Items
Feature Requirements	69.2%	9	13
Component Requirements	0.0%	0	29
Unit Test	32.2%	19	59
Architecture	100.0%	2	2
Public API	0.0%	0	23
Failure Modes	0.0%	0	8
Control Measures	50.0%	2	4
Root Causes	28.6%	10	35

Issues

• [MISSING — no trace to: Failure Modes] score.message_passing.Engine

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientFactory.Create

• [MISSING — no trace to: Failure Modes] score.message_passing.ClientFactory

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.GetState

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.GetStopReason

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.Restart

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.Send

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.SendWaitReply

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.SendWithCallback

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.Start

• [MISSING — no trace to: Failure Modes] score.message_passing.IClientConnection.Stop

• [MISSING — no trace to: Failure Modes] score.message_passing.IServerFactory.Create

• [MISSING — no trace to: Failure Modes] score.message_passing.ServerFactory

• [MISSING — no trace to: Failure Modes] score.message_passing.IServer.StartListening

• [MISSING — no trace to: Failure Modes] score.message_passing.IServer.StopListening

• [MISSING — no trace to: Failure Modes] score.message_passing.IServerConnection.GetClientIdentity

• [MISSING — no trace to: Failure Modes] score.message_passing.IServerConnection.GetUserData

• [MISSING — no trace to: Failure Modes] score.message_passing.IServerConnection.Notify

• [MISSING — no trace to: Failure Modes] score.message_passing.IServerConnection.Reply

• [MISSING — no trace to: Failure Modes] score.message_passing.IServerConnection.RequestDisconnect

• [MISSING — no trace to: Failure Modes] score.message_passing.IConnectionHandler.OnDisconnect

• [MISSING — no trace to: Failure Modes] score.message_passing.IConnectionHandler.OnMessageSent

• [MISSING — no trace to: Failure Modes] score.message_passing.IConnectionHandler.OnMessageSentWithReply

• [MISSING — unknown target: req MessagePassing.ClientIdentityIntegrityCheck] MessagePassing.ClientIdentityIntegrityCheck

• [MISSING — no upward trace] MessagePassing.ClientIdentityIntegrityCheck

• [MISSING — unknown target: req MessagePassing.ClientIdentityValidation] MessagePassing.ClientIdentityValidation

• [MISSING — no upward trace] MessagePassing.ClientIdentityValidation

• [MISSING — unknown target: req MessagePassing.ConnectCallbackReturnValueValidation] MessagePassing.ConnectCallbackReturnValueValidation

• [MISSING — no upward trace] MessagePassing.ConnectCallbackReturnValueValidation

• [MISSING — unknown target: req MessagePassing.ConnectCallbackValidation] MessagePassing.ConnectCallbackValidation

• [MISSING — no upward trace] MessagePassing.ConnectCallbackValidation

• [MISSING — unknown target: req MessagePassing.LifecycleOrderEnforcement] MessagePassing.LifecycleOrderEnforcement

• [MISSING — no upward trace] MessagePassing.LifecycleOrderEnforcement

• [MISSING — unknown target: req MessagePassing.CallFlowConformance] MessagePassing.CallFlowConformance

• [MISSING — no upward trace] MessagePassing.CallFlowConformance

• [MISSING — unknown target: req BE_RequestDisconnectMisuse] BE_RequestDisconnectMisuse

• [MISSING — no upward trace] BE_RequestDisconnectMisuse

• [MISSING — unknown target: req MessagePassing.StartupArgumentValidation] MessagePassing.StartupArgumentValidation

• [MISSING — no upward trace] MessagePassing.StartupArgumentValidation

• [MISSING — unknown target: req MessagePassing.UniqueServerNamePolicy] MessagePassing.UniqueServerNamePolicy

• [MISSING — no upward trace] MessagePassing.UniqueServerNamePolicy

• [MISSING — unknown target: req BE_ServerQueueConfig] BE_ServerQueueConfig

• [MISSING — no upward trace] BE_ServerQueueConfig

• [MISSING — unknown target: req MessagePassing.ServerHealthCheck] MessagePassing.ServerHealthCheck

• [MISSING — no upward trace] MessagePassing.ServerHealthCheck

• [MISSING — unknown target: req MessagePassing.ClientRetryPolicy] MessagePassing.ClientRetryPolicy

• [MISSING — no upward trace] MessagePassing.ClientRetryPolicy

• [MISSING — unknown target: req BE_UnintendedDisconnect] BE_UnintendedDisconnect

• [MISSING — no upward trace] BE_UnintendedDisconnect

• [MISSING — unknown target: req BE_MessageTooBig] BE_MessageTooBig

• [MISSING — no upward trace] BE_MessageTooBig

• [MISSING — unknown target: req BE_SendQueueExhausted] BE_SendQueueExhausted

• [MISSING — no upward trace] BE_SendQueueExhausted

• [MISSING — unknown target: req MessagePassing.TimingSupervision] MessagePassing.TimingSupervision

• [MISSING — no upward trace] MessagePassing.TimingSupervision

• [MISSING — unknown target: req BE_SyncConnectDeadlock] BE_SyncConnectDeadlock

• [MISSING — no upward trace] BE_SyncConnectDeadlock

• [MISSING — unknown target: req BE_NotifyQueueExhausted] BE_NotifyQueueExhausted

• [MISSING — no upward trace] BE_NotifyQueueExhausted

• [MISSING — unknown target: req BE_NotifyTooBig] BE_NotifyTooBig

• [MISSING — no upward trace] BE_NotifyTooBig

• [MISSING — unknown target: req BE_NotifyTransportFault] BE_NotifyTransportFault

• [MISSING — no upward trace] BE_NotifyTransportFault

• [MISSING — unknown target: req BE_NotifyCallbackMissing] BE_NotifyCallbackMissing

• [MISSING — no upward trace] BE_NotifyCallbackMissing

• [MISSING — unknown target: req BE_HandlerNoReply] BE_HandlerNoReply

• [MISSING — no upward trace] BE_HandlerNoReply

• [MISSING — unknown target: req BE_HandlerErrorUnpropagated] BE_HandlerErrorUnpropagated

• [MISSING — no upward trace] BE_HandlerErrorUnpropagated

• [MISSING — unknown target: req BE_HandlerNotRegistered] BE_HandlerNotRegistered

• [MISSING — no upward trace] BE_HandlerNotRegistered

• [MISSING — unknown target: req MessagePassing.StateMachineVerification] MessagePassing.StateMachineVerification

• [MISSING — no upward trace] MessagePassing.StateMachineVerification

• [MISSING — unknown target: req MessagePassingComponent.REQ_MP_COMP_001] ClientConnectionTest:Constructed

• [MISSING — no upward trace] ClientConnectionTest:Constructed

• [MISSING — no upward trace] ClientConnectionTest:ConstructedStopDoesNothing

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectOnceStoppingWhileConnecting

• [MISSING — no upward trace] ClientConnectionTest:TryingToSyncConnectOnceStoppingWhileConnecting

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectOnceStoppingOnHardError

• [MISSING — no upward trace] ClientConnectionTest:TryingToSyncConnectOnceStoppingOnHardError

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectMultipleTimesStoppingOnPermissionError

• [MISSING — no upward trace] ClientConnectionTest:TryingToSyncConnectMultipleTimesStoppingOnPermissionError

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectMultipleTimesFinallyConnectingAndImplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenExplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptWithDelayThenExplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullySyncConnectingAtFirstAttemptThenExplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenExplicitlyStoppingAsIfFromCallback

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullySyncConnectingAtFirstAttemptThenExplicitlyStoppingAsIfFromCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedRestartdDoesNothing

• [MISSING — no upward trace] ClientConnectionTest:SendTooLarge

• [MISSING — no upward trace] ClientConnectionTest:SendIsDirectWithOurDefaultConfig

• [MISSING — no upward trace] ClientConnectionTest:SendIsDirectWithFullyOrderedAndEmptyQueue

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenReceiveTooLong

• [MISSING — no upward trace] ClientConnectionTest:ConnectedContinuesIfReceivesNotifyWithoutCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedReceivesNotifyInCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedContinuesIfReceivesPingWithoutCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedReceivesPingInCallback

• [MISSING — no trace to: Component Requirements] MessagePassing.SystemMessagingProtocol

• [MISSING — no trace to: Component Requirements] MessagePassing.SafeState

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerCallbacksAreSequential

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerProcessesSinglePendingRequest

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionMaintainsStateMachine

• [PARTIAL — no trace to: Unit Test] MessagePassing.SynchronousSendBlocksUntilServerReceives

• [PARTIAL — no trace to: Unit Test] MessagePassing.AsynchronousSendReturnsAfterLocalAcceptance

• [PARTIAL — no trace to: Unit Test] MessagePassing.SendWaitReplyBlocksUntilServerReply

• [PARTIAL — no trace to: Unit Test] MessagePassing.MessageOrderPreservationPerConnection

• [PARTIAL — no trace to: Unit Test] MessagePassing.SingleServerInstancePerServiceIdentifier

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerStartListeningAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerStopListeningAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionSendAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionSendWaitReplyAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionSendWithCallbackAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerConnectionReplyAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerConnectionNotifyAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientFactoryCreateAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerFactoryCreateAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionGetStateAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerPreallocatesConnectionObjects

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerRingBufferQueueSizeConfigurable

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerConnectionRefusal

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerIConnectionHandlerDispatch

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendQueuePreallocation

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSharedResourceEngineInjection

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionMockInjectionForTesting

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendFailsWhenStopped

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendWaitReplyFailsWhenStopped

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendWithCallbackFailsWhenStopped

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionStateCallbackInvocation

• [MISSING — no trace to: Component Requirements] MessagePassing.SafetyCertifiedTransportMechanism

• [MISSING — no trace to: Component Requirements] MessagePassing.SmallDataLowLatencyCommunication

• [MISSING — no trace to: Root Causes] MessagePassing.BE_MessageTooBig

• [MISSING — no trace to: Root Causes] MessagePassing.BE_SendQueueExhausted

• [MISSING — unknown target: req IServer.StartListening, IServer.StopListening, IClientFactory.Create, IClientConnection.Start, IClientConnection.Stop, IServerConnection.RequestDisconnect] MessagePassing.IpcChannelUnavailable

• [MISSING — no upward trace] MessagePassing.IpcChannelUnavailable

• [MISSING — unknown target: req IServerConnection.Reply, IClientConnection.Send, IClientConnection.SendWaitReply, IClientConnection.SendWithCallback] MessagePassing.MessageNotDeliveredCorrectly

• [MISSING — no upward trace] MessagePassing.MessageNotDeliveredCorrectly

• [MISSING — unknown target: req IServerConnection.Notify, IClientConnection.Start] MessagePassing.NotificationNotDelivered

• [MISSING — no upward trace] MessagePassing.NotificationNotDelivered

• [MISSING — unknown target: req IServer.StartListening, IConnectionHandler.OnMessageSent, IConnectionHandler.OnMessageSentWithReply] MessagePassing.ServerMessageHandlingFailure

• [MISSING — no upward trace] MessagePassing.ServerMessageHandlingFailure

• [MISSING — unknown target: req IServerConnection.Reply] MessagePassing.MessageTimingViolated

• [MISSING — no upward trace] MessagePassing.MessageTimingViolated

• [MISSING — unknown target: req IClientConnection.Send, IClientConnection.SendWaitReply, IClientConnection.SendWithCallback, IClientConnection.Restart, IServerConnection.Reply, IServerConnection.RequestDisconnect] MessagePassing.IpcApiMisuseOrLifecycleViolation

• [MISSING — no upward trace] MessagePassing.IpcApiMisuseOrLifecycleViolation

• [MISSING — unknown target: req IServerConnection.GetClientIdentity, IServerConnection.GetUserData] MessagePassing.ConnectionContextDataWrong

• [MISSING — no upward trace] MessagePassing.ConnectionContextDataWrong

• [MISSING — unknown target: req IClientConnection.GetState, IClientConnection.GetStopReason] MessagePassing.StateMachineError

• [MISSING — no upward trace] MessagePassing.StateMachineError

• [MISSING — no upward trace] UnixDomainServerTest:NonRunningServers

• [MISSING — no upward trace] UnixDomainServerTest:RunningServersWithNoConnections

• [MISSING — no upward trace] UnixDomainServerTest:RunningServersWithSameId

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingFirst/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingFirst/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLater/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLater/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientDeleted/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientDeleted/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientRestarting/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientRestarting/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerStartingLaterForcedStop/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerStartingLaterForcedStop/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerSetup/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerSetup/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerClientRestart/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerClientRestart/1