完成是宿主权限
模型可以提出 completed;只有 Host 能检查最新工作区修订的 EvidenceReceipt,并决定 Completed 或 Blocked。
DSE · DEEPSEEK-NATIVE 工程 AGENT HARNESS
DSE 既是编码 Agent,也是一套约束 Agent 的 Harness。DeepSeek 负责理解、推理与行动;Harness 负责上下文、权限、执行、状态、重试与验收。目标不是让 Agent 看起来更自主,而是让每一次“完成”都有证据。
DESIGN CONVICTIONS
模型可以提出 completed;只有 Host 能检查最新工作区修订的 EvidenceReceipt,并决定 Completed 或 Blocked。
一个 AgentRuntime、一个 RuntimeEvent、一个 RunStore。CLI、TUI 与本地 API 只是同一应用服务的不同投影。
工具结果、模型用量与终态先写入本地持久状态,再交给界面展示。进程退出不应抹掉工程事实。
只有可证明可重放的失败才重试。已产生可执行输出或计费未知时,系统宁可失败关闭,也不盲目再次行动。
从已测量的失败出发,冻结任务与验收条件,只保留在质量、Token、时间和复杂度上经得住比较的改进。
HARNESS BOUNDARY
Host 固定目标、约束与验收条件
只提供当前角色需要的上下文
驱动 DeepSeek 推理与工具循环
记录真实执行结果,而非模型转述
绑定最新工作区修订的验证证据
由 Host 收敛为 Completed、Failed 或 Blocked
AGENT TOPOLOGY
持有 TaskContract、调度协作、审查证据并决定完成。
搜索代码、追踪调用链、分析测试;不能修改工作区。
在隔离 worktree 中修改,再经 diff → review → verify → integrate 进入根工作区。
Read many · Write once · Verify before integrate
DEEPSEEK-NATIVE BY SUBTRACTION
LOCAL-FIRST代码操作、工作区与运行状态留在本机;模型所需上下文直接发送到官方 DeepSeek API,不经过 DSE 中转云。
EVIDENCE LAB
从失败任务、误判完成、Token 浪费或恢复缺口开始。
固定任务、工作区、模型、预算、验证器和运行身份。
只实现足以解释该损失的最小候选方案。
质量优先,再看 Token、时间与新增复杂度。
只有证据支持的能力进入产品;失败实验与负面结果同样保留。
TASTE BY REFUSAL
聚焦 DeepSeek 的真实行为,不维护最低公分母。
需要的是受控调度,不是角色越多越先进。
完成必须由当前代码与外部证据证明。
不确定是否已产生副作用时,停止比重复执行更安全。
本地代码、本地工具、本地状态是系统的主权边界。
不能稳定改善结果的复杂度,不进入主路径。
CURRENT STATUS
开发状态变化会在 DSE.RUN 更新。