Evaluación lazy exacta del predicado B8
El predicado B8 exacto puede rechazar en el primer bit requerido que no coincida, sin evaluar todos los bits demandados.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El predicado B8 exacto puede rechazar en el primer bit requerido que no coincida, sin evaluar todos los bits demandados.
Por qué la prueba es relevante
La prueba de trabajo compara el doble SHA-256 con un target. B8 es el predicado exacto sobre el primer byte registrado. Como el primer bit requerido distinto decide la comparación lexicográfica, puede detenerse la evaluación; la pregunta es si resolver dependencias cuesta menos que construir todos los bits.
B8(H,T) ⇔ byte₀(H) ≤ byte₀(T) bajo la regla registradadecisión lazy = primer i en el orden π donde Hᵢ ≠ Tᵢρᵣ = E[W_lazy en Rr] / E[W_eager en Rr]Cómo se probó
Se construyeron evaluadores bajo demanda para R60–R56 y cada decisión parcial se comparó con los oráculos eager y de sufijo completo en cohortes libres y alcanzables.
Qué ocurrió
Cero discrepancias semánticas y cero falsos rechazos. El trabajo diagnóstico lazy/eager fue ≈25,6% en R60 y ≈89,6% en R56.
Controles de exactitud y estadísticos
Cada decisión lazy se comparó con el evaluador eager B8 y con el oráculo de sufijo completo en cohortes libres y alcanzables. El orden solo podía cambiar coste, nunca semántica. Cero discrepancias y falsos rechazos son puertas deterministas; las razones de trabajo no representan ciclos ASIC.
Qué significa
La evaluación condicional ahorra trabajo semántico cerca del objetivo, pero el ahorro se reduce en fronteras anteriores. No equivale a ciclos nativos ni a acelerar minería.
Limitaciones
- Las unidades semánticas no son puertas, ciclos ni julios.
- B8 no equivale a PoW completo.
- Transporte, despacho y hardware pueden eliminar el ahorro local.
Trazabilidad
Validado con muestras nuevas free-frontier y de formato Bitcoin contra el oráculo dorado completo.
Variantes canónicas
SUBENGINE-V1ASUBENGINE-V1BSUBENGINE-V1CSUBENGINE-V1DSUBENGINE-V1ESUBENGINE-V1FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.