Skip to content

fix(collaboration): retain queued handoffs across native lane contention - #7531

Merged
huangruiteng merged 9 commits into
mainfrom
codex/delegation-inbox-wake-20261028
Oct 28, 2026
Merged

huangruiteng merged 9 commits into
mainfrom
codex/delegation-inbox-wake-20261028

Conversation

@loopx-agent

@loopx-agent loopx-agent commented Oct 27, 2026 •

Copy link
Copy Markdown
Collaborator

Chat 首次交接遇到忙碌的原生 lane 时,原实现只留下 Inbox,请求方结束本轮后没有执行意图可接续;晚到的 lane 竞争或最小间隔等待还可能把未启动的原操作记成失败。现有 Chat 返回服务现在保存并续接同一 prepared operation,保留原 request、完整 brief、binding、租约和回传会话,等待来源授权与原生准入恢复。

首次提交、prepared 恢复及确认回调共用 TypeScript 预检。没有原 Turn journal、且原生回执明确证明未启动和零副作用的 lane/间隔拒绝才保留为 prepared;已启动、有副作用或未知结果沿原恢复路径。捕获在间隔准入前校验、通过后发布;已有捕获仍校验完整性,发布比较保留 JSON 值类型和对象键顺序无关的语义。

worker 在入口、Host 前和完成/结算前也消费现有 TS 原始身份核验。来源 Inbox、完整 brief、peer request、原 peer operation 或实际来源会话不一致时,不能启动或接受旧结果;无需再由 Chat 重放才触发。返回地址必须匹配观察到的原会话。恢复原资料后沿同一已验证 Turn 完成一次结算,保留失败和既有 Host 结果。

现有服务每次最多扫描20条记录、每30秒最多一次完整预检;忙碌或未知 lane 仅观察作用域内存活事实。执行探测与结果回传使用独立 IO,慢预检不阻塞原结论,关闭后不再提交 worker。自动续接仅处理原来源 Chat 宿主保存且获授权的 task-bound operation;context-only Inbox 和 operator/MCP 保持原边界。

相关重构复用现有 TS lane/身份判断、validation IO 和 capture IO owner;Chat 恢复与 worker 共用来源核验,保留来源策略锁和真实宿主差异,没有新增 scheduler、Task 或 controller。双语参考同步实际行为。受影响入口为 Chat 交接/返回、CLI/MCP 委派、确认回调及 native Turn;无 UI 布局变化。回滚需保留已保存 operation/原 Turn,再撤回同一 caller/owner 改动。

验证版本:head 05a739abdda299600f6997ef78947c378c0c2fdd;已核实际 main 19c213324fbb5990288bd374c1b79096f22bb152,merge base 843be494266774b63b3de61d0adf5dd7f4f877a2。新7555仅改相邻Lark私有返回恢复的三文件,未宣称本分支已集成执行它。

  • 最终16项来源变化/缺失/伪造对话的真实File/SQLite反例及恢复通过。相同最终公开夹具在不可变17a97a非editable wheel全部16项失败,350个进程/307个主进程产品模块无源码逃逸;旧失败不抹去。
  • 最终05a非editable隔离wheel147项通过、零失败/跳过;10个生产载体与提交/wheel/安装逐字一致,737个导入产品的子进程和460个主进程模块无源码逃逸。覆盖真实worker/CLI、原消息与Task/结算路径,Host和返回传输为协议夹具,非模型/正式App验收。
  • 当前全TypeScript 5608通过/75条件跳过/零失败,29项delegation用例包含实际来源对话;配置mypy17、Ruff、TS类型、语义advisory、双语及19路径公开边界通过。CQR cqr_6678386cd2790dbccde0 精确有效;以已核main19c为base的标准premerge 6直接/17选中全部通过,零失败/人工hold。
  • 初步145项source回归通过,早于最后2项缺失operation用例与恢复断言,以最终16/source和147/wheel重新覆盖。原17a的54项capture/native、wheel76及原2e7d的346项native、41项Lark wire按未改源码/caller保留其实际版本;旧作者批准不沿用为当前评审。
  • 原公开入口同输入12组对照包含6组旧意图保留反例和6组空闲/撤权/context-only完整观察parity;原ReturnService在21条无关终态记录前后的4组扫描顺序及建服务后新到context-only的2组隔离验证保留,相关caller未改。

