这是什么
一套 Cordis 插件，将 Jev（TypeSafe 的 System One 决策模型）与 DeepSeek Harness（dsh）配对，补上 dsh 缺少的语义判断：动态工具裁剪、语义死循环阻断，以及高风险执行防护。
它怎么用 Jev
Jev 针对工具调用状态回答非生成式原语（Noul、Choice、Score）。typesafe-loop-guard 在 tools/post-execute 判断是否真正有进展并注入纠正提示；typesafe-safety-guard 在 tools/pre-execute 审查 shell 与文件操作并返回 deny 或 ask；typesafe-tool-pruner 只注入与意图最相关的 top-K 工具。
用到的原语:choicescorenoul
值得抄的做法
把多个带类型的问题批量合并为一次 System One 调用，使判定快速、可复现且便宜，而非采样。
怎么试
dsh plugin --profile add github:zhangxaochen/dsh-jev，或 dsh plugin --profile headless add dsh-jev。
证据
每一行都是就 README 问 Jev 的一道题。≥ 0.60 算「是」，≤ 0.40 算「否」，中间这一段 Jev 不下判断。
- Jev 是主角是0.82
- 有 System One 用法是0.81
- 处理了不确定性否0.07
- 有实测数据否0.35
- 可直接跑是0.94
- 值得推荐未判定0.41
- 是模型的复刻否0.07
- 问题普遍性按 0–2 打分1.05
- 与 Jev 相关是0.98
信号由 Jev jev-1.13.0 判定，简介由 DeepSeek V4.1 Flash 于 2026年9月20日 读 README 写成。