result: link tests to requirements

[Nikhil2206]

Summary

Link all 256 C++ tests in the score/result component to the component requirements using the required RecordProperty metadata.

This completes Route 1 traceability authoring for a component that had no pre-existing test requirement metadata.

Files touched

• score/result/error_test.cpp
• score/result/error_msg_mapping_test.cpp
• score/result/result_test.cpp
• score/result/details/expected/expected_assignment_test.cpp
• score/result/details/expected/expected_constructor_test.cpp
• score/result/details/expected/expected_equality_test.cpp
• score/result/details/expected/expected_monadic_operator_test.cpp
• score/result/details/expected/expected_observer_test.cpp
• score/result/details/expected/expected_type_trait_test.cpp
• score/result/details/expected/extensions_test.cpp
• score/result/details/expected/test_type_traits_test.cpp
• score/result/details/expected/unexpected_test.cpp

Traceability

Each test now has PartiallyVerifies, Description, TestType, and DerivationTechnique metadata.

The links cover error_handling, set_result, domain_error_information, type_safety, std_integration, deterministic_behavior, and exception_free_operation.

Observer misuse tests use fault-injection and boundary-values; systematic ref-qualified and type-variant test families use equivalence-classes.

Validation

• bazel test --config=bl-x86_64-linux //score/result/... -> all 7 test targets passed.
• bazel run //:format.fix -- score/result/details/expected/expected_monadic_operator_test.cpp score/result/details/expected/expected_observer_test.cpp completed successfully.
• git diff --check passed.
• Confirmed 256 tests and 256 FullyVerifies/PartiallyVerifies links.
• Confirmed all 7 referenced comp_req IDs exist in score/result/docs/requirements/index.rst.

The full docs build remains blocked by the pre-existing root-owned _build/ permission error, so requirement ID validation used the documented grep fallback.

Deliberately left unlinked

None. All 256 result tests have traceability metadata.

Flagged requirement-quality issue

extensions_test.cpp includes score::cpp::expected and score::cpp::optional interoperability tests in addition to std::optional interoperability. These tests are linked to comp_req__result__std_integration, whose current wording is narrower and explicitly names std::optional. The requirement wording may need clarification in a follow-up change.

[github-actions]

Documentation preview for this pull request is available at:
pr-579: https://eclipse-score.github.io/baselibs/pr-579/