Búsqueda cerrada bajo gramática congelada
Una campaña cerrada evaluó 120.259.084.288 hashes bajo una gramática preregistrada. No hubo supervivientes ni señal útil.
- Publicado
- 2026-08-14
- Actualizado
- 2026-08-14
- Autoría
- BTC PoW Lab
- Replicación
- Cerrada bajo la gramática registrada
La estructura local, la señal estadística y la ventaja operacional se evalúan por separado.
Pregunta
¿La gramática congelada produce un candidato o señal útil?
Hipótesis
Algún miembro podría sobrevivir la confirmación.
Por qué importa
El negativo evita repetir gasto sin nueva evidencia.
Método
Congelar gramática y criterios antes de la campaña exhaustiva.
Configuración experimental
- Referencia
- Cero supervivencia bajo la regla congelada.
- Configuración
- Campaña cerrada con gramática inmutable y contadores auditados.
- Hardware
- Infraestructura clásica de hashing de alto rendimiento.
- Conjunto de datos
- Auditoría de campaña por 120.259.084.288 hashes.
Resultados
- 120.259.084.288 hashes evaluados.
- Ningún candidato sobrevivió.
- Ninguna señal útil bajo la gramática congelada.
Análisis científico
GRAMMAR-01 es una búsqueda negativa cerrada. La sintaxis de candidatos, transformaciones admisibles, regla de aceptación y contabilidad se congelaron antes de la campaña, evitando ampliar la búsqueda después de observar fallos.
Se evaluaron 120.259.084.288 hashes y se registraron cero supervivientes bajo la puerta congelada. La conclusión correcta es acotada: ningún miembro de esta gramática sobrevivió. No es un teorema sobre toda gramática posible.
Un nulo cerrado tiene valor científico porque restringe trabajo futuro. Reabrir exige un mecanismo materialmente nuevo y preregistrado, no renombrar la misma familia después de ver su fracaso.
Formulación matemática
N = 120.259.084.288; k = 0 supervivientesEl resultado primario es el conteo auditado de la campaña registrada.
P(K=0 | p,N) = (1 − p)ᴺBajo aproximación Bernoulli independiente, es la probabilidad de observar cero supervivientes.
p₉₅ < 1 − 0,05^(1/N) ≈ 2,49×10⁻¹¹La cota unilateral es ilustrativa; dependencia o estructura pueden invalidar el supuesto Bernoulli.
Lectura estadística
Cero es un resultado, no una medición ausente: se publican el numerador y el denominador.
La «regla de tres» aproxima la escala, pero no se presenta como un teorema criptográfico exacto.
Se excluyeron la detención opcional y la mutación de la gramática mediante congelación previa.
Validez y alcance
- Contabilidad interna fuerte para la campaña registrada.
- La conclusión no generaliza fuera de la gramática y puerta congeladas.
- No se afirma ausencia de toda estructura en SHA-256; se cierra esta familia.
Referencias metodológicas
Interpretación
La hipótesis registrada no sobrevivió; no significa que toda gramática posible falle.
Limitaciones
- El cierre aplica solo a la gramática y puerta congeladas.
- Una hipótesis preregistrada materialmente distinta queda fuera de este resultado.
Reproducción
Usar idéntica gramática, contabilidad y puerta; informar todos los intentos, incluso cero supervivientes.
Artefactos
Reporte de cierre redactado en revisión de publicación.
Contenido experimental para investigación y educación, sin garantía. Valídalo independientemente antes de usarlo. Leer el descargo completo.