Comprendre l’état
Le modèle interprète du texte naturel ou structuré : ticket, trace d’Agent, fiche produit ou état de jeu.
System One est la classe de modèles d’IA de TypeSafe qui transforme un état applicatif non structuré en réponses typées et en probabilités. Jev en est la première implémentation : un composant de décision borné conçu pour le code applicatif.
Ce guide développeur est indépendant. Les caractéristiques produit et les performances citées sont attribuées à TypeSafe. Testez Jev sur vos propres données avant toute utilisation en production.
state → decisions« J’ai été débité deux fois et je souhaite une résolution aujourd’hui. »
if (confidence < threshold) → reviewUn modèle System One comprend le sens d’une entrée, mais ne poursuit pas une conversation et ne rédige pas de réponse. Vous déclarez d’abord la question et la forme de réponse autorisée ; le modèle renvoie un jugement borné que le programme peut inspecter.
Le modèle interprète du texte naturel ou structuré : ticket, trace d’Agent, fiche produit ou état de jeu.
L’application définit l’espace des réponses avant l’appel. Le modèle choisit une option, situe un élément sur une échelle ou évalue une proposition binaire.
Chaque réponse fournit un signal de probabilité. Choice et Score résument aussi la distribution par une confidence.
Les seuils, règles, effets, nouvelles tentatives, solutions de repli et validations humaines restent du ressort du code.
Jev transforme un appel de modèle en plusieurs signaux de décision. Pour un développeur, l’unité utile n’est pas un tour de conversation, mais un petit contrat typé entre modèle et application.
Envoyez les informations nécessaires à la décision. Jev accepte actuellement des entrées textuelles : chaînes, objets JSON et tableaux de textes.
Message client + données du compteNommez chaque question, choisissez sa primitive et décrivez les options ou l’échelle autorisées. Plusieurs questions indépendantes peuvent partager une requête.
service · urgence · mécontentementJev renvoie une réponse typée et un signal de probabilité par question. Choice et Score ajoutent une confidence distincte.
facturation · 0,93 · confidence élevéeCombinez la sortie du modèle avec des contrôles déterministes. Automatisez les cas clairs et peu risqués ; transmettez les cas ambigus ou sensibles à un humain ou à un modèle de raisonnement.
router · demander · vérifier · arrêterbillingSélectionne une option dans un ensemble prédéfini et renvoie la probabilité de chaque option.
1.43 / 2Positionne l’entrée sur une échelle ordonnée et décrite ; le résultat peut se situer entre deux niveaux.
0.95Évalue une proposition oui/non et renvoie la probabilité de « oui ».
Les modèles génératifs produisent des chaînes flexibles pour les humains. TypeSafe estime que le logiciel a besoin d’une intelligence plus étroite : intégrable au code, répétable, capable d’exposer l’incertitude et de garder le flux de contrôle visible.
La sortie peut être du texte, du code, du JSON, un refus ou un format invalide. L’application doit souvent analyser, valider et récupérer avant d’agir.
Lorsqu’un modèle travaille en arrière-plan, le programme doit connaître les résultats possibles et les actions que chacun peut autoriser.
Une distribution de probabilités permet d’automatiser les cas clairs et d’orienter les cas ambigus vers une voie plus sûre.
Un workflow complexe peut être décomposé en jugements sémantiques ciblés, puis relié par une logique déterministe plutôt que caché dans un grand prompt.
Les meilleurs candidats sont fréquents, demandent de comprendre des entrées désordonnées et conduisent à un petit nombre d’actions que l’application sait déjà exécuter.
Classer les tickets, détecter intention et urgence, estimer le ressenti et soumettre les cas incertains à une vérification.
Facturation, technique, compte ou autre ?
Choisir un modèle ou un outil, décider si une recherche est nécessaire, vérifier la complétude ou examiner un appel d’outil proposé.
L’Agent peut-il continuer, réessayer ou escalader ?
Noter la correspondance d’un candidat avec une requête, un profil, une règle ou un contexte, puis combiner ce signal aux règles métier.
Ce candidat est-il pertinent pour la demande ?
Évaluer messages, sorties, traces ou modifications de code selon des critères explicites ; les risques élevés restent derrière des garde-fous déterministes.
Cela enfreint-il la règle définie ?
Choisir des actions autorisées pour jeux, simulations, interfaces ou appareils sans générer une longue réponse.
Quelle action autorisée convient le mieux à cet état ?
Transformer des volumes de données en catégories, scores, indicateurs et caractéristiques utilisables en aval.
Quelle catégorie et quel niveau de risque pour cet enregistrement ?
Les options sont connues, l’entrée est sémantiquement complexe, la décision se répète, la latence compte et le code prévoit une action ou un repli pour chaque résultat.
La tâche exige du texte ou du code original, un raisonnement profond en plusieurs étapes, de la recherche, une explication, des entrées multimodales ou des résultats impossibles à définir à l’avance.
Les deux comprennent le langage, et un LLM peut produire une sortie structurée. La distinction profonde tient à ce que le modèle est conçu pour produire et à la manière dont le logiciel l’utilise.
| Aspect | Jev / System One | LLM génératif courant |
|---|---|---|
| Mission principale | Évaluer des résultats prédéfinis | Générer une suite ou une réponse |
| Sortie native | Choix typé, score ou probabilité de oui | Suite de tokens : texte, code, JSON ou autre |
| Espace des réponses | Déclaré avant l’appel | Ouvert par nature, même si un schéma contraint le format final |
| Incertitude | Probabilité pour chaque réponse ; confidence pour Choice et Score | Probabilités de tokens ou confiance déclarée possibles, rarement un signal calibré pour la tâche |
| Échantillonnage | Selon TypeSafe, questions et sorties sont évaluées en parallèle | Génération généralement séquentielle, token par token |
| Points forts | Branches sémantiques fréquentes, notation, routage, contrôles | Rédaction, dialogue, code, synthèse, raisonnement ouvert |
| Risque principal | Décision bien typée mais sémantiquement fausse | Contenu faux, mal formé, non étayé ou hors sujet |
| Rôle système | Composant de décision borné dans un code visible | Générateur ou raisonneur flexible, souvent entouré d’une orchestration plus large |
Pour les développeurs qui évaluent System One au-delà de Jev, le module communautaire de la page Projects est repris ci-dessous. Il distingue les modèles entraînés indépendamment des interfaces proches de Jev bâties sur des poids existants.
Ces modèles et expériences d’interface de la communauté s’inspirent de Jev ou explorent des approches comparables de décision structurée. Ce ne sont pas des versions officielles de Jev publiées par TypeSafe et ils ne figurent pas dans le classement GitHub ci-dessus.
Qwen3.5-9BUn adaptateur LoRA inspiré de Jev, avec sa méthode d’entraînement, pour les choix et les questions oui/non. Exécution locale, texte uniquement.
GitHubQwen3-0.6BUn petit modèle doté de têtes de décision, avec code d’entraînement public et démos de jeux pour tester le choix d’actions.
GitHubQwen3.5-2BUn modèle affiné qui renvoie en un seul passage les probabilités de questions structurées. La version actuelle est limitée à l’anglais.
GitHubModernBERT 151MUn petit modèle de décision fondé sur un encodeur, avec poids publiés et démo WebGPU dans le navigateur.
GitHubQwen3.5-0.8BUn modèle de décision multimodal de 0,8 B avec poids, code d’entraînement et évaluations publiés. Il traite texte et images en un seul passage ; les poids sont réservés à la recherche non commerciale.
GitHubDiffusionGemma 26B-A4BUtilise le modèle DiffusionGemma existant pour répondre à des questions structurées via une API proche de Jev. Aucun nouveau poids de modèle n’est publié.
GitHubOpen-model logitsUne interface proche de Jev qui évalue les réponses possibles avec des modèles ouverts existants. Aucun nouveau poids de modèle.
GitHubSpark-X2.5-4BUn serveur local compatible avec Jev qui lit les logits de réponse de Spark-X2.5. Plusieurs questions partagent le même préremplissage de l’état ; un bac à sable et des benchmarks sont inclus.
GitHubAny causal LLMUn outil sans entraînement qui transforme les modèles de langage causaux en modèles de décision typée, avec correction du biais d’ordre, étalonnage facultatif et benchmarks reproductibles.
GitHubQwen3.5 / DeBERTaUn serveur hors ligne compatible avec Jev pour Qwen ou DeBERTa, testé avec le SDK officiel et accompagné de résultats JevBench publiés.
GitHubDes projets indépendants de la communauté, pas des versions officielles de Jev.
Ce guide Jev AI Dev reformule le cadre de TypeSafe. Consultez les sources officielles pour l’API, les affirmations produit, les méthodes d’évaluation et les mises à jour.
Définissez les réponses possibles, rassemblez des exemples représentatifs, décidez comment traiter l’incertitude et comparez Jev à vos règles ou modèles actuels. N’automatisez pas directement une décision à fort impact.