Decisión 004 — dos medidas quedan sostenidas por evidencia fabricada, y se deja dicho#

Fecha: 2026-08-26 · Revisada: 2026-08-31 (de 2 a 3), 2026-09-01 (de 3 a 2) y 2026-09-08 (de 2 a 1) y 2026-09-09 (de 1 a CERO) · Estado: CUMPLIDA Consecuencia: tools/aceptacion.py salía con código 1 mientras esto siguiera así. Dejó de salir 1 el 2026-09-09, después de veintitrés días.

El hecho#

meta.la_medida_no_se_fija_solo_con_evidencia_fabricada señala las medidas cuyos casos son todos no observados. Al escribirla salió roja en 12. Diez se cerraron transcribiendo evidencia que ya existía —un catálogo real que no tenía filtro, corridas reales del marco sobre sí mismo—. Dos no:

• meta.sintaxis_cubre_algebra
• meta.sintaxis_casos_cubre_casos

Se sumó una tercera el 2026-08-31, y por un motivo distinto:

• meta.ninguna_evidencia_declara_un_referente_sin_huella

Ésa no aparecía porque su caso verde decía procedencia: observada sobre filas que salían de tests/test_referente.py —sha256:abc no es una huella, es un marcador de ocho caracteres—. Al corregir la procedencia a construida, la medida quedó al descubierto. El rojo nuevo no es una regresión: es lo que siempre había, visible por primera vez.

Y su motivo era más provisorio que el de las otras dos: ningún sensor de este repo producía un referente_declarado. L−2 existía en el lenguaje y todavía no en el mundo, igual que le pasaba a L−1 hasta que se declararon las primeras relaciones de un consumidor.

Esa tercera se cerró el 2026-09-01, y por el camino que decía la última sección#

No transcribiendo evidencia: cambiando el mundo, que es lo poco que esta decisión admitía. Resultó que los referentes ya se calculaban —revisar_frescura arma un Referente por cada huella del bloque frescura de un fixture para compararla contra el estado de hoy— y morían adentro de esa función. referentes_de_fixture los expone, y con eso diferencial/simulacion.json declara cuatro referentes reales con sha256 reales: el catálogo, la configuración del dominio, tools/generar_diferencial.py y diferencial/referencia/evaluador.py.

El caso 459-referentes-reales-del-fixture-diferencial transcribe esa corrida. No se agregó una medida ni se aflojó nada: se hizo observable algo que ya ocurría. El rojo bajó de 3 a 2.

La segunda se cerró el 2026-09-08, y por el mismo camino que la tercera#

No transcribiendo evidencia: cambiando el mundo. meta.sintaxis_cubre_algebra sale de esta lista porque un consumidor pisó un hueco que la sonda declaraba en su propio alcance —«NO cubre agrupar con 0 agregados»— y que resultó ser un defecto real: el impresor escribía un agrupar: sin agregados que el lector después rechazaba, y el álgebra lo aceptaba desde siempre.

Cerrar el hueco en el generador —no en el alcance— produjo una corrida real con tres rojos, uno por cada esquina que faltaba, con el mismo error que había pisado el consumidor. Los casos 488 y 489 transcriben esa corrida y la de después del arreglo, los dos con procedencia: observada y su origen. No se aflojó nada ni se agregó una medida: se hizo observable algo que ya ocurría, y que sólo ocurría porque el hueco estaba abierto.

El rojo bajó de 2 a 1. Queda meta.sintaxis_casos_cubre_casos.

La última se cerró el 2026-09-09, y por el mismo camino que las otras dos#

No transcribiendo evidencia: cambiando el mundo. Un segundo autor buscó el defecto en la superficie de casos, midió 97 esquinas más 25 casos de generador, y entregó un resultado negativo riguroso — no inventó uno para cerrar el rojo, que es lo que esta decisión prohíbe. Pero en el camino encontró dos asimetrías y las descartó con un argumento que no se sostenía: que un nombre de campo con espacios «no puede existir en el álgebra relacional».

Los nombres de campo de la evidencia de un caso no los pone el álgebra: los pone el JSON que emite el sensor de un consumidor, y nada los valida contra el patrón de nombres. La demostración era correcta bajo una premisa que el sistema no garantiza.

El defecto era real y de la misma forma que el de agrupar: corpus.py aceptaba el caso, caso.imprimir lo escribía como cabecera de tabla y caso.leer lo rechazaba. Y el arreglo también: el impresor ya sabía escribirlo —en la forma de escape que usa para filas heterogéneas— y su guarda elegía mal. Detectaba la coma y el espacio del borde, no el de adentro.

Los casos 500 y 501 transcriben la corrida contra el impresor viejo y la de después, los dos con procedencia: observada y su origen.

El rojo bajó de 1 a CERO. tools/aceptacion.py sale 0.

Lo que esta decisión dejó demostrado#

Las tres se cerraron igual, y ninguna por transcribir: haciendo observable algo que ya ocurría. La primera exponiendo referentes que se calculaban y morían adentro de una función; la segunda y la tercera encontrando un defecto real en la superficie que la sonda no generaba.

Las tres veces el defecto estaba donde el alcance decía que no se miraba.

Por qué éstas no se pueden cerrar#

Las dos existen para ir más allá del catálogo. Su hermana meta.sintaxis_ida_y_vuelta comprueba que las medidas escritas sobrevivan la ida y vuelta por la superficie, y se fija con 38 filas del catálogo real: ésa está observada y no aparece en el rojo. Estas dos comprueban lo que la escrita a mano no alcanza: que la superficie cubra formas del álgebra que nadie escribió todavía —unir encadenado, agrupar multiclave, predicados anidados—, generadas desde la gramática.

Su sujeto es la medida generada. Una evidencia observada para ellas sería una contradicción: si la forma estuviera en el catálogo, la cubriría meta.sintaxis_ida_y_vuelta y estas dos no harían falta.

Lo que NO se hizo, y por qué#

Se consideró y se descartó agregarle a la medida una condición que las excluyera —un campo de excepción, una lista de medidas eximidas, un donde que las nombre—. Cualquiera de las tres es la misma cosa: una puerta para que una medida deje de señalar sin que el hecho señalado cambie. El proyecto existe para no tener esa puerta. Un rojo verdadero es el producto.

También se consideró aflojar el umbral a <= 2. Es peor: convierte una afirmación falsable en un presupuesto, y el día que aparezca una tercera medida sostenida sólo por evidencia fabricada —una que sí sea un descuido— entraría bajo el techo sin que nadie se entere.

Cómo se cierra, si alguna vez se cierra#

No transcribiendo nada: cambiando el mundo. Si algún día la generación por gramática deja de ser la única forma de llegar a esas formas del álgebra —porque alguien escribe medidas reales que las usen, en este catálogo o en el de un consumidor—, esas medidas pasan a tener evidencia observada y la señal se apaga sola. Hasta entonces el 2 se lee, no se tapa.

El precedente de la tercera vale: antes de dar un rojo por incerrable, conviene preguntarse si el mundo ya produce la evidencia y nadie la está mirando. En ese caso estuvo escondida a cinco líneas, adentro de una función que la usaba para otra cosa.

El costo asumido#

oracle test y tools/aceptacion.py salen en rojo. Alguien que llegue nuevo al repo lo ve y tiene que leer esto para saber que no es una regresión. Es un costo real y se paga a propósito: la alternativa era un verde que no significa nada, que es el defecto que este repo cataloga 66 veces.

Esta página se genera desde docs/decisiones/DECISION-004-DOS-MEDIDAS-QUEDAN-SOSTENIDAS-POR-EVIDENCIA-GENERADA.md.