Vos agents IA écrivent le code. Je construis ce qui prouve qu'il peut partir en prod.

Autour de chaque modification faite par un agent, trois outils open source que j'ai écrits. Chacun publie ce qu'il démontre, et ce qu'il ne démontre pas.

Encre pleine : démontréContour : non établi Sources relues le 29 septembre 2026 · registre des affirmations

1. 1 · Avant : la décision

   Latent Compass

   L'enregistreur de vol des décisions d'un agent : les options, les indices et le choix, figés avant que le résultat soit connu. Une boussole indique la direction sans prendre la barre.

   Décision

   Plus tard

   figée

   résultat

   Démontré

   Contrats d'épisode stricts, journaux en ajout seul où une retouche silencieuse se détecte, banc d'essai hors ligne rejouable. Source : README latent-compass @f66dce1 (nouvel onglet)

   Non établi

   Un gain mesuré sur un agent réel. L'audit indépendant laisse le statut de preuve à PROOF_WEAK/BLOCK. Source : README latent-compass @f66dce1 (nouvel onglet)

   Première phase de recherche close sur KILL_DISCOVERY : pas assez de preuves pour entraîner un modèle, donc aucun modèle entraîné. Le refus fait partie du résultat. Source : README latent-compass @f66dce1(nouvel onglet)

   Code source et statut de preuve(nouvel onglet)

2. 2 · Pendant : le changement

   semctx

   Relie chaque diff aux symboles, contrats, invariants et tests qu'il touche, et rend un verdict PASS, WARN ou BLOCK avant la fusion.

   +−

   • symboles
   • contrats
   • invariants
   • tests

   PASSWARNBLOCK

   Démontré

   Des verdicts déterministes : la démonstration du chapitre 01 se rejoue. Sources : README semctx @11465f6 (nouvel onglet) · hoklims.github.io/semctx/demo (nouvel onglet) · evidence.json semctx 0.3.5 (nouvel onglet)

   Non établi

   Le comportement à l'exécution : l'analyse est statique, et son silence n'est pas une garantie. Sources : README semctx @11465f6 (nouvel onglet) · hoklims.github.io/semctx/demo (nouvel onglet)

   Fiche et démo

3. 3 · Après : le test

   AssertLedger

   Vérifie qu'un test de régression attrape vraiment le bug : le même test tourne sur le code corrigé, sur un défaut connu et sur un témoin neutre.

   Banc d'essai

   Le même test, trois versions du code. Choisissez celle qui tourne :

   Version de isEven sous test

   Code corrigé Défaut connu Témoin neutre

   src/is-even.js · la bonne version

   export function isEven(value) {
     return value % 2 === 0;
   }

   Test	Résultat
   « deux est pair » assert.equal(isEven(2), true)	réussite
   « renvoie un booléen » assert.equal(typeof isEven(2), "boolean")	réussite

   Sur le code corrigé, les deux tests passent : rien ne permet encore de les départager.

   src/is-even.js · parité inversée

   export function isEven(value) {
     return value % 2 === 1;
   }

   Test	Résultat
   « deux est pair » assert.equal(isEven(2), true)	échec d'assertion
   « renvoie un booléen » assert.equal(typeof isEven(2), "boolean")	réussite

   Sur le défaut connu, « deux est pair » échoue : il voit le bug. « Renvoie un booléen » passe encore : il ne le voit pas.

   src/is-even.js · même résultat, autre écriture

   export function isEven(value) {
     return (value & 1) === 0;
   }

   Test	Résultat
   « deux est pair » assert.equal(isEven(2), true)	réussite
   « renvoie un booléen » assert.equal(typeof isEven(2), "boolean")	réussite

   Sur une écriture équivalente, les deux passent : l'échec précédent vient bien du défaut, pas d'un test trop fragile.

   Verdict sur les trois versions

   WEAK_ORACLE

   « Renvoie un booléen » réussit partout, défaut compris : il ne détecte pas ce défaut.

   Retenu

   « Deux est pair » échoue sur le défaut seulement : la décision le sélectionne.

   Démontré

   Un verdict, les observations qui le fondent et une preuve qui se rejoue sans modèle ni nouvelle exécution des tests ; version 1.1.1 publiée sur npm. Sources : README assertledger @b9407bf (nouvel onglet) · npm assertledger 1.1.1 (nouvel onglet)

   Non établi

   L'isolement de l'exécution (code de confiance seulement), d'autres cadres de test que node:test (AssertLedger 1.3 annonce aussi bun:test, non rejoué ici), la correction générale du programme. Source : README assertledger @b9407bf (nouvel onglet)

   Code source(nouvel onglet)

Dans la même lignée

• StacksFinder — recommandations de stack déterministes : le score décide, le LLM rédige ; servies aux agents par MCP.
• temper(nouvel onglet) — distillation de compétences pour agents de code, en local, relue par un humain.
• codex-wayfinder(nouvel onglet) — gouvernance menée par Codex pour des passations d'exécution manuelles vers Claude Code.
• top-down-diagnosis(nouvel onglet) — diagnostic de haut en bas pour agents de code, de l'intention à l'implémentation ; guide bilingue et gabarits.

Le même dispositif sur votre dépôt commence par le Diagnostic Agents : cinq jours, prix fixe.

• Point d'entrée

  Diagnostic Agents

  Cinq jours pour mesurer votre revue, auditer votre setup d'agents et poser une première porte dans votre CI.

  3 500 € HT prix de lancement · 3 places

• Sprint d'installation

  Trois à quatre semaines : contexte des agents, chaîne de revue, portes en CI, formation de l'équipe.

  dès 15 000 € HT chiffré après le diagnostic

• Tech lead IA fractionné

  Un à deux jours par semaine pour tenir les portes et faire monter l'équipe.

  dès 4 000 € HT / mois engagement mensuel

Les prix sont affichés pour que vous sachiez à quoi vous attendre avant d'écrire. Le sprint se chiffre à l'issue du diagnostic. Détail des offres et conditions.