Status: OUT
Verification of system correctness is impossible at every layer of the architecture: data integrity verification degrades from partial to absent along the storage pipeline (WAL CRCs exclude metadata, SSTables have no checksums at all), while protocol safety claims are unfalsifiable because all distributed testing uses synchronous simulation that cannot exercise the asynchronous failure modes the protocols are designed to tolerate.
Storage integrity verification degrades monotonically from WAL to SSTable, and protocol safety is tested under the wrong failure model — no layer has a valid verification mechanism
Depends on (SL): integrity-degrades-along-storage-pipeline, protocol-safety-unfalsifiable-under-current-testing