Aller au contenu
Guillaume Fossier tech lead IA · code vérifiable Écrire

Registre des affirmations

Chaque statut de ce site, avec sa preuve

Encre pleine ou contour : chaque carré publié ici est une affirmation, comme le chiffre cité en grand. Ce registre donne, pour chacune, la source qui la fonde et la date de sa dernière relecture. Ce qui n'a pas de source publique est dit déclaré.

En bref

Publiées
26 affirmations
Relues par script
14, le 24 septembre 2026, au plus quatorze jours avant la mise en ligne
Relues à la main
1, le 24 septembre 2026 : le script ne peut pas lire la page
Déclarées
11, sans source publique

1. Comment c'est vérifié

Un script relit chaque source publique : le README de chaque outil à son dernier commit, la version publiée sur npm, la preuve et la page de la démo de semctx, l'exemple livré avec AssertLedger, et chaque site annoncé en ligne. Il y cherche, mot pour mot, les passages qui fondent l'affirmation. Dans un README, chaque passage doit se trouver sous son titre exact, avant le titre suivant : un passage cité sous « Demonstrated » ne compte plus s'il a changé de section. Un site doit répondre sur son propre domaine, avec un passage qui lui est propre. Avant d'enregistrer quoi que ce soit, il vérifie aussi que chaque voie par laquelle une affirmation a tenu refuse encore une affirmation fausse connue, et pour la raison attendue.

Une page que le script ne peut pas lire, comme le communiqué de l'enquête Qodo, est relue à la main, à la date indiquée. Une affirmation sans source publique est dite déclarée : aucune vérification ne peut la faire échouer.

Le build refuse une affirmation jamais vérifiée, modifiée depuis sa vérification (texte, état ou mot affiché), ou dont la dernière vérification a échoué, ainsi qu'une vérification de plus de quatorze jours ou dont une voie n'a pas refusé son contrôle. Il refuse aussi une page dont un carré de statut ou un chiffre, dans le HTML produit au build, ne vient pas de ce registre. Un statut ne se corrige pas à la main : on corrige l'affirmation, puis on relance la vérification.

2. Le problème

  1. Cité Enquête Qodo, août 2026

    26 % des développeurs, et autant de responsables engineering, classent la relecture et la validation du code généré comme le premier goulot qui empêche l'IA d'accélérer la livraison.

    Les 2 passages relus
    • “Developers (26%) and engineering leaders (26%) both independently rank reviewing and validating AI-generated code as the top bottleneck preventing AI from accelerating software delivery.”
    • “The data was collected between August 7 and August 14, 2026.”

3. La démonstration

  1. Démontré semctx

    Les trois cas du chapitre 01 sont ceux de la démo publique de semctx 0.3.1 : même fichier, même modification, même verdict attendu, et la preuve publiée confirme chacun.

