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-mcp ObservedAn MCP server exposing TypeSafe evaluation to coding agents.
- 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.