历史失败保留:17a97a配置范围外strict mypy的181项base/head相同诊断不是全树通过,本次不重新资格该额外检查。首次试验的2项operation地址fixture错误、2项把可由当前worker覆盖回原地址的临时损坏误作有效变化的oracle失败均保留;修正fixture后真实反例成立。首次打包拒绝陈旧前端资源,正常重建后恢复;工具生成的非仓库依赖lock已移出候选并按原npm lock恢复依赖,未降阈值或修改独立语义预期,未改仓库依赖声明。

首次质量记录因共享main ref前移而失配,随后字段超过既有上限也被拒绝;两次均无回执写入,按精确19c范围和原格式重取后通过,没有放宽门。

历史head98a6的CI Maintenance失败保留;按当前策略不获取、轮询或等待远端CI,取消和旧失败不算通过。

这是已授权task-bound恢复的源码及隔离打包切片。普通无预建Todo的Inbox自动激活、正式App/真实模型原消息采用、持续完整成本收益仍未验收;原权限、停止、预算与租约保持。普通请求身份仍由原工作与C1/C2契约owner继续,不以本PR关闭。PR交维护者审阅,正式环境未升级,本轮不合并。

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=max.

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)
Exact head: 968afd8; base: a85a804.

动机 / Motivation

使用已授权Chat交接的请求方,在保存操作后、worker启动前退出时需要恢复原任务。
旧版本在原操作仍为prepared时跳过预检,已被占用的Turn lane仍会提交worker;新版本保留原操作并返回忙碌原因,释放后同一请求只执行并回传一次。
已验证忙碌时没有worker、新Turn或任务改写,恢复后原请求被处理并向原对话回传一次。
不新增grant、任务、scheduler或自动重试,不代表普通Inbox自动激活或正式App/model采用。
剩余缺口是无预建Todo的普通Inbox自动激活及正式安装Host采用,保留原有独立交付边界。

改动思路 / Approach

恢复与首次提交共用既有native预检;Python只组合当前事实,TypeScript继续拥有准入和状态转换,启动锁负责随后发生的竞争。
本PR只修复已有明确Todo与grant的prepared恢复,不交付普通Inbox自动唤醒或第二套controller。
没有新增准入规则、协议、RPC、配置或持久缓存。submitted=false 表示本次没有提交,原operation仍可恢复;running、turn_returned及终态继续读原记录,避免已完成Todo的新启动拒绝遮住历史结果。fresh source检查在可能较慢的inspect之后再执行,预检不能代替启动时的原生fence。

具体改动 / Changes

独立依据是 docs/reference/local-delegation.md,spec revision a85a804;activate、source-use-and-recheck、disconnect-and-recovery 三项均按上面原合同实现并验证。

关键代码讲解

  1. execution.dispatch 先验证原Inbox、完整brief、binding及回传Session/Turn,只让仍为prepared的分支进入共用inspect。拒绝时返回原operation_id、Todo与replayed状态,不写出另一个操作。
  2. Delegations.resume 保留原锁与prepared_source_request_id,迟到worker发现操作已经推进时只观察。该owner未改,因此本次adapter不复制其启动/状态规则。
  3. 两个测试文件同时覆盖真实File/SQLite占用lane、释放恢复、原请求处理和一次回传,以及撤权、停用、缺失预检事实和五类已推进状态。对应文档中英文补充预检是观察以及没有自动wake的边界。

对主干的风险 / Risks

PASS:四个完整相关模块共113项测试,6项直接检查加11项选中标准premerge全部通过,零人工hold。没有查询、轮询或等待CI。
FAIL(预期base反例):把同一组新断言应用于不可变base,10项失败、7项通过;其中File/SQLite两条真实忙碌lane均观察到旧代码继续提交。head的完整测试验证busy不动原记录/held lane/Todo,释放后一次Host执行、原请求conclusion一次返回,终态重放不再inspect或spawn。
没有把mock admission当真实Host证明:单位用例覆盖快速故障分支,实际后端、原生CLI、fixture Host和返回transport覆盖端到端恢复。当前没有新增off开关;无binding/context-only与撤权拒绝路径保留,不因可见binding或注册获得权限。preflight之后的竞争仍由原native start fence处理;这不是原子预留或安装态模型资格。

