exercices: 7 notebooks à digérer (titre Exercice sur solution complète) + 3 sous le plancher — audit du 27/09 relu

[myia-ai-01]

Contexte

Audit du 27/09 : une flotte haiku, en lecture seule, a passé les 82 notebooks pédagogiques qu'aucune PR ouverte ne touchait. Elle a vérifié le couple titre / contenu des exercices (règle exercise-example-labeling) et le plancher de trois exercices (règle three-exercises-per-notebook). Un sceptique par lot a ensuite tenté de réfuter chaque constat.

ai-01 a relu sur main (4ff9572879) chaque notebook retenu ci-dessous. Les cas réfutés ou non vérifiés ne figurent pas ici.

Les séries concernées ont déjà une partition d'audit ouverte : #17107 (GameTheory), #17211 (ICT), #17183 (IIT), #17357 (Lean), #17700 (ML.Net). Cette issue en isole le volet « exercices », pour qu'il se pioche notebook par notebook.

A. Titre « Exercice » posé sur une solution complète : à digérer (cas 1)

Le remède est la digestion, pas le stub. Il comporte trois gestes, dans cet ordre :

1. retitrer la section en « Exemple guidé » ;
2. conserver le code tel quel, avec son attribution s'il en porte une ;
3. ajouter à la suite un nouvel exercice non résolu, qui mesure quelque chose de neuf.

Notebook	Cellules (titre → code complet)	Relu par ai-01	Après digestion
GameTheory/GameTheory-19-Abstraction-a-Dette.ipynb	Exercice 1, 2, 3 : tous résolus, aucun stub dans le notebook	oui	0 exercice : en ajouter 3
GameTheory/GameTheory-16b-Automated-Mechanism-Design.ipynb	[2]→[3] générateur, [4]→[5] vérificateur, [7]→[8] témoin d'impossibilité, tous complets et exécutés	oui	0 exercice : en ajouter 3
IIT/IIT-05-Lentilles-et-Dissociations.ipynb	[7]→[8], [10]→[11], [13]→[14], aucun stub	oui	0 exercice : en ajouter 3
IIT/ICT-Series/ICT-36-FLens-FactoredGeometry.ipynb	[10]→[11], [12]→[13], [14]→[16], aucun stub	oui	0 exercice : en ajouter 3
IIT/ICT-Series/ICT-37-FLens-BeliefState.ipynb	[12]→[13], [14]→[15], [16]→[17]	oui	0 exercice : en ajouter 3
SymbolicAI/Lean/Lean-16g-Conway-Canons.ipynb	[4]→[5], [7]→[8], [12]→[13]	oui	des stubs existent déjà en [17], [19] et [21] : vérifier s'ils sont les versions « étudiant » des trois mêmes énoncés avant d'en ajouter
ML/ML.Net/ML-5b-Series-Temporelles-Classiques-Python.ipynb	[2]→[3], « Exercice 0 (synthétique) » : construction de la série de démonstration	oui	retitrer seulement : le notebook garde 4 stubs ([11], [15], [22], [28]), le plancher est tenu

B. Notebooks sous le plancher de trois exercices

Notebook	Exercices non résolus aujourd'hui	Manque
GameTheory/GameTheory-03d-Plan-de-deformation.ipynb	0	3
GameTheory/GameTheory-04d-Marchandage-Asymetrique.ipynb	1 ([18], exercice_levier_affection)	2
GameTheory/GameTheory-24-Humour-Banc.ipynb	1 ([19])	2

Pour ces trois notebooks, et pour GameTheory-16b et IIT-05 de la section A, la flotte a rédigé des brouillons d'énoncés, que le sceptique n'a pas réfutés. Ce sont des pistes à relire, pas des énoncés prêts : chacun doit être re-dérivé du contenu du notebook, et le résultat attendu vérifié par une exécution de la solution de référence, hors notebook.

Brouillons d'énoncés (flotte haiku, à relire)

• GameTheory-03d
  • après [4] : classer les 64 profils « Other » par la ou les inégalités qu'ils violent (why_other(profile)) ;
  • après [9] : tracer la frontière défection / bistable dans le plan (k, s) à c/b fixé ;
  • après [12] : mesurer la largeur de la fenêtre d'hystérésis sur une grille (K, S).
• GameTheory-04d
  • après [4] : sensibilité de la part de A à la palette de poids w_A ;
  • après [8] : principe du moindre intérêt à faisceaux externes égaux, en contraste avec le contre-exemple principal ;
  • après [14] : dissociation externe en ne faisant varier qu'une seule composante.
• GameTheory-24-Humour-Banc
  • après [15] : un détecteur « combiné » qui exige les quatre signaux, et sa matrice de confusion face aux deux détecteurs existants ;
  • après [15] : précision et rappel par catégorie, puis macro-F1.
• GameTheory-16b
  • générateur paramétré en nombre d'agents et en plage de paiements ;
  • vérification sur tous les profils de types ;
  • témoin d'impossibilité sous plafond de paiement.
• IIT-05
  • un substrat où GWT dit oui et GNW dit non ;
  • la corrélation AST / SMT sur une trace dynamique ;
  • PP_FEP entre un substrat bruité et un substrat à précision maximale.

Réfutés, à ne pas piocher

• GameTheory-06e : exercices présents en markdown, en [29] à [32].
• 06-Nouveautes-v0.10-QA-OWUI : trois stubs présents.
• Notebook-Generated : démo auto-générée par NotebookMaker.
• Geometry-03-Wu : la proposition de la flotte était fausse.
• GameTheory-09c : notebook de démonstration.

Règles pour le correctif

• Un claim par notebook, avec la clause paths: (python scripts/check_lane_claim.py <cette issue> avant d'éditer).
• Stubs conformes à C.1 : pass, return None, result = None # TODO etudiant, avec # TODO, # Indice et # Etape N. Jamais raise NotImplementedError.
• Les notebooks sont committés avec leurs sorties après ré-exécution (C.2). Aucune sortie éditée à la main.
• Pas de find-replace de titres : chaque titre se décide par le contenu de sa cellule.
• Le compteur count_exercises.py sous-compte certains stubs (tooling(count_exercises): des stubs échafaudés comptés comme solutions — 0/3 sur des notebooks qui en ont trois #18146) : son chiffre ne vaut pas preuve de conformité, ni de non-conformité.

[jsboige]

Grain: DEEP/notebook-python -- lane myia-po-2027:CoursIA -- prev: MED/docs #17721

[CLAIMED] lane myia-po-2027:CoursIA -- digestion IIT-05 : les 3 exercices resolus ([7]-[8], [10]-[11], [13]-[14]) deviennent exemples guides retitres, 3 nouveaux exercices non resolus re-derives du contenu du notebook (solutions de reference verifiees hors notebook), re-execution complete avec outputs.

paths: MyIA.AI.Notebooks/IIT/IIT-05-Lentilles-et-Dissociations.ipynb

[jsboige]

[DELIVERED] lane myia-po-2027:CoursIA -- PR #18184 -- commit 553ad1e

IIT-05 digere : les 3 exercices resolus ([7]/[8], [10]/[11], [13]/[14]) retitres en exemples guides (code conserve tel quel), 3 nouveaux exercices non resolus re-derives du contenu, solutions de reference verifiees hors notebook (GWT log(6) OUI / GNW 0.0 NON ; bascule HOT entre 1e-7 et 1e-6, SMT invariant ; GNW 18/20 seeds seul verdict instable). Re-execution complete 1->8, 0 erreur, count_exercises = 3.

See #18147

[jsboige]

[CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/ML/ML.Net/ML-5b-Series-Temporelles-Classiques-Python.ipynb -- ML-5b retitrage Exercice 0 -> Exemple guide (cas 7 de #18147)

[jsboige]

[CLAIMED] lane myia-po-2027:CoursIA -- paths: MyIA.AI.Notebooks/GameTheory/GameTheory-19-Abstraction-a-Dette.ipynb -- digestion GT-19 : les 3 cellules code titrees « Exercice » (cell 3/5/8, 29-72 lignes, 0 TODO) portent des solutions completes -> exemples guides retitres + 3 nouveaux exercices non resolus + re-execution complete

[jsboige]

[DELIVERED] lane myia-po-2027:CoursIA -- GameTheory-19 digéré : 3 « Exercice » résolus -> exemples guidés retitrés (code et sorties conservés) + 3 exercices neufs non résolus (P4 / atlas des paires / P3B hors chaîne), re-exécution papermill complète 0 erreur, count_exercises 0 -> 3 conforme. PR #18317 (grain MED/notebook-python).

Ligne du tracker : GameTheory/GameTheory-19-Abstraction-a-Dette.ipynb — réglée par cette PR, fermeture de la ligne à valider au merge par la revue.

[jsboige]

[CLAIMED] lane myia-po-2027:CoursIA -- paths: MyIA.AI.Notebooks/IIT/ICT-Series/ICT-37-FLens-BeliefState.ipynb -- digestion ICT-37 (suite du claim GT-19 livre en PR #18317) : les 3 blocs [12]->[13], [14]->[15], [16]->[17] portent des solutions completes (51-57 lignes, 0 TODO) -> exemples guides retitres + 3 exercices neufs non resolus, enonces re-derives du contenu du carnet et solution de reference verifiee hors carnet avant livraison

[jsboige]

[DELIVERED] lane myia-po-2027:CoursIA -- ICT-37 digéré : les 3 blocs [12]->[13], [14]->[15], [16]->[17] portaient des solutions complètes -> exemples guidés retitrés (code et sorties conservés) + 3 exercices neufs non résolus dérivés des Limites du verdict (sweep DIM / H2 pre-vs-post sur Mess3 / robustesse au bruit RRXOR), solutions de référence vérifiées hors carnet sur 5 seeds. Papermill 26/26, 13/13 exec, 0 erreur, count_exercises 0 -> 3 conforme. PR #18320 (grain MED/notebook-python).

Il ne reste à la campagne que GameTheory-16b (claim posé par une autre lane le 28/09 18:35Z) — l'item ICT-37 est réglé par cette PR, fermeture de la ligne à valider au merge par la revue.

[jsboige]

[RELEASED] lane myia-po-2027:CoursIA -- levée du verrou epic-wide du [DELIVERED] du 2026-09-28T05:43Z

Le marqueur [DELIVERED] du 28/09 05:43Z (PR #18184, IIT-05) était epic-wide. État mesuré au 29/09 : 9/10 items de la campagne portent une PR de livraison ouverte en review (#18184, #18261, #18288, #18289, #18291, #18294, #18297, #18317, #18320). Reste GameTheory-24-Humour-Banc (section B, +2 exercices), non livré : libre — ma lane ne le réserve pas (affectée à #18100 + re-post des dossiers de fermeture). Les verrous par chemin déjà livrés restent portés par leurs commentaires [CLAIMED]/[DELIVERED] individuels.