Pi 新版独立交叉初审(DeepSeek Harness 作者)¶
审查者:/root/astra_dsh,gpt-6-astra/high。日期:2026-10-04。审查对象为 Pi 作者冻结后的 1.0.1 新稿,不沿用旧版 A/B/C/D 的 PASS;本审查者未编写 Pi 正文与实验代码。此文件记录独立审查进入最终核验前的判断,非旧稿初审,也不覆盖其他审查者原报告。
初审结论¶
当前正文与业务代码未发现必须返工的 P0/P1。结论暂为 待最终核验:已完成首页、README、01–20 全章和全部实验源码/测试的独立阅读,隔离安装及 28 项测试已通过;新增资料迁移、源码条件与最终指纹核对仍在进行。网站/下载交付元数据由发布者继续更新,不把占位状态误记为已发布。
与旧版不同,新稿不是只在长篇源码章前补导语:13 章先让读者运行三工具任务,04 章逐请求追踪同一 read-1,08 章解释真实业务验收,14 章保持同一工具迁到磁盘 SDK,15/16 章用 wrong-claim 反例拆开引用真实性和结论正确性。这使状态与设计取舍有可操作对象。
逐章判断与依据¶
| 原章 | 审后处置 | 具体依据及读者获得的能力 |
|---|---|---|
| 01 | 保留当前重写,核对版本证据 | 1.0.1/a722 与 main/836 分开,旧 1.0.0 留作对照;实验不再混用 main API。 |
| 02 | 保留 | 固定函数、固定流水线、模型决策三种实现有成本比较;Core/SDK/Durable 的增加对应恢复或外部动作需求。 |
| 03 | 保留 | CLI 与课程离线入口分开;项目 trust 不冒充工具权限或 context 文件隔离。 |
| 04 | 保留并核对 provider 源码 | 2/4/6/8 请求轨迹对应实际 trace;资料 ID、call ID、entry ID 分开;normalizeContext 与 provider payload 不混讲。 |
| 05 | 保留并核对执行主干 | 失败工具结果、length 整批拒绝、混合串行批、finishTurn 在工具后、事件屏障均有真实 Pi 测试。 |
| 06 | 保留并核对 SDK 投影 | 请求从 SessionManager canonical projection 构建,内存 messages 篡改测试不能冒充恢复;settled 与 artifact 分开。 |
| 07 | 保留 | projection 命令演示全树与活动路径,明确摘要为手写;branch 只改内存 leaf、fork 复制范围与压缩来源失效条件讲清。 |
| 08 | 保留 | schema、对象存在、本次收据、版本、quote、语义蕴含六层有不同失败;源码 hook 不自动二次校验与 Durable 区别明确。 |
| 09 | 保留并核对新增 1.0.1 | 两条资料何时不值得 VM 的成本已讲;QuickJS 实测输出上限和副作用不回滚;MCP/OAuth 是源码研究而非虚报 E2E。 |
| 10 | 保留 | started/handled、工具错误、settled、artifact 分别映射 UI;JSONL RPC 与 CBOR 服务协议分开。 |
| 11 | 保留并核对 durable intent | 发布成功但结果未落盘的崩溃位置具体;双 safe 恢复、owned work 与外部幂等并未混同。 |
| 12 | 保留 | 实际 package loader 验证 skill/template/extension,阻断由 hook 产生而非文件不存在;可执行扩展和文字指令职责分开。 |
| 13 | 保留,实跑全部场景及迁移 | search 不给全文、read 增加证据、submit 才可接受;fixture 从实际结果取下一步,而非自造 loop。新增条目有完整代码与预期。 |
| 14 | 保留,实跑磁盘重开 | 第二个 SDK 真正 open 文件并在 provider 请求确认旧证据;新 workspace 收据为空,旧 answer 仍属于旧运行。 |
| 15 | 保留 | wrong-claim 实际被引用验收接受,是重要反例;运行/产物/引文/语义/需求五层不偷换。 |
| 16 | 保留 | 每个故障有命令、预期与定位点;双来源迁移题需要读者扩展业务验收,明确不改 Pi loop。 |
| 17 | 保留,文件数不用于评分 | reader 收录与人工语义审查范围逐项分开,源码研究模板要求调用者、消费者与反例。 |
| 18 | 保留待发布者回填 | 当前验证与历史 21 项分开;独立复审、下载和网站状态尚占位,不能提前引用为完成。 |
| 19 | 保留维护附录定位 | 不要求普通读者拥有作者服务器路径;历史部署与本次发布分开;本审查不执行部署。 |
| 20 | 保留并核对版本 diff | 新旧报告不覆盖;1.0.1 的 provider/renderer/MCP/output cap 与源码固定点一致性需最终核验。 |
已独立执行的证据¶
隔离目录 /tmp/pi-cross-dsh-t2uFRz,从当前 examples 复制且排除依赖/运行产物。npm ci --ignore-scripts、npm run check、npm test 成功,28 项测试、0 失败。没有使用作者声称通过作为依据。
独立运行 demo、happy、repair、missing、forged、stale、budget、wrong-claim、checkpoint:sdk、checkpoint:projection。七场景 turns 依次 4/5/2/4/4/2/4;missing/forged/stale/budget 的 answer 都是 null。happy 实际请求长度 2/4/6/8,最终 9 条消息。wrong-claim 原句真实但 claim 相反,仍 accepted,输出明确限定 citation-integrity-only。
移除 ANTHROPIC_API_KEY 后执行 evidence:real,按预期 exit 1 且在实际收费请求前报缺少凭据。此为前置验证,不是收费模型 E2E。日志与结构化结果保存 cross-dsh-run/。
本轮剩余项和范围¶
继续核验 13.3 新增资料迁移、图中状态转换与固定源主干、实际 reviewed files 指纹。收费 provider、真实 OAuth、native terminal、远程 MCP、Durable kill/断电与整个 monorepo 安全审计不在本轮实测范围;这些限制已在正文相应章节说明。最终报告不会把图表数量、源码链接存在或测试数量当作教学质量证明。