26 KiB
MoviePilot V3 架构重构路线图
战略目标:完成
docs/architecture-optimization-checklist.md的全部宿主架构重构与治理任务。执行分支:
v3;每个叶子完成后独立验证、提交、推送并确认远端 SHA。排除范围:
app/plugins/**是插件运行时副本,不参与宿主重构。兼容原则:新插件只使用
app.sdk;旧插件导入、符号和行为只由统一 Compat/Legacy 层承接。
1. 治理合同
1.1 Goal 层级
- G-ARCH(父目标):宿主架构、模块职责、持久化、生命周期、合同和质量债务全部达到本路线图终态。
- Stage(阶段):一组有共同退出条件的能力面,可包含多个独立叶子。
- Leaf(叶子):单一所有权面、可独立实现、验证、提交、推送和回滚的最小交付单元。
原生 Codex Goal 保存 G-ARCH 的稳定目标;本文件保存阶段、叶子、依赖、状态和停止条件。
1.2 状态
| 状态 | 含义 |
|---|---|
ACTIVE |
当前唯一允许编辑的叶子 |
PLANNED |
已定义边界,依赖满足后可激活 |
BLOCKED |
有明确阻塞证据,且没有可推进的替代叶子 |
VERIFIED |
本地验收完成,尚未推送或尚未确认远端 |
DELIVERED |
已提交、推送,远端 SHA 与本地交付一致 |
COMPLETE |
叶子验收和后续依赖均已结清 |
任何时刻只允许一个 ACTIVE 叶子。子代理可以并行做只读审计、测试设计和下一叶准备;只有当前
叶子的明确文件所有者可以写入源码。共享工作树中发现的并发改动必须先确认归属,不能覆盖。
1.3 叶子完成条件
一个叶子只有同时满足以下条件才可标记 DELIVERED:
- 所有定义在该叶子内的债务计数降为零,或变为有业务理由、精确路径、机器约束的非债务例外。
- 真实调用链已切换到新 owner;不能只增加新类、Port、DTO、门禁或测试而保留主路径走旧实现。
- canonical 主程序删除被替代的旧实现、兼容分支和重复导出,不保留“新旧两套正式入口”。
- 插件兼容只落在
app/sdk、app/sdk/_legacy、app/runtime/compat或经批准的稳定 Facade; canonical 实现不得为了兼容反向依赖这些层。 - 受影响专项、架构门禁、strict mypy、Ruff/mypy ratchet、scoped pylint 全部通过。
- 广泛架构、启动、生命周期、持久化或兼容变更运行锁定全量测试;插件 ABI 变更独立检查官方插件仓。
- diff、工作树、提交范围经过主线程审查;提交推送后
HEAD == origin/v3且 ahead/behind 为0/0。
不得以以下状态宣称完成:只建立 baseline、只新增抽象未迁移调用方、只留下 TODO、只让新测试通过、
只完成目录移动、只在兼容层外保留旧导出,或用 --write 接受新增债务。
2. 最终停止条件
G-ARCH 只有在以下条件全部满足后才可完成:
ARCH-001、ARCH-101至ARCH-111、ARCH-201至ARCH-204全部完成。- 宿主依赖图没有未解释 SCC;只允许精确 containment 的 TMDB 移植包例外,成员不能增长。
- Application/Chain 到具体 Adapter、direct egress、raw concurrency 等所有例外均精确、可解释、不可增长。
- Chain/Agent 正式数据入口不再注入无 Session Oper,不再以
Any/ORM 作为跨层合同。 - 正式业务写入均有单一事务 owner;E2/E3 动作完成语义、幂等、恢复与人工决策路径一致。
- import、普通对象构造不启动进程资源;资源由 bootstrap/lifecycle 显式创建、发布、关闭和重试收口。
- 宿主 Module/Event 高风险合同 strict;宿主已知
ANY结果形状归零,第三方插件保持诊断兼容。 - 全量 mypy 历史错误、当前 Ruff 治理规则诊断和所有新增 complexity-v2 超限归零。
- 高风险 Chain、Agent、Runtime、Startup、Adapter 纳入类型、复杂度、覆盖率和并发原语门禁。
- canonical 主程序无旧实现、重复导出和 legacy import;插件兼容检查基于同步后的官方插件仓 SHA 通过。
- 锁定全量测试、Pylint、依赖一致性/漏洞审计(若涉及依赖)和最终远端一致性全部通过。
3. 阶段与叶子
S0:可信基线与事实源
退出条件:主线门禁全绿;架构规则、总览、机器快照和语义门禁一致;新增债务不能靠更新 fixture 进入。
| Leaf | 状态 | 依赖 | 完成定义 |
|---|---|---|---|
| S0-L1 可信基线恢复 | DELIVERED |
无 | 5df388719:交付架构审计/路线图,修复 ARCH-001 两个 mypy 增量错误;远端 0/0 |
| S0-L2.1 Host Oper/UoW 规范 | DELIVERED |
S0-L1 | 3bf94ffed:宿主无 Session Oper 规范债务归零,远端 0/0 |
| S0-L2.2 完整宿主 SCC policy | DELIVERED |
S0-L2.1 | a884ab5c2:完整宿主 SCC 精确 policy 生效,远端 0/0 |
| S0-L2.3 Adapter 直连事实 | DELIVERED |
S0-L2.1 | e1483e85d:锁定 28 条原始 Adapter import 事实,远端 0/0 |
| S0-L2.4 Adapter zero-growth | DELIVERED |
S0-L2.3 | 2553226f3:冻结 28 条直连及 owner,收缩/新增/stale policy 门禁生效,远端 0/0 |
| S0-L2.4b HTTP/Egress 事实与政策 | DELIVERED |
S0-L2.4 | 47f0de745、43d52a35b、8d602149f:冻结 66 条出口事实,消除 CI 类型/覆盖率漂移;远端全绿且 0/0 |
| S0-L2.5 Event consumer 识别 | DELIVERED |
S0-L2.1 | 86157be2a:consumer 只识别可静态证明的 EventManager 注册;全量 6,459 passed / 6 skipped,CI 33029645165/33029645254 全绿,远端 0/0 |
| S0-L2.6 事实源与 CI 投影 | DELIVERED |
S0-L2.2,S0-L2.4b,S0-L2.5 | 113355784:99/17 条逐调用事实、17 条 consumer policy 与 CI 分层交付;Unit Tests 33031697902、Pylint 33031697785 全绿,远端 0/0 |
S1:可靠性、事务与数据合同
退出条件:Transfer 达到 E3;正式数据 Port 类型化;跨表业务操作有单一 UoW;post-commit/Outbox 竞争、失败呈现、at-least-once 和幂等语义全部闭环。
S1-L1 是 ARCH-102 的 Transfer E3 父项,当前状态为执行中。只有 S1-L1.1 至
S1-L1.5 全部 DELIVERED,真实调用链完成迁移且旧 fail-open 路径退出 canonical 主程序后,
父项和 ARCH-102 才能标记已交付。
| Leaf | 状态 | 依赖 | 完成定义 |
|---|---|---|---|
| S1-L1.1 Durable admission | VERIFIED |
S0 | Application-owned typed Port + DB adapter + migration 落地;先持久 commit 再入队,入队失败保留可恢复记录;宿主不再通过 raw/Any TransferPendingOper 处理 admission |
| S1-L1.2 Planning checkpoint | VERIFIED |
S1-L1.1 | 版本化输入与指纹先持久化;无 legacy provider 时以 accepted -> planned CAS 提交完整计划,有 provider 时先提交 provider_pending,全部返回空后再以第二次 CAS 提交 planned;重放只执行冻结目标,所有文件副作用晚于对应 checkpoint commit |
| S1-L1.3 Lease 与恢复调度 | VERIFIED |
S1-L1.2 | claim/lease/heartbeat/attempt 与过期接管规则落地;启动回放和同进程恢复共用唯一调度入口,同一任务同时只有一个 worker owner |
| S1-L1.4 幂等执行与终态结算 | VERIFIED |
S1-L1.3 | 文件操作、历史提交和 checkpoint 可重放;唯一 retry owner 生效,未知外部结果进入 manual_review,仅完整终态删除 pending |
| S1-L1.5 E3 全链收口 | PLANNED |
S1-L1.4 | 崩溃矩阵、升级/降级、重复回放和插件 ABI 验收完整;旧 fail-open、重复状态与兼容层外旧入口删除,ARCH-102 债务归零 |
| S1-L2 Workflow typed query | PLANNED |
S0 | Workflow Application Port 不返回 Any/ORM,Session 内投影 DTO,正式调用方全部切换 |
| S1-L3 Chain/Agent typed data ports | PLANNED |
S1-L2 | ChainDataPorts/AgentDataPorts 的 raw Oper/Any factory 全部清零,兼容调用进入 Legacy 层 |
| S1-L4 Subscription mutation UoW | PLANNED |
S1-L3 | Subscription mutation 不跨 Session 传 ORM,正式写路径一个 UoW,旧自动事务入口退出 canonical 路径 |
| S1-L5 站点/规则引用原子清理 | PLANNED |
S1-L4 | SystemConfig+Subscribe 同事务更新,commit 后快照原子发布,并发/故障注入无部分状态 |
| S1-L6 Outbox 完成语义 | PLANNED |
S0 | claim 竞争双发清零;业务提交与 effect pending 可区分;stager/store 分离;handler 幂等与崩溃测试完整 |
S2:进程生命周期、循环与 Adapter 边界
退出条件:导入/构造零资源副作用;Chain SCC 清零;Application/Chain 只依赖经批准的技术合同, 安全和命名外部能力全部经注入 Port。
| Leaf | 状态 | 依赖 | 完成定义 |
|---|---|---|---|
| S2-L1 日志/消息资源显式生命周期 | PLANNED |
S0 | import 和非消息 Chain 构造零新增线程;bootstrap 显式创建,失败和正常关闭均收口 |
| S2-L2 ChainBase 与 SCC 清零 | PLANNED |
S0-L2.2 | canonical app.chain.base 落地,包根无 eager/重复导出,宿主包根导入清零,Chain SCC 消失 |
| S2-L3 GlobalVar/provider 注册收口 | PLANNED |
S2-L1 | global_vars canonical 消费清零,provider 注册进入显式装配阶段并可 reset;Legacy 入口精确保留 |
| S2-L4 Passkey 缓存边界 | PLANNED |
S0-L2.4 | Application 不识别 Redis;原子 consume 由 runtime cache contract + backend 实现 |
| S2-L5 Backup artifact Port | PLANNED |
S0-L2.4 | Application 不构造 BackupFiles,文件 I/O 由注入 Adapter 拥有 |
| S2-L6 Application Adapter/DNS 债务清零 | PLANNED |
S2-L4,S2-L5 | Application 到具体 Adapter 的未批准边归零,SSRF DNS I/O 进入注入 Port,批准通用机制有精确规则和门禁 |
| S2-L7 Chain Adapter/宿主 HTTP 债务清零 | PLANNED |
S2-L6 | Chain 具体 Adapter 与 11 条普通 direct HTTP/Session bridge 归零;SDK/stream/vendor 例外保持精确 containment |
S3:大型编排器职责清零
退出条件:每个热点 Facade 只保留稳定公开入口;决策、I/O、状态和生命周期各有单一 owner; 旧实现从 canonical 文件删除,complexity-v2 对该所有权面无债务。
| Leaf | 状态 | 依赖 | 完成定义 |
|---|---|---|---|
| S3-L1 TransferChain | PLANNED |
S1-L1 | queue/recovery、plan、execute、settle、history/notify 完整拆分,原 836 行执行方法消失 |
| S3-L2 SubscribeChain | PLANNED |
S1-L5 | search、match、refresh、reconciliation、notification 完整拆分,原文件无跨域业务实现 |
| S3-L3 Scheduler | PLANNED |
S2-L3 | JobCatalog、ExecutionRegistry、reconciler、lifecycle 分离,无参 Chain 构造清零 |
| S3-L4 DownloadChain | PLANNED |
S1-L6 | selection、submission、history、post-processing 分离,提交后动作遵守新完成语义 |
| S3-L5 SearchChain | PLANNED |
S2-L7 | plan、provider fan-out、result state、pagination 分离,状态 owner 唯一 |
| S3-L6 MediaChain | PLANNED |
S2-L2 | recognition、source projection、music alignment、cache 分离,兼容仅经统一层 |
| S3-L7 Agent/System/Plugin API | PLANNED |
S2,S1-L6 | WebAgent SSE/file/audio、nettest/log/update/market 用例进入 Application,endpoint 只做传输适配 |
S4:可执行合同与质量债务清零
退出条件:高风险动态合同按信任级执行;所有 Python 源码进入一致的类型、复杂度、覆盖率和并发治理面; 历史 mypy/Ruff/复杂度债务为零。
| Leaf | 状态 | 依赖 | 完成定义 |
|---|---|---|---|
| S4-L1 Module strict contract | PLANNED |
S2-L7 | 宿主 provider ANY 结果归零,宿主 admission strict,官方/第三方插件分级兼容 |
| S4-L2 Event strict contract | PLANNED |
S0-L2.6,S1-L6 | 宿主事件输入/输出按风险 strict,诊断例外只属于第三方插件兼容 |
| S4-L3 Complexity v2 | PLANNED |
S3 | 私有方法、class/file、圈复杂度进入门禁;所有超限通过职责拆分归零 |
| S4-L4 全量 mypy 清零 | PLANNED |
S3,S4-L1,S4-L2 | mypy-baseline.json 归零并删除债务接受路径,全宿主 strict 类型通过 |
| S4-L5 Ruff 治理债务清零 | PLANNED |
S3 | 当前受控 889 条诊断归零,规则集扩展经过独立审查且新增诊断为零 |
| S4-L6 Coverage/并发/质量证据 | PLANNED |
S3,S4-L1,S4-L2 | 高风险包纳入 coverage;raw concurrency 分类清零;Module Quality 有真实 evidence test |
S5:Plugin、Agent、Domain、Startup 与最终收口
退出条件:剩余 Facade/Manager/Domain/Startup 重复职责清零;官方插件兼容、全量测试和远端交付完成。
| Leaf | 状态 | 依赖 | 完成定义 |
|---|---|---|---|
| S5-L1 PluginHelper/PluginManager | PLANNED |
S2,S4 | 市场/包/依赖/备份/健康服务各归 owner;Facade 只转发稳定 ABI,构造归 typed PluginRuntime |
| S5-L2 Agent/LLM provider | PLANNED |
S3-L7,S4 | catalog、发现、认证、session、runtime 分离;Manager 只保留稳定 API |
| S5-L3 Domain projection | PLANNED |
S3-L6,S4 | MediaInfo canonical 路径保留,来源投影规则拆分,重复 DTO/业务语义清零 |
| S5-L4 Startup composition | PLANNED |
S2,S3,S5-L1,S5-L2 | initializers/modules.py 仅负责顺序/注册/重启决策,构造按领域进入 composition |
| S5-L5 Sync/async 重复清零 | PLANNED |
S3,S5 | 双 ABI 外壳共享纯逻辑,重复业务实现清零,Session/客户端不跨并发边界复用 |
| S5-L6 最终兼容与交付 | PLANNED |
全部 | canonical 旧实现/重复导出清零;同步官方插件仓验证;锁定全量、Pylint、架构、类型、覆盖率全部通过并推送 |
4. 当前活动叶子
S1-L1.1 Durable admission
Status: VERIFIED
Outcome
把“接受整理任务”变成真正的 durable admission:Application 先通过类型化 Port 在独立事务中 commit pending,再尝试写入进程内队列。队列写入失败或进程在 commit 后退出时,持久记录仍能成为 后续恢复起点;持久化失败则不允许任务进入队列。该叶只结清 admission 所有权和顺序,不预先宣称 planning、lease、幂等执行或终态恢复已经完成。
Ownership
app/application/transfer/workflow.py拥有 admission DTO、Protocol、结果语义与 persist-before-enqueue 编排。app/db/adapters/提供短 Session/UoW 的 Transfer pending 持久化实现;app/db/oper/只接收 adapter 拥有的 Session 并 stage/flush。app/startup/负责构造并注入 adapter,宿主 Chain 不再取得 raw/AnyTransferPendingOper。app/db/models/transferpending.py与配套 Alembic migration 只承载该叶需要的 durable admission schema,并验证既有记录升级及 downgrade。- Transfer queue、pending repository、migration、架构边界及兼容回归测试。
Excluded
- 不在本叶实现 planning checkpoint、lease/heartbeat、文件操作幂等、历史结算或
manual_review; 这些分别由S1-L1.2至S1-L1.4完整交付。 - 不修改插件公开 Transfer ABI、旧插件导入路径或第三方插件行为;必要兼容只通过统一 Compat/Legacy 层委托新的 canonical admission 实现。
- 不修改或扫描
app/plugins/**插件副本。 - 不保留宿主 canonical raw/
Anypending port 与新 typed Port 两套正式入口。
Acceptance
.venv/bin/python -m pytest \
tests/test_transfer_queue_service.py \
tests/test_transfer_pending_replay.py \
tests/test_transfer_admission_migration.py \
tests/test_db_transferpending_queries.py \
tests/test_database_migration_startup.py \
tests/test_architecture_dependencies.py \
tests/test_legacy_import_compat.py -q
.venv/bin/mypy --config-file mypy.ini
.venv/bin/python scripts/architecture/baseline.py --check-host --diagnostics
.venv/bin/python scripts/architecture/ruff_ratchet.py
.venv/bin/python scripts/architecture/mypy_ratchet.py
uv run --locked --no-sync python tests/run.py
git diff --check
Delivery
- 单一提交主题:交付 Transfer durable admission、类型化持久化边界及可逆 migration。
- 提交前证明 pending commit 发生在 enqueue 之前;持久化失败不入队,enqueue 失败或 commit 后崩溃
均保留可恢复记录;宿主 canonical 路径不再导入或取得 raw/
AnyTransferPendingOper。 - 运行锁定全量测试与 scoped Pylint;插件公开 Transfer ABI 和统一兼容导入测试必须保持通过。
- 推送
origin/v3后确认提交祖先关系、远端 SHA 和 ahead/behind0/0。
Local verification (2026-08-27)
- 锁定全量:
6,496 passed, 7 skipped;跳过项包含本机未配置隔离库的 PostgreSQL migration 用例,SQLite upgrade/downgrade/re-upgrade 已真实执行。 - scoped Pylint:
10.00/10;host dependency baseline、Ruff ratchet、mypy ratchet 与git diff --check全部通过。 - failure injection 已覆盖 admission 失败不入队、batch/enqueue 失败保留记录、批次返回失败、 queue -> worker -> terminal discard 稳定身份,以及 Legacy TransferTask 序列化字段不变。
S1-L1.2 Planning checkpoint
Status: VERIFIED
Outcome
把 durable admission 推进为可独立恢复的 accepted -> provider_pending -> planned 状态:准入时冻结
版本化请求 JSON 和 SHA-256 指纹;存在旧插件 provider 时先 CAS 提交精确身份、顺序和原始 ABI 参数,
全部返回空后才由 FileManager 只读规划目标及有序叶操作,并通过第二次 CAS 提交宿主 checkpoint。
任何对应 checkpoint 提交前都不允许进入其文件副作用;provider_pending 重放只消费冻结调用,
planned 重放只消费冻结 resolved 上下文、目标和操作,不重新访问在线识别、目录选择或重命名配置。
Ownership and compatibility
app/application/transfer/workflow.py拥有 planning input、plan item、checkpoint 和状态错误合同;JSON 版本、 指纹及 resolved 上下文均可跨进程 round-trip。app/modules/filemanager/transhandler.py是唯一目标规划与文件执行实现;FileManagerModule.transfer与TransHandler.transfer_media已删除,不保留第二套重命名、覆盖或目录递归逻辑。app/db/adapters/transfer/admission.py通过短 Session/UoW 提交 checkpoint;Oper 只负责带状态和指纹条件的 stage,3.0.14 migration 可升级、降级并在中断后重跑。- cleanup intent 随准入输入冻结。宿主路径由 FileManager 在
TransferIntercept放行后、任何文件写入前 执行;legacy provider 路径为保持旧 ABI 顺序,在全部冻结引用解析成功后、调用 provider 前执行。 strict 查询确认目标不存在才视为幂等成功,查询或删除失败抛错并保留对应 checkpoint 供重试;provider 全空后提升的宿主 checkpoint 会记录 cleanup 已完成,禁止二次查询或删除。 - 插件公开 Transfer 方法签名、事件类型和 payload 不变;旧 provider 身份和顺序随 checkpoint
冻结,提交后由统一 dispatcher 精确解析并严格执行,缺失或异常时明确失败而不静默换路;全部返回空
才生成宿主 plan,并以第二次 CAS 提交
plannedcheckpoint 后执行。ChainBase.transfer仅委托启动 组合根注入的 canonical durable command,内部 plan/execute 合同不向插件调度;新 DTO 不从包根重复导出,app/plugins/**插件 副本不参与改造。
Excluded
- 本叶不引入 claim、lease、heartbeat、attempt、执行步骤幂等或
manual_review;这些由S1-L1.3和S1-L1.4交付。 - 文件操作成功后到历史结算前的未知结果仍未达到 E3,ARCH-102 父项继续保持执行中。
Local verification (2026-08-27)
- planning、持久化、迁移、兼容、replay 和 worker 聚焦回归:
224 passed, 2 skipped;跳过项仅为 本机未配置隔离 PostgreSQL,SQLite upgrade/downgrade/re-upgrade 已覆盖。 - 完整本地套件:
6,578 passed, 8 skipped;架构回归:174 passed;scoped Pylint10.00/10; host baseline、Ruff/mypy ratchet 与git diff --check通过。 - failure injection 覆盖 commit 前零文件副作用、commit 后崩溃重放、离线 resolved context 恢复、 配置漂移仍使用冻结 target storage、规划失败留痕、旧 provider 提交后短路、严格异常、空结果两阶段 fallback、缺失引用零 cleanup,以及 cleanup 顺序/幂等/瞬时失败。
S1-L1.3 Lease 与恢复调度
Status: VERIFIED
Outcome
为 durable transfer 增加可过期、可接管且带 fencing token 的执行租约。owner 只用于标识执行者,
每次有效 claim 生成的新 token 才是后续 heartbeat、checkpoint、失败留痕和终态删除的授权;所有写入
必须同时匹配当前且未过期的 token,过期 worker 即使稍后恢复也不能修改新 owner 的记录。
accepted、provider_pending、planned 仍是业务 planning phase,lease 与其正交:claim、heartbeat
和 takeover 不改变 phase,恢复 worker 继续按冻结 checkpoint 决定执行路径。启动回放与同进程恢复共用
唯一调度入口:恢复任务在入队前完成原子 claim 并绑定 token,新 admission 由 worker 在任何副作用前
claim。已经 claim 的恢复任务不在 worker 内二次 claim。
State machine
| 当前租约 | 操作 | 结果与 fencing 约束 |
|---|---|---|
| 无租约 | claim |
生成新 token、设置 owner/到期时间并递增 attempt;phase 不变 |
| 当前租约未过期 | 同 token heartbeat |
只延长当前租约;owner、token、attempt 和 phase 不变 |
| 当前租约未过期 | 任意再次 claim,包括同 owner |
原子拒绝,不递增 attempt、不入队、不执行副作用 |
| 当前租约已过期 | heartbeat 或旧 token 写入 |
原子拒绝;旧租约不可复活 |
| 当前租约已过期 | 新 worker claim |
生成新 token 并递增 attempt;旧 token 永久失效,phase 不变 |
| 当前 token 有效 | checkpoint、失败留痕或终态删除 | 仅精确 token CAS 成功;状态提交后不得由旧 worker 覆盖 |
任意时刻一条 pending 记录最多只有一个数据库认可的有效 fencing owner。该保证不等同于外部文件、 插件或历史副作用 exactly-once;租约在不可中断调用期间过期时,旧调用的外部结果仍可能未知。
Scheduling and shutdown
- 启动回放和同进程恢复只调用一个 claim-and-schedule 入口;禁止另建 list-then-enqueue 回放路径或 第二个 retry owner。批量恢复必须先原子 claim,再把已绑定 token 的任务交给唯一 worker 队列。
- heartbeat 由 Transfer worker 生命周期拥有,不创建游离后台 owner;停止时先封口新 claim 和调度, 再通知并有限等待 worker,heartbeat 在 worker 存活期间继续维持其租约。worker 收敛后才停止 heartbeat;超时时保留仍存活的 worker/heartbeat owner 并返回失败。
- checkpoint、失败留痕和 pending 删除在同次持久化写入中执行 token CAS;租约丢失后 worker 停止 继续提交状态,不以预查询替代 fencing,也不把 stale mutation 伪装成成功。
- 确定性失败只确保唯一 scheduler 存在,不即时唤醒;新建的失败恢复 owner 首次扫描先等待固定轮询 周期。损坏持久投影按单任务事务回滚,再以无有效租约 CAS 留下去重诊断,不能饿死后续健康记录。
- 精确旧
app.db.transferpending_oper导入只解析到app/sdk/_legacy门面;canonical Model、Oper、 Application Port 不保留旧 list-then-act 或无 fencing mutation。兼容discard/clear也不得删除任何 带 token 的有效或过期 claim。
Excluded
- 本叶不承诺文件、legacy provider、历史写入或其他外部副作用 exactly-once,也不以延长 lease 掩盖不可判定结果。
- 文件步骤幂等键、逐步结果 checkpoint、崩溃后未知结果判定、唯一 retry owner 和
manual_review终态由S1-L1.4完整交付。 - 不增加
processing等与 planning phase 重复的业务状态;不修改插件公开 Transfer ABI,不扫描或 修改app/plugins/**,不恢复宿主旧 pending 入口或重复导出。
Acceptance matrix
| 场景 | 必须证明 |
|---|---|
| 新 admission 与恢复记录竞争 | 只有 claim 成功者入队并执行;失败者零文件副作用 |
| 两进程同时 claim 同一记录 | 仅一个新 token 成功,attempt 只按真实新 claim 增长 |
| heartbeat 与 takeover 竞争 | 未过期 heartbeat 可续租;过期租约不可复活,接管 token 唯一有效 |
| 旧 worker 延迟提交 | checkpoint、失败留痕和删除均被 token CAS 拒绝,不覆盖新 owner |
| 三种 planning phase 恢复 | claim/续租/接管保持 phase,并消费各自冻结输入或 checkpoint |
| 启动与同进程恢复同时触发 | 只经过唯一 scheduler 入口,同一任务只有一个 worker owner |
| 正常与超时关闭 | 先封口后有限等待;存活 scheduler/heartbeat/worker 不丢失 owner、不报告成功 |
Failure injection matrix
| 注入点 | 预期持久结果 |
|---|---|
| claim commit 前崩溃 | 无新 token、attempt 不变,可由后续 worker claim |
| claim commit 后、入队前崩溃 | 租约到期后可接管,新 token fencing 旧 worker |
| worker 执行前 lease 丢失 | 不执行文件副作用,不提交失败或终态状态 |
| heartbeat commit 前后崩溃 | 仅已提交到期时间生效;过期后不可用旧 token 续租 |
| checkpoint/失败留痕提交时被接管 | stale CAS 失败,新 owner 的 phase、错误和 token 不被覆盖 |
| 终态删除提交时被接管 | stale delete 为零行,pending 保留给当前 owner |
| shutdown 时 scheduler、worker 或 lease release 阻塞 | 有限等待返回失败并保留 owner/heartbeat,禁止清句柄后重建重复 owner |
本叶验收还必须运行 lease persistence、replay/worker、startup lifecycle、migration、架构与兼容聚焦 测试,以及锁定全量测试和 scoped Pylint;插件 ABI 只经统一 Compat/SDK 验证。