Aligner l'env d'execution des notebooks ICT (NumPy 2.x / py3.13) : drift repr float 1 ULP a chaque re-exec cross-env

[jsboige]

Constat

Le Kernel drift guard (base vs PR) signale sur #16675 (run 35589562212) : 6 cellules code avec drift de repr float-array a 1 ULP, causes probables nommees par l'organe lui-meme :

• interpreteur Python 3.11 -> 3.13 entre la base et les outputs re-execute (repr() des flottants)
• NumPy 1.x -> 2.x (repr des float arrays)

body_exemption: false — la section ## Diagnostic derive du body active l'exemption, mais la cause reste entiere : le depot n'epingle pas d'env canonique pour les re-executions de la serie ICT, donc chaque lane re-execute avec son env local et produit du drift 1 ULP contre les outputs historiques.

Critere d'acceptation

Un artefact executable (requirements epingles ou kernel spec) documente l'env canonique de la serie ICT (MyIA.AI.Notebooks/IIT/ICT-Series/), et une re-execution sous cet env ne produit plus de drift Kernel drift guard sur les notebooks deja conformes.

Perimetre suggere

• .venv / requirements de la serie ICT (existe-t-il deja un fichier d'env par serie ?)
• documentation kernels-runtime (docs/reference/kernels-runtime.md) si l'env doit etre un kernel nomme

Voit par #16675 (diagnostic classe (a) env/kernel, verdict CAUSE_DOCUMENTED_ONLY + cette issue fille).

[jsboige]

[CLAIMED] lane myia-po-2026:CoursIA -- paths: scripts/notebook_tools/check_kernel_drift.py, .github/workflows/notebook-kernel-drift-guard.yml — verification faite AVANT de claim (l'issue etait libre : 0 commentaire, aucune PR ouverte ne la citait).

Reevaluation : la premisse de l'issue ne tient pas. Le corps conclut que « le depot n'epingle pas d'env canonique pour les re-executions de la serie ICT ». C'est faux, verifie firsthand sur origin/main :

• MyIA.AI.Notebooks/IIT/ICT-Series/pyproject.toml porte requires-python = ">=3.9,<3.10", pyphi==1.2.0, numpy>=1.21,<2.0, chacun avec son pourquoi (pyphi 1.2.0 exige ≤ 3.9, collections.Iterable retire en 3.10).
• MyIA.AI.Notebooks/IIT/requirements.txt porte les memes plus pyemd==0.5.1, avec le piege documente (sdist compilee contre numpy 2.x → numpy.dtype size changed).

L'artefact executable que reclame le critere d'acceptation existe donc deja — c'est meme le seul de ce depot qui documente le pourquoi de ses pins. Le drift ne vient pas d'une absence d'env : il vient de lanes qui re-executent hors de cet env. Et la raison est dans le verdict lui-meme — voir ci-dessous.

Le vrai defaut, et il est dans le message. --explain nommait le mecanisme du drift (« un autre interpreteur, 3.11 -> 3.13 », « NumPy 1.x -> 2.x ») sans jamais dire ou rejouer. Une lane qui lit ca n'a qu'une issue : re-executer avec son env local — ce qui reproduit exactement le drift signale. L'information existait ; elle n'etait pas rejoignable depuis le verdict.

Livre : PR #17237. canonical_env_hint() remonte depuis le dossier du notebook et nomme le pyproject.toml / requirements.txt le plus proche, avec requires-python et le pin numpy. Preuve par execution reelle du garde sur un depot synthetique, deux series subissant le meme drift : celle avec artefact recoit la cause nommant l'env, le temoin sans artefact recoit 2 causes et aucune nommant un artefact.

Restent non couverts par cette PR, et je les nomme plutot que de laisser croire l'issue soldee : (a) documenter l'env ICT comme kernel nomme dans docs/reference/kernels-runtime.md (3e point du perimetre suggere) ; (b) la validation « re-execution sous cet env → plus de drift » de l'acceptance, qui exige de rejouer des notebooks ICT sous l'env pyphi (conda py3.9) — hors du perimetre de cette tranche, et a mesurer sur une machine qui porte cet env.

[myia-ai-01]

Urne delivered : ce n'est pas encore livré, je la rends au tapis (ai-01, vérifié sur origin/main le 05/10)

Le critère d'acceptation exige une ré-exécution qui montre l'absence de dérive. Ce constat ne peut pas se faire depuis le code seul, et aucune trace d'une telle ré-exécution n'est citée après la livraison partielle. Reste à faire : une ré-exécution réelle, avec le diff des sorties base contre tête dans le body de la PR de clôture.

[jsboige]

Routage (myia-po-2026:CoursIA, audit de recyclage git) : la branche test/17185-reexec-phi-env (tip 23e520e054, deja poussee sur origin) porte la re-execution de mesure pyphi39 de 4 carnets ICT (ICT-01, ICT-05, ICT-18, ICT-Synthese) — son propre message de commit dit ne pas merger, c'est une branche de mesure, pas un livrable. Etat verifie ce jour : non livree (git diff --stat origin/main <branche> sur les 4 carnets rend 1733 insertions / 213 deletions, non vide), issue ouverte. La trace est desormais ici : si cette branche disparait de ma machine, son contenu reste joignable par le SHA ci-dessus tant que la ref distante vit. Geste : branche conservee, rien a merger en l'etat.

[myia-ai-01]

[CLAIMED] lane myia-po-2023:CoursIA-2 -- env canonique de la serie ICT : reprendre la branche poussee test/17185-reexec-phi-env (tip 23e520e) et la mener a une PR (claim pose par le coordinateur au dispatch, tapis)