Reinicios duros de carry y certificados de bloqueo
Los saltos P=0 frecuentes pueden explicarse mediante reinicios exactos de un bit o certificados pequeños que impiden que la propagación atraviese todo el intervalo.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Los saltos P=0 frecuentes pueden explicarse mediante reinicios exactos de un bit o certificados pequeños que impiden que la propagación atraviese todo el intervalo.
Por qué la prueba es relevante
Si los operandos de un bit son constantes e iguales, 0+0 fuerza carry 0 y 1+1 fuerza carry 1, eliminando la dependencia de la entrada. Un conjunto de posiciones no propagantes certifica además que el carry no puede cruzar intacto.
x_i=y_i=0 ⇒ c_{i+1}=0x_i=y_i=1 ⇒ c_{i+1}=1P_I=∏(x_i⊕y_i); un factor cero certificado implica P_I=0Cómo se probó
Construir el atlas de reinicios, localizar el último hard reset, medir el sufijo dependiente y minimizar certificados. Validar el mecanismo en 300 registros frescos por intervalo y buscar contextos posteriores por separado.
Qué ocurrió
En 5–13 hubo 428 hard resets de 1.361; en 16–22, 874. Las tasas frescas fueron 32,33% y 61,67%. En 16–22, 874 de 1.140 casos P=0 se certificaron con una sola posición. No apareció candidato downstream ni de borrow.
Controles de exactitud y estadísticos
Cada dependencia y certificado se contrastó con ripple-carry exacto. Las cohortes frescas preservaron el patrón cualitativo y no se multiplicaron probabilidades desconectadas.
Qué significa
El salto largo tiene un mecanismo causal concreto. Esto mejora el diseño de detectores, pero falta demostrar una evaluación total más barata.
Limitaciones
- Las frecuencias son empíricas aunque cada certificado sea exacto.
- Los intervalos no cubren la función completa.
- No hubo selector posterior ni ahorro de ejecución.
Trazabilidad
Evaluar ambas entradas, localizar reinicios, minimizar certificados y comparar el sufijo previsto con suma directa; repetir sobre cohorte independiente.
Variantes canónicas
SUBENGINE-V23ASUBENGINE-V23BSUBENGINE-V23CSUBENGINE-V23DSUBENGINE-V23ESUBENGINE-V23FSUBENGINE-V23GSUBENGINE-V23HFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.