Babel no necesita un traductor. Necesita un testigo.

Nicolas Figay ha publicado «The Ontology Illusion: When Representation Is Mistaken for Meaning», y el argumento merece leerse despacio. Su tesis, comprimida: los LLM y las plataformas de grafos generan hoy artefactos semánticos a coste casi nulo, esos artefactos no son ontologías en el sentido que la ingeniería ontológica lleva décadas afinando — una conceptualización compartida entre comunidades — y tomar el parecido por la cosa produce una ilusión nueva: que la interoperabilidad se ha vuelto un problema de ingeniería que el AI ya resolvió.

Es cuidadoso con su propio texto, que es más de lo que consiguen la mayoría de ensayos así. Su nota final lo llama «deliberadamente provocador y retórico», dice que escenifica una premisa con la que se topa una y otra vez en lugar de defenderla como cerrada, y admite que está en tensión con su propia posición — y señala The Other Ceiling y Beyond Explainable AI como el fundamento completo. Leído solo, el ensayo lo dejaría defendiendo la ingeniería ontológica clásica como línea base estable, y no lo hace: dice que su techo estaba ahí primero y nunca llegó al material de venta. El segundo de esos dos se titula «Beyond Explainable AI: From Symbol Processing to Semantics in a World of Babel» — la Babel del titular de arriba es suya antes que nuestra, y el título de este texto responde a esa pieza tanto como al ensayo. Así que esto no es una refutación, y tampoco es la lectura de un solo texto. Casi todo se sostiene aquí, y una parte cayó sobre este proyecto como una corrección.

Donde no hay nada que discutir

Su sección 8 dice que el significado no se genera: no emerge de los datos, no se extrae del texto, no lo computa un modelo. Emerge por interpretación, negociación, práctica, institucionalización.

Eso es, casi palabra por palabra, un axioma sobre el que este protocolo está construido — salvo que enunciado como mecanismo y no como observación. El ADR-056 lo pone así: el conocimiento es acreditado, no deducido ni generado; la salida deducida o generada — incluida la de un agente de AI — no es conocimiento utilizable hasta que está firmada. Lo que produce un modelo no entra en el conjunto verificable por ser verosímil. Entra por estar atestiguado, y el testimonio lo puede comprobar alguien que no estaba delante.

«Beyond Explainable AI» llega al mismo suelo por otro camino — desde la filosofía de la representación y no desde la alucinación de los agentes. «La máquina nunca manipula “significado” en el sentido humano», escribe allí: un razonador OWL y un transformer hacen, formalmente, la misma clase de cosa con símbolos, y la distorsión vive en la cadena que va de la realidad a la interpretación, no en la honradez de la máquina. Dos llegadas independientes al mismo sitio, que es lo único que hace que el acuerdo valga algo — ninguna de las dos es un dato que la otra pueda citar como prueba.

La diferencia entre su frase y esa no es la afirmación. Es que una frase en un ensayo es un consejo, y un validador que rechaza estado sin firmar es un suelo. Son la misma idea; sólo una de las dos sostiene peso a las cuatro de la mañana, cuando un agente está convencido y equivocado.

Su sección 5 acierta igual de limpio. «80% correcto» es una métrica engañosa porque ese 20% que falta no es ruido repartido al azar: contiene precisamente las distinciones que importan para coordinarse. El capítulo del libro de este proyecto que cubre ese mismo terreno lo dice como todo modelo es una pérdida elegida — la madurez no es el mapa completo, es saber qué sacrificaste al elegir éste.

«The Other Ceiling» llega ahí desde la lógica formal y no desde la epistemología, y añade lo que al capítulo le falta: la pérdida fue una decisión de diseño, tomada a conciencia y con nombre. «Las lógicas descriptivas se diseñaron por una razón: cambiar expresividad por decidibilidad.» De modo que OWL DL nunca se construyó para cargar con la complejidad entera de un dominio — sólo con el fragmento que sigue siendo decidible — y «los profesionales aprendieron a modelar rodeando el techo en vez de contra él». Eso es lo que hace que el argumento del ensayo no sea una queja sobre el AI: el techo que describe no es nuevo, y la disciplina contra la que lo mide tuvo el suyo antes, y rara vez lo puso en el folleto.

La palabra es un homógrafo, y nunca lo habíamos declarado

