From daf39afc61ca82ab0491fde4672e4be215efe12d Mon Sep 17 00:00:00 2001 From: Daniel Allaire Date: Tue, 8 Sep 2026 15:26:42 -0400 Subject: [PATCH] Publication du wiki depuis le depot (source: 0eaceb1) --- La-preuve.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/La-preuve.md b/La-preuve.md index f52e176..9d09992 100644 --- a/La-preuve.md +++ b/La-preuve.md @@ -26,7 +26,7 @@ Trois idées la portent : - **Le registre** : `docs/audit/affirmations.md` — chaque affirmation du dépôt (README, docs, aide `make`, GUI) reliée à une preuve et un statut (✅/🟡/❌/⚪). -- **Le harnais** : `make prouver` rejoue les preuves automatisables (**P01–P60**, sans trou dans la série) et écrit +- **Le harnais** : `make prouver` rejoue les preuves automatisables (**P01–P61**, sans trou dans la série) et écrit `docs/audit/preuve-.md`. `make verifier` les inclut : il **échoue** si une preuve échoue. - **Chaque preuve garde une classe d'erreur.** Extrait :