Sudoku - reancrer les notebooks : titres de tranches et narration de livraison (fille #14446)

Fille de #14446 (Phase 1, série Sudoku). Modèle : #14442. Lane : myia-po-2024:CoursIA.

1. Mesure datée (2026-10-05, clone partagé propre sur `MyIA.AI.Notebooks/Sudoku/`)

38 fichiers Sudoku-*.ipynb dont 34 notebooks pédagogiques + 4 artefacts _output.ipynb (hors périmètre éditorial).
Sweep marqueurs (Grain:, Tranche N, PR #, refs #NNNN, SHA, picker/livré/DWELL) sur cellules markdown, puis lecture firsthand de chaque cellule candidate — le sweep ne décide jamais (cf taxonomie [EPIC] Réancrer les séries dans leur contexte pédagogique — intros, provenance et contenus mal placés #14446).
Caveat méthodologique mesuré : les grilles Sudoku résolues sont des nombres de 9 chiffres qui matchent la regex SHA → les compteurs bruts surcomptent (ex. 17-LLM cell 16 : 9 « hits » = la grillefew-shot, contenu 100 % pédagogique). Les verdicts ci-dessous sont par lecture, pas par compteur.
README.md (834 lignes) : 0 marqueur de narration de livraison — la série n'a pas le défaut README de GameTheory : sortir la chronologie Git du parcours pédagogique et déplacer l’annexe désir hors de GT-04 #14442.

2. Preuves exactes (lecture firsthand)

Défauts francs — `CHRONOLOGIE_GIT_A_RETIRER`

Fichier	Cellule	Citation courte
`Sudoku-05-PSO-CSharp.ipynb`	29, 34, 38, 44	titres `## Tranche 2 (#10382) : resolution via GeneticSharp`, `## Tranche 3 (#11977) : le PSO canonique à vélocité via MetaGeneticSharp`, `## Tranche 4 (#11977)`, `## Tranche 5 (#10382) : pont PythonNet vers mealpy` — 4 sections numérotées par leur bon de livraison, pas par leur sujet
`Sudoku-15-Infer-CSharp.ipynb`	50	titre de section = message de commit : `#### Test : resilience du loader apres elargissement du catch (#11778)`
`Sudoku-15-Infer-CSharp.ipynb`	31, 35, 36, 41	v3/v4 motivées par `(#11801)`, `(#11925)` en corps de titre et d'interprétation
`Sudoku-15-Infer-CSharp.ipynb`	60	conclusion x5 refs (`#9377`, `#9434`, `#8287` ×3) — l'état de livraison disséminé
`Sudoku-04-SimulatedAnnealing-CSharp.ipynb`	43	`## 9. Tranche 2 : resolution via GeneticSharp` + intro « la parité lib-vs-lib (#10382) exige… cette Tranche 2 branche… »
`Sudoku-09-GraphColoring-CSharp.ipynb`	39	`## Tranche 2 : Graphe Sudoku via QuikGraph (moteur .NET natif)`
`Sudoku-05-PSO-Python.ipynb`	43, 45	refs Tranche 2/3 C# + `## Tranche (#10382) : mealpy — le moteur métaheuristique de production`
`Sudoku-03-Genetic-CSharp.ipynb`	34	« Lecture de l'exécution committee » — le vocabulaire de livraison dans une interprétation
`Sudoku-15-Infer-Python.ipynb`	25, 30	callout `> Voir l'issue #11801 pour le grain de réflexion complet (trois gestes candidats : …)` — le langage picker dans le corps
`Sudoku-13-SymbolicAutomata-CSharp.ipynb`	47-55	annexes S10/S11 + synthèse motivées par `(#10450)`, `(#3801)`, `(#10382)`, `(#10464)` en corps

Provenance utile — `PROVENANCE_UTILE` (conserver, éventuellement alléger)

Fichier	Cellule	Verdict
`Sudoku-12b-Z3-Linq2Z3-CSharp.ipynb`	36	`### Provenance et ancrages` : articles De Smet 2009, fork `MyIntelligenceAgency/Z3.Linq`, pointeur sous-module — le modèle du format bien fait de la série. Conserver tel quel
`Sudoku-16-NeuralNetwork-Python.ipynb`	2	`## Hommage a un travail etudiant` : attribution EPITA 2024 (Stourbe/Kieraga/Gally/…) avec PR # et SHA. Garder l'attribution (durable), trimer le process (« verifie via gh api », SHA, numéros de PR) vers une forme nominative courte
`Sudoku-18-Comparison-CSharp/Python`	18, 47	`regle #9434` (ms live) = contrainte technique active ; `EPIC #3801` comme motivation du régime Expert = allégeable mais secondaire

Cas propres (contre-exemples, pas de réécriture uniforme)

Sudoku-00-Environment-CSharp.ipynb cell 0 : Objectifs/Prérequis/Durée/Navigation — l'ouverture exemplaire.
Sudoku-12b cell 36 (cf ci-dessus) : provenance reléguée en fin, courte, durable.
Sudoku-14-BDD-CSharp.ipynb cell 36 : comparaison 12-vs-14 en tableau pédagogique, zéro narration.
8 notebooks entièrement propres au sweep : 00, 01-C#/Py, 02-C#, 07-C#, 08-C#, 11-C#, 18b (+ jumeaux _output).

3. Classification (taxonomie #14446)

CHRONOLOGIE_GIT_A_RETIRER : 10 notebooks (francs : 05-PSO-C#, 15-Infer-C#, 04-SA-C#, 09-GraphColoring-C#, 05-PSO-Py ; légers : 15-Infer-Py, 13-SymbolicAutomata-C#, 03-Genetic-C#, 02-DancingLinks-Py, 12-Z3-C#/Py, 14-BDD-Py, 06/07/08/10 singles — traités à la marge ou laissés si la mention sert le propos)
PROVENANCE_UTILE : 12b (36), 16-NN (2, à alléger), 18-Comparison twins (notebooks(#9377,#8052): porter le mandat « quantitatif tenu par le CI, pas par la prose » a l'interieur des notebooks — la vague #8052 re-epingle des valeurs qui rebougeront #9434)
CONTENU_MAL_PLACE : aucun cas franc dans cette série (pas d'équivalent du bloc désir de GameTheory : sortir la chronologie Git du parcours pédagogique et déplacer l’annexe désir hors de GT-04 #14442) — les annexes S10/S11 de 13-SymbolicAutomata sont des extensions thématiques cohérentes, déjà reléguées en fin de notebook
A_RELIRE : 17-LLM (FP globaux, une relecture rapide à la livraison), 12-Z3-C# cell 25-31 (refs à contextualiser)
Introductions racontant l'issue/grain plutôt que la question (défaut pilote GameTheory : sortir la chronologie Git du parcours pédagogique et déplacer l’annexe désir hors de GT-04 #14442 n°3) : 0 cas franc — les intros 00/12b/14 sont centrées question

4. Tranches atomiques

Tranche A — titres et intros déprocessualisés (markdown-only, ~7 fichiers) : 05-PSO-C#, 04-SA-C#, 09-GraphColoring-C#, 05-PSO-Py (retitrer Tranche N (#X) → sujet pédagogique : « Résolution via GeneticSharp », « PSO à opérateurs d'échange », etc. ; garder la traçabilité en une ligne de provenance terminale là où elle porte) + 15-Infer-C# (retitrer les sections message-de-commit, déreférer les v3/v4) + 03-Genetic-C# (« exécution committee » → « exécution conservée ») + 15-Infer-Py (callout « grain de réflexion » → motivation pédagogique).
Tranche B — provenance allégée (2 fichiers) : 16-NN hommage (attribution courte, process déporté), 13-SymbolicAutomata annexes (refs EPIC: axis-2 SOTA ledger -- every notebook PR-reviewed for proper SOTA-tool install/invocation (recoverable -> re-plug machine/env/user-hand) #3801/Parite lib-vs-lib : 51 paires ou le C# ne bridge aucun moteur alors que le jumeau Python en importe un — et 45 sont declarees parity_level: semantic #10382/feat(tweety,#10381): Tweety-7a C# tranche 2 — parity via real IKVM/Tweety lib #10450/feat(gt17,#10459): PythonNet->pyspiel bridge — OpenSpiel INTRINSIC -> RECOVERABLE-LOCAL (Task 4) #10464 réduites aux contraintes actives).
Tranche C — marge (fichiers 1-2 hits, vérification à la livraison, geste conditionnel).

Pas de renumérotation (#5081) ni renommage (#11840) déclenchés par cette passe : les numéros de fichiers restent stables.

5. Critères de sortie mesurables

Sweep Tranche \d|Grain:|grain de réflexion|exécution committee → 0 hit sur les 34 notebooks pédagogiques.
Toute section motivée par une issue porte soit un sujet pédagogique, soit une ligne de provenance terminale.
Attribution 16-NN conserve les noms, perd les SHA/PR #.
8 notebooks propres + 12b cell 36 inchangés (byte-identiques hors whitespace).
Résidu nommé : 17-LLM et 12-Z3-C# reclassés ou laissés propres avec verdict écrit.

6. Trackers propriétaires

[EPIC] README ascendant — resynchroniser la hiérarchie (feuilles -> principal) depuis l'évolution du dépôt #3973 (README — rien à faire ici, mesuré propre) · [EPIC] Nommage canonique et parcours des notebooks — numéros, accrétions, noyaux et catalogue #5081/[EPIC][#5081] Noms canoniques — padding, titres français et suffixes noyau #11840 (numérotation : non déclenchée) · notebooks(#9377,#8052): porter le mandat « quantitatif tenu par le CI, pas par la prose » a l'interieur des notebooks — la vague #8052 re-epingle des valeurs qui rebougeront #9434/Les donnees quantitatives appartiennent au CI, pas a la prose — supprimer les compteurs manuels (44 notebooks + ~30 README) #9377 (règle ms-live : refs légitimes, contexte à préserver dans les retitrages).

[CLAIMED] #19240 -- lane myia-po-2026:CoursIA-2 -- Tranche A (titres et intros déprocessualisés, ~7 fichiers Sudoku) -- paths: MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-15-Infer-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-04-SimulatedAnnealing-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-09-GraphColoring-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-Python.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-03-Genetic-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-15-Infer-Python.ipynb

Grain: MED/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: MED/lean #19228 (T12 tranche 3)

Reprise du travail sur la phase 1 du EPIC #14446 (reancrer les series dans leur contexte pedagogique) -- scope limite a la Tranche A de l'issue fille Sudoku #19240 (markdown-only, ~7 fichiers, defauts CHRONOLOGIE_GIT_A_RETIRER pointes en body). Le body de l'issue specifie "Lane: myia-po-2024:CoursIA" comme contexte, mais aucun claim vivant d'autre lane n'est pose (cf gh pr list --search Sudoku), donc la lane est libre.

Grounding firsthand :

Body Sudoku - reancrer les notebooks : titres de tranches et narration de livraison (fille #14446) #19240 identifie 10 fichiers en CHRONOLOGIE_GIT_A_RETIRER + ~3 cas legers (Tranche C).
Tranche A (7 fichiers, ~25 cellules) : retitrage des sections motivees par leur bon de livraison (PR # / Tranche N / picker / grain) vers un sujet pedagogique. Conservation de la tracabilite en une ligne de provenance terminale la ou elle porte.
Tranche B (2 fichiers) : 16-NN hommage (attribution courte, process deporte), 13-SymbolicAutomata annexes.
Sweep Tranche d|Grain:|grain de reflexion|execution committee -> 0 hit post-fix.

Geste de cycle : PR atomique sur la Tranche A, scope paths explicite. Tranche B/C en second PR si la fenetre le permet.

[CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/Sudoku/Sudoku-16-NeuralNetwork-Python.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-13-SymbolicAutomata-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-13-SymbolicAutomata-Python.ipynb

Tranche B -- provenance allegee : 16-NN hommage (attribution courte, process deporte), 13-SymbolicAutomata annexes (refs #3801/#10382/#10450/#10464 reduites aux contraintes actives).

Suite de la Tranche A #19244 (gate pending), meme worktree isole.

fix(notebook,#19240): Sudoku Tranche A -- retitrer les sections motiv…

fix(notebook,#19240): Sudoku Tranche B -- provenance allegee

Tranche A livrée — PR #19252 (lane myia-po-2024:CoursIA, Grain: MED/docs, markdown-only).

Sept notebooks réancrés : 03-Genetic-C#, 04-SA-C#, 05-PSO-C#, 05-PSO-Py, 09-GC-C#, 15-Infer-C#, 15-Infer-Py. En-têtes ## Tranche N (#issue) → titres de sujet, références de processus retirées de la prose, renvois « la Tranche N » → renvois de contenu, étiquettes de tableau T1-T4 → les sujets désignés.

Frontière de la tranche A, précisée par la mesure. Le critère de sortie annoncé (« sweep markdown = 0 ») est atteint, mais il ne couvre pas tout le marqueur de tranche : 13 cellules de code en portent encore un (// === Tranche 3 (#11977) : …, // Resolution du meme puzzle facile que la section 4 (Tranche 1), …) dans 04-SA-C#, 05-PSO-C#, 05-PSO-Py, 09-GC-C#, 15-Infer-C#.

Ces 13 cellules ne peuvent pas rejoindre une tranche markdown-only : le commentaire est dans la cellule de code, donc le corriger déclenche C.2 (re-exécution due). Elles constituent une tranche A-bis à part entière, avec sa propre re-exécution — pas un résidu qu'on laisse traîner.

Tranche	Contenu	Statut
A	titres, intros, renvois, étiquettes de tableau (markdown)	livrée (#19252)
A-bis	13 commentaires de tranche en cellules de code + re-exécution	à faire
B	provenance allégée (`16-NN` hommage, `13-SymbolicAutomata` annexes)	à faire
C	fichiers de marge	à faire

Critère de sortie, corrigé : sweep markdown = 0 ET sweep cellules de code = 0, le second n'étant atteignable qu'avec re-exécution.

fix(sudoku,#19240): rebaseline registre jumeau -- 5 paires DRIFT-INTR…

[CLAIMED] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/Sudoku/Sudoku-04-SimulatedAnnealing-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-Python.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-09-GraphColoring-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-15-Infer-CSharp.ipynb -- tranche A-bis : commentaires processuels dans les cellules code (devenus pendants apes le retitrage markdown de la tranche A, PR #19252) + re-execution C.2. Empilee sur feature/14446-sudoku-tranche-a. Grain: MED/notebook-dotnet -- lane myia-po-2024:CoursIA -- prev: LIGHT/readme #19220

[DELIVERED] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/Sudoku/Sudoku-04-SimulatedAnnealing-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-Python.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-09-GraphColoring-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-15-Infer-CSharp.ipynb -- tranche A-bis livree : PR #19307 (empilee sur #19252), 24 remplacements commentaires code + re-execution C.2 des 5 notebooks (0 erreur partout, submodule MetaGeneticSharp jonctionne regle F). Residuel tranche C : 17-LLM et 12-Z3-C# restent a relire a la livraison.

docs(sudoku,#19240): tranche A -- reancrer titres et narrations sur l…

fix(#19240,#19307): re-exec papermill de Sudoku-05-PSO-Python -- bloc…

Fix(notebook,#19240): tranche A-bis -- commentaires code deprocessual…

fix(notebook,#19240): Sudoku Tranche B -- provenance allegee (#19248)

fix(notebook,#19240): Sudoku Tranche A -- retitrer les sections motiv…

Fix(sudoku,#19402): tranche b-bis -- deprocesser les etiquettes Tranc…

fix(notebook,#19240): Sudoku Tranche A -- retitrer les sections motiv…

[CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/Sudoku/Sudoku-05-PSO-Python.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-09-GraphColoring-CSharp.ipynb, MyIA.AI.Notebooks/Sudoku/Sudoku-12-Z3-CSharp.ipynb -- finition : 3 residuels du critere 1 mesures sur origin/main (1bcdca3) : commentaire (Tranche 3) dans 05-Py, 'Tranche 2' dans la ligne de provenance du 09, 'execution committee' dans 12-Z3 + verdicts A_RELIRE (critere 5)

Fix(sudoku,#19240): attestations twin parity des 3 paires modifiees p…

fix(sudoku,#19240): finition -- 3 résiduels du critère de sortie, swe…

Navigation Menu

Repository navigation

Sudoku - reancrer les notebooks : titres de tranches et narration de livraison (fille #14446) #19240

1. Mesure datée (2026-10-05, clone partagé propre sur `MyIA.AI.Notebooks/Sudoku/`)

2. Preuves exactes (lecture firsthand)

Défauts francs — `CHRONOLOGIE_GIT_A_RETIRER`

Provenance utile — `PROVENANCE_UTILE` (conserver, éventuellement alléger)

Cas propres (contre-exemples, pas de réécriture uniforme)

3. Classification (taxonomie #14446)

4. Tranches atomiques

5. Critères de sortie mesurables

6. Trackers propriétaires

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Sudoku - reancrer les notebooks : titres de tranches et narration de livraison (fille #14446) #19240

Description

1. Mesure datée (2026-10-05, clone partagé propre sur MyIA.AI.Notebooks/Sudoku/)

2. Preuves exactes (lecture firsthand)

Défauts francs — CHRONOLOGIE_GIT_A_RETIRER

Provenance utile — PROVENANCE_UTILE (conserver, éventuellement alléger)

Cas propres (contre-exemples, pas de réécriture uniforme)

3. Classification (taxonomie #14446)

4. Tranches atomiques

5. Critères de sortie mesurables

6. Trackers propriétaires

Activity

jsboige commented on Oct 5, 2026

jsboige commented on Oct 5, 2026

jsboige commented on Oct 5, 2026

jsboige commented on Oct 5, 2026

jsboige commented on Oct 5, 2026

jsboigeEpita commented on Oct 13, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions

1. Mesure datée (2026-10-05, clone partagé propre sur `MyIA.AI.Notebooks/Sudoku/`)

Défauts francs — `CHRONOLOGIE_GIT_A_RETIRER`

Provenance utile — `PROVENANCE_UTILE` (conserver, éventuellement alléger)