ZUSE Automat Agent: Empirical Law Discovery in Elementary Cellular Automata

Abstract

La versión v1.36 completa la auditoría de cardinalidad mínima iniciada en v1.35. Esta versión incorpora las Fases 104–105 y no repite ni modifica el censo de 5.783.040 configuraciones. Reutiliza los 48 hipercubos Q8 congelados y extiende la ley exacta de cobertura de cortes desde intervenciones unitarias y parejas hasta ternas y cuartetos. Resultados principales: - La Fase 104 enumera exhaustivamente 3.061.466 ternas en los 73 estratos que seguían sin resolverse después de la auditoría de parejas.- La cardinalidad mínima es exactamente tres en 41/57 estratos de conectividad de vértices y 40/71 estratos de conectividad de aristas, con 180 y 192 ternas rescatadoras respectivamente.- La Fase 105 enumera exhaustivamente 24.362.850 cuartetos en los 32 estratos restantes, con 20.638.850 ensayos de vértices y 19.941.575 de aristas.- Todos los estratos restantes quedan resueltos con cardinalidad mínima exactamente cuatro: 16/16 para vértices y 31/31 para aristas. No queda ningún estrato acotado como mayor o igual que cinco.- La partición final de mínimos en los estratos colectivos es 69/41/16 para vértices y 68/40/31 para aristas en cardinalidades 2/3/4.- Se encuentran 77 cuartetos rescatadores de conectividad de vértices y 103 de aristas. Todos requieren al menos una arista Hamming-1 interna entre los cuatro estados añadidos.- La retirada exhaustiva de cortes y un cálculo independiente de flujo máximo coinciden sin excepciones. La decodificación independiente del ledger de 24.362.850 registros reproduce todos los agregados y no detecta bits reservados, fuera de alcance ni discrepancias entre rutas. Las afirmaciones están limitadas deliberadamente. Las aristas Q8 representan intervenciones Hamming-1 sobre la palabra inicial central de ocho bits, no transiciones temporales del autómata celular. El cierre de cardinalidad 2–4 se aplica únicamente a los estratos, objetivos y poblaciones congelados del protocolo; no constituye un límite universal para otros autómatas, longitudes de palabra, cuencas o familias de intervención. Todos los resultados son deterministas y reproducibles mediante scripts, manifiestos, ledgers compactos, informes y pruebas comprometidos en el repositorio. Repositorio:https://github.com/conchaestradamiguelangel-droid/zuse-automat-agent