# COMPLEXA C248–C250 · Nueve figuras científicas reproducibles

**29 de octubre de 2026.** Se incorporan nueve SVG originales, nueve CSV, código reproducible y ZIP determinista. Se conservan sin modificaciones los manuscritos y las figuras históricas 248.1, 249.1 y 250.1. Todas las nuevas cantidades son **identidades matemáticas, enumeraciones exhaustivas o experimentos sintéticos deterministas**; ninguna es una observación empírica.

## C248 · Cómputo bayesiano aproximado

La figura histórica C248.1 compara densidades posteriores bajo ABC con tolerancias cero y uno. Las nuevas figuras presentan preguntas complementarias.

**248.2 — Tolerancia, aceptación y coste de simulación (248.3–248.4).** Con n=10 observaciones Bernoulli, K observado=7, previa uniforme Beta(1,1) y tolerancia entera ε, el conjunto aceptado es A_ε={k: k∈{0,…,10}, |k−7|≤ε}. La predictiva previa es P(K=k)=1/11 para cada k, por lo que la aceptación vale |A_ε|/11 y mil aceptaciones requieren en esperanza 11000/|A_ε| propuestas. La posterior ABC es la mezcla equiprobable de Beta(k+1,11−k) para k aceptados. Se calculan medias, varianzas y propuestas esperadas para ε=0,…,10. Bajo ε=0, Var(p)=2/117; bajo ε=1, Var(p)=5/234; desde ε=7 la posterior coincide con la previa, Var(p)=1/12. No se generaron simulaciones Monte Carlo.

**248.3 — Posterior predictiva de una muestra nueva (248.9).** El total K_nuevo en otra muestra independiente de diez individuos, condicionado en un mismo parámetro p, tiene distribución beta-binomial: P(K_nuevo=j|a,b)=C(10,j)(a)_j(b)_{10−j}/(a+b)_10. El factorial ascendente (a)_j vale a(a+1)…(a+j−1). Se comparan la posterior exacta Beta(8,4), la mezcla ABC ε=1 de Beta(7,5), Beta(8,4) y Beta(9,3), y la predictiva previa 1/11. Son distribuciones calculadas, no nuevos datos registrados.

**248.4 — Identificabilidad de la oportunidad y respuesta (248.7).** Con oportunidad de activación q y respuesta condicional r, solo se observa activación final con probabilidad p=qr. Para q∈[0,4;1], r=0,4/q produce exactamente la misma distribución de K final y la misma probabilidad de observar K=7. Sin embargo, el número esperado de oportunidades es 10q, frente a cuatro activaciones finales esperadas en todos los puntos. Este escenario de p=0,4 es **separado** del valor ajustado al total K=7; demuestra indistinguibilidad estructural a partir del registro final.

## C249 · Protocolo ODD y decisiones de especificación

La figura histórica C249.1 muestra los componentes de ODD y dos trayectorias. Se conserva el anillo abstracto de seis agentes, umbral bajo 1 en agente 0 y en dos posiciones adicionales elegidas entre 1,…,5, umbral 2 en los demás, activación irreversible y regla local sincrónica.

**249.2 — Fronteras y topología (249.4).** Se enumeran las diez asignaciones de umbrales y se compara la red periódica con aristas {0–1,1–2,2–3,3–4,4–5,5–0} frente a la cadena abierta sin arista 5–0. La semilla única es el agente 0 y se mantienen umbrales y calendario. Se registran máscaras, total final y duración. La frontera es parte de la especificación, no una opción gráfica.

**249.3 — Mayor o igual frente a mayor estricto (249.8).** Para los diez diseños se contrasta activar si el número de vecinos activos es ≥k o estrictamente >k, bajo una semilla en 0 y dos semillas exógenas en 0 y 2. Un agente con k=2 no puede activarse con comparación estricta porque solo dispone de dos vecinos. Se registran veinte casos completos con estados finales y tiempos de cierre. No se cambia el umbral ni se atribuye azar a la regla.

**249.4 — Calendario y punto fijo (249.5).** Se contrasta un paso sincrónico, un barrido ascendente 0→5 y otro descendente 5→0. Cada barrido procesa exactamente los seis agentes con lectura de estados actualizados dentro de la misma pasada. Por irreversibilidad, monotonía y barridos justos, los tres calendarios convergen al mismo cierre bajo las diez asignaciones, pero el número de pasos/barridos efectivos puede cambiar. Esas unidades computacionales no equivalen necesariamente a unidades físicas de tiempo.

## C250 · Dos mecanismos con la misma salida inicial

El capítulo distingue L (activación local por umbrales en anillo) e I (tabla explícita de salidas terminales). Para las diez configuraciones de umbrales bajos, ambos coinciden en el **estado final exacto** de referencia. I conserva semillas adicionales pero no transmite por conexiones. La tabla de I se codifica independientemente del cálculo local. La figura histórica 250.1 cubre el primer paso y la probabilidad de incluir un caso discriminante en varias pruebas.

**250.2 — Retirar 0–1 (250.6).** Se elimina la conexión entre agentes 0 y 1 en ambas direcciones, solo afecta a L. L termina con uno, dos o tres agentes activos en 6, 3 y 1 de diez condiciones, media 1,5. I mantiene su tabla inicial, media 2. Se representan salidas por configuración y máscaras binarias.

**250.3 — Semillas 0 y 3 (250.7).** Con el anillo completo, se agrega exógenamente el agente 3 a la semilla original 0. L termina con cuatro activos en seis condiciones y seis activos en cuatro, media 4,8. I conserva su tabla más el agente 3, media 3. Las diferencias derivan de las reglas especificadas, no de observaciones sobre sistemas reales.

**250.4 — Huella de tres pruebas (250.8).** Por cada asignación se contrasta el primer paso de referencia, el estado final tras cortar la arista y el estado final con dos semillas. Se comparan **máscaras de estados completas**, además de las diferencias de tamaño. Dos asignaciones distinguen los mecanismos al primer paso, como el manuscrito. Las intervenciones tienen distinta capacidad de discriminación. No se estima la probabilidad de que un modelo sea verdadero.

## Reproducibilidad

Node.js ≥22, sin dependencias externas. Comprobar la igualdad exacta de bytes mediante:

node content/supplementary/repro/c248-250-expanded/make_figures.mjs --check content/supplementary

Con --out <directorio> se generan los recursos en un directorio aislado. El ZIP contiene **21 entradas ordenadas**, sin compresión, marcas temporales ni metadatos variables: nueve SVG, nueve CSV, este README y los dos módulos JavaScript. Los CSV usan ocho decimales fijos y normalización cerca de enteros para estabilidad entre plataformas. La auditoría científica Python estándar independiente, con tolerancias limitadas al redondeo declarado, se ejecuta mediante:

python scripts/check-c248-c250-science.py

El manifiesto registra tamaños y SHA-256 para cada recurso y para el ZIP decodificado. GitHub CI ejecuta build, integridad, enlaces, regeneración exacta, controles matemáticos y, tras el merge, verify-live de las páginas HTTPS, SVG, CSV, código y ZIP/SHA. El material no reivindica evidencia empírica ni validez fuera de los modelos definidos.