DSH-AutoLab

把人工科研流程变成受控的自治实验：人类冻结目标，机器跑完整科研循环。

AutoLab 是什么

AutoLab 是运行在 DeepSeek Harness (DSH) 之上的自治研究控制器。它不替代研究者的判断，而是把判断放进一条可审计、可复现、可断点续跑的机器流水线里：

① 契约先行 —— 一切以冻结的 Lab 规范为唯一权威。 LAB_SPEC + lab.yaml 把研究目标、协议、参数预算、GPU 拓扑一次性写成 SHA-256 锚定的不可变契约；此后每一步活动——方法设计、代码实现、实验执行、结果裁决——都以该契约为唯一对照物。Preflight 在实现前裁决"方法是否合法可行"，Postflight 在实验后裁决"结果是否可信"，跑偏即退回。

② 五角色协奏 —— 每一步都有独立的执行者与见证者。

• Method 设计研究方法与修订方案；
• Preflight Judge 在实现前裁决方法（协议层闸门）；
• Coder 实现并冻结候选代码（candidate）；
• Ops 提供环境与执行的机械保障；
• Postflight Judge 在实验后裁决结果（科学层闸门）。

五个角色各有独立会话与工具面，跨 lane 通信在协议层隔离——没有人能既当运动员又当裁判。

③ 三级记账 —— 逻辑、种子、进程严格分层。 Trial（一次逻辑实验）× RunSlot（一个随机种子）× Attempt（一次进程执行）。机器故障（重试与血统）与科学结论（Postflight 裁决）分开记账，每一次重试都在不可变血统中留痕。

④ Controller Goal 驱动 —— 无轮询的自治节拍。 Controller 以单个原生 Goal 挂起，Runtime 在确切的持久事件（评审判定、候选冻结、实验终止）上唤醒它继续编排——空闲即静默，事件即行动。

⑤ 机械确定性 —— 收据即真相。 从 Method Ticket、Preflight Verdict、Coder 提交、Attempt 状态到 Postflight 结果，全部以 SHA-256 收据 + canonical JSON 冻结；重放幂等、历史不可变。这份"确定性优先"的纪律，同时也是 97% 前缀缓存命中率的来源。

仓库组成

特点与优势：沿袭 DSH 极致内核

高性能、低成本来自内核，不是堆配置。 DSH-AutoLab 不重新发明调度、会话、存储与推理基建，而是直接骑在 DeepSeek Harness 的内核原语上：

• 事件驱动 Goal 运行时：Controller 以单一原生 Goal 挂起（AutoLabWait），由 Runtime 在确切持久事件上唤醒——无轮询、无忙等，空闲期推理成本趋近于零；
• 单飞队列 + 持久化存储域：所有 Lab 变更串行化、状态落盘可恢复，重启后从持久事件精确续跑；
• 角色会话复用与通信围栏：Method/Coder/Judge/Ops 会话一次创建、跨任务复用，跨 lane 通信在协议层隔离。

架构性高缓存命中（实测 97%）不是偶然——AutoLab 的"冻结工件"纪律天然就是缓存友好设计：

• 每个角色回合读的是 SHA-256 锚定的冻结原件（ticket / verdict / receipt），系统提示内核段逐字节固定；
• 同一角色的连续回合共享完全一致的前缀上下文，直接命中 DeepSeek 前缀缓存；
• 判定者"只读冻结文件、不信聊天记忆"的协议纪律，恰好等价于"上下文可缓存"。

一次完整四线实验（Controller Goal 100 轮 · 1161 步）的实测剖面：

风格沿袭 DSH 一贯路线：机械确定性优先——收据 > 会话、事件 > 轮询、幂等重放 > 容错猜测；每一步都可审计、可复现、可断点续跑。

引用 / 上游

两个插件均派生自 deepseek-ai/deepseek（DeepSeek Harness 官方仓库，MIT License）内的同名包，保留原始 LICENSE 与包元数据。

