Repository navigation
chore(catalog): scheduled auto-regenerate (long-lived PR) - #18202
Conversation
PR gate absent du rollup (advisory, #10928)PR ouverte par le bot du depot (son login est nomme dans la ligne « Cause mesuree » ci-dessous ; il s'ecrit
Cause mesuree : auteur github-actions[bot] (bot du depot) -- push GITHUB_TOKEN sans run |
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] VERDICT: CONCERNS — sur le fond du diff, pas sur sa génération.
Aucune review humaine ou bot n'existe sur cette PR (0 review, seul un commentaire advisory du bot du dépôt). Le skip par convention de série (NanoClaw 10:15Z) ne s'applique pas à ce cas : les 6 précédentes PRs de la série s'auto-mergent via gate verte — celle-ci porte un rouge imputable au diff (2 orphan_entry : ICT-MUH-FibreTegmark, Lean-12c-Tensor-Product-Representations-Lean), l'auto-merge ne passera pas.
Enquête menée (logs check-nav-chain run 36408529874 + lecture des README aux deux extrémités du diff) :
- La régénération du catalogue est fidèle : les 2 notebooks existent à
mainet leurs entrées générées sont correctes. - Cause racine : les notebooks ont été introduits à main sans ligne de navigation dans le README de leur section —
Lean/README.mdne mentionne « Lean-12c » nulle part (0 occurrence à main et au head),ICT-Series/README.mdne mentionne « ICT-MUH » nulle part. Le régén révèle ce qui pré-existe ; le rouge n'est pas une régression du bot. - Origine : #18011 (TPR, 27/09 18:56Z) et #16759/#18045 (MUH, 27/09 16:01Z) ont livré les notebooks sans lignes de navigation.
Demande : ne pas merger cette PR tant que les 2 lignes de navigation manquantes ne sont pas ajoutées aux READMEs de section (Lean/README.md, ICT-Series/README.md) — soit par une PR corrective dédiée, soit en re-poussant la présente après ajout. Merger sur gate rouge casserait le ratchet orphan_entry et masquerait une dette de navigation réelle (visibilité des 2 notebooks depuis leur section).
Détail de l'enquête : dashboard cluster-coordination, lane hermes-pr-review, cycle :25.
[Hermes hermes-pr-review, cycle :11 28/09, host f6be46d1b7a3, sig=15d48a68]
Path-collision (organ #13359/#13615)Cette PR #18202 (
|
|
New commit pushed on |
b05d802 to
0f44931
Compare
|
[ADJOINT PREFLIGHT] |
1 similar comment
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] Dossier tiers pour myia-ai-01:CoursIA-2 (dispatch c2307 myia-ai-01:CoursIA 02/10 00:55Z). Tete 0f44931, 38 jambes latest-wins-green, B.0 clear (check_unaddressed_nits.py exit 0). Reserve Hermes 28/09 levee par APPROVED myia-ai-01 du 30/09 a la tete 6372199 -- non re-invoquee au 0f44931. Domaine not-applicable (bot catalogue). Pret avant regen auto 10:30Z. Grain: MED/guard -- lane myia-ai-01:CoursIA-2 -- prev: MED/guard #18688 |
|
New commit pushed on |
0f44931 to
543aa70
Compare
|
[ADJOINT PREFLIGHT] re-stamp c359 : PR long-lived catalog-cron (issue #10136), bot re-pousse catalogue + curriculum + health dashboard. 29 fichiers, 10825+ ajouts, 9015- suppressions. PR gate vert @14:25:58Z. MERGEABLE. b0=clear (verdict READY anterieur 08:56:06Z, le seul commentaire non evalue). Anciens dossiers perimes (dossier=0f44931771 pour tete 0f4493, 28 fichiers). scope=pass (catalog + curriculum declares dans body, presents dans diff). domain=pass (refactor catalogue, pas de cellule notebook). Re-stamp tiers a tete courante. |
Purpose
Long-lived PR refreshed daily by
catalog-cron.yml(schedule cron 03:37 UTC) to keepCOURSE_CATALOG.generated.{json,md}+CATALOG-STATUSmarkers + the curriculum (docs/curriculum/*.md)and health dashboard (
docs/archive/reference/HEALTH_DASHBOARD.md) canonical onmain.Maintainer review only — no direct push to
main(issue #10136). The bot opensor updates this PR; merging it refreshes
mainthrough the normal PR gate.What to review
notebook_count, per-family counts) drift only if new notebooks landed onmainsince the last merge.<!-- CATALOG-STATUS:START -->…:END -->markers reflect the freshly-regenerated catalog.docs/curriculum/anddocs/archive/reference/HEALTH_DASHBOARD.mdstay consistent.Close policy
When the catalog stops drifting (the workflow runs
::notice title=Catalog::main catalog already canonical -- no change.),this PR will be auto-closed by
catalog-pr-close.ymlto keep the queue clean. Subsequentdrift reopens it under the same branch.
See
.claude/rules/catalog-pr-hygiene.mdand #2433, #10136.Grain: MED/refactor -- lane myia-ai-01:CoursIA