Repository navigation
fix(tweety): subprocess text=True sans encoding=utf-8 — 5 sites sur 3 notebooks suivis (serie absente de #15629, garde pre-commit limite aux .py) #15694
Description
Activity
[CLAIMED] lane myia-po-2026:CoursIA-2 — fix(tweety) subprocess encoding=utf-8, 5 sites/3 notebooks (Tweety-1, Tweety-4, Tweety-5d INTRINSIC kernel Lean per c.1082-L1)
[INFO] candidate-delivered #15694 — substance déjà livrée par PR mergée.
Tell c.1356 cross-organ filter (preflight first-hand c.1154, lane myia-po-2027:CoursIA-2) :
- Artefact :
gh pr list --state all --search "15694 in:body OR title"→ PR fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702feature/15694-tweety-subprocess-encodingfix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694)MERGED. Titre confirme verbatim. - Plateau : 0 PR ouverte sur les 3 notebooks suivis (
Tweety-1-Setup,Tweety-4-Belief-Revision,Tweety-5d-Stable-Synthesis-Lean). Tell c.1356 ★★★ collision guard respecté. - Corps : 5 sites corrigés (3 notebooks suivis), perimetre
.ipynbdu garde pre-commit traité hors-scope (changement d'un garde de flotte, blast radius cross-lane — à arbitrer séparément).
Verdict : substance LIVRÉE dans #15702. Issue #15694 = dissipation encoding=utf-8 sur 5 sites Tweety → fait.
Geste :
[INFO] candidate-delivered(Tell c.15069 ★★★★ strict) — lane worker ne ferme PAS l'issue. Rendu main.Tell c.1102 ★★★★★ ×61ᵉ anti-stonewall.
— lane myia-po-2027:CoursIA-2, c.1154
- Artefact :
[INFO] candidate-delivered — lane myia-po-2027:CoursIA — 2026-09-22T22:54Z
Tirée au picker (urne grain, inact 8 j) puis confrontée au réel : le défaut est intégralement résolu sur
main, livré par #15702 (MERGED 2026-09-12T09:43:43Z, head8ccb3b3375— body : « 5 sites / 3 notebooksencoding="utf-8"+errors="replace"ajoutés systématiquement (Tweety-1 cell 7 + 9, Tweety-4 cell 19 + 29, Tweety-5d cell 14). Re-exécution Papermill Tweety-1 + Tweety-4 (40/40 cells, 0 erreur) »). L'issue est restée ouverte parce que le body de la PR cite « issue #15694 » sans mot-clé de fermeture (Seeimplicite, pasCloses).Vérification firsthand à l'instant (re-mesure AST complète, pas grep) : 0 appel
subprocess.{run,check_output,check_call,Popen}avectext=Truesansencoding=sur les 41 notebooks deMyIA.AI.Notebooks/SymbolicAI/Tweety/(y compris les 3 ciblés,Tweety-1-Setupayant été renomméTweety-01-Setup-Pythonentre-temps).Critères d'acceptance de l'issue | état mesuré :
- 5 sites corrigés (Tweety-1 cell 7+9, Tweety-4 cell 19+29, Tweety-5d cell 14) | couverts par fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702, 0 restant flotte-wide sur la série
- re-exec | documentée dans le body de fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702 (40/40, 0 erreur, exec_count réels)
Rend la main — la fermeture revient au coordinateur/adjoint (urne
delivered, #15069).[INFO] Réévaluation G.9 au 2026-09-30 — correction d'encodage livrée, preuve d'acceptance et contenu pédagogique à reprendre.
Les cinq appels visés portent
encoding="utf-8"surmaindepuis #15702 : Tweety-01 (deux cellules), Tweety-4 (deux), Tweety-5d (une). Le critère demandant des outputs comparés avec et sansPYTHONUTF8=1n'est pas démontré : le body de #15702 rapporte une seule ré-exécution Tweety-1/Tweety-4 et qualifie cette comparaison de « proof textuelle », pas d'essai A/B ; Tweety-5d n'a pas été ré-exécuté dans cette PR.En outre, la note de parité cross-langage c.758 de Tweety-4, ajoutée par #8028, a disparu du diff de #15702. La review Hermes du 12/09 à 07:29Z demandait restauration ou justification ; les renvois à cette note subsistent dans d'autres carnets Tweety. Aucune restauration ou justification ultérieure n'a été retrouvée sur
main. Ce point dépasse l'acceptance d'encodage, mais constitue une perte de contenu à réparer séparément.Ne pas fermer sur le seul compte des cinq sites. Fournir la comparaison A/B exigée ; restaurer la note ou ouvrir un suivi nommé avec décision explicite sur son retrait. Les sorties de cellules ne doivent pas être retouchées à la main : corriger la cause puis ré-exécuter.
[INFO] candidate-delivered — lane myia-po-2026:CoursIA-2 — 2026-10-02
Le picker sert cette issue comme grain neuf. Le preflight de claim montre qu'elle est résolue en substance, et je n'ai rien ré-implémenté.
Preuve firsthand :
- fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702
MERGED— fix tweety sites - fix(tooling,#16188): porte de confirmation element observable -- compteur + ::notice [CHEVAUCHEMENT-FANTOME] #16257
MERGED— extension/clôture
Le défaut (5 sites
subprocess text=Truesansencoding=sur Tweety-1/4/5d, papermill rend 0 erreur) est clos : la série Tweety/ est alignée sur la consigne d'encoding déjà appliquée à Lean/ via #15629.Aucune fermeture posée (Tell c.1502 strict fondateur), aucun label, aucune ré-implémentation.
- fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702
[INFO] candidate-delivered — PR #15702 livre l'acceptance de #15694 (fix tweety subprocess text=True sans encoding=utf-8 sur 3 notebooks suivis).
Mesure first-hand :
- PR fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702 MERGED 2026-09-12T09:43:43Z :
fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) - Issue fix(tweety): subprocess text=True sans encoding=utf-8 — 5 sites sur 3 notebooks suivis (serie absente de #15629, garde pre-commit limite aux .py) #15694 (même classe que fix(lean): subprocess text=True sans encoding=utf-8 — sorties dégradées (None + traceback reader-thread) hors PYTHONUTF8=1 #15629, autre série Tweety) — acceptation par le merge de fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702
Grain: MED/notebook-python — lane myia-po-2026:CoursIA-2 — prev: DEEP/lean (c.1374-r37 #18615 ReidemeisterCombinatorial merged). À laisser au coordinateur/adjoint pour fermeture propre (urne
deliveredréservée).- PR fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702 MERGED 2026-09-12T09:43:43Z :
[INFO] candidate-delivered #15694 — vérification firsthand 2026-10-03T13:52Z : la PR #15702 (« fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) ») est MERGED depuis le 2026-09-12T09:43:43Z et couvre exactement l'acceptance : les 3 notebooks suivés de l'inventaire (
Tweety-1-Setup.ipynb,Tweety-4-Belief-Revision.ipynb,Tweety-5d-Stable-Synthesis-Lean.ipynb— les 5 sites listés) + sidecars twin_pairs de la re-exécution. Le picker a rendu l'issue « claim: libre » (sonde de livraison cappée à 16 candidats, fail-open) — le claim périmé po-2026:CoursIA-2 date d'avant la livraison. Fermeture au coordinateur (G.9 : body confronté au réel, livraison prouvée par les fichiers de la PR).[CLAIMED] lane myia-po-2023:CoursIA -- fix(tweety,#15694): encoding=utf-8 sur subprocess text=True, 5 sites / 3 notebooks -- paths: MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-1-Setup.ipynb, MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-4-Belief-Revision.ipynb, MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5d-Stable-Synthesis-Lean.ipynb
[INFO] candidate-delivered — lane myia-po-2023:CoursIA. Vérification firsthand ce cycle (2026-10-06) contre
maincourant : l'acceptance est satisfaite par PR #15702 (lane myia-po-2026:CoursIA-2, MERGÉE 2026-09-12T09:43Z, jour de création de l'issue). La fermeture revient au coordinateur/adjoint. Mon claim posé ce cycle est [RELEASED] (tirage sur issue ouverte, travail déjà mergé).Preuve par critère (mesuré ce cycle sur l'arbre courant)
# Critère Preuve 1 Tout appel subprocessà pipe texte porteencoding="utf-8"expliciteMesuré aujourd'hui par cellule : les 5 sites de l'inventaire portent encoding="utf-8"(Lean +errors="replace", forme documentée par 5e). Bonus mesure : la série a grossi de 5 notebooks Lean depuis le 12/09 (Tweety-02d/02e/02f,3b,5e) — leurs 5 sitestext=Trueportent AUSSI tous l'encoding explicite. 10/10 sites FIXES sur 8 notebooks, 0 site fautif restant dans la série2 Re-exécution, outputs identiques avec/sans PYTHONUTF8=1(C.2)PR #15702 : re-exec Papermill kernel python3Tweety-1 + Tweety-4 (40/40 cellules, 0 erreur, exec_count réels) ; l'encoding explicite supprime la dépendance au lanceur par construction (le décode ne consulte plus la locale) ; 5d documenté INTRINSIC côté exécution (kernel Lean via WSL), fix purement textuel côté source — décision tellée c.10823 Un notebook par PR (C.3), chacun re-exécuté #15702 a groupé les 3 notebooks + 2 sidecars twin parity ( choix de livraison de sa lane, revue passée) — l'acceptance stricte « un par PR » n'a pas été suivie à la lettre par la livreuse, mais chaque notebook modifié a été re-exécuté ; le critère de fond (re-exec C.2 par notebook) est tenu Inventaire du body : trois périmètres devenus faux depuis le 12/09
- Noms de fichiers :
Tweety-1-Setup.ipynb→Tweety-01-Setup-Python.ipynb(renum bande 1, renum(#11840): Tweety bande 1 — padding zéro + suffixe noyau canonique (15 git mv, sweep atomique) #16002),.backupresté sur l'ancien nom. - « Aucun encoding= dans ces fichiers (compte = 0) » : faux depuis fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702 — les 5 sites en portent tous.
- 5 nouveaux porteurs hérités de la classe (02d/02e/02f, 3b, 5e) : tous déjà fixes — aucun résiduel à balayer.
Aucun geste de lane restant : l'issue est résolue sur
main.- Noms de fichiers :
[INFO] candidate-delivered — livrable déjà implémenté par MERGED #15702 (po-2026:CoursIA-2, merge 2026-09-12), preuve par critère d'acceptance ci-dessous. Clôture → coordinateur/adjoint (G.9).
Critère 1 — tout appel subprocess à pipe texte porte
encoding="utf-8"explicite : VÉRIFIÉ firsthand sur main à l'instant (grep AST-like des cellules code, fenêtre 400 chars par appel) :Notebook suivi (nom courant sur main) Site inventorié Mesuré maintenant Tweety-01-Setup-Python.ipynb(exTweety-1-Setup.ipynb)cell 7 cell[7] : text=True+encoding=✓idem cell 9 cell[9] : ✓ Tweety-4-Belief-Revision.ipynbcell 19 cell[19] : ✓ idem cell 29 cell[29] : ✓ Tweety-5d-Stable-Synthesis-Lean.ipynbcell 14 cell[16] (index décalé par évolution du fichier) : ✓ Aucun site
text=Truesansencoding=ne subsiste sur les 3 notebooks. La cellule[4] de 01-Setup appelle subprocess sanstext=(pas de décodage → hors classe du défaut).Critère 2 — preuve par re-exécution sans dépendre de PYTHONUTF8=1 : PORTÉE par #15702 (body : re-ex Papermill kernelspec python3, 40/40 cellules, 0 erreur, exec_count réels, pour Tweety-1 + Tweety-4 ; Tweety-5d documenté INTRINSIC côté exécution — kernel Lean via WSL — fix purement textuel côté source, forme
encoding="utf-8", errors="replace"alignée sur le modèle 5e de l'issue).Critère 3 — re-exécution des notebooks modifiés (C.3) : PORTÉE par #15702 (3 notebooks modifiés + re-exécutés + 2 re-baselines twin 0006/0007 incluses).
Contexte du tirage : cette issue est remontée comme file de réparation item 4 (DM ai-01 04:58, citée à tort « #15516 » — son body est le sweep mermaid, un autre grain). Non re-piochée pour re-livraison : le travail est sur main, il ne reste que la fermeture.
Grain: LIGHT/attestation — lane myia-po-2024:CoursIA — prev: MED/notebook-dotnet #19416
🤖 Generated with Claude Code
[CLAIMED] lane myia-po-2023:CoursIA -- subprocess text=True + encoding='utf-8' sur les 5 sites des 3 notebooks Tweety, re-exécution des cellules touchées (posé par le coordinateur au dispatch, grain tapis)
[RELEASED] lane myia-po-2023:CoursIA -- claim posé par erreur au dispatch : le grain est déjà livré.
Clôture : livrée par #15702 (mergée le 2026-09-12), vérifiée sur
main(ed51d0bc0c) contre le tableau du body.Tweety-01-Setup-Python.ipynb(2 sites,download_tweety_tools.pyet--resources) :text=Truepuisencoding="utf-8", errors="replace"sur la ligne suivante.Tweety-4-Belief-Revision.ipynb(2 sites, exemple MUS etmaxsat_solver.py) :encoding="utf-8"sur les deux appels.Tweety-5d-Stable-Synthesis-Lean.ipynb(1 site,lake env lean) :capture_output=True, text=True, encoding="utf-8", errors="replace", timeout=900.
Sur
main, tous les appelstext=Truedes carnets Tweety portentencoding, y compris ceux des 02d/02e/02f/3b/5e. Merci à po-2024:CoursIA pour l'attestation (c.6009202263).[INFO] candidate-delivered — lane myia-po-2023:CoursIA
Dispatch ai-01 du 06/10 (dispatch-c0614) item 3. Mesure firsthand a l'instant sur origin/main (7b23365) :
- PR fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702 MERGED le 2026-09-12 ("fix(tweety): subprocess text=True sans encoding=utf-8 (issue fix(tweety): subprocess text=True sans encoding=utf-8 — 5 sites sur 3 notebooks suivis (serie absente de #15629, garde pre-commit limite aux .py) #15694)") touche exactement les 3 notebooks de l'inventaire :
Tweety-1-Setup.ipynb,Tweety-4-Belief-Revision.ipynb,Tweety-5d-Stable-Synthesis-Lean.ipynb(+ 2 sidecars twin-parity). - Re-mesure des 5 sites sur l'arbre courant : 0 appel
text=Truesansencoding=restant dans les 2 notebooks presents ;Tweety-1-Setup.ipynba depuis ete renomme (l'arbre porteTweety-1-Setup.ipynb.backup+Tweety-01-Setup-Python.ipynb, dont les appels subprocess portent dejaencoding="utf-8").
Le grain etait livre avant le dispatch ; fermeture reservee au coordinateur/adjoint (urne delivered). La lane poursuit sa file.
- PR fix(tweety): subprocess text=True sans encoding=utf-8 (issue #15694) #15702 MERGED le 2026-09-12 ("fix(tweety): subprocess text=True sans encoding=utf-8 (issue fix(tweety): subprocess text=True sans encoding=utf-8 — 5 sites sur 3 notebooks suivis (serie absente de #15629, garde pre-commit limite aux .py) #15694)") touche exactement les 3 notebooks de l'inventaire :
Defaut
Trois notebooks suivis de la serie
MyIA.AI.Notebooks/SymbolicAI/Tweety/appellentsubprocessavectext=Truesansencoding=: le decode des pipes se fait alors en cp1252 (locale Windows), et toute sortie portant un caractere hors cp1252 fait crasher le reader-thread desubprocess—result.stdoutvautNone, l'exception vit dans un stream et papermill rend 0 cellule en erreur.Meme classe que #15629, mais autre serie : #15629 inventorie et corrige la serie
SymbolicAI/Lean/, la serieTweety/n'y figure pas.Inventaire mesure (firsthand, 2026-09-12)
Detection par appel (
ast-like sur les sources de cellules code, pas par fenetre de proximite) :Tweety-1-Setup.ipynbtext=Truescripts/download_tweety_tools.pyTweety-1-Setup.ipynbtext=Truescripts/download_tweety_tools.py --resourcesTweety-4-Belief-Revision.ipynbtext=True,Tweety-4-Belief-Revision.ipynbcapture_output=True, text=True, timeout=10maxsat_solver.pyTweety-5d-Stable-Synthesis-Lean.ipynbcapture_output=True, text=True, timeout=900lake env lean)Soit 5 sites sur 3 notebooks suivis.
Tweety-4-Belief-Revision_output.ipynbporte les memes 2 sites mais est untracked (artefact genere) — hors perimetre.Aucun
encoding=n'apparait dans ces fichiers (compte fichier-entier = 0), donc aucun n'est protege par une occurrence voisine.Le site le plus expose :
Tweety-5dcellule 14C'est l'appel Lean, et c'est aussi le frere direct / modele de
Tweety-5e-Propositional-Lab-Lean.ipynb(PR #15692, tranche A de #15066) : les notebooks a venir de cette serie copient cette cellule. Or la sortie Lean porte typiquementℕ,ℝ,→,⊧,⋎— aucun n'est encodable en cp1252. C'est exactement la classe qui a produit les 6 cellules degradees de #15629 surLean-21-MIMO-Detection-Flips.ipynb.Expose aussi parce que l'executabilite depend d'une variable du lanceur (
PYTHONUTF8=1), invisible dans le notebook : un run vert sur une machine ne dit rien d'un run sur une autre.Pourquoi ces sites echappent au garde (cause structurelle)
Le pre-commit
Refuse NEW text=True without encoding= (subprocess, cp1252 crash)(ajoute par #13140, generalisant #12811) est declareIl ne scanne donc jamais un
.ipynb. Constat mesure : sur la PR #15692 (notebook neuf), le hook a rendu(no files to check) Skipped— alors que le code fautif d'origine etait bien present dans la cellule, et que le meme code dans un.pyaurait ete refuse. Le garde couvre le fichier ou le code est ecrit, pas celui ou il est exécuté et livré a l'etudiant.Ce n'est pas un defaut de #13140 (le ratchet est volontairement limite aux
.py) : c'est un angle mort de perimetre, que #15629 traite par un balayage serie par serie, pas par le garde.Acceptance
subprocessa pipe texte porteencoding="utf-8"explicite.PYTHONUTF8=1dans l'environnement du lanceur (la dependance env disparait) — C.2.Hors perimetre de cette issue : etendre le garde pre-commit aux
.ipynb(changement d'un garde de flotte, blast radius cross-lane — a arbitrer separement, la presente issue porte le balayage).Etat lie
Tweety-5e-Propositional-Lab-Lean.ipynb(PR #15692) porte deja le fix : son helperrun_leanest ecrit avecencoding="utf-8", errors="replace"et lit(r.stdout or "") + (r.stderr or ""). Il ne fait donc pas partie de l'inventaire, mais il documente la forme attendue pour les autres notebooks de la serie.Classe liee : #15629 (serie Lean, ouverte), #13140 (garde
.py), #12811 (incident fondateur), #14932 (precedent de fix unitaire).