我的整体评价 / Verdict

APPROVE,无阻塞发现。这是可独立使用的恢复增量:长程工作能够保留原承诺并在恢复后处理原请求;调用方收到可行动的拒绝和同一操作的结果,无新增确认轮次。恢复与首次提交共用既有native预检;Python只组合当前事实,TypeScript继续拥有准入和状态转换,启动锁负责随后发生的竞争。 本PR只修复已有明确Todo与grant的prepared恢复,不交付普通Inbox自动唤醒或第二套controller。
4文件+180/-18中,生产adapter净增7行;测试直接保护已发货的恢复边界,未另建状态owner。保留既有持久operation/Turn与回执兼容,相关准入词汇均复用,semantic advisory及公开边界检查通过。
完整4文件diff和原handoff回复消费者未改变任何渲染布局、设置或首屏结构;visual review不适用,实际安装App交互仍未验证。 正式App、真实外部模型、PostgreSQL、Windows、全仓与长期净收益未本轮资格化;本次采用已有Source/Turn/返回owner,不能用一次fixture回传关闭这些轴。合并须由维护者另行决定。

English verdict: APPROVE — 968afd8; prepared recovery now shares native preflight; 113 tests and 6 direct/11 selected checks pass, with real File/SQLite base counterexamples and once-only recovery/return.

@loopx-agent
loopx-agent force-pushed the codex/delegation-inbox-wake-20261028 branch from 968afd8 to 6602022 Compare October 27, 2026 22:53
@loopx-agent loopx-agent changed the title fix(collaboration): preflight prepared source handoff recovery fix(collaboration): retain queued handoffs across native lane contention Oct 27, 2026
@loopx-agent
loopx-agent force-pushed the codex/delegation-inbox-wake-20261028 branch from 6602022 to 98a6e6f Compare October 27, 2026 23:29

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=max.

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)

动机 / Motivation

现有获精确binding授权的Chat/CLI/MCP请求方和已确认task-bound callback接收者。
已保存请求或已确认operation遇忙碌/未知lane:旧代码提交worker或拒绝原操作;head先保留原身份与确认,恢复后原会话启动一次,启动后竞争仍由native fence裁决。
当前File/SQLite四完整模块128例、11个原生profile案例及12独立native正反例通过;实际target base上8个原交接/late-race及10个callback反例失败,head保持原identity、confirmation、一次Host/结算/返回。
不新增自动retry/wake pump、普通无Todo Inbox激活、执行grant或正式App/真实模型/安装资格。
普通无预建Todo的Inbox自动激活及正式App和真实模型采用仍由既有collaboration/host工作承接。

已保存但尚未启动的合法交接,以及已确认的 task-bound callback,在接收方忙碌时应保留原承诺。旧代码的 prepared Chat 重放跳过预检;callback 也会直接提交 peer 工作;预检之后的 native lane 竞争还可能把从未启动的操作记为终态拒绝。请求方被迫另建操作会扩大重复执行与重复扣额风险。

本次只评价完整 98a6e6f,actual target base 为 9558f75:11 文件 +625/-52。变更前的 local-delegation 合同已要求确认、启动授权、原生开始、消费、验收和原受众返回各自成立;这些既有要求是判断依据。旧 968/660 的结论不继承到本 head。

改动思路 / Approach

两个consumer复用同一TS preflight决定;状态转换复用原TS owner,持久化复用已有IO/fence;无第二调度/authority。
现有task-bound原请求恢复及确认callback准入;普通无Todo Inbox自然激活和正式App/provider仍未交付。

Chat 与新 task-bound callback → Delegations.inspect → TS delegationPreflight → 原 start/resume → native Turn fence → 既有结果 IO/observation → 原请求返回。dispatch_allowed 由原 TS owner 从完整预检事实派生;两个 Python consumer 只接受严格的 True,删除重复资格判断。

