fix(ci,#19168): absorber TRANCHE15/16 et declarer l'ombre du lot pilote

[myia-ai-01]

Grain: MED/guard — lane myia-ai-01:CoursIA-2 — prev: MED/notebook-python #18536

Le defaut

Deux gardes declarees blocking=True dans scripts/ci/fast_lane_registry.py ne bloquaient rien. Le job « Always-on guards » lance python scripts/ci/fast_lane.py --shadow (always-on-guards.yml), et le moteur calcule effective_shadow = args.shadow and not guard.absorbed : un garde non absorbe emet sous fast-lane (ombre): avec une conclusion neutre et n'entre pas dans blocking_failed. Le registre annoncait « bloquant », le rollup disait « ombre ».

Mesure de l'issue reproduite sur control-chars-in-cells-guard, meme garde et rc=1 :

	nom emis	conclusion	compte dans blocking_failed
avant	fast-lane (ombre): control-chars-in-cells-guard	neutral	non
apres	control-chars-in-cells-guard	failure	oui

Les deux gardes absorbees

Les deux sont vertes sur main, verifie avant absorption — absorber ne rougit donc aucune PR existante par dette heritee :

• lake-direct-invocation-guard : check_lake_direct_invocation.py --all --check -> rc=0 (« 6 fichier(s) en dette, tous allowlistes ») ;
• control-chars-in-cells-guard : check_control_chars_in_cells.py --diff origin/main...HEAD -> rc=0.

check_absorbed_check_run_identity.py --check reste vert sur la branche (rc=0, 16 gardes absorbes byte-identiques a leur source). Note : cet organe enumere les tranches 1 a 5 ; ses deux nouveaux gardes sont natifs de la voie rapide, donc sans workflow d'origine a qui etre identiques — la verification y est vacue par construction, pas contournee.

L'ombre du lot pilote est desormais DECLAREE

L'issue offrait deux voies : absorber, ou ecrire dans le registre que la garde est volontairement en ombre avec son motif et son critere de bascule. Les 15 gardes pilotes bloquantes non absorbees sont declarees, et la mesure du 2026-10-05 montre trois situations distinctes — deux d'entre elles sont inertes aujourd'hui, et c'est un constat, pas une intention :

Situation	Gardes	Pourquoi l'ombre est legitime
Workflow d'origine qui declenche encore sur pull_request	9	c'est lui qui bloque ; la voie rapide observe. Bascule : absorber quand ce declencheur sera retire (programme #12567)
Workflow d'origine SANS pull_request	2 (perimeter-review-guard, self-hosted-runner-policy)	aucun autre emetteur du nom de check-run
Garde natif de la voie rapide	4 (hr-substitution-guard, duplicate-notebook-index-guard, kernel-suffix-canon-guard, slot-reservation-guard)	aucun workflow d'origine, donc aucun autre emetteur

Les 6 gardes des deux dernieres lignes sont inertes exactement comme l'etaient TRANCHE15/16. Elles sont declarees, pas reparees : basculer le lot pilote entier est le geste du programme #12567, pas celui de cette correction. Le motif et le critere de bascule vivent dans shadow_reason (nouveau champ de Guard).

Le test qui ferme la classe

test_aucun_garde_bloquant_n_est_inert_sans_declaration parcourt tout le registre (PILOT + tranches, decouvertes dynamiquement) et exige, pour chaque garde bloquant, l'un des deux etats : absorbe, ou declare en ombre. Un absorbe qui porte encore un shadow_reason est signale comme declaration perimee. Deux controles positifs (absorbes et declares non vides) empechent le test de devenir vrai en silence.

Falsifiabilite mesuree : retirer absorbed=True de TRANCHE16 rougit le test, qui nomme control-chars-in-cells-guard dans son message ; registre restaure depuis backup et verifie byte-identique.

Un defaut d'isolation revele au passage

Absorber TRANCHE16 a fait echouer test_mixed_emission_pilot_stays_shadowed_and_non_blocking, et la cause n'est pas la garde : le helper _drive_mixed_emission ne vidait que PILOT, TRANCHE1, TRANCHE2, TRANCHE4 et TRANCHE5, laissant tourner les gardes reelles de douze tranches dans un test qui annonce une lane a deux gardes. Leur rc etait injecte par le faux run_argv, donc une tranche absorbe et bloquante rendait rc=1 et faisait rougir le job. Le test passait par accident tant qu'aucune tranche oubliee n'etait absorbe et bloquante. Le helper vide desormais toute tranche decouverte dynamiquement (vars(fl) filtre sur TRANCHE).

Preuves

• pytest scripts/tests/test_fast_lane.py scripts/tests/test_check_absorbed_check_run_identity.py scripts/tests/test_pr_gate.py scripts/tests/test_check_control_chars_in_cells.py scripts/tests/test_fast_lane_merge_base.py -q -> 250 passed
• falsifiabilite du nouveau test : mesuree (mutation rouge nommant la garde, restauration verte)
• gardes vertes sur main avant absorption : rc=0 pour les deux
• check_absorbed_check_run_identity.py --check -> rc=0

Ce que cette PR ne fait pas

• Elle ne bascule pas le lot pilote (6 gardes inertes declarees) : geste du programme CI : un PR d'UN notebook declenche 52 runs — 67 gardes mono-script sont absorbables par la fast lane (1 checkout, N check-runs) #12567.
• Elle n'etend pas absorbed_guards() de check_absorbed_check_run_identity.py aux tranches 6 a 17 (10 gardes absorbees hors du filet d'identite). C'est un sujet distinct, que je signale plutot que de l'embarquer ici.

See #19168 — les criteres de cloture de l'issue sont couverts ; la fermeture reste au coordinateur.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #18991 (MED/guard, merge a 2026-10-04T02:12:45Z), #19008 (DEEP/guard, merge a 2026-10-04T02:49:01Z), #19017 (DEEP/guard, merge a 2026-10-04T06:18:40Z), #19021 (DEEP/guard, merge a 2026-10-04T06:32:45Z), #19075 (LIGHT/guard, merge a 2026-10-04T10:37:36Z), #19108 (MED/guard, merge a 2026-10-04T14:36:47Z), #19105 (MED/guard, merge a 2026-10-04T14:39:27Z), #18761 (MED/guard, merge a 2026-10-04T21:47:38Z)).
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-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-04) :

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

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]

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]

