Daniel Allaire f80b53b592 devis switch : une interface, un bloc ... La partie A déclarait ses ports de bord deux fois — l'interface en section 4, son portfast en section 6 — alors que la partie B posait tout dans le même bloc. Deux conventions pour la même chose dans un seul document. Le portfast est posé avec son interface (sections 4 et 4b). La section 6 se réduit au global — mode, priorité du pont racine — plus les deux avertissements : les rayons de la 4c n'en sont volontairement pas, et pourquoi BPDU guard n'est pas émis. Vérifié : aucune interface déclarée deux fois dans une même partie, 3 portfast avec `stp`, 0 sans lui, 0 sur un rayon. Preuves : 24 OK, 0 échec. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>		2026-08-01 21:35:32 -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	nommage : bifrost aux frontières, sleipnir à la fabric interne	2026-08-01 20:18:16 -04:00
devis_reseau.py	devis switch : une interface, un bloc	2026-08-01 21:35:32 -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	frontière : le prochain saut dérive du transit, il n'est plus saisi	2026-08-01 19:38:17 -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	Trois preuves qui regardent au-dela d'une seule instance + champ liens/websocket au GUI	2026-07-22 21:32:42 -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	frontière nord/sud : devis dérivé, lien de transit et les deux routes	2026-08-01 19:32:04 -04:00
resoudre_flux.py	Portabilité from-zero : 4 correctifs débusqués par la reconstruction	2026-07-07 06:45:12 -04:00
serveurs.py	Inventaire d'instance neutre et configurable (principal / SETOPS_INVENTAIRE)	2026-06-30 16:08:25 -04:00
underlay.py	devis switch : les rayons de l'étoile ne sont pas des ports de bord	2026-08-01 21:31:31 -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