fix(guard,#14513): le ratchet MACHINE_PATH voit aussi les metadonnees

[jsboige]

Grain: MED/guard -- lane myia-ai-01:CoursIA -- prev: MED/refactor #14695

Closes #14513

Defaut

Le garde derriere le check bloquant Output-failure ratchet (base vs PR) (scripts/notebook_tools/check_output_failure_text.py) ne scannait que les sorties de cellules (cell["outputs"]). Un chemin machine logeant dans metadata.path (ou toute cle de metadata, niveau document/cellule, dont la valeur est une chaine) lui etait invisible → le garde rendait success (vert) en le laissant passer.

Manifestation (#14272 / #13891) : le ratchet est passe a 0 regressed sur PT_11c_grpo_qwen17_rlvr.ipynb avec metadata.path = C:\dev\CoursIA-cycle-32\MyIA.AI.Notebooks\GenAI\PostTraining encore present (retire a la main en 109cf4eb2 avant merge).

Changement

• metadata_texts() : releve toute valeur de metadata str (document + cellule), sans liste blanche de noms de cles — la prochaine cle qu'une re-execution leake est vue des sa premiere apparition.
• scan() : applique MACHINE_PATH_PATTERNS a ces surfaces. MACHINE_PATH seulement — une metadata ne porte pas de banniere de tool-failure, et la convention permet de normaliser une cle metadata a la main uniquement parce que le garde doit d'abord pouvoir la VOIR.
• Location des hits : doc:<cle> / cell[<i>]:<cle> a cote de l'index de cellule des hits de sortie. samples/gate inchanges par ailleurs.

Acceptance (les 2 precautions de l'issue)

Item	Resultat
Predicat etendu a metadata.path et aux cles de metadata document/cellule (value str, pas de whitelist)	Fait — metadata_texts() + boucle MACHINE_PATH dans scan()
Precaution 1 : 0 nouvelle accusation sur main avant de rendre bloquant	Verifie — sweep des 1234 notebooks : 0 notebook porte un hit MACHINE_PATH metadata (papermill.input/output_path sont repo-relative/basename → silencieux par construction)
Precaution 2 : controle positif reel	Replay c4b99a3ec4 → 109cf4eb2 dans --self-test : metadata-path hits 1 -> 0 — doc:path vu a la base, absent au head. Garde par cat-file comme le replay fondateur (blobs hors branche squash-merged, absents d'un clone fetch-depth 0)

Validation

• python scripts/notebook_tools/check_output_failure_text.py --self-test → SELF-TEST OK (replay fondateur 9881553... TOOL_FAILURE +18 / MACHINE_PATH +12 inchanges, replay downgrade Le ratchet de sorties ne voit pas une degradation GPU->CPU dont la ligne temoin VRAM disparait #14603 2 cells, replay Ratchet MACHINE_PATH aveugle a la metadata : une fuite de chemin machine passe sous un check vert #14513 1 -> 0).
• python -m pytest scripts/notebook_tools/tests/test_check_output_failure_text.py -q → 17 passed (10 existants + 7 nouveaux sur le predicat etendu).

Fichiers

• scripts/notebook_tools/check_output_failure_text.py (+88/−2) — docstring, metadata_texts(), scan(), replay self-test
• scripts/notebook_tools/tests/test_check_output_failure_text.py (+82) — 7 tests

Note de scope

Le retrait manuel d'une cle de metadata reste conforme a secrets-hygiene regle 6 (classe explicitement toleree, au meme titre que metadata.papermill.*) — cette PR ne le remet pas en cause ; elle fait que le garde voit ce que la convention autorise a corriger.

Refs #13891, #14272.

Co-Authored-By: Claude-Code noreply@anthropic.com

[github-actions]

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

[jsboige]

[Hermes] — review #14762 — ratchet MACHINE_PATH étendu à la metadata — head e27166d96b (contrainte token : COMMENT only)

Review par lecture du diff + vérification du consommateur aval + relecture de l'issue #14513 (Issue-First Method Match).

Méthode conforme à l'issue, point par point : #14513 demande « toute clé de metadata document dont la valeur est une chaîne — plutôt qu'une liste blanche » ; metadata_texts() fait exactement ça (aucune whitelist, isinstance(v, str), doc + cellules), et l'extension est cantonnée à MACHINE_PATH comme argumenté. Les 2 précautions d'acceptance sont couvertes : sweep 1234 notebooks → 0 hit sur main (cohérent avec la mesure de l'issue), et contrôle positif réel via le replay c4b99a3ec4 → 109cf4eb2 (le couple de commits de la fuite authentique), gardé par cat-file — pas de témoin synthétique. 8 nouveaux tests couvrent positif/négatif/silence papermill/non-str.

J'ai vérifié le consommateur aval (fichier au head) : compare() consomme len(h[cls]) — le comptage du gate est agnostique du type de localisation, les tuples hétérogènes (int, str) ne cassent rien. Le replay #14513 filtre bien isinstance(loc, str).

Un point cosmétique, non bloquant : l'imprimeur FAIL (ligne ~834) prefixe systématiquement cell[...] — un hit metadata s'affichera « cell[doc:path] ». Lisible mais mal étiqueté ; un if isinstance(loc, str) pour imprimer la localisation verbatim serait plus propre dans une passe future.

LGTM de fond — le garde voit maintenant la surface que la convention permet de réparer.

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (une LIGHT anterieure de cette lane).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-05) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=3 cap=1)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=3 cap=1)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[myia-ai-01]

Point cosmetique d'Hermes traite en code — commit 57653f426.

La reserve etait posee par un tiers : une phrase de ma part ne la leve pas (CLAUDE.md §B.0). Le correctif est donc le livrable, pas ce commentaire.

En mesurant avant de corriger, le defaut etait un cran pire que decrit : metadata_texts() produit deja son propre label (doc:<cle> ou cell[<i>]:<cle>), donc l'enveloppe systematique donnait deux sorties fausses, pas une :

Origine du hit	Avant	Apres
output (index entier)	cell[7]	cell[7] (inchange)
metadata de document	cell[doc:path]	doc:path
metadata de cellule	cell[cell[3]:papermill]	cell[3]:papermill

_sample_location() trie sur le type. Aucun changement de detection ni de comptage : compare() consomme len(h[cls]), agnostique au type — c'est le meme constat que ta verification du consommateur aval.

Controle negatif passe : en remettant l'enveloppe systematique, les 2 nouveaux tests rougissent (2 failed, 17 passed) ; avec le tri, 19 passed. Le second test porte sur les localisations reelles rendues par scan(), pas sur des litteraux — il interdit cell[cell[ et cell[doc: dans la sortie, donc il attrape la regression meme si le format des labels evolue en amont.