//! Property-based tests, consolidated from across `src/`.
//!
//! Each sub-module validates specific properties from the requirements
//! document using proptest-based generative testing.
//!
//! Note: `indicator_properties` remains in `bin/s3rm/` because it belongs
//! to the binary crate and imports binary-local modules.