跳转至

Core 六章作者记录(1.3.0)

状态:作者稿已完整落盘,可以独立复审。本文不是独立审查结论,也不宣称全项目通过。

基线与范围

  • 工作目录确认是课程根目录;源码 pi-1.3.0 HEAD 实际读取得到 71023aec1546d6d677a65669c5665c0927ce0dd0。
  • 仅改写 docs/02-design.md、docs/04-models-messages.md、docs/source/05-agent-loop.md、docs/source/06-session.md、docs/source/07-context.md、docs/source/11-durable.md。报告和阅读清单另存本目录。
  • 读取旧章识别其教学广度,结合固定版本源码、四包 CHANGELOG、针对性上游测试重写;未把 main 的未发布实现引入 1.3.0。
  • 主线统一为 search 预览 → read 建立可信凭据 → submit 校验原文/版本引用,业务验收独立于 Core 停止、SDK settled、Durable task completed。

逐章变更

章 最主要的新叙述与容易误判处
02 从读者需要自行实现的研究助手切入,分清 provider、Core、SDK 与 Durable 的所有权;明确请求投影、历史和业务状态不同;工具暴露不充当授权;图明确适用条件与提交边界。
04 从模型/消息/标识符契约切入,说明 system 增量与归一化;跨模型 thinking 丢弃而非转文字;完整最终 JSON 校验与流式预览分层,argumentsError 先于 schema;时长、reasoning usage、协议修复各自的边界。
05 沿真实请求与事件顺序解释 prepareNextTurn/prepareRequest/queue;逐步跟踪 prepare→validate→before→execute→after;Core before hook 可直接改已验证对象且不重验;并行完成顺序和消息顺序不同;finishTurn、错误、取消与业务验收不混为一谈。
06 工厂装配、模型选择、1.3 active-tools 恢复矩阵、pending names、registered/active/callable;启动 busy 屏障、canonical projection、图片过滤;SDK public message_end 在 append 前,内部 awaited handler 返回在 append 后;冷恢复的业务凭据缺口与清理语义。
07 从 v3 日志到 branch/context/provider 的投影;context_edit、compaction 和原始审计记录分开;首次文件写入及内存先更新限制;branch/branched session/fork 的差别;阈值、token 估计、split-turn 摘要、程序构造 system checkpoint 和提交时机。
11 全面替换旧 Durable API/架构假设,介绍现行 Harness、Submission、task、document、storage;await submission(id, context) 的真实签名;intent/effect/outcome 窗口、双 safe 恢复、嵌套子调用附件、Code Mode journal replay、取消与所有权;read 例外与 commit fatal 的精确区分;baseline 仅对特定首个 system 生效;外部发布仍需业务幂等与对账。

每章均包含读者目标、实际数据流、固定源码证据、设计取舍、失败情况和练习。Durable 章链接新的 21 环境、22 Chord 和 SDK 实验;将实验的协作式 close/reopen 与断电/OS 强杀明确区分。

实际阅读与作者校验

实际阅读文件及范围见 core-readers.json。其中长文件明确记录重点区间,测试只声称阅读,不声称运行;README 的简略 API 以源码签名校正。重点测试涵盖跨模型 thinking、畸形最终 JSON、before hook mutation、工具恢复矩阵、context edit、partial generation 恢复、unsafe/双 safe 工具恢复、嵌套附件、storage fatal、baseline 负例与 Code Mode replay。

作者静态核查已执行:

  • 六章所有 Markdown 本地目标均存在。
  • 64 个固定 GitHub 源码锚点均使用目标 40 位 SHA;源文件存在且行号不越界。
  • 修复独立审查先指出的 transcript/validation 越界锚点、不存在的 13-core-agent.md 链接,以及 split-turn 图中历史摘要与轮前缀摘要的串行约束;另补摘要序列化省略 thinking 的解释。
  • 阅读清单全部路径在固定源码目录中存在。
  • 原始核查结果见 core-author-links.json,当前 errors 为空。该自动检查仅核对路径、SHA 和行号范围;命题与源码是否相符仍须独立人工复审。

作者阶段没有调用付费模型、外部消息服务或改动实验代码,没有在此阶段运行上游完整测试。其他作者报告过 durable/env/chord fixtures 的运行情况;本文不将他人的执行计作本作者实测。后续受分工独立审查时将另存实际命令与输出。

仍需独立验证的运行边界

  • 真实 provider 的能力、usage、缓存与长期 compaction 摘要质量。
  • OS 强杀/断电、SQLite/JSONL 恢复、跨进程争用与远端外部副作用对账;本章不以正常 close 等价这些场景。
  • Durable 旧任务迁移、全部 scheduler 分支、所有嵌套与 Code Mode 故障组合,未运行上游完整 suite。
  • SDK 扩展的任意用户代码、真实 OAuth/MCP、图片服务与虚拟路由的端到端路径。

这些是测试覆盖范围的说明,不改变已经依据源码解释的保证边界,也不允许将工具声明或 safe 标记宣传为安全沙箱或 exactly-once。