DOS（Dispatch Operating System，调度操作系统）是一个用于管理 AI 智能体集群的 Python 工具，其核心目标是：当智能体谎报自己交付了什么时，能及时发现。它不采信智能体的叙述，而是读取智能体无法伪造的“真实世界”证据——首先是 git 历史，其次是文件树、时钟、CI 状态、测试环境自身状态等。
【用途】 当编码智能体完成工作后向你汇报结果时，叙述通常属实，但偶尔会出现“全部工作已完成！”这种乐观却无实际产出的情况。单个智能体时你可以自己重读输出发现谎言，但一次运行二十个智能体时，这种人工核对无法持续。DOS 充当“裁判”，只读取实际发生的事情（提交、文件、时钟），给出无法被叙述动摇的判定。
【主要能力】
- dos verify PLAN PHASE：从提交历史回答某个阶段是否真正交付。有提交支撑 → SHIPPED，退出码 0；无成果落地 → NOT_SHIPPED，退出码 1。智能体自己的说法完全不参与判定。
- dos commit-audit：逐提交审计，将判定分入 CLEARED（diff 与声明相符，可跳过重复审查）、RESIDUAL（git 无法支撑的声明，需人工 100% 处理）以及无声明部分。官方在自身仓库最近 200 个提交中清除了 171 个可核查声明中的 170 个。CLEARED 仅表示变更形态与声明匹配，不代表代码正确性。
- 集群管理：对指向同一仓库的多个智能体，识别谁在互相踩踏、谁在空转、哪个“完成”是真的。
- dos arbitrate / lane leases：文件树分片与准入控制，防止两个智能体静默覆盖彼此的文件。
- 判定日志与导出：dos export 可将判定日志导出到可观测性栈（Datadog / Honeycomb / Grafana），dos notify 将需人工处理的事项推送到 Slack，dos reward 控制微调可用的训练数据，dos attest 生成可供第三方核验的签名回执。
【使用方式】 DOS 是一个 Python 包，安装到智能体工作所在的既有 git 仓库中。无需克隆或复刻 DOS 源码（除非要开发 DOS 本身）。运行时唯一依赖是 PyYAML。版本 v0.30.0，5,600+ 测试，CI 覆盖 Linux 上的 Python 3.11–3.13 以及一次 Windows 3.13 冒烟运行，采用 MIT 许可证。
- 初始化：dos init 会打印它写入的配置与钩子条目；删除这些生成条目即可撤销设置。未检测到运行时会明确说明并列出可选方案，不会猜测。
- 零配置：对普通 git 仓库直接运行 dos verify PLAN PHASE，无需 plan、registry 或 dos.toml，仅从提交历史作答。
- 配置：dos init 写入 dos.toml（lane、路径、发布语法作为数据）；添加 plan 文档后，dos plan 会将各阶段的声明与 oracle 的判定并列展示。
- 扩展：可声明自定义阻断原因、门控判定、输出渲染器、准入谓词、模型裁判、自定义 plan 方言或完整宿主驱动，均作为工作区策略，无需 fork。
- 接入方式：CLI、MCP（智能体自查）、hooks（宿主阻止不良动作）、CI 步骤或调度循环。在 CI 中可将信任智能体“完成”的那行替换为 dos verify PLAN PHASE，并根据退出码分支（0 已交付 / 1 未交付），无需解析输出。
- 演示：uvx --from dos-kernel dos quickstart 可临时运行完整演示，不留痕迹。
【适用场景】
- 在 CI 或调度循环中用退出码门控智能体的“完成”声明。
- 多个智能体在同一仓库并行工作时的冲突与空转检测。
- 提交堆积快于人工阅读速度时的审查队列分流。
- 需要以真实证据而非模型置信度来证明成果的场景。
【限制】
- 判定范围仅为“发生了什么”，不判断代码质量；质量仍由测试与评审负责。
- 准入部分（arbitrate、lane leases）目前仅限单一本地文件系统：WAL 存放在一块磁盘上，跨机器的 worker 没有共享序列化点。跨主机集群应将 dos arbitrate 视为建议性操作（非硬互斥锁），直到远程租约驱动发布。
- 验证部分（verify、commit-audit、liveness）因读取 git 历史，可自由跨机器使用。
- 官方未提供关于收费、价格或具体平台支持的信息。
- arXiv 预印本仍在准备中，尚未有 arXiv ID。
