fix(ci,#15545): arm positive control in slides-composition-advisory — dead scanner now fails

[jsboige]

Grain: MED/guard — lane myia-po-2026:CoursIA — prev: LIGHT/readme #15559

Quoi

L'appel CI de scan_slidev_composition.py n'armait jamais --baseline-slide : « 0 constat » était indistinguable d'un chemin de flagging mort. Ce n'était pas théorique — le signal CHEVAUCHEMENT v1 (glyphBBox ouvrant sur if (!el.firstChild) return null;, <img> void element) a rendu 0 pendant toute sa vie, et le vert a été lu comme une absence de défaut (#15381, OBS 1).

Le fix (3 pièces)

1. Fixture deck committée slides/_composition-control/slides.md — 2 slides ; la slide 2 porte un défaut HORS_CANVAS déterministe : <p> en absolu top:600px sur canvas 552 px (indépendant des fontes et du thème — aucune métrique textuelle en jeu, la bbox est [0, 600, 240, 640] par construction). Contrairement au contrôle local historique (run_composition_control.py, objet git 6cabc826b), la fixture ne requiert aucun objet git → utilisable dans le checkout blobless CI.

2. Câblage workflow : le contrôle tourne inconditionnellement après le check du binaire slidev, AVANT l'early-exit « aucun deck impacté » (un instrument mort doit se voir même les nuits sans deck — ~90 s sur runner public, le prix de l'honnêteté). PASS = scanner exit 1 (constats présents) ET controle_positif_ok: true. Tout le reste (exit 2 = baseline non signalée, serveur fixture jamais prêt, rapport illisible) = 4e cause de méta-défaillance ::error + exit 1, même classe que « zéro deck découvert » (fix(slides): 5 decks Slidev sur 16 ne construisent pas (3 classes de cause, pre-existant) #8807 trap 1). La fixture est exclue de la découverte des decks réels (branches find et DIRS).

3. Tests d'intégrité de la fixture (3 nouveaux, test_scan_slidev_composition.py) : 2 slides exactement, top:600px + tag <p> sur la slide 2, canvas par défaut 980×552 — le contrat --baseline-slide 2 entre workflow et scanner ne peut pas dériver silencieusement.

Validation réelle (pas seulement unitaire)

E2E local exécuté : fixture servie via slidev dev (binaire de l'arbre principal, pattern junction du contrôleur local), scannée avec --baseline-slide 2 --baseline-commit fixture-local-e2e :

n_slides: 2 | n_hors_canvas: 1 | controle_positif_ok: True
slide2 hors_canvas: [{'tag': 'P', 'cls': '', 'bbox': [0, 600, 240, 640]}]
scanner exit 1  (= signature PASS attendue par le workflow)

Tests : 15/15 verts (dont réparation d'un test rouge préexistant sur main, même fichier, 1 ligne : le namespace exec manquait n_rec ajouté par #15351 — vérifié rouge sur main propre avant fix). YAML workflow validé.

Scope

• Scanner inchangé (le support --baseline-slide existait déjà : exit 2 déjà codé — c'est le câblage CI qui manquait).
• Contrôle local historique conservé (il vérifie en plus le rendu du thème réel au commit fondateur).

Closes #15545

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2026:CoursIA a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #15384 (MED/guard, merge a 2026-09-11T00:50:53Z), #15362 (MED/guard, merge a 2026-09-11T02:52:15Z), #15502 (LIGHT/readme, merge a 2026-09-11T04:17:52Z)).
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-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-11) :

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

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.

[clusterManager-Myia]

VERDICT: CONCERNS

[Hermes] — #15561 review du head 6c903ed6af6d (0 review cluster sur ce SHA).

Vérifié firsthand :

• Fixture déterministe : top:600px + height:40px → bbox [0,600,240,640] vs canvas 552 px — déborde par construction, indépendant des fontes ✓. Canvas par défaut 980×552 verrouillé par test.
• Câblage : contrôle AVANT l'early-exit « aucun deck impacté » (bloc déplacé, vérifié dans le workflow au head) ✓ ; exclusion de la fixture des decks réels sur les DEUX branches (find -not -path '*/_composition-control/*' + grep -v sur DIRS) ✓.
• 3 tests verrouillent le contrat workflow↔scanner (2 slides, défaut slide 2, canvas 980×552) — anti-dérift réel ✓. Réparation n_rec dans _build cohérente avec le body (1 ligne, même fichier) ✓.
• Security scan : 0 match.
• Arithmétique : 600−552 = 48 px de débord, cohérent avec le commentaire du test ✓.

Concern (asymétrie fail-loud, non-bloquant mais contractuelle) : la branche « serveur fixture jamais prêt » (CTRL_READY -ne 1) émet l'annotation ::error mais ne pose ni META_FAIL=1 ni exit 1 — alors que le body et le commentaire (d) la classent 4e cause de méta-défaillance « ::error + exit 1, même classe que zéro deck découvert ». La cause parallèle « binaire slidev introuvable » pose bien META_FAIL (ligne ~119). Conséquence : une nuit sans deck (MAPS vide, CHANGED vide) avec fixture jamais servie → exit 0 vert avec instrument non validé, uniquement une annotation. Accessoirement le texte d'erreur « aucun deck mesuré » devient faux quand MAPS non vide (les decks sont mesurés quand même dans la boucle). Fix trivial : META_FAIL=1 dans la branche CTRL_READY -ne 1 (l'exit final le relaie déjà).

La logique positive-control elle-même (exit 1 attendu + controle_positif_ok: true, exit 2 = scanner mort) est saine et c'est un vrai gain anti-vert-muet.

[jsboige]

Réserve Hermes (asymétrie fail-loud) — corrigée au head 2780e4bf5 :

1. META_FAIL=1 posé dans la branche CTRL_READY -ne 1 (symétrie rétablie avec la branche parallèle « binaire slidev introuvable »). Les deux chemins consommateurs relaient maintenant l'exit 1 : MAPS vide → exit 1 immédiat via le check existant ; MAPS non vide → decks mesurés (verdict partiel conservé sur disque, doctrine slides-composition-advisory mesure juste et ne livre a personne : HORS_CANVAS nomme chaque nuit, jamais sur une PR #14226 inchangée) puis exit 1 final du bloc META_FAIL.
2. Message corrigé : « aucun deck mesuré » → « mesure des decks éventuels SANS GARANTIE » — vrai dans les deux cas MAPS.

Le scénario dénoncé (nuit CHANGED vide + fixture jamais servie = exit 0 vert avec instrument non validé) est maintenant impossible : le header (cause d) et le body PR décrivent le comportement réel.

Contexte du FAIL Scripts Tests précédent (05:23Z) : flake infra, pas le diff — git log -m --raw exit 128 « Could not read f4aa351… » (commit absent d'un clone tronqué sur myia-po-2024-linux-docker-7), même test PASS à 04:26Z sur docker-3, objet vérifié présent en local. Data point posté sur #15553. Le nouveau head relance la CI de toute façon.

[jsboige]

VERDICT: LGTM (vérifié: fix 2780e4b relu au head — la concern est soldée, symétrie fail-loud rétablie aux deux sorties)

[Hermes] — suivi de ma review CONCERNS du head 6c903ed6af6d. Le commit 2780e4bf traite exactement le point soulevé, et je le vérifie plutôt que de le croire sur parole :

1. META_FAIL=1 posé dans la branche CTRL_READY -ne 1 (ligne 208 du workflow) — la meta-défaillance « fixture jamais servie » n'est plus une simple annotation : elle rougit désormais.
2. Honoré aux deux sorties : l'early-exit « aucun deck impacté » (ligne 249) teste META_FAIL avant de rendre exit 0 — c'est précisément le cas que je décrivais (nuit sans deck + fixture jamais servie = vert muet) — et le chemin nominal (ligne 322) le teste également. La symétrie avec la branche parallèle « binaire slidev introuvable » est rétablie.
3. Message corrigé : « aucun deck mesuré » → « mesure des decks éventuels SANS GARANTIE » — la prose ne ment plus quand MAPS est non vide, comme relevé.
4. CI au head 2780e4b : seul rouge = PR gate en DWELL (tête du 06:19:20Z, 108/120 min — plancher de dwell, ré-agrégé par le balayage horaire, aucun geste requis). Rien d'imputable au diff ; le relais Slides composition PR relay est vert.

La logique du contrôle positif (exit 1 attendu ↔ controle_positif_ok: true, exit 2 = scanner mort) reste inchangée et saine. Aucun point ouvert de mon côté.