El reporte vuelve al modelo
Corre hoyEl ciclo de un modelo sobre GrailAOS: describe la solución, la compila, la prueba, la publica, la opera y la corrige con lo que le devuelve el compilador.
LLM-first
El modelo escribe, lee y opera la solución
En GrailAOS™, el Agent Operating System de Omniatix™, «LLM-first» quiere decir algo concreto: el modelo escribe la solución, lee lo que el sistema le devuelve y la opera.
El origen
GrailAOS nació para hacerle la vida fácil a los modelos
GrailAOS empezó con una pregunta: qué necesita un modelo para entender una solución de negocio, escribirla, probarla y operarla sin adivinar.
GrailAOS nació para hacerle la vida fácil a los modelos: que un modelo entienda, escriba, pruebe y opere una solución de negocio sin tener que adivinar.
Límite Es el relato del fundador sobre el origen del proyecto: cuenta una intención, no mide un resultado.
Lo que de esa idea ya corre en GrailAOS
- Corre hoyUna pregunta detrás de cada decisión de diseño
- Corre hoyDiagnósticos escritos para un modelo
- Corre hoyLas pruebas al lado de cada pieza
Este sitio hace lo mismo
Este sitio hace lo mismo con quien lo lee: cada página en , un índice para modelos, un de sólo lectura y el sello de cada afirmación.
La tesis
Autor, lector y operador
Cada uno de los tres papeles del modelo tiene una parte del sistema pensada para él.
Cada decisión de diseño de GrailAOS se toma con una pregunta: qué opción le hace más fácil a un modelo entenderla, generarla bien al primer intento y corregirla cuando falla.
Autor
Corre hoy- El modelo
- Declara la solución en documentos de texto.
- GrailAOS le da
- Piezas que se nombran entre sí, y herramientas que le dicen qué hay disponible.
Lector
Corre hoy- El modelo
- Lee lo que le devuelve el y corrige con eso.
- GrailAOS le da
- Todos los errores en un reporte, cada uno con su arreglo y su confianza.
Operador
Corre hoy- El modelo
- Prueba, publica versiones y vuelve atrás.
- GrailAOS le da
- Versiones sin reconstruir y un reporte de pruebas que separa lo validado de lo simulado.
El ciclo
El compilador cierra el ciclo
El compilador y las pruebas le contestan al modelo, y el modelo corrige hasta que la solución compila y pasa sus pruebas.
Corre hoy
El diagrama en texto
- Describir. El modelo declara la solución en documentos de texto.
- Compilar. El compilador devuelve todos los errores en un reporte escrito para un modelo.
- Probar. Con lo externo simulado y un modelo juez para lo que no se compara al pie de la letra.
- Publicar. En vista previa y en , sin reconstruir la imagen.
- Operar. En los canales, con personas cuando hace falta.
- Corregir. Hasta que la solución compila y pasa sus pruebas.
Hasta que pasa sus pruebas
Corre hoyEl mismo modelo diseña y escribe la solución: el compilador le devuelve lo que está mal, el modelo corrige, las pruebas exactas y un modelo juez le dicen qué falla, y el ciclo se repite hasta que compila y pasa sus pruebas. Así se programa cualquier solución que el pueda expresar.
Límite Por defecto, un caso de agente corre en modo simulado y no prueba al modelo; el juez se pide en las pruebas.
Arreglos que se verifican
ParcialAlgunos errores frecuentes tienen un arreglo automático y determinístico; para el resto, el modelo corrige con lo que le devuelve el compilador, que vuelve a verificar la solución.
Límite El ciclo asistido corre sólo en la línea de comandos.
Diagnósticos
Diagnósticos escritos para un modelo
Un mensaje de error pensado para una persona puede ser breve y dar por sabido el contexto. Uno pensado para un modelo tiene que traer todo lo necesario para corregir sin adivinar. Así está pensado cada diagnóstico del compilador de GrailAOS.
Todo en una pasada
Corre hoyQué hace
El reporte trae todos los errores de la solución, no el primero.
Por qué le sirve a un modelo
El modelo corrige la lista entera en una vuelta.
Qué, por qué, dónde y cómo
Corre hoyQué hace
Cada diagnóstico trae la regla, el lugar exacto y el arreglo, con su confianza.
Por qué le sirve a un modelo
No tiene que adivinar la regla ni buscar el lugar.
Sin red ni modelo
Corre hoyQué hace
Compilar no gasta ni depende de otro servicio, y da siempre el mismo reporte.
Por qué le sirve a un modelo
Puede compilar después de cada cambio y comparar dos corridas.
Códigos estables
ParcialQué hace
Los códigos de diagnóstico se agregan y no se reutilizan.
Por qué le sirve a un modelo
Lo que un modelo automatiza hoy sigue valiendo mañana.
Límite La prueba que los protege cubre una parte de los códigos.
Al primer intento
Piezas pensadas para salir bien al primer intento
Corregir es parte del ciclo, pero cada vuelta cuesta. Por eso las piezas se diseñan para que un modelo las escriba bien de entrada, y para que lo que salga a medias se pueda arreglar.
Texto, no un lienzo
Corre hoyCómo es
La solución se escribe como texto, sin editor visual, y el dibujo que muestra un panel sale del compilador.
Por qué le sirve a un modelo
El texto es lo que un modelo de lenguaje mejor sabe, y un dibujo que sale del compilador no puede contradecir a los documentos.
Principios que no se negocian
Corre hoyCómo es
Texto primero, autocontenido, testeable por defecto y con formas predecibles, y ningún cambio puede hacerle más difícil a un modelo escribir bien una solución.
Por qué le sirve a un modelo
Lo que se suma al lenguaje se juzga primero por cómo lo escribe un modelo.
Las piezas se nombran entre sí
Corre hoyCómo es
Un agente nombra sus herramientas; un proceso, sus agentes; una tarea, su proceso.
Por qué le sirve a un modelo
Un nombre roto falla al compilar, no en una conversación.
El modelo pregunta qué hay
Corre hoyCómo es
El le dice al modelo constructor qué piezas y capacidades tiene.
Por qué le sirve a un modelo
Escribe con lo que existe, no con lo que supone.
La prueba al lado de la pieza
Corre hoyCómo es
Los casos viven dentro de los agentes y procesos, con lo externo simulado.
Por qué le sirve a un modelo
Escribe la pieza y su prueba juntas.
Límite Un proceso que corre solo no se prueba entero en un caso: se prueban sus agentes.
Límite Por defecto, un caso de agente corre en modo simulado.
La evidencia
Construido con agentes de código
GrailAOS no sólo está pensado para modelos: se construye con agentes de código, y las soluciones también.
Proporción de con atribución a Claude, medida en los repositorios
- 72,5%Proporción de commits con atribución a Claude
- 88,6%Proporción de commits del runtime con atribución a Claude
- 52,6%Proporción de commits de la especificación con atribución a Claude
Cómo se mide: el porcentaje de los commits de la rama principal, sin las fusiones, cuyo mensaje lleva una atribución a Claude. Mide qué parte del trabajo se declaró hecha con un agente de código, no quién decidió.
Con agentes de código
Corre hoyGrailAOS se construye con agentes de código: sin contar las fusiones, el 72,5% de los commits de la especificación y del runtime lleva atribución a Claude.
También las soluciones
Corre hoyLas soluciones también se construyen y se operan con agentes de código, desde el requerimiento hasta la publicación, la operación y el cambio de versión.
La diferencia
¿En qué se diferencia GrailAOS?
Constructores visuales, automatización, de agentes y plataformas conversacionales tienen centros de diseño distintos, y cada uno conviene en su caso.
Lo que cambia el centro del diseño
- Corre hoyLa unidad es la solución entera, declarada en documentos de texto versionados
- Corre hoyUn compilador la verifica entera antes de que algo corra
- Corre hoyUn ajuste después del lanzamiento sale como versión nueva, sin reconstruir y con
Cuándo conviene otra herramienta: si lo que se necesita es un catálogo grande de integraciones listas, un editor visual o el código abierto.
Determinismo
Determinístico donde tiene que serlo
Un modelo no responde siempre igual, y el diseño cuenta con eso: es determinístico lo que tiene que serlo, y las pruebas separan lo validado de lo simulado.
Determinismo acotado
Corre hoyLo determinístico está acotado: el compilador, la identidad del contacto y la asignación del canary dan el mismo resultado ante la misma entrada; las respuestas del modelo no.
Modo real y modo simulado
Corre hoyEn las pruebas, todo lo externo se simula, y un caso corre con el modelo real o en modo simulado: el reporte distingue lo que validó al agente de lo que sólo se simuló.
Límite Por defecto, un caso de agente corre en modo simulado.
Preguntas
Preguntas frecuentes
¿Qué es determinístico y qué no?
El compilador, la identidad del contacto y la asignación del canary dan el mismo resultado ante la misma entrada. Las respuestas del modelo no: los agentes corren con una temperatura distinta de cero, así que dos respuestas a la misma pregunta pueden diferir.
Markdown Texto plano con marcas simples para títulos, listas y enlaces, que leen bien las personas y los modelos.MCP Model Context Protocol: un protocolo abierto para que un modelo use las herramientas y los datos que ofrece otro servidor.Compilador En GrailAOS, la pieza que revisa la solución entera antes de que algo corra y dice de cada error qué pasó, dónde y cómo arreglarlo.Canary Una versión nueva que recibe primero sólo una parte de los usuarios, para verla andar antes de dársela a todos.Lenguaje En GrailAOS, la manera de declarar una solución en documentos de texto: sus agentes, procesos, herramientas, conocimiento, pruebas y demás piezas.Token La unidad en que un modelo lee y escribe texto, y en la que cobran los proveedores: unas pocas letras por token.Runtime El motor que hace correr un programa ya escrito. En GrailAOS, el que opera la solución ya compilada.Commit Un cambio guardado en el historial del código, con un identificador único que permite saber de qué versión sale algo y volver a ella.Framework Un conjunto de bibliotecas sobre el que se programa una aplicación en código.Rollback Volver a la versión anterior cuando la nueva no anda bien. En este sitio, «vuelta atrás».