feat(lean,#15666): sous-commandes operateur dry-run et doctor dans lean_exec

[jsboige]

Grain: MED/tooling — lane myia-po-2027:CoursIA-2 — prev: DEEP/lean #20000

Case 8 de l'EPIC #15666, premier volet : l'interface operateur de diagnostic.
lean_exec.py n'exposait que run, status, backends — pas de doctor, pas de
dry-run (grep dry.?run|doctor : 0 occurrence dans le fichier).

Summary

• dry-run : « que ferait un run ? » — backend qui serait choisi, ressources
  mesurees, parallelisme qui serait accorde, verdict d'admission.
• doctor : verdict NOMME (OK / DEGRADE) accompagne de la liste des
  degradations reelles.
• resolve_backend(dry=True) : la decision est rendue sans etre consommee
  (aucun epinglage ecrit).

Changes

• scripts/lean/lean_exec.py — dry_run(), doctor(), resolve_backend(dry=...),
  en-tete de module, deux sous-parsers CLI.
• scripts/lean/tests/test_lean_exec.py — 8 tests.

Deux proprietes qui portent le livrable

1. Lecture seule. L'invariant n'est pas « la sortie est jolie » mais « rien n'a
bouge sur le disque » : pas d'epinglage de backend, pas de lease d'arbre, pas
d'entree de file, pas de verrou d'admission. Seul ecrit : la creation idempotente
du state dir, que measure_resources exige pour lire l'espace disque.

Consequence de conception : resolve_backend ecrit l'epinglage premier-ecrivain.
Un dry-run qui l'appellerait tel quel laisserait le run reel avec un choix qu'il
n'a pas fait. D'ou un flag dry et un point d'ecriture unique (_record).

2. Le verdict reproduit la chaine d'admission DANS SON ORDRE — population,
telemetrie, budget, cap, cap enregistre, backend (cf run_command._attempt). Un
ordre different rendrait un verdict plausible et faux : le premier refus annonce
doit etre celui que le run reel produirait.

Ecart mesure au passage

granted se calcule sur cfg["jobs"] — le parallelisme -Kjobs=N accorde a
l'enfant — tandis que budget est le nombre de places prises dans le cap
machine-wide. Deux grandeurs distinctes, que run_command calcule separement.
Le premier jet de dry-run les confondait (il passait budget a
compute_granted) ; c'est
test_dry_run_budget_agrees_with_status_admission qui l'a attrape, en confrontant
la prediction a la mesure de status.

doctor ne balaie pas, contrairement a status : un diagnostic qui supprime les
fichiers qu'il vient de lire n'est plus un diagnostic, et ses chiffres cessent
d'etre reproductibles. Un etat simplement incomplet (aucun lake encore epingle)
est une note, pas une degradation — un diagnostic qui crie au loup sur une
installation neuve ne sert a rien.

Ce que cette PR ne fait pas

Le case 8 a deux volets. Celui-ci livre le diagnostic. Restent ouverts, et
documentes dans l'en-tete du module : l'arret d'urgence des runs possedes par
l'organe (inspecter puis arreter, sans tuer aveuglement un travail etranger) et la
procedure de recuperation apres crash du superviseur. status et doctor
exposent deja les runs vivants et les leases sur lesquels ces deux volets
s'appuieront.

Review Checklist

• 1. Scope — deux sous-commandes et le flag dry qu'elles exigent ; aucun
  autre changement dans le fichier.
• 2. Post-fix validation — suite complete relancee APRES le dernier commit :
  python -m pytest scripts/lean/tests/test_lean_exec.py -q →
  54 passed, 1 skipped (le skip est pre-existant : motif native_pop,
  ci(tests): test_lean_exec.py rougit Scripts Tests selon le runner (5 echecs, exit 125) depuis le 05/10 #19382).
• 3. Pedagogical coherence — sans objet (aucun notebook).
• 4. Real execution — sans objet (aucun notebook). Les deux sous-commandes
  sont executees pour de vrai dans les tests, pas seulement importees.
• 5. Regression check — resolve_backend n'a qu'un autre appelant
  (run_command, appel par mot-cle, signature preservee : dry est ajoute avec
  un defaut False). grep des definitions : dry_run, doctor et _record
  apparaissent une fois chacun. Aucun autre fichier du depot n'appelle
  lean_exec.

Anti-regression

• Aucun sorry (aucun .lean touche).
• Aucun @pytest.skip / assert True ajoute pour contourner un echec. Le seul
  pytest.skip nouveau est un garde de mesure : il ne se declenche que si la
  population native bouge entre deux mesures de la meme machine — ce qui rend la
  comparaison non concluante — et il le dit.
• Le chemin reel d'epinglage est preserve : dry=False reste le defaut, et
  test_resolve_backend_dry_decision_identical_without_writing verifie que le
  mode reel ecrit toujours l'epinglage.

Test plan

python -m pytest scripts/lean/tests/test_lean_exec.py -q
# 54 passed, 1 skipped

# les 8 nouveaux, seuls :
python -m pytest scripts/lean/tests/test_lean_exec.py -q \
  -k "dry_run or doctor or resolve_backend_dry"
# 8 passed

# inspection manuelle (state dir isole) :
LEAN_EXEC_FORCE_BACKENDS=native python scripts/lean/lean_exec.py doctor
LEAN_EXEC_FORCE_BACKENDS=native python scripts/lean/lean_exec.py dry-run --cwd <un lake>

Les 8 tests : dry n'ecrit rien / dry repin preserve l'epingle / CLI sans trace (ni
epinglage, ni file, ni lease, ni run) / refus sur cache orphelin sans epingler /
budget predit == budget mesure par status / doctor OK / doctor DEGRADE sans
backend disponible / differentiel doctor ne balaie pas vs status balaie.

Le dernier porte son propre controle : il verifie que status balaie bien le
fichier perime, sinon le test serait vacant — il passerait aussi si le balayage
etait casse des deux cotes.

See #15666

🤖 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]

Path-collision (organ #13359/#13615)

Cette PR #20011 (feat(lean,#15666): sous-commandes operateur dry-run et doctor dans lean_exec) 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 -- fix(test,#19382): skip motive par latence d'admission sur 5 tests de timing #19384 partage : scripts/lean/tests/test_lean_exec.py, recouvrement de chemins 50% -- fix(test,#19382): skip motive par latence d'admission sur 5 tests de timing #19384 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-2025:CoursIA-2
pr: 20011
head: eeb8514
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: be3a8cd1b60beeb12598ec22c1dad728089e77b329635c63237371f569f81a18
diff-files: 2
diff-additions: 576
diff-deletions: 13
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 20011
organ-rc: 0
[/ADJOINT PREFLIGHT]