Jev AI Dev · utviklerguide

Hva er System One-AI-modellen? En utviklerguide til Jev.

System One er TypeSafes klasse av AI-modeller som gjør ustrukturert applikasjonstilstand om til typede svar og sannsynligheter. Jev er den første implementasjonen: en avgrenset beslutningskomponent for applikasjonskode.

Inndata
Tekst, JSON eller tekstlister
Utdata
Choice, Score eller Noul
Kontrollflyt
Styres av koden din

Dette er en uavhengig utviklerguide. Produkt- og ytelsesopplysninger kommer fra TypeSafe. Test Jev med egne data før bruk i produksjon.

System Onestate → decisions
state

«Jeg ble belastet to ganger og trenger at dette løses i dag.»

choicefakturering0.96
noulhaster0.88
scorefrustrasjon1.7 / 2
if (confidence < threshold) → review
Modellklassen

En System One-modell er en beslutningsprimitiv for applikasjonskode.

En System One-modell forstår betydningen av inndata, men fortsetter ikke en samtale og skriver ikke et svar. Du angir først spørsmålet og tillatt svarform; modellen returnerer en avgrenset vurdering som programmet kan kontrollere.

01

Forstå tilstanden

Modellen tolker naturlig eller strukturert tekst: en supportsak, en Agent-sporing, en produktpost eller en spilltilstand.

02

Hold kontrakten

Applikasjonen definerer svarrommet før kallet. Modellen velger et alternativ, vurderer på en skala eller evaluerer et ja/nei-utsagn.

03

Vis usikkerhet

Hvert svar har et sannsynlighetssignal. Choice og Score oppsummerer også fordelingen som confidence.

04

Sett sammen med kode

Terskler, regler, handlinger, nye forsøk, fallback og menneskelig kontroll forblir i vanlig kode.

Jev i en arbeidsflyt

Slik integrerer utviklere Jev i applikasjonskode.

Jev gjør ett modellkall om til flere beslutningssignaler. Den nyttige enheten er ikke en chatrunde, men en liten, typet kontrakt mellom modell og applikasjon.

Inndata

1. Bygg tilstanden

Send informasjonen som trengs for beslutningen. Jev tar nå tekstbaserte inndata: strenger, JSON-objekter og tekstlister.

Kundemelding + kontodata
Kontrakt

2. Definer spørsmål

Navngi hvert spørsmål, velg primitive og beskriv alternativer eller skala. Flere uavhengige spørsmål kan sendes i samme forespørsel.

team · hast · frustrasjon
Modell

3. Jev vurderer

Jev returnerer et typet svar og sannsynlighet per spørsmål. Choice og Score inneholder også confidence.

fakturering · 0,93 · høy confidence
Applikasjon

4. Koden bruker reglene

Kombiner utdata med deterministiske kontroller. Kjør tydelige tilfeller med lav risiko; send uklare eller viktige tilfeller til et menneske eller en reasoning-modell.

rut · spør · vurder · stopp

Tre svarformer

Choicebilling

Hvilket team skal håndtere saken?

Velger ett alternativ fra et definert sett og returnerer sannsynligheten for hvert alternativ.

Score1.43 / 2

Hvor alvorlig er problemet?

Plasserer inndata på en beskrevet, ordnet skala; resultatet kan ligge mellom nivåer.

Noul0.95

Ber henvendelsen om refusjon?

Vurderer et ja/nei-utsagn og returnerer sannsynligheten for «ja».

Argumentet

Hvorfor TypeSafe bygde et modellgrensesnitt for programvare.

Generative modeller lager fleksible strenger for mennesker. TypeSafe mener programvare trenger en smalere intelligens: innebygd i kode, repeterbar, med synlig usikkerhet og tydelig kontrollflyt.

01

Strenger er fleksible, men åpne

Utdata kan være tekst, kode, JSON, en avvisning eller ugyldig format. Applikasjonen må ofte parse, validere og håndtere feil før handling.

02

Automatisering trenger grenser

Når modellen kjører i bakgrunnen, må programmet kjenne mulige utfall og handlingene hvert utfall kan utløse.

03

Usikkerhet må endre flyten

En sannsynlighetsfordeling gjør det mulig å automatisere tydelige tilfeller og sende uklare via en sikrere rute.

04

Små beslutninger må kunne settes sammen

En kompleks flyt kan deles i fokuserte semantiske vurderinger og kobles med deterministisk logikk i stedet for ett stort prompt.

Hvor det passer

Hvor System One AI passer i utviklerarbeidsflyter.

De beste kandidatene skjer ofte, krever forståelse av rotete inndata og leder til få handlinger som applikasjonen allerede kan utføre.

01

Supportdrift

Klassifiser saker, finn hensikt og hast, vurder stemning og send usikre tilfeller til kontroll.

Fakturering, teknisk, konto eller noe annet?
02

Agentstyring

Velg modell eller verktøy, avgjør behov for retrieval, sjekk fullstendighet eller vurder et foreslått verktøykall.

Skal Agenten fortsette, prøve igjen eller eskalere?
03

Rangering og relevans

Vurder en kandidat mot forespørsel, profil, regel eller kontekst og kombiner signalet med forretningsregler.

Hvor relevant er kandidaten for forespørselen?
04

Sikkerhet og verifisering

Vurder meldinger, utdata, spor eller kodeendringer etter tydelige kriterier; høy risiko holdes bak deterministiske porter.

Bryter dette den angitte regelen?
05

Sanntidsinteraksjon

