diff --git a/docs/audit/plan-de-recette.md b/docs/audit/plan-de-recette.md index 7bfcae5..76279cf 100644 --- a/docs/audit/plan-de-recette.md +++ b/docs/audit/plan-de-recette.md @@ -10,7 +10,7 @@ Ce plan est le **pendant manuel** de `make prouver` : là où le harnais prouve le côté humain **est** la preuve de l'affirmation « exploitable sans IA » (cf. `protocole-operateur-independant.md`). -**78 gestes** sur **19 unités** · **18** en « casse-répare » +**81 gestes** sur **20 unités** · **19** en « casse-répare » · **5** doublés d'un garde-fou machine (colonne *Preuve auto*). > **Honnêteté de couverture.** La colonne *Preuve auto* n'est remplie que lorsqu'une @@ -228,3 +228,13 @@ le côté humain **est** la preuve de l'affirmation « exploitable sans IA » (c | 4 | Casse & répare (mentalement + lab) | Supprime un nœud non critique et reclone-le depuis le template, puis redéploie : il revient à l'identique. Tu *sens* que la machine est reconstructible. | 🔨 casse-répare | — | *Source : [Virtualisation & clonage](Virtualisation-et-clonage) · § À toi de jouer.* + +## Vérifier le déployé — quand la preuve statique ne suffit plus + +| # | Ce qu'on éprouve | Le geste (avec l'attendu) | Type | Preuve auto | +|---|---|---|---|---| +| 1 | — | Lance les cinq devis sur ta flotte. Note le temps que ça prend : quelques minutes pour ce qui demandait une journée d'enquête à la main. | 👁 observe | — | +| 2 | Casse quelque chose exprès | — arrête un service publié, change un port — et relance le devis concerné. S'il ne dit rien, c'est *lui* qu'il faut réparer, pas le service. | 👁 observe | — | +| 3 | — | Cherche, dans ton propre outillage, une vérification qui n'a jamais échoué. Demande-toi si c'est parce que tout va bien, ou parce qu'elle ne regarde rien. \| Terme \| Ce que tu retiens \| \| \| \| \| preuve statique \| lit le code ; rapide, univ… | 👁 observe | — | + +*Source : [Vérifier le déployé — quand la preuve statique ne suffit plus](Vérifier-le-déployé) · § À toi de jouer.* diff --git a/docs/audit/preuve-2026-08-09.md b/docs/audit/preuve-2026-08-09.md index 10b18d1..86f6692 100644 --- a/docs/audit/preuve-2026-08-09.md +++ b/docs/audit/preuve-2026-08-09.md @@ -7,7 +7,7 @@ > [`docs/audit/affirmations.md`](affirmations.md). - **Instance** : `instance` — inventaire `instance/inventories/principal/hosts.yml` -- **Verdict** : ❌ NON CONFORME (32 OK · 1 echec · 0 saute) +- **Verdict** : ✅ CONFORME (33 OK · 0 echec · 0 saute) ## Preuves @@ -34,7 +34,7 @@ | 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. | -| P22 | Plan de recette a jour (genere du wiki) | AFF-002 | ❌ ECHEC | rc=2 : erreur: docs/audit/plan-de-recette.md est PÉRIMÉ (le wiki a changé). Régénérer : make plan-recette. | +| P22 | Plan de recette a jour (genere du wiki) | AFF-002 | ✅ OK | Plan de recette à jour (20 sections). | | P23 | Underlay sans collision avec la plage tenant | AFF-103 | ✅ OK | Underlay conforme : 6 reseau(x), aucune collision avec la plage tenant. | | P24 | Frontiere nord/sud : acces d'administration declare | AFF-104 | ✅ OK | CONFORME : frontiere nord/sud, 31 regles, 2 routes, admin=10.0.0.0/24,192.168.254.2/32,192.168.255.2/32. | | 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). |