Sceau³ Trois cadenas · une mesure recalculable

Ce que Sceau³ prouve

Chaque document reçoit trois signatures cumulées ·

1. L1 · empreinte SHA3-256 de chaque ligne · changez un centime, l'empreinte ne correspond plus.
2. L2 · arbre de Merkle qui lie toutes les lignes · ajoutez ou retirez une ligne, la racine change.
3. L3 · signature post-quantique ML-DSA-65 FIPS 204 sur la racine · résiste aux ordinateurs quantiques des 30 prochaines années.

Précision honnête · Sceau³ signe, il ne chiffre pas. Vos actes restent lisibles chez vous · ce qui sort, c'est la preuve, jamais la pièce.

Vérifier soi-même (4 lignes, aucun compte)

wget https://staging.bonnefoi.fr/sceau3/sceau2-verify-v0.1.3-linux-x86_64-musl
wget https://staging.bonnefoi.fr/sceau3/QUITTANCES_ACCEPT_7eDBusa_57feuilles.json
chmod +x sceau2-verify-v0.1.3-linux-x86_64-musl
./sceau2-verify-v0.1.3-linux-x86_64-musl QUITTANCES_ACCEPT_7eDBusa_57feuilles.json
# → rc 0 = VERIFIED

Le binaire fait 512 Ko (musl statique), aucune dépendance système, 225 lignes de Rust auditable. Zéro appel réseau. Zéro télémétrie. Rejouable dans 30 ans.

Trois issues · un verdict

rc 0 · VERIFIED · les trois signatures tiennent, l'acte est authentique.
rc 1 · REFUS · une signature ne colle plus · motif précis dans la sortie.
rc 2 · NON_REJOUABLE · la fixture est incomplète ou incohérente, pas de verdict · dont toute feuille sans canon : une empreinte annoncée que le vérificateur ne peut pas recalculer n'est pas une preuve (v0.1.1, 2026-10-25) · et toute série dont l'alg est absent, ambigu ou inconnu de ce binaire : une incapacité n'est pas une fraude, le vérificateur le dit au lieu de présumer ML-DSA-65 (v0.1.2, crypto-agilité).

Transition Sceau² → Sceau³ · depuis la spec 1.1.0 les séries portent sceau3_root à côté de sceau2_root (même valeur) · le vérificateur v0.1.3 lit sceau3_root et retombe sur sceau2_root · une série qui n'a que l'une des deux reste rc 0. Le champ verifier_binary_sha256 a été retiré (v0.1.3) : une série ne peut pas nommer l'empreinte du binaire qui la vérifiera, le champ n'était pas signé, et il épinglait une implémentation contre la crypto-agilité.

Neuf fixtures publiques

• QUITTANCES_ACCEPT · série de 57 feuilles authentiques · rc 0
• QUITTANCES_MUTEE_total+1000 · mutation arithmétique du total, signature crypto encore valide (démonstration du trou L3 isolé)
• QUITTANCES_SANS_CANON_feuille0 · feuille 0 privée de son canon · rc 2 · v0.1 rendait rc 0 ici · corrigé v0.1.1
• CERTIFICAT_REFUS · certificat REFUS scellé avec la MÊME clé Sceau³ · prouve que le trou est comblé par un artefact signé, pas par une révision silencieuse
• QUITTANCES_ACCEPT_v2.1 · même série, racine enrichie alg · spec_version 1.0.0 · rc 0 · v0.1.3 : manual_url et verifier_binary_sha256 retirés de la fixture
• QUITTANCES_ACCEPT_v2.1_sceau3_root · spec 1.1.0, sceau3_root seul · rc 0 · v0.1.2 affiche VERIFIED ? (étiquette aveugle), v0.1.3 affiche l'étiquette · le rc ne change pas
• QUITTANCES_ACCEPT_legacy_sceau2_only · spec 1.1.0, sceau2_root seul · rc 0 · témoin du repli compat
• QUITTANCES_ALG_INCONNU · alg: ML-DSA-87, que ce binaire ne sait pas rejouer · rc 2 · pas rc 1 : refuser ce qu'on ne sait pas lire serait accuser
• QUITTANCES_SANS_ALG · aucun identifiant d'algorithme · rc 2 · v0.1.1 rendait rc 0 ici en présumant ML-DSA-65 · corrigé v0.1.2

Pourquoi personne d'autre

DocuSign · YouSign · Microsoft signent avec leurs clés · s'ils ferment, vos preuves se taisent.
Notaires · huissiers signent avec leur statut · pas une mesure recalculable par la partie adverse.
Blockchain · OpenTimestamps ne font qu'un étage sur trois.

AE/VV ne signe rien à votre place. Nous donnons l'outil qui laisse vos actes porter leur propre preuve · détachable, vérifiable sans nous. Si nous disparaissons demain, vos preuves continuent de fonctionner. Nemo iudex in causa sua.