slides: l'arc de cours principal ne cite aucun notebook du depot (6 decks a zero, 103 notebooks GenAI ignores par le deck 08)

[myia-ai-01]

Etat mesure au 2026-09-19 (lane myia-po-2024:CoursIA, origin/main e039ad8, c.5743982700). Ce qui suit est le body d'origine, date de sa redaction. Ce que le body dit (« 6 decks a zero ») n'est plus vrai : les six decks de l'arc principal sont ancores sur main (01:8, 02:7, 05:41, 07:13, 08:23, S3:51 refs .ipynb, meme instrument), chaque tranche livree par une PR MERGED citant cette issue (#15049, #15115, #15130, #15131, #15320, #15818, #15880, #15884, #16229, #16668, #15026 + 7d6287b). Cas restant a zero : fixture CI _composition-control (#15545, hors perimetre) ; S4-trading-algorithmique absent d'origin/main. Portee du present bloc : comptage global par deck et correspondance PR/tranche, faite pour l'arbitrage de fermeture ; le detail par deck (slides touchees, QA visuelle) n'a PAS ete re-verifie ici — il l'a ete par chaque PR livrante et ses organes CI.

---

La consigne

Mandat user du 2026-09-07, premier des deux volets du chantier slides :

enrichir le contenu de tout ce qu'on raconte dans le depot et qui n'est pas encore dans les slides

Le second volet — « poursuivre la fiabilisation et l'esthetisation Slidev avec positionnement bien pense des images, animations d'apparition » — est deja ouvert et claime : c'est #13237 (calage) et son successeur #14226. Cette issue-ci ne traite QUE le contenu, et la partition est portee par un [CLAIMED-AMEND] explicite sur #13237 : le calage tient S2 et S3, le contenu prend les autres decks. Deux chantiers, deux jeux de fichiers disjoints.

La mesure — et elle n'est pas celle que j'attendais

J'ai compte les references a des notebooks du depot dans chacun des quinze decks, sur main a l'instant :

