version = 1

[[requirements]]
id = "HP-CFG-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/config/config_test.go:TestAnnotatedExamples_HP_CFG_01",
  "internal/config/config_test.go:TestStrictTOMLRejections_HP_CFG_01",
  "internal/config/config_test.go:TestExplicitFlagPrecedence_HP_CFG_01",
  "test/harness/harness_test.go:TestSampleRunLifecycle_HP_CFG_01",
]

[[requirements]]
id = "HP-CFG-09"
layer = "unit"
status = "implemented"
tests = ["internal/config/effective_test.go:TestEffectiveConfigurationGolden_HP_CFG_09"]

[[requirements]]
id = "HP-CTL-06"
layer = "unit"
status = "implemented"
tests = ["internal/domain/cursor_test.go:TestAuthenticatedCursorRoundTrip_HP_CTL_06"]

[[requirements]]
id = "HP-CTL-07"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestControlListAndGetViews_HP_CONTROL_01"]

[[requirements]]
id = "BH-CTL-02"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestRunCommandRequestIDIdempotencyAndValidation_BH_CONTROL_02"]

[[requirements]]
id = "BH-CTL-03"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestCommandPaginationBindsFilters_BH_CONTROL_03"]

[[requirements]]
id = "HP-CTL-08"
layer = "integration"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestControlGRPCRoundTrip_HP_CONTROL_06"]

[[requirements]]
id = "HP-CTL-09"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/listen_unix_test.go:TestListenUnixProtectsAndCleansOwnedSocket_HP_CONTROL_04"]

[[requirements]]
id = "BH-CTL-04"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/listen_unix_test.go:TestListenUnixRefusesNonSocketPath_BH_CONTROL_05"]

[[requirements]]
id = "HP-CTL-10"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestFollowCommandStreamsDurableEvents_HP_CONTROL_10"]

[[requirements]]
id = "HP-CTL-11"
layer = "unit"
status = "implemented"
tests = ["cmd/rvc/main_test.go:TestGlobalSocketAndCLIValueParsing_HP_CTL_11"]

[[requirements]]
id = "HP-CTL-12"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestGetOutputSlicesWithAuthenticatedCursor_HP_CONTROL_12"]

[[requirements]]
id = "BH-CTL-13"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestControlMutationIdempotencyAndQueuedCancellation_BH_CONTROL_13"]

[[requirements]]
id = "HP-CTL-14"
layer = "unit"
status = "implemented"
tests = ["internal/server/control/service_test.go:TestStorageIncidentControlLifecycle_HP_CONTROL_14"]

[[requirements]]
id = "HP-CTL-15"
layer = "integration"
status = "implemented"
tests = ["internal/server/control/jsonrpc_test.go:TestJSONRPCUnaryMatchesControlService_HP_CTL_15"]

[[requirements]]
id = "BH-CTL-16"
layer = "integration"
status = "implemented"
tests = ["internal/server/control/jsonrpc_test.go:TestJSONRPCRejectsOversizeAndMalformedRequests_BH_CTL_16"]

[[requirements]]
id = "BH-CTL-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/cursor_test.go:TestCursorForgeryAndFilterBinding_BH_CTL_01",
  "internal/domain/cursor_test.go:TestCursorInputBounds_BH_CTL_01",
]

[[requirements]]
id = "HP-IDEM-01"
layer = "unit"
status = "implemented"
tests = ["internal/domain/id_test.go:TestUUIDv7CanonicalValidation_HP_IDEM_01"]

[[requirements]]
id = "HP-IDEM-02"
layer = "unit"
status = "implemented"
tests = ["internal/domain/idempotency_test.go:TestImmutableRequestReplay_HP_IDEM_02"]

[[requirements]]
id = "HP-IDEM-10"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/id_test.go:TestUUIDv7GeneratorMonotonicAcrossClockRollback_HP_IDEM_10",
  "internal/domain/id_test.go:TestUUIDv7GeneratorConcurrentOrderingAndUniqueness_HP_IDEM_10",
]

[[requirements]]
id = "HP-CMD-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/lifecycle_test.go:TestLifecycleTransitionMatrix_HP_CMD_01",
  "internal/domain/lifecycle_test.go:TestTerminalPredicateExhaustive_HP_CMD_01",
  "internal/domain/revision_test.go:TestRevisionComparisonAndAdvance_HP_CMD_01",
  "internal/client/supervisor/windows/commandline_test.go:TestBuildCommandLine_HP_CMD_01",
]

