Catálogo y descarga completa · Guía · Vídeo práctico
Las cuatro gráficas comparten dos contextos independientes. El navegador consulta cálculos teóricos archivados y medidas CMS publicadas. Esta ficha todavía no calcula un ajuste observado GHU.
| Datos | Estructura y unidades | Uso |
|---|---|---|
| Tabla del paper · Reconstrucción · Datos de las figuras | Nueve casos; parámetros y acoplamientos. θ en radianes; diferencias de potencial divididas por mH²fH², sin unidades. λ3 en GeV; λ4 sin unidades. | Comparar casos recalibrados y respuesta local/global. No demuestra insensibilidad a parámetros arbitrarios. |
| CMS: medida · CMS: covarianza · Metadatos | 15 intervalos de m(tt̄), límites en GeV; densidades en pb/GeV; matriz 15 × 15 en (pb/GeV)². HEPData conserva variables independientes, dependientes, calificadores y errores. | Leer valores medidos y errores correlacionados. No son límites superiores sobre una resonancia. Mantener orden de intervalos, anchuras, energía, canal y nivel de corrección. |
| Certificados · Manifiesto | Afirmaciones, testigos exactos, cotas puntuales, procedencia y SHA-256. | Comprobar integridad y alcance; un hash no demuestra una afirmación física. |
La ficha exporta selección y resultados en JSON, cada figura en SVG y los 15 intervalos observados en CSV. El JSON incluye covarianza y procedencia. Importar ese JSON restaura selecciones válidas; incorporar otro dataset requiere un adaptador auditado, no basta cambiar el archivo. El ZIP del catálogo incluye datos y scripts para repetir los cálculos.
python proof/verify_bundle.py python data/hypothesis_comparison/build_visuals.py --check python proof/hypothesis/certify.py --check
Requisitos: Python con NumPy, SciPy y SymPy, Node y Lean 4.27.0. El certificado reproduce las nueve referencias y verifica la covarianza publicada. El script build_visuals comprueba las muestras de las figuras sin sobrescribirlas.
Las cotas de la integral completa y del mínimo global siguen pendientes. Las tres cotas puntuales de derivadas no las sustituyen. La discrepancia aproximada del 7,4 % entre ajuste cuártico y tabla permanece abierta.
The downloadable manifest distinguishes theoretical reconstruction from measured CMS data, with units, source identifiers and hashes. Selection import restores controls only. No observed fit, full-integral error bound or global-minimum certificate is claimed.