Idea principal

Una respuesta producida por un modelo a partir de un repositorio puede afirmar que una regla existe sin mostrar nada. Es entonces una documentación aproximada más — más rápida y mejor redactada que la anterior, no más fiable. Solo se ha sustituido la memoria imperfecta de un Product Manager por la memoria probabilista de un modelo.

La exigencia que cambia algo es vincular cada afirmación a un elemento designable: la función que aplica la regla, la excepción que bloquea el caso, el test que cubre el escenario, la merge request que introdujo el comportamiento, el estado del feature flag, la decisión de producto que lo arbitró.

Lo que cuenta no es que esas pruebas se lean. Un agente de soporte o un comercial no las abrirá, y pueden ir al final del documento. Lo que cuenta es que deban existir: una respuesta que debe citar ya no puede producirse por verosimilitud. La restricción opera en el momento de la producción, no en el de la relectura — eso es lo que la distingue de una exigencia de trazabilidad, que supone un lector para verificarla.

Por qué es importante

Esto desplaza la verificación desde una etapa humana costosa, que rara vez se hace, hacia una propiedad de la propia petición. No obtienes la garantía de que una respuesta sea correcta; obtienes que no pueda producirse en el vacío.

También da la forma que hay que dar a toda petición dirigida a un modelo sobre un corpus: exigir, para cada conclusión, el elemento del corpus en el que se apoya. El mismo dispositivo vale para el análisis de un conjunto de textos, donde se pide la frase o el párrafo que sostiene cada conclusión.

Matices y límites

Una prueba citada puede estar mal elegida: una función que existe no es necesariamente la que se ejecuta, un test que pasa no establece que el caso esté cubierto como se cree. La restricción reduce la afirmación gratuita, no garantiza la pertinencia del apoyo.

Y una respuesta abundantemente referenciada gana en autoridad aparente, lo que puede desalentar la relectura que precisamente hacía posible.

Preguntas abiertas

• ¿Qué distingue una prueba que establece realmente el comportamiento de una prueba solo compatible con la afirmación?