[[requirements]]
id = "BH-CMD-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/supervisor/windows/commandline_test.go:TestBuildCommandLineRejectsNUL_BH_CMD_01"]

[[requirements]]
id = "HP-LAUNCH-01"
layer = "unit"
status = "implemented"
tests = ["internal/domain/lifecycle_test.go:TestLaunchBarrier_HP_LAUNCH_01"]

[[requirements]]
id = "HP-PROTO-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/sequence_test.go:TestOutputTruncationRanges_HP_PROTO_01",
  "internal/agentproto/validate_test.go:TestDecodeEnvelopeBoundaries_HP_PROTO_01",
  "internal/agentproto/validate_test.go:TestExecutionSpecValidation_HP_PROTO_01",
]

[[requirements]]
id = "HP-PROTO-05"
layer = "unit"
status = "implemented"
tests = ["internal/agentproto/validate_test.go:TestOutputChunkBoundedDecompression_HP_PROTO_05"]

[[requirements]]
id = "HP-PROTO-09"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/errors_test.go:TestDomainErrorMapping_HP_PROTO_09",
  "internal/domain/errors_test.go:TestDomainErrorBoundsAndCause_HP_PROTO_09",
]

[[requirements]]
id = "HP-CLIENT-07"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/sequence_test.go:TestEventSequenceAndDuplicateEquivalence_HP_CLIENT_07",
  "internal/client/spool/spool_test.go:TestSpoolAcceptanceSequencingAndAck_HP_CLIENT_07",
]

[[requirements]]
id = "HP-CLIENT-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/spool_test.go:TestStoreDurableIdentityAndSingleInstance_HP_CLIENT_01"]

[[requirements]]
id = "BH-CLIENT-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/spool_test.go:TestStoreRejectsCorruptIdentity_BH_CLIENT_01"]

[[requirements]]
id = "BH-CLIENT-02"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/spool_test.go:TestTerminalCleanupTombstonesAndConflicts_BH_CLIENT_02"]

[[requirements]]
id = "HP-CLIENT-10"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/spool_test.go:TestDiscardServerConfirmedTerminalDropsPendingEvents_HP_CLIENT_10"]

[[requirements]]
id = "HP-WINCTX-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/errors_test.go:TestWindowsPrelaunchErrorCodes_HP_WINCTX_01",
  "internal/client/supervisor/windows/selection_test.go:TestSelectExecutionContext_HP_WINCTX_02",
]

[[requirements]]
id = "BH-WINCTX-02"
layer = "unit"
status = "implemented"
tests = ["internal/client/supervisor/windows/selection_test.go:TestSelectExecutionContextBoundaries_BH_WINCTX_02"]

[[requirements]]
id = "HP-WINENV-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/supervisor/windows/environment_test.go:TestEnvironmentOverlayIsCaseInsensitiveAndDeterministic_HP_WINENV_01"]

[[requirements]]
id = "BH-WINENV-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/supervisor/windows/environment_test.go:TestEnvironmentOverlayRejectsMalformedAndDuplicateBase_BH_WINENV_01"]

[[requirements]]
id = "BH-SUPERVISOR-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/supervisor/supervisor_test.go:TestStartSpecValidation_BH_SUPERVISOR_01"]

[[requirements]]
id = "BH-SES-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/agentproto/validate_test.go:TestEnvelopeSessionFencingShape_BH_SES_01",
  "internal/agentproto/validate_test.go:TestReconciliationRowsAndCapacity_BH_SES_01",
]

[[requirements]]
id = "HP-SES-01"
layer = "unit"
status = "implemented"
tests = ["internal/domain/protocol_test.go:TestSelectHighestCompatibleProtocol_HP_SES_01"]

[[requirements]]
id = "HP-SES-07"
layer = "unit"
status = "implemented"
tests = ["internal/client/agent/handshake_test.go:TestHandshakeHelloWelcome_HP_SES_07"]

[[requirements]]
id = "BH-SES-07"
layer = "unit"
status = "implemented"
tests = ["internal/client/agent/handshake_test.go:TestHandshakeRejectsNonWelcome_BH_SES_07"]

