跳转至

Pi 1.3.0 主编改写记录（作者自检，不计独立审查）

本轮重写首页、01、17–22，并更新源码阅读器、打包、审查指纹与部署流程。其他正文按核心、产品、实验三个作者范围改写。源码固定 71023aec1546d6d677a65669c5665c0927ce0dd0，检查日 main 的 30 个后续提交仅用于识别差异；不套用到 release 行为。

实际完成的作者工作

  • 下载并固定 1.3.0 worktree；比较旧 1.0.1 与本版的 909 个变更文件；保留原课程全量备份与历史站。
  • 重组为 22 章，先围绕搜索、读取、带证据提交的业务任务，再进入源码；新增 Env、Chord 两章与独立可执行实验。
  • 实读与追踪 Env connection/request/remote-env/SSH/watch/terminal/list-files、Rust daemon 与 Chord contract/schema/host/object/connection/reload 等主要路径，范围见 root-readers.json。文件清单不等于全仓逐行语义审计。
  • env-checkpoint.ts 启动实际包内本机 daemon，测试读写、枚举截断、argv 输出、timeout、预取消、cwd 不是沙箱与资源清理；未使用真实 SSH。
  • chord-checkpoint.ts 创建两个 memory link、owner/guest 身份视图和共享内部 store，测试写入后订阅条件、schema 拒绝与访客写入拒绝；未模拟真实网络、集群 reload。

保留的失败及修正

Env 初稿把 withAbortSignal 参数次序写反，真实命令失败；按当前签名改为 withAbortSignal(AbortSignal.abort(), ctx) 后通过。保留 env-checkpoint-initial-fail.txt 和最终 env-checkpoint.txt。Chord 初稿使用当前 TypeScript lib 未声明的 Promise.withResolvers，改为显式 Promise executor，保留检查日志；最终完整类型检查由实验作者和独立审查者重复验证。

交叉审查发现 Chord activation 应并发等待资源与 refs，且全部 settled 后才处理失败；普通当前版本 runtime 与 pending-only reload 延迟启动需区分。reload 准备失败可回退与 commit 自身失败触发 Host terminal fail 也已分开。Env 丢连接回复精确写作 code=unknown, lost=true。这些是独立审查驱动的正文修复，最终结论以独立报告为准。

发布证据的边界

作者报告不证明公网已经部署。最终输入指纹、严格构建、实际浏览器逐页 Mermaid、临时目录重新安装并运行全部实验、公开下载字节及 nginx/TLS 检查分别生成记录。最后的交付收据在公开 ZIP 哈希核对后单独发布，避免收据与包的哈希自引用。没有声称全仓上游测试、真实付费模型、所有 OS、突然断电或生产分布式故障已测试。