dsh-supervision
English | 中文
把运行中的 DSH 会话桥接到任意终端 supervisor 上——状态可见,指令可发。 插件就装在你已经在运行的那个 dsh web 进程里:OSC 7501 记录写到终端上,操作者输入回到同一个会话。herdr-core(hc)是受支持的一种 supervisor,也是参考实现;只要能从 PTY 读到 OSC 7501、又能往那个 PTY 的 stdin 写行,任何 supervisor 都可以。
你能得到什么
- 每个会话一条状态记录。被桥接的会话是根记录,同一进程里其他存活会话作为带
id=的子记录随它上报;状态取idle/working/done/blocked/error,每次变化整条替换,不会留下增量补丁。 - 操作者输入被送回会话。中途 steer 一轮、取消本轮、
/status、/new、/attach,以及/approve//reject应答挂起的工具审批——都在终端里完成。 - 审批不再只活在另一个界面里。挂起的提问变成根记录上的
blocked · kind=permission,在终端里结掉;GUI 一目了然——侧边栏条目带环、输入区被盖住——唯一的「Unlock」按钮负责把会话拿回来。
能搭配哪些 supervisor
| Supervisor | 连接方式 | 需要什么 |
|---|---|---|
herdr-core(hc) |
进程内 tty,走它自己的 HC_TERMINAL_ID(宿主导出 DSH_SUP_TERMINAL_ID 时也可用)并且走控制套接口,让 dsh-sup 跑在它的 PTY 里;两条通路同时可用 |
被监督的终端里有一个 dsh web,外加任意 PTY |
| 任何读 OSC 7501 的 supervisor | 控制套接口 + 把它自己的 PTY 交给 dsh-sup |
能读到该 PTY 的 OSC 输出,并能往该 PTY 的 stdin 写行 |
| 另一种想用进程内模式的 supervisor | 设置 DSH_SUP_TERMINAL_ID |
这个变量只被本包读取、从不写入;任何 supervisor 都可以设置它 |
只开 GUI 的 dsh web |
不需要任何东西 | 插件只暴露一个不干活的套接口,别的什么都没有 |
快速开始
安装
插件页面——在 DeepSeek Harness 里打开 Plugins 页面,点「Add plugin」,填 dsh-supervision 安装,然后按宿主提示重启。GUI 写入 web profile,与下面命令的目标是同一个。
命令行——脚本化安装用:
dsh plugin --profile web add dsh-supervision # the plugin, into the web profile
npm i -g dsh-sup # the forwarder, for the supervisor's PTY
dsh-sup 是单独的包,因为它以独立程序的身份跑在 supervisor 的 PTY 里。要固定版本就加 @。
连接会话
dsh-sup # create a session in the dsh web process's directory
dsh-sup --cwd ~/work/project # create it elsewhere (resolved here, then sent absolute)
dsh-sup attach session-abc123 # attach an existing session (or: dsh-sup session-abc123)
dsh-sup --pid 4711 new # pick the backend when several dsh web processes run
dsh-sup list # list every session on every live backend
list 对每个存活后端打印一张表,不建立任何桥接。它回答的是侧边栏分组所用的同一份账目——各工作区自己拥有的会话:持久化过的会话即使当前没有加载 agent 也会列出(LIVE no),而已归档的会话与不属于任何工作区的会话(子代理日志、已折叠的历史)都不列出。空白会话(从未有过 turn)同样不列:侧边栏只在它被选中时才显示,列出它等于给出一个打不开的 id——发一行输入它就会同时出现在两边。唯一的例外是已归档会话:正被桥接持有时仍会列出。PID 列标明该行来自哪个 dsh web 进程,多后端时也能对得上:
SESSION PID CWD LIVE BRIDGED
session-4f2a… 4711 /Users/me/work yes -
后端通过 $DSH_HOME/supervision 发现(DSH_HOME 未设置时是 ~/.dsh/supervision)。建立桥接恰好需要一个存活后端;有多个时拒绝信息会列出每个候选的 pid 与套接口,用 --pid 选定一个。--cwd 只对 new 和 list 生效;list 不带它时列出全部会话,CWD 列说明每个会话在哪个目录。
带 --no-tui,或 stdin/stdout 有一个不是终端时,桥接期间 stdin 仍走终端自己的行模式——插件从不进入 raw 模式——因此 Ctrl+C、Ctrl+Z、Ctrl+\、输入回显与行编辑都和没装插件时一样。Ctrl+S/Ctrl+Q 仍由终端驱动做流控:走 /dev/tty 时终端暂停会让桥接记录进入有序队列,不阻塞宿主,恢复后照常写出;没有控制终端而退回 stdout 时仍是同步写,暂停仍会卡住它。操作者的输入按行读取,回车后生效;行规程会按 MAX_CANON 限制单行长度(Linux 4 KB、macOS 1 KB),超长的粘贴到达 agent 时会被截断。在终端里 attach 时会打开全屏的交互面;stdout 被重定向时仍只输出纯行(见如何上报)。
空会话不会出现在 Web UI 列表。 这里创建的会话已经挂到对应项目,但 DSH 侧边栏只列出发过第一条消息的会话;在那之前它只存在于 dsh-sup list 与桥接上,项目下没有条目。从终端发一行(或 attach 后 steer)它就会出现。
交互面
stdin 与 stdout 都是终端时,attach 打开全屏交互面而不是逐行追加:对话放在可滚动的 transcript 视口里,下面是多行编辑器,最下面一行状态栏显示会话 id、状态与 turn。桥接转发过的内容都留在 transcript 中,向上滚动就能看全。attach 期间交互面占用终端的备用屏:不写终端回滚缓冲,历史就是 TUI 自己的视口;结束 attach 时最后一帧会打回正常屏幕。
| 按键 | 作用 |
|---|---|
Enter |
把编辑器内容作为一行操作者输入发出 |
Shift+Enter |
在编辑器中换行,前提是终端能上报该修饰键(modifyOtherKeys 或 Kitty 键盘协议);否则它和 Enter 一样提交 |
Ctrl+C |
清空已输入内容;编辑器为空时给出提示,1.5 秒内再按一次退出 attach |
Esc |
有补全菜单打开时先关闭菜单;没有菜单时发送 /cancel,结束当前 turn 但不退出 attach |
Ctrl+D |
退出 attach,先恢复终端 |
PageUp / PageDown |
transcript 上下翻一页 |
↑ / ↓ |
编辑器为空时上下滚一行 |
Home / End |
跳到最早一行 / 回到最新(编辑器为空时) |
向上滚动后,最后一行会显示 ↓ N new,统计期间新到的条目;滚回底部就恢复跟随。界面的绘制使用 @earendil-works/pi-tui。
交互面带配色,输入与输出一眼可分:操作者的输入是带 ❯ gutter 的着色块,助手正文按 Markdown 渲染(标题、列表、行内代码、带边框的代码块),工具调用是着色的状态行(⏳ 等待、✔ 成功、✘ 失败)加一行暗色详情,系统与 echo 行为暗色,状态栏是反色整行、状态带颜色,编辑器用强调色描边。设置了 NO_COLOR、stdout 不是终端、或 TERM=dumb 时布局不变但不输出颜色,抓取下来的输出依然干净。配色只改变这些行的外观,不改变上表的按键,也不改变重定向 stdout 收到的字节。
--no-tui 在终端上也保留只追加的行模式表面;stdout 被重定向时永远走行模式,所以 dsh-sup … | tee log 写出的文件依然干净。
补全。 attach 建立后插件会发来一条 catalog 帧,携带该会话的 skills 与宿主斜杠命令;编辑器据此生成菜单:输入 / 列出全部条目,输入 /skill: 收敛为该会话的 skills(形如 /skill:,直接打裸名字也能模糊匹配),按 Tab 把选中项补进编辑器,按回车则接受并立刻发送。catalog 帧只作为界面输入——不会写到 stdout 或 /dev/tty,行模式直接忽略它。装了 fd 时,@file 补全以会话目录为基准。名字来自宿主本身:/skill: 与普通输入一样转发,由插件注入该 skill 的正文。
退出。 /q、/quit、/exit、/bye——单独一行、全小写、后面不带参数——在两种界面(TUI 与 --no-tui)都能退出 attach:转发器发出 bye、恢复终端并以 0 退出,且它们不会被转发给会话,不会留下挂起的模型请求。TUI 里 Ctrl+D 仍然直接退出,Esc 先关闭已打开的补全菜单、没有菜单时才取消当前 turn,Ctrl+C 清空编辑器;编辑器为空时显示 Ctrl+C again to exit,1.5 秒内再按一次即退出,按其他任何键会重置这个窗口。/q now、/quiet 属于普通输入。
应答审批
挂起的提问带六位十六进制 id;先问会话现在处于什么状态,再按 id 应答:
/status
session=session-4f2a… state=blocked turn=3 asks=3f9ac1
/approve 3f9ac1
[ask 3f9ac1] bash → allowed-once (source=supervisor)
/y 与 /n 应答唯一挂起的提问;挂起不止一个时它们会拒绝,并要求你指名。有提问挂起期间,/new 与 /attach 会被拒绝;提问方撤回时,提问以 cancelled 结掉。
把会话拿回来
只要会话处于桥接状态,GUI 会在侧边栏和输入区两处标明。侧边栏里该会话的条目带上贴合自身圆角的 3px 蓝色描边和浅蓝色半透明填充(rgba(127, 174, 255, 0.30)),右缘是一枚更宽、贯穿行高、内含鲸尾动画的蓝色胶囊,不会被误当成可以随手输入的会话。点进去后整个输入区(编辑器和工具栏)会被蓝边、浅蓝半透明(rgba(127, 174, 255, 0.30))的面板盖住:编辑器被置为 inert,鼠标点不进去、已经聚焦的光标也打不了字。框顶边沿上方挂着一枚蓝色文案 tab,引用发货的英文文案——"This chat is supervised from elsewhere — the input box is locked"(「此会话已被接管,输入框已锁定」,经宿主语言服务提供中英双语);左下角融着一枚带白色鲸尾的「已接管」徽标;唯一的「Unlock(解锁)」按钮发起回收,只有确认释放成功才会撤掉遮罩,被拒绝的解锁会保留遮罩。宿主输入区没有 [data-composer-card] 包裹时,只有编辑器会被置为 inert;工具栏保持可用,以免冻结整个页面容器。桥接被丢弃,监督方收到清除记录,dsh-sup 转发器以 0 退出。
给 agent 的技能
插件自带 use-dsh-supervision 技能:被监督会话里的 agent 因此知道需要同版本的 dsh-sup 转发器,会用 dsh-sup --version 核对,并在用户同意后才提出安装。dsh-sup --skill 会打印转发器的完整手册。
如何上报
一个 dsh web 进程拥有一棵会话树,插件挂在其中,开控制套接口;当进程本身跑在被监督的终端里时,再叠加一条进程内 tty 通路。
dsh web (the process you already run)
└── dsh-supervision plugin
├── control socket $DSH_HOME/supervision/-<8hex>.sock (0600)
│ └── dsh-sup in the supervisor's PTY ── OSC 7501 + echo + mirror lines ──▶ supervisor (reads OSC 7501)
└── in-process tty (added when DSH_SUP_TERMINAL_ID or HC_TERMINAL_ID is set)
└── OSC 7501 records and mirror lines written to this process's own /dev/tty
挂载规则。插件总是先把套接口发现面打开——监听器、0600 套接口,以及指向它的 -<8hex>.json 注册表条目——这样转发器才有东西可连。效果层(会话监听、OSC 上报、echo 行、stdin 处理)按桥接打开,"有一条桥接"和"有转发器已连接"是同一件事。因此一个只开 GUI 的 dsh web 只暴露一个不干活的套接口,别的什么都没有。当 DSH_SUP_TERMINAL_ID 非空(或 herdr-core 的 HC_TERMINAL_ID 非空)时,进程同时监督自己所在的终端:同样的记录写到自己的 /dev/tty,套接口仍然为别处的 dsh-sup 开着。一个会话在两条通路上仍只有一条桥接,第二个认领者会收到 busy。如果终端打不开——既没有 /dev/tty、stdout 也不是 TTY,或者 stdin 不是终端——插件把原因写到 stderr,并保留套接口这条路。
对话输出。桥接也会把对话本身转发出来。一条 mirror 帧携带一个条目——操作者的一句话、一条助手回复(适配器上报了 token 用量时才多一行 ⟦↑in ↓out⟧)、或一次工具调用——转发器按人看的形态呈现它:行模式下是只追加的行(无颜色、无 markdown、无 spinner、不切备用屏,写出的行从不重写),全屏 attach 下则画进 transcript 视口。attach 会先把该会话持久化日志中最近 200 个条目当作普通 mirror 帧回放,被截断(history: showing last 200 items)或日志读不到时用一行 echo 说明。OSC 7501 记录照旧写到 /dev/tty,真正的 supervisor 读的仍是这个机器面;行模式输出写到 stdout,且只在 stdout 是 TTY 时写,所以 dsh-sup … | tee log 写出的文件依然干净,而全屏交互面只在 stdin 与 stdout 都是终端时才有。echo 行只去一个去处:行模式下操作者有 TTY 时是 stdout,全屏 attach 下是 transcript 视口,否则是 /dev/tty。
❯ 把 mirror 实现出来
· 每个 step 只有一条 assistant/message,没有增量可流。
mirror 打印的是写好的整块,一次一行。
⟦↑1,234 ↓340 R900⟧
⏳ bash: 列出 protocol 包
✔ bash: 列出 protocol 包 ⟦12ms⟧
└─ packages/protocol/src
写给实现者与 agent
这一半是写给实现者与编码 agent 的参考材料;只想使用的人可以跳到链接。
仓库地图
| 路径 | 内容 |
|---|---|
src/ |
插件本体,以及注入 GUI 的浏览器监督装饰(src/client/) |
packages/protocol |
OSC 7501 编码器与 NDJSON 帧 |
packages/cli |
dsh-sup 转发器 |
lib/ |
构建产物 |
docs/ |
图与图注 |
.agents/adr、.agents/knowledge |
架构决策记录与架构/踩坑笔记 |
.changes/ |
发布片段 |
locale/ |
插件页面文案 |
监督协议
监督方需要的全部事实,都在这套线上:
套接口与注册表。每个 dsh web 进程一个 Unix 套接口,权限 0600,位于 $DSH_HOME/supervision/-<8hex>.sock,旁边是原子写入、同样 0600 的 -<8hex>.json 条目 {proto, pid, socket, startedAt, dshVersion}。一个会话只有一条桥接:第二个连接来认领时会被以 error 码 busy 拒绝并关闭。帧是 NDJSON,PROTO 为 2,单帧最大 64 KiB。
| 方向 | 帧 |
|---|---|
| 转发器 → 插件 | hello(attach 某会话、new {cwd},或不带目标)、line {text}(按 stdin 的 \r、\n 或 \r\n 切行)、list {cwd?}、bye |
| 插件 → 转发器 | welcome、osc {data}、echo {text}、mirror {item}(item.k 为 user、assistant 或 tool)、sessions {items}、error {code, message}、bye {reason} |
error.code 取 busy、unknown-session、create-failed、locked、protocol、internal 之一。
OSC 7501 输出。每条记录写到 /dev/tty(stdout 是 TTY 时退而用它),supervisor 读的是那里。每次上报都整条替换旧记录,所以每个字段都要重述:
ESC ] 7501 ; state=[ :id=][ :kind=][ :app=][ :title=][ :msg=] ST
清除是根记录用 state=clear、单条子记录用 state=clear:id=。kind 只在 blocked 上合法。上限:整条序列小于 4096 字节,title 192 字节,msg 2048 字节,id 128 字节且按 / 分段、每段至多 32 字节(最多 8 段)。根词优先级为 blocked > working > done / error / idle。挂起的审批把根记录写成 state=blocked:kind=permission,msg= [ask ]。
路由,只在宿主挂载了 webserver 时提供:
| 路由 | 应答 |
|---|---|
GET /dsh-supervision/state |
{"proto":1,"sessions":{"":{"bridged":true,"terminal":"…","pid":,"since":,"asks":[""]}}};其他方法 405 |
POST /dsh-supervision/reclaim |
content-type: application/json,请求体 {"session":""} 且小于 4 KiB → 200 {"reclaimed":true};没有桥接持有该会话时 409 {"reclaimed":false};其他 content type 415,请求体不合法 400 |
监督方读到的 echo 行,按写入顺序:状态变化时 [turn ],[ask ] parked (),[ask ] → (source=supervisor|attached),上面那条 /status 应答,refused: approval(s) parked,new failed: …,attach failed: …,unknown command /。
dsh-sup 退出码:0 正常 bye,1 后端丢失,2 用法错误或没有存活后端,3 busy,4 locked,5 create-failed,6 protocol(本进程拒发某帧,说明后端还活着)。
配置
六个键,全部由 src/index.ts 读取;形状不对会带着字段级问题被拒绝,不会半应用。
| 键 | 默认值 | 作用 |
|---|---|---|
enabled |
true |
是否挂载任何东西。false 是硬开关:没有套接口、没有路由、没有客户端装饰。 |
programStatus |
true |
是否发出 OSC 7501 上报。关掉后套接口只回答 list。 |
echo |
true |
是否把状态变化与审批决定镜像成 supervisor 读的 echo 行。 |
app |
"dsh" |
每条上报都要重述的程序名。 |
titleFrom |
"cwd-basename" |
根标题来源:cwd-basename、session-title 或 none。 |
socketDir |
$DSH_HOME/supervision |
注册表与套接口目录。 |
它读取的环境变量:
| 变量 | 读取方 | 作用 |
|---|---|---|
DSH_HOME |
插件与 dsh-sup |
注册表目录的基路径,默认 ~/.dsh。 |
DSH_SUP_TERMINAL_ID |
插件 | 非空 ⇒ 额外叠加一条进程内 tty 通路;控制套接口与注册表照常打开。 |
DSH_SUP_TERMINAL_NAME |
插件 | 状态路由上报的 supervisor 标签,默认 dsh-sup。 |
HC_TERMINAL_ID |
插件 | herdr-core 兼容:同一条通路,仅在 DSH_SUP_TERMINAL_ID 未设置或为空时读取。 |
HC_TERMINAL_NAME |
插件 | herdr-core 兼容:标签,仅在 DSH_SUP_TERMINAL_NAME 未设置或为空时读取。 |
两个 DSH_SUP_* 变量及其 HC_* 兼容变量都只被本包读取、从不写入。
不变量
改动不能破坏这些:
- 一个会话一条桥接。第二个认领者拿到
busy并被断开;套接口与进程内 tty 可以同时分别桥接不同会话,但同一会话在两条通路上仍只有一条桥接。 - 一条记录整体替换。每次上报都要重述每个字段,清除也一样;没有增量更新。
- 挂起的审批压过正在跑的一轮。根词优先级
blocked>working>done/error/idle。 - 卸载先结账。桥接离开、回收、插件卸载或提问方撤回时,每个挂起的提问都以
cancelled结掉——失败关闭,绝不留下悬挂。 - 终端变量只读。进程内通路与它的标签由环境选择,不由配置选择;本包从不写这些变量。
- 上限是硬限制。整条 OSC 7501 序列 < 4096 字节,title 192 字节,
msg2048 字节,id 128 字节(按/分段,每段 ≤32 字节,最多 8 段);单帧 64 KiB。
链接
| 文档 | 内容 |
|---|---|
| CHANGELOG.md | 已发布的变更 |
许可证
以 MIT 许可证发布——以 package.json 里的 license 字段为准。