Alliance-Boreale/Set-OPS-Public
2
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity
Set-OPS-Public/docs/audit/wiki-publie.yml

6 lines
188 B
YAML
Raw Normal View History

preuves : trois gardes pour ce que ma lecture ne tiendra pas Une revision de documentation vieillit comme le reste. Ce qui tient, c est ce qu une machine verifie — et trois lacunes etaient nommees sans etre gardees. P58 HABILITATIONS. autorisation.md posait la regle (un service nomme un GROUPE, jamais une personne, D-66) et meta/acces.yml la portait ; rien ne la verifiait. P29 gardait les POSITIONS d authentification, personne ne gardait les DROITS. Le controle qui porte la preuve est un croisement : une entree porte_par: role-realm affirme que l habilitation voyage par un role de realm projete depuis un groupe LDAP. P58 le confronte a serveur_keycloak. Sans ca, un service annonce une habilitation que rien ne transporte, et l ecran reste vide sans que personne sache pourquoi. CE QU ELLE N EXIGE PAS, et c est le point le plus important : que les groupes nommes existent dans l annuaire. Ce serait contredire le regime du paragraphe 2 — le depot AMORCE un acces et se retire, les appartenances appartiennent a une personne. dev et personnel n existent dans aucun code, et ce n est pas un defaut. P59 ENUMERATIONS ANNONCEES. Les deux ecarts trouves a la main pendant la tournee — cinq portes annoncees devant une table de six, huit lignes renvoyees vers une fiche qui en compte dix — etaient d une forme que P57 ne voit pas. Ma premiere version a signale CINQ ecarts, et les cinq etaient du bruit : dans « reprise dans les deux devis : », le nombre qualifie autre chose que la liste. Cent pour cent de faux positifs — la preuve qui crie sur un cas sain et qu on apprend a ignorer. Resserree aux deux formes ou le nombre ne peut compter rien d autre. Etroite et vraie plutot que large et devineuse. P60 WIKI PUBLIE. Le wiki est publie DEPUIS le depot ; rien ne mesurait l ecart, et il s est creuse de VINGT-SEPT JOURS en silence. Deux unites jamais publiees, vingt et une differentes : pour qui lit la forge plutot que le depot, toute la revision n existait pas. Le harnais est STATIQUE, zero appel reseau — cloner la forge romprait la seule propriete qui fasse qu une preuve vaille hors de ce poste. La mesure passe donc par un TEMOIN que make wiki-publier depose. Amorce avec la valeur MESUREE : le wiki d eregion porte b6167f2, dont le message dit source: ac85278. Ce qu elle ne prouve pas : un temoin dit ce qui est PARTI, jamais ce qui est ARRIVE. LES TROIS SONT EPROUVEES DANS LES DEUX SENS Douze essais negatifs, douze refus : groupe non projete, acces.yml disparu, personne au lieu d un groupe, mecanisme invente, raison manquante, compte revenu a cinq, septieme porte ajoutee sans toucher au compte, renvoi croise fausse, temoin absent, temoin d un autre depot. Une garantie qu on n a jamais vu dire non n est pas une garantie, c est une habitude. ETAT : NON CONFORME, 58 OK, 1 echec, 1 saute. P60 est rouge, et c est le comportement voulu : le registre a le droit de perdre. Le retard qu elle signale est reel et anterieur a elle. Une commande le ferme, et elle vient ensuite. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Crgis8CxCWkAGFA1ecBz3q
2026-09-08 12:47:18 -04:00
---
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
2026-09-08 12:49:40 -04:00
# Ecrit par `make wiki-publier`, lu par la preuve P60. Ne pas editer a la main.
wiki publie : temoin a jour Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-15 01:49:55 -04:00
remote: ssh://git@forge.genese.internal/genome/set-ops-public.wiki.git
source: 56f8d61
wiki publie : temoin a jour Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-15 01:03:15 -04:00
date: 2026-10-15
Reference in a new issue Copy permalink