fix(equivalence,#19562): verdict NOTHING_TO_COMPARE rc=5, distinct d'EQUIVALENT 0/0

[jsboige]

Diagnostic derive

Cause : un carnet sans aucune ligne comparable (toutes les sorties en MIME riche ignore par la regle du rendu Quarto, ou carnet sans aucune sortie text/plain/stream) rendait le verdict EQUIVALENT 0/0. Faux vert : une page qui aurait perdu toutes ses sorties HTML aurait rendu le meme verdict, et la CI (#18911) l'aurait traite comme verifie alors qu'il ne l'etait pas.

Preuve par l'instrument : la regle du rendu Quarto ignore text/plain quand un MIME riche (text/html, text/markdown, image/*, application/pdf, ...) est present dans le meme data. C'est desirable pour eviter les LOST_OUTPUTS fantomes sur les figures matplotlib (image/png + text/plain backup), mais elle a un effet de bord : un carnet qui ne porte que des figures rend outputs=[] apres le filtre. Avant ce fix, cela rendait EQUIVALENT 0/0 -- un silence equivoque.

Fix -- verdict dedie NOTHING_TO_COMPARE rc=5

Trois modifications dans scripts/notebook_tools/check_equivalence.py :

1. Verdict dedie (ligne 247-253) : si outputs et missing sont vides apres le filtre MIME, le verdict est NOTHING_TO_COMPARE au lieu de EQUIVALENT.
2. Code de sortie distinct (rc_map ligne 307) : NOTHING_TO_COMPARE -> 5, distinct d'EQUIVALENT -> 0. La CI peut desormais traiter rc=5 comme "non verifie" sans le confondre avec rc=0 "verifie".
3. Documentation complete : docstring du module et epilog argparse listent les 6 codes de sortie avec leur semantique (0 EQUIVALENT, 1 LOST_OUTPUTS, 2 MISSING_PAGE, 3 UNKNOWN, 4 NOTEBOOK_ERROR, 5 NOTHING_TO_COMPARE).

Tests -- 7 cas dedies dans scripts/notebook_tools/tests/test_check_equivalence_nothing_to_compare.py

Strategie : import direct du module + unittest.mock.patch sur fetch_page (evite la dependance reseau et la confusion sur les paths absolus Windows).

Test	Verdict attendu	rc attendu
test_mime_riche_uniquement_rien_a_comparer	NOTHING_TO_COMPARE	5
test_text_plain_pas_nothing_to_compare	EQUIVALENT	0
test_text_plain_manquant_donne_lost_outputs	LOST_OUTPUTS	1
test_carnet_vide_aucune_sortie	NOTHING_TO_COMPARE	5
test_sortie_dans_sources_est_exclue	NOTHING_TO_COMPARE	5
test_rc_distinct_equivalent_et_nothing_to_compare	5 puis 0	5, 0
test_help_documentation	(epilog documente 5 + NOTHING_TO_COMPARE)	--

Resultat : OK: 7/7 tests passent (python scripts/notebook_tools/tests/test_check_equivalence_nothing_to_compare.py).

Verdict

CAUSE_FIXED -- verdict dedie introduit, code de sortie distinct, tests verts, docstring + help documentent les 6 codes.

Lien

Voir #19562

Grain: MED/tooling -- lane myia-ai-01:CoursIA-2 -- prev: MED/lean #19615

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=2 cap=1)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=2 cap=1)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #19679 (fix(equivalence,#19562): verdict NOTHING_TO_COMPARE rc=5, distinct d'EQUIVALENT 0/0) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- feat(tooling,#19301): check_equivalence -- organe d'equivalence page/carnet #19305 partage : scripts/notebook_tools/check_equivalence.py, scripts/tests/test_check_equivalence.py, recouvrement de chemins 67% -- feat(tooling,#19301): check_equivalence -- organe d'equivalence page/carnet #19305 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19679
head: 4403dd8
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: ffaa284d99d29382a003122468e0aadd028d9a2895aaae5bc9a0c59ef4480b83
diff-files: 3
diff-additions: 211
diff-deletions: 7
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19679
organ-rc: 0
[/ADJOINT PREFLIGHT]