Aller au contenu

PD-278 — Agent Developer Livrable : dip-journal-types

Module

dip-journal-types (C7)

Fichier modifie

src/modules/integrity/enums/journal-event-type.enum.ts

Changements effectues

Ajout de 2 nouveaux types dans l'enum JournalEventType (lignes 54-56) :

  • DIP_DISSEMINATED = 'DIP_DISSEMINATED' : journalise chaque transition reussie SEALED -> DIP
  • DIP_RETURNED = 'DIP_RETURNED' : journalise chaque transition reussie DIP -> SEALED

Les types sont ajoutes en fin d'enum avec un commentaire de section // PD-278: NF Z42-013 DIP (Dissemination Information Package) events, suivant le pattern etabli par PD-279 (ligne 49).

Verification des invariants

Invariant Statut Detail
2 nouveaux types: DIP_DISSEMINATED, DIP_RETURNED OK Ajoutes lignes 55-56
Ne pas modifier ou supprimer des JournalEventType existants OK Aucun type existant modifie ou supprime

Verification des forbidden

Regle forbidden Statut Detail
Modifier ou supprimer des JournalEventType existants (non-regression — types utilises par IntegrityJournalService) OK Les 23 types existants sont inchanges

Hypotheses

Aucune hypothese supplementaire. Le contrat est non ambigu : 2 valeurs a ajouter dans un enum TypeScript existant.

Matrice de couverture

Les types DIP_DISSEMINATED et DIP_RETURNED sont consommes par le composant C9 (DisseminationService). Les tests contractuels couvrant ces types :

  • TC-NOM-01 : audit DOCUMENT_DISSEMINATED persiste en transaction (journal DIP_DISSEMINATED)
  • TC-NOM-03 : audit DOCUMENT_RETURNED persiste (journal DIP_RETURNED)
  • TC-INV-04 : chaque transition DIP cree audit transactionnel complet

Fichiers hors perimetre identifies

Aucun besoin de modification hors perimetre. L'enum est importe par IntegrityJournalService qui accepte nativement les nouvelles valeurs sans modification (pattern enum TypeScript extensible).