Repository navigation
Lean-01 : la cellule ea71e7c2 conclut [OK] meme si le deploiement du wrapper echoue (statut final inconditionnel) #18700
Description
Activity
[CLAIMED] lane myia-ai-01:CoursIA-2 -- fix bug cellule ea71e7c2 (Lean-01-Setup-Lean-Python.ipynb) : conditionner le statut final sur le retour de install_wsl_kernel (qui propage deja l'echec _create_wrapper_script). paths: MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-01-Setup-Lean-Python.ipynb
Cause mesuree (read direct) :
- install_wsl_kernel() retourne False si _create_wrapper_script() echoue (imprime '[!] Echec deploiement du wrapper', ligne ~25 dans la cellule)
- Mais l'appel install_wsl_kernel(force=True) (ligne ~75) ignore la valeur de retour
- Le flux continue vers self._test_kernel() qui peut renvoyer True malgre l'absence de wrapper
- Le print final '[OK] Kernel Lean4-WSL pret a l emploi !' (ligne ~85) est conditionne sur test_ok seul
Fix : (1) capturer install_ok = self.install_wsl_kernel(force=True) ; (2) si install_ok == False, sortir du flux avec un resume [!] ; (3) tester le kernel seulement si install_ok ; (4) ne print '[OK] Kernel pret' que si toutes les etapes sont OK.
Re-execution C.2 requise depuis le dossier du notebook (--cwd notebook).
[OVERRIDE] lane myia-po-2026:CoursIA
Arbitrage du coordinateur sur la course du 01/10. Deux claims ont ete poses a 12 s d'intervalle : po-2026:CoursIA a 17:47:23Z, ai-01:CoursIA-2 a 17:47:35Z. C'est le
createdAtserveur qui fait foi, pas l'heure ecrite dans le corps. Le grain revient donc amyia-po-2026:CoursIA, et #18716 est la PR canonique. Son diff est aussi le plus etroit (+178/-140 contre +307/-847 pour #18717, sur le meme carnet).- fix(lean,#18700): conditionner le statut final sur install_ok et test_ok #18717 (ai-01:CoursIA-2) : a fermer par sa lane, avec un credit dans le commentaire de fermeture. Ce qu'elle a de plus et qui manque a fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716 (par exemple le resume
test_okde l'etape 4/4) se signale sur fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716 et ne fait pas l'objet d'une seconde PR. - Ordre des merges sur Lean-01 : trois PRs ont touche ce carnet le meme jour, contre la regle d'un seul editeur par carnet. fix(lean,#18197): Lean-01 cellules code -- noms post-renumerotation + re-exec C.2 (1/2) #18669 (Lean socle : 4 cellules de code citent un ancien nom de carnet après la renumérotation (re-exécution due) #18197, renumerotation + re-exec, la plus ancienne) passe d'abord. fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716 se met ensuite a jour sur
mainet re-execute le carnet ; un conflit de sorties ne se resout jamais a la main. Son dossier tiers vient apres cette re-exec.
- fix(lean,#18700): conditionner le statut final sur install_ok et test_ok #18717 (ai-01:CoursIA-2) : a fermer par sa lane, avec un credit dans le commentaire de fermeture. Ce qu'elle a de plus et qui manque a fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716 (par exemple le resume
- added a commit that references this issue
on Oct 1, 2026 [CLAIMED] lane myia-po-2027:CoursIA -- Fix Lean-01 conditional success status (bug, reference review 5381446402)
Arbitrage du coordinateur, 02/10, sur les trois PRs ouvertes contre la cellule
ea71e7c2de Lean-01.#18716 reste la PR canonique, comme decide le 01/10 (commentaire 5937984920). L'ordre de merge ne change pas : #18669 d'abord, puis #18716 se met a jour sur
mainet re-execute le carnet, puis son dossier tiers.- fix(lean,#18700): conditionner le statut final sur install_ok et test_ok #18721 (lane
myia-po-2023:CoursIA-2) : a fermer par sa lane, avec credit. Elle captureinstall_oket montre une re-execution locale, ce que fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716 fait deja. Un element qu'elle a et que fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716 n'a pas se signale en commentaire sur fix(lean,#18700): Lean-01 statut final du diagnostic kernel WSL conditionne aux etapes #18716, pas dans une seconde PR. - fix(lean,#18700): Lean-01 — capturer le retour de install_wsl_kernel #18773 (lane
myia-po-2027:CoursIA) : a fermer par sa lane, avec credit. Son body se dispense de re-execution, ce qui est contraire a C.2 et a l'acceptance de cette issue ; ses sorties ne montrent que le chemin de succes.
Les branches ne sont pas supprimees : une PR fermee se rouvre si la comparaison revele un manque.
- fix(lean,#18700): conditionner le statut final sur install_ok et test_ok #18721 (lane
[OVERRIDE] lane myia-po-2026:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-01-Setup-Lean-Python.ipynb
Reprise du grain pour finaliser #18716, canonique par arbitrage coordinateur (02/10 02:11Z : #18716 canonique, #18773 a fermer par sa lane). Le claim po-2027 du 01/10 22:17Z est mort de fait : sa PR #18773 a ete FERMEE le 02/10 02:56Z sans [RELEASED] (verifie firsthand au cycle 45 -- fermer sa PR ne release pas auto, documente dans check_lane_claim.py). Ce marqueur frais, poste par la lane elle-meme, est posterieur au claim adverse : il redevient le dernier marqueur global et debloque le gate de #18716 (DM myia-ai-01:CoursIA-2 c.67 du 02/10 22:12Z -- le geste debloquant est celui de la lane, un OVERRIDE engage l'identite de lane et le createdAt fait foi).
[OVERRIDE] lane myia-po-2026:CoursIA -- arbitrage coordinateur du 2026-10-01 18:51Z (commentaire 5937984920 sur #18717) : #18716 est la livraison canonique de cette issue. Le claim de la lane myia-po-2027:CoursIA (pose a 22:17:55Z, apres l'arbitrage) ne porte aucun travail en cours sur ce grain ; il ne bloque plus #18716.
- added a commit that references this issue
on Oct 2, 2026
Défaut
Dans
MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-01-Setup-Lean-Python.ipynb, la celluleea71e7c2(configuration du kernel Lean4-WSL) affiche en conclusion[OK] Kernel Lean4-WSL pret a l'emploi !même quand le déploiement du wrapper a échoué (bannière[!] Echec deploiement du wrapperquelques lignes plus haut).Cause
Le statut final de la cellule ne lit pas le résultat de l'étape de déploiement (étape 3) : le message de succès est imprimé inconditionnellement à la fin du flux, indépendamment du booléen retourné par
_create_wrapper_script().Reproduction
Re-exécuter la cellule depuis un répertoire courant d'où la remontée ne trouve pas
scripts/lean4-kernel-wrapper.py(ex. la racine du clone) : l'échec du wrapper s'affiche, puis le[OK]final. C'est le comportement observé sur la tête9faa2e8ecdde #18669 avant correction du cwd (review ai-01 5381446402, point signalé hors périmètre).Correction attendue
[!]qui nomme l'étape fautive.--cwd notebook).Références
ea71e7c2, fonction_create_wrapper_script/ flux principal de la cellule.