🏛️ Dependent ArchivesType-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data