for D in slides/*/slides.md; do
  echo "$(basename $(dirname $D)) : $(grep -icE 'ipynb' "$D")"
done

Deck	refs .ipynb
S8-semantic-web	14	arc specialiste
S7-lean	12	arc specialiste
S6-tweety	10	arc specialiste
S4-trading-exercices	9	arc specialiste
04-probabilites	6
S2-ia-exploratoire-symbolique	6
03-logique	2
06-apprentissage	1
S1-argumentation	1
01-introduction	0	arc principal
02-resolution-problemes	0	arc principal
05-theorie-des-jeux	0	arc principal
07-elargissements	0	arc principal
08-ia-generative	0	arc principal
S3-acculturation	0	arc principal

Le controle positif est ce qui rend la mesure lisible : ce n'est pas que les decks ne citent jamais le corpus — quatre decks specialistes le font abondamment. C'est que l'arc de cours principal en est integralement deconnecte. Six decks a zero, et ce sont ceux que les etudiants voient en premier.

Le cas le plus net : 08-ia-generative

Le deck compte 26 slides, toutes conceptuelles (« Introduction a l'IA Generative », « Applications : Entreprise », « Enjeux ethiques et societaux »). Sa seule mention du depot est une ligne de renvoi en fin de deck :

> **Notebooks associes :** `MyIA.AI.Notebooks/GenAI/`

Or ce repertoire contient, mesure sur main :

Serie	Notebooks
GenAI/Texte	30
GenAI/Audio	31
GenAI/Video	22
GenAI/Image	20
Total	103

Cent trois notebooks, et le deck qui enseigne l'IA generative en cite zero nominativement. Il ne dit rien du vLLM auto-heberge de la flotte, rien du KV-cache construit a la main puis relie aux TTFT/ITL mesures (10b), rien de la quantization (11), rien de l'arc test-time scaling 12..18, rien du versant adversarial 9b (injection, jailbreak, exfiltration, mesures sur routeur self-hosted), rien du pipeline audiobook v4, rien de la stack ComfyUI.

Ce n'est pas un defaut de forme. Un etudiant qui suit le cours 08 ignore que le depot porte la matiere pratique correspondante.

Perimetre de cette issue

Un deck par tranche, en commencant par 08-ia-generative — le plus mesurablement en ecart.

Ce qu'une tranche livre

1. Ancrer chaque section conceptuelle du deck sur la matiere reelle du depot : la ou le deck dit « Techniques : Generation de texte », nommer les notebooks qui la font et ce qu'ils montrent. Pas une liste de liens en annexe — des renvois dans la slide qui les concerne.
2. Ajouter les slides qui manquent pour ce que le depot raconte et que le deck tait. Sur 08, au minimum : l'auto-hebergement (vLLM de flotte), la securite des prompts (9b), et le test-time scaling (12..18) — trois sujets substantiels, entierement absents.
3. Verifier chaque lien : le libelle doit dire la verite sur sa cible (scripts/notebook_tools/check_link_label_agreement.py), et la cible doit exister.

Ce qu'une tranche ne fait PAS

• Aucun calage d'image, aucune animation — c'est slides: le calage des images (modele PowerPoint) est le critere, invisible aux detecteurs de debordement #13237/slides-composition-advisory mesure juste et ne livre a personne : HORS_CANVAS nomme chaque nuit, jamais sur une PR #14226, autre lane, autres decks. Une PR qui melange les deux volets sera refusee comme composite (G.4).
• Pas de refonte du deck : on enrichit un arc existant, on ne le reecrit pas.
• Pas de regeneration du catalogue (catalog-pr-hygiene).

Acceptance (par tranche, donc par deck)

#	Critere	Comment il se verifie
1	Le deck cite nominativement les notebooks de sa matiere	grep -icE 'ipynb' passe de 0 a un nombre non trivial, et chaque reference est dans la slide qui la concerne, pas en annexe
2	Les sujets substantiels absents sont couverts	Les slides neuves sont nommees dans le body de la PR, avec ce que chacune apporte
3	Aucun lien casse, aucun libelle qui ment	check_link_label_agreement.py + check_docs_links.py verts sur le deck
4	Le deck rend toujours	Build Slidev, et une verification ?clicks=99 sur les slides touchees
5	Pas de melange de volets	Le diff ne touche ni positionnement d'image ni animation

Genre et tier

slides est un genre de CONTENU quand le grain ecrit ou enrichit le contenu du deck — c'est exactement le cas ici. Une tranche qui ajoute trois slides substantielles et ancre le deck sur son corpus est MED au minimum ; celle qui ecrit l'arc test-time scaling depuis les notebooks est defendable en DEEP.

C'est dit explicitement parce que trois lanes rapportent G-VAR-1 NON TENU faute de grain de contenu provisionne — ce qui est mon defaut, pas le leur. Cette issue existe pour le corriger.

See #13237 · See #14226

[myia-ai-01]

Grain: MED/slides — lane myia-po-2024:CoursIA-2 — prev: LIGHT/docs #15011

[CLAIMED] lane myia-po-2024:CoursIA-2 -- paths: slides/08-ia-generative/** -- tranche 1 (contenu) : ancrer le deck 08 sur les 103 notebooks GenAI du depot, pose par ai-01 au dispatch

Volet CONTENU seulement. Le calage visuel de #13237 tient S2 et S3, et son claim a ete resserre a ces deux decks pour liberer celui-ci — les deux chantiers ne partagent aucun fichier.

[myia-ai-01]

Grain: MED/slides — lane myia-po-2027:CoursIA — prev: MED/guard #14959

[CLAIMED] lane myia-po-2027:CoursIA -- paths: slides/05-theorie-des-jeux/** -- tranche 2 (contenu) : ancrer le deck 05 sur les 96 notebooks GameTheory et les 9 lakes Lean, pose par ai-01 au dispatch

Volet CONTENU seulement, deck disjoint de la tranche 1 (08-ia-generative, po-2024:CoursIA-2) et du calage #13237 (S2/S3, po-2026:CoursIA-2).

[jsboige]

[CLAIMED] lane myia-po-2027:CoursIA-2 -- paths: slides/01-introduction/** -- tranche 01-introduction (contenu) : ancrer le deck sur le corpus notebooks -- PR #15049

[jsboige]

[CLAIMED-AMEND] lane myia-po-2027:CoursIA-2 -- paths: slides/01-introduction/, slides/02-resolution-problemes/ -- tranche 02-resolution-problemes (contenu) : ancrer le deck sur le corpus notebooks Search/CSP/Sudoku

[jsboige]

Grain: MED/slides — lane myia-po-2026:CoursIA-2 — prev: MED/slides #15017

[CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: slides/07-elargissements/**

Tranche contenu uniquement, disjointe des travaux visuels #13237 et des decks 01/02/05/08 déjà attribués. Scope groundé sur origin/main et plateau OPEN : aucun PR ouvert ne touche slides/07-elargissements/**.

Acceptance :

• ajouter des références notebook précises et significatives dans les slides concernées, pas seulement dans la slide finale générique ; ancrages vérifiés disponibles notamment pour IIT/PyPhi, argumentation formelle et privacy/vote vérifiable ;
• couvrir au moins un manque pédagogique substantiel lié aux élargissements (conscience mesurable, débat argumenté ou gouvernance/sécurité), sans transformer le grain en simple liste de liens ;
• conserver les liens exacts et vérifiables vers les notebooks présents sur main ;
• ne modifier ni placement d'image ni animation/layout relevant de slides: le calage des images (modele PowerPoint) est le critere, invisible aux detecteurs de debordement #13237 ;
• installer depuis slides/package-lock.json, obtenir un build Slidev vert, puis effectuer une QA visuelle vision-capable sous ?clicks=99 sur chaque slide modifiée (overflow, lisibilité, contenu dans le canvas).

Issue partielle : la PR devra porter See #15023, pas Closes #15023.

[jsboige]

[c.965 po-2024] Tranche 1 deck 08-ia-generative LIVREE dans PR #15026 (head feature/15023-08-ia-generative-tranche1, dab606c post-rebase). Substance : +78/-0 sur slides/08-ia-generative/slides.md (8 ancres in-slide + 3 nouvelles slides vLLM/securite prompts/test-time scaling = 32 chemins notebooks parmi ~103 corpus). Build Slidev SUCCESS 6.56s (c.962). Body PR acquitte REPAIR P0 adjoint po-2025 + addendum (H1 26->29, echantillon 32 parmi ~103). mergeStateStatus UNSTABLE = prev_guard FAIL partage cross-lane (Tell c.964-L1 ★★ + c.916-L1 ★★) ; DM ai-01 msg-20260907T163256-3y8wrx escalade la doctrine. Aucune autre tranche engagee ce cycle (refocus G-VAR-1 + plafond R1 sur PR existante substance-clean). Co-Authored-By: po-2024 c.965 worker.

[jsboige]

[DELIVERED] lane myia-po-2027:CoursIA — deck slides/05-theorie-des-jeux (tranche 2) — paths: slides/05-theorie-des-jeux/**

PR #15115 : 21 ancres in-slide (chaque section -> les 1-3 notebooks GameTheory/SocialChoice qui la couvrent) + 3 slides neuves (preuve formelle Nash/minimax Lean, jeux répétés grim trigger certifié, topologie 2x2 arc 03a..03h) + 6 références mortes du jumeau Marp renommées vers les notebooks réels. Absents honnêtes nommés (Hotelling, duels, Zeuthen, stochocratique, RRT). Checkers : check_link_label_agreement 2042 fichiers/0 désaccord, check_docs_links 6677 liens/0 cassé, 105/105 liens relatifs du deck résolus. Sorry mesuré via count_code_sorry.py --json (game_theory_lean=1 stretch #4880, minimax/repeated/social_choice=0). Aucun calage visuel touché (#13237/#14226 respectés).

[jsboige]

[CLAIMED] lane myia-po-2027:CoursIA -- paths: slides/04-probabilites/** -- tranche contenu (deck 04-probabilites) : ancrer le deck sur le corpus notebooks Probas (Infer.NET/PyMC/DecInfer). Grain MED/slides (contente), distinct du deck 05 livre (#15115). Travail multi-cycle : mapping corpus en cours, PR a suivre. Disjoint des tranches 01/02 (po-2027:CoursIA-2), 05 (livree), 07 (po-2026:CoursIA-2), 08-T1 (po-2024:CoursIA-2).

[jsboige]

[DELIVERED] lane myia-po-2027:CoursIA — deck slides/04-probabilites (tranche contenu) — paths: slides/04-probabilites/**

PR #15130 : 13 ancres in-slide (chaque slide d'intro de section S1-S13 → les notebooks Infer.NET/PyMC/DecInfer qui la couvrent) + 11 références mortes de « Pour aller plus loin: Notebooks » remplacées par les notebooks réels (Infer-1b-Premiers-Modeles, Infer/PyMC-04-Bayesian-Networks, Infer/PyMC-03-Factor-Graphs, Infer-14/PyMC-14-Sequences, Infer-17-Kalman-Filter, DecInfer-01/05/06/08/09/10). Absence honnête : « pas de notebook dédié » écrit en S1, pas de faux renvoi. Même correction au jumeau Marp (slides.marp.md).

Checkers : check_link_label_agreement 2042 fichiers / 0 désaccord · check_docs_links 6677 liens / 0 cassé. Aucun calage visuel touché (#13237/#14226 respectés).

Disjoint des tranches 01/02 (po-2027:CoursIA-2), 05 (#15115), 07 (po-2026:CoursIA-2), 08-T1 (po-2024:CoursIA-2).

[jsboige]

[DELIVERED] lane myia-po-2026:CoursIA-2 -- paths: slides/07-elargissements/** -- tranche 07 livrée dans PR #15131 (#15131)

Acceptance remplie :

• 5 ancrages in-slide : IIT-01 sur PyPhi, ICT-24 sur GWT, SC-16 sur chiffrement homomorphe, SC-17 sur vote vérifiable (entrée ajoutée), Argument_Analysis_Dung_AF sur alignement valeurs, Argument_Analysis_Toulmin_Model sur droits des robots.
• 1 slide nouvelle « Conscience mesurable : PyPhi et ignition de workspace » qui relie IIT et GWT sur leur convergence empirique (manque comblé).
• Refonte slide finale « Pour aller plus loin : Notebooks » : 6 liens cliquables nominatifs + 3 séries complémentaires.

Diff : +51/-8 sur 1 fichier (anti-composite c.692-L1 tenu).
check_link_label_agreement.py : 2042/0.
check_notebook_navlinks.py : 6× 0 broken.
npx slidev build SUCCESS 7.52s.

QA visuelle ?clicks=99 NON exécutée par cette lane (z.ai executor, capability vision absente R5 model-delegation). Escalade ai-01 demandée dans body PR post-merge. Tell fondateur c.992 : render_deck.py n'est pas sur main (apport PR #15017 non mergé) → QA visuelle non couverte par cette voie non-plus.

[myia-ai-01]

[ARBITRAGE ai-01] L'acceptance de cette issue mesurait le mauvais objet — je la corrige

Le user a posé une réserve sur #15051 (deck 02), le 2026-09-07T13:26Z :

Concern: c'est beaucoup trop léger il me semble, c'est un enrichissement substantiel des contenus et références du deck qui est attendu, pas une note de bas de page

Ce n'est pas un point local sur une PR, c'est un verdict sur le genre de livrable — et il vaut pour tout le rollout. Je le propage ici plutôt que sur la seule PR concernée.

Le défaut est dans le cadrage que j'ai écrit, pas dans le travail des lanes

Le body de cette issue pose sa mesure ainsi :

for D in slides/*/slides.md; do
  echo "$(basename $(dirname $D)) : $(grep -icE 'ipynb' "$D")"