prepared 重放先检查当前来源、workspace、authority、acceptance、runtime 与 lane,再复查 grant。callback 拒绝时只返回 blocked 和原因,保留原 canonical confirmation,零新 peer 请求/worker;已有 delegation 的重放仍只读。独立 original_operation 的原 reservation 路径没有改动。

晚于 preview 的竞争仍由 native fence 处理。只有原 operation 没有匹配 journal,且真实回执的 schema/mode、非 replay、zero spend、host.executable=not_invoked 和全部 effects 明确 false 时,TS observation 才把 running 保留为 prepared。effectful、已有 journal 或不确定结果仍走原对账;没有自动 retry pump。

具体改动 / Changes

依据 docs/reference/local-delegation.md @ 9558f75:activate 核精确 grant 和当前验收;source-use-and-recheck 核原请求/brief/binding/Session;disconnect-and-recovery 核原 operation、unknown 与一次执行;acceptance-and-return 核独立验收、规范完成与原路返回;confirmed-callback-admission 核确认/启动授权独立及原 Session/profile。五项 implemented,均用变更前合同及实际 entrypoint 验证。

关键代码讲解

  • manager_context.execution.dispatch:prepared 与首次 dispatch 共用预检;advanced 状态不再按新启动检查已完成 Todo,原 source/binding/brief/Session/Turn 不替换。
  • delegationPreflight:原拒绝/未知分支均派生 false;已配置但未 probe 的 runtime 仅可有界尝试,不能呈现为 ready/running。
  • dispatch_confirmed_operation_wake:在新 peer 发布前消费同一预检;existing readback 和 original-operation reservation 仍先进入各自原 owner。
  • transitionDelegationObservation:严格识别未开始的 native lane refusal;不是按 reason substring 或自由文本猜状态。
  • delegation_validation.record_turn_result:原结果 IO 归回已有 owner,只运输必要 receipt facts;publish=False、锁内恢复和原 stop-fenced 写入 seam 保留,四个 caller 没有第二套状态规则。

验证与发现 / Findings

无阻塞发现。对本 head 独立执行:

验证 实际结果
source replay、Chat execution、callback preflight、Lark operation 四个完整模块 128 passed,零 skip
独立真实 native receipt 正反例,File/SQLite 12 passed;Host/state/quota/scheduler 任一 effect 或 unknown effect 都不回退
原生 callback/Session/profile 选中案例 11 passed,22 deselected
完整 delegation TS 模块及 control-plane typecheck 28 passed;typecheck 通过
actual target-base 的同一断言 8 个交接/late-race、10 个 callback 均复现旧缺陷;只 overlay 测试,product 未改,已还原
标准风险 premerge 6 直接 + 11 选中通过;零失败、警告或人工 hold

真实 disposable File/SQLite、native CLI、journal/lease 与 owned app-server 协议 fixture 验证了:重复忙碌不改原身份/确认,释放后原 Session 的 Host 只启动一次;原交接完成后 journal/debit 与原会话返回各一次。workspace 缺失、foreign/unreadable lane、preview 期间撤 grant、缺失/非 boolean 决定和错原请求都保守拒绝。Lark wire 测试的固定 preflight 仅验证身份与重放;真实准入由独立 backend 模块补齐,未把 mock 当原生开始证明。

旧 660 的五模块 192 passed 仅保留为对应版本历史;本 head 使用上表重新执行的范围。首次误写测试路径的 collection 失败、作者历史 module ceiling/large-result/旧 callback fixture 失败均保留,不改标为通过。按当前策略未查询、轮询或等待 CI。

对主干的风险 / Risks

最强风险是把已有副作用或未知回执误当未启动并重跑。当前严格 native 事实合取、原 journal lookup 和 stop/source/lease fence 保留;prepared 的再次启动仍须当前授权,并不新增自动循环。预检与最终启动之间仍可能发生竞争,其裁决继续归 native fence;不能把本次单路径恢复解释为自动 Inbox、安装、模型或长期净益资格。

语义与 CI 对齐

预检决定是观察;执行授权与最终 native fence 仍独立。缺 grant/context-only/未配置 callback 不激活,注册或确认也不替代当前准入。46 行双语文档明确新顺序、unknown 恢复、原 operation 重试及不新增自动 wake;未压缩旧义务或加入领域专用通用规则。标准语义/公开边界预检通过。

我的整体评价 / Verdict

APPROVE,无阻塞发现;justified increment。 现有 task-bound 承诺在争用中可保留,并有真实后继的一次启动、结算与返回证据;long_horizon 与 user_experience 在这个有界路径上 improved。新增生产成本为 +108/-49,主要复用 TS 预检/observation 和原 IO owner;两 consumer 共用派生决定,callback 仅 7 行接入,不需要新的队列、配置或 scheduler。

完整11文件diff只修task-bound准入和恢复、文档及测试;现有Chat/Lark shared frame布局、设置与首屏未改变,visual review不适用。正式App交互未验证。 普通无 Todo Inbox 自然激活、正式 App/真实外部模型、PostgreSQL、Windows、持续调度与完整长期成本收益未本次资格化;未据此关闭父级路线图。preflight 不是原子预留,真正的启动 fence 继续裁决其后的 race。合并与安装由维护者另行决定。

English verdict: APPROVE — 98a6e6f; shared typed preflight and strictly effect-free late-lane recovery preserve the original task-bound operation. Current-head 128 Python, 12 independent native, 11 profile and 28 TS cases pass; 18 actual-base counterexamples establish regression sensitivity.

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>
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
loopx-agent force-pushed the codex/delegation-inbox-wake-20261028 branch from 98a6e6f to 2e7d7a3 Compare October 28, 2026 07:03
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=max

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)

动机 / Motivation

已有执行授权的 Chat 委派者,希望接收 Agent 忙完后处理原请求,并把结论送回原对话。此前首次提交遇到忙碌 lane 只保存材料,随后没有可续接的执行意图;预检后才发生竞争也会把未启动的请求判为终态拒绝。现在保留同一操作,当前授权与准入恢复后再继续。源码和隔离安装包中的原请求可在忙碌恢复后完成一次 Host 执行、一次结算和一次原对话返回。本 PR 不完成无预建 Todo 的普通 Inbox 自动激活,也不新增调度器、执行授权或安装权限。普通无 Todo 的请求绑定、正式 App 与真实模型采用,以及持续完整成本收益仍未验收。

改动思路 / Approach

保留现有持久操作作为唯一意图,TS 决定准入与状态,Python 只恢复 IO;独立返回循环避免慢预检阻塞已完成结论,未另建队列或调度 authority。本 PR 只交付已授权 task-bound 操作的完整保存、合法恢复和原路返回切片;普通无 Todo 路径继续由既有 Turn/settlement 契约 owner 承接。这里的 prepared 表示保存了原执行意图,不能当作已经运行。单补重放预检会继续丢失首次忙碌的意图;另建调度器或要求发送者重提则增加状态或人工往返。现在从原授权请求到可用结果需要零轮额外确认,原有配置与执行授权仍有效。

下表根据本次精确源码解释路径,不作为执行证据;未使用 Mermaid,因此没有未核验的图渲染。

触发条件 处理与结果
首次忙碌或 lane 未知,其他准入允许延期 保存原操作,不提交 worker;恢复后重新核验
原生启动前竞争或明确未预留的间隔等待 仅在无 journal、零副作用的证据下保留原操作
已启动、已返回、停止或结果不确定 读回原状态,沿已有停止/对账 owner 处理
来源撤权、会话关闭、非原宿主或仅传材料 不加入自动接续,不制造任务或权限

具体改动 / Changes

审查基线为 843be49,准确 head 为 17a97a0;重新判断整个17文件提案,并单独检查上次2e7d之后的捕获类型修复,没有继承旧批准。依据是既有 docs/reference/local-delegation.md 在 843be49 的接受契约,而非本次重写后的说明:Activate 与 Source use and recheck 对应原来源和授权;Acceptance and return 对应规范验收与原路返回;Disconnect and recovery 对应原身份、并发及不确定效果恢复;Confirmed operation callback continuation 对应确认与执行授权分离。以上均在实际调用方实现并有真实后端验证。Ordinary Inbox activation boundary 原本就记录尚未实现的三处绑定,本提案保留它,继续由原工作承接。

