Daniel Allaire ece250ae49 pare-feu Proxmox : un seul schéma de nommage ... Les IPSets portaient l'étiquette longue (`chez17_serveur_postgresql`), les groupes l'index court (`t17-srv-postgresql`) : deux conventions dans un même document. Tout porte maintenant `t<index>-` et la même forme abrégée. La troncature reste propre à chaque objet — Proxmox est large sur les IPSets, étroit sur les groupes. Un nom peut être entier d'un côté et abrégé de l'autre ; chacun respecte sa contrainte, le préfixe reste commun. Vérifié : aucune collision d'IPSet, et tout renvoi `+X` d'une règle pointe vers un IPSet existant — 58 IPSets, 34 groupes, aucun orphelin. Preuves : 25 OK, 0 échec. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>		2026-08-03 11:50:50 -04:00
..
tests	Dimensionner les ressources VM depuis les logiciels hébergés	2026-06-30 10:07:04 -04:00
applications.py	Trois preuves qui regardent au-dela d'une seule instance + champ liens/websocket au GUI	2026-07-22 21:32:42 -04:00
bases_donnees.py	Set-OPS — moteur d'ecosystemes numeriques souverains (Alliance Boreale)	2026-06-24 20:17:46 -04:00
config_proxmox.py	Inventaire d'instance neutre et configurable (principal / SETOPS_INVENTAIRE)	2026-06-30 16:08:25 -04:00
couverture_gui.py	Trois preuves qui regardent au-dela d'une seule instance + champ liens/websocket au GUI	2026-07-22 21:32:42 -04:00
devis_opnsense.py	frontière : la description du lien réutilisait le marqueur du prochain saut	2026-08-03 08:42:54 -04:00
devis_proxmox_fw.py	pare-feu Proxmox : un seul schéma de nommage	2026-08-03 11:50:50 -04:00
devis_reseau.py	underlay : un rôle par hôte, et les hyperviseurs au modèle	2026-08-03 10:21:30 -04:00
domaines.py	Set-OPS — moteur d'ecosystemes numeriques souverains (Alliance Boreale)	2026-06-24 20:17:46 -04:00
instance_creer.py	Créer une instance depuis un modèle (CLI + GUI)	2026-07-23 14:13:36 -04:00
instances.py	Multi-instances : make instances (vue + collision) + preuve P21	2026-07-23 11:26:01 -04:00
instancier.py	Trois preuves qui regardent au-dela d'une seule instance + champ liens/websocket au GUI	2026-07-22 21:32:42 -04:00
inventory_gui.py	GUI : le panneau présente les deux devis, et son aide n'est plus périmée	2026-08-03 08:52:22 -04:00
inventory_host.py	Reconstruction propre : orchestrateur ordonné, registre des flux + pare-feu	2026-07-07 03:08:09 -04:00
inventory_rules.py	Adressage derive du seul seed index (rupture, mode compact retire)	2026-07-23 02:58:15 -04:00
model_creer.py	Créer un modèle (make model-creer) — base + promotion d'instance	2026-07-23 14:43:06 -04:00
modeles.py	modèles : l'underlay devient modélisable, et P17 le valide	2026-08-02 17:11:18 -04:00
orchestrer.py	Mise en conformité prouvable : registre d'affirmations + make prouver	2026-07-20 19:53:18 -04:00
plan_recette.py	Plan de recette (P22) : le pendant manuel de make prouver	2026-07-23 15:49:16 -04:00
prouver.py	pare-feu Proxmox : le filtrage est-ouest intra-tenant, dérivé (P25)	2026-08-03 11:43:32 -04:00
resoudre_flux.py	flux : l'ICMP entre au registre — l'overlay à 1450 l'exige	2026-08-03 10:07:30 -04:00
serveurs.py	Inventaire d'instance neutre et configurable (principal / SETOPS_INVENTAIRE)	2026-06-30 16:08:25 -04:00
underlay.py	underlay : le MTU du modèle était faux, et la garde le validait	2026-08-03 10:28:16 -04:00
verifier_gui.py	Set-OPS — moteur d'ecosystemes numeriques souverains (Alliance Boreale)	2026-06-24 20:17:46 -04:00
voute.py	Trois preuves qui regardent au-dela d'une seule instance + champ liens/websocket au GUI	2026-07-22 21:32:42 -04:00