dsh-sandbox-micro

English

DeepSeek Harness 的 microsandbox 插件 bundle：把模型可见的 ctx.shell 替换为 Linux 微虚拟机 中的 bash -c 执行器，同时保留一个直接面向 ctx.sandbox seam 的 provider。

安全模型

• 不使用 cmd.exe 或其他 shell 包装不可信 argv。Windows 上历史实现通过 cmd /c 启动 npm .CMD shim，会让模型命令中的 & / 引号 / %VAR% 被宿主机 shell 解析。本插件改为直接运行 microsandbox 依赖自带的 Node shim（node .../bin/microsandbox.cjs），并显式拒绝 .CMD / .BAT 覆盖路径。
• fail-closed：首次 confinement 前会探测 msb --version 和 msb doctor（检查宿主虚拟化前置条件）；失败时缓存判决并抛出 SANDBOX_UNAVAILABLE，绝不退回未隔离执行。
• 执行期 runner 失败可识别：runnerFailureRules 按 msb 0.6.9 的真实 stderr 方言校准，覆盖镜像拉取、挂载路径、沙箱启动和无效配置错误。
• 默认 --no-net；可通过 allowNetwork: true 显式放开。

架构

这个包暴露两个 Cordis 入口：

cordis.patch.yml 会：

• 禁用官方 sandbox / bash-sandbox / pwsh-sandbox row
• 插入 sandbox-micro 与 shell-micro
• 全平台启用 tool-bash
• 禁用 tool-pwsh（其 PowerShell 方言无法运行在 Debian guest 中）

前置条件

• Node ^22.19.0 || >=24.0.0
• microsandbox 0.6.9+（已作为 dependency 随包安装）
• Windows：Windows Hypervisor Platform；Linux/macOS：msb 支持的本地后端
• 镜像必须包含被包装的程序；默认 debian 包含 bash 与常用 coreutils

安装

Profile Bundle（推荐）

dsh plugin --profile web add github:omdsh-dev/dsh-sandbox-micro
dsh plugin --profile headless add github:omdsh-dev/dsh-sandbox-micro

包内 dsh.bundle.patch 会在安装后自动加入 profile layer stack。

本地 tarball

npm pack
dsh plugin --profile web add ./deepseek-ai-dsh-sandbox-micro-0.0.1.tgz

验证

dsh --profile web --dump-config | grep -E 'sandbox-micro|shell-micro'
dsh run "运行 bash 命令验证"

配置

shell-micro 继承 dsh-bash-local 的全部字段，并增加：

sandbox-micro 使用同一组 microsandbox 字段。

策略映射

已知边界

• guest 根文件系统、/tmp 是每次命令独立的可写层，退出后丢弃；策略语义针对宿主机文件效果。
• ShellExecSpec.workdir 必须在 sandboxPolicy.workspaceRoot 内，否则拒绝执行。
• 只提供 bash shell；PowerShell 工具由 patch 禁用。
• 模型可见文件路径从宿主机路径切换为 Linux /work 视图；文件工具仍在宿主机路径上工作，二者通过 workspace mount 保持一致。

测试

npm run check       # typecheck + 单元测试 + build
npm run test:e2e    # 可选：真实启动 microVM 的冒烟测试

许可

MIT