从预约改期看 Agent 工具粒度：把不变量留在权威服务

文章主张 Agent 工具应暴露完整的领域能力而非细粒度字段更新，由权威服务统一校验并提交不变量。作者以一个 SQLite 内存示例实际演示三种结果：弱 CRUD 接口提交了预约与占位不一致的半更新、reschedule_appointment 能力完整提交、资源冲突时回滚事务内已执行的第一条写入。