What it is
A Cordis plugin suite pairing Jev (TypeSafe System One decision models) with DeepSeek Harness (dsh), adding semantic judgement dsh lacks: dynamic tool pruning, semantic dead-loop blocking, and a guard for high-risk execution.
How it uses Jev
Jev answers non-generative primitives (Noul, Choice, Score) on tool-call state. typesafe-loop-guard judges progress at tools/post-execute and injects a corrective hint; typesafe-safety-guard reviews shell and file operations at tools/pre-execute and returns deny or ask; typesafe-tool-pruner injects only top-K relevant tools.
Primitives:choicescorenoul
Technique worth stealing
Batch many typed questions into one System One call so verdicts are fast, reproducible and cheap rather than sampled.
Try it
dsh plugin --profile add github:zhangxaochen/dsh-jev, or dsh plugin --profile headless add dsh-jev.
Evidence
Each line is one question put to Jev about the README. ≥ 0.60 reads as yes, ≤ 0.40 as no; in between Jev is not making a call.
- Jev-centricyes0.82
- Shows a System One patternyes0.81
- Handles uncertaintyno0.07
- Measuredno0.35
- Runnableyes0.94
- Worth recommendingunclear0.41
- Model replicano0.07
- Problem scopescore on a 0–2 scale1.05
- About Jevyes0.98
Signals by Jev jev-1.13.0, card written by DeepSeek V4.1 Flash from the README on 20 Sept 2026.