From e2935edd3d57296c25343f96dda541a6f34bb829 Mon Sep 17 00:00:00 2001 From: Daniel Allaire Date: Tue, 8 Sep 2026 12:49:40 -0400 Subject: [PATCH] =?UTF-8?q?wiki=20:=20publie,=20et=20le=20temoin=20le=20pr?= =?UTF-8?q?ouve=20=E2=80=94=20P60=20passe=20au=20vert?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit La forge servait le wiki du 2026-08-10 : deux unites jamais publiees, vingt et une differentes. Toute la revision de documentation n existait pas pour qui lit la forge plutot que le depot. Publie. Verifie en reclonant : 26 pages sur 26, aucune differente, aucune en trop, 8 figures. La forge porte 4da68c7, source c9d31e9. DEUX DEFAUTS DANS MON PROPRE AJOUT, PAYES A L EXECUTION 1. `@#` au milieu d un bloc shell continue. Le prefixe @ appartient a make, pas au shell : bash a cherche une commande nommee « @# ». La publication avait REUSSI, et le temoin n a pas ete ecrit — erreur 127 apres coup. 2. Plus grave, et invisible au premier essai : le temoin n etait ecrit que dans la branche « il y a des changements ». Or « deja a jour » est PRECISEMENT le cas ou il doit dire que la forge est au niveau du depot. Sans lui, P60 restait rouge apres une publication reussie — une preuve qui refuse un etat sain, donc une preuve qu on apprend a ignorer. C est la seconde execution qui l a montre : elle est passee par cette branche justement parce que la premiere avait publie. Le defaut se corrigeait en se revelant. Les deux tiennent dans la meme lecon : une garde qu on n a pas vue dire OUI ne vaut pas mieux qu une garde qu on n a pas vue dire non. make prouver : CONFORME, 59 OK, 0 echec, 1 saute. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01Crgis8CxCWkAGFA1ecBz3q --- Makefile | 22 +++++++++++++--------- docs/audit/preuve-2026-09-08.md | 4 ++-- docs/audit/wiki-publie.yml | 19 +++---------------- 3 files changed, 18 insertions(+), 27 deletions(-) diff --git a/Makefile b/Makefile index 409972c..17e1593 100644 --- a/Makefile +++ b/Makefile @@ -825,18 +825,22 @@ wiki-publier: ## Publie le wiki (wiki/) vers la forge cp -L "$$src"/img/*-annote.svg "$$tmp/wiki/img/"; \ fi; \ cd "$$tmp/wiki"; \ + sha="$$(git -C "$(CURDIR)" rev-parse --short HEAD 2>/dev/null || echo inconnu)"; \ if [[ -z "$$(git status --porcelain)" ]]; then \ printf '%s\n' 'Wiki deja a jour (aucun changement).'; \ - exit 0; \ + else \ + git add -A; \ + git commit --quiet -m "Publication du wiki depuis le depot (source: $$sha)"; \ + git push --quiet; \ + printf '%s\n' 'Wiki publie.'; \ fi; \ - git add -A; \ - sha="$$(git -C "$(CURDIR)" rev-parse --short HEAD 2>/dev/null || echo inconnu)"; \ - git commit --quiet -m "Publication du wiki depuis le depot (source: $$sha)"; \ - git push --quiet; \ - printf '%s\n' 'Wiki publie.'; \ - @# LE TEMOIN — sans lui, l'ecart entre `wiki/` et la forge n'est mesurable par - @# personne. Il s'est creuse de 27 jours en silence avant que P60 n'existe. - @# Ecrit APRES le push : un temoin ne doit jamais dire qu'on a publie si on a echoue. + : ' LE TEMOIN. Sans lui, l ecart entre wiki/ et la forge n est mesurable par'; \ + : ' personne : il s est creuse de 27 jours en silence avant que P60 n existe.'; \ + : ' ECRIT DANS LES DEUX BRANCHES, et la seconde est la moins evidente. « Deja a'; \ + : ' jour » est precisement le cas ou le temoin doit dire que la forge est au'; \ + : ' niveau du depot : sortir la sans rien deposer laissait P60 rouge apres une'; \ + : ' publication reussie, ce qui apprend a ignorer la preuve. Paye une fois.'; \ + : ' APRES le push : un temoin ne doit jamais dire qu on a publie si on a echoue.'; \ { printf '%s\n' '---' \ '# Ecrit par `make wiki-publier`, lu par la preuve P60. Ne pas editer a la main.' \ "remote: $(WIKI_REMOTE)" \ diff --git a/docs/audit/preuve-2026-09-08.md b/docs/audit/preuve-2026-09-08.md index b585b3d..881d823 100644 --- a/docs/audit/preuve-2026-09-08.md +++ b/docs/audit/preuve-2026-09-08.md @@ -7,7 +7,7 @@ > [`docs/audit/affirmations.md`](affirmations.md). - **Instance** : `/home/danallaire/Espace Chezlepro/DépôtsSurForge/Set-OPS-public/instance` — inventaire `/home/danallaire/Espace Chezlepro/DépôtsSurForge/Set-OPS-public/instance/inventories/principal/hosts.yml` -- **Verdict** : ❌ NON CONFORME (58 OK · 1 echec · 1 saute) +- **Verdict** : ✅ CONFORME (59 OK · 0 echec · 1 saute) ## Preuves @@ -72,7 +72,7 @@ | P57 | Comptes en prose : les chiffres du depot sur lui-meme | — | ✅ OK | Les comptes ecrits en prose correspondent a la mesure (60 preuves, 65 roles, 40 groupes). | | P58 | Habilitations : chaque service dit a quel GROUPE, et par quoi | — | ✅ OK | 8 habilitation(s) declarees, toutes nommant un groupe, un mecanisme connu et une raison ; les `role-realm` sont projetees. | | P59 | Enumerations annoncees : le nombre correspond a ce qui suit | — | ✅ OK | 2 enumeration(s) annoncee(s) correspondent a ce qu'elles annoncent (formes non ambigues seulement). | -| P60 | Wiki publie : la forge sert ce que le depot dit | AFF-002 | ❌ ECHEC | Le wiki en ligne est EN RETARD : 9 commit(s) ont touche `wiki/` depuis la publication de `ac85278` (2026-08-10), le dernier etant 36b6926 2026-09-07. Ce que la | +| P60 | Wiki publie : la forge sert ce que le depot dit | AFF-002 | ✅ OK | Le wiki publie correspond au depot : `wiki/` n'a pas bouge depuis `c9d31e9` (publie le 2026-09-08). | ## Couverture des affirmations ✅ du registre diff --git a/docs/audit/wiki-publie.yml b/docs/audit/wiki-publie.yml index 6dfa1d0..ab6e085 100644 --- a/docs/audit/wiki-publie.yml +++ b/docs/audit/wiki-publie.yml @@ -1,18 +1,5 @@ --- -# TEMOIN DE PUBLICATION DU WIKI — ecrit par `make wiki-publier`, lu par la preuve P60. -# -# POURQUOI UN TEMOIN, ET PAS UNE MESURE DIRECTE (2026-09-07). Le harnais est STATIQUE : -# il lit le depot, sans un seul appel reseau, et c'est ce qui le rend rejouable partout et -# par n'importe qui. Cloner le wiki de la forge pour le comparer romprait cette propriete -# — la seule qui fait qu'une preuve vaut quelque chose hors du poste de l'exploitant. -# -# On enregistre donc, A LA PUBLICATION, le commit du depot qui a ete publie. P60 compare -# ensuite ce commit a l'etat de `wiki/` : si le dossier a bouge depuis, le wiki en ligne -# est en retard, et elle le dit. Meme discipline que `docs/audit/preuve-.md`. -# -# VALEUR D'AMORCAGE, MESUREE et non supposee : le wiki d'eregion portait le commit -# b6167f2, dont le message est « Publication du wiki depuis le depot (source: ac85278) ». -# C'est donc ac85278 qui a ete publie, le 2026-08-10. +# Ecrit par `make wiki-publier`, lu par la preuve P60. Ne pas editer a la main. remote: ssh://git@eregion.chezlepro.ca:2222/Alliance-Boreale/Set-OPS-Public.wiki.git -source: ac85278 -date: 2026-08-10 +source: c9d31e9 +date: 2026-09-08