[[requirements]]
id = "HP-SES-08"
layer = "unit"
status = "implemented"
tests = ["internal/client/agent/handshake_test.go:TestReconcileSnapshot_HP_SES_08"]

[[requirements]]
id = "HP-SES-09"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/snapshot_test.go:TestReconcileSnapshotRetainedAndTombstoned_HP_SES_09"]

[[requirements]]
id = "HP-SES-12"
layer = "unit"
status = "implemented"
tests = ["internal/client/agent/handshake_test.go:TestApplyReconcileResult_HP_SES_12"]

[[requirements]]
id = "HP-DISPATCH-01"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/command_test.go:TestQueueCommandDurableIdempotency_HP_DISPATCH_01"]

[[requirements]]
id = "HP-DISPATCH-02"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/command_test.go:TestClaimDispatchExpiresAndFencesRequeue_HP_DISPATCH_02"]

[[requirements]]
id = "HP-DISPATCH-03"
layer = "integration"
status = "implemented"
tests = ["test/integration/clientagent/clientagent_integration_test.go:TestWebSocketDispatchAfterReconciliation_HP_DISPATCH_03"]

[[requirements]]
id = "HP-DISPATCH-05"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/command_test.go:TestRecordCommandAcceptanceFencesGeneration_HP_DISPATCH_05"]

[[requirements]]
id = "HP-DISPATCH-06"
layer = "integration"
status = "implemented"
tests = ["test/integration/clientagent/clientagent_integration_test.go:TestControlQueueWakesReconciledSession_HP_DISPATCH_06"]

[[requirements]]
id = "HP-DISPATCH-07"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/spool_test.go:TestExecutionSpecIsDurableAndQuotaCounted_HP_DISPATCH_07"]

[[requirements]]
id = "BH-DISPATCH-07"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/spool_test.go:TestExecutionSpecCorruptionMarksSpoolDirty_BH_DISPATCH_07"]

[[requirements]]
id = "HP-DISPATCH-08"
layer = "integration"
status = "implemented"
tests = ["test/integration/clientagent/clientagent_integration_test.go:TestControlStdinIntentReplaysAndAcknowledges_HP_DISPATCH_08"]

[[requirements]]
id = "HP-SIGNAL-01"
layer = "integration"
status = "implemented"
tests = ["test/integration/clientagent/clientagent_integration_test.go:TestControlStdinIntentReplaysAndAcknowledges_HP_DISPATCH_08"]

[[requirements]]
id = "HP-EVENT-01"
layer = "unit"
status = "implemented"
tests = ["internal/server/session/agent_server_test.go:TestWireEventAppendCarriesClientBinding_HP_EVENT_01"]

[[requirements]]
id = "HP-EVENT-02"
layer = "unit"
status = "implemented"
tests = ["internal/client/agent/handshake_test.go:TestSendCommandEventCanonicalDigest_HP_EVENT_02"]

[[requirements]]
id = "HP-EVENT-03"
layer = "unit"
status = "implemented"
tests = ["internal/client/agent/handshake_test.go:TestApplyEventAckValidatesAndReleasesPrefix_HP_EVENT_03"]

[[requirements]]
id = "HP-EVENT-04"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/events_read_test.go:TestReadCommandEventsValidatesSegmentAndPreservesOrder_HP_EVENT_04"]

[[requirements]]
id = "HP-SES-05"
layer = "integration"
status = "implemented"
tests = ["internal/server/session/agent_server_test.go:TestAgentServerRegistrationAndReplacement_HP_SES_05"]

[[requirements]]
id = "HP-SES-06"
layer = "integration"
status = "implemented"
tests = ["test/integration/clientagent/clientagent_integration_test.go:TestWebSocketHelloWelcome_HP_SES_06"]

[[requirements]]
id = "BH-SES-04"
layer = "integration"
status = "implemented"
tests = ["internal/server/session/agent_server_test.go:TestAgentServerRejectsHostileWireInputs_BH_SES_04"]

[[requirements]]
id = "HP-SES-11"
layer = "unit"
status = "implemented"
tests = [
  "internal/domain/reconcile_test.go:TestReconciliationMatrix_HP_SES_11",
  "internal/domain/reconcile_test.go:TestReconciliationKeepsHighestRevision_HP_SES_11",
]