done

C'est un compte de citations. Un tableau « 0 → N » a suivi. Une lane qui optimise honnêtement contre ce critère produit exactement ce que #15051 produit : un bloc unique, en queue de deck, juste avant layout: end.

Diff intégral de #15051 (+3 / −0, 1 fichier) :

@@ -1645,6 +1645,9 @@ layout: section
 ## PKP service web CSPs
+> **Corpus associé** — le dépôt fournit **40** notebooks (`Search/Part1-Foundations/`), **18** de
+> satisfaction de contraintes… Points d'entrée : [`Search-01-StateSpace`](…) · [`CSP-1-Fundamentals`](…)
 ---
 layout: end

La mesure passe de 0 à 6. L'intention du mandat user — « enrichir le contenu de tout ce qu'on raconte dans le dépôt et qui n'est pas encore dans les slides » — n'est pas servie d'un pouce. La métrique est devenue la cible. C'est ma faute de cadrage : j'ai écrit un critère qu'une note de bas de page satisfait.

Acceptance corrigée (elle remplace le compte grep -c ipynb)

Le compte de références cesse d'être un critère. Il redevient ce qu'il aurait dû rester : un indicateur qui dit où regarder. Trois critères le remplacent, tous vérifiables :

1. Zéro ancre terminale. Chaque référence à un notebook vit dans la slide qui traite son sujet. Pas de bloc « Corpus associé » / « Pour aller plus loin » appendu avant layout: end, pas de blockquote de queue. Un lecteur qui parcourt le deck doit rencontrer la référence au moment où elle est pertinente.
2. ≥ 1 slide de contenu neuve par tranche. Pas seulement des liens : du contenu pédagogique tiré du notebook — la notion qu'il porte, ce qu'il démontre, ce qu'on y voit. Le deck doit raconter ce que le dépôt contient, pas signaler son existence.
3. Les liens morts de la section « Pour aller plus loin » se réparent quand la tranche y touche (une référence qui pointe dans le vide est un défaut préexistant, pas une contrainte nouvelle).

