Requirements

Result Library Requirements		status: valid security: YES safety: ASIL_B
tags: requirements, result_lib version: 2 realizes: wp__requirements_comp
doc__result_lib_requirements		Generic Document

Functional Requirements

Result-Based Error Handling		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional testlink: Error__CanCompareForEqual (passed); Error__CanCompareForNotEqualOnDifferentDomains (passed); Error__CanCompareForNotEqualOnDifferentValues (passed); ExpectedTest__EqualityBetweenExpectedBothWithValues (passed); ExpectedTest__EqualityBetweenExpectedBothWithErrors (passed); ExpectedTest__EqualityBetweenExpectedWithValueAndError (passed); ExpectedTest__EqualityBetweenExpectedAndValue (passed); ExpectedTest__EqualityBetweenExpectedAndUnexpected (passed); ExpectedTest__AndThenLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__AndThenLValueConstRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenLValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__AndThenRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__AndThenRValueConstRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenRValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__OrElseLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__OrElseConstLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__OrElseRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__OrElseConstRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformConstLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformConstLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformConstRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformConstRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformErrorLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformErrorConstLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformErrorRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformErrorConstRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__ArrowOperatorConstReturnsPointerToValue (passed); ExpectedTest__ArrowOperatorConstWillExitIfNoValueIsStored (passed); ExpectedTest__ArrowOperatorReturnsPointerToValue (passed); ExpectedTest__ArrowOperatorWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorLValueConstReturnsReferenceToValue (passed); ExpectedTest__StarOperatorLValueConstWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorLValueReturnsReferenceToValue (passed); ExpectedTest__StarOperatorLValueWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorRValueConstReturnsReferenceToValue (passed); ExpectedTest__StarOperatorRValueConstWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorRValueReturnsReferenceToValue (passed); ExpectedTest__StarOperatorRValueWillExitIfNoValueIsStored (passed); ExpectedTest__ExplicitConversionToBoolIsTrueIfHasValue (passed); ExpectedTest__ExplicitConversionToBoolIsFalseIfHasNoValue (passed); ExpectedTest__HasValueReturnsTrueIfHasValue (passed); ExpectedTest__HasValueReturnsFalseIfHasNoValue (passed); ExpectedTest__CanRetrieveValueFromLValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromLValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveValueFromConstLValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromConstLValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveValueFromRValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromRValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveValueFromConstRValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromConstRValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveErrorFromLValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromLValueReferenceWithValue (passed); ExpectedTest__CanRetrieveErrorFromConstLValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromConstLValueReferenceWithValue (passed); ExpectedTest__CanRetrieveErrorFromRValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromRValueReferenceWithValue (passed); ExpectedTest__CanRetrieveErrorFromConstRValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromConstRValueReferenceWithValue (passed); ExpectedTest__ValueOrConstLValueReturnsValueIfHasValue (passed); ExpectedTest__ValueOrConstLValueReturnsDefaultIfHasNoValue (passed); ExpectedTest__ValueOrRValueReturnsValueIfHasValue (passed); ExpectedTest__ValueOrRValueReturnsDefaultIfHasNoValue (passed); ExpectedTest__ErrorOrConstLValueReturnsErrorIfHasNoValue (passed); ExpectedTest__ErrorOrConstLValueReturnsDefaultIfHasValue (passed); ExpectedTest__ErrorOrRValueReturnsErrorIfHasNoValue (passed); ExpectedTest__ErrorOrRValueReturnsDefaultIfHasValue (passed); ExpectedVoidTest__EqualityBetweenExpectedBothWithErrors (passed); ExpectedVoidTest__EqualityBetweenExpectedWithValueAndError (passed); ExpectedVoidTest__EqualityBetweenExpectedAndUnexpected (passed); ExpectedVoidTest__AndThenLValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__AndThenLValueConstRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenLValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__AndThenRValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__AndThenRValueConstRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenRValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__OrElseLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__OrElseConstLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__OrElseRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__OrElseConstRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformLValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformConstLValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformConstLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformRValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformConstRValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformConstRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformErrorLValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformErrorConstLValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformErrorRValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformErrorConstRValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__StarOperatorWillNotExitIfValid (passed); ExpectedVoidTest__StarOperatorWillExitIfInErrorState (passed); ExpectedVoidTest__ExplicitConversionToBoolIsTrueIfHasValue (passed); ExpectedVoidTest__ExplicitConversionToBoolIsFalseIfHasNoValue (passed); ExpectedVoidTest__HasValueReturnsTrueIfHasValue (passed); ExpectedVoidTest__HasValueReturnsFalseIfHasNoValue (passed); ExpectedVoidTest__NoAbortWhenCallValueFromConstLValueReference (passed); ExpectedVoidTest__AbortWhenCallValueFromConstLValueReferenceWithoutValue (passed); ExpectedVoidTest__NoAbortWhenCallValueFromRValueReference (passed); ExpectedVoidTest__AbortWhenCallValueFromRValueReferenceWithoutValue (passed); ExpectedVoidTest__CanRetrieveErrorFromConstLValueReference (passed); ExpectedVoidTest__AbortsWhenRetrieveErrorFromConstLValueReferenceWithValue (passed); ExpectedVoidTest__AbortsWhenRetrieveErrorFromRValueReferenceWithValue (passed); ExpectedVoidTest__ErrorOrConstLValueReturnsErrorIfHasNoValue (passed); ExpectedVoidTest__ErrorOrConstLValueReturnsDefaultIfHasValue (passed); ExpectedVoidTest__ErrorOrRValueReturnsErrorIfHasNoValue (passed); ExpectedVoidTest__ErrorOrRValueReturnsDefaultIfHasValue (passed); ExpectedVoidTest__CanRetrieveErrorFromRValueReference (passed); UnexpectedTest__CanRetrieveErrorFromConstLValueReference (passed); UnexpectedTest__CanRetrieveErrorFromLValueReference (passed); UnexpectedTest__CanRetrieveErrorFromConstRValueReference (passed); UnexpectedTest__CanRetrieveErrorFromRValueReference (passed); UnexpectedTest__CanCompareEquality (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall provide an error handling mechanism that enables functions to return either successful values (“Get Value”) or error information (“Get Error”) without using C++ exceptions.
comp_req__result__error_handling		Component Requirement

Set Result		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional testlink: UnexpectedTests__CanMakeErroneousResultUsingUnexpectedTypeAlias (passed); UnexpectedTests__CanMakeErroneousResultUsingMakeUnexpectedWithCodeAndUserMessage (passed); UnexpectedTests__LegacyCanMakeErroneousResultUsingMakeUnexpectedWithError (passed); ExpectedTest__CanCopyAssignFromCompatibleType (passed); ExpectedTest__CanMoveAssignFromCompatibleType (passed); ExpectedTest__CanCopyAssignFromUnexpected (passed); ExpectedTest__CanMoveAssignFromUnexpected (passed); ExpectedTest__CanEmplaceWithArgs (passed); ExpectedTest__CanEmplaceWithInitializerListAndArgs (passed); ExpectedTest__CanCopyConstructFromCompatibleExpectedWithValue (passed); ExpectedTest__CanCopyConstructFromCompatibleExpectedWithError (passed); ExpectedTest__CanMoveConstructFromCompatibleExpectedWithValue (passed); ExpectedTest__CanMoveConstructFromCompatibleExpectedWithError (passed); ExpectedTest__CanCopyConstructFromCompatibleTypeWithValue (passed); ExpectedTest__CanMoveConstructFromCompatibleTypeWithValue (passed); ExpectedTest__CanCopyConstructFromCompatibleTypeWithError (passed); ExpectedTest__CanMoveConstructFromCompatibleTypeWithError (passed); ExpectedTest__CanInPlaceConstructValue (passed); ExpectedTest__CanInPlaceConstructValueWithInitializerList (passed); ExpectedTest__CanInPlaceConstructError (passed); ExpectedTest__CanInPlaceConstructErrorWithInitializerList (passed); ExpectedVoidTest__CanCopyAssignFromUnexpected (passed); ExpectedVoidTest__CanMoveAssignFromUnexpected (passed); ExpectedVoidTest__CanEmplace (passed); ExpectedVoidTest__CanCopyConstructFromCompatibleExpectedWithError (passed); ExpectedVoidTest__CanMoveConstructFromCompatibleExpectedWithError (passed); ExpectedVoidTest__CanCopyConstructFromCompatibleTypeWithError (passed); ExpectedVoidTest__CanMoveConstructFromCompatibleTypeWithError (passed); ExpectedVoidTest__CanInPlaceConstruct (passed); ExpectedVoidTest__CanInPlaceConstructError (passed); ExpectedVoidTest__CanInPlaceConstructErrorWithInitializerList (passed); UnexpectedTest__CanBeConstructedFromCompatibleType (passed); UnexpectedTest__CanBeInPlaceConstructedFromCompatibleArguments (passed); UnexpectedTest__CanBeInPlaceConstructedFromInitializerList (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall provide a “Set Result” operation that accepts either a successful value of type T or an Error object.
comp_req__result__set_result		Component Requirement

Domain-Specific Error Information		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional testlink: RustBridgeTests__GetMessageForErrorCodeFFI (passed); Error__RetrieveMessage (passed); Error__RetrieveUserMessage (passed); Error__RetrieveUserMessageWhenNotProvided (passed); Error__ConstructViaMakeFunction (passed); Error__CanLogCustomMessageToOstream (passed); Error__WithUserMessagePreservesCodeAndDomain (passed); Error__WithUserMessageCanClearUserMessage (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall support user-defined error domains and error codes.
comp_req__result__domain_error_information		Component Requirement

Type-Safe Error Handling		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional testlink: Error__CorrectConstructionAndAssignmentGuarantees (passed); Error__CanDereferenceToUnderlyingType (passed); TypeTraitsTests__IsResultVIsTrueIfIsTemplatedResult (passed); TypeTraitsTests__IsResultVIsTrueIfIsResultBlank (passed); TypeTraitsTests__IsResultVIsFalseIfIsNoResult (passed); ExpectedTest__IsCopyAssignableWithValue (passed); ExpectedTest__IsCopyAssignableWithError (passed); ExpectedTest__IsMoveAssignableWithValue (passed); ExpectedTest__IsMoveAssignableWithError (passed); ExpectedTest__CanSwapWithMemberSwap (passed); ExpectedTest__CanSwapWithStdSwap (passed); ExpectedTest__IsDefaultConstructibleWhenValueTypeIsDefaultConstructible (passed); ExpectedTest__IsNotDefaultConstructibleWhenValueTypeIsNotDefaultConstructible (passed); ExpectedTest__IsCopyConstructibleWhenInnerTypesAreCopyConstructibleAndWithValue (passed); ExpectedTest__IsCopyConstructibleWhenInnerTypesAreCopyConstructibleAndWithError (passed); ExpectedTest__IsNotCopyConstructibleWhenInnerTypesAreNotCopyConstructible (passed); ExpectedTest__IsMoveConstructibleWhenInnerTypesAreMoveConstructibleAndWithValue (passed); ExpectedTest__IsMoveConstructibleWhenInnerTypesAreMoveConstructibleAndWithError (passed); ExpectedTest__IsNotMoveConstructibleWhenInnerTypesAreNotMoveConstructible (passed); ExpectedTest__CanWrapExpected (passed); ExpectedTest__HasValueTypeTypeTrait (passed); ExpectedTest__HasErrorTypeTypeTrait (passed); ExpectedTest__HasUnexpectedTypeTypeTrait (passed); ExpectedTest__HasRebindTypeTrait (passed); ExpectedVoidTest__IsCopyAssignableWithError (passed); ExpectedVoidTest__IsMoveAssignableWithError (passed); ExpectedVoidTest__CanSwapWithMemberSwap (passed); ExpectedVoidTest__CanSwapWithStdSwap (passed); ExpectedVoidTest__IsDefaultConstructibleWhenValueTypeIsVoid (passed); ExpectedVoidTest__IsCopyConstructibleWhenErrorIsCopyConstructuble (passed); ExpectedVoidTest__IsNotCopyConstructibleWhenErrorIsNotCopyConstructible (passed); ExpectedVoidTest__IsMoveConstructibleWhenErrorisMoveConstructible (passed); ExpectedVoidTest__IsNotMoveConstructibleWhenErrorIsNotMoveConstructible (passed); ExpectedVoidTest__CanWrapExpected (passed); ExpectedVoidTest__HasValueTypeTypeTrait (passed); ExpectedVoidTest__HasErrorTypeTypeTrait (passed); ExpectedVoidTest__HasUnexpectedTypeTypeTrait (passed); ExpectedVoidTest__HasRebindTypeTrait (passed); UnexpectTest__UnexpectT_InitializesExplicit (passed); UnexpectTest__ProvidesHelperUnexpect (passed); UnexpectedTest__IsCopyConstructible (passed); UnexpectedTest__IsMoveConstructible (passed); UnexpectedTest__IsCopyAssignable (passed); UnexpectedTest__IsMoveAssignable (passed); UnexpectedTest__CanSwapWithStdSwap (passed); UnexpectedTest__CanSwapWithTypeSwap (passed); UnexpectedTest__DeductionGuideIsSpecified (passed); ExplicitImplicitConstructibleTest__ChecksWorkCorrectly (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall enforce compile-time type safety for error handling operations.
comp_req__result__type_safety		Component Requirement

Standard Library Integration		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional testlink: ConversionTests__CanConvertLValueResultWithValueToStdOptional (passed); ConversionTests__CanConvertLValueResultWithErrorToStdOptional (passed); ConversionTests__CanConvertRValueResultWithValueToStdOptional (passed); ConversionTests__CanConvertRValueResultWithErrorToStdOptional (passed); ExtensionsTest__ConvertToStdOptionalWhenExpectedConstLValueRefHasValue (passed); ExtensionsTest__OnConversionToStdOptionalCallInvocableWhenExpectedConstLValueRefHasNoValue (passed); ExtensionsTest__ConvertToStdOptionalWhenExpectedRValueRefHasValue (passed); ExtensionsTest__OnConversionToStdOptionalCallInvocableWhenExpectedLValueRefHasNoValue (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall provide conversion utilities to transform Result objects into std::optional<T> types. The conversion shall require explicit handling of error cases before discarding error information, ensuring that errors cannot be silently ignored.
comp_req__result__std_integration		Component Requirement

Future C++ Library Integration		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional testlink: ExtensionsTest__CanConvertFromExpectedConstLValueRefToAmpExpectedWithValue (passed); ExtensionsTest__CanConvertFromExpectedConstLValueRefToAmpExpectedWithError (passed); ExtensionsTest__CanConvertFromExpectedRValueRefToAmpExpectedWithValue (passed); ExtensionsTest__CanConvertFromExpectedRValueRefToAmpExpectedWithError (passed); ExtensionsTest__CanConvertFromAmpExpectedConstLValueRefToExpectedWithValue (passed); ExtensionsTest__CanConvertFromAmpExpectedConstLValueRefToExpectedWithError (passed); ExtensionsTest__CanConvertFromAmpExpectedRValueRefToExpectedWithValue (passed); ExtensionsTest__CanConvertFromAmpExpectedRValueRefToExpectedWithError (passed); ExtensionsTest__ConvertToAmpOptionalWhenExpectedConstLValueRefHasValue (passed); ExtensionsTest__OnConversionToAmpOptionalCallInvocableWhenExpectedConstLValueRefHasNoValue (passed); ExtensionsTest__ConvertToAmpOptionalWhenExpectedRValueRefHasValue (passed); ExtensionsTest__OnConversionToAmpOptionalCallInvocableWhenExpectedLValueRefHasNoValue (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result
The Result library shall provide conversion utilities to transform Result objects into score::cpp::expected objects with the same value and error types and vice versa, and to transform a Result object’s value into a score::cpp::optional<T>. The conversion to score::cpp::optional<T> shall require explicit handling of error cases before discarding error information, ensuring that errors cannot be silently ignored.
comp_req__result__futurecpp_integration		Component Requirement

Non-Functional Requirements

Deterministic Behavior		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Non-Functional testlink: ExpectedTest__IsTriviallyDestructible (passed); ExpectedVoidTest__IsTriviallyDestructible (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall provide deterministic behavior with no dynamic memory allocation.
comp_req__result__deterministic_behavior		Component Requirement

Exception-Free Operation		status: valid_inspected security: YES safety: ASIL_B
tags: baselibs, result_lib reqtype: Non-Functional testlink: ExpectedTest__MoveAssignmentHasCorrectNoexcept (passed); ExpectedTest__SwapHasCorrectNoexceptSpecification (passed); ExpectedTest__IsOnlyNothrowMoveConstructibleIfInnerTypesAre (passed); ExpectedVoidTest__MoveAssignmentHasCorrectNoexcept (passed); ExpectedVoidTest__SwapHasCorrectNoexceptSpecification (passed); ExpectedVoidTest__IsOnlyNothrowMoveConstructibleIfErrorIs (passed) version: 1 derived from: feat_req__baselibs__result_library satisfied by: comp__baselibs_result fulfilled by: comp_arc_sta__baselibs__result
The Result library shall operate without throwing C++ exceptions.
comp_req__result__exception_free_operation		Component Requirement

Assumptions of Use (AoU)

Error Domain Implementation		status: valid_inspected security: NO safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional version: 1
The user shall implement error domain classes and error code enumerations according to the library’s interface specification.
aou_req__result__error_domain_implementation		Assumption of Use Requirement

Result Value Handling		status: valid_inspected security: NO safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional version: 1 mitigates: comp_saf_fmea__result__unchecked
The user shall check and handle both successful and error states of Result objects before accessing contained values to prevent undefined behavior.
aou_req__result__value_handling		Assumption of Use Requirement

Error Reaction and Safe State		status: valid_inspected security: NO safety: ASIL_B
tags: baselibs, result_lib reqtype: Functional version: 1 mitigates: comp_saf_fmea__result__unchecked
The user shall implement error reaction mechanisms that transition the system to a safe state when error conditions are detected in Result objects.
aou_req__result__error_reaction		Assumption of Use Requirement

Thread Safety		status: valid_inspected security: NO safety: ASIL_B
tags: baselibs, result_lib reqtype: Non-Functional version: 1
The user shall implement external synchronization mechanisms (e.g., mutexes, atomic operations, or locks) when accessing or modifying Result objects from multiple threads concurrently, as the library provides no internal thread safety guarantees.
aou_req__result__thread_safety		Assumption of Use Requirement

Resource Lifetime		status: valid_inspected security: NO safety: ASIL_B
tags: baselibs, result_lib reqtype: Non-Functional version: 1 mitigates: comp_saf_fmea__result__error_message_life
The user shall ensure that error domain objects and referenced resources remain valid throughout the entire lifetime of any dependent Result or Error objects.
aou_req__result__resource_lifetime		Assumption of Use Requirement