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