Surface de relecture ciblée
Plages de relecture dédupliquées avec anciennes et nouvelles coordonnées, comptées en lignes réellement modifiées, classées par gravité.
Preuves différentielles
Les tests générés s’exécutent sur la base et sur le candidat dans des environnements neufs. L’exécution Go est vérifiée à partir d’événements de test structurés.
Exécution des lignes modifiées
Mesure facultative des lignes Go ajoutées qu’une exécution enregistrée a exécutées : présentée comme une observation, jamais comme une preuve de test.
Analyse d’impact
Un index statique de Go, TypeScript/JavaScript, Python et Rust liste les appelants inchangés de chaque fonction modifiée et les tests existants qui l’atteignent.
Des tests sur les deux révisions
Tests impactés et tests de base modifiés, fuzzing différentiel et mutation des lignes ajoutées s’exécutent sur la base et sur le candidat, enregistrés comme preuves, jamais comme verdict.
Planifier, puis vérifier le périmètre
probe plan évalue le plan d’un agent avant que le code n’existe ; --plan signale ensuite chaque fichier ou API exportée que la modification a touché sans l’annoncer.
Relecteur IA encadré
Utilisez n’importe quel fournisseur compatible OpenAI. Les outils sont bornés : lecture de fichiers expurgés, recherche et exécution de tests. Ni shell, ni accès aux URL.
Prêt pour la CI
Un workflow GitHub Actions réutilisable, des codes de sortie parlants, des rapports JSON avec identifiants de commit, preuves et empreintes d’artefacts, ainsi que du SARIF et un commentaire de PR ne contenant que des constats étayés par des preuves.
Adapté aux agents
Les agents de code lancent lint et review avant de rendre leur travail, et rapportent ce qui a été reproduit et ce qui reste ouvert.