Evidence ledger
Jev exposes constrained decision primitives for Boolean probability, choice distributions, and ordered scores.
The public API documentation defines `noul`, `choice`, and `score` response shapes.
DemonstratedClaim 1
Evidence
The public API documentation defines `noul`, `choice`, and `score` response shapes.
Counterarguments
A documented interface demonstrates the contract, not the quality of decisions behind it.
Open questions
How stable are these contracts and calibration properties across model revisions?
This status describes how well the claim is supported by the collected evidence, not whether it is ultimately true. A Vendor Claim is a statement TypeSafe has made about its own product; repetition by others does not upgrade it.
Sources
Limitations
- A documented interface demonstrates the contract, not the quality of decisions behind it.
- How stable are these contracts and calibration properties across model revisions?
Where this claim matters
- TypeSafe Agent Skills ObservedTypeSafe's own published Claude Code plugin and skills.sh package that teaches coding agents to design and wire up Jev workflows.
- Probabilistic predicate + deterministic action PlausibleJev supplies fuzzy predicates while TypeScript, policies, and workflows execute constrained actions.
- Continuous Form Friction Controller Authored HypothesisA form engine deciding which question to show next, skip, verify, or escalate.
- Research Claims Authored HypothesisImportant claims with status, evidence, counterarguments, sources, and open questions.