[[requirements]]
id = "BH-SES-10"
layer = "unit"
status = "implemented"
tests = ["internal/domain/reconcile_test.go:TestReconciliationContradictions_BH_SES_10"]

[[requirements]]
id = "BH-IDEM-01"
layer = "unit"
status = "implemented"
tests = ["internal/agentproto/validate_test.go:TestCommandDispatchUUIDRevisionAndTimestamp_BH_IDEM_01"]

[[requirements]]
id = "BH-SCRIPT-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/agentproto/validate_test.go:TestScriptDescriptorHostileNames_BH_SCRIPT_01",
  "internal/client/spool/script_test.go:TestScriptUploadRejectsDescriptorDigestAndBounds_BH_SCRIPT_01",
]

[[requirements]]
id = "BH-LAUNCH-01"
layer = "unit"
status = "implemented"
tests = ["internal/agentproto/validate_test.go:TestWindowsEnvironmentCaseCollision_BH_LAUNCH_01"]

[[requirements]]
id = "BH-OUTFLOW-01"
layer = "unit"
status = "implemented"
tests = [
  "internal/agentproto/validate_test.go:TestCommandEventPayloadValidation_BH_OUTFLOW_01",
  "internal/client/spool/quota_test.go:TestSpoolAcknowledgementReleasesQuota_HP_CLIENT_08",
]

[[requirements]]
id = "HP-OUT-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/output_test.go:TestAppendOutputRotatesOnlyUnsequencedRun_HP_OUT_01"]

[[requirements]]
id = "BH-OUTFLOW-02"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/output_test.go:TestAppendOutputNeverEvictsAssignedEvent_BH_OUTFLOW_02"]

[[requirements]]
id = "HP-FLOW-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/runtime/runtime_test.go:TestSessionMachineBackoffAndStableReset_HP_FLOW_01"]

[[requirements]]
id = "HP-FLOW-02"
layer = "unit"
status = "implemented"
tests = ["internal/client/runtime/runtime_test.go:TestSendQueuePriorityReserveAndFairness_HP_FLOW_02"]

[[requirements]]
id = "BH-RET-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/quota_test.go:TestCheckReservationQuotaTiers_BH_RET_01"]

[[requirements]]
id = "HP-CLIENT-08"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/quota_test.go:TestSpoolAcknowledgementReleasesQuota_HP_CLIENT_08"]

[[requirements]]
id = "HP-SCRIPT-01"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/script_test.go:TestScriptUploadDurableExactReplayAndCommit_HP_SCRIPT_01"]

[[requirements]]
id = "HP-CLIENT-09"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/recovery_test.go:TestCheckSpoolPayloadsAndCounters_HP_CLIENT_09"]

[[requirements]]
id = "BH-CLIENT-03"
layer = "unit"
status = "implemented"
tests = ["internal/client/spool/recovery_test.go:TestCheckSpoolRejectsCounterDrift_BH_CLIENT_03"]

[[requirements]]
id = "HP-WINCTX-02"
layer = "integration"
status = "blocked_native_windows"
tests = []

[[requirements]]
id = "HP-STORE-01"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestRealSQLiteInitializationAndRestart_HP_STORE_01"]

[[requirements]]
id = "BH-STORE-01"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestSchemaRejectsInvalidIDsAndForeignKeys_BH_STORE_01"]

[[requirements]]
id = "BH-STORE-02"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestUnsafePathsAndCancelledOpen_BH_STORE_02"]

[[requirements]]
id = "BH-STORE-03"
layer = "unit"
status = "implemented"
tests = ["test/harness/harness_test.go:TestBoundedSuiteLogAndFailedRunRecovery_BH_STORE_03"]

[[requirements]]
id = "RACE-STORE-01"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestSingleInstanceLockAndConcurrentClose_RACE_STORE_01"]

[[requirements]]
id = "REC-STORE-01"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestMigrationChecksumMismatchPreventsOpen_REC_STORE_01"]

[[requirements]]
id = "HP-STORE-02"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/segment_test.go:TestSegmentRecordRoundTrip_HP_STORE_02"]

[[requirements]]
id = "BH-STORE-04"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/segment_test.go:TestSegmentRecordChecksumFailures_BH_STORE_04"]