Esto es lo que el ensayo nos costó de verdad, y es la única parte de este texto que es noticia en vez de acuerdo.

En la tradición que el ensayo describe — ingeniería ontológica, web semántica —, una ontología es un artefacto cuyo valor entero es el acuerdo entre comunidades. En este protocolo, una ontología es el sujeto declarado de un proyecto — sus axiomas, sus tensiones, su estado — cuyo valor entero es ser refutable contra ese proyecto. Los dos sentidos son legítimos y no son el mismo. Quien llega del mundo semantic-web y ejecuta ontoref describe project espera un vocabulario controlado y compartido, y encuentra el modelo que un sistema tiene de sí mismo.

Ninguno de los dos registros que gobiernan el vocabulario aquí lo decía. El léxico gobierna cómo se vierte la palabra entre lenguas y lleva la glosa de una frase para quien se ha encontrado «ontología», como mucho, en una clase de filosofía; deliberadamente no guarda definición y apunta al glosario. El glosario definía el par ontología/reflexión estructuralmente — qué ficheros es — y nunca disciplinarmente. La distinción caía exactamente entre dos entradas que, cada una, apuntaban correctamente a la otra.

Ya está declarada, y en la semilla del protocolo antes que en el glosario propio de este proyecto, porque la confusión no es un hecho sobre nosotros: todo proyecto que adopta el protocolo y crea un .ontoref/ontology/ hereda el mismo homógrafo. Con ella van dos lecturas prohibidas — que la ontología de un proyecto sea una conceptualización compartida entre organizaciones, y que ontoref sea una respuesta a la interoperabilidad semántica entre ellas. Hace falsable un sujeto. El acuerdo entre sujetos no es algo que produzca, y decir lo contrario sería vender una cosa que no existe.

El mecanismo que el ensayo deja abierto

Figay concluye que el objetivo ya no es imponer una ontología única sino hacer las diferencias «visibles, navegables y negociables» — cartografía semántica, y aprender a habitar Babel en vez de escapar de ella.

De acuerdo, y toda la cuestión es cómo. «Negociable» describe un resultado, no un mecanismo; cualquier organización que haya puesto en marcha un programa de alineamiento semántico también quería que las diferencias fuesen negociables, y lo que obtuvo fue un comité.

El mecanismo aquí se llama testigo-en-lugar-de-copia (ADR-028), y es deliberadamente más pequeño que el acuerdo. Un sujeto verifica una porción de la declaración de otro — esta afirmación, esta comprobación, esta entrada, este instante — sin adoptar su modelo, sin copiarlo y sin que ninguno de los dos converja en un vocabulario común. La verificación es un recibo firmado: prueba que una comprobación se ejecutó y qué devolvió. No prueba que ninguno de los dos modelos acierte sobre el mundo, y el ADR-050 lo deja por escrito — un testigo acredita estructura, nunca veracidad.

Hay una objeción a eso, y es suya. En «Beyond Explainable AI» escribe: «la confianza rara vez nace del artefacto mismo. Nace del proceso sociotécnico que lo produjo». Una fórmula se cree por la revisión por pares y la validación empírica, una norma por los comités que la examinaron y las organizaciones que la mantienen; el documento es sólo el portador, y la confianza reside en el proceso social. Y un testigo firmado es un artefacto, así que la objeción da de lleno en el mecanismo, y la respuesta no es negarla. El recibo no es la fuente de la confianza. Es el transporte comprobable del veredicto de un proceso — y lo que el ADR-050 renuncia a decir es exactamente aquello de lo que la objeción advierte: el recibo nunca afirma que el proceso acertara, sólo que se ejecutó, sobre esta entrada, en este instante, y devolvió esto. Sácalo de esas coordenadas y no significa nada. Es una afirmación mucho más pequeña que la confianza, y es la única que un artefacto puede sostener por sí solo con honestidad. Y no es una cautela hipotética: aquí un testigo llegó a certificar un mundo que ya no existía — un recibo perfectamente válido, de una comprobación que de verdad se ejecutó, contra un estado que entretanto se había movido. Honrado e inútil a la vez, que es exactamente el tamaño de lo que un recibo afirma.

