Pi Astra 作者修订与自查（2026-10-04）¶
状态：作者修稿完成，交独立审查；此报告不是独立 PASS，也不宣称网站已发布。
基线与范围¶
初审时基线为1.0.0；重做期间主代理核对官方新发布1.0.1，明确授权升级，因此实验Pi依赖全部固定1.0.1、lockfile重新生成，源码为 a7229ddc21810d6245105978033b7df645ecc2f7。保留旧源树与旧报告，未更改官方源码、未调用付费provider、未部署网站。主代理负责01/20、源码reader/固定链接更新、生成文件/ZIP/MkDocs及网站验收。
完整阅读旧章节与示例后，保留原有技术覆盖并重做学习主线。新增内容不以章数/链接数作为进步依据：可检查的变化是同一输入一路经过模型请求、工具错误、出处验收、artifact和SDK重开；读者能故意制造不同层故障并在真实输出中定位。
逐章最终处置¶
| 章节 | 本轮修改 | 解决的读者问题 |
|---|---|---|
| index | 全文重写，先运行demo/happy/repair，再沿交付物进入机制 | 无账户也能先观察一次完整请求，不需先读13章 |
| 01（主代理） | 精确1.0.1与main、分阶段产物/前提、升级路线 | 不混正式发布与main，学习顺序不被章节顺序绑定 |
| 02 | 增直接函数/固定流水线/Agent反事实及分层成本 | 知道何时不必Agent、何时才需要SDK/Durable |
| 03 | 离线成功基线、安装版本1.0.1、诊断分层 | 把环境失败与模型认证失败分开 |
| 04 | 实际read-1对象、业务ID/callID/entryID区分、请求2/4/6/8表；Anthropic1.0.1适配 | 字段能对应实际数据，区分声明/实现/结果 |
| 05 | wrong-id→异常→toolResult→修复表；预算结束反例与gate并行实验 | 源码步骤有已知输入和可预测输出；不把模型纠错归给内核 |
| 06 | 同任务SDK保存/重开四对象表；直接序列化数组的取舍 | 知道谁是权威历史，谁管理业务收据 |
| 07 | 实际projection checkpoint，4全树/3活跃路径，手写摘要前后 | 先看分支与投影改变，再读完整压缩细节 |
| 08 | schema/存在/本次读/版本/引句/语义六层检查；renderer新API | 工具设计从字段目录落到可执行业务契约 |
| 09 | 两条笔记何时不需要CodeMode、十份资料组合代价、真实VM测试；1.0.1override/cap/CIMD | 不把占位MCP配置当可运行实验；不丢版本变化 |
| 10 | 同任务的RPC/工具/settled/artifact状态表 | UI不把局部错误或模型结束误报为业务完成 |
| 11 | 同一报告的发布崩溃窗口与是否采用Durable判断 | 从真实需求推导持久化，而非追逐高级组件 |
| 12 | 实际package单测命令与失败预期、模板/skill/execute职责、便携路径 | 会挑扩展边界，不把skill当强制验收器 |
| 13 | 整章重写为最小loop→submit→数据追踪→改第三条资料→七场景→同三工具真实provider→迁移 | 读者能操作、改造、预测和故障定位 |
| 14 | 整章重写同工具迁移SDK，真实写盘dispose/open新实例；再谈真实仓库 | 不再无过渡换业务任务，恢复能真正照命令运行 |
| 15 | wrong-claim反例、五层完成、可保存评测记录与人工/规则/裁判取舍 | 引用真实不代表语义正确，避免全绿幻觉 |
| 16 | 整章故障诊室，每例命令/预测/预期/定位；双来源综合作业 | 练习有反馈，能迁移知识而非背名词 |
| 17 | 命题→实现→消费者→实际快照→反例的阅读方法 | 文件清单不冒充学习深度/全仓审计 |
| 18 | 全文重写为本轮分层验收和未测边界，最终交付明确PENDING | 不复用旧21tests/旧PASS/旧audit冒充现状 |
| 19 | 明确维护附录、本机实验与发布产物不同，生成顺序 | 不把静态教程部署当Agent服务部署 |
| 20（主代理） | 完整重写正式版变化表、旧独立报告适用范围与新审核路线 | 历史证据与新修订不混用 |
实现文件¶
新增src/evidence-tools.ts、evidence-agent.ts、checkpoint.ts、evidence-real.ts、sdk-checkpoint.ts、projection-checkpoint.ts及test/evidence.test.ts。修改offline.ts让后续模型脚本真实消费前次工具内容；sdk-agent.ts要求显式实际仓库路径；codemode.test.ts增加1.0.1输出cap实际失败验证；package scripts/锁文件/README与ignore同步。
真实provider入口仅替换provider，复用同一三工具/收据/预算；离线主线不会读凭据。新增动态检索词允许学生加入第三条source后观察实际数据变化。未提供自动语义正确性判定；wrong-claim明确展示这项缺口。
作者实际执行的检查¶
- 1.0.1依赖安装与npm run check通过。
- npm test：28/28，0 skipped。原21项保留；新增证据/SDK6项及真实VM输出cap1项。
- demo与happy/repair/missing/forged/stale/budget/wrong-claim全部运行，结果符合文档；happy请求长度2/4/6/8、最终9消息另行核对。
- checkpoint:sdk真实磁盘恢复，checkpoint:projection实际树投影；详见author-checkpoints.txt。
- 缺ANTHROPIC_API_KEY时evidence-real在请求前拒绝；缺PI_LAB_CWD时sdk入口明确拒绝。
- artifact中的实际引用在固定1.0.1源码文件中存在。
- npm audit本次exit0，原始JSON在npm-audit-1.0.1.json；不是未来永久安全承诺。
仍需独立审查/交付，明确未测¶
主代理继续固定引用/reader/下载包生成与浏览器发布检查。独立审查者要从解压目录跑正文路径并检查图与源码；作者自己不能给这部分PASS。真实收费模型质量、远程MCP OAuth、Durable崩溃/断电、全provider/native/VM安全审计未运行。来源检查只是citation-integrity-only；本地artifact不是已发布网页或已确认用户任务语义正确。