4. Les instruments

  1. Démontré Latent Compass

    Contrats d'épisode stricts, journaux en ajout seul où une retouche silencieuse se détecte, banc d'essai hors ligne rejouable.

    Les 4 passages relus
    • “Strict, versioned episode contracts.” · section « Demonstrated — implemented and covered by repository tests »
    • “Host-bound append-only stores.” · section « Demonstrated — implemented and covered by repository tests »
    • “make silent mutations detectable” · section « Demonstrated — implemented and covered by repository tests »
    • “A reproducible offline benchmark.” · section « Demonstrated — implemented and covered by repository tests »

  2. Non établi Latent Compass

    Un gain mesuré sur un agent réel. L'audit indépendant laisse le statut de preuve à PROOF_WEAK/BLOCK.

    Les 2 passages relus
    • “Any demonstrated improvement in agent outcomes. No such claim is made.” · section « Projected — not implemented and not claimed »
    • “The current status remains PROOF_WEAK/BLOCK” · section « Independent proof status »

  3. Non établi Latent Compass

    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.

    Les 3 passages relus
    • “The first research epoch ended in KILL_DISCOVERY. No ranker was trained.” · section « Projected — not implemented and not claimed »
    • “lacked enough eligible directional supervision” · section « Projected — not implemented and not claimed »
    • “The refusal is part of the result.” · section « Projected — not implemented and not claimed »

  4. Démontré semctx

    Des verdicts déterministes : la démonstration du chapitre 01 se rejoue.

    Les 4 passages relus
    • “Analysis and verification outputs are deterministic” · section « semctx — repository change-impact analyzer »
    • “Everything else is byte-identical across runs on identical repo state.” · section « Determinism & honesty »
    • “packaged three-case demo” · section « Current delivery status »
    • “Run the released package”

  5. Non établi semctx

    Le comportement à l'exécution : l'analyse est statique, et son silence n'est pas une garantie.

    Les 4 passages relus
    • “semctx is a static impact” · section « Current delivery status »
    • “without building or running the code” · section « Current delivery status »
    • “a quiet Semctx result is not a blanket correctness claim”
    • “It does not prove runtime or business correctness.”

  6. Démontré AssertLedger

    Exemple livré avec AssertLedger 1.1.1 : « renvoie un booléen » passe aussi sur le défaut connu, verdict WEAK_ORACLE ; « deux est pair » échoue sur le défaut et passe ailleurs, il est retenu.

  7. Démontré AssertLedger

    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.

    Les 2 passages relus
    • “You get a verdict, the observations behind it and an evidence file you can replay.” · section « AssertLedger »
    • “Replay requires no model and does not run tests again.” · section « Save and replay the evidence »

  8. Non établi AssertLedger

    L'isolement de l'exécution (code de confiance seulement), d'autres cadres de test que node:test, la correction générale du programme.

    Les 3 passages relus
    • “This backend is explicitly UNSANDBOXED” · section « Try the example »
    • “The first built-in adapter is node:test” · section « Try the example »
    • “prove general program correctness” · section « Understand the result »

5. En équipe

  1. En place · déclaré Des agents qui livrent sous preuve

    Quatre pratiques sur cinq.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  2. En cours · déclaré Des agents qui livrent sous preuve

    La CI fait foi, pas le texte de l'agent.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  3. Non établi · déclaré Des agents qui livrent sous preuve

    Les chiffres avant/après, en cours de mesure.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  4. En place · déclaré Pratique 2.1

    Une PR à la fois, prouvée sur son commit final.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  5. En place · déclaré Pratique 2.2

    L'auteur n'accepte jamais son propre travail.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  6. En place · déclaré Pratique 2.3

    Une règle de preuve ne se valide pas elle-même.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  7. En cours · déclaré Pratique 2.4

    La CI fait foi, pas le texte de l'agent.

    • Déclaré, sans source publique : employeur non nommé · voir la page

  8. En place · déclaré Pratique 2.5

    Des statuts honnêtes.

    • Déclaré, sans source publique : employeur non nommé · voir la page

6. Les offres

  1. Disponible maintenant · déclaré Offres

    Disponible pour une nouvelle mission.

    • Déclaré, sans source publique : l'agenda de l'auteur · voir la page

7. En production et en ligne

  1. En production ChoixLucide

    SaaS IA pour un client, servi à choixlucide.com.

    Le passage relu
    • “Décrypte ce que tu vis. Décide mieux.”

  2. En production · déclaré Le Petit Chêne

    Logiciel métier client, secteur médico-social.

    • Déclaré, sans source publique : logiciel interne du client · voir la page

  3. En production PokeForge

    Optimisation sous contraintes, servie à pokeforge.app.

    Le passage relu
    • “le méta VGC Champions prouvé au snapshot”

  4. En ligne Fossier API

    API servie à fossier.dev.

    Le passage relu
    • “Fossier scores the complexity of any emotion pair”

  5. En ligne Misscaptain

    Site métier servi à babethmisscaptain.fr.

    Les 2 passages relus
    • “Babeth MissCaptain”
    • “Consultez nos horaires pour planifier votre visite”

  6. En ligne Loguilu Basté

    Boutique en ligne servie à loguilubaste.com.

    Le passage relu
    • “Bijoux, mode, accessoires mode, décoration.”

  7. Hors ligne · déclaré JTPV Platform

    Plateforme immobilière livrée, plus en ligne.

    • Déclaré, sans source publique : plus de service à relire · voir la page