🛡️ Archive InvariantsSpecificPreservation Properties, Storage Correctness, Media Verification, Durability Proofs