Nothrow Requirements		status: draft security: NO safety: ASIL_B
realizes: wp__requirements_comp
doc__nothrow_requirements		Generic Document

Requirements

Nothrow allocation failure signaling		status: invalid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__nothrow__container_utilities belongs to: comp__baselibs_nothrow
The score::nothrow memory-resource allocation interfaces shall not throw on allocation failure and shall instead signal failure by returning nullptr.
comp_req__nothrow__alloc_fail		Component Requirement

Nothrow fallible construction		status: invalid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__nothrow__container_utilities belongs to: comp__baselibs_nothrow
Containers in score::nothrow shall provide explicit fallible factory functions that return score::Result<Container> for construction paths that may require allocation.
comp_req__nothrow__create		Component Requirement

Nothrow explicit mutation error propagation		status: invalid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__nothrow__container_utilities belongs to: comp__baselibs_nothrow
Container operations that may allocate during mutation shall provide explicit error-propagating APIs using score::Result or score::ResultBlank instead of relying on exception-based failure signaling.
comp_req__nothrow__mutate_result		Component Requirement

Nothrow aborting convenience operations		status: invalid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__nothrow__container_utilities belongs to: comp__baselibs_nothrow
For operations with explicit error-propagating APIs, score::nothrow shall provide clearly named OrAbort convenience variants for cases where allocation failure is considered a programming error.
comp_req__nothrow__or_abort		Component Requirement

Nothrow pointer-slot policy abstraction		status: invalid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__nothrow__container_utilities belongs to: comp__baselibs_nothrow
score::nothrow containers shall store persisted internal pointers through a selectable pointer-slot policy abstraction so that storage semantics can be changed without rewriting the container algorithms.
comp_req__nothrow__pointer_policy		Component Requirement

Safety Impact

Nothrow library ASIL level		status: invalid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__nothrow__container_utilities belongs to: comp__baselibs_nothrow
The score::nothrow library shall be ASIL-B compliant.
comp_req__nothrow__asil		Component Requirement