Entender el estado
Interpreta texto natural o estructurado: un ticket, la traza de un Agent, un registro de producto o el estado de un juego.
System One es la clase de modelos de IA de TypeSafe que convierte estados no estructurados de una aplicación en respuestas tipadas y probabilidades. Jev es su primera implementación: un componente de decisión acotado para el código de la aplicación.
Esta es una guía independiente para desarrolladores. Los detalles del producto y las afirmaciones de rendimiento se atribuyen a TypeSafe. Prueba Jev con tus propios datos antes de usarlo en producción.
state → decisions«Me han cobrado dos veces y necesito resolverlo hoy.»
if (confidence < threshold) → reviewUn modelo System One interpreta el significado de una entrada, pero no continúa una conversación ni redacta una respuesta. Primero declaras la pregunta y la forma de respuesta permitida; el modelo devuelve un juicio acotado que el programa puede inspeccionar.
Interpreta texto natural o estructurado: un ticket, la traza de un Agent, un registro de producto o el estado de un juego.
La aplicación define el espacio de respuestas antes de la llamada. El modelo elige una opción, puntúa en una escala o evalúa una proposición binaria.
Cada respuesta expone una probabilidad. Choice y Score también resumen la distribución mediante confidence.
Los umbrales, políticas, efectos, reintentos, alternativas y revisiones humanas siguen en manos del código normal.
Jev convierte una llamada al modelo en varias señales de decisión. Para un desarrollador, la unidad útil no es un turno de chat, sino un contrato pequeño y tipado entre modelo y aplicación.
Envía la información necesaria para decidir. Jev acepta actualmente entradas basadas en texto, como cadenas, objetos JSON y listas de texto.
Mensaje del cliente + datos de cuentaNombra cada pregunta, elige su primitive y describe las opciones o la escala permitidas. Varias preguntas independientes pueden ir en una solicitud.
equipo · urgencia · frustraciónJev devuelve una respuesta tipada y una señal de probabilidad por pregunta. Choice y Score incluyen además una confidence separada.
facturación · 0,93 · confidence altaCombina la salida con comprobaciones deterministas. Actúa en casos claros y de bajo riesgo; deriva los ambiguos o importantes a una persona o modelo de razonamiento.
enrutar · preguntar · revisar · detenerbillingSelecciona una opción de un conjunto predefinido y devuelve la probabilidad de cada opción.
1.43 / 2Sitúa la entrada en una escala ordenada y descrita; el resultado puede quedar entre dos niveles.
0.95Evalúa una proposición sí/no y devuelve la probabilidad de “sí”.
Los modelos generativos producen cadenas flexibles para personas. TypeSafe propone que el software necesita una inteligencia más acotada: integrable en código, repetible, capaz de mostrar incertidumbre y de mantener visible el flujo de control.
La salida puede ser texto, código, JSON, un rechazo o un formato inválido. La aplicación suele tener que analizar, validar y recuperarse antes de actuar.
Cuando el modelo funciona en segundo plano, el programa debe conocer de antemano los resultados posibles y las acciones que cada uno permite.
Una distribución de probabilidad permite automatizar casos claros y enviar los ambiguos por una ruta más segura.
Un flujo complejo puede dividirse en juicios semánticos concretos y unirse con lógica determinista en lugar de ocultarse en un gran prompt.
Los mejores candidatos ocurren a menudo, necesitan entender entradas desordenadas y conducen a pocas acciones que la aplicación ya sabe ejecutar.
Clasificar tickets, detectar intención y urgencia, estimar el sentimiento y enviar los casos inciertos a revisión.
¿Facturación, soporte técnico, cuenta u otra cosa?
Elegir modelo o herramienta, decidir si hace falta recuperación, comprobar si el resultado está completo o revisar una llamada propuesta.
¿Debe el Agent continuar, reintentar o escalar?
Puntuar la correspondencia de un candidato con una consulta, perfil, política o contexto y combinarla con reglas de negocio.
¿Qué relevancia tiene este candidato para la solicitud?
Evaluar mensajes, resultados, trazas o cambios de código con criterios explícitos; los resultados de alto riesgo quedan tras controles deterministas.
¿Incumple la regla indicada?
Elegir acciones permitidas para juegos, simulaciones, interfaces o dispositivos sin generar una respuesta larga.
¿Qué acción permitida encaja mejor con este estado?
Convertir grandes volúmenes de registros en categorías, puntuaciones, indicadores y características para sistemas posteriores.
¿Qué categoría y nivel de riesgo tiene este registro?
Las opciones se conocen, la entrada es semánticamente compleja, la decisión se repite, la latencia importa y el código tiene una acción o alternativa para cada resultado.
Se necesita texto o código original, razonamiento profundo de varios pasos, investigación amplia, explicación, entrada multimodal o resultados que no pueden definirse por adelantado.
Ambos comprenden lenguaje y un LLM también puede producir una salida estructurada. La diferencia profunda está en qué se diseña para producir y cómo lo usa el software que lo rodea.
| Aspecto | Jev / System One | LLM generativo habitual |
|---|---|---|
| Trabajo principal | Evaluar resultados predefinidos | Generar una continuación o respuesta |
| Salida nativa | Elección tipada, puntuación o probabilidad de sí | Secuencia de tokens: texto, código, JSON u otro |
| Espacio de respuestas | Declarado antes de la llamada | Abierto por naturaleza, incluso con schema para el formato final |
| Incertidumbre | Probabilidad por respuesta; confidence para Choice y Score | Puede dar probabilidades de tokens o confianza declarada, no suele ser una señal calibrada para la tarea |
| Muestreo | Según TypeSafe, preguntas y salidas se evalúan en paralelo | Normalmente secuencial, token a token |
| Fortalezas | Ramificación semántica frecuente, puntuación, enrutamiento y controles | Escritura, diálogo, programación, síntesis y razonamiento abierto |
| Fallo principal | Decisión con tipo válido pero semánticamente errónea | Contenido erróneo, mal formado, sin respaldo o fuera de tarea |
| Papel en el sistema | Componente de decisión acotado dentro de código visible | Generador o razonador flexible, a menudo con mayor orquestación |
Para desarrolladores que evalúan System One más allá de Jev, se muestra el mismo módulo comunitario de Projects. Separa modelos entrenados de forma independiente de interfaces similares a Jev construidas sobre pesos existentes.
Estos modelos y experimentos de interfaz de la comunidad se inspiran en Jev o exploran enfoques similares de decisión estructurada. No son versiones oficiales de Jev publicadas por TypeSafe ni forman parte del ranking de proyectos de GitHub.
Qwen3.5-9BUn adaptador LoRA inspirado en Jev, con receta de entrenamiento para elecciones y preguntas de sí o no. Funciona en local y solo acepta texto.
GitHubQwen3-0.6BUn modelo pequeño con cabezales de decisión, código de entrenamiento público y demos de juegos para probar la elección de acciones.
GitHubQwen3.5-2BUn modelo ajustado que devuelve probabilidades para preguntas estructuradas en una sola pasada. La versión actual solo admite inglés.
GitHubModernBERT 151MUn pequeño modelo de decisión basado en un codificador, con pesos publicados y una demo WebGPU en el navegador.
GitHubQwen3.5-0.8BUn modelo de decisión multimodal de 0,8 B con pesos, código de entrenamiento y evaluaciones publicados. Procesa texto e imágenes en una sola pasada; los pesos son para investigación no comercial.
GitHubDiffusionGemma 26B-A4BUsa el modelo DiffusionGemma existente para responder preguntas estructuradas mediante una API similar a la de Jev. No publica nuevos pesos del modelo.
GitHubOpen-model logitsPuntúa respuestas posibles con modelos abiertos existentes mediante una interfaz similar a Jev. No publica pesos de un modelo nuevo.
GitHubSpark-X2.5-4BUn servidor local compatible con Jev que lee los logits de respuesta de Spark-X2.5. Las preguntas comparten el mismo prefill del estado e incluye un entorno de pruebas y benchmarks.
GitHubAny causal LLMUn kit sin entrenamiento que convierte modelos de lenguaje causales en modelos de decisión tipada, con corrección del sesgo por orden, calibración opcional y benchmarks reproducibles.
GitHubQwen3.5 / DeBERTaUn servidor sin conexión compatible con Jev para modelos Qwen o DeBERTa, probado con el SDK oficial y con resultados de JevBench publicados.
GitHubSon proyectos independientes de la comunidad, no versiones oficiales de Jev.
Esta guía de Jev AI Dev explica el marco de TypeSafe con palabras propias. Consulta las fuentes oficiales para detalles de API, afirmaciones de producto, evaluación y novedades.
Define las respuestas posibles, reúne ejemplos representativos, decide cómo tratar la incertidumbre y compara Jev con tus reglas o modelos. No automatices directamente decisiones de alto impacto.