A · 核心作者研究索引（不是独立审查报告）¶
源码 main da00f7f5358f2949383b35c14f548bc20187d80c，发布比较对象 dsh-v0.2.0-rc.2 / 639ed015397290b3745d163aafe02ffee4aa3f84。只修改独立课程 docs，未修改上游，也没有执行全仓库/付费模型测试。章节：02、03、05、06、07、08、13。7 章约 107 KB，11 张 Mermaid，132 个 GitHub main 路径与行锚自检有效。自检不等于独立 PASS。
连续阅读的核心实现¶
| 路径（均位于 upstream） | 阅读段/方法 | 已用于章节的结论 |
|---|---|---|
| AGENTS.md、vendor/AGENTS.md、docs/architecture.md、packages/README.md | 完整规则与架构主体、家族目录 | application launch 走 dsh；模型可见必须 logged；三角色 seam；waterfall 显式 next |
| vendor/cordis/src/context.ts | 1–146 全文，constructor/extend/isolate/intercept | Context Proxy、label 服务 realm、配置拦截区分 |
| vendor/cordis/src/events.ts | 1–352 全文，dispatch/parallel/emit/serial/bail/waterfall/register/on/once | 全部五种模式；isBailed(0) 为真；waterfall共享 continuation |
| vendor/cordis/src/service.ts | 1–115 全文 | provide、callable service、realm filter、config merge |
| vendor/cordis/src/registry.ts | 1–337 全文 | Plugin Runtime 与 Fiber，Inject.resolve/decorator，PromiseLike wrapper |
| vendor/cordis/src/fiber.ts | 1–754 全文，resolveConfig/_execute/effect/_checkImpl/_refresh/_setEpoch/_reload/_unload/await/restart/update | 顶层 effects 并行卸载；复合 effect 内逆序串行；setup rollback/late dispose；epoch驱动 |
| vendor/cordis/src/reflect.ts | 1–418 全文 | Proxy inject读取、get strict可选、provide/notify依赖重载、mixin与追踪 |
| packages/core/agent-loop/src/index.ts | 1–893 全文，FactoryOwnership、raceAbort/Call、配置、prepare、createAgent、setupAndPublish、resumeWith | 先拥有 teardown再创建；setup publication；write handle与scope退出；只有NotFound fallback |
| packages/core/agent-loop/src/agent.ts | 1–688 全文，所有 phase/send/wake/preStep/turn/step/prepareRequest/buildRequest | 用户 admission顺序、abort、retry不重assembly但重request、stickymax-tokens、缺tool结果恢复 |
| packages/core/agent-loop/src/inbox.ts | 1–244 全文 | durable splice、重复id、claim全部next-step加一next-turn、归一化数组splice |
| packages/core/agent-loop/src/runtime-context.ts | 1–164 全文 | prompt in-history与consolidation；context候选clear、retained恢复 |
| packages/core/agent-loop/src/tool-calls.ts | 1–290 全文 | pre/post/结果有序，body并发；exclusive barrier；重新分类；abort drain/skip |
| packages/core/agent-loop/src/assistant-stream.ts | 1–140 全文 | 同一 chunk snapshot→累积/组装/live；settle先append再end |
| packages/core/session/src/types.ts | 1–523 全文 | Session format4、所有 core vocab、seq/offset与fork计数 |
| packages/core/session/src/index.ts | 1–390、390–890、920–1100、1230–1324 连续；发布/flush相关段按函数重读 | lossless snapshot、seed/adopt、append提交点、derive缓存、prepare/enter、fork/flush |
| packages/core/session/src/surface.ts | 1–712 全文（分段重读，包含450–730） | plan/commit、requiredprojection、replacement覆盖、systemhead/toolrewrite限制 |
| packages/core/session/src/fork.ts、repair.ts、request-header.ts、tool-history.ts | 各全文 | exactinclusive prefix与marker；unknownoutcome；canonicalheader与seriesdeclaration |
| packages/core/session/src/known-event-types.ts | 表和主要集合 | required-on-read 与 messageProjection集合 |
| packages/core/system-prompt/src/index.ts | render/compile/注册/assemble连续段，1–638文件的主要正文 | complete/suppressor尾部复原；strict插值；确定排序；工具parameters复制 |
| packages/core/scope/src/index.ts | 1–全文件 | scope链、routingcarrier、quiescentdisposal与isolate区分 |
| packages/session/session-projection/src/index.ts | interface、cell注册、read、checkpoint/restore/hydrate、drive全部主要函数（分段重读） | stateVersion/cachewatermark、anchor缩短检测、Object.is、refs |
| packages/core/tools/src/index.ts | 定义200–490、599–680、1050–1335、1350–1975连续段 | outputvalue规范；prepare/dispatch/finalize/finish全管道；ask/cancel/defer/conclude |
| packages/core/tools/src/schema.ts | DSLcompiler、DefineToolOptions、defineTool连续段 | rootopen、nestedexplicit additionalProperties、softpresenter/hardexecute |
| packages/core/tools/src/ptc.ts/py-types.ts/ts-types.ts | 两快照diff与schema/render描述段 | main description字段优先展示；两个参数仍必填 |
协作与持续工作研究¶
| 文件/函数 | 阅读范围 | 范围说明 |
|---|---|---|
| packages/subagent/subagent/src/types.ts | 1–300及run contract相关段 | one-shot/continuable与capability、result、cancel义务 |
| packages/subagent/subagent/src/index.ts | 198–365、500–660、start/send/interrupt/drain | 公开service语义、catalog发布、provider能力检查 |
| packages/subagent/subagent/src/depth.ts、child-agent.ts | 全文/childcomposition主要方法 | persistfloor、路由继承最新header、tool/persona setup |
| packages/subagent/subagent/src/continuation.ts | constructor/create/submit/coldrestore/image/persistence主要段 | manager owningstablechild，acceptance cutoff；未宣称每个activation内部函数逐行审计 |
| packages/subagent/subagent/src/lifecycle.ts、run-settlement.ts | 全文 | end来自ownsuffix结局，dispose失败影响result，one-shotJob映射 |
| packages/subagent/subagent-spawn-in-process/src/index.ts、subagent-fork-in-process/src/index.ts | 全文 | fresh与lastcompletedturnprefix，不重新fork恢复 |
| packages/goal/goal/src/index.ts | 初始化/projection、303–445所有mutations、600–641commit/view；types/domain/fold解码和314–结尾 | durablephase/CAS与processlocalactivation；round必须positive |
| packages/goal/goal-round-driver/src/index.ts | 1–460 全文 | reserve/drive/flush/competingprompt/admission双验/cleanup |
| packages/jobs/jobs-local/src/index.ts | providerrecord与Config、start/read/owner/kill/wait主体；pump/ring职责 | process-local，model consumingcursor；不声称Jobdurability |
| packages/schedule/schedule/src/runtime.ts | 1–全文件 | singleserializedtimer、followup→flush→receipt、失败重算与clockrollback |
| packages/experimental/agent-team/src/types.ts、journal.ts、task-board.ts、task-graph.ts、mailbox.ts | 全文主体（分段） | CAS/DAG；queue before dispatch；targetreceipt beforeLeadack；advisorywriteScopes |
| packages/experimental/agent-team/src/task-view.ts、index.ts、projection等 | targeted字段/方法读取 | publishedexperimentalopt-in；不宣称production多进程耐久验证 |
两快照比较¶
git diff --stat dsh-v0.2.0-rc.2 -- vendor/cordis packages/core/session packages/core/agent-loop packages/core/tools packages/core/system-prompt 与具体Sessiondiff已查看。Cordis及agent.ts/inbox/runtime-context/tool-calls/assistant-stream内容无变化；main去掉invariantcompanions，Session普通实现改动为注释/诊断标记清理；PTC说明/schema属性生成顺序description在code前。发布npm仍应由root重新核查exactpackageversion，不能把main源码版本号作为registry身份。
自写Agent/离线测试提示¶
- inject不wake；steer与followup wake且目标不同；first enter改空只记turn不step。
- retry重prepare/build request，不重assembly/preStep/users，message/request冻结而signallive。
- compositeeffect逆序串行，Fiber兄弟并行；测试需要asyncgate，不只比较同步print。
- definedTool invalidargs不执行；invalidoutput/error归一化；root DSL open与nestedexplicit。
- tool policy pre/post模型序，body有界并发；取消drain并给unstarted合成call/result；unknownoutcome绝非可盲重试。
- goalactive在resume后disarmed，只有explicitresume rearm；strictfold拒roundzero，不因为driver防御分支就编造当前API。
- officialNode app走dshprofile；单纯newContext适合机制实验，不能伪称支持应用bin。
未验证范围¶
没有实际真实模型调用、所有provider协议、整个仓库每行审计、所有OSsandbox/远端transport、全仓测试、实验Teams生产长运行或故障注入。章节对这些边界明确标注。作者自核发现并纠正了一个round-zero描述错误：实际GoalMessageSource只允许positive；不能从历史清理分支推断仍产生round-zero。这项修改应由他人独立复核。
接受他人独立审查后的修正（2026-10-03）¶
C 审查指出 08.13 把上线前验证清单夸写成全部实验已跑；已改成建议清单，并具体区分实际 contracts 实验与尚未运行的 ask/signal 合并/timeout/并发上下文/conclude/scope/replay 等分支，不新增镜像测试补文案。
C 审查另指出 06.5 投影注册冲突规则不准确：重新读 packages/session/session-projection/src/index.ts:273–292，生产实现同 key 只比较 stateVersion，同版本 refs++ 且仍使用先注册 definition；正文已明确没有函数/schema 一致性检查。06.8 重新读 packages/core/agent-loop/src/runtime-context.ts:151–163，source 是对象且空 sections 分支仅 kind，不总带 form/sections；正文已补两分支。以上是接受独立审查后的作者修订，不等于作者对自己作独立 PASS。