787 lines
24 KiB
TOML
787 lines
24 KiB
TOML
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 = "HP-WINSVC-01"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/windowsservice/service_test.go:TestInstallSpecValidation_HP_WINSVC_01"]
|
|
|
|
[[requirements]]
|
|
id = "HP-WINSVC-02"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/windowsservice/service_test.go:TestServiceTransitionsAreIdempotentAndExplicit_HP_WINSVC_02"]
|
|
|
|
[[requirements]]
|
|
id = "HP-WINTRAY-01"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/windowstray/protocol_test.go:TestTrayFrameRoundTripAndPayloadBounds_HP_WINTRAY_01"]
|
|
|
|
[[requirements]]
|
|
id = "BH-WINTRAY-01"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/windowstray/protocol_test.go:TestTrayPeerAuthorizationIsActionScoped_BH_WINTRAY_01"]
|
|
|
|
[[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 = "HP-SUPERVISOR-05"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/supervisor/supervisor_test.go:TestWindowsIdentityMapsSelectionEvidence_HP_SUPERVISOR_05"]
|
|
|
|
[[requirements]]
|
|
id = "HP-SUPERVISOR-03"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/supervisor/windows/native_other_test.go:TestPortableSupervisorCapturesOutputAndSupportsStdin_HP_SUPERVISOR_03"]
|
|
|
|
[[requirements]]
|
|
id = "HP-SUPERVISOR-04"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/supervisor/windows/native_other_test.go:TestPortableSupervisorScriptMaterializationAndCleanup_HP_SUPERVISOR_04"]
|
|
|
|
[[requirements]]
|
|
id = "HP-EXECUTOR-01"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/agent/executor_test.go:TestExecutorRunsDurableCommandAndPublishesTerminalEvents_HP_EXECUTOR_01"]
|
|
|
|
[[requirements]]
|
|
id = "HP-EXECUTOR-02"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/agent/executor_test.go:TestExecutorWaitsForScriptCommitBeforeLaunch_HP_EXECUTOR_02"]
|
|
|
|
[[requirements]]
|
|
id = "HP-RUNTIME-03"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/agent/runner_test.go:TestFlushEventsAssignsAndSendsOnlyUnacknowledgedRows_HP_RUNTIME_03"]
|
|
|
|
[[requirements]]
|
|
id = "HP-CLIENT-11"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/spool/spool_test.go:TestAppendLifecycleAtomicallyUpdatesPhaseAndEvent_HP_CLIENT_11"]
|
|
|
|
[[requirements]]
|
|
id = "HP-CLIENT-12"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/spool/recovery_test.go:TestRecoverLaunchUncertaintyFencesRedispatchAfterRestart_HP_CLIENT_12"]
|
|
|
|
[[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 = "BH-DISPATCH-09"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/server/store/command_test.go:TestLateDispatchAcceptanceAndEventRetainExpiryContradiction_BH_DISPATCH_09"]
|
|
|
|
[[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 = "BH-CLIENT-13"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/client/spool/spool_test.go:TestSendWindowPinsUnacknowledgedBytes_BH_CLIENT_13"]
|
|
|
|
[[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"]
|