更新记录（Changelog）

相对上游（deepseek-ai/deepseek 内同名包）的本地增强，按时间倒序：

2026-08-17 · 配置修订演进 + 多修订验证 + 启动竞态修复

• 配置修订演进（新能力）：新增 Controller 工具 AutoLabCommitConfigRevision —— 实验中途可提交 revision N+1（完整替换 LAB_SPEC.md + lab.yaml，原子推进 CURRENT）。研究内容（目标/家族/科学规则/契约/lane charter/证据契约）可变更；拓扑（角色/lane/worktree/仓库/执行/主机/GPU 池/通信 ACL/runner）必须逐字节不变（assertRevisionTopologyUnchanged 强制）。配套：freezeConfigRevision、readRevisionAtPath、listCommittedManifestHashes、isCommittedManifestHash、lane charter 权威文件同步。
• 多修订验证：Packet/Binding/Receipt/Trial 全部改为对照工件自身 source_revision 的冻结文本验证（不再只认 CURRENT）；漂移判定由 !== 放宽为 >；binding 与通信 ACL 接受任何已提交修订的 manifestHash——历史修订在 CURRENT 前进后永久有效。
• 启动竞态修复：installSubmissionTools() 使 Runtime 在自身 Service.init 顶部注册五个角色提交工具（先于任何 Lab 恢复与角色激活），修复重启时角色激活早于工具注册导致的 TOOL_SCOPE_MISMATCH；bundle 条目 apply() 降级为幂等空操作。
• 窄迁移容忍：早期构建冻结的过期 universal 块包（无评审血统）在激活时被精确容忍、只允许被下一次 Assignment 取代；新包一律携带 CURRENT 修订逐字块。
• 杂项：Postflight 匹配放宽为校验评审自身冻结的 Judge Packet 哈希；Controller wait 不再比对 objective 哈希（objective 每轮含进度块、哈希不稳定）。

2026-08-16 · Lab fact set 登记机制（fact-registry）

加性、不可变、canonical-JSON 的用户决策登记——用户对冻结 LAB_SPEC 的修订/裁决落点为 authority_paths.fact_set，后续编译的每个 Role Packet 锚定当前 fact set 字节，历史包保持历史锚定并可复现（见 dsh-autolab/src/fact-registry.ts，贯通 role-assignment / review / coder-fix / postflight 全链路）。

2026-08-16 · candidate-supersede（候选封存/退役）

Preflight APPROVED 新修订可以替换同 lane 既有候选，旧候选移入 retiredCandidates 并保持 Trial 血统可校验（见 dsh-autolab/src/state.ts 与 tests/candidate-supersede.test.ts）。

构建产物 lib/ 与当前源码一致（本仓库提交前已用 pnpm build 重新生成）；验证状态：dsh-autolab typecheck ✓ · 494/494 tests ✓，dsh-local-session-messaging typecheck ✓ · 94/94 tests ✓。

安装到 DSH profile

两个插件以 link: 方式挂载进 DSH 的 web profile：

// ~/.dsh/profiles/web/package.json
{
  "dependencies": {
    "dsh-autolab": "link:/path/to/DSH-AutoLab/dsh-autolab",
    "dsh-local-session-messaging": "link:/path/to/DSH-AutoLab/dsh-local-session-messaging"
  }
}

依赖均为 @deepseek-ai/* peer 包，由 DSH 安装树提供；安装后无需重新构建（仓库自带 lib/），如需从源码重建：

cd dsh-autolab && pnpm install && pnpm typecheck && pnpm test && pnpm build
cd dsh-local-session-messaging && pnpm install && pnpm typecheck && pnpm test && pnpm build

标签 / Topics

GitHub topics：dsh-plugin · dsh · deepseek · deepseek-harness · autolab · cordis · plugin · research · research-automation

License

MIT（各包目录内 LICENSE，源自 deepseek-ai/deepseek）。