Path-collision (organ #13359/#13615)

Cette PR #19171 (fix(ci,#19168): absorber TRANCHE15/16 et declarer l'ombre du lot pilote) 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.

• faible -- Add(ci,#19116): twin-parity-guard -- parite jumeau FR/<lang> scopee au diff de la PR #19118 partage : scripts/ci/fast_lane_registry.py, scripts/tests/test_fast_lane.py
• faible -- feat(organ,#19144): advisory d'accretion -- profondeur, base de lettre, table en attente #19166 partage : scripts/ci/fast_lane_registry.py

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 19171
head: 2cc4ff5
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: f56d3928a28703c4b4155a8b71150d1f8ae90953d44693c7e3be4cbb3e472a96
diff-files: 2
diff-additions: 134
diff-deletions: 3
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 19171
organ-rc: 0
[/ADJOINT PREFLIGHT]

Dossier tiers (ai-01:CoursIA), à la tête 2cc4ff5755. CI (scripts/ci/), sans notebook.

• B.0 : rc=0.
• Domaine : rejoué localement dans un worktree détaché.
  • test_fast_lane.py donne 82 passed.
  • check_absorbed_check_run_identity.py --check rend rc=0 (16 gardes absorbées byte-identiques).
  • Pas de rouge hérité possible :
    • lake-direct-invocation-guard balaye tout le dépôt, et sa commande --all --check rend rc=0 à cette tête (6 fichiers en dette, tous en allowlist, 0 entrée périmée) ;
    • control-chars-in-cells-guard est limitée au diff, donc elle ne peut pas rougir une PR pour une dette héritée.
• Scope : 2 fichiers (le registre et ses tests). Les 15 gardes pilotes en ombre portent désormais un shadow_reason écrit ; leur bascule relève de CI : un PR d'UN notebook declenche 52 runs — 67 gardes mono-script sont absorbables par la fast lane (1 checkout, N check-runs) #12567. ci(fast-lane): TRANCHE15 et TRANCHE16 declarees bloquantes mais executees en ombre (absorbed manquant) #19168 sera fermée à la main au merge (la PR porte See #19168).