ERR-TYP-007

Transition de typestate invalide.

ERR-TOP-009

Branche offer non gérée dans l'implémentation d'un protocole.

ERR-ACT-002

Combinaison de messages non couverte par un motif de jonction.

ERR-ACT-003

Souscription circulaire à un flux avec politique :block.

ERR-ARC-001

Cycle dans le graphe de dépendances entre acteurs et canaux.

ERR-ARC-002

Seuil de centralité dépassé (God Object).