EXP-066NEGATIVO
Ingeniería GPU canónica / SHA-256d

Hoisting constante de σ0(W16/W17)

Mover σ0(W16/W17) al setup CPU reduce trabajo GPU.

Estado de la afirmaciónNO SE HA DEMOSTRADO VENTAJA MINERA EXTREMO A EXTREMO

El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.

Fecha2026-08-14
EntornoNVIDIA GeForce RTX 5080 · verificador SHA-256d exacto
AlcanceCampaña preregistrada con resultado y auditoría sellados
ReproducibilidadComparar disassembly, timing balanceado y hashes.
01 / Pregunta e hipótesis

Qué se probó

Mover σ0(W16/W17) al setup CPU reduce trabajo GPU.

02 / Fundamento científico

Por qué la prueba es relevante

Sólo importa si cambia código generado o runtime; el compilador puede hoistear solo.

σ0 constantes como parámetrosΔSASS esperado<0gate positivo 4/4
Hoisting constante de σ0(W16/W17)Lectura visual de las métricas y puertas publicadas para EXP-066; resume el resultado registrado, no una ventaja minera.EXP-066 / HOISTING CONSTANTE DE Σ0(W16/W17)RAZÓN KERNEL0,998841CAMBIO SASS−8HEADERS POSITIVOS0 / 4
FIGURA / LECTURA DEL RESULTADOLectura visual de las métricas y puertas publicadas para EXP-066; resume el resultado registrado, no una ventaja minera.
03 / Método

Cómo se probó

Mover sólo dos expresiones invariantes y ejecutar cuatro headers/32 mediciones.

04 / Resultado observado

Qué ocurrió

Razón kernel0,998841
Cambio SASS−8
Headers positivos0 / 4

SASS bajó 2.507→2.499, pero familias idénticas. Perdió 4/4: 0,998841, IC95 0,998082–0,999601.

05 / Validación

Controles de exactitud y estadísticos

Mismo B32, cero discrepancias/spills, 44 registros.

06 / Interpretación

Qué significa

ptxas ya extraía el trabajo; parámetros extra no mejoran.

Limitaciones

  • Sólo dos invariantes.
  • Menos líneas no equivale a ejecución.
  • Combinaciones equivalentes cerradas.
07 / Reproducción

Trazabilidad

Comparar disassembly, timing balanceado y hashes.

Variantes canónicas

CANONICAL-EXP-142PREREGISTERED-CAMPAIGNSEALED-AUDIT

Fuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.