Requirements

Bit Manipulation Requirements		status: draft security: YES safety: ASIL_B
tags: requirements, bitmanipulation realizes: wp__requirements_comp
doc__bitmanipulation_requirements		Generic Document

Functional Requirements

Support for Bit Operations		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Functional satisfies: feat_req__baselibs__bitmanipulation, feat_req__baselibs__core_utilities belongs to: comp__baselibs_bit_manipulation
The bit manipulation component shall provide an API for setting, clearing, toggling, and checking individual bits for any integral type up to 64 bits, returning boolean success status.
comp_req__bitmanipulation__bit_operations		Component Requirement

Support for Byte and Half-Byte Operations		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Functional satisfies: feat_req__baselibs__bitmanipulation, feat_req__baselibs__core_utilities belongs to: comp__baselibs_bit_manipulation
The bit manipulation component shall provide an API for extracting and setting bytes and half-bytes for any integral type up to 64 bits, returning boolean success status.
comp_req__bitmanipulation__byte_operations		Component Requirement

Support for Bitmask Operators for Enum Classes		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Functional satisfies: feat_req__baselibs__bitmanipulation, feat_req__baselibs__core_utilities belongs to: comp__baselibs_bit_manipulation
The bit manipulation library shall provide type-safe bitmask operations for scoped enumeration types.
comp_req__bitmanipulation__bitmask_operators		Component Requirement

Bounds and Safety Checks		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Functional satisfies: feat_req__baselibs__bitmanipulation, feat_req__baselibs__safety belongs to: comp__baselibs_bit_manipulation
The bit manipulation functions shall validate input parameters against bounds and, on out-of-bounds access, shall leave the target value unmodified and return false.
comp_req__bitmanipulation__bounds_safety		Component Requirement

Non-Functional Requirements

Header-only API		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Non-Functional satisfies: feat_req__baselibs__bitmanipulation belongs to: comp__baselibs_bit_manipulation
The bit manipulation API shall be header-only and not require external dependencies.
comp_req__bitmanipulation__header_only		Component Requirement

Assumptions of Use (AoU)

Integral Type Constraints		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Functional
The user shall use bit manipulation functions only with integral types (integers, enumerations) as specified in the library’s type constraints. Note: Operations on floating-point or non-integral types are not supported.
aou_req__bitmanipulation__type_constraints		Assumption of Use Requirement

Bitmask Enum Value Constraints		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Functional
The user shall use scoped enumeration types (enum class) whose enumerators are defined as non-zero power-of-two values.
aou_req__bitmanipulation__enum_constraints		Assumption of Use Requirement

External Synchronization Required for Concurrent Access		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, bitmanipulation reqtype: Non-Functional
The user shall implement external synchronization mechanisms (e.g., mutexes, atomic operations, or locks) when accessing or modifying the same integral value from multiple threads concurrently. Note: The library provides no internal thread safety guarantees.
aou_req__bitmanipulation__concurrent_access		Assumption of Use Requirement