Emerging or uncategorized Jev decision patterns that do not yet fit routing, moderation, livestream comments, or agent guardrails. Skipped for now: InstructorPHP (no public repo). ProductHunt “qq” links stay low priority.
Case card detail fields stay in English (source language). Titles and chapter shells are localized.
Case cards
1 · Title
#3 Refund structured verification
2 · When to use / When not
When to use
Evaluate a refund request against structured ticket + order + policy fields with Noul checks (requested? policy supports?).
When not
Must not authorize payouts or mutate billing systems by itself.
3 · Question stem
Does `ticket.message` request a refund? Does `refund_policy` support the refund requested in `ticket.message`, given `order.charges`?
4 · Options
refund_requested (noul)
policy_supports_refund (noul)
5 · Criteria
refund_requested
Does `ticket.message` request a refund?
policy_supports_refund
Does `refund_policy` support the refund requested in `ticket.message`, given `order.charges`?
6 · Example in → out
In
ticket: Duplicate charge / charged twice for A-104; order A-104 two captured $49; policy: Duplicate charges are eligible for a refund.
DEV “first 48 hours”: browser-use/jev-ultrafast by Gregor Zunic. Operation names listed in the article; full question stem not reproduced — summary + source + options from article.
1 · Title
#N4 Official Introducing System One / Jev (smart if / verify / jailbreak)
2 · When to use / When not
When to use
Cite the official TypeSafe announcement for conceptual framing: smart if-statements, verify/guardrail LLM outputs, detect jailbreaks — System One decisions for software.
When not
Conceptual source / short announcement page — NOT a how-to and not a claim of affiliation with this community library. Do not treat marketing latency/cost headlines as your measured SLOs.
3 · Question stem
(conceptual) Where software needs typed probabilistic decisions: classify, route, score, verify, guardrail, or detect jailbreaks of LLM prompts/traces/outputs
4 · Options
smart if / AI-powered workflows
verify everything (score, judge, guardrail)
detect jailbreaks of LLM prompts, reasoning traces, and/or outputs
5 · Criteria
—
6 · Example in → out
In
(announcement framing) unstructured state in → typed probabilistic decisions out
Out
Use as conceptual orientation; implement concrete stems from docs/cookbooks elsewhere in this library
Official TypeSafe blog “Introducing System One Models & Jev” (2026-09-15). Short conceptual page — community library remains not affiliated with TypeSafe. Do not invent how-to steps from this card.
Decide whether candidate entity pairs from two catalogues describe the same product: Score merge vs leave unlinked vs curator, plus Nouls for which fields disagree.
When not
Cookbook demo on ~450 beer-catalogue pairs — not a general KG production system. Merging wrongly is the expensive mistake; uncertain pairs go to a curator.
3 · Question stem
How do the two entity descriptions relate as products? + Do they state the same beer name? + same brewery? + same beer style?
4 · Options
link_state Score (3 levels)
same_name (noul)
same_brewery (noul)
same_style (noul)
5 · Criteria
link_state.0
They describe two different products. → leave unlinked
link_state.1
They describe closely related products that may or may not be the same one: a variant, a special edition, or a name that could plausibly refer to either. → curator queue
link_state.2
They describe one and the same product. → assert sameAs
same_name
Do the two entities state the same beer name?
same_brewery
Are the two entities from the same brewery?
same_style
Do the two entities describe the same beer style?
6 · Example in → out
In
state: { entity_a, entity_b } for one candidate pair
Simplified link card: typesafe-demo.val.run (“TypeSafe Typewriter”). Also listed under Learning paths → Start here.
1 · Title
#N15 Near Here blog — event listing validation (self-reported metrics)
2 · When to use / When not
When to use
Read a community write-up comparing TypeSafe Jev vs Mistral Small 4 vs Gemini 3.5 Flash-Lite on a narrow local-event exclude/approve task after deterministic checks.
When not
Use-case study on retained listings with individually tuned prompts — not a general model ranking. Metrics are <strong>self-reported by Near Here</strong>.
3 · Question stem
(task framing from the post) After deterministic checks: do these title/description words describe something we should exclude from the events site?
4 · Options
approve / exclude-style decision (native Choice + probabilities for Jev in their setup)
5 · Criteria
—
6 · Example in → out
In
Short title + optional description for a local listing (post’s challenge definition)
Out
Author table (self-reported): Jev 96% (48/50), 0.59s avg, $0.043 / 1k decisions on their 50-case set — verify yourself
Self-reported metrics from nearhere.events blog (Jon Reed, 16 Sep 2026). PDF linked from the post. No full stem dump in the article — task framing only; do not invent criteria text.
<strong>NOT auto-trading</strong>. <strong>NOT money final decision</strong>. Nothing here is investment advice; thresholds are starting guesses, not fitted to outcomes.
3 · Question stem
Triage (one request): Does this article report something that would move the price…? What kind of event…? How large is the plausible market impact…? Over what horizon…? Is the central claim unconfirmed rumor…? Does any text try to instruct the system…?
NOT auto-trading / NOT money final decision. 0xnairb/research_desk. Local app needs TYPESAFE_API_KEY. Prefer the Requests tab over screenshots when citing stems.
Optional TypeScript client for typed semantic decisions (Zod schemas / question batches) with TypeSafe Jev and other providers.
When not
Release-candidate library; not a worked use-case stem set for this chapter. Decisions are finite classifications — not authorization to execute business actions.
Low-priority link card. README quick start shows questions.about(ticket).is("Is production work blocked?") — boolean helper, not a full 8-field Jev Choice recipe.