Repository navigation
[P1B][T10] 增加整 Run 持久化执行器与租约作用域接入 #124
Description
目标
提供显式 durable runner，复用现有图执行而非替换默认运行时；首版一次由一个 Worker 持有完整 Run。
优先级与归属
- 优先级：P1B；任务标识：T10。
- 责任仓库：
agentic-ai-java/argi。 - 总览：https://github.com/agentic-ai-java/argi/issues/117。
- 这是单一交付任务；以中立接口/reference tests 隔离依赖，可单独提交评审。
范围与落地方案
- 从 committed boundary 和固定定义开始执行，通过中立 atomic commit 能力推进状态。
- 将已有 Worker owner 接入 ExecutionLeaseScope，避免二次冲突 acquire；明确续约与释放责任。
- 租约失效停止新工作并合作取消；提供查询/取消语义和最小结构化运行指标。
前置依赖
验收条件
- 参考后端模拟失去租约后，不再启动新节点/工具，late commit 被拒绝。
- 内层作用域结束不会释放替代 owner 的租约；异常结束资源得到清理。
- 只读/明确可重放路径可恢复；未声明安全的副作用或 JVM 本地状态路径被拒绝。
- invoke/stream 原默认语义与本地 ParallelAgent 并行顺序不变。
非目标
- 不引入 Redis 到 Core，不做图节点分片；模型计划复用在 T14，写工具恢复在 T15/T16。
兼容与验证约束
- Java 17；新增路径显式启用，保留既有 API、默认行为、checkpoint/Store 格式及配置前缀。
- Core 不引入 Redis/Extensions 依赖；存储实现归 Extensions，应用接线归可选运行层。
- 首阶段无 MQ、整 Run Worker，不做节点分片，不承诺通用 exactly-once 或 Redis HA RPO0。
- 先用模型无关单测/reference 验证本任务，再按范围运行现有 API/格式门禁；涉及 Redis 用真实存储测试，涉及接管用独立 JVM。
当前实现依据
- Versioned saver, Leased saver, Lease scope.
- Local parallel graph construction.
- Redis retained-history/failover and excluded runtime guarantees.
分析基线：Core 6324f53、Extensions ed07835；AgentScope 参考 c95eb1f。本 Issue 是待完成任务，不代表能力已经实现。
FW-04：接通持久化运行闭环（复用本单，更新引擎边界）
本单对应本轮框架问题第 4 项。既有 RunStore、版本固定、租约和 Redis 存储能力应复用，不重新认定为未实现。原“复用图执行”仅作为原 Graph/Loop 适配路径，不能成为独立 Agent/Workflow 的强制后端；通用运行契约归属见 https://github.com/agentic-ai-java/argi/issues/200。
- 明确进程内直接执行、可暂停恢复、跨实例接管三种模式及实际能力，不将 checkpoint 存在等同于全部持久化保证。
- 通过公开运行入口串联固定定义版本、准入/提交、领取、执行、原子提交、查询、取消、恢复与终态结果，补齐与独立执行器的适配契约。
- 本单负责通用 runner 与公开接入验证；Extensions chore(deps-dev): bump com.mycila:license-maven-plugin from 4.1 to 4.6 #8/chore(deps): bump org.apache.maven.plugins:maven-jar-plugin from 3.3.0 to 3.5.1 #9/chore(deps-dev): bump org.springdoc:springdoc-openapi-maven-plugin from 1.4 to 1.5 #10 分别负责 Redis 领取、Worker 装配及双 JVM 验收，模型日志/工具效果复用 [P1C][T14] 持久化模型调用结果与稳定工具执行计划 #125/[P1C][T15] 增加工具效果回执、幂等身份与 IN_DOUBT 核对路径 #126 等任务，不把所有实现合并到本单。
- 端到端覆盖执行进程退出/租约丢失后的接管、过期 owner 提交拒绝、重复提交、取消与副作用不确定状态；跨进程保证以实际双 JVM 测试为准。
- 统一定义模型 [Architecture][FW-02] 建立统一 Agent 定义、版本发布与实例创建入口 #199 和 Studio [Architecture][FW-08] Studio 改为消费定义与运行管理 API，解耦执行器 #204 消费同一运行服务；可先以测试执行器验证，不能只用 Controller 直接 stream 代替持久化接入。
旧基线与原验收保留作追溯；若其 Graph 默认约束与本节冲突，以用户确认的独立 Agent/Workflow/Loop 架构为准。破坏性变更仍逐项论证。
Activity