Core 作者的独立交叉终审¶
结论：本报告独立范围内 PASS。初审两项表述及第四审查随后指出的取消顺序问题均已修复并独立复验。仅覆盖 core-review-files.json 绑定的 50 个输入：17 份 primary 正文、33 个 examples 文件；包括 .gitignore，排除本人编写的 02/04/05/06/07/11，不用作者自查充当独立审查。
固定源码为 Pi 1.3.0 71023aec1546d6d677a65669c5665c0927ce0dd0，课程 revision 为 20261018-pi130，审查日期 2026-10-18。全文和 18 张 Mermaid 均按实体、条件、顺序、失败路径与提交时机阅读；不是只验渲染。
复验关闭的问题¶
| 初审问题 | 最终修正与证据 |
|---|---|
| 20.3 worker 上限范围过宽 | 已限定 coding-agent Code Mode 集成跨 session 的两名存活 worker。固定 execute.ts:500–533 装配容量钩子，runtime/host.ts:29–36 仅使用可选 acquireWorker。独立 pi-codemode 不被写成自动具备该限额。 |
| 22.6 背压计量泛称 JSON 字节 | 已明确使用 Link.send 报告的编码大小：文本为 JavaScript string.length，packed 二进制为 byteLength；压缩影响后者，IPC 不报告大小所以不窗口限流。最终追到 chord/src/link.ts:8–12,252–263,329–331,402–405 与 connection.ts:461–465。本审查初次建议“编码字节”仍不够精确，最终采用其他独立审查进一步指出的实际两种单位。 |
另复核其他审查推动的 21/22 修订：Connection 丢失错误为 unknown/lost:true；普通 activation 的 resources/references 并发汇合并等待 settled 后处理失败，pendingCodeVersion-only 对象延迟 runtime；reload 提交前回滚与 commit 抛错 host.fail 分开；exclusive resource 回滚不被描述成没有触及外部世界。
逐章独立覆盖¶
| 章节 | 核查重点 |
|---|---|
| index、01 | 固定 release 与检查时 main、安装对象、研究任务与学习路径、实验边界 |
| 03 | CLI 默认/相对/显式工具、信任与加载、print/RPC、配置迁移、分享 fallback |
| 08 | 参数解析与 validation、Core hook 不重验、结果多消费者、edit/队列、扩展权限和 callable |
| 09 | MCP readiness/OAuth/dispatch、Code Mode discovery、worker logical stop/actual exit、store 与三种 sandbox |
| 10 | runtime 所有权、UI状态、print长度退出、RPC disposition/事件/EOF、LF-only framing |
| 12 | 研究包真实 loader、模板/skill/extension职责、hook边界、启动联合事件、分支状态 |
| 13、14 | 可跟做命令、实际结果链、收据与artifact、SDK三实例、projection、Durable原submission恢复 |
| 15、16 | 业务验收与终止分开、权限/副作用/幂等、预算和取消、失败场景与观察事实 |
| 17 | 80个reader表实际文件和行数一致，11个包依赖表与package.json一致，覆盖不冒充全仓全行审计 |
| 18、19 | 作者/独立审查/运行/发布分层，冻结和下载收据时序；未冒充本审查已部署 |
| 20 | 删除旧实验栈、Chord新契约、配置/provider/MCP变更和版本间边界 |
| 21 | Env Result、路径基点、daemon协议、request/connection区别、SSH信任与部署、取消/watch/listFiles/PTY |
| 22 | contract/principal/object身份、activation/所有权、state/result窗口、root/codeVersion、reload及Durable组合 |
源码读取详目与上游测试范围见初审报告。最终检查统计在 core-review-check.json：17份正文、18图、80阅读器，reader/package表错误均为空。105条固定源码链接的SHA、路径、行范围有效；语义核对另由上述阅读完成。
实际运行与观察¶
本审查者实际执行 npm run check、npm test，35项测试通过、0失败、0跳过；并单独执行全部离线入口：demo、七个 evidence 场景、SDK、projection、boundaries、Durable、Env、Chord，均正常退出。命令与部分原始 stdout/stderr 保存在 core-review-run/；observed.json 明确标为从第一组真实工具输出转录的观察摘要，不伪装原始日志。
核对结果包括：happy/repair为4/5轮accepted；missing/forged/stale/budget为2/4/4/2轮incomplete；wrong-claim虽accepted仍逻辑错误；SDK新实例实际请求恢复窄工具与旧证据、新收据为空；JSON执行计数0；worker真实exit后宿主副作用仍完成；Durable unsafe计数1且interrupted、safe计数2且完成，重复requestId仍同submission；Env真实daemon timeout/aborted和cwd非沙箱；Chord真实memory links共享底层store、guest写入拒绝。
所有实验源、测试与研究包均已阅读；package和lock记录的直接及Pi传递版本对齐1.3.0。没有修改他人的正文或实验代码来让审查通过。
结论边界与发布待办¶
这是冻结输入的源码、教学与本机离线运行结论。不是整仓安全审计、真人教学效果试验或公网交付收据。18章预置的最终报告附件应在所有审查结束后由prepare生成；其目标文件及最终线上收据的存在、网站渲染、ZIP字节一致由后续构建/发布验收完成，不能仅凭本报告宣称已经发布。
未测真实付费provider质量、真实SSH/OAuth/MCP服务、所有OS、Bun非可中断built-in、强杀/断电/存储故障、跨进程争用、集群Chord reload及上游完整suite。本机JSONL的正常close/reopen与memory link结果不扩大为这些保证。若50个输入之一变化，应重新核对对应命题与运行影响后刷新指纹。
冻结后增量复验：15.5 取消顺序¶
第四位独立审查者指出原图将 worker stop 画在 pending host calls abort 之前，且把 logical settled 与 actual exit 固定为先后顺序。本审查初次也遗漏了这个图示问题；该意见由产品作者修正后，本次只复验 docs/labs/15-production.md。
重新读取固定 packages/codemode/src/runtime/execution.ts:410–447：finish 先设置 finished、清 timer，逐个 pending.controller.abort，再清 pending/unsent；已有 channel 时等待 channel.stop 的 Promise settle 后 resolveResult。重新读取 runtime/host.ts:20–76：stop 置共享 interrupt、请求 terminate 并 unref，不等待实际 exit；releaseWorker 绑定 exit。新版图先向 Tool 发 signal 再 stop，使用 par 表示 logical result 与 actual exit 无固定先后，限定已建立且尚未退出的 worker channel；文字明确 signal 不证明工具、远端请求或外部动作已成功取消。当前正文及图符合这些条件。
增量结论：PASS。其余49个已绑定输入逐项SHA256未变化；仅更新第15章指纹及manifest汇总哈希。实验代码未变，本次没有重复运行已经通过的测试。