实施计划¶

该分支基于 state-serving 分支和 coverage 分支构建（两者已合并到该分支中）。

1. 编写计划类型和请求体。 在状态规则旁添加 plan、rule 和 reason 类型，并让状态累加器在同一预算下将解析后的请求体提供给提取过程，与响应体一样被接纳。
2. 字段规则。 添加一个模块，用于根据写入所观测实体的调用来解释该实体（echo、copy、path、slug、clock、sequence、unique、template 和 constant），并识别和格式化时钟值、UUID 和 Token。
3. 效果。 添加一个 gate 和服务器共用的 apply 模块。它根据 plan、call 和值来源，对可写状态接口执行 create、update、delete 或 document write：值来源在 gate 中是已记录的值，在服务时是存储的生成器。
4. Gate。 添加一个模拟，它：
5. 对每个写入工具进行分类；
6. 根据各自的示例构建每个计划；
7. 在初始状态的副本上遍历时间线；
8. 检查由状态应答的读取；
9. 归因通过项和不匹配项；
10. 学习插入规则；
11. 记录判定结果。

提取过程在读取 gate 之后运行该模拟，并返回 writes 和 write_clock；视图 schema 及其未知项描述了写入模型。 5. 服务。 - 加载的状态携带 plans 和 clock。 - 存储获得 atomic mutations、clock 和 counter（全部由 data/reset 和 data/add 重置）。 - 写入应答模块校验请求体、应用效果并渲染响应。 - 对缺失实体的条目读取会应答已记录的 404。 - 服务目录会添加已服务的写入工具，其描述计入发现预算。 6. 导出。 在 bundle 计划和 README 中统计已服务的写入工具。 7. 测试。 领域、服务、适配器和 MCP 边界覆盖，与规范的验收清单一致。 8. 文档。 在 environment-state 和服务章节中记录写入模型，并在 verification.md 中记录真实捕获结果、AgentEnv 运行和实时对比。

除 environment-state 结果成员之外，没有依赖、提供方或 REA 工具契约的变更，也没有新的网络活动。