[Audit #17073] Série Planners — partition Hermes

[clusterManager-Myia]

Panorama de la série (audit #17073, partition Hermes)

Arc pédagogique : la série Planners traverse les quatre générations de la planification automatique — (1) classique : PDDL, espace d'états, Fast Downward, heuristiques (relaxation, différentiel d'atteignabilité) ; (2) industrielle : domaines multiples, OR-Tools CP-SAT, temporel ; (3) hiérarchique : HTN ; (4) neuro-symbolique : LLM planificateur (10), LLM réducteur d'espace (10b), interface unifiée (11), Learning to Plan (12). Parité Python/C# sur les notebooks socle (suffixe -Csharp).

Ordre canonique proposé : numérotation → 0-Setup, 1-Intro, 2-PDDL, 3-State-Space, 4-Fast-Downward, 5-Heuristics, 5b-Lean, 5c-Différentiel, 6-Domains, 7-OR-Tools, 8-Temporal, 9-HTN, 10-LLM, 10b après 12 (le README le place en fin de parcours neuro-symbolique ; le 10b annonce lui-même « side de Planners-10 » mais sa navigation donne 12 comme précédent). NB : le README (ligne ~122) référence encore un « 14-LLM-Space-Reducer » — même notebook sous un ancien numéro.

Niveau d'apprenant proposé : 1er cycle avancé → M2. Socle algorithmique (2-5) accessible licence ; 5b (Lean) et 04-NeuroSymbolic exigent Python/numpy solide et une clé API LLM.

Gaps entre notebooks : à documenter au fil des audits.

Checklist notebooks

• MyIA.AI.Notebooks/SymbolicAI/Planners/00-Environment/Planners-0-Setup.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-1-Introduction.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-1-Introduction-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-2-PDDL-Basics.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-2-PDDL-Basics-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-3-State-Space.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-3-State-Space-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-4-Fast-Downward.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-4-Fast-Downward-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-5-Heuristics.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-5-Heuristics-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-5b-Lean-Relaxation.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-5c-Differentiel-Atteignabilite.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-6-Domains.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-6-Domains-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/03-Advanced/Planners-7-OR-Tools.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/03-Advanced/Planners-7-OR-Tools-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/03-Advanced/Planners-8-Temporal.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/03-Advanced/Planners-8-Temporal-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/03-Advanced/Planners-9-HTN.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/03-Advanced/Planners-9-HTN-Csharp.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/04-NeuroSymbolic/Planners-10-LLM-Planning.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/04-NeuroSymbolic/Planners-10b-LLM-Space-Reducer.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/04-NeuroSymbolic/Planners-11-Unified-Planning.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/04-NeuroSymbolic/Planners-12-LOOP.ipynb

• MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-3-State-Space-Csharp.ipynb
  Audits un à un (steering : 1 notebook/cycle). Commentaires détaillés ci-dessous.

[clusterManager-Myia]

Audit Planners/04-NeuroSymbolic/Planners-10b-LLM-Space-Reducer.ipynb

Organes (checkout 2ffa4c0, à jour) : check_split_reading_cells : couvert (0 signal) ; check_interp_positioning : couvert (0) ; check_output_failure_text : couvert (0) ; check_cell_source_parses : couvert (0) ; check_duplicate_sections : couvert (0) ; restore_accents_canonical : couvert (89 cures en dry-run, 22 cellules md — désaccentuation volontaire du dépôt, pas des findings).

Vue structurelle : 39 cellules, aucune pile de prose consécutive, aucun header dupliqué. Trois bras mesurés sur les mêmes tâches, oracle vérifié avant les bras, extrapolation séparée des mesures — l'architecture pédagogique est propre.

Chiffres recoupés : 115 instances/slot (5 simples + 90 recolor + 10 mask_keep + 10 mask_drop) ✓ ; espace 176 434 840 ✓ ; sous-espaces bras 3 (8 372 / 132 / 1 884) recalculés exacts ✓ ; facteurs de réduction (×21 074, ×1 336 628, ×93 649) ✓ ; bras 2 T1 rend recolor >> flipud mais flipud∘recolor = recolor∘flipud sur T1 (commutativité), le verdict TROUVE est correct ✓ ; navigation « précédent = 12 » conforme à l'ordre canonique du README ✓ ; argumentum_taxonomy_explorer.py référencé existe (26 200 octets) ✓.

Findings

1. non-mot dans la lecture du bras 3 — cellules : idx 27 (markdown, id None) — extrait : « Le LLM ne resout pas ici : il digine l'espace, et le solveur fait le reste. » — classe : non-word — pourquoi : « digine » n'est pas un mot français (1 seule occurrence dans tout le dépôt, hors table de l'organe accents, vérifié) ; l'apprenant trébuche sur la phrase qui porte la conclusion de la thèse du notebook.

2. tension non résolue entre le récit du mur et sa mesure imprimée — cellules : idx 17 (markdown) + idx 18/cell-13 (code) + idx 19 (markdown) — extrait : idx 17 : « toute solution situee plus loin est structurellement hors d'atteinte » ; idx 19 : « explorer l'espace complet prendrait 1,044 secondes — soit environ 0.3 heures » — classe : stale-claim — pourquoi : le mur n'est PAS structurel — l'output imprimé dit 0,3 h pour l'espace complet, donc l'échec de T3 vient du budget de nœuds (15 000, ~0,09 s de calcul), pas d'une inaccessible géométrique ; l'apprenant qui lit « structurellement hors d'atteinte » juste au-dessus du chiffre « 0.3 heures » ne peut pas articuler les deux, et la vraie leçon (l'échec est un artefact de budget réglable, pas une impossibilité) est masquée.

Candidats panorama (arbitrage user, pas des findings)

• La cellule 19 contient déjà l'ingrédient de la résolution (« c'est pour cela que la reduction est la vraie question, pas la vitesse ») — la contradiction avec idx 17 est donc réparable en une phrase, sans enrichissement.
• Exercice 2 bien conçu (mask_drop absent du top-3 typique du réducteur → INTROUVABLE propre attendu) — le REDUCER_PROMPT permet bien de sélectionner mask_drop, l'exercice est faisable tel quel.

