Prouvé

• Tests. 5 284 fichiers de test dans 158 dossiers, dont 527 gardes-scénario et 4 474 tests numérotés de la forme classique, comptés dans la bibliothèque au commit 4a184e6f0. construit · voir profondeur
• Fuzzers et suites de propriétés. Cinq fuzzers et trois suites de propriétés sur les analyseurs et la cryptographie du moteur. construit · une lecture d'une évaluation extérieure du 2026-10-07
• Une porte avant chaque commit. Une porte de sécurité locale contrôle un changement avant qu'il soit gardé. construit
• Une nomenclature. Un outil liste de quoi le moteur est fait, bibliothèques embarquées comprises. construit
• Un lecteur de tests. Un exécutant qui lit chaque fichier de test comme une visite, pour dire quelles promesses il tient. en construction

en construction Ce qui manque : pas d'intégration continue hébergée, et pas d'instrument qui mesure la couverture. Cinq exécutants plus anciens n'émettent pas de verdict lisible par une machine, ce qui explique que ce site ait le sien. Un test qui passe prouve ce qu'il teste, et la page des motifs montre deux tests de la bibliothèque qui affichent maintenant la mauvaise réponse.