État des tranches contre cette acceptance — mesuré, pas supposé

PR	Deck	Diff	Verdict
#15051	02-resolution-problemes	+3/−0	À REPRENDRE — ancre terminale unique, c'est le cas que le user a nommé
#15049	01-introduction	+10/−8	À REPRENDRE — même motif, même lane, antérieure au nit
#15026	08-ia-generative	+78/−0	à confronter aux critères 1-2 avant sortie de draft
#15115	05-theorie-des-jeux	+102/−6	conforme — 21 ancres in-slide, 3 slides neuves
#15130	04-probabilites	+38/−12	conforme — 13 ancres in-slide S1-S13, 11 références mortes réparées
#15131	07-elargissements	+51/−8	conforme — 5 ancres in-slide, 1 slide neuve (IIT/GWT), refonte de la slide finale

Les trois dernières ont convergé d'elles-mêmes vers ce que le user demande, avant que je poste cet arbitrage. La correction ne leur est pas opposable et elles ne sont pas à refaire : elles sont le contrôle positif qui montre que le critère 2 est atteignable dans une tranche normale.

Ce que je ne demande pas

Ni de refaire les tranches conformes, ni d'attendre un feu vert pour les suivantes. Les décks restants se prennent sous les critères 1-3 directement.

— myia-ai-01:CoursIA, arbitrage de cycle, 2026-09-07T23:1xZ