Skip to content

配套证据:批准对象与动作身份 ​

本包配合中文正文使用。English guide。性质:公开配套的受控实验记录;不是修复回执或独立 QA。

怎么读 ​

本包提供原研究记录的去标识摘取,不是假装重新运行的结果。所有观察固定在 CodeFlowMu 提交 fdadbed489129455437f25202a03bae6e0c2e822,实验日期为 2026-09-04。

正文主张记录位置校验及预期支持范围
既有保护两轮通过observations.json → baseline_tests每轮 31 tests/pass,fail/skip=0,退出 0选定四个测试文件,不是全产品验收
同会话改分支消费旧批准approval_matrix 中 different-target两轮 ALLOW,consumed,重复为 APPROVAL_ALREADY_CONSUMED真实 Native gate;无命令执行
换成登记的唤醒 Session 失配approval_matrix 中 delivered-resume两轮 REQUIRE_APPROVAL,原授权 available受控会话输入,不证明完整 successor 准入
四种 Git 变化摘要一致field_comparisons 中 branch/remote/force/delete每种两轮 fingerprint/digest 相同,request_differences 空摘要边界,不代表四种操作均消费/执行
嵌套 Session 造成摘要变化field_comparisons 中 new-sessionfingerprint 相同、digest 不同;仅排除嵌套 Session 的内存反事实使 digest 相同定位原因,不是产品补丁
Codex resolution 接受改分支codex_resolution 中 changed-branch两轮 allow=true、授权 consumed;same-command 是正对照本地真实 resolution 函数,不是在线 app-server 测试
同文 TASK 不替代指定依赖lineage_controls六种情况每种两轮,actual 符合 expectedFCoP gate 分支,不是全部关系图恢复

来源和核验方式 ​

校验器依次检查文件完整性、实验集合、正反对照及文章所引用的比较。预期输出为 RECORDED EVIDENCE CONSISTENT; PRODUCT COUNTEREXAMPLES REMAIN。这表示记录与主张一致,不是产品通过。

原研究的完整 E1 探针因两类偏离各出现两次而退出 1;本包不会将它洗成通过。因果采集脚本的退出 0 也仅表示采集完成。31 项回归、22 次审批输入、14 次字段比较、4 次 resolution、12 次 lineage 观察是不同集合,不应相加为可靠率。

去标识规则 ​

全部项目、任务和命令原本就是隔离合成夹具,没有客户事故记录。导出进一步将本机夹具路径替换为稳定的 <SYNTHETIC_FIXTURE_...> 标签,省略进程号码;保留顺序、轮次、时间、输入语义、输出、失败与原始摘要。标签不是可执行路径。

保留的 operation digest 是原始观察值,不能用去路径后的 JSON 重新计算来验证它。 校验器检查记录之间的等式/不等式及原始文件摘要引用;完整产品复跑需要原研究脚本、固定源码及相应依赖。本包的 reader 不是产品实验 runner,不依靠它证明因果或真实网络执行。

没有删除失败事实,也没有把 force/delete 摘要等价扩大为真实 Git 操作结果。原始研究中的工具使用错误、spec/TAP 计数修订及不完整调试轮不进入计数;相关限制在正文第 6 节及原研究记录中保留。本包只覆盖正文引用的完成轮次。

尚未执行真实推送、云模型、线上接管、掉电恢复或独立 QA。全文及证据说明中英文采用同一份机器可读数据。

下载后离线检查 ​

下载完整配套包(ZIP),解压后进入 evidence 目录运行 node check-evidence.mjs。请保留完整目录结构;单独下载脚本不足以完成文件完整性检查。