关键代码讲解

  • dispatch 让首次提交与 prepared 重放消费同一个 TS 预检;首次可延期时只保存原操作,恢复仍带原 source request 的启动条件。
  • QueuedSourcePump.tick 在既有返回服务里每30秒最多看20条、尝试一次完整预检。游标越过拒绝记录;源码宿主、完整 brief、grant、binding 和回传对话重新核对,慢执行预检与返回 IO 分开。
  • transitionDelegationObservation 只接受原生、未启动且所有 effects 明确为 false 的 lane/间隔回执。已有 journal 或未知效果不会被回退为 prepared;完整结果留在原 IO owner,必要事实才进入 RPC。
  • StagedTurnDecisionCapture.publish 保留准入前的 TS 原捕获校验、准入后的发布。此次自查复现了 true == 1 的 Python 比较漏洞,现按保留 JSON 类型的序列化比较;数字1/1.0不能冒充布尔值,键顺序及原格式恢复保持可读,无新增 RPC 或提示。
  • dispatch_confirmed_operation_wake 在新 task-bound 回调发布 peer/worker 前消费同一 dispatch_allowed;原确认、显式重试与 original_operation 的 reservation owner 保持。

对主干的风险 / Risks

最大的风险是重复执行、越过撤权或关闭、以展示窗口误判无待办,以及原捕获在准入窗口被替换。已核对原 prepared CAS、源策略锁、原生 lane/租约/停止 fence、当前验收与结算顺序;源码和隔离包均有一次 Host/扣额/原对话返回的真实协议验证。原服务在21条无关终态记录之后仍能触达原待处理项,两种顺序与两种后端均通过;这不等于任意队列规模的持续延迟已资格。

本轮 immutable base/head 的12组公开入口对照中,6组旧意图保留 oracle 失败、当前全部通过;另外6组空闲、撤权和仅传材料的完整观察相同,仅规范化随机 Todo 身份。忙碌预检的完整诊断与 effects 逐字段相同,新增可延期事实和保留操作是明确的行为修复。先前76项原生案例保留其2e7d版本,本次修复后的54项重新通过,最终隔离 wheel 的76项也全部通过,零失败/跳过;9个产品 carrier 与最终提交、wheel、安装一致,395份进程导入审计无源码逃逸。

语义与 CI 对齐

复用既有 TS vocabulary、原生回执和 capture IO,不另建 Python 决策 owner,也未提高阈值。相同 TS 输入的5608通过/75条件跳过、原346项 native 和41项 Lark wire按源码失效检查复用;改变的捕获分支已重新资格。当前 TS 类型检查、配置内 mypy17、Ruff、语义/双语/公开边界及标准 premerge 6直接/14选中全过,CQR cqr_b60c0c50803c6fcdb4f8 有效。额外 strict mypy 的181条完整诊断在当前 base/head相同,仍记 FAIL;不称全树绿。按当前 policy25不获取、轮询或等待远端 CI;98a历史 CI失败和取消仍保留,不能据此冒充最终合并资格。

我的整体评价 / Verdict

没有剩余阻塞性发现,结论为 APPROVE,是有用的 justified_increment。long_horizon 与 user_experience 在已授权 task-bound 源码/隔离包的持续处理与减少重复人工操作这一边界内改善;未把它升级为真实模型或整体目标的收益证明。保留现有持久操作作为唯一意图,TS 决定准入与状态,Python 只恢复 IO;独立返回循环避免慢预检阻塞已完成结论,未另建队列或调度 authority。本 PR 只交付已授权 task-bound 操作的完整保存、合法恢复和原路返回切片;普通无 Todo 路径继续由既有 Turn/settlement 契约 owner 承接。

已检查17个改动路径及未改的Chat/Lark调用方;没有渲染布局或页面信息层级变化,因此本次不要求截图。正式 App 原始消息自然采用、真实模型效果和持续完整成本未验证。持续多宿主开销、历史规模下完整成本和普通无 Todo 激活仍是原工作缺口;新捕获修复只需现有比较和回归,无额外抽象或兼容分支。此为作者模型的 COMMENTED 自评结论,不是 GitHub 正式自批准、第三方独立验收、安装或合并授权。

