Daniel Allaire 940e319285 frontière : la description du lien réutilisait le marqueur du prochain saut ... Régression de la correction précédente. Le champ décrivant le CÂBLAGE du lien de transit réutilisait la variable du PROCHAIN SAUT. Les deux étaient identiques jusqu'à la bascule SDN ; elles ont divergé, et la section 1 annonçait `switch <NOEUD-DE-SORTIE-EVPN>`. Sur ce lien, le commutateur est à 10.0.4.6 — le nœud de sortie n'y figure pas, il est joignable À TRAVERS. Le champ décrit maintenant le câblage, indépendamment du routage. Preuves : 24 OK, 0 échec. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>		2026-08-03 08:42:54 -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_reseau.py	devis switch : la partie B déclarait encore les VLAN tenants	2026-08-03 08:35:44 -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 : ses intrants appartiennent à l'hébergeur, pas au tenant actif	2026-08-02 17:17:10 -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	modèles : l'underlay devient modélisable, et P17 le valide	2026-08-02 17:11:18 -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 : le SDN prend le routage tenant, le devis se vide	2026-08-03 08:26:21 -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