Prouver ce qui s'est passé
La preuve d'un run, ce sont ses décisions signées et chaînées, un rejeu qui retrouve ses décisions, et ses délégations signées. L'onglet Preuve d'un run les rassemble ; l'export auditeur les emporte, signé.
La preuve d'un run
- La chaîne d'attestations : chaque décision humaine, signée et chaînée à la précédente. Le serveur vérifie la chaîne et dit si elle tient.
- Le rejeu déterministe : le run est rejoué depuis son état d'entrée avec ce qu'il a enregistré — les réponses des modèles, l'horloge —, sans rappeler aucun modèle, et le verdict dit s'il arrive aux mêmes décisions. L'enregistrement est actif par défaut.
- Les délégations signées : chaque appel à un autre agent, avec l'empreinte de ce qui a été envoyé.
- La supervision humaine du run et son attestation de rejeu.
Capture du Studio · onglet Preuve d'un run — à venir
L'export auditeur
Un approbateur ou un propriétaire exporte le dossier d'un run : le run, ses checkpoints, son journal complet, son rapport de conformité, la chaîne d'attestations, le verdict de rejeu et de quoi le reproduire — signé d'un bloc.
Vérifier hors ligne
- Retirer le champ « signature » du dossier exporté.
- Re-sérialiser le dossier et calculer son empreinte SHA-256.
- Vérifier la signature Ed25519 détachée avec la clé publique de l'instance.
clé publiqueL'API publie sa clé à /.well-known/jwks.json, et Gouvernance › Preuves & conformité l'affiche avec son empreinte. Une instance sans clé durable publie une clé éphémère, qui change à chaque redémarrage.
Pas encore
BientôtLe rejeu couvre le run jusqu'à sa première porte ; ce qui suit une reprise ne se rejoue pas encore.
BientôtUn dossier auditeur par période, pour plusieurs runs : l'export existe par run.