Requirements

ID
SD-REQ-001	Sealing on initialisation Verified by test_init_and_verify().
SD-REQ-002	Argument validation Verified by test_null_args().
SD-REQ-003	Pure verification Verified by test_detects_corruption(), and test_init_and_verify().
SD-REQ-004	In-place repair under mutual exclusion Verified by test_verify_repair_fixes_in_place().
SD-REQ-005	Validated read Verified by test_read_roundtrip().
SD-REQ-006	Atomic sealed write Verified by test_read_roundtrip(), and test_write_reseals().
SD-REQ-007	Transactional read-modify-write Verified by test_update_abort_keeps_integrity(), and test_update_commits().
SD-REQ-008	Mutator contract enforcement Verified by test_update_clamps_positive_mutator_return().
SD-REQ-009	Single-copy fault recovery Verified by test_detects_corruption(), test_stale_tag_recovers(), and test_verify_repair_fixes_in_place().
SD-REQ-010	Double-fault detection Verified by test_double_fault_unrecoverable().
SD-REQ-011	Configurable unrecoverable-fault reaction Verified by test_fault_handler_events(), and test_fault_reaction().
SD-REQ-012	Integrity-event statistics Verified by test_stats_count_events().
SD-REQ-013	Fault-handler registration and event reporting Verified by test_fault_handler_events().
SD-REQ-014	Bounded lock acquisition Verified by test_lock_timeout_is_bounded_and_reported().
SD-REQ-015	No ISR-context locking Verified by test_lock_from_isr_asserts().
SD-REQ-016	Serialised access — no torn snapshots Verified by test_concurrent_access_is_serialised().
SD-REQ-017	Integrity-mechanism self-test Verified by test_selftest().
SD-REQ-018	Write may not silently mask corruption Verified by test_write_observes_overwritten_corruption().
SD-REQ-019	Compile-time payload guards
SD-REQ-020	Reduced API surface at the Strict level Verified by test_reduced_api_surface().
SD-REQ-021	Scoped access block Verified by test_section_scope().
SD-REQ-022	Unchecked commit Verified by test_commit_reseals_external_write().

Unverified Requirements

The requirement SD-REQ-019 does not have a 'verifies' relation.