1. Ostorlab Neutron atteint 97,1 % sur CyberGym.
   À l’écran : Le taux de résolution avec preuves de concept vérifiées remplit l’écran.

2. 1 463 tâches ont donné des preuves de concept vérifiées.
   À l’écran : Exactement 1 463 cases sur les 1 507 tâches se remplissent.

3. Neutron a détecté 100 % des failles sur les 1 507 tâches de CyberGym.
   À l’écran : Détection et localisation des vulnérabilités connues du benchmark.

4. CyberGym inclut des logiciels que vous connaissez.
   À l’écran : Python : décalage d’une unité dans l’analyseur lexical des f-strings. NGINX : identifiants de flux HTTP/2 invalides. FFmpeg : accès hors limites à une table H.264. Wireshark : sous-dépassement arithmétique d’une longueur dans l’analyseur de paquets.

5. L’analyseur de motifs avec jokers de curl pouvait lire au-delà d’un motif inachevé.
   À l’écran : Le motif réel *[][ apparaît sous forme d’octets. Un cadre de lecture atteint NUL, puis dépasse la chaîne.

6. Le correctif vérifie le caractère de fin de chaîne avant chaque état.
   À l’écran : Le correctif du projet d’origine : c = **p; if (!c) return SETCHARSET_FAIL; avant switch(state).

7. Pour FAAD2, Neutron a reconstitué l’entrée nécessaire pour atteindre le décodeur.
   À l’écran : Le code source brut, le préambule de 29 octets du harnais et le décodeur apparaissent successivement.

8. FAAD2 utilisait les mappages de canaux sans revérifier la limite de canaux.
   À l’écran : Le contrôle pce.channels > MAX_CHANNELS précède l’indexation de internal_channel, conformément au correctif du projet d’origine.

9. L’entrée déclarait 93 canaux pour un tampon de 64 entrées.
   À l’écran : Les 64 entrées disponibles sont en bleu ; les 29 canaux en excès sont en rouge.

10. Une preuve de 134 octets a reproduit le dépassement.
   À l’écran : La même entrée FAAD2 déclenche un dépassement de tampon sur la pile avant le correctif, puis se termine sans erreur après le correctif.

11. Le coût d’inférence moyen estimé était de 1,04 USD par tâche.
   À l’écran : Le coût est indiqué par tâche du benchmark.

12. Transformez les failles détectées en preuves exécutables.
   À l’écran : La phrase finale se stabilise, suivie du logo Ostorlab.