Derivado, No Medido: Por Qué un Cálculo Exacto Nunca Sustituye a un Experimento

I · La Ilusión de los Doce Dígitos: Exactitud No Es Observación

Abre el kernel de entrelazamiento detrás del paso T.05 de Tiempo y Gravedad y aliméntalo con la geometría publicada por Sougato Bose y colegas en 2017 (DOI 10.1103/physrevlett.119.240401): dos microcristales diamagnéticos de 10^-14 kg cada uno, centros de trampa separados por 450 um, cada masa dividida coherentemente a lo largo de 250 um, cayendo en vacío a 10^-15 Pa y 0.15 K durante 2.5 s. Bajo atracción newtoniana, las cuatro ramas espaciales—izquierda-izquierda a 450 um, derecha-derecha a 450 um, izquierda-derecha a 700 um y derecha-izquierda a 200 um—acumulan fases cuánticas ligeramente distintas phi = G m^2 t / (hbar d). Al restar el par simétrico del asimétrico, la fase de entrelazamiento resulta en Delta_phi = 0.31 rad. Pasa esa fase por la fórmula de dos qubits de William Wootters de 1998 y la concurrencia marca C = 0.16, subiendo a 1.00 si la caída pudiera extenderse a 25.0 s.

Para blindarse contra errores de código, el verificador calcula ese mismo 0.16 por una segunda vía: construye el estado puro completo de 4 ramas, traza el cristal B en aritmética compleja, evalúa la pureza Tr(rho_A^2) de la matriz de densidad reducida 2x2 del cristal A y comprueba que ambas rutas coinciden dentro de 1 parte en 10^12. Aquí es donde tanto el periodismo técnico apresurado como los modelos de lenguaje suelen tropezar. Al ver un DOI arbitrado de 2017 en Physical Review Letters, una constante gravitatoria medida en 2021 con esferas de oro de 90 mg a 400 um entre superficies (Tobias Westphal et al., DOI 10.1038/s41586-021-03250-7) y un script determinista que imprime PASS a 10^-12, un resumen automático escribirá con aplomo que la gravedad entrelaza cristales micrométricos con concurrencia 0.16. Cada dígito en esa oración es algebraicamente impecable, y la oración como física es falsa.

Esa distinción importa más cada año conforme los artículos científicos se publican junto con cuadernos ejecutables, scripts de álgebra simbólica y flujos de síntesis automatizada. Un programa determinista garantiza la reproducibilidad de la inferencia: cualquiera que corra el mismo código sobre las mismas entradas recupera idéntico valor en punto flotante. Pero la reproducibilidad del código es ortogonal a la realización empírica en hardware, y confundirlas borra silenciosamente al laboratorio.

II · Tres Tipos de Ausencia: No Construido, No Resuelto y Derivado

La prosa científica se vuelve borrosa cada vez que usa una sola palabra ambigua—'estimado', 'modelado' o 'predicho'—para cubrir razones radicalmente distintas por las cuales no existe una lectura directa del detector. Entre la física computacional y la biología estructural hay 3 tipos distintos de ausencia empírica, y cada uno impone una obligación diferente ante la realidad. La primera ausencia es un fenómeno no construido o no observado, que nuestro registro acota en PROPUESTO. Ni el interferómetro de Bose–Marletto–Vedral de 2017 a 10^-14 kg ni los contraargumentos teóricos de 2025 de Joseph Aziz y Richard Howl (DOI 10.1038/s41586-025-09595-7) o Sebastián Trillo y Miguel Navascués (DOI 10.1103/physrevd.111.l121101) representan observaciones de laboratorio; son propuestas matemáticas rivales sobre lo que harían campos clásicos o cuánticos si el aparato existiera.

El segundo tipo de ausencia está físicamente presente en la muestra pero experimentalmente sin resolver (ABIERTO). Esta regla entró en nuestra práctica de ingeniería antes de que existiera Tiempo y Gravedad, al auditar archivos de coordenadas estructurales en investigación del canal iónico de fibrosis quística. Examina los 4 mapas seminales Cryo-EM de CFTR humano: el tipo silvestre desfosforilado 5UAK (Fei Liu et al. 2017, DOI 10.1016/j.cell.2017.02.024), las estructuras fosforiladas unidas a ATP 5W81 (Zhenmei Zhang et al. 2017) y 6MSM (Zhang et al. 2018, DOI 10.1073/pnas.1815287115), y la estructura DeltaF508 con moduladores 8EIQ (Karol Fiedorczuk y Jue Chen 2022, DOI 10.1126/science.ade2216). En los mapas de tipo silvestre 5UAK, 5W81 y 6MSM, el residuo Phe508 está claramente resuelto dentro del dominio de unión a nucleótidos 1, mientras que 8EIQ carece del residuo 508 porque el genotipo DeltaF508 deleciona genéticamente esa fenilalanina de la cadena polipeptídica. En cambio, el dominio regulador R desordenado de unos 200 residuos está físicamente unido dentro de cada canal intacto en el hielo vitrificado, pero las 4 estructuras Cryo-EM dejan esos 200 residuos sin modelar en coordenadas atómicas porque la flexibilidad conformacional difumina la densidad electrónica. Los biólogos estructurales se niegan a inventar coordenadas atómicas donde la densidad se borra; enseñar a los verificadores de IA a jamás alucinar curvas suaves sobre esos 200 residuos no resueltos—y a nunca confundir la deleción genética en la posición 508 de 8EIQ con el difuminado por movimiento en Cryo-EM—forjó nuestra separación estricta entre lo resuelto por un instrumento y lo inferido por software.

