Spécifications Canoniques
Chaque affirmation, format de preuve et niveau de conformité — défini, versionné et vérifiable.
Autorité d'exécution
Qui est autorisé à exécuter. Outils typés par effet, commit en deux phases pour les actions irréversibles, enregistrements de décision signés et audit lisible par machine.
Protocole Authority Court
Le protocole d'évaluation déterministe. Pipeline en six étapes : fixation de contrat → vérification de plafond → contrefactuels → invariants → verdict → reçu.
Économie de la preuve
Preuves cryptographiques avec incitations économiques. Packs de preuves, politiques de rétention, structures de récompense et mécanismes de marché.
Échelle de conformité
Sortie structurée
Les actions sont des propositions typées. Chaque appel d'outil renvoie une enveloppe JSON déterministe avec validation de schéma.
Identité cryptographique & génération ProofGraph
Chaque action produit une chaîne de reçus hash-liés. Les preuves forment un graphe acyclique dirigé ancré à la racine de session.
Racine de confiance matérielle & exécution attestée
L'exécution s'effectue dans un TEE. Les rapports d'attestation sont liés au ProofGraph, rendant les reçus infalsifiables au niveau silicium.