English verdict: APPROVE the bounded task-bound recovery and capture-integrity change at 17a97a0; formal App/model adoption and taskless activation remain unqualified.

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=max

动机 / Motivation

已有执行授权的 Chat 委派者,希望接收 Agent 忙完后处理原请求,并把结论送回原对话。 此前 worker 直接继续时,原简报或回传地址被改动也可能执行或接受结果;现在它在启动和完成前核对实际原始来源,恢复原资料后沿同一回合继续。 真实 File/SQLite 与隔离安装包拒绝变化来源,恢复原资料后同一 Turn 只完成一次结算且不重跑 Host;已有忙碌队列仍可处理原消息并原路返回。 普通无 Todo 的请求、Turn 与结算身份,正式 App 原消息自然采用、真实模型及持续完整成本仍未验收。 本 PR 不完成无预建 Todo 的普通 Inbox 自动激活,也不新增调度器、执行授权或安装权限。

原来的另一条反例是接收者忙碌:首次交接只留下收件材料,后来没有可续接的执行意图;预检后发生竞争也会把未启动的操作判为终态。本人期望的是保留原请求并在合法条件恢复后继续,减少重复转达和错误接受工作。本次重新评估完整19路径,没有因为此前已发表过作者批准而继承结论。

改动思路 / Approach

复用原持久操作和 TS 来源比较规则,Python 仅重新读取来源;验证与状态读回分开,避免 worker 自己递归读状态。独立返回循环保留原服务生命周期,慢预检不会阻塞已完成结论。 本 PR 交付已授权 task-bound 操作的忙碌恢复、原始来源核验和原路返回;普通无 Todo 的请求、Turn 与结算身份仍由既有 C1/Turn owner 接续,正式 App/模型采用另验。

已有 prepared operation 表达不可从收件箱推导的执行意图,继续作为唯一持久来源。dispatch_allowed、queueable、未启动的零副作用观察和实际原始对话地址均由现有权威事实派生;没有增加第二份任务台账或由展示层填写来源标签。正确性规则由 TS source replay、原生准入、Task/lease 与结算 owner 执行;Python 负责读取原始证据及有界重试 IO。观察或预检不能授予执行权限,未知效果也不能回退为未执行。

触发 此前 当前可验证结果
初次忙碌或预检后的竞争 丢失可恢复意图或过早终态 原操作保持 prepared,当前授权下再由原生准入决定
无 Chat 重放,完整原简报/peer operation 发生变化 worker 仅查 grant,可能执行或接受变化工作 worker 在启动和完成前复用完整来源比较,拒绝变化
Host 已完成后来源变化,再恢复原资料 变化来源可能仍完成 Task/结算 保留原已验证 Turn;恢复后只结算一次,不重跑 Host

表格来自源码和隔离真实后端验证;不把它当正式 App 或真实模型采用证据。

具体改动 / Changes

评审绑定 7531@05a739abdda299600f6997ef78947c378c0c2fdd,完整差分19路径 +1239/-127,其中10个生产路径、8个测试/夹具和1个双语参考文档。写入规范的基线是 local-delegation.md 的不可变版本 843be49。逐项映射:Activate、Source use and recheck、Acceptance and return、Disconnect and recovery、Confirmed operation callback continuation 在本次 task-bound 切片实现;Ordinary Inbox activation boundary 仍 deferred,不能用合成 Host、ACK 或本 PR 关闭它。

关键代码讲解

  1. dispatch 同时处理首次交接和 prepared 重放,两者都消费当前 TS 预检;忙碌时只保存已有授权的原意图,材料交付和运行可用性都不等于执行授权。
  2. QueuedSourcePump.tick 在原 ReturnService 生命周期内最多每30秒读20记录、尝试一次完整预检;游标跨过终态记录,context-only 或已启动操作不会被登记为新工作。
  3. verify_delegation_source_execution 读取原 Inbox、完整来源/peer 简报、原 peer operation 和当前 grant,把实际观察到的 Session/Turn 交同一个 TS 比较器。验证与状态读回分开,三处原读 caller 留薄包装,worker 不递归读取自己。
  4. Delegations._bound 在原 require_active 边界调用上述验证;启动前缺失/变化来源形成可读拒绝,Host 后来源变化保留已验证 journal,恢复原资料才完成原 Task 和结算。原 source policy lock、停止及租约规则保持。
  5. StagedTurnDecisionCapture.publish 保留此前修复:先验证原捕获,原生准入后才发布;JSON true 不能被数值1/1.0替换,键顺序及旧格式仍可恢复,没有重造捕获或第二份决定。

