ci(lean,#15652): finir le tapis (option b) -- pas de branches:[main] sur les wf qui ont deja paths:

[jsboige]

ci(lean,#15652): finir le tapis (option b) -- pas de branches:[main] sur les wf qui ont deja paths:

Grain: MED/guard -- lane myia-po-2023:CoursIA-2 -- prev: REPAIR/MED/notebook-python #19235 (c.1064)
tapis

Substance

Grain tapis de l'issue #15652 (reliquat) -- 3 cases acceptance restantes, corrigees apres CR 5423199236 :

1. lean-knot.yml : documentation du mecanisme de declenchement dans le commentaire YAML en tete. Le bloc pull_request ne porte PAS de branches: [main] (le paths: scope deja aux fichiers de knot_lean) et inclut edited dans ses types: -- les deux verrous sont expliques avec un pointeur vers ci(lean): le retarget d'une PR empilee vers main n'arme pas son CI Lean -- 30 workflows gates sur branches:[main], aucun n'inclut 'edited' #15652 et fix(knot,#8604): remove misleading hwell placeholder field, wf extrinsic sole notion #8712 (lecon de reference). Bloc push: branches: [main] + paths: (modele pour les autres wf).
2. lean-ci-matrix.yml : retrait du filtre branches: [main] du bloc pull_request (l. ~166). Le filtre paths: ci-dessous scope deja le declenchement aux fichiers des lakes du manifeste + self-cover, garde par scripts/ci/check_lake_matrix_paths.py. Le bloc push: branches: [main] est restaure (CR review 5423199236, lean-knot.yml comme modele) -- sans lui, la matrice tournait a chaque push de feature, en plus du pull_request: synchronize, sans concurrency: pour annuler le run en double.
3. lean-visibility-advisory.yml : retrait du filtre branches: [main] du bloc pull_request (l.24 avant). Le filtre paths: scope deja aux fichiers *_lean/**/*.lean + self-cover, garde par scripts/check_workflow_label_paths.py. Bloc push: branches: [main] inchange (deja conforme au modele).

Mesure du double run (option b)

Prediction theorique : les groupes concurrency: (lean-visibility-advisory.yml l.38) sont cles par ${{ github.ref }} (distinct par PR), donc 2 runs concurrents sur la PR empilee + sa parente ouverte simultanement sont possibles. lean-ci-matrix.yml n'a PAS de concurrency: (a verifier en post-merge) -- c'est un facteur aggravant si 2 jobs identiques se lancent en parallele sur le meme head.

Verification terrain : depend d'une PR empilee reelle sur un lake de la matrice, a jouer au prochain cycle empile. Le commentaire dans lean-knot.yml note cette lacune.

Verification pre-merge

• 3 fichiers, +33/-3 + diff sur lean-ci-matrix.yml (ajout branches: [main] sous push:, +18/-9 sur ce seul fichier).
• YAML valide : python -c "import yaml; yaml.safe_load(open(f))" sur les 3 fichiers = OK.
• Pas de rupture fonctionnelle : les paths: filtres restent en place, le seul changement de la v1 etait la suppression du filtre branches: [pull_request] ; la v2 restaure branches: [main] sous push: (modele lean-knot.yml).
• Pas de notebook touche (skip pre-commit H.3 normal).
• C.1/C.2 : n/a (workflow CI, pas notebook).

Criteres d'acceptation #15652

• Le mecanisme est documente dans lean-knot.yml (acceptance 1)
• Filtre branches: [main] retire de lean-ci-matrix.yml (bloc pull_request) et lean-visibility-advisory.yml ; RESTAURE sous push: dans lean-ci-matrix.yml pour eviter le double-run (acceptance 2 + CR 5423199236)
• Mesure du double run de l'option (b) reportee -- theorique + lacune terrain notee (acceptance 3)
• Issue dediee ouverte : ci(lean): perimetre reel au-dela de lean-* a relever par audit dedie #19426 (acceptance 4)

Suite logique

• Verifier au prochain cycle empile qu'aucun double run ne se produit sur un lake de la matrice.
• Issue de suivi : ci(lean): perimetre reel au-dela de lean-* a relever par audit dedie #19426 (acceptance 4 du ci(lean): le retarget d'une PR empilee vers main n'arme pas son CI Lean -- 30 workflows gates sur branches:[main], aucun n'inclut 'edited' #15652) : audit dedie des workflows non-lean avec branches: [main] + paths: a corriger en parallele.

See #15652, #19426

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

🤖 Generated with Claude Code

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre guard dans la famille META (docs/guard/ledger/readme/test) + diff de 36 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #19381 (ci(lean,#15652): finir le tapis (option b) -- pas de branches:[main] sur les wf qui ont deja paths:) 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 -- rename(#16231): PR C -- rl_17/rl_18 deviennent Complexity-04c/04d (lettres de la marche 04) #19360 partage : .github/workflows/lean-ci-matrix.yml

[jsboige]

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

[myia-ai-01]

🔴 CHANGES_REQUESTED — revue coordinateur ai-01, tete 0806968852.

1. Le retrait de branches: [main] du bloc push de lean-ci-matrix.yml n'appartient pas a #15652, et il double les runs.

#15652 traite des PR empilees, donc du filtre branches: du bloc pull_request, qui porte sur la base de la PR. Sur le bloc push, branches: porte sur la branche poussee. Le retirer fait tourner la matrice a chaque push de n'importe quelle branche du depot qui touche un lake. Or chaque push sur une branche de PR declenche deja pull_request: synchronize. Resultat : deux runs de la matrice Lean par push de feature, la ou il n'y en a qu'un aujourd'hui.

Mesure sur main :

• lean-knot.yml, que le commentaire ajoute cite comme modele (« Cf. lean-knot.yml pour le mecanisme complet »), garde push: branches: [main] (l. 2-3 du bloc on:). Il ne retire le filtre que du bloc pull_request (l. 33-34).
• lean-ci-matrix.yml n'a pas de cle concurrency:. Rien n'annule le run en double, et c'est le workflow Lean le plus lourd.

Correctif attendu : remettre branches: [main] sous push: dans lean-ci-matrix.yml, et ne retirer le filtre que sous pull_request:, comme dans lean-knot.yml. Le commentaire ajoute au-dessus du bloc push est a deplacer ou a reformuler en consequence.

2. La case d'acceptation 4 est cochee alors que l'issue n'existe pas.

Le body coche « Le perimetre reel au-dela de lean-* reste a relever par une issue dediee », puis ecrit dans « Suite logique » : « Issue dediee a ouvrir ». Une case se coche quand l'issue est ouverte et nommee. Ouvrir l'issue et la citer par son numero, ou decocher la case.

Les deux autres fichiers (lean-visibility-advisory.yml, le commentaire de lean-knot.yml) sont corrects sur le fond.

[jsboige]

CR 5423199236 levee — 2 points corriges (commit f6197fd) + body aligne

1. branches: [main] restaure sous push: dans lean-ci-matrix.yml

Sur le bloc push:, branches: porte sur la branche poussee : sans lui, la matrice tournait a chaque push de feature (en plus du pull_request: synchronize qui se declenche deja sur le meme push de feature). lean-ci-matrix.yml n'a pas de cle concurrency:, donc rien n'annulait le run en double. lean-knot.yml (le modele design-gate #15652) garde push: branches: [main] (l. 89-90) et ne retire le filtre que sous pull_request: (l. 124-...). Meme pattern applique ici : push avec branches: [main], pull_request sans.

Bloc restaure :

push:
  branches: [main]
  paths:
    - ...

Commentaire du bloc on: refactorise pour expliciter le discriminant : bloc push filtre la branche poussee, bloc pull_request n'a pas de branches: (option b design-gate #15652, paths: scope + types: [edited] couvrent le retarget vers main).

2. Case d'acceptation 4 — issue dediee ouverte : #19426

La case etait cochee avec "Issue dediee a ouvrir" en suite logique. Issue #19426 ouverte (perimetre au-dela de lean-*) :

"ci(lean): perimetre reel au-dela de lean-* a relever par audit dedie"

La case du body est desormais cochee avec citation explicite. Le body est aligne sur l'etat post-fix (acceptance 2 detaillee avec la mention de la restauration sous push, acceptance 4 citee #19426).

Perimetre : 1 fichier, +18/-9, workflow CI only, pas de notebook, pas de re-execution.

🤖 Generated with Claude Code

[myia-ai-01]

Levée de ma réserve (review 5423199236), tête f6197fd9a2.

1. branches: [main] sous push: — restauré dans lean-ci-matrix.yml. Le bloc pull_request est le seul à perdre le filtre, comme dans lean-knot.yml. Vérifié dans le diff.
2. Case 4 cochée sans issue — #19426 est ouverte et citée dans le body.

Mesure à la tête : les runs Lean déclenchés par la retouche du body à 03:42:39Z ont annulé ceux du push de 03:42:33Z (cancelled). L'événement edited ne double donc pas la matrice.

Point non bloquant : le commentaire ajouté à lean-knot.yml dit que les groupes concurrency: sont clés par github.ref. C'est vrai pour lean-knot.yml et lean-visibility-advisory.yml. lean-ci-matrix.yml, lui, ne porte pas de clé concurrency: au niveau du workflow. L'annulation observée vient donc d'ailleurs, à documenter dans #19426.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 19381
head: f6197fd
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: f3e4a46762b35cfd661f3cfc9c7c988c1ca448acf0bd7953dcc16221e7f1c485
diff-files: 3
diff-additions: 41
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19381
organ-rc: 0
[/ADJOINT PREFLIGHT]