shenhuanageshei/dsh-thincoder-suite

dsh-thincoder-suite

导师评审逐轮收敛、工程模式写入需持设计令牌、把任务转交给更强的模型、并行多模型会诊;设置页可改各模型路由、超时与预算。

待分类

dsh-thincoder-suite

把「AI 写代码时的五条自我纪律」装进 DSH(DeepSeek Harness)——一个插件,十六个工具,不改 DSH 本体一行代码;外加一套你和模型共看同一份账本的个人任务台账(批 36,含 /task_* 四条命令与交接)。它是给 DSH 本身写的(本机那种「桌面壳」只是 DSH 的一种包装方式,插件不依赖壳)。

移植自开源项目 thincoder(上游 MIT 协议),向上游贡献者致谢。


它替你挡掉哪六种翻车

你遇到过这个插件怎么治工具
AI 说「没问题了」,其实没审完——评审循环停不下来,或者停下来时你也不知道它到底看没看你的改动会终止、可对账的评审:轮次有上限、每轮必须回一张「逐条对账表」,连引用行号都去磁盘上验真advisor
代码写完了才发现方向错了先设计、后写码:没拿到「评审通过令牌」之前,写产品代码会被当场拦下eng / eng_coder
模型能力不够,越改越烂把活交给更强的模型亲自写,写完给你一份术后报告,你验收escalate
卡在同一个问题上反复失败多个模型并行独立会诊,各出各的结论,你逐条裁决consult_start
长任务跑着跑着就跑偏——忘了最初的目标、改完没验证、没评审就宣告完成每一步把目标/判据/欠账重新摆到眼前:立项先写可验证判据(写不出就建不起目标)、完成要有跑过的证据、改完没验证就别想收尾goal_criteria / goal_verify / anti_drift_config
不知道「什么在等我拍板」,也确认不了「我看到的就是模型看到的」一套账本三面同源:看板、每回合注入行、工具读的是同一个读函数;完成必须留凭据(没有凭据完不成);待你决策的项置顶;换会话不漏活(看板三区 + 「接手」只改归属)task_add / task_update / task_done / task_list / task_claim

为什么这六个不是「又一套流程」:它们的共同点是每一条结论都要能被机械核对——对账表、令牌、纪要、跑过的测试、判据的检查、台账凭据,都在磁盘上留痕。不是靠信任模型,是靠留下可核对的痕迹。

flowchart LR
  U["你提需求"] --> A{"任务有多大?"}
  A -- "要改产品代码" --> E["eng 工程模式<br/>先设计 → 评审 → 拿令牌"]
  E --> C["eng_coder 写码"]
  A -- "超出模型能力" --> X["escalate 飞刀<br/>强模型亲自写"]
  A -- "卡住没头绪" --> Q["consult 会诊<br/>多模型并行给意见"]
  A -- "改完了" --> R["advisor 评审<br/>多轮收敛 + 引用验真"]
  C --> R
  X --> R
  style E fill:#e8f0ff,stroke:#48f
  style R fill:#e8ffe8,stroke:#0a0

六个机制各自怎么跑

① advisor:把「无限找茬」变成「有界对账」

普通的 AI 复查看似在进步,实际有四个陷阱:没有终止条件(每轮都能报新问题)· 锚定效应(复审会顺着上轮结论重复深化)· 证据不可验证(报的行号可能是错的、旧的、编的)· 运动员兼裁判(同一个模型审自己刚写的东西)。

本插件的做法:

flowchart TD
  R1["Round 1<br/>全量审查,建立问题清单"] --> R2["Round 2<br/>核销上轮清单<br/>只接致命新问题(崩溃/丢数据级)"]
  R2 --> R3["Round 3–5<br/>严格只核销上轮响应表<br/>不再找新问题"]
  R3 --> CAP{"第 6 次调用<br/>(仅代码评审)"}
  CAP -->|"机械拒绝,不过 LLM"| STOP["结束"]
  R3 -->|"全部销账"| PASS["✅ 通过"]
  style PASS fill:#dfd,stroke:#090
  style CAP fill:#fdd,stroke:#c00

四条配套的机械约束:

  • 响应表协议:被评审的一方每轮必须回 | # | Action | Detail |,Action 只有四个值(Fixed / Dispatched / Not an issue / Deferred),逐条对账。Dispatched 只是「认领」不是「解决」——派出去还没回来的 🔴,和没修的 🔴 同样算没过。
  • 引用验真:报告里每个 文件:行号 都去磁盘上比对,伪造引用直接标出来。
  • 每轮全新上下文:上一轮的输出以原文注入新会话——防止「顺着自己上轮的话往下说」。
  • 轮次上限只对 code 评审生效(Cap 只对 code 评审生效):代码评审有 5 轮硬上限;设计评审豁免上限(设计文档天生要反复改,改文档→重评审正是本机制的本意),改由「连续三次跑不出可用结论 ⇒ 拒绝再发起」兜底,且不可自解除(改配置、改文件、重跑都不复位,唯一出口是新会话)。两半必须成对:只豁免 = 撤掉唯一的界;只护栏 = 设计评审仍被上限误杀。

