Proof Ledger Markdown
Chaque affirmation importante peut être inscrite dans un registre Markdown avec son statut, sa preuve et sa revue.
← Retour au BIMCheck Lab
Open source · v3.0.0Projet GitHub public
WinCreator — Proof-gated engineering for AI agents
Des agents IA qui doivent prouver ce qu'ils déclarent avoir terminé.
WinCreator transforme une affirmation technique importante en registre, commande exécutée, preuve capturée et revue distincte. L'objectif est de réduire l'auto-validation optimiste, les pertes de contexte et les boucles de correction improductives.
proof-ledger.mdcapture #014
CLAIM-014Le contrôle a été exécuté.
- 01Affirmationportée dans le registre
- 02Commandeexécutée et capturée
- 03Attestationliée à l'affirmation
- 04Revueverdict séparé
La méthode
Une affirmation technique n'est pas encore une preuve.
WinCreator rend visible le passage entre ce qui est annoncé, ce qui a été réellement exécuté, ce qui a été capturé et ce qui a été relu.
Capture et revue séparée
Les commandes et leurs sorties sont capturées ; le rôle Builder est séparé du rôle Reviewer pour les niveaux qui le demandent.
Niveaux adaptés au risque
Lite, Standard et Regulated organisent le niveau de contrôle attendu selon le contexte de travail.
Caractéristiques vérifiées
Ce que le dépôt public documente.
Les éléments ci-dessous sont présentés sans extrapoler le périmètre réel du projet.
- Projet open source sous licence MIT, version publique 3.0.0.
- Proof Ledger en Markdown, package installable et compatibilité Python 3.10 à 3.13.
- Captures de commandes et sorties reliées aux affirmations par des attestations.
- Séparation Builder / Reviewer pour les revues Standard et Regulated.
- Contrôles de redaction, limites de sortie et captures privées pour réduire l'exposition de données sensibles.
- Tests documentés sur Ubuntu, Windows et macOS ; validations Skill Creator et Agent Skills.
Limite importante
Une trace vérifiable n'est pas une certification.
WinCreator ne rend pas une IA infaillible, ne remplace pas une revue humaine, ne certifie pas automatiquement un résultat et ne garantit pas une conformité réglementaire. Il structure les éléments nécessaires pour pouvoir examiner le travail.
Le HMAC peut aider une personne qui possède la clé à détecter une modification. Il ne constitue ni une signature publique ni un registre de transparence indépendant ; le détenteur de la clé ne doit pas être confondu avec un tiers de confiance.
Le lien avec le BIM
Deux contrôles, un même principe : une affirmation ne vaut pas une preuve.
Dans un audit IFC, BIMCheck vérifie les données d'une maquette : classe d'objet, propriété, classification, unité ou livrable. Dans WinCreator, le contrôle porte sur les preuves associées au travail technique et agentique. Les objets vérifiés sont différents ; l'exigence de traçabilité est la même.
Voir la méthode d'audit IFC