L'audit du graphe
Les codes
| code | gravité | anomalie |
|---|---|---|
orphan_emit | error | émis localement, aucun abonné local, ne traverse aucun canal |
dead_receive | error | reçu localement, aucun émetteur local, ne traverse aucun canal. Plus grave : l'abonné a l'air vivant |
unused_contract | error | au catalogue, ni émis ni reçu par personne |
version_gap | warning ou error | émis en version X, attendu en version Y ≠ X ; warning si les upcasters du catalogue pontent, error sinon (downcast, ou upcastFrom manquant) |
revision_gap | warning | un émetteur produit encore une révision antérieure à la courante ; le broker complète, mais code et catalogue ont dérivé |
Chaque anomalie est { severity, code, name, message, …contexte }, dans l'ordre du catalogue.
Ce que l'audit ne voit pas
- L'autre côté du canal : « émis, traverse, personne n'écoute en face » demande les deux arbres. C'est un contrôle d'outillage.
- Les payloads : il ne lit que des déclarations. Le broker valide chaque payload à l'émission et à la réception.
- Les composants non montés : un fichier que personne n'instancie est invisible, correctement.