1. Ostorlab Neutron alcanza el 97.1% en CyberGym.
   En pantalla: La tasa de resolución con pruebas de concepto verificadas ocupa toda la pantalla.

2. 1,463 tareas generaron pruebas de concepto verificadas.
   En pantalla: Se rellenan exactamente 1,463 de las 1,507 celdas de tareas.

3. Neutron detectó el 100% de los fallos en las 1,507 tareas de CyberGym.
   En pantalla: Detección y localización de vulnerabilidades conocidas del benchmark.

4. CyberGym incluye software que ya conoce.
   En pantalla: Python: error de una unidad en el tokenizador de f-strings. NGINX: identificadores de flujo HTTP/2 no válidos. FFmpeg: acceso fuera de límites a una tabla H.264. Wireshark: subdesbordamiento aritmético de una longitud en el analizador de paquetes.

5. El analizador de patrones con comodines de curl podía leer más allá de un patrón incompleto.
   En pantalla: El patrón real *[][ se muestra como bytes. Un marco de lectura llega a NUL y después avanza más allá de la cadena.

6. El parche comprueba el terminador de cadena antes de cada estado.
   En pantalla: El parche del proyecto original: c = **p; if (!c) return SETCHARSET_FAIL; antes de switch(state).

7. Para FAAD2, Neutron reconstruyó la entrada necesaria para llegar al decodificador.
   En pantalla: Aparecen en secuencia el código fuente, el preámbulo de 29 bytes del harness y el decodificador.

8. FAAD2 usaba los mapeos de canales sin volver a comprobar el límite de canales.
   En pantalla: La comprobación pce.channels > MAX_CHANNELS precede al acceso por índice a internal_channel, tal como la añadió el parche del proyecto original.

9. La entrada declaraba 93 canales para un búfer de 64 entradas.
   En pantalla: Las 64 entradas disponibles aparecen en azul; los 29 canales de más, en rojo.

10. Una prueba de 134 bytes reprodujo el desbordamiento.
   En pantalla: La misma entrada FAAD2 provoca un desbordamiento de búfer de pila antes del parche y finaliza sin errores después.

11. El coste medio estimado de inferencia fue de 1.04 USD por tarea.
   En pantalla: El coste se indica por tarea del benchmark.

12. Convierta los hallazgos de vulnerabilidades en pruebas ejecutables.
   En pantalla: La frase final se estabiliza, seguida del logotipo de Ostorlab.