Skip to content

中断接管研究:证据、来源与复核边界

English

本页配套两篇文章:中断后的同 TASK 接管决定证据连续性。研究固定在 CodeFlowMu V2.1.2 提交 919c3b48cba31e376b45e60506fa14e4bbcfcb23

这里公开的是已保存的研究记录,不是本次重新运行产品得到的原始日志。 留存材料包括研究 fixture、命令、结果汇总和观察表;缺少完整逐行 stdout。本页明确保留这一限制,不以转录或检查器 PASS 代替产品复跑、独立 QA 或冻结后的 IA/DC 验收。

1. 下载与复核

完整证据 ZIP · 中文说明 · English README · 观察记录 · 来源 · 检查器 · SHA-256 清单 · 研究 fixture 模板

解压完整 ZIP,在文件目录运行:

text
node check.mjs

预期:保存数据关系与文件摘要检查 PASS,退出码 0。它不调用 Runtime,不证明代码行为已再次发生。

2. 主张—证据—限制

证据保存的观察支持什么不支持什么
RA-4checkpoint 保存;直接第二次 Session start 后 SDK send=2裸 Session start 没有消费该 checkpointDispatcher 自动重放真实外部效果
RA-5旧 Session 被收敛为 SESSION_LOST 后,迟到 settle 不覆盖旧记录,终态事件增量 0既有记录终态保护通用外部效果 epoch fencing
RA-7 / RA-8合成事件分别声明 confirmed_exists / unknown,零退避下均回 inbox,TASK 身份保留真实方法未区分这两类给定语义线上已发生重复副作用或发生率
DC-1 / DC-2receipt marker 未持久化;拒绝仍为 failed / OPERATION_BOUNDARY_DENIED普通 Session 缺通用 receipt 连续性;拒绝不伪装成功所有专用授权回执都失效
DC-3 / DC-4含 8192 字节合成尾部的 marker 留在内部事件,三类普通投影均不返回,保留 failure code/status普通消费者的原文边界内部归档已具备完整查询、保留期和 integrity 合同
RUN-0047 个测试文件:57 pass / 0 fail / 0 skipped技术恢复、事实核查、EVAL、关联诊断既有职责隔离新 interruption case 已实现或端到端验收通过

RA/DC 是当时研究探针编号,和冻结后的正式 IA/DC 验收编号不是同一集合。fixture 早期使用 quarantine,公开合同后来统一为 hold_for_review;历史输入未被改写。

3. 外部来源:截至 2026-09-02

项目核验来源本研究采用的范围
OpenAI Codex#41916,已合入重连不自动重发不确定输入
OpenAI Codex#41936,已合入失败审查留存受限诊断;超大 reviewer context 可省略
AG2#3222,2026-09-01 合入历史持久化与跨进程 lease 分离
Orkas#53,已合入重复终态与迟到事件的幂等结算
Paperclip#12616,2026-09-01 合入默认关闭的实验性 native runner、身份绑定、receipt 与结果 fencing;合入不等于普遍启用

这些来源用于提出问题,不能证明 CodeFlowMu 的能力或缺陷。Paperclip #12616 不是 OAuth connector profile;不据此增加 OAuth 任务。

4. 产品复跑和公开检查不是一回事

产品复跑需要获准访问固定源码与依赖。现有唯一产品代码根目录是 D:\codeflowmu;本包不要求、也不授权复制仓库或覆盖当前工作。版本不匹配时应停止,不把新版本结果写成旧基线证据。模板 import 根可由获授权操作者映射到已核验源码,使用原有 tsx 环境运行;复跑必须另存完整输出。

本轮没有真实掉电、真实第三方副作用、浏览器端到端或独立 QA。后续合同已经冻结,但实现、正式 IA-1~IA-12 / DC-1~DC-3 与独立 QA 的结果不在本证据包的主张范围内。

Last updated: