Repository navigation
fix(todos): simplify owner edits and pause/resume recovery - #6632
Conversation
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | reasoning_effort=max
Approval conclusion (author-owned PR; GitHub blocks formal self-approval)
精确头:6a28c540e46243a8f71959661ad0829c2910d249。没有阻塞发现;有一处非阻塞文档一致性建议,见下。
动机
需要在 CLI 或任务详情中修改备注、暂停并恢复本人任务的操作者。 过去改备注也需先领执行租约,暂停或延期的详情仍突出完成操作;现在普通本人编辑直接走当前状态校验,详情提供明确恢复,并保留原备注。 独立 CLI、三个真实 provider 和打包前端确认普通编辑及暂停/恢复可完成;旧预览拒绝后重新预览可恢复,恢复不获得执行租约。 本 PR 不授权执行、停止现有进程、转交他人持有者、热更新已安装 App 或合并。 已安装桌面宿主、Lark 全旅程及长期运行效果未在本轮资格化;任务看板原有快捷完成路径也不在这次详情操作改动中。
评审先读基线合同,再检查实现。规范来源 docs/project-agent-todo-contract.md,固定 revision d3b7b141c0d4b97a20746d1179396cbef481ac08;逐项依据 Lease-fenced canonical text/note updates、Canonical nonterminal planning updates、Lifecycle Contract。旧合同的普通 metadata 必须先 acquire/edit/release 是本 PR 明确替换的默认,不能拿修改后的文档反证旧语义相同;actor、claim、CAS、显式 proof、完成验证和执行隔离仍逐项保留。
改动思路
行政性编辑与执行授权共用既有 TS owner 和 provider CAS,暂停与租约退休在同一事务中完成;仅改提示无法消除人工租约往返。 本批交付普通 owner 编辑、原子暂停/延期与明确恢复、原生 CLI 拒绝恢复提示及任务详情入口;显式 proof、执行和终态验证继续保留原边界。 不改动只能继续让用户传递执行 key/version;只在 Python 或页面偷偷补新 proof 会掩盖用户显式陈旧意图。当前实现复用现有类型化 owner,没有增加平行决策源或任务操作协议。
| 触发 | 当前头的决定 | 结果边界 |
|---|---|---|
| 本人普通备注/证据/优先级,省略 proof | 当前 canonical 状态校验、provider CAS | 不改变租约历史,不获得执行权 |
| 本人暂停/延期/恢复 | 同一事务处理生命周期与自己的租约 | 恢复清旧等待;已运行会话单独控制 |
| 显式部分/陈旧 proof、外部持有者或 handoff | 原严格 execution owner | 拒绝,不自动换 proof 或借用身份 |
该表仅解释从源码核对的分支,执行证据列于后文。
具体改动
task_lease_proof.ts::isOwnerAdministrativeCopyUpdate与todo_update_admission.ts::todoUpdateAdmissionRejection在原 admission 内识别普通 owner copy,仍校验注册、claim、源 revision、repository 和保留 holder;传入任一 proof 参数就保留严格 generation 校验。依赖、所有权、工作要求、Monitor 与终态不冒充普通 copy。- blocked/deferred lifecycle 与
todo_update_intent.ts把本人暂停/延期及 lease retirement 放入同一次 provider CAS。恢复省略条件时清除原等待与派生观察,显式clear_resume_when=false不被覆盖;保留原 note,恢复不会启动工作。 todo_continuation.ts::executeTodoContinuation在 prepare 阶段再次经过既有continuationExecutionAuthority,防止本次放宽的 note copy 被当成 handoff 授权。File、SQLite 与真实 PostgreSQL 都验证缺失/错误/released proof 拒绝且不产生新的 pending receipt。- CLI 注册、Markdown/provider 参数适配、Chat mutation 保持同一决策 owner,增加有路由的只读 inspection 恢复信息;不执行隐式重试。详情
previewTodoOperation将本地 resume 映射到现有 edit/open,补齐中英 Resume 按钮和执行边界说明。两张图片已逐张检查,均为公开安全的合成任务,不代表安装升级。
独立验证:五个 Python 模块 156 passed;五个 TS owner/provider 套件 104 passed、0 skipped,其中 8 个真实 PostgreSQL16.2 案例,使用独立临时服务器并已停止。Node22.22.3 另跑 16 passed、8 PG skipped;该次 skip 不冒充 PG 资格,PG 已单独执行。相同 fixture/journey 在不可变基线产生四个预期拒绝,当前四例通过,证实修复能区分旧缺口。
正常构建的 Chat assets 配真实 canonical SQLite/后台,实际走桌面与390px手机:blocked/deferred 恢复、原 note、过期 preview 拒绝后重预览成功、Escape 焦点返回与 Enter 重开、中英文按钮/提示、冷读 open 与 lease 仍 released 均已验证。没有模型、运行中会话或虚构 API 返回。Ruff、dashboard 与 control-plane TypeScript 检查通过。
对主干的风险
主要风险是行政性编辑错误扩大为执行权限。当前显式 proof、foreign holder、CAS 冲突及 handoff prepare 反例均覆盖;暂停只改变以后准入,不声称杀死进程。长期真实宿主/Lark 伴随旅程和安装 readback仍按前述边界保留。
风险 canary 的5项直接检查通过,19项选择全部执行:18过、1项继承的 DSH maintainability advisory;完整 semantic 检查与30个改动路径公共边界扫描通过。相同 full ratchet 在基线及两个头的完整输出逐字相同,唯一未复核 debt仍是 _run_dsh_operation_host,无 magnitude regression。总 canary 仍为失败,单独原因是 quality_stale_receipt;没有修改预算、例外、收据或把它宣布为已绿。按当前 scoped review 策略未查询、轮询或等待 GitHub CI。
非阻塞 P2 文档建议:本文件新增的 Ordinary task operations 明确普通 copy无需租约,但 docs/reference/canonical-lease-renew.md 后面的 wait-correction 段仍写 “ordinary edits still need an active execution proof”(当前约426行)。读者在修复等待时可能误以为备注又必须先 acquire。请把该句限定为仍受 execution admission 的字段/操作,或链接新的 administrative-copy 段;同时保留依赖条件编辑与新执行的边界。实现与真实负例已覆盖,故这处残留说明不作为代码阻塞。
我的整体评价
本批为普通任务管理交付可用的完整切片:输入意图进入既有前端/CLI、同一 owner 作出决定、写入后可读回,也有陈旧状态的实际恢复路径。行政性编辑与执行授权共用既有 TS owner 和 provider CAS,暂停与租约退休在同一事务中完成;仅改提示无法消除人工租约往返。 本批交付普通 owner 编辑、原子暂停/延期与明确恢复、原生 CLI 拒绝恢复提示及任务详情入口;显式 proof、执行和终态验证继续保留原边界。
未来演进检查已应用于现有 owner:复用行政 copy 分类与生命周期 helper,并把 handoff execution 校验留在原 continuation owner;当前没有理由引入另一套“自动租约”框架。可在同一文档修正上述旧句,无需创建仪式性后续任务。context recall仅作为检验用户结果/边界的建议,本轮不证明其因果收益。已安装桌面宿主、Lark 全旅程及长期运行效果未在本轮资格化;任务看板原有快捷完成路径也不在这次详情操作改动中。 审查结论不替代 change-quality、exact-head readiness 与合并授权。
English verdict: APPROVE - 6a28c540e46243a8f71959661ad0829c2910d249; ordinary owner editing and atomic pause/resume work through the existing typed owner without granting execution. Independent CLI/provider, isolated PostgreSQL, packaged desktop/mobile recovery and static checks pass. One non-blocking stale documentation sentence and separate change-quality/readiness holds remain; no merge performed.
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | reasoning_effort=max
Request changes conclusion (author-owned PR; GitHub blocks formal self-review)
精确头:6a28c540e46243a8f71959661ad0829c2910d249。发现一项当前验证阻塞,另有一处非阻塞文档一致性建议。本评审替代同一头先前的 APPROVE 结论:收尾新增的完整原生模块比较暴露遗漏覆盖;先前的局部通过记录保留,不能替代这项失败。
动机
需要在 CLI 或任务详情中修改备注、暂停并恢复本人任务的操作者。 过去改备注也需先领执行租约,暂停或延期的详情仍突出完成操作;现在普通本人编辑直接走当前状态校验,详情提供明确恢复,并保留原备注。 独立 CLI、三个真实 provider 和打包前端确认普通编辑及暂停/恢复可完成;旧预览拒绝后重新预览可恢复,恢复不获得执行租约。 本 PR 不授权执行、停止现有进程、转交他人持有者、热更新已安装 App 或合并。 已安装桌面宿主、Lark 全旅程及长期运行效果未在本轮资格化;任务看板原有快捷完成路径也不在这次详情操作改动中。
评审先读基线合同,再检查实现。规范来源 docs/project-agent-todo-contract.md,固定 revision d3b7b141c0d4b97a20746d1179396cbef481ac08;逐项依据 Lease-fenced canonical text/note updates、Canonical nonterminal planning updates、Lifecycle Contract。旧合同的普通 metadata 必须先 acquire/edit/release 是本 PR 明确替换的默认,不能拿修改后的文档反证旧语义相同;actor、claim、CAS、显式 proof、完成验证和执行隔离仍逐项保留。
改动思路
行政性编辑与执行授权共用既有 TS owner 和 provider CAS,暂停与租约退休在同一事务中完成;仅改提示无法消除人工租约往返。 本批交付普通 owner 编辑、原子暂停/延期与明确恢复、原生 CLI 拒绝恢复提示及任务详情入口;显式 proof、执行和终态验证继续保留原边界。 不改动只能继续让用户传递执行 key/version;只在 Python 或页面偷偷补新 proof 会掩盖用户显式陈旧意图。当前实现复用现有类型化 owner,没有增加平行决策源或任务操作协议。
| 触发 | 当前头的决定 | 结果边界 |
|---|---|---|
| 本人普通备注/证据/优先级,省略 proof | 当前 canonical 状态校验、provider CAS | 不改变租约历史,不获得执行权 |
| 本人暂停/延期/恢复 | 同一事务处理生命周期与自己的租约 | 恢复清旧等待;已运行会话单独控制 |
| 显式部分/陈旧 proof、外部持有者或 handoff | 原严格 execution owner | 拒绝,不自动换 proof 或借用身份 |
该表仅解释从源码核对的分支,执行证据列于后文。
具体改动
task_lease_proof.ts::isOwnerAdministrativeCopyUpdate与todo_update_admission.ts::todoUpdateAdmissionRejection在原 admission 内识别普通 owner copy,仍校验注册、claim、源 revision、repository 和保留 holder;传入任一 proof 参数就保留严格 generation 校验。依赖、所有权、工作要求、Monitor 与终态不冒充普通 copy。- blocked/deferred lifecycle 与
todo_update_intent.ts把本人暂停/延期及 lease retirement 放入同一次 provider CAS。恢复省略条件时清除原等待与派生观察,显式clear_resume_when=false不被覆盖;保留原 note,恢复不会启动工作。 todo_continuation.ts::executeTodoContinuation在 prepare 阶段再次经过既有continuationExecutionAuthority,防止本次放宽的 note copy 被当成 handoff 授权。File、SQLite 与真实 PostgreSQL 都验证缺失/错误/released proof 拒绝且不产生新的 pending receipt。- CLI 注册、Markdown/provider 参数适配、Chat mutation 保持同一决策 owner,增加有路由的只读 inspection 恢复信息;不执行隐式重试。详情
previewTodoOperation将本地 resume 映射到现有 edit/open,补齐中英 Resume 按钮和执行边界说明。两张图片已逐张检查,均为公开安全的合成任务,不代表安装升级。
独立验证:五个 Python 模块 156 passed;五个 TS owner/provider 套件 104 passed、0 skipped,其中 8 个真实 PostgreSQL16.2 案例,使用独立临时服务器并已停止。Node22.22.3 另跑 16 passed、8 PG skipped;该次 skip 不冒充 PG 资格,PG 已单独执行。相同 fixture/journey 在不可变基线产生四个预期拒绝,当前四例通过,证实修复能区分旧缺口。
正常构建的 Chat assets 配真实 canonical SQLite/后台,实际走桌面与390px手机:blocked/deferred 恢复、原 note、过期 preview 拒绝后重预览成功、Escape 焦点返回与 Enter 重开、中英文按钮/提示、冷读 open 与 lease 仍 released 均已验证。没有模型、运行中会话或虚构 API 返回。Ruff、dashboard 与 control-plane TypeScript 检查通过。
对主干的风险
[P2,阻塞] 同步既有 deferred recovery 的可执行合同。 实际执行 python -m pytest -q tests/test_todo_deferred_lease_recovery.py,相同测试/fixture Git blob、同一 Python 版本及真实 File/SQLite,基线为 20 passed / 2 failed,当前头为 4 passed / 18 failed;有 16 个新增失败。其中10例仍断言 bundled resume/copy必须拒绝,而当前返回成功;另6例在错误 actor、excluded或bound mismatch拒绝后断言不能有 recovery字段,而当前新增只读诊断。两个 legacy案例在基线就以同一 KeyError失败,明确不归因本 PR。
这说明既有原生消费者/断言尚未跟随有意的行为改变更新;156个选定 Python通过和104个provider通过没有覆盖这个根目录模块。最小修复是将旧“必须拒绝 bundled copy”的案例改名并校准为当前明确的 hard_lease/soft_claim行政恢复合同,核对新增只读 recovery诊断,同时保留陈旧/部分proof、错误/排除/绑定actor、CAS、实际持久读回和“不授予执行”的负例。不要删用例、恢复人工租约往返,或把两个继承legacy问题混作16个新增问题。修复后重跑完整22例,对继承失败单独归因。
主要风险是行政性编辑错误扩大为执行权限。当前显式 proof、foreign holder、CAS 冲突及 handoff prepare 反例均覆盖;暂停只改变以后准入,不声称杀死进程。长期真实宿主/Lark 伴随旅程和安装 readback仍按前述边界保留。
风险 canary 的5项直接检查通过,19项选择全部执行:18过、1项继承的 DSH maintainability advisory;完整 semantic 检查与30个改动路径公共边界扫描通过。相同 full ratchet 在基线及两个头的完整输出逐字相同,唯一未复核 debt仍是 _run_dsh_operation_host,无 magnitude regression。总 canary 仍为失败,单独原因是 quality_stale_receipt;没有修改预算、例外、收据或把它宣布为已绿。按当前 scoped review 策略未查询、轮询或等待 GitHub CI。
非阻塞 P2 文档建议:本文件新增的 Ordinary task operations 明确普通 copy无需租约,但 docs/reference/canonical-lease-renew.md 后面的 wait-correction 段仍写 “ordinary edits still need an active execution proof”(当前约426行)。读者在修复等待时可能误以为备注又必须先 acquire。请把该句限定为仍受 execution admission 的字段/操作,或链接新的 administrative-copy 段;同时保留依赖条件编辑与新执行的边界。实现与真实负例已覆盖,故这处残留说明不作为代码阻塞。
我的整体评价
设计和已通过路径为普通任务管理提供有价值的切片,但当前尚不能交付批准:输入意图进入既有前端/CLI、同一 owner 作出决定、写入后可读回,也有陈旧状态的实际恢复路径。行政性编辑与执行授权共用既有 TS owner 和 provider CAS,暂停与租约退休在同一事务中完成;仅改提示无法消除人工租约往返。 本批交付普通 owner 编辑、原子暂停/延期与明确恢复、原生 CLI 拒绝恢复提示及任务详情入口;显式 proof、执行和终态验证继续保留原边界。
未来演进检查已应用于现有 owner:复用行政 copy 分类与生命周期 helper,并把 handoff execution 校验留在原 continuation owner;当前没有理由引入另一套“自动租约”框架。可在同一文档修正上述旧句,无需创建仪式性后续任务。context recall仅作为检验用户结果/边界的建议,本轮不证明其因果收益。已安装桌面宿主、Lark 全旅程及长期运行效果未在本轮资格化;任务看板原有快捷完成路径也不在这次详情操作改动中。 上述16个新增本地验证失败先修复;此前 exact-head readiness=ready 是旧批准下的观察,本 REQUEST_CHANGES 后必须重新读取,不能用于合并。change-quality 与合并授权仍独立。
English verdict: REQUEST_CHANGES - 6a28c540e46243a8f71959661ad0829c2910d249; update the existing deferred-recovery executable contract for the intentional copy/resume and diagnostic changes. The same complete native module moves from20pass/2inherited failures to4pass/18fail, exposing16 newly failing cases. Earlier positive CLI/provider/PG/UI evidence remains valid in scope, but no longer supports approval. No merge performed.
…nomics-20261016 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | reasoning_effort=max
Post-merge audit — repaired blockers at the exact merged head
GitHub 记录维护者 @huangruiteng 于 2026-10-16T13:28:41Z 合并为 0844688b9656c2898bc21e5d9746be49da30f9f2;本 Agent 没有执行合并。该合并 tree 与本次审计 head 完全一致,已用 Git 独立比对。以下为合并后审计,修正旧 head 的未解决评审记录,不补造事前 approval、CQR 或 READY。
精确 head:9ffc70cf92a5930446606e674d79765780b7176c;本轮基线:dfcb03e6d31361ab65d882e3294b9fdf92b39f6a。未发现剩余阻塞,原完整 deferred recovery 模块失败及中英文旧说明均已修复。 本结论基于当前整个 PR 复核,不继承先前 APPROVE。
动机
需要在 CLI 或任务详情中修改备注、暂停并恢复本人任务的操作者。 过去改备注也需先领执行租约,暂停或延期的详情仍突出完成操作;现在普通本人编辑直接走当前状态校验,详情提供明确恢复,并保留原备注。 当前 CLI 和三种真实 provider 已独立通过,恢复不获得执行租约;打包前端沿用已复核且相关源码未变的先前证据。 本批不声称停止进程、热更新已安装 App、完成 Lark 旅程或证明长期运行效果。 已安装桌面宿主、Lark 全旅程及长期运行效果未在本轮资格化;任务看板原有快捷完成路径也不在这次详情操作改动中。
改动思路
行政性编辑与执行授权共用既有 TS owner 和 provider CAS,暂停与租约退休在同一事务中完成;仅改提示无法消除人工租约往返。 本批交付普通 owner 编辑、原子暂停/延期与明确恢复、原生 CLI 拒绝恢复提示及任务详情入口;显式 proof、执行和终态验证继续保留原边界。
执行租约用于约束执行,普通本人备注没有理由承担 acquire/edit/release 的操作往返。最小有效改动是在既有 TS admission 和生命周期中分清这两类请求;另建自动租约服务,或在页面/Python 中偷偷补 proof,都会引入第二权限源。本 PR 未采用这些方案。Python 只补充原请求的路由参数,界面继续使用现有 preview/apply,File、SQLite、PostgreSQL 继续共用同一决策合同。
| 请求 | 当前 head 的行为 | 保留的边界 |
|---|---|---|
| 本人普通 note/evidence/priority,不传 proof | 当前 canonical 状态检查后一次 provider CAS | 不获取执行租约、不改变租约历史 |
| 本人暂停/延期及明确恢复 | 状态与适用租约退休原子提交;恢复清理旧等待 | 不授权新执行,不声称进程已退出 |
| 显式陈旧/部分 proof、foreign holder、handoff prepare | 保持严格拒绝 | 不能降级为普通备注或借用他人 proof |
该表解释已核对的源码分支;实际执行证据见下。
具体改动
共31个路径,+677/-178:既有 TS owner、CLI/Chat 适配和任务详情,中英文合同,以及对应测试和两张合成展示图片。相对先前评审的6a28头,PR 内仅更新 tests/test_todo_deferred_lease_recovery.py 与 docs/reference/canonical-lease-renew.md;相关生产/UI Git blobs 相同,当前主干已纳入分支,三点 diff 未混入无关主干文件。
关键代码讲解
task_lease_proof.ts::isOwnerAdministrativeCopyUpdate(58行)只识别既有非终态本人任务的普通 copy 字段;与todoUpdateAdmissionRejection(25行)配合,actor、claim、排除、binding、仓库与源 revision 先受检。传入任一 proof 参数就走严格 generation 验证;工作要求、依赖、ownership、Monitor、完成不能伪装成 copy。todo_blocked_lifecycle.ts/todo_deferred_lifecycle.ts和prepareUpdatedTodo在原 provider CAS 内提交状态、note/evidence 与适用 lease retirement;明确恢复未给等待条件时清除旧等待及派生观察,显式 clear=false 不被覆盖。已暂停任务上异常存活的执行、他人持有者及旧 proof 均不自动修补。todo_continuation.ts::executeTodoContinuation(122行)在 prepare 分支复用continuationExecutionAuthority,再以相同 provider revision 更新 note。File、SQLite、真实 PG 均验证 missing/wrong/released proof 拒绝后 canonical head 和 pending receipt 不变;普通备注权限不变成 handoff 权限。ContextDrawer::previewTodoTransition(401行)将本地 resume 操作映射到已有 edit/open。blocked/deferred 详情显示“恢复任务”,保留原备注,完成证明仍放在完成操作旁;Python recovery/Markdown 保留原拒绝,并给出可实际执行、带原路由的只读 inspection。
规范先于 diff 核对:docs/project-agent-todo-contract.md,固定 revision dfcb03e6d31361ab65d882e3294b9fdf92b39f6a。逐项映射:Lease-fenced canonical text/note updates 的 actor/显式 proof/原回执约束已实现;其“普通 copy 缺 proof 必须拒绝”的旧默认是本 PR 明确替换的行为。Canonical nonterminal planning updates 的 CAS、原子生命周期和不授执行权已实现;本人活跃租约随暂停原子退休是明确披露的改进。Lifecycle Contract 的暂停不等于完成、后续执行及终态验收分别归原 owner,均保留。
对主干的风险
风险集中在普通编辑准入被误用为执行授权,因此测试必须同时证明放行和拒绝。当前完整根模块 22 passed,另一次相同共享 harness 当前头仍22过;同一 harness 在不可变主干为18失败/4通过,区分旧默认和新合同。这不是18个新生产缺陷:先前评审原模块是4过/18失败,其中16个新增断言不一致、2个继承 legacy 诊断断言问题。当前修正保留 inert legacy、proof、错误/排除/绑定 actor、dry-run 无效应、原子 readback、重放、CAS 冲突和实际重新 acquire,未删除用例或恢复人工租约往返。
独立当前验证:五个 Python CLI/Chat/planning/recovery 模块 156 passed;加根模块共 178 passed。TS update/blocked/deferred 73 passed,administrative/continuation 31 passed、0 skipped,合计 104 passed;后者使用隔离真实 PostgreSQL16.15,含8个 PG 案例,临时实例已停止。Node22.22.3 选择另有12过/6 PG skip;这6个 skip 未冒充 PG 资格,已由前述真实服务器覆盖。Ruff、TS typecheck、mypy17、Personal Workspace contract4例、语义 advisory 后 full smoke、31路径公共边界扫描及 diff hygiene 均通过。
风险 premerge 完整执行5项直接检查、19项选定检查:无阻塞失败、无 manual hold,1项继承 DSH maintainability advisory。完整 ratchet 仍失败;不可变 base/head 的完整诊断、fixture/环境摘要一致,唯一未评审 debt仍是 _run_dsh_operation_host,无 magnitude regression。没有调整 ceiling、添加 suppression 或将失败改绿。当前 diff 的质量资格另外按实际 PR 的不可变 base/head 记录,明确属于合并后证据。遵守本次配置,未查询、轮询或等待 hosted CI。
打包前端证据复用边界已明确检查:先前 完整独立评审 在真实 Chat/canonical SQLite 验证桌面与390px、恢复及保留备注、过期 preview 拒绝后重新 preview 成功、键盘焦点和冷读 lease 仍 released。本次相关生产/UI blobs 相同,已检查两张合成 before/after 全视图,并重跑当前前端合同;没有把截图当作持久化证据,也未声称已安装 App 或 Lark 已验证。
语义与 CI 对齐
没有新增共享协议枚举或 Python 决策 owner。普通 copy 是明确改变的 hard_lease 默认,并非 default-off 功能;soft_claim、退役 legacy、显式 proof 与真正执行仍按各自准入。恢复和 inspection 是只读指导;actor/CAS/proof 拒绝是机器执行的义务。中英文 wait-correction 已删除“普通编辑仍需有效执行 proof”的矛盾旧句,完成语义检查。
我的整体评价
本批是有价值且范围完整的阶段交付:本人编辑和暂停/恢复能从现有入口完成,并读回实际结果;它减少人为干预,同时保留执行和终态的严格边界。行政性编辑与执行授权共用既有 TS owner 和 provider CAS,暂停与租约退休在同一事务中完成;仅改提示无法消除人工租约往返。 本批交付普通 owner 编辑、原子暂停/延期与明确恢复、原生 CLI 拒绝恢复提示及任务详情入口;显式 proof、执行和终态验证继续保留原边界。
未来演进检查已应用:共用现有 typed admission/lifecycle 和 continuation execution helper,未增加自动租约框架或平行状态。完整旧测试及说明已在本 PR 内修正,无需为这两项已完成修复另造跟进任务。已安装桌面宿主、Lark 全旅程及长期运行效果未在本轮资格化;任务看板原有快捷完成路径也不在这次详情操作改动中。 实际模型理解与经验回忆的因果收益也未验证;本轮不据此宣称完整长期运行资格。上述限制不阻止本次有界源码变更;本次明确为合并后审计,不声称本 Agent 曾取得事前原生 READY 或执行 bypass。
English verdict: APPROVE - 9ffc70cf92a5930446606e674d79765780b7176c; the full deferred-recovery contract and bilingual stale guidance are repaired. Current178Python and104TS cases pass, including8real PostgreSQL cases with no skips in that invocation. Actor/proof/CAS, no-execution resume and handoff prepare fences remain verified. One identical inherited DSH advisory remains; packaged UI evidence is reused only after explicit source invalidation checks. No installed-host or Lark qualification claimed.
Ordinary task edits should not require discovering an acquire/edit/release sequence. On canonical
hard_leaseauthority, eligible owners can update text, notes, evidence, reason and priority under provider CAS without acquiring execution rights. Pause/deferral can retire the applicable owner lease atomically; explicit resume clears its old wait and grants no execution.This intentionally changes the previous proof-required administrative default. Existing TypeScript admission/lifecycle owners remain authoritative: claims, exclusions, bindings, repository identity, reviewed revisions and foreign-holder fences remain. Supplied partial, stale or expired execution proof is never silently replaced. Ownership, dependencies, requirements, validation and completion retain their dedicated admission. Handoff preparation explicitly retains its existing continuation execution authority within the same CAS.
The existing App/Chat task drawer offers resume with preserved context; the CLI returns routed inspection/retry guidance. No new setting, capability, provider or authority owner is introduced.
Validation:
Future-facing pass: reuse the existing administrative/lifecycle seam and executable CLI module; no additional decision owner or framework was needed.