Familias exactas de carry y Majority
El muro low-bit de Σ0/carry y Majority en R5 puede sustituirse por familias finitas de programas exactos, y cualquier simplificación que sobreviva hasta R6 puede detectarse sin aproximación.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El muro low-bit de Σ0/carry y Majority en R5 puede sustituirse por familias finitas de programas exactos, y cualquier simplificación que sobreviva hasta R6 puede detectarse sin aproximación.
Por qué la prueba es relevante
Para un contexto fijo, cada salida booleana low-bit es una tabla de verdad finita. La canonicalización agrupa tablas idénticas sin perder semántica; es compresión exacta, no ajuste estadístico. Majority se evalúa como Maj(x,y,z)=(x∧y)⊕(x∧z)⊕(y∧z), y las sumas modulares mediante funciones exactas de carry de frontera.
Maj(x,y,z) = (x ∧ y) ⊕ (x ∧ z) ⊕ (y ∧ z)familia(f) = tabla de verdad canónica de f en el cubo registradoH₀: ningún candidato de familia exacta R6 sobrevive la búsqueda registradaCómo se probó
Enumerar los cubos fuente registrados, compilar familias exactas de carry y programas Majority para bits 0–3, unirlos en una biblioteca R5 y buscar contextos conectados R6. Reproducir cada familia en un motor independiente y validar por separado el canal exploratorio E5.
Qué ocurrió
La biblioteca se reprodujo sin desacuerdos semánticos. El atlas contenía 14, 76, 382 y 520 programas Majority únicos en bits 0–3. La búsqueda R6 devolvió cero candidatos exactos y la validación E5 fresca no promovió ninguno.
Controles de exactitud y estadísticos
La equivalencia de familias se comprobó exhaustivamente en cada cubo y el motor fresco pasó. Los conteos de candidatos se publican como cero; no se emitió veredicto económico.
Qué significa
V21 convierte una operación opaca en objetos exactos auditables, pero no encontró la simplificación R6 esperada. El valor es estructural y no equivale a ventaja minera.
Limitaciones
- La exactitud depende de los cubos y del contexto heredado registrados.
- El número de familias no mide coste de ejecución.
- No se estableció flujo conectado ni benchmark ASIC.
Trazabilidad
Reenumerar cada cubo, canonicalizar tablas, reproducir los programas y repetir la búsqueda R6 sobre contextos frescos con un oráculo semántico de cero errores.
Variantes canónicas
SUBENGINE-V21ASUBENGINE-V21BSUBENGINE-V21CSUBENGINE-V21DSUBENGINE-V21ESUBENGINE-V21FSUBENGINE-V21GSUBENGINE-V21HFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.