PD-82 — Scénarios de tests contractuels¶

GIVEN une délégation PRE mineur en état PENDING_BOTH
  AND parent P possède une identité opposable valide et une signature vérifiable
  AND autorité A est pré-enregistrée, authentifiée fortement, identité opposable valide
  AND horloge de test figée à T0
WHEN P soumet une validation explicite signée à T0+5m
  AND A soumet une validation explicite signée à T0+1d
THEN l'état transite PENDING_BOTH -> PENDING_AUTHORITY -> ACTIVATED
  AND activatePRE(delegationId) est appelé exactement 1 fois après la seconde validation
  AND l'événement d'activation référence les IDs des 2 validations (P, A)
  AND aucun événement de refus n'est présent

GIVEN une délégation PRE mineur en état PENDING_BOTH
  AND A et P ont des identités opposables et signatures vérifiables
  AND horloge de test figée à T0
WHEN A valide explicitement à T0+10m
  AND P valide explicitement à T0+2d
THEN l'état transite PENDING_BOTH -> PENDING_PARENT -> ACTIVATED
  AND activatePRE(delegationId) est appelé exactement 1 fois après la seconde validation
  AND l'issue finale est identique au scénario TC-NOM-01

GIVEN un processus complet PD-82 mené jusqu'à ACTIVATED
WHEN un audit externe exporte le dossier de preuve
THEN chaque événement (création, validations, activation) est présent en append-only
  AND chaque validation contient timestamp probatoire vérifiable
  AND chaque validation contient identité juridique explicite vérifiable
  AND l'ordre exact des événements est reconstructible sans ambiguïté
  AND l'activation référence les deux validations source

GIVEN une délégation PRE mineur en état PENDING_AUTHORITY
  AND la validation parent est présente et valide
WHEN le parent (auteur de la validation) soumet une révocation explicite signée avant seconde validation
THEN l'état devient REJECTED
  AND activatePRE(delegationId) n'est jamais appelé
  AND toute validation ultérieure sur cette délégation est refusée (état terminal)
  AND la révocation est journalisée en append-only

GIVEN une délégation en PENDING_AUTHORITY avec une seule validation valide
WHEN une activation PRE est demandée
THEN la demande est refusée explicitement
  AND l'état reste PENDING_AUTHORITY
  AND un événement append-only de refus est créé
  AND activatePRE(delegationId) n'est pas appelé

GIVEN une première validation valide horodatée à T0
  AND aucune seconde validation jusqu'à T0+7j+1s
WHEN la seconde validation est soumise à T0+7j+1s
THEN la validation est refusée
  AND l'état devient EXPIRED si non terminal
  AND aucune activation implicite ni explicite n'a lieu
  AND un nouveau processus est requis

GIVEN une validation signée par le parent P
WHEN l'autorité A tente de révoquer la validation de P
THEN la révocation est refusée explicitement
  AND l'état reste inchangé
  AND un événement append-only de tentative invalide est journalisé

GIVEN une délégation en état ACTIVATED
WHEN P ou A soumet une révocation
THEN la révocation est refusée explicitement
  AND l'état reste ACTIVATED (terminal irréversible)
  AND l'événement de refus est journalisé

GIVEN une délégation en PENDING_BOTH
WHEN une validation est soumise avec signature invalide ou non vérifiable
THEN la validation est rejetée avec motif cryptographique explicite
  AND l'état reste inchangé
  AND l'échec est journalisé

GIVEN une délégation en PENDING_BOTH
WHEN une validation est soumise sans certificat/opposabilité juridique valable
THEN la validation est rejetée avec motif explicite d'identité non qualifiable
  AND l'état reste inchangé
  AND l'échec est journalisé

GIVEN une délégation PRE mineur avec autorité déterminée par registre interne
WHEN le parent fournit/altère un identifiant d'autorité cible
THEN la demande est refusée avec motif métier explicite
  AND l'autorité utilisée reste celle du registre interne
  AND l'événement est journalisé

GIVEN un journal contenant des événements PD-82
WHEN une opération de modification ou suppression historique est tentée
THEN l'opération est interdite
  AND aucune mutation historique n'est observée
  AND une alerte sécurité et un événement append-only sont enregistrés