Esa renuncia es lo que hace la pluralidad operable en vez de meramente tolerada. Si verificar exigiese entender el todo, dos sujetos sólo podrían relacionarse absorbiendo uno el modelo del otro, que es la convergencia con un nombre más amable. Como la verificación es local y parcial por ley — el protocolo prohíbe cualquier gate que exija conocimiento completo como condición previa de un acto válido — dos modelos que discrepan en todo pueden aun así intercambiar una afirmación comprobable. Babel no necesita una lengua común. Necesita recibos que sobrevivan al cruce.

Lo que esto no es

Sería fácil, y deshonesto, presentar eso como respuesta al problema de Figay. No lo es.

Su problema es el acuerdo entre organizaciones sobre qué es un cliente, quién es dueño del significado de «ingresos», qué perspectiva manda bajo regulación. Eso es gobernanza entre personas, y ningún protocolo la produce. Lo que hay aquí es más estrecho y no quiere que lo confundan: una forma de que un sujeto diga lo que es con precisión suficiente para que se le pueda pillar equivocado, y una forma de que un segundo sujeto compruebe una de esas afirmaciones sin tragarse el primero entero.

Si llegaste buscando aquello que hace que cinco departamentos se pongan de acuerdo, no es esto, y lo honesto es decirlo en la puerta y no después de la adopción.

La mitad incómoda

Su sección 4 es la que volvió de rebote. Los artefactos semánticos han pasado de la escasez a la abundancia: cada conjunto de datos, cada plataforma, cada agente puede producir ya su propia estructura con forma de ontología, y el riesgo no es el caos sino la proliferación sin umbral. Léelo pensando en la provisión de contexto a los agentes y deja de ir sobre ontologías. Este proyecto gobierna quién puede proveer contexto a un agente y qué es autoritativo (ADR-074), y no declaraba ningún techo sobre cuánto — así que view mount materializaba una disciplina entera y describe capabilities volcaba su inventario completo, sobre la superficie cuyo trabajo entero es mantener acreditado el conocimiento de un agente. El techo sí existía, como comentario dentro de un portador: el hook de sesión anotaba que «describe capabilities sería lo completo y son 58k tokens: una cura más cara que la enfermedad», y llamaba a tres verbos más baratos. Una medición correcta y una decisión correcta, en el único sitio donde el ADR-074 prohíbe que viva una regla. Conocimiento que gobierna, guardado donde nada puede comprobarlo, es representación otra vez.

Ese hueco tiene ahora un suelo, no una confesión. El límite se declara por vista en el esquema y se aplica en los dos puntos de entrada; un nivel que el mount no puede recuperar rechaza el mount en vez de encoger la porción en silencio; y describe capabilities devuelve 1.632 bytes por defecto frente a 260.471 del inventario completo, con cada sección nombrada, contada y alcanzable por su propio verbo. El techo en sí no se importó — un tope de «cuatro notas por indicación» es un hecho sobre un repositorio en una fecha, y una vista sin techo informa ahora sin medir, que no es sin límite, una afirmación distinta del silencio. Lo que el suelo no cubre es la parte que merece publicarse, y las autopsias están abiertas en canal en vez de resumidas aquí — tres, y de la misma semana. La nueva regla de cierre-en-fallo, en su primera ejecución, era un gate que no podía ver: juzgaba la recuperación por un código de salida, y describe <desconocido> sale 0. El validador que informa sobre la ontología de este mismo proyecto respondía «0 hallazgos» mientras el axioma que afirma que el proyecto se describe a sí mismo apuntaba a tres ficheros que no existían. Y tres superficies distintas informaron de un alta que nunca se escribió, coincidiendo entre ellas a la perfección, sin que ninguna hubiera abierto el fichero — que llevaba veintiséis días sin cambiar. Tres verdes, tres respuestas consistentes, ninguna correcta. Que es la versión de cinco palabras que él ya había escrito, en «The Other Ceiling»: «La consistencia no es corrección. La decidibilidad no es adecuación» (en el original, consistency is not correctness, decidability is not adequacy). Un check en verde acredita consistencia, nunca corrección. Por eso el ensayo valió la hora: no porque dijera algo que el protocolo no tuviera declarado, sino porque nombró un plano al que la declaración no había llegado; y la respuesta honesta a eso es un suelo puesto donde estaba el hueco, más la disciplina de seguir midiendo lo que el suelo todavía no ve.