[P1C][T18] 建立工具副作用窗口与回执恢复故障测试 #12

目标

在允许写工具自动恢复前，以可核验后端 stub 验证所有关键崩溃窗口。

优先级与归属

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

范围与落地方案

• 提供支持业务幂等键/可查询/未知写三种 stub，并记录真实 effect 计数。
• 注入模型 plan 落库、dispatch、外部写完成、receipt 落库、checkpoint 提交前后的进程故障。
• 覆盖 response lost、Redis 暂不可用、lease 失效后远程迟到完成与人工核对。

前置依赖

• [P1B][T12] 提供可选 Redis Worker Starter 与准入、查询、取消、排空生命周期 #9 (T12)
• [P1C][T16] 实现 Redis 模型日志与工具回执持久化适配 #11 (T16)

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

• [P1C][T17] 增加持久化重试、deadline 与恢复预算记账 argi#127 (T17)：预算/deadline 是扩展故障场景，不阻塞副作用窗口与 receipt 恢复测试。

验收条件

• 已成功 receipt 但未 checkpoint 的运行恢复时 effect count 不增加。
• 外部成功但未 receipt：幂等后端复用同 key，未知后端进入 IN_DOUBT 且无盲目第二写。
• plan commit 失败不 dispatch；错 input hash 无重试。
• 至少两 JVM 执行，输出 effect counter/receipt/status 证据，测试无需真实模型凭据。

非目标

• 不以这些测试宣称任意后端 exactly-once；不覆盖 Redis HA 状态回滚保证。

兼容与验证约束

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

当前实现依据

• Redis retained-history/failover and excluded runtime guarantees.
• Tool execution context, Tool retry.

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