La escalera de ontoref, el mecanismo

La misma escalera, con la salida real de ontoref ladder show, ladder audit, governs coverage y describe state. Cada peldaño declara qué lo comprueba y qué no contesta ninguna comprobación; las cifras de un peldaño nunca se ponen al lado de las de otro, y la auditoría cierra sin dar ningún peldaño por sostenido.

Cuando tu sistema dice «no lo sé»

Un informe tenía un hallazgo abierto con una severidad que, por decisión escrita, no gobierna: `unverifiable` — no puedo mirar esto desde aquí. Un agente en sesión lo leyó como defecto, construyó el plano donde la comprobación sí alcanza a mirar, y el informe pasó a cero hallazgos sin verificar ni una de las cinco citas. La charla va de eso: qué hace un sistema con lo que no puede comprobar, por qué el tercer estado sobrevive en el compilador y se evapora en un script, y qué pasa cuando la única salida del amarillo es el verde.

Instalar ontoref

El comando de abajo no es una ilustración: es exactamente el que ejecuta una comprobación desde fuera de esta máquina, contra la URL pública, sobre un directorio personal desechable, antes de cada publicación. Instala una CLI y su capa de datos — sin demonio, sin cuenta, sin credencial. Después «ontoref setup» crea la instancia de tu proyecto y «ontoref describe» responde desde ella. Lo que no hace es prometerte un resultado: ontoref sostiene lo que declaraste y te avisa cuando deja de ser cierto. Declararlo sigue siendo trabajo tuyo.

Del prompt al loop

Prompt, contexto, harness, loop — la secuencia no es una escalera de mejoras, es una serie de admisiones. Cada disciplina existe porque a la anterior la pillaron dando por supuesto algo que no tenía derecho a suponer. Y la última todavía supone una cosa: que alguien declaró qué significan «hecho» y «seguro», y que esa declaración sigue siendo cierta. Un recorrido por lo que ontoref ha ido poniendo debajo de cada estación — vocabulario declarado, provisión de contexto gobernada, comprobaciones que declaran su propia cobertura, un loop que propone su memoria y nunca la aplica — con la contraevidencia incluida: cuatro mecanismos que ya prohibían un fallo, por escrito, y ninguno disparó.

Una regla escrita no se aplica sola

No faltaban reglas: había cuatro, escritas, canónicas y consultables — y ninguna se ejecutó. Un caso real, con log y con hora, sobre la distancia entre una regla escrita y una regla que se aplica. La respuesta no es «más cuidado»: es un disparador — un hook que sirve la regla donde se decide, una puerta en una cadena que alguien llama, un contrato que rechaza el fichero. Y la parte honesta: ontoref, declarado, ya estaba, y no bastó.

¿La IA gestiona tu infra?

Por qué necesité Rust

Rustikon 2026, Varsovia. Casi cuatro décadas automatizando infraestructura, resumidas en una queja: el fallo aparece en el despliegue, nunca antes. El deck recorre las tres etapas que nos trajeron hasta aquí — local, redes, contenedores y CI/CD — y dedica su parte central a un restaurante, porque la analogía aguanta hasta el fondo: el cliente declara, el camarero valida, la cocina ejecuta, y la verdad muta en cada paso de la cadena. El camarero ES el orquestador, y es quien debería atrapar un pedido imposible antes de que llegue a la cocina. A partir de ahí el argumento se concreta: «no tenemos setas» es deriva de configuración, y el tipo Option de Rust es la negativa, a nivel de lenguaje, a fingir que un ingrediente existe — una sustitución tiene que ser explícita, trazada y reautorizada, nunca silenciosa. Tres preguntas que la cadena de herramientas habitual no responde — por qué esperamos a que las cosas se rompan, si la declaración es siquiera coherente con lo que es posible, si un CI/CD sin validación semántica es algo más que esperanza continua — y luego Rust y Nickel contra cada una: esquemas validados al compilar la configuración, una fuente de verdad tipada, traits como proveedor, contratos, grafo de dependencias, remediación tipada. La parte medible: MTTR de más de 30 minutos a menos de 5. La parte que no se puede medir, y la razón del título: el miedo. No es evangelismo — las herramientas no eran el problema, ni los lenguajes. El problema era el paradigma.

Ontoref: Ontología y Reflexión

Las diapositivas de la presentación de Ontoref: por qué la ontología y la reflexión de un proyecto deben vivir con el código, versionadas y verificables. Carrusel navegable + PDF descargable.