[P1C][T16] 实现 Redis 模型日志与工具回执持久化适配 #11

目标

把 Core journal/receipt 协议落到同一 Redis 所有权域，支持跨实例复用和不确定结果核对。

优先级与归属

• 优先级：P1C；任务标识：T16。
• 责任仓库：agentic-ai-java/argi-extensions。
• 总览：https://github.com/agentic-ai-java/argi/issues/117。
• 这是单一交付任务；以中立接口/reference tests 隔离依赖，可单独提交评审。

范围与落地方案

• 实现模型 journal、工具计划、dispatch intent、attempt、output/error/外部回执引用存储。
• 所有进度写入使用统一 fence/revision；完成回执可独立先于 checkpoint 提交，checkpoint 引用已完成结果。
• 设计未决回执保留及结果尺寸/完整性限制，防止普通 cache TTL 破坏恢复窗口。

前置依赖

• [P1B][T09] 实现 Redis 统一租约与 Run/checkpoint 原子防旧 owner 提交 #7 (T09)
• [P1C][T15] 增加工具效果回执、幂等身份与 IN_DOUBT 核对路径 argi#126 (T15)

间接或集成依赖（不单独阻塞）

• [P1C][T14] 持久化模型调用结果与稳定工具执行计划 argi#125 (T14)：已由 T15 的前置关系传递覆盖，不重复设置 blocker。

验收条件

• 重启/跨实例读取相同 journal 和 receipt；完成结果先落库、checkpoint 未提交时能复用。
• lease 过期旧实例不能更新模型/工具 journal 或回执。
• 同 id 不同 canonical hash/版本拒绝；损坏结果或超大结果按契约失败。
• IN_DOUBT 未决数据不被终态清理、eviction 或 TTL 静默移除。

非目标

• 不把本地回执与远程写入宣称为一个事务，不新增 MQ。

兼容与验证约束

• Java 17；新增路径显式启用，保留既有 API、默认行为、checkpoint/Store 格式及配置前缀。
• Core 不引入 Redis/Extensions 依赖；存储实现归 Extensions，应用接线归可选运行层。
• 首阶段无 MQ、整 Run Worker，不做节点分片，不承诺通用 exactly-once 或 Redis HA RPO0。
• 先用模型无关单测/reference 验证本任务，再按范围运行现有 API/格式门禁；涉及 Redis 用真实存储测试，涉及接管用独立 JVM。

当前实现依据

• Redis leased saver storage/atomicity, Namespace hash-tag key.
• Redis retained-history/failover and excluded runtime guarantees.

分析基线：Core 6324f53、Extensions ed07835；AgentScope 参考 c95eb1f。本 Issue 是待完成任务，不代表能力已经实现。