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