El tercer tipo de ausencia no es un sueño sin construir ni una micrografía borrosa: es una cantidad deducida con rigor matemático a partir de una medición real arbitrada cuando la configuración objetivo aún no se ha observado directamente. Supongamos que tomamos la medición vienesa de 2021 de la gravedad newtoniana entre dos esferas de oro de 90 mg a 400 um entre superficies y la combinamos con la mecánica cuántica para calcular la fase de 0.31 rad de dos cristales de 10^-14 kg, o tomamos la tabla de Yukawa de 2020 en Seattle hasta 52 um y proyectamos un potencial de función error de 2025 sobre esas 66 filas publicadas. Llamar PROPUESTO a esos cálculos subestimaría su ancla empírica, pues un péndulo real ya acotó la ley de fuerza; llamarlos MEDIDO exageraría lo ocurrido en el laboratorio, pues ningún sensor registró jamás ese observable de forma directa. Nombrar esta tercera categoría DERIVADO (NO MEDIDO) y exigir un vínculo explícito hacia su fila madre MEDIDA resuelve el dilema con limpieza.

III · La Disciplina del Recast: Por Qué Todo Cálculo Derivado Exige una Fila Madre Medida

El tercer tipo de ausencia—un número deducido con rigor desde datos medidos bajo un nuevo kernel que los experimentadores originales jamás ajustaron—cobró plena nitidez durante la disputa de gravedad de mesa de 2025. En Physical Review D en 2025, Trillo y Navascués integraron la ecuación maestra híbrida de Tilloy–Diósi, donde la gravedad sigue siendo clásica a cambio de suavizar el potencial newtoniano en una longitud de regularización sigma según V(r) = -G m_1 m_2 erf(r / (2 * sigma)) / r. En su geometría de esferas de 10^-15 kg separadas por 24 um con división de 23 um, esa dinámica híbrida genera entrelazamiento solo por debajo de 0.8508 * sigma, exigiendo sigma mayor a 55 um (y graficaron curvas en sigma = 75 um, 100 um y 250 um). Una pregunta física inmediata surge al instante: si la gravedad se debilita por erf(r / (2 * sigma)) a decenas de micrómetros, ¿qué habría ocurrido dentro de la balanza de torsión de corto alcance de Eöt-Wash en 2020?

En 2020 Junyi Lee, Eric Adelberger, Blayne Heckel y colegas en la Universidad de Washington midieron el par gravitatorio entre anillos de platino de 120 y 18 cuñas desde 52 um hasta 3.0 mm, limitando cualquier término de Yukawa de intensidad gravitatoria a alcances menores de 38.6 um al 95 % de confianza (T05-LEE2020, DOI 10.1103/physrevlett.124.101101). Usando la propia expansión de Fourier–Bessel de la colaboración de 2021, nuestro kernel de cuñas evalúa el potencial suavizado sobre esas láminas exactas de 54 um y 99 um: a 52 um, sigma = 75 um elimina el 17.0 % del par newtoniano de 120 pliegues, mientras que el potencial de Yukawa en el borde publicado de 38.6 um quita solo el 2.5 %. Al proyectar el déficit de par suavizado entre 52 um y 3.0 mm sobre los 66 límites de Yukawa con signo al 95 % tabulados en la tesis de Lee de 2020, se obtiene alpha_eff = -7.3 frente al límite con signo publicado de -7.4 en sigma = 33 um, y alpha_eff = -10.2 frente a -7.4 en sigma = 35 um—excluyendo sigma > 33 um al 95 % de confianza en 4 mallas de separación y ambos armónicos.

¿Por qué esa exclusión de sigma > 33 um debe portar la insignia DERIVADO (NO MEDIDO) con un puntero explícito data-tg-parent hacia T05-LEE2020 en lugar de MEDIDO o una COTA autónoma? Porque el equipo de Eöt-Wash ajustó exponenciales de Yukawa exp(-r / lambda) a sus 95 corridas privadas de torsión, jamás el kernel de función error erf(r / (2 * sigma)). En contraste, cuando Sandro Donadi y colegas operaron un detector subterráneo de germanio de alta pureza en Gran Sasso en 2021 (DOI 10.1038/s41567-020-1008-4) y registraron 0 ráfagas espontáneas de rayos X en exceso para descartar el colapso de Diósi–Penrose sin parámetros, esa colaboración analizó sus propios pulsos crudos frente a ese kernel exacto, ganando COTA. Y cuando la Colaboración XENONnT publicó su búsqueda de colapso por retroceso electrónico de 1 a 140 keV en 2026 (Elena Aprile et al., DOI 10.1103/2jm3-4976), estrechando los límites de Diósi–Penrose por un factor de 5, nuestro reloj de replicación de 24 meses mantiene esa corrida joven de 1 colaboración en RESULTADO ÚNICO hasta que cámaras independientes la verifiquen.

