SYTADELUM Independent Trace Verifier 1.0.4

Verificateur SYTADELUM 1.0.4

Objet

Cette version durcit le contrat fail-closed du verificateur a la suite d'un
audit contradictoire en lecture seule. Elle succede a la version 1.0.3 sans
modifier ni remplacer ses artefacts publies.

Rupture de semantique annoncee

Un journal.jsonl present mais sans evenement rendait VALIDE en 1.0.3. Ce
comportement etait trop favorable : un dossier a zero evenement ne fournit rien
a verifier.

A compter de la 1.0.4 :

• journal vide sans racine attendue : INCOMPLET ;
• journal vide avec racine attendue : NON_VERIFIABLE, car la racine ne peut
  etre confrontee a aucun evenement.

Les verdicts rendus par la 1.0.3 sur des dossiers a zero evenement ne sont donc
pas reconductibles en 1.0.4. Ce changement est un durcissement volontaire du
contrat de verification.

Autres durcissements

• Une erreur de lecture d'un artefact attendu rend un ERREUR_PROTOCOLE
  structure au lieu de laisser la CLI terminer sans verdict JSON.
• Les cles JSON dupliquees rendent ERREUR_PROTOCOLE. Le document est ambigu et
  ne peut pas etre interprete de maniere univoque ; ce verdict ne qualifie pas
  l'intention de l'emetteur.
• Une entree analysable dont le contenu, l'empreinte ou la signature ne concorde
  plus continue de rendre INVALIDE.
• L'heure de reference des recus WORM peut etre figee lors d'un rejeu
  programmatique afin de rendre le test temporel reproductible.

Vecteurs de regression

La matrice adversariale versionnee comprend notamment :

• journal vide -> INCOMPLET ;
• journal vide avec racine attendue -> NON_VERIFIABLE ;
• journal.jsonl remplace par un repertoire, via la CLI JSON ->
  ERREUR_PROTOCOLE, sans traceback ;
• corps d'un evenement modifie -> INVALIDE ;
• cle JSON dupliquee -> ERREUR_PROTOCOLE.

Limites inchangees

Le verificateur detecte des incoherences sous ses hypotheses explicites. Il ne
prouve ni la veracite des faits consignes, ni l'exhaustivite de la capture, ni
la comprehension humaine, ni une qualification juridique.

SYTADELUM Independent Trace Verifier 1.0.3

Correction documentaire de la métadonnée de distribution de la release 1.0.2.1.

• Aucun changement du vérificateur ni des cinq vecteurs de test.
• Les artefacts historiques 1.0.2 et 1.0.2.1 restent inchangés.
• Le manifeste remplace l'état instantané de préparation locale par une classe de distribution publique stable et trace explicitement cette succession.

Verifier SHA-256:
7c2f0eb10064cb98edc171a83641f7d8d997aadd384ffc0b56f5210ba33a17c3

Archive SHA-256:
1ff68510992648f6936cfb266b1a6e89095de485ec6f429140b284d0f77d4bd4

Le manifeste et le tag sont signés avec la clé de release V2.

SYTADELUM Independent Trace Verifier 1.0.2.1 — Zenodo deposit

Dépôt Zenodo — aucun changement de code.

Cette release pointe sur le même commit que la version 1.0.2 et réutilise strictement ses artefacts signés.

SHA-256 de l’archive : 3889c7afcd6303bb4d2f9a2bdde1ca318198be8fac55179e129f59d2470fb302.

SYTADELUM Independent Trace Verifier 1.0.2

Independent offline verifier for SYTADELUM decision traces.

This release contains five runnable verdict vectors: VALIDE, INVALIDE, INCOMPLET, NON_VERIFIABLE and ERREUR_PROTOCOLE.

Verifier SHA-256:
7c2f0eb10064cb98edc171a83641f7d8d997aadd384ffc0b56f5210ba33a17c3

Archive SHA-256:
3889c7afcd6303bb4d2f9a2bdde1ca318198be8fac55179e129f59d2470fb302

The manifest is signed with the V2 Ed25519 release key. SUCCESSION_CLES.md and allowed_signers preserve verification continuity with V1.

Explicit limits are published in LIMITES.md.