Velg tillatte handlinger for spill, simuleringer, grensesnitt eller enheter uten å generere et langt svar.

Hvilken tillatt handling passer best til tilstanden?
06

Dataoperasjoner

Gjør mange poster om til kategorier, scorer, flagg og egenskaper for senere systemer.

Hvilken kategori og risikograd har posten?

Godt egnet

Alternativene er kjent, inndata er semantisk komplekse, beslutningen gjentas, latenstid betyr noe, og koden har en handling eller fallback for hvert resultat.

Lite egnet

Du trenger original tekst eller kode, dyp flertrinns resonnering, bred research, forklaring, multimodale inndata eller utfall som ikke kan defineres på forhånd.

System One og generative LLM-er

System One og generative LLM-er har ulike roller i en AI-stack.

Begge kan forstå språk, og en LLM kan også få strukturert utdata. Den dypere forskjellen er hva modellen er laget for å levere, og hvordan programvaren bruker det.

AspektJev / System OneVanlig generativ LLM
HovedoppgaveVurdere definerte utfallGenerere fortsettelse eller svar
Naturlig utdataTypet valg, score eller ja-sannsynlighetTokenfølge: tekst, kode, JSON eller annet
SvarromAngitt før kalletGrunnleggende åpent, selv med schema for sluttformat
UsikkerhetSannsynlighet for hvert svar; confidence for Choice og ScoreKan ha token-sannsynligheter eller selvrapportert sikkerhet, sjelden et oppgavekalibrert signal
SamplingIfølge TypeSafe vurderes spørsmål og utdata paralleltVanligvis sekvensielt, token for token
StyrkerHyppige semantiske grener, scoring, routing og kontrollSkriving, dialog, kode, syntese og åpen resonnering
HovedfeilTypemessig gyldig, semantisk feil beslutningFeil, dårlig formatert, udokumentert eller avsporet innhold
SystemrolleAvgrenset beslutningskomponent i synlig kodeFleksibel generator eller reasoning-modell, ofte med større orkestrering

For utviklere som vurderer System One utover Jev, vises samme fellesskapsmodul som på Projects-siden. Den skiller selvstendig trente modeller fra Jev-lignende grensesnitt på eksisterende vekter.

System One

Fellesskapets System One-økosystem

Disse modellene og grensesnitteksperimentene fra fellesskapet er inspirert av Jev eller utforsker lignende metoder for strukturerte beslutninger. De er ikke offisielle Jev-versjoner fra TypeSafe og inngår ikke i GitHub-rangeringen over.

FellesskapsmodellQwen3.5-9B

Bespoke Nimble

En Jev-inspirert LoRA-adapter med treningsoppskrift for valg og ja/nei-spørsmål. Kjører lokalt og tar bare imot tekst.

GitHub
FellesskapsmodellQwen3-0.6B

NanoJev

En liten modell med beslutningshoder, publisert treningskode og spilldemoer for å teste valg av handlinger.

GitHub
FellesskapsmodellQwen3.5-2B

decider

En finjustert modell som gir sannsynligheter for strukturerte spørsmål i én gjennomkjøring. Støtter foreløpig bare engelsk.

GitHub
FellesskapsmodellModernBERT 151M

Verdict

En liten encoderbasert beslutningsmodell med publiserte vekter og en WebGPU-demo i nettleseren.

GitHub
FellesskapsmodellQwen3.5-0.8B

Dohnuts

En multimodal beslutningsmodell på 0,8B med publiserte vekter, treningskode og evalueringer. Den behandler tekst og bilder i én kjøring; vektene er for ikke-kommersiell forskning.

GitHub
GrensesnitteksperimentDiffusionGemma 26B-A4B

OpenJev

Bruker den eksisterende DiffusionGemma-modellen til å svare på strukturerte spørsmål via et Jev-lignende API. Publiserer ikke nye modellvekter.

GitHub
GrensesnitteksperimentOpen-model logits

Simple Jev

Vurderer mulige svar med eksisterende åpne modeller via et Jev-lignende grensesnitt. Publiserer ikke nye modellvekter.

GitHub
GrensesnitteksperimentSpark-X2.5-4B

Rizzo Flow

En lokal Jev-kompatibel server som leser svarlogiter fra Spark-X2.5. Spørsmål deler samme prefill av tilstanden, og prosjektet har både lekeplass og ytelsestester.

GitHub
GrensesnitteksperimentAny causal LLM

AnyJev

Et verktøy som gjør kausale språkmodeller om til typede beslutningsmodeller uten trening, med korrigering for rekkefølgebias, valgfri kalibrering og reproduserbare tester.

GitHub
GrensesnitteksperimentQwen3.5 / DeBERTa

local-jev

En frakoblet Jev-kompatibel server for Qwen eller DeBERTa, testet med den offisielle SDK-en og med publiserte JevBench-resultater.

GitHub

Uavhengige prosjekter fra miljøet, ikke offisielle Jev-versjoner.

Primærkilder

Les påstandene i sammenheng.

Denne Jev AI Dev-guiden forklarer TypeSafes ramme med egne ord. Bruk de offisielle kildene for API-detaljer, produktpåstander, evaluering og oppdateringer.

Test formen, ikke bare ideen

Begynn med én beslutning applikasjonen allerede tar.

Definer svarene, samle representative eksempler, bestem håndtering av usikkerhet og sammenlign Jev med dagens regler eller modeller. Ikke automatiser beslutninger med stor konsekvens direkte.

Prøv Jev i Playground Se Jev-prosjekter