Frontera de freeze de Σ0 en resets altos
Para bits 15–18, Σ0(a4) se congela exactamente cuando se congela un único bit fuente rotado bajo el contexto registrado.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Para bits 15–18, Σ0(a4) se congela exactamente cuando se congela un único bit fuente rotado bajo el contexto registrado.
Por qué la prueba es relevante
Σ0(x)=ROTR²(x)⊕ROTR¹³(x)⊕ROTR²²(x). Cada bit de salida selecciona tres bits fuente; si dos son constantes contextuales, toda la variación se reduce exactamente al tercero.
Σ0(x)[i]=x[(i+2) mod 32]⊕x[(i+13) mod 32]⊕x[(i+22) mod 32]i∈{15,16,17,18}: freeze(Σ0(a4)[i])⇔freeze(a4[i−10])high reset + sufijo K/P/G constante ⇒ c18 exactoCómo se probó
Derivar correspondencias de rotación, verificar constantes compañeras e inputs Majority, componer cada reset con el programa de sufijo y repetir sobre 300 registros frescos.
Qué ocurrió
Todos los teoremas de alcance finito tuvieron cero errores. Hubo 935 high resets originales y 219 frescos; todos produjeron sufijo constante. Seis programas exactos cubrieron los datos frescos.
Controles de exactitud y estadísticos
La identidad y la composición se comprobaron exactamente; la prevalencia fresca se informó separada. La economía siguió marcada pendiente.
Qué significa
Una condición amplia de Σ0 colapsa a una frontera de un bit dentro del contexto. Es simplificación local exacta, no ventaja total.
Limitaciones
- El teorema depende del contexto heredado.
- Seis programas requieren despacho.
- No se midió coste online ni energía.
Trazabilidad
Recalcular índices de rotación, comprobar constancia, enumerar valores fuente y comparar el certificado con T2 directo.
Variantes canónicas
SUBENGINE-V26ASUBENGINE-V26BSUBENGINE-V26CSUBENGINE-V26DSUBENGINE-V26EFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.