El incidente se originó por un error en un pass de fusión de MLIR que, durante una operación de 'constant folding', calculó 0 * Inf, lo que según el estándar IEEE 754 resulta en un valor NaN (Not-a-Number). Este NaN fue asignado a un atributo de una operación (ej., 'scale') dentro de la representación intermedia (IR) del compilador. A pesar de que el valor era numéricamente inválido para el contexto de la operación (un factor de escala debe ser finito y positivo), el IR resultante era estructuralmente válido, permitiendo que el compilador lo aceptara y propagara.
La propagación del NaN a través de las operaciones subsiguientes llevó a una regresión de precisión en el runtime de la NPU. Las salvaguardas existentes, como la verificación de tipos y alineación de operandos/resultados, no detectaron el problema porque el NaN es un valor flotante válido según IEEE 754, aunque semánticamente incorrecto para el dominio de la aplicación. La detección tardía en el runtime como una regresión de precisión dificultó la identificación de la causa raíz, ya que el problema se originó mucho antes en la fase de compilación.
La analogía con la propagación de 'X' en el diseño de hardware digital es pertinente: un estado desconocido o inválido introducido tempranamente puede propagarse y manifestarse como un fallo distante. En este caso, el NaN actuó como un 'X' numérico. La falta de una verificación de invariantes numéricos intrínsecos en el límite de la operación permitió que el valor inválido persistiera y se propagara, eludiendo las comprobaciones de validez estructural del compilador.