[[requirements]]
id = "BOUND-STORE-01"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/segment_test.go:TestSegmentRecordLengthBoundsBeforeAllocation_BOUND_STORE_01"]

[[requirements]]
id = "REC-STORE-02"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestSegmentAppendTailRecoveryAndCommittedCorruption_REC_STORE_02"]

[[requirements]]
id = "BH-STORE-05"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestSegmentShortRangeUnsafeReferenceAndExclusiveCreate_BH_STORE_05"]

[[requirements]]
id = "RACE-STORE-02"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestSegmentConcurrentAppendSerializesRecords_RACE_STORE_02"]

[[requirements]]
id = "CRASH-STORE-01"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestEventCrashBeforeMetadataDropsUncommittedTail_CRASH_STORE_01"]

[[requirements]]
id = "CRASH-STORE-02"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestEventCrashAfterCommitReplaysWithoutDuplication_CRASH_STORE_02"]

[[requirements]]
id = "HP-STORE-03"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestEventGapRejectedBeforeFileWriteAndRotation_HP_STORE_03"]

[[requirements]]
id = "CRASH-STORE-03"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestEventCrashOnExistingSegmentTruncatesOnlyTail_CRASH_STORE_03"]

[[requirements]]
id = "HP-STORE-04"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/quota_test.go:TestChargeFormulaVersionAndOverflow_HP_STORE_04"]

[[requirements]]
id = "HP-STORE-05"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/quota_test.go:TestTieredReservationOrderAndBoundaries_HP_STORE_05"]

[[requirements]]
id = "BH-STORE-06"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/quota_test.go:TestCloseoutReservationCanBeConsumed_BH_STORE_06"]

[[requirements]]
id = "HP-STORE-06"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/retention_test.go:TestWholeCommandEvictionOrderingAndAge_HP_STORE_06"]

[[requirements]]
id = "BH-STORE-07"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/retention_test.go:TestOutputRotationProtectsActiveSegmentAndFIFO_BH_STORE_07"]

[[requirements]]
id = "HP-STORE-07"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestEventQuotaCountersAtomicAndCapacityRejectsBeforeWrite_HP_STORE_07"]

[[requirements]]
id = "BH-STORE-08"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestFilesystemFloorAndCounterMismatch_BH_STORE_08"]

[[requirements]]
id = "HP-STORE-08"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestTerminalAgeRetentionEvictsWholeCommand_HP_STORE_08"]

[[requirements]]
id = "HP-STORE-09"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestTombstoneFIFOIsCappedInEvictionTransaction_HP_STORE_09"]

[[requirements]]
id = "CRASH-STORE-04"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestRetentionCrashStagesRollForward_CRASH_STORE_04"]

[[requirements]]
id = "HP-STORE-10"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/health_test.go:TestScopeHealthBestEffortReadiness_HP_STORE_10"]

[[requirements]]
id = "RACE-STORE-03"
layer = "unit"
status = "implemented"
tests = ["internal/server/store/health_test.go:TestScopeHealthConcurrentUpdates_RACE_STORE_03"]

[[requirements]]
id = "HP-STORE-11"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestIncidentDirtyResolutionIdempotencyAndRecurrence_HP_STORE_11"]

[[requirements]]
id = "BH-STORE-09"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestIrreparableIncidentRequiresExplicitAcknowledgement_BH_STORE_09"]

[[requirements]]
id = "HP-SES-02"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestSessionRegistrationFencingAndExactTakeover_HP_SES_02"]

[[requirements]]
id = "BH-SES-02"
layer = "integration"
status = "implemented"
tests = ["test/integration/store/store_integration_test.go:TestTakeoverBoundariesAndClosedSession_BH_SES_02"]

[[requirements]]
id = "HP-SES-03"
layer = "unit"
status = "implemented"
tests = ["internal/server/session/session_test.go:TestWriterQueuePriorityAndFairness_HP_SES_03"]

[[requirements]]
id = "HP-SES-04"
layer = "unit"
status = "implemented"
tests = ["internal/server/session/session_test.go:TestHeartbeatBoundaries_HP_SES_04"]

[[requirements]]
id = "BH-SES-03"
layer = "unit"
status = "implemented"
tests = ["internal/server/session/session_test.go:TestCapacityShadowAndRegistry_BH_SES_03"]