此文件尚未翻譯，目前顯示已驗證的英文版本。
資料儲存
Storage adapters and application-specific verification.
- 更新日期
- 目標版本
- qualification
Adapter boundary
A datastore is considered verified only for the operations, data types, coordinate systems, and concurrency conditions represented by an evidence run.