对主干的风险 / Risks

主要风险是新增后台尝试误重跑已有工作,或 worker 在原来源失效后仍接受结果。已检查原 prepared CAS、原生 journal、严格零副作用分类、source/grant/stop fence 和完整身份比较;不确定或已启动结果仍由原恢复 owner 处理。此次新16例在旧17a97a独立非 editable 包全部失败,当前源16例及最终非 editable 包147例全部通过;10份生产载体与提交/wheel/安装字节一致,737个导入产品的子进程和460个父进程模块均无源码逃逸。恢复原来源后 turn_key 不变、quota_spend 一次、Host 调用仍为1。

当前完整 TS 5608 PASS、75条件 SKIP、0 FAIL;可选provider跳过不算其资格。配置 mypy17、Ruff、TS类型、公开边界、双语及严格 CQR cqr_6678386cd2790dbccde0 PASS;标准 premerge 对已核目标19c213的6直接/17选中检查 PASS、零失败/人工hold。最初prepare因共享 main ref前移失配、字段过长被拒绝,无回执写入;重取精确范围后正常记录,没有改阈值。target新7555只改Lark私有返回恢复的相邻三文件,未声称当前分支已集成执行它。

已有 context-only/撤权路径的同输入6组完整输出与基线相同;普通 CLI/MCP 无 source_request_id 时不进入本来源比较。callback的关闭/认证边界未改,既有41条 Lark wire与原生callback负例保留其原版本,不冒称本次真实 Lark 交付。此前98a CI维护失败、17a额外strict181失败及本轮旧bundle、夹具错误和依赖环境修复均保留;本次依 policy25 不获取、轮询或等待 CI,未把历史失败改判通过。

语义与 CI 对齐

复用原有 source replay、prepared/accepted、原生lane和结算词汇;新 source_conversation 只是既有RPC的即时观察,没有新增持久状态、schema版本、CLI或授权owner。source核验是执行前的强制不变量,预检仍只是当时观察,文档据此披露默认行为变化。整份规则不含业务/benchmark专用义务,也没有用更强说明取代代码。只读历史仍可查看;来源损坏时不会把不可用当作空或改向其他对话。

我的整体评价 / Verdict

APPROVE 当前精确head的有界作者交付;这是作者自评,GitHub不允许正式自我批准,使用COMMENTED承载批准结论,不冒充独立审阅或合并许可。long_horizon=improved:真实后端保存原意图、拒绝变更来源并沿原Turn恢复;user_experience=improved:已有合法委派无需重复转达。上述改善限机械执行链,真实模型效果、正式App采用和长期完整成本 UNVERIFIED。

原有17路径的忙闲、capture、队列和返回证据按未改调用/源码复用;本次变更的worker来源假设重新执行16/147和完整TS验证。拆开验证/读回使后续来源规则只改原TS owner,不增加迁移或兼容分支;新增来源读取有维护和运行成本,持续净收益仍未知。普通无 Todo 的请求、Turn 与结算身份,正式 App 原消息自然采用、真实模型及持续完整成本仍未验收。 原任务保持开放,由既有C1/Turn/settlement owner继续无Todo身份与真实安装旅程,当前PR未合并。

Approval conclusion (author-owned PR; GitHub blocks formal self-approval): APPROVE.
English verdict: APPROVE the exact-head task-bound recovery and original-source integrity slice; taskless, installed-App and model/cost qualification remain open.

@huangruiteng
huangruiteng merged commit a8a6be3 into main Oct 28, 2026
37 of 45 checks passed
@huangruiteng
huangruiteng deleted the codex/delegation-inbox-wake-20261028 branch October 28, 2026 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants