跳转至

Core 作者的独立交叉初审

审查身份：本审查者作者范围是 02/04/05/06/07/11；这些六章完全排除，不计为独立审查。本次独立范围是其余 17 个 primary Markdown（index、01、03、08–10、12–16、17–22）及完整公开 examples 输入，排除 node_modules、运行检查点与其他生成运行目录。

基线：Pi 1.3.0 固定源码 71023aec1546d6d677a65669c5665c0927ce0dd0，课程 revision 20261018-pi130。已逐章阅读上述正文和全部 Mermaid 源，读取所有实验 src/test、研究包、README、package/lock/tsconfig；命题追到固定源码及针对性上游测试。没有独立审自己的六章。

初审问题

  1. 20.3，范围应限定 coding-agent 集成。 “1.3.0 将跨 session 的存活 worker 限在 2 个”可让读者误以为独立 pi-codemode 默认也有该限制。packages/coding-agent/src/extensions/codemode/execute.ts:500–533 装配 acquireWorker；packages/codemode/src/runtime/host.ts:29–36 只调用可选的配额钩子。已反馈 root，应与第 09 章一样明确集成层范围。
  2. 22.6，state 背压计量需符合当前 transport。 当前描述为“未确认 JSON 字节”，实际 Link.send 报告编码后发送大小，压缩负载按压缩后大小计；不报告大小的 IPC/custom link 不受这个窗口限制。依据 packages/chord/src/connection.ts:330–345 及固定 CHANGELOG 的 Changed。已反馈 root，应补支持 ack/大小报告条件。
  3. 18 的五个最终报告链接是待生成产物。 静态检查 104 个源码链接的固定 SHA、文件和行号范围均正确；只有 18 指向本轮最终审查报告的本地链接当时尚不存在。正文没有将待交付收据当成已执行事实；发布前必须由最终 prepare/build/网站检查补全并核对。

未发现其他阻断本章讲述的源码矛盾。初审不作最终通过结论；修复后复核正文并绑定文件指纹。

独立实际执行

一次命令链实际执行并 exit 0：npm run check、npm test、npm run checkpoint:boundaries、npm run checkpoint:durable、npm run checkpoint:env、npm run checkpoint:chord。测试 35 项通过、0 失败、0 跳过。首组执行的 stdout 在会话工具记录中；本目录保存的 observed.json 是逐项观察摘录，不伪装成原始 stdout。

此外直接执行 demo、七个 evidence 场景、SDK、projection CLI，全部 exit 0；完整 stdout/stderr 与命令记录见 core-review-run/commands.json 及对应 .log。没有只依赖 test runner 代替独立 CLI。

  • happy：accepted，4 turns；repair：accepted，5 turns。
  • missing：incomplete，2 turns；forged/stale：incomplete，4 turns；budget：incomplete，2 turns。
  • wrong-claim：accepted，4 turns，说明引用完整性不能证明结论蕴含。
  • SDK：保存证据进入新实例请求；恢复 read_note，显式覆盖 search_notes，新 receipts 空。
  • malformed：最终错误标记阻止 execute，执行次数 0；同模型 thinking 保留、跨模型丢弃、原始消息不变。
  • worker：abort/timeout 分别返回相应错误，真实 exit/release 各 1；随后宿主工具副作用仍完成 1 次，store 不提交。
  • Durable：默认策略外部计数 1 且 interrupted；safe 外部计数 2，原 submission done、重复 requestId 返回同 ID。确实 reopen/resume 原任务，非新建假恢复。
  • Env：真实 daemon 管道，读写、截断列表、argv 输出、timeout、已取消 context、cwd 越界读取自身临时文件均符合预期。
  • Chord：两个真实 memory link，owner=writer、guest=reader，状态共享，非法参数和 guest 写入分别拒绝。

源码追踪重点

03/08/12/15：SDK 工具选择、active-tools、ResourceLoader bootstrap、project-trust 决策、SettingsManager migrate/reload、edit 与 mutation queue、ExtensionToolContext、session-share。

09/10：CodeMode workerLauncher 与 execute 集成配额、inline/remote budget、source directive、OAuth flow、HTTP authorizedFetch/close、MCP readiness、print、RPC prompt/EOF/JSONL、AgentSessionRuntime 与 TUI Component；阅读 worker-admission 和 HTTP取消/close 上游测试，未运行上游 suite。

21：remote-env 路径解析及 exec/cleanup、Connection request/start/teardown、SSH信任及惰性/主动连接、list-files、watch 全文及协议；Rust exec 的 timeout/cancel/kill_group。阅读 remote.test 的 capability、取消、旧句柄和启动重试，以及 ssh.test 信任与惰性启动。

22：contract coverage/bind、host address/principal/root/close、object activate/open/hydrate、reload prepare/gate/rollback/commit、connection state窗口与onCall、schema normalize、spec 已知限制。阅读 principals、flow、reload 中的身份、状态背压、兼容热更、cell migrate和exclusive resource测试。

01/index/17–20：固定版本元数据、差异统计、包依赖、reader表与文件行数、历史迁移声明、验收/发布顺序；本审查不代替最终公网交付验证。

未测范围

未调用付费模型或外部消息；未验证真实 provider 质量、真实 SSH/OAuth/MCP 服务、所有平台、Bun 非可中断 built-in、OS强杀/断电、跨进程存储争用、集群 Chord 热更新或上游全仓测试。未运行生产部署命令；最终公开下载与浏览器检查由独立发布流程执行。