[clusterManager-Myia]

Audit — MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-3-State-Space-Csharp.ipynb

Organes : split_reading_cells : couvert (0 signal) · interp_positioning : couvert (0) · output_failure_text : couvert (0) · cell_source_parses : couvert (0) · accents : couvert (72 formes hors table, 1 curable) · duplicate_sections : couvert (0).

Gates #17040 programmatiques : valeurs citées par les lectures toutes vérifiées contre l'output N-1 (les nombres « absents » sont tous narratifs : refs de sections, 121=11×11, décompositions arithmétiques 5+50, facteur ~8=91/11 — pas des claims de sortie) ; 0 header dupliqué ; 0 doublon multiset ; 22 md / 13 code, alternance propre.

Findings

1. navigation-misplaced — cell 00 (nav)

Navigation : << Planners-1 Introduction C# | Index | Planners-2 PDDL Basics >>

Planners-3 pointe en retour sur Planners-1 et en avant sur Planners-2 — deux notebooks qui le précèdent tous les deux dans l'ordre canonique. L'apprenant qui achète la nav repart vers un notebook déjà lu et n'atteint jamais Planners-4-Fast-Downward-Csharp (qui existe, dans ../02-Classical/). Le twin Python de ce même notebook a la bonne nav (<< PDDL Basics | Fast Downward >>) ; c'est visiblement la nav de Planners-2 qui a été recopiée. Corrigé attendu : << Planners-2 PDDL Basics C# | Planners-4 Fast Downward C# >> (lien relatif ../02-Classical/).

2. exercise-mismatch — cell 25 (énoncé) vs cell 27 (code fourni)

Exercice 2 — Heuristique euclidienne. Implementez une heuristique euclidienne sqrt(dx^2+dy^2)…

