348 lines
10 KiB
TOML
348 lines
10 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 = "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",
|
|
]
|
|
|
|
[[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"]
|
|
|
|
[[requirements]]
|
|
id = "HP-WINCTX-01"
|
|
layer = "unit"
|
|
status = "implemented"
|
|
tests = ["internal/domain/errors_test.go:TestWindowsPrelaunchErrorCodes_HP_WINCTX_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-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"]
|
|
|
|
[[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"]
|
|
|
|
[[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"]
|