Skip to content

Cohérence : les chiffres publics sont recalculés, plus recopiés - #145

Merged
thejmimiia-code merged 1 commit into
mainfrom
arena/93157bde-mrsc
Oct 20, 2026
Merged

thejmimiia-code merged 1 commit into
mainfrom
arena/93157bde-mrsc

Conversation

@thejmimiia-code

Copy link
Copy Markdown
Owner

Objet

Ranger les points en attente et les divergences. La revue n'a trouvé aucun écart de chiffre existant, mais elle a trouvé la faille qui les laisserait passer.

Le constat

Les totaux sont écrits en dur dans trois pages publiques, et le contrôle se contentait de vérifier que la page contenait le texte… qu'elle était censée contenir :

"55 prototypes explicitement à relire" in transparence_texte

Ajouter une fiche au catalogue aurait laissé la page annoncer 81 fiches et le contrôle passer au vert. C'est une divergence en attente, pas un écart constaté.

La correction

chiffres_publics_coherents() dans verifier-integration.py recalcule chaque nombre depuis sa source de vérité — catalogue.toml, referentiel.toml, statuts éditoriaux, arbre réel — puis le cherche dans apprendre.html, transparence.html et anglais-aventure.html.

Deux témoins ont prouvé que le contrôle mord (aucun conservé) :

Témoin Résultat
une page HTML ajoutée dans docs/ ÉCHEC — « 97 pages HTML du dépôt » ≠ 96 annoncées
« 82 fiches dans 15 domaines » écrit dans la transparence ÉCHEC — le catalogue en compte 81

Points en attente soldés

  • Étiquette d'archive récupérée dans le clone local (elle y manquait) : 507 empreintes revérifiées depuis l'étiquette elle-même.
  • Branche distante absorbée arena/a1507d48-mrsc supprimée après contrôle d'ascendance.
  • Phrase d'audit du 13 octobre sur robots.txt/llms.txt datée (« à l'audit ») : elle se lisait comme une affirmation actuelle alors que llms.txt existe ; robots.txt reste volontairement absent pour GitHub Pages.
  • Règle inscrite dans AGENTS.md, entrée au journal.

État mesuré, tout cohérent

81 fiches · 26 initiales · 55 prototypes · 15 domaines · 95 pages publiées · 96 fichiers HTML dans le dépôt · 94 URL de sitemap (95 − la 404 noindex) · 131 fichiers publiés · 4 606 références résolues · 507 empreintes d'archive conformes.

Vérifications

py_compile et les seize contrôles de la porte : fusions, publication locale, planches, site statique, poids, sécurité, intégration, images, R&D continue, apprentissages, simulateur, file de relecture, vote distanciel, résilience statutaire, décision prospective, protocole éditorial — tous réussis.

Ce qui reste ouvert, par conception

La réécriture d'historique (décision argumentée, coût : l'archive, gain GitHub nul sans le support) ; les issues #8 et #90, recréées à chaque exécution ; les choix éditoriaux de portefeuille.toml, qui appartiennent à l'association.

Revue des points en attente et des divergences : aucun écart de chiffre
n'existe aujourd'hui (81 fiches, 26 initiales, 55 prototypes, 15
domaines, 95 pages publiées, 96 fichiers HTML, 94 URL de sitemap, 131
fichiers publiés, 4 606 références), mais les totaux étaient écrits en
dur dans trois pages et « vérifiés » en comparant le texte à lui-même.
Ajouter une fiche au catalogue aurait laissé la page mentir.

verifier-integration.py recalcule désormais les nombres depuis
catalogue.toml, referentiel.toml et l'arbre réel, puis les cherche dans
apprendre.html, transparence.html et anglais-aventure.html.

Deux témoins ont prouvé que le contrôle mord : une page HTML ajoutée
dans docs/ casse l'attente « 96 pages HTML du dépôt », et « 82 fiches
dans 15 domaines » dans la transparence casse la comparaison. Aucun
témoin conservé.

Points soldés dans la même passe : étiquette d'archive récupérée dans le
clone local (507 empreintes revérifiées depuis l'étiquette), branche
distante absorbée arena/a1507d48-mrsc supprimée après contrôle
d'ascendance, phrase d'audit robots.txt/llms.txt datée pour ne plus se
lire comme actuelle.

Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
@thejmimiia-code
thejmimiia-code merged commit 575c0af into main Oct 20, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant