Alliance-Boreale/Set-OPS-Public
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Set-OPS-Public/docs/audit/preuve-2026-08-09.md

70 lines
6.2 KiB
Markdown
Raw Normal View History

client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
# Preuve de conformite — Set-OPS — 2026-08-09
> Genere par `make prouver` (`scripts/prouver.py`). **Rejouable** : relancer
> reproduit ce rapport. Chaque preuve rejoue l'outillage existant du depot ;
> aucune validation n'est reimplementee ici. Voir le mode d'emploi :
> [`docs/audit/README.md`](README.md), et le registre trace :
> [`docs/audit/affirmations.md`](affirmations.md).
- **Instance** : `instance` — inventaire `instance/inventories/principal/hosts.yml`
recette : regenerer le plan apres l'ajout de l'unite de wiki (P22) P22 garde la synchronisation entre le wiki et docs/audit/plan-de-recette.md. En ajoutant l'unite « Verifier le deploye », j'ai rendu le plan perime et la preuve l'a vu aussitot — une garde que le depot avait deja et que j'avais oubliee. Et j'ai POUSSE le commit precedent avec cette preuve en echec, pour la DEUXIEME fois, avec la meme cause : mon garde-fou etait grep -E '^CONFORME|^NON CONFORME', qui reconnait « NON CONFORME » comme une correspondance et laisse passer la chaine &&. Je l'avais documente hier sans changer l'habitude. Desormais : le CODE DE SORTIE de prouver.py. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 15:22:02 -04:00
- **Verdict** : ✅ CONFORME (33 OK · 0 echec · 0 saute)
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
## Preuves
| # | Preuve | Affirmations | Statut | Detail |
|---|---|---|---|---|
| P01 | Lint (ansible-lint) | AFF-006 | ✅ OK |  |
test : epingler SETOPS_DOMAINE dans le contrat de parametres-proxmox Le test unitaire a rejete mon ajout d'export — c'est exactement son role : il epingle le contrat de parametres-proxmox, et une variable de plus est un changement de contrat qui doit etre declare, pas subi. J'ai pousse le commit precedent AVEC cette preuve en echec. Cause : mon garde-fou etait « grep -E 'CONFORME|ECART' », qui correspond aussi a « NON CONFORME ». Un motif qui ne sait pas distinguer le succes de l'echec ne garde rien — meme famille que les criteres creux de P31. Harnais de nouveau a 33 preuves, 0 echec. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 10:26:44 -04:00
| P02 | Tests unitaires (inventory_host) | — | ✅ OK | >>> le verrou tient : aucune VM n'aurait ete touchee |
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
| P03 | Diff-vide du plan (inventaire genere) | AFF-001, AFF-004, AFF-030, AFF-031, AFF-032 | ✅ OK | DIFF VIDE : le plan reproduit exactement l'inventaire actuel. Bascule possible. |
| P04 | Groupes <-> playbooks homonymes | AFF-008 | ✅ OK | |
| P05 | Dependances causales de groupes | AFF-009, AFF-084 | ✅ OK | |
| P06 | Validateurs de registres (serveurs/apps/bases/domaines) | AFF-003 | ✅ OK | Registre des domaines valide. |
| P07 | GUI (node --check) | AFF-033 | ✅ OK | JS du GUI : syntaxe valide (node --check). |
| P08 | Orchestration (couches + graphe) | AFF-070 | ✅ OK | Orchestration coherente : 30 groupes classes, aucun cycle, aucune arete en arriere. |
| P09 | Flux reseau (schema + matrice) | AFF-071 | ✅ OK | Flux coherents : 29 rôles, 75 flux, schéma + matrice OK. |
| P10 | Handlers <-> notify | AFF-034, AFF-035 | ✅ OK | Tout notify pointe vers un handler du meme role (49 roles). |
| P11 | Syntaxe des playbooks (--syntax-check) | AFF-083 | ✅ OK | playbook: playbooks/proxmox/cloner_vm_debian.yml |
| P12 | Existence des runbooks cites | AFF-010, AFF-011, AFF-012, AFF-083 | ✅ OK | 17/17 runbooks/registres cites presents. |
| P13 | Invariants structurels/doctrinaux | AFF-015, AFF-022, AFF-037, AFF-038, AFF-062 | ✅ OK | LICENSE, socle dossier, pas de couches paralleles, SSH clef-only, nftables off : OK. |
| P14 | Pas de chemin lab/ code en dur | AFF-097 | ✅ OK | Aucun chemin instance/inventories/lab/group_vars code en dur. |
| P15 | Modele public socle valide | AFF-022, AFF-099 | ✅ OK | Modele public socle : domaines/serveurs/applications/bases valides. |
P32 / D-72 : tout intrant exige par un role est fourni par l'instance Premier des trois chantiers rendus evidents par la reconstruction. Il aurait trouve son defaut n1 — amorcage_acces_courriel — SANS RIEN DETRUIRE. Un assert de role declare un contrat ; rien ne verifiait que l'instance l'honore, et le manque ne se voit qu'au moment ou la garde s'execute — donc, pour un intrant d'amorcage, seulement en repartant de rien. Satisfait par : defaut non vide (vault_* compris, gardes par P18), set_fact de resolveur, ou declaration de l'inventaire. Aucune voute dechiffree : la preuve reste statique. Deux fois mon instrument a accuse le composant a sa place, avant meme sa premiere execution utile : il criait au manque sur serveur_postfix_mailstore_hote, pourtant fourni — je ne lisais pas le fichier d'inventaire, puis je n'y cherchais que les blocs vars: alors qu'instancier ecrit sous le nom d'hote. Verifie dans les deux sens : 30 exigences satisfaites sur le reel ; sur un double sans la declaration d'hier, le defaut n1 est nomme, code 1. Harnais : 32 preuves, 0 echec, 0 sautee. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:40:25 -04:00
| P16 | Inventaire Ansible complet (--list) | AFF-030 | ✅ OK | 14 hotes, 31 groupes (inventaire dechiffre et parse). |
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
| P17 | Tous les modeles valident (registres + underlay) | AFF-022, AFF-099 | ✅ OK | Les 1 modele(s) decouvert(s) valident. |
P32 / D-72 : tout intrant exige par un role est fourni par l'instance Premier des trois chantiers rendus evidents par la reconstruction. Il aurait trouve son defaut n1 — amorcage_acces_courriel — SANS RIEN DETRUIRE. Un assert de role declare un contrat ; rien ne verifiait que l'instance l'honore, et le manque ne se voit qu'au moment ou la garde s'execute — donc, pour un intrant d'amorcage, seulement en repartant de rien. Satisfait par : defaut non vide (vault_* compris, gardes par P18), set_fact de resolveur, ou declaration de l'inventaire. Aucune voute dechiffree : la preuve reste statique. Deux fois mon instrument a accuse le composant a sa place, avant meme sa premiere execution utile : il criait au manque sur serveur_postfix_mailstore_hote, pourtant fourni — je ne lisais pas le fichier d'inventaire, puis je n'y cherchais que les blocs vars: alors qu'instancier ecrit sous le nom d'hote. Verifie dans les deux sens : 30 exigences satisfaites sur le reel ; sur un double sans la declaration d'hier, le defaut n1 est nomme, code 1. Harnais : 32 preuves, 0 echec, 0 sautee. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:40:25 -04:00
| P18 | Gabarit de voute complet | AFF-026 | ✅ OK | Gabarit de voute complet : 25 secret(s) exige(s), tous presents. Voute reelle : 28 cle(s), aucun manque. |
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
| P19 | Le GUI couvre le schema du plan | AFF-002, AFF-095 | ✅ OK | GUI : les 28 champ(s) des plans reels sont editables (2 plan(s) inspecte(s)), registres toleres : nomenclature. |
| P20 | Adressage 100% derive du seed (aucun stocke) | AFF-001, AFF-003 | ✅ OK | 2 nomenclature(s) : adressage 100% derive du seed index. |
| P21 | Federation : aucun index en collision | AFF-102 | ✅ OK | Federation coherente : 2 instance(s) federee(s), aucun index en collision. |
recette : regenerer le plan apres l'ajout de l'unite de wiki (P22) P22 garde la synchronisation entre le wiki et docs/audit/plan-de-recette.md. En ajoutant l'unite « Verifier le deploye », j'ai rendu le plan perime et la preuve l'a vu aussitot — une garde que le depot avait deja et que j'avais oubliee. Et j'ai POUSSE le commit precedent avec cette preuve en echec, pour la DEUXIEME fois, avec la meme cause : mon garde-fou etait grep -E '^CONFORME|^NON CONFORME', qui reconnait « NON CONFORME » comme une correspondance et laisse passer la chaine &&. Je l'avais documente hier sans changer l'habitude. Desormais : le CODE DE SORTIE de prouver.py. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 15:22:02 -04:00
| P22 | Plan de recette a jour (genere du wiki) | AFF-002 | ✅ OK | Plan de recette à jour (20 sections). |
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
| P23 | Underlay sans collision avec la plage tenant | AFF-103 | ✅ OK | Underlay conforme : 6 reseau(x), aucune collision avec la plage tenant. |
frontiere : « vers Internet » n'est plus « vers n'importe ou » Validation a l'instrument de l'exigence « aucun trafic impertinent », par de vraies requetes applicatives contre des destinations interdites. Le transit tenant etait deja correct : hyperviseur, frontiere, poste et Proxmox tous muets ; le 25 sortant passe depuis edge-mta-01 (banniere 220 mx.google.com) et est refuse depuis infra-dns-01. Trou 1, a nous : les flux sortants visaient `any`, donc n'excluaient ni le plan de gestion ni le voisin — https://10.0.0.1/ repondait depuis une VM. Ils visent desormais !SETOPS_INTERNES, destination NIEE valant les trois blocs prives RFC 1918. Pas la liste de nos reseaux : elle laissait dehors 192.168.11.0/24, le plan de gestion herite. Trou 2, pas a nous : la regle d'usine « Default allow LAN to any » privait notre defaut-deny de tout effet (mesure : le 443 d'un nginx repondait depuis le poste alors que seul le 22 est declare). Aucune API ne l'expose. Set-OPS declare donc les flux d'administration legitimes vers les services publies, pour que la desactiver ne coupe pas l'exploitant de ses consoles web. Verifie apres application : 10.0.0.1:443 bloque depuis le tenant, sortie web + DNS + SMTP public toujours passants, curl vers le nginx du tenant -> 302, flotte 14/14, frontiere-plan sans ecart, prouver.py 0. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 17:00:08 -04:00
| P24 | Frontiere nord/sud : acces d'administration declare | AFF-104 | ✅ OK | CONFORME : frontiere nord/sud, 41 regles, 12 routes, admin=10.0.0.0/24,192.168.254.2/32,192.168.255.2/32. |
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
| P25 | Pare-feu Proxmox : est-ouest intra-tenant derive | AFF-107 | ✅ OK | CONFORME : pare-feu Proxmox, 2 tenant(s), 38 groupe(s), 64 regle(s). |
| P26 | Integrations universelles : aucun hote laisse de cote | AFF-108 | ✅ OK | 14 hote(s) x 4 integration(s) universelle(s) : aucune lacune, aucune recopie (1 exemption(s) derivee(s) du service rendu). |
| P27 | Propriete des intrants : hebergeur et tenant separes | AFF-109 | ✅ OK | 0 cle(s) de cluster chez l'hebergeur, aucune recopiee dans les group_vars du tenant. |
| P28 | Pools Proxmox : un par tenant, sans collision | AFF-110 | ✅ OK | CONFORME : 2 pool(s) Proxmox, 28 VM placee(s), aucun nom ni VMID en collision. |
| P29 | Authentification : chaque role declare sa position | AFF-111 | ✅ OK | 23 role(s) serveur declares (interne-sans-auth 2, ldap-direct 2, sans-auth-humaine 12, socle-identite 2, web-sso 5) ; 2 lacune(s) nommee(s) : serveur_loki, serv |
| P30 | SDN EVPN : zones, VNets et sous-reseaux derives | AFF-112 | ✅ OK | CONFORME : SDN EVPN, 2 zone(s), 12 VNet(s), 12 sous-reseau(x), aucune collision. |
devis : sixieme instrument — « ce qui n'est pas declare est-il refuse ? » devis_expositions pose la question positive (une exposition declaree repond-elle). Celle-ci manquait, et ce n'est pas la meme : un pare-feu peut servir tout ce qu'on lui demande ET laisser passer tout le reste. Rien n'y est saisi. Les cibles sont les ports REELLEMENT en ecoute (sonder un port ferme ne prouverait rien du pare-feu) ; la politique attendue est lue dans devis_opnsense.py, la source qui configure la frontiere. scripts/sonde_tcp.py refuse de conclure : un CONTROLE (adresse ou personne n'ecoute) avant tout verdict — s'il repond, le releve est declare NUL. Et etablir n'est pas livrer : banniere, sinon requete HTTP, sinon poignee TLS ; sans reponse le verdict est AMBIGU, jamais « ouvert ». Deux pieges rencontres en le construisant, corriges et commentes sur place : la sonde « tenant » s'executait sur le poste (dans un play connection: local, delegate_to herite de cette connexion) ; et 2 s de lecture faisaient ressortir un Postfix sain en AMBIGU (postscreen retarde sa banniere expres) — porte a 8 s, compense par du parallelisme. Premier verdict, frontiere en l'etat : 38 ecarts, dont collab-01:9980 qui livre vraiment un HTTP 200 depuis le poste. Releve sortant declare NUL. Verifie : ansible-lint Passed, prouver.py 0. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 21:03:28 -04:00
| P31 | Documentation : tout ce que le depot FAIT est nomme | — | ✅ OK | 41 scripts expliques et atteignables, 90 cibles make documentees, 54 roles avec README. |
P32 / D-72 : tout intrant exige par un role est fourni par l'instance Premier des trois chantiers rendus evidents par la reconstruction. Il aurait trouve son defaut n1 — amorcage_acces_courriel — SANS RIEN DETRUIRE. Un assert de role declare un contrat ; rien ne verifiait que l'instance l'honore, et le manque ne se voit qu'au moment ou la garde s'execute — donc, pour un intrant d'amorcage, seulement en repartant de rien. Satisfait par : defaut non vide (vault_* compris, gardes par P18), set_fact de resolveur, ou declaration de l'inventaire. Aucune voute dechiffree : la preuve reste statique. Deux fois mon instrument a accuse le composant a sa place, avant meme sa premiere execution utile : il criait au manque sur serveur_postfix_mailstore_hote, pourtant fourni — je ne lisais pas le fichier d'inventaire, puis je n'y cherchais que les blocs vars: alors qu'instancier ecrit sous le nom d'hote. Verifie dans les deux sens : 30 exigences satisfaites sur le reel ; sur un double sans la declaration d'hier, le defaut n1 est nomme, code 1. Harnais : 32 preuves, 0 echec, 0 sautee. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:40:25 -04:00
| P32 | Intrants exiges par les roles : tous fournis | — | ✅ OK | CONFORME : 30 exigence(s) de role, toutes satisfaites (126 cle(s) declaree(s) par l'instance). |
P33 / D-73 : aucune collision de port entre roles co-localises Deuxieme des trois chantiers ouverts par la reconstruction. Retrouve son defaut n6 a froid, sans machine. Le SASL de Dovecot et l'interface d'Alloy se disputaient le 12345 sur infra-mail-01 depuis le premier jour, et c'est Dovecot qui perdait EN SILENCE. Il a fallu inverser l'ordre de demarrage — ce que fait un rejeu depuis zero — pour que ca devienne audible. Le controle n'etait possible qu'apres avoir DECLARE le port d'Alloy : un port SUBI (defaut amont d'un logiciel qu'on n'a pas choisi) n'existe pour aucun registre, donc aucune preuve ne peut le voir. Il faut l'imposer pour le verifier. partage: true — nouveau mot du registre — distingue « j'ouvre cette ecoute » de « je decris celle d'un autre » (serveur_backup empruntant le sshd de serveur_debian). Sans lui, la seule co-location legitime de la flotte serait signalee a tort, et une preuve qui crie sur un cas sain finit par etre ignoree. Verifie dans les deux sens : 32 revendications sans collision sur le reel ; en remettant Alloy a 12345, le defaut n6 est nomme, code 1. Harnais : 33 preuves, 0 echec, 0 sautee. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:46:17 -04:00
| P33 | Aucune collision de port entre roles co-localises | — | ✅ OK | CONFORME : 32 revendication(s) de port, aucune collision entre roles co-localises (33 groupes). |
client_journal : imposer et DECLARER le port d'Alloy — collision avec le SASL de Dovecot Sixieme et dernier arret de la reconstruction from-zero, et le seul qui ne soit ni un ordre ni une course : un vrai conflit de port. infra-mail-01 : dovecot ecoute 0.0.0.0:12345 (serveur_dovecot_sasl_port, choix delibere de Set-OPS pour la soumission :587) alloy : defaut amont 12345 -> bind: address already in use Le premier demarre gagne. En exploitation courante le conflit DORMAIT : Alloy tenait le port depuis toujours et c'est l'ecoute SASL de Dovecot qui echouait, en silence. L'ordre des couches d'une reconstruction inverse les roles et le rend visible. Le vrai defaut n'est pas le numero : c'est qu'un port SUBI ne se declare nulle part, donc aucun controle ne peut voir la collision. Le port est desormais IMPOSE (--server.http.listen-addr) et DECLARE dans meta/flux.yml avec pair: localhost — une revendication de port, pas un flux entre hotes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-09 09:04:25 -04:00
## Couverture des affirmations ✅ du registre
Chaque affirmation ✅ automatisable est couverte par la preuve indiquee ci-dessus.
Les ✅ **structurelles/doctrinales** non rejouables par une commande (ex. AFF-005
`make`=aide, AFF-014 ciblage groupe, AFF-024 `instancier-appliquer`, AFF-051 autorite
d'AGENTS.md, AFF-073/075 gardes `make`, AFF-090 wiki) ont ete verifiees a l'audit ;
elles restent hors du harnais recurrent (rien d'executable a rejouer).
## Declarations d'intention (⚪ invérifiables localement — assumees)
Ces affirmations ne sont pas rejouables hors production ; elles sont **assumees**
comme declarations d'intention, non comme preuves :
- **AFF-036** — « testables avec `--check` autant que possible » : verifiable seulement
contre une flotte vivante.
- **AFF-091** — contenu pedagogique du wiki : affirmations conceptuelles.
- **AFF-096** — « GUI 100 % francais » : revue exhaustive des libelles rendus, non automatisee.
- **AFF-007** — hote d'exemple `web-frontal-01` : placeholder assume.
_Rapport genere le 2026-08-09._
Reference in a new issue Copy permalink