L'énoncé dit « Implementez » mais la cellule 27 livre déjà l'implémentation complète (static int Euclidean(...) => (int)Math.Round(Math.Sqrt(...))), seuls les obstacles de l'exercice 1 (remplir le HashSet) et la question d'admissibilité restent à l'apprenant. Sur cet exercice précis, la tâche d'implémentation annoncée est faite : l'apprenant n'écrit rien, il recopie une lecture (cell 28). Décalage énoncé/contenu, à arbitrer avec la convention « TODO etudiant + indice » de la série (exercices 1 et 3, eux, laissent bien le travail ouvert).

Note hors findings

La checklist de cette issue référence les chemins pré-rename (01-Introduction/, 02-PDDL/, 03-State-Space/…) alors que le dépôt est maintenant en 00-Setup / 01-Foundation / 02-Classical / 03-Advanced / 04-NeuroSymbolic. J'ajoute les lignes au chemin courant cochées en fin de liste au fil des audits (cf. #17073 RENAMES) — un refresh d'ensemble des lignes obsolètes reste à faire par le porteur.

Le reste est solide : arc BFS→DFS→Greedy→A* resserré sur une seule instance (grille 11×11), sanity §6 (cas dégénéré) avant §7 (point clé #3801), la tranche 2 (QuikGraph/Fast Downward) referme la parité lib-vs-lib avec la tranche 1 chiffre à chiffre — progression exemplaire.

[jsboige]

[CLAIMED] lane myia-po-2026:CoursIA — 2026-09-30T21:53Z. Reprise de la partition Planners au rythme steering (1 notebook/cycle) : audit Planners-0-Setup ce cycle + verification firsthand du defaut signale au panorama (README l.~122 « 14-LLM-Space-Reducer », ancien numero).

Co-Authored-By: Claude Sonnet 5.5 noreply@anthropic.com

[jsboige]

Audit Planners-0-Setup.ipynb (00-Environment) — VERDICT : SAIN, rien a signaler

Releve mecanique : 43 cellules (13 code, 30 markdown), execution_count null : 0, erreurs d'output : 0, kernel python3 (lang_info 3.13.7), violations C.1 (raise NotImplementedError/assert False/1/0) : 0.

Pedagogie : objectifs d'apprentissage explicites, exercice terminal « Verification de l'environnement de planification » a etapes (imports + creation d'un probleme) — conforme a la derogation Setup (0-1 exercice). Le carnet configure l'environnement de la serie et s'execute de bout en bout.

Navigation : header (Index | precedent | 01-Introduction >>) et footer pointent les chemins RESTRUCTURES corrects (../01-Foundation/Planners-1-Introduction.ipynb) — coherents avec l'arbre courant.

Defaut du panorama fixe en parallele : PR #18636 — README l.122 14-LLM-Space-Reducer -> 10b-LLM-Space-Reducer (occurrence unique, residu d'ancien numero ; le README dit 10b partout ailleurs).

Note d'inventaire pour les audits suivants : la checklist ci-dessus porte majoritairement les ANCIENS chemins (00-Setup/, 01-Introduction/, 02-PDDL/, 03-State-Space/, 04-Fast-Downward/...). La serie est restructuree en 00-Environment / 01-Foundation / 02-Classical / 03-Advanced / 04-NeuroSymbolic — mapping 1:1 verifie sur l'inventaire complet (25 carnets, aucun manquant, cf git ls-tree -r origin/main). J'ai corrige le chemin de la presente case ; les auditeurs suivants corrigeront la leur au fil des audits.

Co-Authored-By: Claude Sonnet 5.5 noreply@anthropic.com

[jsboige]

Audit Planners-1-Introduction.ipynb (01-Foundation) — VERDICT : SAIN

Releve mecanique : 36 cellules (8 code, 28 markdown), execution_count null : 0, erreurs d'output : 0, kernel python3 (lang_info 3.13.12), violations C.1 : 0.

Pedagogie : objectifs d'apprentissage numerotes en tete, 1 exemple guide (« Planification de livraison ») + 4 exercices nommes (switch modifie, multi-interrupteurs, reflexion hypotheses STRIPS...) — largement au-dessus du plancher 3-exercices, exercices repartis dans le corps (pas tous en fin). Resume final table concepts/definitions.

Navigation : header coherent avec l'arbre restructure (Index ../../README.md, << Setup vers 00-Environment, >> PDDL-Basics meme dossier 01-Foundation).

Rien a signaler — carnet suivant : 1-Introduction-Csharp (jumeau).

Co-Authored-By: Claude Sonnet 5.5 noreply@anthropic.com

[jsboige]

Audit pédagogique — Planners-1-Introduction-Csharp.ipynb (01-Foundation, jumeau C#) — VERDICT : SAIN

Mécanique (mesuré sur origin/main, byte-identique) : 36 cellules (13 code / 23 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel .net-csharp / C# 13.0, 0 violation C.1 (aucun throw NotImplementedException / assert False / division par zéro).

Classification par contenu (règle labeling) :

• Exemples guidés (solutions complètes, gardées) : modèle STRIPS from-scratch (cell 7 : Operator/IsApplicable/Apply/GoalReached), interrupteur sanity check, planificateur BFS, plan sur interrupteur, multi-interrupteurs, explosion combinatoire — section 7 explicitement posée « problème non-trivial ».
• Exercices (stubs propres) : Exercice 1 monde des blocs, Exercice 2 A* avec heuristique de but non-satisfait, Exercice 3 problème non-réalisable — chacun avec // TODO etudiant + indice à une ligne, sortie Exercice N a completer. Plancher ≥3 exercices tenu.

SOTA (prong A/B) : Tranche 2 = vrai Fast Downward 24.06.1 via API Docker, sonde {"status": "healthy", "planner": "fast-downward"} dans les sorties (cell 29), returncode 0 partout, métriques réelles h(lmcut) + états expansés. La parité est démontrée dans les sorties, pas assertée : BFS from-scratch vs FD même longueur optimale (interrupteur), même structure 4 actions (multi-interrupteurs), et miroir PY unified-planning vs C# FD même plan 3 actions avec la note d'optimalité lmcut admissible (livraison). Problème non-trivial tenu.

Navigation : header << Setup → ../00-Environment/Planners-0-Setup.ipynb (chemin restructuré correct), twin Python et PDDL Basics dans le même dossier 01-Foundation — cohérent avec l'arbre actuel.

Résiduel : rien de bloquant. Case cochée avec chemin corrigé (01-Introduction → 01-Foundation, même correction que les cases précédentes — la checklist d'origine porte les anciens chemins).

Suivant : Planners-2-PDDL-Basics.ipynb (ou son jumeau C#).

[jsboige]

Audit pédagogique — Planners-2-PDDL-Basics.ipynb (01-Foundation, Python) — VERDICT : SAIN, 1 finding

Mécanique (mesuré sur origin/main, byte-identique) : 61 cellules (13 code / 48 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel python3 3.13.12 (canon série), 0 violation C.1.

SOTA : unified-planning réellement invoqué — la sortie de la cellule de résolution montre Pyperplan exécuté, plan 7 actions (load/drive/unload×2) imprimé. SOTA-OK, pas de sortie dégradée.

Classification par contenu :

• Exemples guidés : domaine + problème Logistics (PDDL brut), définition UP types/prédicats/actions, résolution, domaine + problème Gripper, exemple guide Robot-Entrepot (solution complète correctement labellisée).
• Exercices (stubs propres) : 9.1 Gripper 3 pièces/3 balles (TODO dans la chaîne PDDL), 9.2 Robot-Cuisine (2 actions à définir), 9.3 Gripper en API UP (gripper_domain = None # TODO etudiant). Plancher ≥3 tenu, indice général fourni (cellule dédiée).

FINDING (incoherence structurelle, genre dupliqué) — cellules 10 et 11 : deux cellules d'interprétation successives du MÊME référent (domaine Logistics, cellule 9), contenu quasi identique (même tableau types/prédicats). La 10 cite « Sortie obtenue : 3 actions et 4 predicats » puis tableau ; la 11 refait le tableau. L'une des deux est de trop — candidat fusion (garder la 10, plus ancrée sur la sortie ; absorber la nuance « truck sous-type de vehicle » de la 11). Non bloquant pour la santé pédagogique d'ensemble ; consigné pour une passe déduplication.

Cosmétique mineure : cellules 58-59-60 = trois séparateurs *** consécutifs en fin de carnet (deux de trop).

Case cochée avec chemin corrigé (02-PDDL → 01-Foundation).

Suivant : Planners-2-PDDL-Basics-Csharp.ipynb (jumeau).

[jsboige]

Audit pédagogique — Planners-2-PDDL-Basics-Csharp.ipynb (01-Foundation, jumeau C#) — VERDICT : SAIN

Mécanique (mesuré sur origin/main, byte-identique) : 31 cellules (10 code / 21 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel .net-csharp / C# 13.0, 0 violation C.1.

SOTA : Tranche 2 = vrai Fast Downward 24.06.1 via API Docker, astar(lmcut()), returncode 0, coûts + états expansés dans les sorties — et la parité est démontrée dans les sorties : « BFS trouvait 7 actions → FD coût 7 = PARITÉ CONFIRMÉE » (Logistics), idem Gripper (5/5). Le jumeau construit aussi from-scratch les deux briques qu'unified-planning cache (grounding + BFS), avec exécution mesurée (1,73 ms).

Classification par contenu :

• Exemples guidés : domaine + problème Logistics en C#, grounding + BFS, Gripper résolu par le même planificateur, exemple guidé Robot-Entrepôt (cellule markdown avec schéma déclaratif complet — types/prédicats/actions ; le jumeau Python le donne en PDDL, choix éditorial cohérent), Tranche 2 FD.
• Exercices (stubs propres) : 8.1 Gripper 3 balles, 8.2 Robot-Cuisine, 8.3 étendre Logistics d'une action fly (hiérarchie de types) — chacun TODO étudiant + indices détaillés pas à pas. Plancher ≥3 tenu.

Interprétations : présentes après chaque cellule de code interprétée (domaine, plan 7 actions, Gripper 5 actions, parité FD) — placement conforme.

Cosmétique mineure (identique au jumeau Python) : cellules 28-29-30 = trois séparateurs *** consécutifs en fin de carnet. Non bloquant.

Case cochée avec chemin corrigé (02-PDDL → 01-Foundation).

Suivant : Planners-3-State-Space.ipynb (Python), puis son jumeau.

[jsboige]

Audit pédagogique — Planners-3-State-Space.ipynb (01-Foundation, Python) — VERDICT : SAIN

Mécanique (mesuré sur origin/main, byte-identique) : 60 cellules (23 code / 37 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel python3 3.13.3 (canon série), 0 violation C.1.

Prong B exemplaire : l'exemple guidé « terrain pondéré » (fin de carnet, fix 8905f8845) fait exactement ce que la règle SOTA exige — un problème où l'heuristique discrimine visiblement : BFS/Greedy 10 pas mais coût 55 (traversent le marais tout droit), A* 16 pas mais coût 16 (le contourne). La sortie affiche le tableau comparatif complet (pas/coût/nœuds/marais) + lecture interprétée. Le cas dégénéré coût-uniforme est explicitement évité.

Couverture algorithmique riche : BFS/DFS implémentés et comparés (optimalité), régression arrière sur BlocksWorld STRIPS, Manhattan + Greedy Best-First + A*, démonstration d'admissibilité, vérification de cohérence (inégalité triangulaire), admissible vs non-admissible, 8-puzzle résolu par A*/Manhattan, récapitulatif comparatif final. Interprétations présentes après chaque cellule de code interprétée.

Exercices : 5 stubs propres — grille avec obstacles, heuristique euclidienne (admissibilité+cohérence à tester), 8-puzzle via unified-planning, Manhattan pour BlocksWorld, pertinence d'action en régression. Plancher ≥3 largement tenu. La garde Import d'unified-planning renvoie vers Planners-0-Setup (pas de crash).

Navigation : >> Fast Downward → ../02-Classical/Planners-4-Fast-Downward.ipynb — sortie du dossier 01-Foundation correcte pour l'arbre restructuré.

Case cochée avec chemin corrigé. Suivant : Planners-3-State-Space-Csharp (jumeau), qui termine la tranche 01-Foundation.

[jsboige]

Audit pédagogique — Planners-3-State-Space-Csharp.ipynb (01-Foundation, jumeau C#) — VERDICT : SAIN, 1 finding nav

Mécanique (mesuré sur origin/main — noter que la branche de partition date d'avant le relay #18468, l'audit porte sur le main vivant) : 35 cellules (13 code / 22 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel .net-csharp / C# 13.0, 0 violation C.1.

Prong B exemplaire (double) : (1) cellule sanity qui nomme le cas dégénéré comme dégénéré — grille uniforme « BFS = A* … sans poids, pas de discrimination — c'est normal » ; (2) terrain pondéré avec tableau comparatif (BFS/Greedy 10 pas coût 55 à travers le marais vs A* 16 pas coût 16 en contournant). L'exercice 3 est paramétrique par-dessus : trouver le seuil de coût_marais où A* bascule traverser/contourner (10c ≥ 16+…) — la discrimination devient un objet d'étude.

SOTA : Tranche 2b = Fast Downward invoqué en direct depuis C# (Process sur le wrapper up_fast_downward, fichiers PDDL temporaires, astar(lmcut())), plan optimal 2 actions sur le 8-puzzle, états expansés dans la sortie — même instance que l'Exercice 3 du twin Python, lib-vs-lib documenté (#10382).

Exercices : 3 stubs propres — obstacles (filtrage succPondere), heuristique euclidienne (admissibilité à vérifier), seuil de bascule paramétrique. Indices fournis, TODO étudiant partout. Plancher ≥3 tenu. 9 « Lectures » ancrées outputs (#13982) vérifiées présentes.

FINDING (incohérence nav, cellule 0) — la chaîne de navigation est cassée sur les deux liens :

• << pointe vers Planners-1 Introduction C# (saute le 2 ; le prev logique est Planners-2-PDDL-Basics-Csharp.ipynb) ;
• >> pointe vers Planners-2-PDDL-Basics.ipynb — le twin Python, en arrière dans la numérotation (2 < 3), au lieu du suivant (../02-Classical/Planners-4-Fast-Downward-Csharp.ipynb, vérifié existant).
  Le jumeau Python a la bonne chaîne (<< PDDL Basics / Fast Downward >> cross-folder). Correctif proposé (1 ligne, markdown-only) : [<< PDDL Basics C#](Planners-2-PDDL-Basics-Csharp.ipynb) | [Index](../../README.md) | [Fast Downward C# >>](../02-Classical/Planners-4-Fast-Downward-Csharp.ipynb). PR à suivre.

Case cochée avec chemin corrigé. La tranche 01-Foundation est auditée en entier (6 carnets : Setup, 1-Intro ×2, 2-PDDL ×2, 3-State-Space ×2 → 7 avec le Setup).

[jsboige]

Audit pédagogique — Planners-4-Fast-Downward.ipynb (02-Classical, Python) — VERDICT : SAIN

Mécanique (mesuré sur origin/main, byte-identique) : 59 cellules (19 code / 40 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel python3 3.13.12 (canon série), 0 violation C.1.

SOTA : le carnet EST le moteur — vérification Docker (image jsboige/coursia-fast-downward), conteneur lancé, puis vraies sorties Fast Downward : logs internes FD bruts ( Variables/FactPairs/Bytes per state, New best heuristic value for lmcut, g=… evaluated/expanded), timing et mémoire dans la sortie. Comparaison de 4 configurations de recherche (A*+LM-cut, Greedy satisficing, EHC, tableau comparatif) et de 4 heuristiques — la capacité distinctive du moteur est exercée, pas juste invoquée. Double interface : Docker direct + unified-planning sur le même problème.

Classification par contenu :

• Exemples guidés : Blocks World A*+LM-cut, comparaison algorithmes/heuristiques, Logistics résolu, unified-planning multi-planificateurs, Exemple guide 1 Ferry (workflow complet).
• Exercices : 3 stubs propres — 4 blocs (scaffold PDDL commenté + pass + indices), domaine Gripper, configuration optimale (blind/hmax/lmcut/ff à comparer). Chacun précédé/suivi de sa cellule Indice dédiée. Plancher ≥3 tenu.

Navigation : [<< State-Space](../01-Foundation/…) cross-folder + [Heuristics >>] même dossier — cohérente avec l'arbre restructuré (entrante depuis le 3 vérifiée au cycle précédent, sortante vérifiée ci-dessous au 5).

Case cochée avec chemin corrigé (04-Fast-Downward → 02-Classical).

[jsboige]

Audit pédagogique — Planners-5-Heuristics.ipynb (02-Classical, Python) — VERDICT : SAIN

Mécanique (mesuré sur origin/main, byte-identique) : 62 cellules (22 code / 40 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel python3 3.13.3 (canon série), 0 violation C.1.

Couverture conceptuelle riche et progressive : h^max, h^add, comparaison, démonstration concrète que h^add n'est PAS admissible (interprétation dédiée — le point conceptuel le plus subtil du sujet, montré pas asserté), FF vs h^add sur les actions partagées, opérateurs préférés, LM-cut, et une section « les heuristiques guident-elles VRAIMENT la recherche ? ». Gardes pédagogiques sur les cas limites : h^max sur ensembles vides, intersection vs union des préconditions des achieveurs — les pièges classiques sont nommés et exécutés.

Exemple guidé avec interprétation du plan (fin de carnet). Exercices : 3 stubs propres — (1) construire un problème où h_add > h* (l'étudiant fabrique lui-même le contre-exemple de l'admissibilité — excellent), (2) implémenter goalcount (squelette de fonction + test commenté), (3) comparaison unified-planning. Plancher ≥3 tenu.

Navigation : [<< Fast Downward] / [Domaines >>] même dossier — cohérente (entrante du 4 vérifiée au cycle précédent).

Case cochée avec chemin corrigé.

[jsboige]

Audit pédagogique — Planners-5-Heuristics-Csharp.ipynb (02-Classical, jumeau C#) — VERDICT : SAIN, 1 finding nav

Mécanique (mesuré sur origin/main, byte-identique) : 37 cellules (16 code / 21 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel .net-csharp, 0 violation C.1.

Couverture alignée sur le jumeau Python : delete-relaxation, h^max (admissible) vs h^add (non admissible — observée concrètement sur un enabler partagé, objectif d'apprentissage explicite), h^FF par extraction gloutonne d'un plan relaxé, landmarks + h_landmark_count. Résumé final « guide de sélection » des heuristiques. Prérequis nommés (1-C#, 3-C#).

Exercices : 3 stubs propres — h^goalcount, cohérence de h^max, h^FF vs plan optimal. Plancher ≥3 tenu.

FINDING (incohérence nav, cellule 0) — pas de ligne **Navigation** du tout : le carnet n'a que le lien twin vers le Python. Orphelin de chaîne : 4-Fast-Downward-Csharp pointe >> vers lui, mais il ne pointe ni << vers le 4 ni >> vers 6-Domains-Csharp. 6-Domains-Csharp présente le même défaut (vérifié : aucun lien nav, seulement twin + prereqs) — 2 orphelins consécutifs en fin de chaîne C#. Correctif proposé (miroir des twins Python) :

• 5-C# : [Index](../../README.md) | [<< Fast Downward C#](Planners-4-Fast-Downward-Csharp.ipynb) | [Domaines C# >>](Planners-6-Domains-Csharp.ipynb)
• 6-C# : [Index](../../README.md) | [<< Heuristiques C#](Planners-5-Heuristics-Csharp.ipynb) | [OR-Tools C# >>](../03-Advanced/Planners-7-OR-Tools-Csharp.ipynb)

PR à suivre (même genre que #18642).

Case cochée avec chemin corrigé.

[jsboige]

Audit pédagogique — Planners-5b-Lean-Relaxation.ipynb (02-Classical, companion formel) — VERDICT : SAIN

Mécanique (mesuré sur origin/main, byte-identique) : 23 cellules (7 code / 16 markdown), 0 execution_count null, 0 erreur dans les sorties, kernel lean4-wsl (Lean 4 via WSL).

Discipline Lean exemplaire (règle B) : zéro sorry tactique dans les cellules code — les 4 occurrences du mot sont de la prose (« sans sorry », #print axioms vs sorryAx, scaffold d'exercice commenté, conclusion « sorry-free »). Le carnet démontre #print axioms in-kernel (la preuve d'admissibilité de $h^+ \le h^*$ est vérifiée complète, pas assertée) et les lemmes de monotonie step_mono/run_mono sont démontrés sur un domaine jouet exécutable (§4bis).

Rôle dans la série : companion natif du lake planning_lean — la certification mathématique de la propriété que le notebook 5 constate empiriquement. Référencement vérifié : prose du README de série (l.60), arbre de structure (l.186/203), tables des deux READMEs — atteignabilité OK.

Exercices : 3 — (1) transitions réelle/relaxée sur mini-STRIPS en Python (ancre l'intuition avant le formel — TODO stubs propres), (2) monotonie de la transition relaxée (Lean, scaffold := by sorry à compléter par l'étudiant), (3) la relaxation peut être strictement moins chère. Exception Lean (0-2 autorisés) dépassée vers le haut.

Cosmétique mineure (non bloquante, pas un finding) : pas de ligne **Navigation** interne — companion formel hors chaîne numérotée, référencé depuis les READMEs ; contrairement des 5/6-C# (orphelins de la chaîne C#, corrigés par #18647), l'atteignabilité est assurée par l'index de série.

Case cochée avec chemin corrigé.

[jsboige]

Audit pédagogique — Planners-5c-Differentiel-Atteignabilite.ipynb (02-Classical, strate 7) — VERDICT : SAIN, 1 finding kernel (mineur)

Mécanique (mesuré sur origin/main, byte-identique) : 28 cellules (11 code / 17 markdown), 0 execution_count null, 0 erreur dans les sorties, 0 violation C.1.

Protocole 4 pas réel dans les sorties : BFS exhaustif (36 états / 36 expansions) → inatteignabilité PROUVÉE par épuisement (g1/g2 atteignable=False h*=infini, propositions rive droite absentes de l'ensemble atteignable) → primitive nommée et payante ajoutée → delta mesuré : |A_t|=36 → |A_t+1|=60 (+24), g1/g2 ECHEC→OK avec h* finis (7/6). Le carnet consomme les garanties du lake planning_lean (5b) au lieu de les rejouer — la stratification 5/5b/5c fonctionne comme dessinée.

Exercices : 3 stubs propres — (1) construire A_t1' avec deltaplane-y{r} et recalculer, (2) extension stérile (jeter la planchette — l'étudiant vérifie qu'une primitive peut ne rien rendre atteignable : le contre-concept), (3) chaîne h_max ≤ h⁺ ≤ h* sur g3 avec verdict égalité/strict. Plancher ≥3 tenu.

FINDING (kernel, mineur) : language_info.version = 3.12.3 alors que le canon mesuré de la série est 3.13.x (3-Introduction/5-Heuristics = 3.13.3, 2-PDDL/1-Introduction = 3.13.12). Non bloquant (exécution complète sans erreur), mais incohérent avec le reste de la série — candidat re-exec sous 3.13 de la base (jamais d'édit metadata à la main, cf kernel-drift-guard).

Cosmétique (non bloquante, même classe que 5b) : pas de ligne Navigation interne — companion strate 7 référencé depuis les READMEs (l.60/149), atteignabilité assurée.

Case cochée avec chemin corrigé. La tranche 02-Classical est à 2 audits de la clôture (4-C#, 6×2 twins restants).