本文档尚未翻译，当前显示经过验证的英文版本。
数据存储
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.