实现计划¶

1. 责任归属与常量守卫。 一个模块将失败的项目读取归因于与之字段不一致的写入，并创建解释，固定常量所派生的成员。
2. 更新规则。 一个模块持有 stamp、derived、held-clock、nested-clock、token 和 envelope 规则；写入计划记录已记录的查询和固定成员，serving 和 gate 都同样应用它们。
3. 视图顺序。 一个模块按完整的无序行对集合排序，另一个从读回中学习排序的字符串数组，并且列表查询与初始顺序共享同一顺序词汇。
4. 批量写入与项目操作。 一个模块在集合或操作路径上处理写入；gate 按实体应用它们，serving 原子地响应它们。
5. 每次响应的成员。 一个模块找出路径新生成的成员，并将它们排除在该路径的比较之外。
6. 嵌套计数器。 通过 JSON 指针列出事实并渲染读写总数。
7. 测试和文档。 每一步的测试在前一步骤都会失败；state-view、state-writes、list-queries 和 state-coverage 规范以及环境文档描述了新行为。