Transferencia K/P/G e irrelevancia de carry largo
La propagación de carry en intervalos A5 puede representarse mediante estados exactos Kill/Propagate/Generate, y P idénticamente cero vuelve irrelevante el carry de entrada.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
La propagación de carry en intervalos A5 puede representarse mediante estados exactos Kill/Propagate/Generate, y P idénticamente cero vuelve irrelevante el carry de entrada.
Por qué la prueba es relevante
La suma binaria admite un álgebra exacta de tres estados. K fuerza carry 0, G fuerza 1 y P transmite la entrada. Su composición es asociativa, por lo que resume intervalos largos sin repetir ambos casos de entrada.
c_salida = G_I ∨ (P_I ∧ c_entrada)P_I ≡ 0 ⇒ c_salida = G_I(K,P,G)_{I∪J} = (K,P,G)_J ∘ (K,P,G)_ICómo se probó
Construir un atlas exacto de transferencia A5, probar el salto largo, compilar el shell Majority low4 condicionado por clase y buscar selectores R6. Repetir prevalencias en muestras frescas y mantener borrow como exploración secundaria.
Qué ocurrió
La transferencia y el shell fueron exactos. En 1.361 registros, P=0 apareció en 1.273 casos (93,53%) para 5–13 y 1.140 (83,76%) para 16–22. En datos frescos: 88,8% y 83,2% sobre 250 registros por intervalo. No sobrevivió ningún candidato contextual.
Controles de exactitud y estadísticos
P≡0 implica irrelevancia como teorema; su prevalencia es empírica y se replicó por separado. Las identidades pasaron y las búsquedas terminaron en cero.
Qué significa
Existe una capacidad local exacta: ciertas entradas de carry son irrelevantes. No se demostró que detectarla o consumirla cueste menos que calcular el hash.
Limitaciones
- La frecuencia depende de la distribución contextual.
- Una condición frecuente puede ser cara de detectar.
- Saltar carry local no reduce por sí solo SHA-256 completo.
Trazabilidad
Reconstruir K/P/G bit a bit, componer ambos intervalos, comprobar las dos entradas contra suma directa y repetir tasas P=0 en una cohorte independiente.
Variantes canónicas
SUBENGINE-V22ASUBENGINE-V22BSUBENGINE-V22CSUBENGINE-V22DSUBENGINE-V22ESUBENGINE-V22FSUBENGINE-V22GSUBENGINE-V22HFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.