wiki : publie, et le temoin le prouve — P60 passe au vert

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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Crgis8CxCWkAGFA1ecBz3q

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)" \

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
 

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-<date>.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