IV · Un Orden Parcial, No una Escalera: Tipos Formales y Polaridad de Citas

Trata las 6 etiquetas no como un concurso de prestigio del 1 al 6, sino como un orden parcial tipado inspirado en los asistentes formales de demostración. Cuando la comunidad de mathlib formalizó matemáticas en Lean en 2020 (DOI 10.1145/3372885.3373824) y Joseph Tooby-Smith digitalizó teoremas de física de altas energías en HepLean en 2025 (DOI 10.1016/j.cpc.2024.109457), cada lema demostrado conservó sus hipótesis exactas dentro de su firma de tipos. Si demuestras el teorema B asumiendo el axioma A, el kernel de Lean verifica la implicación A -> B sin ambigüedades, pero ejecutar #print axioms jamás permite fingir que A desapareció. En Tiempo y Gravedad, data-tg-parent es exactamente esa arista de dependencia de tipos: DERIVADO (NO MEDIDO) certifica la implicación desde una fila madre MEDIDA madura negándose a fabricar datos empíricos.

La verificación de tipos sobre la deducción interna también debe emparejarse con la auditoría del desacuerdo científico externo. Un artículo puede tener un DOI válido en Crossref y aun así enfrentar refutaciones técnicas directas en cartas posteriores. Siguiendo la arquitectura de clasificación inteligente de citas publicada por Josh Nicholson y colegas en 2021 con Scite (DOI 10.1162/qss_a_00146), nuestro verificador del registro inspecciona los conteos de citas de apoyo frente a citas contrastantes para cada DOI en caché. Siempre que los enunciados contrastantes superan a los de apoyo—como ocurre en canales híbridos de gravedad clásica cuestionados por cotas de calentamiento—la compilación falla salvo que la fila incluya una nota contrasting_audit escrita por humanos de al menos 20 caracteres que acote la disputa.

Observa por qué un orden parcial triunfa donde fracasa un puntaje numérico único de confianza. Los modelos estadísticos de lenguaje se entrenan para maximizar la verosimilitud del siguiente token sobre millones de resúmenes, un objetivo que suaviza de forma natural las condiciones de frontera: un límite de exclusión al 95 % (COTA), una corrida criogénica de 1 grupo publicada hace 8 meses (RESULTADO ÚNICO) y una integral cerrada evaluada a 10^-12 (DERIVADO) terminan aplanados en el mismo tiempo verbal declarativo. En un orden parcial, COTA y DERIVADO (NO MEDIDO) conviven lado a lado en el rango 4 sin confundirse entre sí. Una cota de exclusión descarta regiones de parámetros donde apareció 0 señal sobre el fondo; una cantidad derivada propaga ecuaciones desde una fila madre MEDIDA de rango 5. Ninguna sube al rango 5 con retórica ni con más decimales: solo un 2do aparato independiente fuera de la ventana de 24 meses desbloquea MEDIDO.

V · Probando las Barreras: Ocho Corrupciones Epistémicas Plantadas

Un verificador que imprime PASS sobre un repositorio curado demuestra muy poco hasta que intentas engañarlo. Tomado de las pruebas de compiladores críticos, el análisis de mutaciones mide si un conjunto de reglas realmente elimina corrupciones plausibles inyectadas en los datos. En el módulo compañero en Python de este ensayo, run_epistemic_mutations() toma un banco limpio de 11 filas y 7 afirmaciones que abarca gravedad de mesa y coordenadas estructurales e inyecta 8 fallas epistémicas dirigidas una por una: (1) promover una prepublicación de arXiv de 2025 a MEDIDO; (2) borrar parent_id de la derivación de concurrencia 0.16; (3) redirigir esa afirmación DERIVADO (NO MEDIDO) desde su fila madre MEDIDA de 90 mg de 2021 hacia el testigo no construido PROPUESTO de 2017; y (4) promover la corrida de 1 colaboración de XENONnT de 2026 dentro de la ventana de 24 meses a MEDIDO.

Las 4 mutaciones restantes apuntan a modos de falla más sutiles que suelen filtrarse en la edición humana: (5) interpolar los 200 residuos flexibles sin resolver del dominio R de ABIERTO a coordenadas MEDIDAS; (6) malinterpretar la COTA de exclusión de 0 exceso de Gran Sasso en 2021 como una detección positiva MEDIDA de colapso; (7) introducir deriva numérica bilingüe para que el gemelo en español cite 0.39 rad donde el inglés indica 0.31 rad; y (8) borrar la nota de alcance contrasting_audit de 20 caracteres en una fila híbrida de 2016 donde 9 citas contrastantes en Scite superan a 4 de apoyo. En una corrida normal, la retícula elimina 8 de 8 mutantes (exhaustividad 1.00); al invocar --planted-defect se relaja deliberadamente la revisión de fila madre para que el mutante 3 sobreviva (7 de 8 eliminados) y fuerce un código de salida distinto de cero.

Fuentes Primarias y Registro DOI sin Conexión