What it is
A PushT study and cost module for LeWorldModel planning. It turns imagined latents into closed-vocabulary facts, asks Jev typed questions about natural-language constraints, and adds the probabilities to a CEM planner's cost. Ships oracle and keyword baselines, cached responses, and an offline paper rebuild.
How it uses Jev
Jev answers one typed yes/no question per (constraint, step) about probe facts from imagined latents, returning P(true). Python folds these into the CEM cost: max over steps for never, 1−min for always, expected rubric level for soft. Judged step-facts are memoised across candidates, iterations, replans, episodes and runs.
Primitives:choicescorenoul
Technique worth stealing
Judge closed-vocabulary probe facts with a decision model instead of an LLM, and memoise judged step-facts to collapse a 300-candidate population to a few hundred calls.
Try it
See README's 'Reproduce everything' and 'Use it in your own planner' sections.
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.79
- Shows a System One patternyes0.64
- Handles uncertaintyno0.08
- Measuredno0.18
- Runnableno0.34
- Worth recommendingunclear0.48
- Model replicano0.14
- Problem scopescore on a 0–2 scale0.99
- About Jevyes0.98
Signals by Jev jev-1.13.0, card written by DeepSeek V4.1 Flash from the README on 23 Sept 2026.