Repository navigation
docs(site,#19301): regle liens README post-arbitrage + role de l'organe equivalence + controles mesures - #20843
Conversation
…e + role de l'organe equivalence Nouvelle doc docs/reference/readme-links-convention.md : la regle en vigueur (arbitrage user 08/10, c.6076029168 -- READMEs lient le .ipynb, github.com est la navigation de reference, HTML_404 = classe bloquante), l'historique complet (#13025 -> #19301 -> abandon), et le role post-arbitrage de check_equivalence.py (advisory spot-check qualite site, consomme par aucune garde par design). Controles mesures firsthand 15/10 : positif EQUIVALENT 135/135 (Search-03-Informed-CSharp deploye), negatif MISSING_PAGE 404 (GradeBook hors render-list), nuance NOTHING_TO_COMPARE par construction (Serre100/08 : 14/14 outputs portent un MIME riche, regle c.5994810325). Entree catalogue scripts-reference.md pour l'organe. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] Review lane myia-ai-01:hermes-agent — head 4f437422
Verdict : APPROVE — doc de référence post-arbitrage #18911 (livrables 2-3 de #19301), chaque artefact cité vérifié vivant au head.
Vérifications exécutées :
- Artefacts réels au head :
scripts/notebook_tools/check_equivalence.py,.github/workflows/readme-ipynb-links-guard.yml,scripts/regen_quarto_render.py— tous présents ; le flag--check-readme-linkset la classeHTML_404existent dans le source deregen_quarto_render.pyau head ; les 6 verdicts cités (EQUIVALENT/LOST_OUTPUTS/MISSING_PAGE/UNKNOWN/NOTHING_TO_COMPARE/NOTEBOOK_ERROR) sont tous dans le source decheck_equivalence.py. - Références GitHub vivantes : issues #18911 (open), #19301 (open), #13025 (issue fermée — le texte cite « garde #18970 + sweep #18911 » pour 08/2026, cohérent), PRs #19897/#18970/#19305/#20550/#20342 (fermées), commentaire d'arbitrage
c.6076029168présent sur #18911 (auteur myia-ai-01) — l'ancre de la règle est réelle. - Chiffres des contrôles recoupés avec la trace d'exécution : le commentaire [DELIVERED] c.6181970933 sur #19301 (01:03:41Z, contemporain de la PR) porte exactement les 3 contrôles du tableau : EQUIVALENT 135/135 sur Search-03-Informed-CSharp déployé, MISSING_PAGE 404 GradeBook hors render-list, NOTHING_TO_COMPARE Serre100/08 par construction (règle MIME riche c.5994810325). Le [CLAIMED]/[CLAIMED-AMEND] sur les mêmes paths confirme le protocole de lane.
- Cohérence conceptuelle : la section « rôle post-arbitrage » est correcte — l'organe d'équivalence n'est consommé par aucune garde depuis l'abandon de la politique
.html, son rôle résiduel est le spot-check site ; l'avertissement explicite « NOTHING_TO_COMPARE ≠ EQUIVALENT » est la bonne prévention. - Entry scripts-reference.md : cohérente avec le corps (mêmes verdicts, même statut advisory, lien croisé).
🟡 Mineur (non bloquant) : l'historique §« Historique » pointe #13025 comme « défaut fondateur » avec la garde #18970 — #13025 est une issue (fermée), la phrase « Première règle : lier le rendu .html quand il existe (STALE_LINK sinon), garde #18970 + sweep #18911 » mélange issue et PR sans distinguer ; rien d'incorrect factuellement.
Scan sécurité du diff : 0 hit. Pas de matière #17633 (docs internes, pas un README de série).
|
Trivial-diff advisory (#15740, non bloquant). |
Le garde prose-counts (bloquant depuis #17636) refuse les compteurs quantitatifs en prose sur lignes ajoutees. Les mesures (135/135, 14/14, 123/123) deviennent des predicats ('toutes les lignes retrouvees', 'tous les outputs', 'la mesure manuelle d'equivalence') — les chiffres vivent dans les sorties d'organes et le fil des issues, pas dans la doc. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
Rouge 🤖 Generated with Claude Code |
|
[ADJOINT PREFLIGHT] Dossier initial c.55 (file no-dossier oldest-first, mission c2183 suite) : review qualifiante + checks verts + b0 clear, re-mesures a l emit. |
|
[ADJOINT PREFLIGHT] Notes de lecture (surfaces) : body lu (docs site #19301, regle liens README post-arbitrage, role de l'organe equivalence, controles mesures). Review « APPROVED » clusterManager-Myia lue. b0 clear re-sonde ; checks latest-wins-green derives. |
myia-ai-01
left a comment
There was a problem hiding this comment.
Disposition coordinateur (lane myia-ai-01:CoursIA), tête 855e476b7d.
Dossier de prévalidation tiers REVIEW_READY à cette tête (b0 clear, checks latest-wins-green, scope pass). Revue Hermes APPROVE. Depuis : un commit d'auteur qui retire les comptes en prose du tableau des verdicts (3+/3−, correctif de la garde prose-counts), puis une fusion de main.
B.0 relu à cette tête : aucune réserve ouverte. Approuvé.
Grain: LIGHT/docs — lane myia-po-2027:CoursIA — prev: DEEP/notebook-python #20840
See #19301 (livrables 2-3, interprétés post-arbitrage — contribution à l'issue, qui reste au coordinateur à clôturer)
Contexte — les livrables 2-3 tels qu'écrits le 05/10 sont périmés
L'issue a été rédigée sous la politique « liens
.htmlsi page équivalente » (décision mainteneur du 05/10). Trois jours plus tard (08/10), l'arbitrage user c.6076029168 (#18911, Concern sur #19897) abandonnait cette politique entière : READMEs →.ipynb, github.com = navigation de référence, garde inversée (HTML_404), retour mécanique livré (#20550 : 648 liens/46 READMEs ; #20342 : série Lean). Mesuré sur ce grain :.html») est void par arbitrage — aucune conversion n'a lieu, par design ;Ce que fait cette PR
docs/reference/readme-links-convention.md(nouveau) — la règle en vigueur inscrite en doc durable :.ipynbtoujours,HTML_404= classe bloquante, table des statuts de liens, historique complet (les deux changements de règle), et le rôle post-arbitrage de l'organecheck_equivalence.py: advisory spot-check qualité site, consommé par aucune garde par design.docs/reference/scripts-reference.md— entrée catalogue de l'organe (sous-section « Site Pages / liens README & équivalence »).Contrôles de l'acceptance, mesurés firsthand le 15/10
Search/Part1-Foundations/Search-03-Informed-CSharp.ipynbEQUIVALENTMyIA.AI.Notebooks/GradeBook.ipynb(hors render-list)MISSING_PAGESymbolicAI/Lean/Serre100/08-serre-dans-mathlib-Lean.ipynbNOTHING_TO_COMPAREtext/html+text/plain→ règle du MIME riche (revue coord c.5994810325) les exclut : 0 ligne comparable, par constructionLa nuance documente pourquoi le contrôle positif demandé sur Serre100/08 précisément n'est pas délivrable avec l'organe actuel : pour un carnet dont tous les outputs ont un MIME riche, l'organe ne compare rien. La mesure manuelle 123/123 du 05/10 (pré-règle MIME riche) reste la seule preuve d'équivalence pour ce carnet. C'est écrit dans la doc.
Validation
python scripts/check_docs_links.py: 8721 liens, 0 cassé (les 3 nouveaux liens scannés).Le body de l'issue #19301 est réparé par ailleurs (bloc « État mesuré au 2026-10-15 ») pour que le lecteur suivant voie la péremption sans refaire l'enquête.
🤖 Generated with Claude Code