Preuves

Une trace vérifiable n’est pas une promesse de vérité absolue.

APLOMB distingue le contenu produit, les sources consultées, les contrôles exécutés, la route utilisée et l’intégrité du certificat.

01

Source

Qui publie l’élément, à quelle date et dans quelle version ?

02

Règle

Quel contrôle a été appliqué et dans quel périmètre ?

03

Verdict

Quel état résulte des éléments réellement disponibles ?

04

Trace

Quels composants, versions et limites permettent l’examen ultérieur ?

États canoniques

Dire précisément ce que l’on sait.

ÉTABLI

Les éléments disponibles soutiennent l’affirmation dans le périmètre annoncé.

CONTREDIT

Un élément de référence contredit l’affirmation examinée.

NON ÉTABLI

Les éléments disponibles ne permettent pas de conclure.

INCOMPLET

Le résultat manque d’éléments requis pour être considéré comme achevé.

ARBITRAGE REQUIS

Une décision humaine reste nécessaire.

HORS PÉRIMÈTRE

La demande dépasse les sources, règles ou capacités annoncées.

CONTRÔLE INDISPONIBLE

Le contrôle attendu n’a pas pu être exécuté.

Deux reçus distincts

Route et preuve ne racontent pas la même chose.

Le reçu de route explique pourquoi un chemin a été retenu. Le certificat de preuve décrit le résultat, ses contrôles et son intégrité.

Reçu de route

  • Contrat de tâche
  • Capacités exigées
  • Route retenue ou refusée
  • Motif de sélection

Certificat de preuve

  • Contenu et verdict
  • Sources et règles
  • Versions et horodatage
  • Signature et limites

Examiner plutôt que croire sur parole.

Démonstration sur données fictives

Ouvrez la source, lisez le résultat, vérifiez l’intégrité.

Trois cas pédagogiques calculés localement, sans appel de modèle ni action extérieure. Ces reçus d’exemple ne sont pas des certificats de production. Leur clé sert uniquement à cette démonstration.

Ouvrir la source fictive : 12 000 € et 8 000 €

Un calcul établi

ÉTABLI

12 000 € + 8 000 € = 20 000 €. La conclusion ne porte que sur cette addition et cette source fictive.

Lire le reçu d’exemple

La vérification de signature se fait dans votre navigateur.

Une affirmation contredite

CONTREDIT

Le total annoncé de 23 000 € ne correspond pas aux deux montants. Le contrôle retrouve 20 000 €.

Lire le reçu d’exemple

La vérification de signature se fait dans votre navigateur.

Une action laissée en attente

ARBITRAGE REQUIS

L’envoi simulé du budget n’a pas d’approbation. Le résultat dit qu’aucun envoi n’a été exécuté ; il ne prouve pas un blocage en production.

Lire le reçu d’exemple

La vérification de signature se fait dans votre navigateur.

Une signature valide confirme l’intégrité du fichier associé à ce cas et à cette clé d’exemple. Elle ne prouve ni une identité de production, ni une autorisation réelle, ni la vérité d’une autre affirmation. Consulter la clé publique de démonstration.