config.md

配置

写在 ~/.dsh/cordis.patch.yml 的插件行（或 profile patch），也可以走设置页：

- id: kernel-opt
  config:
    replay:
      timeoutSec: 1800
    loop:
      defaultBudget: 30

全部 key

key	默认	说明
benchTools	['kernel_evaluate']	计入曲线的评测工具名（精确或分隔符后缀匹配，MCP 前缀自动覆盖）
shellTools	['bash']	扫描契约行的 shell 工具名（自报通道）。命令行只做读取时不计点，见 eval-contract.md
jobTools	['job_output']	后台任务读取器，照常计点：跑得久到要放后台的 bench 仍然是 bench
profileTools	['kernel_profile']	记为 ▲ 标记的 profiler 工具名（注册工具／MCP 评测器才有；自组装评测入口的形态下不会触发）
profileCommands	ncu／nsys／nvprof／rocprof*／omniperf／vtune／perf／xctrace／instruments／sample 等	记为 ▲ 标记的 profiler 命令名，按 shell 命令行可执行位置的 token 匹配，且必须带参数（路径前缀算；time.perf_counter、python sample.py、ncu --help 都不算）
finalizeTools	['run_finalize', 'kernel_finalize']	finalize 工具名：evaluation_id 参数把对应点标为收尾选定，artifact_path 参数把该 artifact 的最优诚实点标为收尾选定（面板据此决定顶部大字报哪一个数）
changeTools	['write', 'edit']	计为「该轮改动」的结构化文件工具名，与评测的 artifact 匹配后挂到该行
replay.enabled	true	finalize 复测开关
replay.timeoutSec	900	复测命令超时（秒）
preset.install	true	「算子优化模式」preset 自动落盘开关
preset.id	kernel-opt	preset 落盘目录／id（改动后 Tab 常显示回退为信号检测）
loop.defaultBudget	20	/kloop 不带数字时的预算
supervisor.provider	无	监督模型的 provider 路由，见 loop.md
supervisor.model	无	监督模型
supervisor.reasoningEffort	模型默认值	监督模型的思考强度 id；支持值由模型适配器声明，也可在面板中选择
supervisor.language	无	通过命令启动时的复审语言；面板启动会改用本轮固定的输出语言，不写则跟随智能体
supervisor.instructions	无	本项目的加码 rubric，追加而非替换

HTTP 路由

路由	用途
GET …/series?sessionId=	即时投影
POST …/control	驱动与 slash 命令同一份循环／监督状态（含本轮输出语言，以及 supervise-use 的会话级模型／思考强度覆盖）
GET …/models	枚举 provider/model；带 provider 与 model 查询参数时返回该模型适配器声明的思考强度