Les assertions sont appliquées par le réseau lui-même. Pas par un service de surveillance qui pourrait tomber en panne. Pas par un tableau de bord qui pourrait manquer quelque chose. Pas par un modèle d’IA qui pourrait se tromper. Par le même mécanisme de consensus qui valide chaque transaction. Les mêmes validateurs qui sécurisent des milliards de valeur. Le même réseau qui n’a jamais été attaqué avec succès. Lorsque votre affirmation dit « cet invariant doit tenir », le réseau l’applique. Période. Si une transaction enfreint votre propriété de sécurité, elle ne reçoit pas d’avertissement. Il n’est pas signalé pour examen. Il ne s’exécute pas. Le réseau lui-même *est* votre couche de sécurité.