② eng:没拿到令牌,写不了产品代码

sequenceDiagram
  participant U as 你
  participant A as 主代理(架构师)
  participant V as advisor 设计评审
  participant C as eng_coder(实现)
  U->>A: 提需求
  A->>A: 澄清需求 → 写需求档 → 写设计档
  U->>V: 发起设计评审(必须由你发起)
  V-->>A: VERDICT: PASS + 批准码
  A->>C: 带着 design token 派实现
  C-->>A: 交付报告(改了哪些文件、跑了什么)
  A->>V: 交付代码评审(自动)
  • eng 工具开关工程模式;进模式后,模型只能写文档——write / edit 想动产品代码会被 tools/pre-execute 当场拦下(docs/** 与根级 .md 豁免,那是架构师的产出物)。
  • 设计评审必须由你发起,模型不能自己审自己、自己给自己发令牌。
  • 令牌(design token)跨重启有效(存 $DSH_HOME/.thincoder/design-tokens.json),默认 7 天;设计文档没变就自动续期,文档改了才要重评。
  • eng_coder 支持结构化阶段任务书(stages):大任务拆成几段,每段有目标、可动文件、验收标准、自检命令;报告必须以阶段状态表开头——这样报告被截断也不会丢分类账。

③ escalate:把活交给更强的模型亲自写

判断任务超出当前模型能力时(复杂多文件重构、疑难 bug、精妙算法),把任务连写权限一起交给 consultModels 池里的更强模型。它自己改代码,返回术后报告(改了什么 / 为什么 / 怎么验证),你负责验收(读变更文件、跑测试)。

护栏:子代理里不能再飞刀(防递归甩锅);工程模式下直接拒绝(工程模式的实现只能走 eng_coder)。

④ consult:卡住了就并行会诊

flowchart LR
  S["consult_start"] --> P["多个模型<br/>并行独立分析<br/>(只读)"]
  P --> J["平台 job 后台跑<br/>settle 时自动通知你"]
  J --> D["先落盘纪要<br/>再发完成通知"]
  D --> M["读全 digest(首选落盘文件)<br/>逐条处置"]
  M --> G{"下一次 consult_start<br/>:消化了吗?"}
  G -- "没消化" --> BLOCK["拒绝发起<br/>(内联未消化的 digest)"]
  G -- "已消化 / 已豁免" --> S
  style BLOCK fill:#fdd,stroke:#c00
  • 不需要轮询:会诊在后台跑,完成时你会在会话里被通知(忙就插到下一步,空闲就自动开一个回合)。
  • 纪要默认落盘:docs/consult-minutes/ 下的纪要先写盘、再发通知——通知丢了纪要也在。
  • 消化门禁:没消化的会诊会拦住你发起下次会诊(拒绝并把未消化的内容摊出来)。
  • 早停不丢东西:中途 consult_stop 也会产一份「墓碑纪要」,已收到的回复照常送达。

⑤ anti-drift:长任务不跑偏(批 34)

flowchart TD
  A["我要立目标"] --> B{"先写过判据了吗?<br/>(goal_criteria set)"}
  B -- "没有" --> DENY["拒绝建目标<br/>「没有可验证判据的目标是愿望不是目标」"]
  B -- "有" --> OK["建目标成功<br/>判据自动绑定"]
  OK --> L["每一步都注入:<br/>目标 + 判据 + 欠账"]
  L --> W{"改了产品代码<br/>但没验证就想收尾?"}
  W -- "是" --> PUSH["推回该回合<br/>(三族各有上限)"]
  W -- "否" --> DONE["宣告完成"]
  PUSH --> H["上限用尽 ⇒ 只说一句诚实句<br/>(会话累计 ≤3 句后整机静默)"]
  DONE --> G{"有跑过的证据吗?"}
  G -- "没有" --> DENY2["拒绝完成<br/>指路 goal_verify / advisor"]
  G -- "有" --> PASS["放行"]
  style DENY fill:#fdd,stroke:#c00
  style DENY2 fill:#fdd,stroke:#c00
  • 它治什么:长任务里「忘了最初的目标、忘了跑验证、忘了评审」——把纪律从静态提示词里挪到每一步的动态注入 + 两道硬门上。
  • 三个工具:goal_criteria(写判据,可先存待绑槽再建目标)· goal_verify(记录「检查真的跑过」)· anti_drift_config(开关七键)。
  • 默认分档:注入与完成门默认开(低打扰 / 挡假完成);推回与台账门默认关(会改变回合命运)。
  • 三域分离:落章域(跨回合跨重启)· 回合域(每回合归零)· 会话域(跨回合累计)——每个标记恰属一域。
  • 它不做什么:不读别的插件的黑板(跨插件欠账注入是遗留项);不做轮次/预算读数(读数可得性未验证,不造读数)。

⑥ 任务台账:你和模型看的是同一套账本(批 36)

flowchart TD
  W["唯一写门<br/>task_add / task_update / task_done / task_claim"] --> J[("tasks.json<br/>唯一真源 · 修订号 rev · 归属 createdBy/owner/claimedFrom")]
  J --> R["唯一读函数 readTasksView()"]
  R --> B["侧栏看板(三个区:本会话 / 待接手 / 全部)"]
  R --> I["每回合注入行"]
  R --> T["工具 task_list"]
  R --> C["命令 /task_list /task_add /task_done /task_claim"]
  W --> G{"门:凭据 / 五态迁移 / 卡住原因 / rev 冲突 / 疑似凭据 / 接手方会话"}
  G -->|拒| Z["零写入 + 文案指路"]
  style J fill:#e7f5ff,stroke:#1c7ed6,stroke-width:2px
  style B fill:#e6fcf5,stroke:#0ca678
  • 它治什么:任务散在对话里、聊长了就丢;模型说「做完了」你没有对照物;什么在等你拍板看不到;换了新会话,旧会话记的活就"消失"了。
  • 一句话判据:你在看板上看到的,与模型同一回合读到的是同一份 —— 不是「同一个文件」的口头承诺,而是三面只调同一个读函数(结构保证)。
  • 四条硬规矩:① 完成必须留凭据(写不出「跑了什么、看到什么」⇒ 拒写且零写入);② 五态流转(待办 → 已接手 → 在做 → 完成 / 卡住),卡住必须说清等外部还是等自己动手;③ 待你决策的项单独成区且置顶;④ 看板不能打勾/改进度——完成必须带凭据;看板上唯一的写动作是「接手」,而它只改归属(owner)、不动状态。
  • 归属与交接(批 36-补):每条任务有三个归属字段——createdBy(谁建的,永不改)· owner(现在归谁,只能经 task_claim/「接手」改)· claimedFrom(接手时记下的上一任)。看板分三个区:本会话(默认)· 待接手(N)(别人/前任留下的未完成项)· 全部。交接轮换新会话时:旧会话把活停在「在做/卡住」⇒ 新会话打开看板 ⇒「待接手 N 条」⇒ 点接手 ⇒ 继续。绝不自动改归属(悄悄吞掉别人的活比断层更糟);待接手区不判会话活性(只看归属,不看那个会话还在不在)。
  • 也可以直接敲命令(批 36-补):/task_list(打印看板)· /task_add <标题> | <怎么算完成> · /task_done <id> | <凭据> · /task_claim <id>。四条命令与工具走同一道写门——命令层不自己判状态机、也不自己写盘(/task_done 不写凭据照样被写门拒、一个字节都不动)。没装命令服务时命令不出现、工具与看板照常(只 warn 一条)。
  • 多会话并行:台账带修订号,两个会话同时写时后写的会被拒并明确告知(不会静默丢更新)。
  • 落点:<你的工作区>/.thincoder/tasks.json(绑工作区 ⇒ 跨会话、跨重启都在);旧台账照样能读(没有归属字段 ⇒ 视为「无归属」,不报错、不迁移、不改写);只增不删(完成可重开,凭据不清空)。
  • 没有 better-sidebar 也能用:装了 dsh-better-sidebar 就是右侧栏一个 tab(只读渲染 + 三区切换 + 接手);没装则用 task_list view=board(或 /task_list)在会话里渲染同一份内容(降级不是缺失)。
  • 它不做什么:不碰宿主自带的 todo_write(那是「本回合的工作便签」,每回合开始就被平台清空——两个物种);不做截止日期;不做删除/归档;不做第二份存储;不与 dsh-team-link 的团队台账联动(那是另一套账,本批不假装打通)。

底座:让长任务跑得完、失败看得见

六个机制共用一层基础设施(全部插件自建,DSH 平台零修改):

能力人话
长任务后台化超过预算自动转后台 job,不再撞平台的 10 分钟墙钟;完成时通知你
失败可归因空响应分成四类、流的收尾状态和用量都记下来;从不静默截断——该告警的地方一定出声
自愈与封顶codex 连败两次自动回落一轮;回落再连败两次硬停并给出双路由诊断;任何循环都有界
并发与状态安全每个会话同一机制单飞;后台结果晚到不会复活已重置的状态;全局 codex 并发有闸
推理强度智能回落按目标模型真实支持的档位回落到最近档,绝不因为配了个不支持的档就秒死;off 是「关闭开关」不是「力度档」,所以回落永远不落到 off(只有模型除 off 外没有任何力度档时才退化使用,并单独告警);显式要求 off 而模型关不掉时,省略该参数、交还提供方默认,并告诉你
安全模型授权靠记录全等匹配 + 设计文档集指纹 + 流程纪律(令牌 uuid:过期时间 两段式,不引入签名密钥链)

★ 最容易被配错的一件事:长任务默认走后台——前提是装了 jobs 插件

eng_coder 和 escalate 的 dsh 子代理路径默认后台执行(批 21 起省略 background 即后台:返回 job 句柄,完成时通知,报告全文首选读落盘文件 $DSH_HOME/.thincoder/jobs/<jobId>.txt、job_output 作为附加读取手段——该取向自批 26 起适用于四条机制的全部后台派发);传 background: false 才强制同步。codex 后端则一直按预算自动后台(缺省预算本就超过阈值)。

调用方式谁在等生效的截止结果
不传 background(默认)/ 显式 true父代理立刻拿到 job 句柄dshBackgroundTimeoutMs(默认 30 分钟)不占父代理墙钟,完成时通知;报告全文首选读落盘文件($DSH_HOME/.thincoder/jobs/<jobId>.txt,job_output 为附加)(stage 门横幅也在 job 输出里)
传 background: false父代理阻塞codexCli.budgetCapMs(默认 540s,刻意低于平台 600s)当场拿结果;插件在平台之前温柔超时、能拿到诊断;但任务活不过 10 分钟
后台回落(jobs 插件未装 / 派发失败)父代理阻塞(回落同步)同上 budgetCapMs告警随工具返回可见 + 回落同步(仍受 540s/600s 约束)

⚠ 前提:后台依赖 dsh-jobs-local + dsh-tool-jobs 两个插件。没装时不会报错,而是告警(随工具返回可见)并回落同步(那时仍会撞 600s)——批 21 起默认就是后台,这两个插件从「跑长任务才需要」变成「建议常装」。 ⇒ 想跑过 10 分钟,正解是装齐 jobs 插件(省略 background 即后台),不是去调大 budgetCapMs(后台路径根本不读这个键)。


安装

要求:DSH(DeepSeek Harness)本体——不需要桌面壳(本机那种包装壳只是 DSH 的一种运行方式)。具体:DSH ≥ 0.2.1-rc.2(peerDependencies 声明的门槛,由平台自己的组合兼容闸门在装配前执行;本版九条平台触点锁逐条对齐并真机验证过的版本是 0.2.0-rc.2)+ cordis ^4.0.0-rc.7 + web profile 标准服务(tools / llm / subagents / systemPrompt / webServer——webServer 缺失时仅设置页 API 降级,host 工具不受影响)。

⚠ 平台版本门槛(v0.30.0 起 · v0.33.0 上调):本版只支持 DSH ≥ 0.2.1-rc.2(低版本由平台自身的 peer 兼容闸门拒绝安装,不会出现「装上了起不来」)。 如果你的 DSH 低于 0.2.1-rc.2(例如 0.2.0-rc.x / 0.1.7-rc.2),请改用旧版 release:v0.29.11(及更早)支持 0.1.7-rc.2。 硬装到低版平台上的表现是整包被平台拦下(不是半残运行):插件管理页该包显示「异常」,启动日志出现 dsh: skipping profile bundle "@dsh-external/dsh-thincoder-suite",并给出该包的 peer 范围与豁免指引——这属于预期行为,不是安装损坏。 装配期还会有一条版本哨兵告警([thincoder-suite] 平台版本哨兵…,只警告不阻断),两种形态都指向此处;也可随时调用只读工具 contractWatch 看当前平台版本、版本来源与九条触点锁现状。 预期内的告警:哨兵比对的是本版验证过的那个平台版本,所以同一 peer 区间里别的版本(例如将来的 0.2.0-rc.3,或区间内更早的 0.2.0-rc.1)也会各打一次告警——那不是在断言「不支持」,而是提示「本版尚未对该版本复核过」,照 contractWatch 走一遍九条触点锁即可(这正是它存在的意义)。

⚠ 想让长任务能跑过 10 分钟,请先确认这两个插件在:dsh-jobs-local + dsh-tool-jobs(后台任务靠它们)。没装也能跑,但长任务会告警并回落同步执行(批 21 起默认后台,回落时仍会撞平台的 600 秒墙钟)——详见下方「最容易被配错的一件事」。

git clone https://github.com/shenhuanageshei/dsh-thincoder-suite.git

在你的 web profile 目录(~/.dsh/profiles/web):

pnpm add link:<克隆路径>/dsh-thincoder-suite

然后编辑 profile 的 package.json,把包名加进 dsh.profile.bundles:

{
  "dsh": {
    "profile": {
      "bundles": [
        "@dsh-external/dsh-thincoder-suite"
      ]
    }
  }
}

重启 DSH。启动日志出现

[thincoder-suite] active: advisor/eng/eng_coder ...

即装配成功。

本机开发:让 DSH 直接读你的 git 工作副本

如果这个插件是你自己在改的,请务必用 link:(上面那条命令就是),不要用 file::

写法pnpm 干了什么改源码后
link:<绝对路径>在 node_modules 里建一个指向源码目录的链接立刻可见(重启后生效)
file:<绝对路径>把文件硬链接复制进 node_modules/.pnpm/…不会生效——你改的是另一份 inode

file: 那个坑很隐蔽:文件在磁盘上是同一份内容、哈希都一样,只有 nlink 与 inode 能看出是两份。 另外,新增文件不会被复制过去——import 一个新模块会直接失败。判断当前是哪种:

node -e "const fs=require('fs');const p='<profile>/node_modules/@dsh-external/dsh-thincoder-suite';console.log(fs.realpathSync(p))"

解析到你的克隆目录 = link:(活);解析到 …/.pnpm/@dsh-external+dsh-thincoder_… = file:(快照)。 已经是快照、又想切活:把 package.json 里那一行改成 link:<克隆路径>,再 pnpm add @dsh-external/dsh-thincoder-suite@link:<克隆路径> --lockfile-only, 然后把 node_modules/@dsh-external/dsh-thincoder-suite 换成指向克隆目录的链接(Windows 上 junction 即可),重启。 切换前先备份 package.json 与 pnpm-lock.yaml。

在本仓里不要 pnpm install / npm install:本仓零依赖,node --test 直接就能跑(这也是它能免构建直发的原因)。package.json 的 peerDependencies(@deepseek-ai/dsh + cordis)声明的是宿主提供的运行时,不是要装进来的包——若你的安装器开了 auto-install-peers,它会去 registry 拉这两个宿主包(两个名字都已发布、可解析,例如 @deepseek-ai/dsh@0.2.0-rc.1 存在),纯属白装且可能把一个副本塞进 profile 的 node_modules 里遮蔽宿主版本(本机 2026-09-11 曾因 profile 里多出一份旧 dsh-session 起不来)。DSH profile 那边的 pnpm 由 pnpm-workspace.yaml 的 autoInstallPeers: false 兜住,本仓这边靠这条提示兜住。


配置(两层)

全局配置分两层:

层位置怎么改什么时候生效
basecordis.patch.yml 的 config(启动快照)手编该文件 / profile 部署副本重启 DSH
user 层$DSH_HOME/.thincoder/config.jsonDSH 设置面板 →「Thincoder」页(也可手编 JSON)保存即生效

生效值 = user 层(字段级覆盖 base)⊕ base;user 层缺失或损坏则回落 base。user 层可配字段白名单: advisor.round1/convergence 组(provider/model/effort/timeoutMs/runner)、advisor.includeProjectGuide、advisor.maxOutputTokens、 advisor.contextTokens、advisor.standardsDoc、advisor.documentMapDoc、advisor.criteriaDoc、consultModels(整体替换)、 engCoderMaxTokens、engCoderEffort、codexCli、dshBackgroundTimeoutMs、consultTimeoutMs、engTokenTtlMs、 ledger(批 36 个人任务台账:开关 / 文档清单 / 话术模板)——其余字段(engineering 等) 只在 base 配。文件示例:

{ "version": 1, "config": { "advisor": { "round1": { "provider": "…", "model": "…" } } } }

部署侧 bundle 安装时 cordis.patch.yml 会作为默认 patch 应用——本仓库文件是 base 示例(单一事实源);link: 安装直接编辑克隆目录即可。

设置面板「Thincoder」页

设置 →「Thincoder」:

  • 四个 tab(v0.32.0 起):常用(当前会话视图 + 首轮/收敛轮:runner、provider、model、effort、超时)· 会诊(会诊模型池 + 会诊看门狗)· 任务台账(ledger 三键)· 高级(评审记忆开关、输出/上下文预算、项目文档声明、eng_coder 资源、Codex runner、后台兜底、设计令牌有效期)。每项都是「人话主标签 + 灰字技术键 + 一句『它影响什么』」;保存写 user 层;恢复默认清 user 层回落到 base。
  • 个人任务台账(批 36-补2,v0.32.0 起在「任务台账」tab):三个控件——「开不开」下拉(开着 / 关掉)· ledger.docPaths 多行文本域(一行一个路径,行序即清单顺序,最多 8 条)· ledger.copyTemplate 文本域(3 行高,边打边显示字数 / 上限)。这三键此前只能在设置页之外手编 config.json;现在与页面其它键走同一条保存通道(既有 PUT /config,不新增写端点)与同一条恢复通道(既有「恢复默认」= 整节恢复)。user 层没有 ledger 时,控件显示内置默认值并标注「未在 user 配置中显式设置 ⇒ 当前用内置默认」;没动过就不写盘(不会把内置默认物化成「显式设置」)。
  • 当前会话视图:显示生效摘要与覆盖来源,可「应用到当前会话」(优先级高于全局)或「恢复会话默认」。

host API 前缀 /thincoder-suite/api(GET/PUT/DELETE /config、GET/DELETE /session、POST /apply-session)。全部端点先过宿主信任栅栏(connection.requestRejection:跨站 / 非受信 Host ⇒ 403,无浏览器会话 cookie ⇒ 401;栅栏不可核验 ⇒ 503 fail-closed,绝不静默放行)。

base 配置示例(cordis.patch.yml)

- insert:
    - id: thincoder-suite
      name: '@dsh-external/dsh-thincoder-suite'
      config:
        # 会诊 / 飞刀模型池(最多 5 个)。
        # 不配置则 escalate / consult 工具不注册;advisor / eng / eng_coder 始终可用。
        consultModels:
          - provider: provider-a        # 你 settings.yaml 里已配置的 provider
            model: strong-model-x
          - provider: provider-b
            model: strong-model-y
            effort: high                # 可选,映射 reasoningEffort
          # 也可整行改走 codex(runner 字面量;与 provider/model 行并列,可混用):
          #   - runner: { kind: codex-cli }                  # 本地 Codex CLI 子进程(可写;advisor/consult/escalate/eng_coder)
          #   - runner: { kind: codex-app-server }           # 平台 codex provider 的 app-server 传输面(**只读定位**:advisor/consult 用;
          #                                                  # 不消费 model/effort——模型由本机 Codex 配置决定;写任务会被具名拒绝,
          #                                                  # 详见 docs/2026-10-14-codex-app-server-design.md)
        # advisor 评审路由(不配置则跟随当前会话模型)——按轮次分层:
        advisor:
          round1:                      # 首次全量评审(建议旗舰组)
            provider: provider-a
            model: reviewer-model
            effort: medium             # 可选 off|low|medium|high|max;缺省不传(适配器默认)
            timeoutMs: 900000          # round1 缺省 600000
          convergence:                 # 收敛轮(round 2+ 共用;建议快档)
            provider: provider-a
            model: fast-reviewer-model
            effort: low
            timeoutMs: 300000          # convergence 缺省 300000
          includeProjectGuide: false   # 评审是否注入 AGENTS.md(默认 false;评审只认显式 documents)
        # eng_coder 子代理资源(缺省即安全值,一般无需配置)
        engCoderMaxTokens: 65536       # 输出预算(缺省 65536)
        engCoderEffort: medium         # 推理档(缺省 medium;非法值忽略并警告)
        # dsh 后台任务挂死兜底(可选;缺省 1800000 = 30min,合法 60000..3600000)
        dshBackgroundTimeoutMs: 1800000
        # codex-cli runner 全局节(可选;配了任何 codex 行/后端才需要)
        codexCli:
          executable: codex            # 可执行名或完整路径(缺省 PATH 上的 codex)
          model: codex-model-a           # codex 默认模型(可选)
          engCoderRunner: codex-cli    # eng_coder 走 codex 后端(可选;缺省 dsh 子代理)
          defaultTimeoutMs: 600000     # codex 任务默认预算(缺省 600s)
          budgetCapMs: 540000          # 同步执行预算上限——超过则派后台 job(缺省 540s,须低于平台 maxWallMs)
          maxConcurrent: 8             # 全局 codex 并发上限(fail-fast 不排队;缺省 8)
          idleTimeoutMs: 300000        # 写任务假死判定(事件流静默窗口;缺省 300s)
        # 可选:其余开关
        engineering: false             # 所有会话默认进工程模式(默认 false)
        engTokenTtlMs: 604800000       # design token 有效期(合法 600000..2592000000 = 10min..30d;缺省 7d)
        consultTimeoutMs: 1800000      # 会诊单个模型超时(合法 30000..3600000 = 30s..1h)
        # 个人任务台账(批 36;键语义见 docs/2026-10-16-task-ledger-design.md §十四)
        ledger:
          mode: standalone             # off | standalone(缺省 standalone;off 只关个人台账分区,防漂移状态区仍在)
          docPaths: []                 # 结构化验收档路径清单(相对工作区根;最多 8 条;只读渲染勾选态)
          # copyTemplate: 说人话大白话,说清楚前因后果,给建议。   # 复制话术模板(缺省即此句)
        antiDrift:                     # 批 34 长任务防漂(见 docs/2026-10-14-anti-drift-design.md)
          inject: true                 # 每步注入「目标 + 判据 + 欠账」行(默认 true)
          completeGate: true           # 目标完成门:无证据不许宣告完成(默认 true)
          pushback: false              # 回合推回:改完代码没验证就不让收尾(默认 false)
          verifyHeuristic: true        # shell 命令形启发(只喂推回谓词;默认 true)
          stallRepeat: 3               # 连续同名同参调用几次就提醒一次停滞(0..20;0 ⇒ 关;默认 3)
          ledgerTransitionGate: false  # 台账写门(**由 dsh-team-link 读它自己的配置**;在此翻它不开那道门)
          caps:                        # 三族推回上限(各 0..6,三者都必填)
            pending: 1                 #   目标缺判据
            verify: 2                  #   有未验证改动
            advisor: 3                 #   未评审
          # 无 total 子键:诚实句占「三族之和 + 1」那一条(缺省 Σ=6 ⇒ 单回合硬上限 7 条)

antiDrift 的默认值按「打扰度」分档(不是按机制):只多说一句的默认开,会改变回合命运的默认关。 七个键都能由工具面 anti_drift_config 即时翻转(写 base 配置面,本会话下一次读取就生效,不需重启), 但工程模式下禁写(避免在纪律最重的模式下被临时关掉机制)。★ 两处例外要知道:① caps 的键名与取值走闭集校验, 非法 ⇒ 整体拒绝 + 零写入;② ledgerTransitionGate 是"跨插件键"——它由 dsh-team-link 读它自己的配置面, 在这里翻它对那道门无效(要开门得在 team-link 侧设)。

字段说明要点:

  • provider / model 成对解析:会话覆盖 ⊕ 全局组 → 旧字段 advisor.provider/model(仅首轮,兼容迁移)→ 主代理路由;禁止跨层混搭。两组都没配则评审跟随当前会话模型。
  • runner(可选,逐行/逐组):人话——dsh(缺省,走当前会话模型)· codex-cli(在本机起 codex 子进程,能写)· codex-app-server(走平台自带 codex 的 app-server 传输面,只读,用于会诊/评审;不消费 model/effort)。kind 闭集 = 上述三者(批 33)。后两者是 codex 的两条通道;codex-app-server 走平台自带 codex provider 的 app-server 传输面,只读定位(无人值守对审批一律拒绝)⇒ 只用于 advisor / consult,eng_coder / escalate 配到它会被具名拒绝;该通道不消费 model/effort(模型由本机 Codex 配置决定,配了只会出现在展示标签并如实告知)。设计与边界见 docs/2026-10-14-codex-app-server-design.md。
  • effort:off|low|medium|high|max,映射 reasoningEffort;非法值忽略并警告;不传就用适配器默认。
  • timeoutMs:单轮评审硬预算(绝对截止,到点即中止,不依赖数据块到达);合法 1000~3600000。
  • includeProjectGuide:评审是否注入 AGENTS.md(默认 false——评审独立于项目记忆,需求与验收标准请显式传 documents=[...])。
  • engCoderEffort 默认 medium:实现任务由任务书机械执行,普通推理档足以「按文档改文件」,再高只是白吞输出预算。
  • engTokenTtlMs / consultTimeoutMs 也可从设置页改(两键都在 user 层白名单,优先级 user > base)。consultTimeoutMs 是单个模型的看门狗:超时只把该模型记成超时,不终止整轮会诊。
  • ledger 的三个键也可从设置页改(批 36-补2):mode(standalone / off)· docPaths(一行一个路径的多行文本域,最多 8 条)· copyTemplate(文本域 + 实时字数上限 500)。前端只做提前提示,最终裁决永远是后端——保存失败时页面原样显示后端返回的 errors(例如 ledger.docPaths must be an array of at most 8 non-empty strings),不翻译成另一套码。

会话级覆盖(advisor_config 工具)

advisor_config request={"action":"get"}
advisor_config request={"action":"set","path":"round1.effort","value":"low"}
advisor_config request={"action":"reset","path":"convergence"}

会话覆盖优先于全局组配置(字段级合并),会话销毁即失效;非法输入直接返回错误且不改动现有覆盖。

从旧版升级:旧字段 advisor.provider / model / timeoutMs 只映射首轮组;收敛轮不会沿用它——没配 advisor.convergence 时收敛轮回落主代理路由(属正常回落,不是错误)。建议显式配两组:首轮旗舰保质量,收敛轮快档提速。


预设:新会话一键进工程模式(可选)

preset/thincoder-eng/ 让新会话从第一句起就是工程模式(架构师角色 + 门禁全开)。

mkdir -p ~/.dsh/.agent-presets/thincoder-eng
cp preset/thincoder-eng/* ~/.dsh/.agent-presets/thincoder-eng/

preset 源文件改过之后要重新同步(本仓库是单一事实源,部署副本不会自动跟随),且新会话才生效。插件靠 agent/session-start 识别预设 id 自动进工程模式——预设本身不重复装配插件。


架构与设计取舍

flowchart TD
  subgraph HOST["host 侧(lib/*.mjs)"]
    AD["advisor 评审"]
    EN["eng 门禁 + eng_coder"]
    ES["escalate"]
    CO["consult"]
    API["设置页 config API"]
    WR["tools/pre-execute 写门禁"]
  end
  subgraph CLIENT["client 侧(手写 CJS,免构建)"]
    UI["设置面板「Thincoder」页"]
  end
  HOST --- CLIENT
  AD --> LLM["ctx.llm.stream"]
  EN --> SUB["ctx.subagents.start"]
  ES --> SUB
  CO --> SUB
  JOB["ctx.jobs(长任务后台化)"] -.-> EN
  JOB -.-> ES
  JOB -.-> CO
  style HOST fill:#f5f8ff,stroke:#48f
  style CLIENT fill:#f5fff5,stroke:#0a0
  • host + client 双层,零 TypeScript、零打包(继承上游的零依赖哲学)。
  • 零 bare import:插件经 junction 安装后 Node 会 realpath 化,向上解析不到宿主的包——所以工具定义是手工构造的,插件契约只依赖 export name / inject / apply。
  • advisor 自己管工具循环:每轮替换 system prompt、只给只读工具(read / glob / grep);LLM 调用带绝对截止定时器 + 数据块级看门狗双保险(DSH 的调用参数没有 per-request 超时字段,这是移植侧的替代机制)。
  • 写门禁用 tools/pre-execute 的 waterfall 拦截;不拦间接写(shell 等)——那与上游同款取舍,靠流程纪律。

与上游 thincoder 的差异

两类差异要分清:「本仓有意偏离」(移植时的设计决定)与「上游改了而本仓没跟」(滞后 = 欠账)。混在一起看会掩盖后者。

★ 本节是摘要,不是全量:下面列 5 条有意偏离 + 1 条已知滞后;权威全量在两份设计档的「上游偏离表」里(六列格式,共约 19 行,含只属本仓自纠的条目)——docs/2026-09-15-consult-delivery-design.md §10 与 docs/2026-09-15-config-surface-design.md §10。判据:偏离表是唯一记录「本仓行为 / 上游行为 + 坐标 / 方向 / 理由 / 复检条件 / 锚」的地方。

有意偏离(移植决定):

  1. LLM 调用超时:上游有 per-request 超时;DSH 无此字段 ⇒ 移植版用数据块级看门狗(90s)+ 3 次重试替代,挂死的调用最终转为有界可诊断错误。
  2. 子代理宿主:上游 spawn 独立 CLI 进程;移植版用 DSH 进程内的 subagents。
  3. eng 会话状态:内存态为主 + session-state.json 镜像(跨重启恢复,7 天 TTL,只填空槽);删文件即回纯内存行为。
  4. design token 格式:上游是裸 uuid:expiresAt;本插件曾多一条签名腿与密钥链,后来按威胁模型复核整体删除并与之对齐,另加文档集指纹门控续期(上游无此机制)。
  5. 预设入口:DSH 特有——工程模式的新会话一键入口用 agent preset 实现(运行时状态机装不进静态预设)。

已知滞后(已补偿):本仓在 consult 协议上曾落后上游六天(上游以 digest 自动注入退役了 consult_check,而本仓抄的是改造前的版本且从未记录这次分叉)。⇒ 教训:移植是抄一个时间点,而源会继续走——移植物必须记下被抄的坐标。


已知未决(诚实清单)

这一节存在,是因为这个项目相信「把没做完的事写出来」比「装作做完了」更值钱。

项现状
一个极少见的测试偶发全量测试连跑 80 轮里有 1 轮红、具体是哪一条还没抓到(当时的脚本只记了数量没记名字)。已保留它为「未关闭」,并保留发布门对它的复跑兜底;复现手段已就位
codex-cli 会诊席经常缺席该模型的子进程偶发非零退出,会诊通常按 3/4 交付(不影响结论,digest 会如实标出失败数)
长任务的两个截止键容易配错见上文「最容易被配错的一件事」——文档已写明,但配置本身没有护栏(配错只是慢,不会坏)
平台触点还没有系统扫 (2026-09-29 闭环)DSH 0.1.7 已知的三处断裂(工具结果的消息形状 · 后台派发的 owner 参数 · settings.yaml 改名打断 home 兜底探测)当年都是人工撞出来的,本行原建议「单列一批,把全部平台触点对着新旧两版做一次 diff」。这笔欠账已经还了:九条平台触点常设锁(单一事实源 lib/contract-baseline.mjs;批 26 建档 → 批 28 收口 → 批 31 用它对 0.2.0-rc.1 / 0.2.0-rc.2 做了完整对照复核)把「全部门面」变成一次调用可查(只读工具 contractWatch,九条逐条给 `true
平台写盘层对消息 content 槽「有则检查、无则放过」上游(deepseek-ai/deepseek-harness)写盘路径上的 assertContent(packages/session/session-format-v3-to-v4/src/retired-syntax.ts:11)只写 if (Array.isArray(content)) …、没有 else ⇒ 非数组静默穿过;而读取/播种层的 assertMessageEventShape(packages/core/session/src/index.ts:356)却硬性要求 Array.isArray(content)。这条两侧不对称的后果:插件把 content 写成字符串时,插件侧零报错、消息照常落盘、容器级体检(zstd 帧 / JSON 行)全绿——直到用户打开那个会话才炸,且无法回放。2026-10-16 实测:全库 1686 个会话中 4 个中招(全部源自本插件旧版的注入)。本仓已自行规避:注入一律走 producerContent()(lib/anti-drift.mjs),回归锁在 test/anti-drift.test.mjs 的 A-8 块。上游反馈通道:该仓 Issues 与 PR 均已关闭,唯一官方渠道是 GitHub Discussions(CONTRIBUTING.zh.md 点名此渠道;发帖需 GitHub 账号),社区实际约定为 General 板块 + [Bug] 标题前缀。报告草稿已备(含两处 file:line 与复现步骤),尚未提交

2026-09-28 收口一条(原先登记在本节):job_output 读不回后台作业全文——2026-09-25 实测四次报 Cannot read properties of undefined (reading 'output')(含平台自己产的作业),当时的定性「平台侧缺陷、本仓不可修」已被推翻。真因是第三方插件:本机 profile 装的 `@dsh-external/ds