03 · Comment on sait

Prouver le dépôt, mesurer le système.

make verifier · make prouver

Les preuves statiques

Lisent le dépôt seul, sans réseau : plan, rôles, flux, documentation, ordre de déploiement. 95 preuves, un rapport daté et rejouable.

make SUJET-plan

Les devis

Lisent le système en marche, par les API de Proxmox et d’OPNsense et sur les VM, et le comparent au plan. Ils n’écrivent rien.

Chaque garde a son témoin : on casse exprès, elle doit le voir.

Et chaque sonde a son contrôle : avant de conclure, on vérifie d’où l’instrument mesure.

Set-OPS · Rencontres Linux du Québec 2026

15