audit(readme): 55 écarts README / notebooks — Autres séries, 33 README (audit du 27/09)

## Contexte

Audit du 27/09 (flotte haiku) : **chaque README de série est-il fidèle aux notebooks de son répertoire ?** Sur 187 README lus, 68 sont propres. Pour les autres, un agent a lu le README et l'en-tête de chaque notebook, et chaque constat est passé devant **3 sceptiques** chargés de le réfuter ; seuls ceux qu'au moins 2 sceptiques confirment sont gardés. Au total, 191 constats survivent sur 109 README, répartis en trois issues par domaine : #18062 (GenAI), #18063 (QuantConnect), #18064 (autres séries).

**Cette issue : Autres séries, 55 constats sur 33 README** (MISSING_PRESENTATION 21, DESCRIPTION_MISMATCH 19, STALE_STRUCTURE 11, BROKEN_LINK 4).

**Vérifié firsthand par ai-01 (CONFIRMED) :**

- `GameTheory/README.md` : `GameTheory-15g-AssistanceGames-2026-Python.ipynb` existe dans le répertoire, et le README ne le nomme nulle part (0 occurrence de « 15g »).

**Tout le reste est à re-vérifier avant correctif** (`.claude/rules/audit-reassessment.md`, ~60 % de faux positifs sur les audits automatisés) : lire le README et le notebook visé, à `main`.

## Comment prendre une tranche

- Une PR par README ou par série, avec un claim scopé : `[CLAIMED] lane <machine:workspace> -- paths: MyIA.AI.Notebooks/<série>/README.md`.
- **`MISSING_PRESENTATION`** : lire le notebook, puis écrire ce qu'il démontre, ses outils et sa place dans le fil de la série. Il faut sa ligne dans les tables de navigation et, s'ils existent, dans les acquis et les parcours (`pr-review-discipline.md` §E).
- **Totaux et comptes** (nombre de notebooks, comptes par langage ou par sous-dossier, bandeaux « N notebooks ») : **ne pas les remettre à jour à la main**. Une ligne de compte fausse se supprime au profit du renvoi au catalogue (arbitrage user du 24/09, check-run `prose-counts`). Quelques constats ci-dessous proposent de « corriger le compte » : les traiter en supprimant la ligne.
- Un passage corrigé ne laisse pas d'incohérence ailleurs dans le même fichier (listes, arbres, liens).
- Le catalogue généré (`COURSE_CATALOG.generated.*`, blocs `CATALOG-STATUS`) ne se touche pas.
- Pour chaque ligne, écrire dans le body de la PR : `CONFIRMED` (corrigé) ou `FALSE POSITIVE` (motif). Les faux positifs mesurent l'audit.

## Constats survivants, par README

### `GameTheory/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | GameTheory/GameTheory-15g-AssistanceGames-2026-Python.ipynb | 3/3 | Le notebook GameTheory-15g-AssistanceGames-2026-Python.ipynb est présent dans le répertoire mais n'est mentionné nulle part dans le README (ni dans le tableau du palier 15, ni dans la section « Autour de 15 — coalitions et pouvoi… | Ajouter une ligne dans la section « Autour de 15 — coalitions et pouvoir » du README, à la suite de 15f, avec un lien vers GameTheory-15g-AssistanceGames-2026-Python.ipy… |

### `IIT/ICT-Series/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | IIT/ICT-Series/README.md | 3/3 | Le carnet `ICT-45-InoculationBifurcation-9B.ipynb` est absent du README : aucune ligne, aucune section, aucun lien ne le nomme, alors qu'il prolonge explicitement le pilote `ICT-42-InoculationBifurcation-Pilot.ipynb` à l'échelle … | Ajouter une ligne dans le tableau de la strate 5, à la suite de `ICT-42-InoculationBifurcation-Pilot.ipynb` (et après `ICT-44-GeometryOfTruth-Python.ipynb`), par exemple… |

### `IIT/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| HIGH | DESCRIPTION_MISMATCH | IIT-01-IntroToPyPhi.ipynb | 3/3 | Le README impose Python 3.9 (lignes 22, 138-142, 304-307) car PyPhi 1.2.0 utilise `collections.Iterable`, supprimé en Python 3.10+. | Aligner le bloc « Prérequis » de IIT-01-IntroToPyPhi.ipynb sur la consigne du README : « Python 3.9 obligatoire (PyPhi 1.2.0) », ou corriger le README + Limitations + FA… |

### `ML/DataScienceWithAgents/02-ML-Cours/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | ML/DataScienceWithAgents/02-ML-Cours/2.14b-XAI-Shap-Attribution-Causa… | 3/3 | Le notebook 2.14b (SHAP et do-calculus, jonction attribution ↔ causalité) est présent dans le répertoire mais n'est présenté nulle part dans le README — ni ligne de tableau, ni section narrative, ni mention textuelle, ni nœud dan… | Ajouter une ligne au tableau de vue d'ensemble (format des autres accroissements, ex. 2.7b ligne 32, 2.7c ligne 41) : `/ [2.14b-XAI-Shap-Attribution-Causal-Bridge](2.14b… |

### `ML/DataScienceWithAgents/04-Vision/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | 4.2i-Detection-Ultralytics-Difficult-Scenes.ipynb | 3/3 | Le README identifie le notebook comme « 4.2i — Détection SOTA : YOLO sous ultralytics, scènes difficiles » (tableau ligne 35, section roadmap ligne 85). | Corriger la cellule de titre du notebook 4.2i pour qu'elle dise « # 4.2i — ... » au lieu de « # 4.2h — ... », et mettre à jour la référence interne « 4.2h (ici) » dans l… |

### `ML/DataScienceWithAgents/Track1-LangChain/Day2-Document-Agents/Labs/Lab2-RFP-Analysis/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | STALE_STRUCTURE | Lab2-RFP-Analysis_output.ipynb | 3/3 | Le README annonce le fichier `Lab2-RFP-Analysis_output.ipynb` (ligne 37 : « version exécutée de référence »). | Soit régénérer la version exécutée via Papermill et la committer, soit retirer la ligne si la sortie n'est plus maintenue comme livrable. |

### `ML/DataScienceWithAgents/Track1-LangChain/Day2-Document-Agents/Labs/Lab3-CV-Screening/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | STALE_STRUCTURE | Lab3-CV-Screening_output.ipynb | 3/3 | Le README ligne 38 référence « Lab3-CV-Screening_output.ipynb - version exécutée de référence », mais ce fichier n'existe pas dans le répertoire. | Soit retirer la ligne, soit committer le fichier _output.ipynb effectivement exécuté (les _output sont habituellement produits par Papermill et versionnés séparément — v… |

### `ML/DataScienceWithAgents/Track1-LangChain/Day3-Data-Agents/Labs/Lab6-First-Agent/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| HIGH | DESCRIPTION_MISMATCH | ML/DataScienceWithAgents/Track1-LangChain/Day3-Data-Agents/Labs/Lab6-… | 3/3 | Les objectifs 3 et 4 du README ne correspondent pas aux objectifs reels du notebook. | Aligner le README sur le contenu reel : remplacer l'objectif 4 par "Orchestrer l'exécution avec `create_react_agent` de LangGraph" et l'objectif 3 par "Configurer un pro… |

### `ML/ML.Net/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | ML/ML.Net/ML-4b-ModelComparison-Validity-Python.ipynb | 3/3 | Le notebook `ML-4b-ModelComparison-Validity-Python.ipynb` présent dans le répertoire n'apparaît nulle part dans le README (ni dans les tables « Fondamentaux » ou « Fonctionnalités avancées », ni dans le parcours d'apprentissage, … | Ajouter une ligne dans la table « Fondamentaux (ML-1 à ML-4) » ou créer une ligne 4b entre ML-4 et ML-5 (par exemple dans la table « Fonctionnalités avancées », en repre… |

### `Probas/Infer/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | Probas/Infer/Infer-1b-Premiers-Modeles.ipynb | 3/3 | Le notebook Infer-1b-Premiers-Modeles (87 cellules, durée 2h30, introduction à Infer.NET et programmation probabiliste) n'est présenté dans aucune partie du README : absent de la table « Vue d'ensemble » (lignes 59-79), absent du… | Ajouter une ligne dans la table Vue d'ensemble et une section détaillée, ou l'exclure explicitement avec une phrase justifiant son absence (ex. notebook de référence com… |
| MED | MISSING_PRESENTATION | Probas/Infer/Infer-20-Quotients-et-Fibres.ipynb | 3/3 | Le notebook Infer-20-Quotients-et-Fibres (19 cellules) est présent dans le répertoire mais n'apparaît dans aucune table ni section du README, alors que le préfixe « Infer-20 » le rattache sémantiquement à la série (le README list… | Ajouter une phrase dans la section Vue d'ensemble ou Structure des Fichiers signalant qu'Infer-20 est une accrétion hors-périmètre bayésien (calcul d'information classiq… |
| LOW | STALE_STRUCTURE | Probas/Infer/README.md | 3/3 | Le diagramme Mermaid de progression (lignes 174-187) omet Infer-1b et Infer-20, et la table Vue d'ensemble s'arrête à Infer-19 alors que le répertoire contient 22 notebooks. Le README acte déjà que « le numéro 6 n'existe pas » (l… | Ajouter une phrase analogue à celle du n°6 manquant : « les numéros 1b et 20 sont des accrétions hors numérotation principale (1b = introduction longue, 20 = quotients/f… |

### `RL/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | BROKEN_LINK | RL/README.md, table « Notebooks » (lignes 51, 53–56, 59–62, 64, 77–80) | 3/3 | 14 liens de la table principale pointent vers des fichiers `.html` qui n'existent pas dans le répertoire, alors que les fichiers sources sont en `.ipynb` | Remplacer `.html` par `.ipynb` dans les 14 liens (rl_5, rl_6b, rl_6c, rl_6d, rl_6e, rl_8, rl_9, rl_10, rl_11, rl_13, rlpt_1, rlpt_2, rlpt_3, rlpt_4). |
| MED | BROKEN_LINK | RL/README.md, table « Frontière » (lignes 91, 92, 93, 95) | 3/3 | 4 liens supplémentaires dans la table « Frontière avec GenAI/PostTraining » pointent aussi vers des `.html` inexistants | Mêmes remplacements `.html` → `.ipynb` dans la table « Frontière » (rlpt_1, rlpt_2, rlpt_3, rlpt_4). |

### `Search/Part1-Foundations/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | Search-03e-AStar-Optimality.ipynb | 3/3 | Le notebook Search-03e-AStar-Optimality.ipynb n'est mentionné nulle part dans le README (ni dans la table des notebooks, ni dans la section Progression, ni dans Prérequis & environnement, ni dans Références). | Ajouter une ligne au tableau des notebooks (entre 3d et 4, par exemple `/ 3e / [Search-03e-AStar-Optimality](Search-03e-AStar-Optimality.ipynb) / Python 3 / ... / ~XX mi… |
| MED | MISSING_PRESENTATION | Search-11d-Descente-Sous-Budget.ipynb | 3/3 | Le notebook Search-11d-Descente-Sous-Budget.ipynb n'est mentionné nulle part dans le README (ni table, ni Progression, ni Prérequis). | Ajouter une ligne au tableau des notebooks (entre 11c et 12a, par exemple `/ 11d / [Search-11d-Descente-Sous-Budget](Search-11d-Descente-Sous-Budget.ipynb) / Python 3 / … |
| MED | BROKEN_LINK | Search-01-StateSpace.html, Search-02-Uninformed.html, Search-02b-Netw… | 3/3 | 11 liens relatifs du README pointent vers des fichiers .html qui n'existent pas sur disque (seuls les .ipynb sources sont présents). | Soit (a) remplacer chaque `[X](X.html)` par `[X](X.ipynb)` dans les lignes 35-68 du tableau et dans les liens images `[…](X.html)` (lignes 11, 173, 127, 181, 185, 189), … |

### `Search/Part2-CSP/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | BROKEN_LINK | README.md — liens internes vers les notebooks Part2-CSP et inter-Part… | 3/3 | Tous les liens relatifs du README pointent vers des cibles `.html` qui n'existent pas : les fichiers présents dans `MyIA.AI.Notebooks/Search/Part2-CSP/` ont l'extension `.ipynb`, et les fichiers `../Part1-Foundations/Search-0X-*.… | Remplacer `.html` par `.ipynb` dans toutes les cibles de liens du README (table `## Notebooks`, table `## Parité Python ⇄ .NET`, balises d'images en ligne 20/24/30/34/38… |
| LOW | STALE_STRUCTURE | README.md — table `## Parité Python ⇄ .NET`, ligne 84 | 3/3 | La ligne 84 du tableau de parité utilise l'extension `.ipynb` pour `CSP-3-Advanced-CSharp` alors que les 8 autres lignes de la même colonne pointent vers des `.html` : incohérence au sein d'une même table. | Aligner sur le pattern majoritaire (`.html` comme les 8 autres lignes C#) ou bien convertir les 9 lignes C# en `.ipynb` une fois la décision de format de publication cla… |

### `Search/_archive/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| HIGH | DESCRIPTION_MISMATCH | Search/_archive/README.md (lignes 19 et 36) | 3/3 | Le README affirme à deux reprises que la sous-série Part2-CSP/ se termine par le notebook `CSP-9-Advanced-Topics.ipynb` (ligne 19 : « CSP-1-Fundamentals.ipynb à CSP-9-Advanced-Topics.ipynb » ; ligne 36 : « 9 notebooks (CSP-1 à CS… | Rectifier `CSP-9-Advanced-Topics.ipynb` en `CSP-9-Distributed.ipynb` aux lignes 19 et 36 (et, le cas échéant, mettre à jour la description du contenu si « Advanced Topic… |

### `Sudoku/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| HIGH | DESCRIPTION_MISMATCH | Sudoku/README.md | 2/3 | README ligne 21 : « 17 C# + 19 Python + 1 Lean 4 = 37 notebooks canoniques ✓ » | Mettre à jour le décompte en prose : « 18 C# + 19 Python + 1 Lean 4 = 38 notebooks canoniques ✓ ». Aligner également la note éditoriale « 37 notebooks canoniques » (lign… |
| MED | DESCRIPTION_MISMATCH | Sudoku/README.md | 3/3 | README ligne 31 : « **1 notebook C# uniquement** (0-Environment, classes de base) » | Remplacer « 1 notebook C# uniquement (0-Environment) » par « 2 notebooks C# uniquement (0-Environment, 12b-Linq2Z3) ». |
| MED | STALE_STRUCTURE | Sudoku/README.md | 3/3 | Table « Structure des Notebooks » (lignes 411-433) numérotée 0 à 18 sans ligne 12b | Ajouter une ligne 12b (Linq2Z3, C#-only) dans la table « Structure des Notebooks », ou bien renuméroter pour préserver la séquence visible. |
| LOW | STALE_STRUCTURE | Sudoku/README.md | 3/3 | Arbre « Structure des Fichiers » (lignes 634-717) omet le dossier `tests/` | Ajouter `tests/` à l'arborescence (au même niveau que `scripts/`), avec mention du fichier `test_thermal_safe_train.py`. |
| LOW | STALE_STRUCTURE | Sudoku/README.md | 3/3 | Note éditoriale ligne 25 référence « counts obsolètes `16 notebooks Python` (L605) » et « `16 solveurs` (L770) » | Re-ancher les numéros de ligne (« L605 » et « L770 ») après réconciliation du décompte Python (19), ou retirer les références de ligne et ne garder que le constat factue… |

### `SymbolicAI/Argument_Analysis/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| HIGH | DESCRIPTION_MISMATCH | Argument_Analysis_Ontology_AIF.ipynb | 3/3 | Le README décrit le modèle OWL d'Argumentum comme contenant 10 976 `NamedIndividual` + 1 305 `ClassAssertion` + 4 183 `ObjectPropertyAssertion`. | Aligner la ligne 216 sur le modèle post-#763 : remplacer « 10 976 `NamedIndividual` » par « 1 509 `owl:Class` (+ 4 classes AIF) », et « 4 183 `ObjectPropertyAssertion` »… |
| HIGH | DESCRIPTION_MISMATCH | Argument_Analysis_Ontology_CrossLinks.ipynb | 3/3 | Le README affirme que les colonnes `crossLink_*` du CSV sont « uniquement dans le CSV upstream — absentes de l'OWL » avec une couverture de 1,5 % (22 relations), et que les mappings AIF/Walton « sont absents de l'OWL ». | Actualiser les lignes 219-220 : remplacer « 1,5 % (22 relations) » par « 59,9 % (1 081 cellules / 844 sophismes) » ; remplacer « uniquement dans le CSV upstream — absent… |
| MED | DESCRIPTION_MISMATCH | Argumentation-02-Fallacies-Detection-Python.ipynb | 3/3 | Le README dit à 6 endroits que la taxonomie compte « 1406 nœuds ». | Remplacer « 1406 nœuds » par « 1408 nœuds » dans les 6 occurrences (lignes 70, 109, 179, 195, 377, 398). |

### `SymbolicAI/Geometry/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | SymbolicAI/Geometry/README.md (table ligne 21, position 02) | 3/3 | Le notebook `Geometry-02-From-Equation-To-Proof.ipynb` (présent dans le dossier, 40 cellules, 16 code, titre « Geometry 02 — Prouver par l'algèbre ») n'est pas présenté par son nom de fichier dans le README ; la ligne 21 de la ta… | Ajouter le lien `[Geometry-02-From-Equation-To-Proof.ipynb](Geometry-02-From-Equation-To-Proof.ipynb)` dans la ligne 21 de la table et remplacer le statut « À venir » pa… |

### `SymbolicAI/Lean/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | STALE_STRUCTURE | Statut de maturité table (lignes ~220-279) | 3/3 | La table « Statut de maturité » omet les lignes pour Lean-33 (Distribution Spaces), Lean-34b (FairBot-Loeb) et Lean-37 (Capstone Serre100), qui sont pourtant tous décrits ailleurs dans le README (Partie 7, lignes 173/175/178). La… | Ajouter trois lignes à la table « Statut de maturité » : Lean-33 (Distribution Spaces), Lean-34b (FairBot-Loeb), Lean-37 (Capstone Serre100), avec les colonnes Cellules/… |
| MED | STALE_STRUCTURE | Table Partie 6 (ligne 148) vs table Partie 7 (ligne 154) | 3/3 | Deux notebooks distincts portent le même numéro de ligne « 18 » dans deux tables différentes : en Partie 6 (Recherche pondérée et optimalité A*) la ligne « 18 » pointe vers Search-03e-AStar-Optimality.ipynb (cross-série), tandis … | Soit renuméroter la ligne Search-03e dans Partie 6 avec un identifiant non-conflictuel (ex. « cross-ref » ou « A* »), soit préfixer le numéro dans la table Partie 6 par … |

### `SymbolicAI/Lean/Serre100/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | STALE_STRUCTURE | SymbolicAI/Lean/Serre100/README.md (table « Notebooks ») | 3/3 | La table « Notebooks » saute de 06 à 08 et omet la ligne 07, alors que le notebook `07-zeros-fonctions-l-gaps-gue.ipynb` existe dans le répertoire et est autoporté comme « Série Serre 100 — notebook 07 ». | Ajouter la ligne manquante dans la table, p. ex. `/ 07 / [07-zeros-fonctions-l-gaps-gue.ipynb](07-zeros-fonctions-l-gaps-gue.ipynb) / Zéros de fonctions L, gaps et stati… |

### `SymbolicAI/Planners/01-Foundation/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | SymbolicAI/Planners/01-Foundation/Planners-1-Introduction-Csharp.ipynb | 3/3 | Le README ne présente que les 3 notebooks Python (Planners-1, 2, 3) et ignore complètement les 3 jumeaux C# (Planners-1-Introduction-Csharp, Planners-2-PDDL-Basics-Csharp, Planners-3-State-Space-Csharp) qui existent dans le même … | Ajouter une mention explicite des jumeaux C# dans le tableau 'Notebooks' (ligne 28-32 du README), ou une section dédiée. Exemple : 'Les notebooks Planners-X-...-Csharp.i… |
| MED | MISSING_PRESENTATION | SymbolicAI/Planners/01-Foundation/Planners-2-PDDL-Basics-Csharp.ipynb | 3/3 | Même constat : le jumeau C# du notebook 2 (PDDL Basics) n'apparaît nulle part dans le README. | Même correction que ci-dessus : inclure le jumeau C# dans le tableau ou ajouter une section 'Variantes C#' couvrant les 3 fichiers. |
| MED | MISSING_PRESENTATION | SymbolicAI/Planners/01-Foundation/Planners-3-State-Space-Csharp.ipynb | 3/3 | Le jumeau C# du notebook 3 (State Space, BFS/DFS/Greedy/A*) n'apparaît nulle part dans le README. | Même correction : ajouter les 3 jumeaux C# dans la présentation du README. |

### `SymbolicAI/Planners/02-Classical/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| LOW | MISSING_PRESENTATION | SymbolicAI/Planners/02-Classical/Planners-4-Fast-Downward-Csharp.ipynb | 3/3 | Le jumeau C# de Planners-4 n'apparaît ni dans la table des notebooks ni dans le texte. | Ajouter une ligne au tableau ou une phrase couvrant les jumeaux C# du marathon #4956 (par exemple « Variante C# : `Planners-4-Fast-Downward-Csharp.ipynb` »). |
| LOW | MISSING_PRESENTATION | SymbolicAI/Planners/02-Classical/Planners-5-Heuristics-Csharp.ipynb | 3/3 | Le jumeau C# de Planners-5 n'apparaît ni dans la table des notebooks ni dans le texte. | Ajouter une ligne au tableau ou une phrase couvrant les jumeaux C# du marathon #4956. |
| LOW | MISSING_PRESENTATION | SymbolicAI/Planners/02-Classical/Planners-6-Domains-Csharp.ipynb | 3/3 | Le jumeau C# de Planners-6 n'apparaît ni dans la table des notebooks ni dans le texte. | Ajouter une ligne au tableau ou une phrase couvrant les jumeaux C# du marathon #4956. |

### `SymbolicAI/Planners/03-Advanced/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| LOW | MISSING_PRESENTATION | Planners-7-OR-Tools-Csharp.ipynb | 3/3 | Le jumeau C# (.NET 9) de Planners-7-OR-Tools n'apparaît ni dans la table des notebooks ni ailleurs dans le README. | Ajouter une ligne ou une note explicite couvrant la variante C# (par exemple une mention « jumeau .NET 9 » sous la ligne 7 de la table, ou un sous-tableau « Variante C# … |
| LOW | MISSING_PRESENTATION | Planners-8-Temporal-Csharp.ipynb | 3/3 | Le jumeau C# (.NET Interactive) de Planners-8-Temporal n'apparaît ni dans la table des notebooks ni ailleurs dans le README. | Même correctif que pour Planners-7-OR-Tools-Csharp : lister la variante C# sous la ligne 8 de la table. |
| LOW | MISSING_PRESENTATION | Planners-9-HTN-Csharp.ipynb | 3/3 | Le jumeau C# (.NET Interactive) de Planners-9-HTN n'apparaît ni dans la table des notebooks ni ailleurs dans le README. | Même correctif : lister la variante C# sous la ligne 9 de la table. |

### `SymbolicAI/Planners/04-NeuroSymbolic/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | STALE_STRUCTURE | README intro paragraph (line 14), Prérequis (line 39), and "À l'issue… | 3/3 | Le README introduit le 4ᵉ notebook comme « notebook 14 » dans l'introduction, les prérequis (« API LLM (notebooks 10, 14) ») et la section « À l'issue » (« Comparer LLM-solver et LLM-réducteur (notebook 14) »), alors que le fichi… | Remplacer « notebook 14 » par « notebook 10b » dans l'introduction (ligne 14), les prérequis (ligne 39) et le point 4 de « À l'issue » (ligne 49), pour aligner la numéro… |

### `SymbolicAI/SMT/Z3-API/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| LOW | DESCRIPTION_MISMATCH | README.md (Vue d'ensemble table, row 03) | 3/3 | Le README indique ~35 min pour le notebook Z3-03 (Tactiques et théories, Python), alors que le notebook lui-meme declare ~40 min dans sa cellule de titre. | Mettre a jour la ligne 64 du tableau Vue d'ensemble : remplacer `~35 min` par `~40 min` pour le notebook Python Z3-03. La ligne 65 (twin C# Z3-03-Tactics-CSharp) partage… |

### `SymbolicAI/SemanticWeb/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | line 221 (table Partie 3): "/ 10 / **SW-10-Python-RDFStar** / 40 min … | 3/3 | The README states that SW-10-Python-RDFStar has a duration of 40 minutes. | Update the README Partie 3 table to change "40 min" to "45 min" for SW-10-Python-RDFStar (and check line 219 for SW-9, which is 40 min and matches the notebook — only SW… |
| LOW | DESCRIPTION_MISMATCH | line 490 (Technologies et versions table): "/ dotNetRDF / 3.4.1 / SW-… | 3/3 | The README states that dotNetRDF version 3.4.1 is used across notebooks SW-1 through SW-7. | Update the README Technologies table to distinguish the versions per notebook family: "dotNetRDF3.2.1 / SW-3 à SW-5 / Core RDF/SPARQL en .NET (stable)" and "dotNetRDF3.4… |

### `SymbolicAI/SmartContracts/02-Solidity-Advanced/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | SC-7b-ERC20-Lean-Verification-Companion.ipynb | 3/3 | Le notebook SC-7b (compagnon Lean de SC-7) est présent dans le dossier mais n'est mentionné nulle part dans le README. | Ajouter une ligne dédiée dans la table 'Notebooks' (lignes 20-27) ou une section 'Notebooks compagnons' décrivant SC-7b comme compagnon Lean de SC-7, avec une étape corr… |
| MED | MISSING_PRESENTATION | SC-7c-ERC20-Lean-Native-Companion.ipynb | 3/3 | Le notebook SC-7c (compagnon natif Lean via kernel lean4-wsl) est présent dans le dossier mais n'est mentionné nulle part dans le README. | Ajouter SC-7c dans la table 'Notebooks' avec un parcours reflétant la progression SC-7 → SC-7b → SC-7c, et mentionner explicitement le kernel lean4-wsl dans la configura… |

### `SymbolicAI/SmartContracts/03-Foundry-Testing/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | Prérequis de SC-12-Foundry-Testing | 3/3 | Le README déclare que SC-12-Foundry-Testing nécessite « SC-3 a SC-6 complètes », alors que le notebook lui-même, dans sa première cellule markdown (section « Prerequis »), déclare « Solidity basics (SC-1 a SC-4) ». Les deux plage… | Aligner les deux sources : soit mettre à jour la cellule « Prerequis » du notebook pour exiger SC-3 à SC-6 (lien vers SC-3-Solidity-Basics.ipynb déjà présent dans le REA… |

### `SymbolicAI/SmartContracts/04-Privacy-Cryptography/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | SymbolicAI/SmartContracts/04-Privacy-Cryptography/README.md | 3/3 | Le tableau « Notebooks » (ligne 24) attribue 45 min a SC-17, et la section « Parcours d'apprentissage » / « Étape 3 » (ligne 55) reprend « 45 min ». | Aligner le README sur le notebook : corriger la duree a 70 min dans la colonne « Duree » du tableau ligne 24, dans « Étape 3 » ligne 55, et dans « Ce que vous avez appri… |

### `SymbolicAI/SmartContracts/05-Alternative-Chains/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | SymbolicAI/SmartContracts/05-Alternative-Chains/SC-21-Move-Sui.ipynb | 3/3 | Le README annonce SC-21-Move-Sui à 40 min, alors que le notebook déclare lui-même "Durée estimée : 50 minutes" — décalage de 10 min qui touche aussi "Étape 4 : Move et Sui (SC-21, 40 min)". | Aligner le tableau de la ligne 25 et la section "Étape 4" sur la durée déclarée par le notebook (50 min), ou corriger le notebook si 40 min est la valeur canonique. |
| MED | DESCRIPTION_MISMATCH | SymbolicAI/SmartContracts/05-Alternative-Chains/SC-22-Solana-Anchor.i… | 3/3 | Le README annonce SC-22-Solana-Anchor à 45 min, alors que le notebook déclare lui-même "Durée estimée : 55 minutes" — décalage de 10 min qui touche aussi "Étape 5 : Solana et Anchor (SC-22, 45 min)". | Aligner le tableau de la ligne 26 et la section "Étape 5" sur la durée déclarée par le notebook (55 min), ou corriger le notebook si 45 min est la valeur canonique. |

### `SymbolicAI/SmartContracts/06-Real-World/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | README prerequisite table for SC-23 | 3/3 | Le tableau Prérequis ligne 79 indique « SC-3..SC-8 (Solidity) » comme prérequis pour SC-23. | Elargir la cellule « Prérequis » de SC-23 a « SC-3 a SC-10 (Solidity + Account Abstraction) » pour aligner sur le notebook. |

### `SymbolicAI/SymbolicLearning/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | SL-13-Discover-TPR.ipynb | 2/3 | Le tableau des notebooks ligne 290 décrit SL-13 comme un diagnostic sur « GRU 1 couche ». | Remplacer « sur GRU 1 couche » par « sur GRU 1-2 couches » dans la cellule du tableau (ligne 290) pour aligner sur le notebook et les autres sections. |

### `SymbolicAI/SymbolicLearning/_archive/2026-07-04-Neurosymbolic-EML-precurseur-SL12/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | DESCRIPTION_MISMATCH | SymbolicAI/SymbolicLearning/_archive/2026-07-04-Neurosymbolic-EML-pre… | 2/3 | Le README affirme que `SL-12-DifferentiableLogicGateNetworks.ipynb` cell[2] « cite explicitement la préquelle archivée et la remplace » | Corriger la ligne 40 du README : remplacer « cell[2] (markdown) — cite explicitement la préquelle archivée et la remplace » par « cell[10] (markdown) — cite explicitemen… |

### `SymbolicAI/Tweety/README.md`

| Sév. | Type | Cible | Sceptiques | Constat | Correctif proposé |
|---|---|---|---|---|---|
| MED | MISSING_PRESENTATION | SymbolicAI/Tweety/Tweety-12-Grounded-Via-TweetyProject.ipynb | 3/3 | Le notebook Tweety-12-Grounded-Via-TweetyProject est absent de la table "Structure" et de la table "En quoi chaque notebook est unique", ainsi que de l'arborescence presentee dans le README. Il n'est mentionne qu'une fois dans le… | Ajouter une ligne dans la table Structure (apres l'entree 11c, section Synthese) et une entree dans la table "En quoi chaque notebook est unique", et une ligne dans l'ar… |

## Traçabilité

Workflow `wf_7ad16561-3df` (haiku), en lecture seule. Les sorties de l'audit restent hors dépôt ; ces trois issues en sont la seule trace publique.


Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	MISSING_PRESENTATION	Probas/Infer/Infer-1b-Premiers-Modeles.ipynb	3/3	Le notebook Infer-1b-Premiers-Modeles (87 cellules, durée 2h30, introduction à Infer.NET et programmation probabiliste) n'est présenté dans aucune partie du README : absent de la table « Vue d'ensemble » (lignes 59-79), absent du…	Ajouter une ligne dans la table Vue d'ensemble et une section détaillée, ou l'exclure explicitement avec une phrase justifiant son absence (ex. notebook de référence com…
MED	MISSING_PRESENTATION	Probas/Infer/Infer-20-Quotients-et-Fibres.ipynb	3/3	Le notebook Infer-20-Quotients-et-Fibres (19 cellules) est présent dans le répertoire mais n'apparaît dans aucune table ni section du README, alors que le préfixe « Infer-20 » le rattache sémantiquement à la série (le README list…	Ajouter une phrase dans la section Vue d'ensemble ou Structure des Fichiers signalant qu'Infer-20 est une accrétion hors-périmètre bayésien (calcul d'information classiq…
LOW	STALE_STRUCTURE	Probas/Infer/README.md	3/3	Le diagramme Mermaid de progression (lignes 174-187) omet Infer-1b et Infer-20, et la table Vue d'ensemble s'arrête à Infer-19 alors que le répertoire contient 22 notebooks. Le README acte déjà que « le numéro 6 n'existe pas » (l…	Ajouter une phrase analogue à celle du n°6 manquant : « les numéros 1b et 20 sont des accrétions hors numérotation principale (1b = introduction longue, 20 = quotients/f…

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	BROKEN_LINK	RL/README.md, table « Notebooks » (lignes 51, 53–56, 59–62, 64, 77–80)	3/3	14 liens de la table principale pointent vers des fichiers `.html` qui n'existent pas dans le répertoire, alors que les fichiers sources sont en `.ipynb`	Remplacer `.html` par `.ipynb` dans les 14 liens (rl_5, rl_6b, rl_6c, rl_6d, rl_6e, rl_8, rl_9, rl_10, rl_11, rl_13, rlpt_1, rlpt_2, rlpt_3, rlpt_4).
MED	BROKEN_LINK	RL/README.md, table « Frontière » (lignes 91, 92, 93, 95)	3/3	4 liens supplémentaires dans la table « Frontière avec GenAI/PostTraining » pointent aussi vers des `.html` inexistants	Mêmes remplacements `.html` → `.ipynb` dans la table « Frontière » (rlpt_1, rlpt_2, rlpt_3, rlpt_4).

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	MISSING_PRESENTATION	Search-03e-AStar-Optimality.ipynb	3/3	Le notebook Search-03e-AStar-Optimality.ipynb n'est mentionné nulle part dans le README (ni dans la table des notebooks, ni dans la section Progression, ni dans Prérequis & environnement, ni dans Références).	Ajouter une ligne au tableau des notebooks (entre 3d et 4, par exemple `/ 3e / Search-03e-AStar-Optimality / Python 3 / ... / ~XX mi…
MED	MISSING_PRESENTATION	Search-11d-Descente-Sous-Budget.ipynb	3/3	Le notebook Search-11d-Descente-Sous-Budget.ipynb n'est mentionné nulle part dans le README (ni table, ni Progression, ni Prérequis).	Ajouter une ligne au tableau des notebooks (entre 11c et 12a, par exemple `/ 11d / Search-11d-Descente-Sous-Budget / Python 3 / …
MED	BROKEN_LINK	Search-01-StateSpace.html, Search-02-Uninformed.html, Search-02b-Netw…	3/3	11 liens relatifs du README pointent vers des fichiers .html qui n'existent pas sur disque (seuls les .ipynb sources sont présents).	Soit (a) remplacer chaque `[X](X.html)` par `[X](X.ipynb)` dans les lignes 35-68 du tableau et dans les liens images `[…](X.html)` (lignes 11, 173, 127, 181, 185, 189), …

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	BROKEN_LINK	README.md — liens internes vers les notebooks Part2-CSP et inter-Part…	3/3	Tous les liens relatifs du README pointent vers des cibles `.html` qui n'existent pas : les fichiers présents dans `MyIA.AI.Notebooks/Search/Part2-CSP/` ont l'extension `.ipynb`, et les fichiers `../Part1-Foundations/Search-0X-*.…	Remplacer `.html` par `.ipynb` dans toutes les cibles de liens du README (table `## Notebooks`, table `## Parité Python ⇄ .NET`, balises d'images en ligne 20/24/30/34/38…
LOW	STALE_STRUCTURE	README.md — table `## Parité Python ⇄ .NET`, ligne 84	3/3	La ligne 84 du tableau de parité utilise l'extension `.ipynb` pour `CSP-3-Advanced-CSharp` alors que les 8 autres lignes de la même colonne pointent vers des `.html` : incohérence au sein d'une même table.	Aligner sur le pattern majoritaire (`.html` comme les 8 autres lignes C#) ou bien convertir les 9 lignes C# en `.ipynb` une fois la décision de format de publication cla…

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
HIGH	DESCRIPTION_MISMATCH	Sudoku/README.md	2/3	README ligne 21 : « 17 C# + 19 Python + 1 Lean 4 = 37 notebooks canoniques ✓ »	Mettre à jour le décompte en prose : « 18 C# + 19 Python + 1 Lean 4 = 38 notebooks canoniques ✓ ». Aligner également la note éditoriale « 37 notebooks canoniques » (lign…
MED	DESCRIPTION_MISMATCH	Sudoku/README.md	3/3	README ligne 31 : « 1 notebook C# uniquement (0-Environment, classes de base) »	Remplacer « 1 notebook C# uniquement (0-Environment) » par « 2 notebooks C# uniquement (0-Environment, 12b-Linq2Z3) ».
MED	STALE_STRUCTURE	Sudoku/README.md	3/3	Table « Structure des Notebooks » (lignes 411-433) numérotée 0 à 18 sans ligne 12b	Ajouter une ligne 12b (Linq2Z3, C#-only) dans la table « Structure des Notebooks », ou bien renuméroter pour préserver la séquence visible.
LOW	STALE_STRUCTURE	Sudoku/README.md	3/3	Arbre « Structure des Fichiers » (lignes 634-717) omet le dossier `tests/`	Ajouter `tests/` à l'arborescence (au même niveau que `scripts/`), avec mention du fichier `test_thermal_safe_train.py`.
LOW	STALE_STRUCTURE	Sudoku/README.md	3/3	Note éditoriale ligne 25 référence « counts obsolètes `16 notebooks Python` (L605) » et « `16 solveurs` (L770) »	Re-ancher les numéros de ligne (« L605 » et « L770 ») après réconciliation du décompte Python (19), ou retirer les références de ligne et ne garder que le constat factue…

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
HIGH	DESCRIPTION_MISMATCH	Argument_Analysis_Ontology_AIF.ipynb	3/3	Le README décrit le modèle OWL d'Argumentum comme contenant 10 976 `NamedIndividual` + 1 305 `ClassAssertion` + 4 183 `ObjectPropertyAssertion`.	Aligner la ligne 216 sur le modèle post-#763 : remplacer « 10 976 `NamedIndividual` » par « 1 509 `owl:Class` (+ 4 classes AIF) », et « 4 183 `ObjectPropertyAssertion` »…
HIGH	DESCRIPTION_MISMATCH	Argument_Analysis_Ontology_CrossLinks.ipynb	3/3	Le README affirme que les colonnes `crossLink_*` du CSV sont « uniquement dans le CSV upstream — absentes de l'OWL » avec une couverture de 1,5 % (22 relations), et que les mappings AIF/Walton « sont absents de l'OWL ».	Actualiser les lignes 219-220 : remplacer « 1,5 % (22 relations) » par « 59,9 % (1 081 cellules / 844 sophismes) » ; remplacer « uniquement dans le CSV upstream — absent…
MED	DESCRIPTION_MISMATCH	Argumentation-02-Fallacies-Detection-Python.ipynb	3/3	Le README dit à 6 endroits que la taxonomie compte « 1406 nœuds ».	Remplacer « 1406 nœuds » par « 1408 nœuds » dans les 6 occurrences (lignes 70, 109, 179, 195, 377, 398).

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	STALE_STRUCTURE	Statut de maturité table (lignes ~220-279)	3/3	La table « Statut de maturité » omet les lignes pour Lean-33 (Distribution Spaces), Lean-34b (FairBot-Loeb) et Lean-37 (Capstone Serre100), qui sont pourtant tous décrits ailleurs dans le README (Partie 7, lignes 173/175/178). La…	Ajouter trois lignes à la table « Statut de maturité » : Lean-33 (Distribution Spaces), Lean-34b (FairBot-Loeb), Lean-37 (Capstone Serre100), avec les colonnes Cellules/…
MED	STALE_STRUCTURE	Table Partie 6 (ligne 148) vs table Partie 7 (ligne 154)	3/3	Deux notebooks distincts portent le même numéro de ligne « 18 » dans deux tables différentes : en Partie 6 (Recherche pondérée et optimalité A*) la ligne « 18 » pointe vers Search-03e-AStar-Optimality.ipynb (cross-série), tandis …	Soit renuméroter la ligne Search-03e dans Partie 6 avec un identifiant non-conflictuel (ex. « cross-ref » ou « A* »), soit préfixer le numéro dans la table Partie 6 par …

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	MISSING_PRESENTATION	SymbolicAI/Planners/01-Foundation/Planners-1-Introduction-Csharp.ipynb	3/3	Le README ne présente que les 3 notebooks Python (Planners-1, 2, 3) et ignore complètement les 3 jumeaux C# (Planners-1-Introduction-Csharp, Planners-2-PDDL-Basics-Csharp, Planners-3-State-Space-Csharp) qui existent dans le même …	Ajouter une mention explicite des jumeaux C# dans le tableau 'Notebooks' (ligne 28-32 du README), ou une section dédiée. Exemple : 'Les notebooks Planners-X-...-Csharp.i…
MED	MISSING_PRESENTATION	SymbolicAI/Planners/01-Foundation/Planners-2-PDDL-Basics-Csharp.ipynb	3/3	Même constat : le jumeau C# du notebook 2 (PDDL Basics) n'apparaît nulle part dans le README.	Même correction que ci-dessus : inclure le jumeau C# dans le tableau ou ajouter une section 'Variantes C#' couvrant les 3 fichiers.
MED	MISSING_PRESENTATION	SymbolicAI/Planners/01-Foundation/Planners-3-State-Space-Csharp.ipynb	3/3	Le jumeau C# du notebook 3 (State Space, BFS/DFS/Greedy/A*) n'apparaît nulle part dans le README.	Même correction : ajouter les 3 jumeaux C# dans la présentation du README.

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
LOW	MISSING_PRESENTATION	SymbolicAI/Planners/02-Classical/Planners-4-Fast-Downward-Csharp.ipynb	3/3	Le jumeau C# de Planners-4 n'apparaît ni dans la table des notebooks ni dans le texte.	Ajouter une ligne au tableau ou une phrase couvrant les jumeaux C# du marathon #4956 (par exemple « Variante C# : `Planners-4-Fast-Downward-Csharp.ipynb` »).
LOW	MISSING_PRESENTATION	SymbolicAI/Planners/02-Classical/Planners-5-Heuristics-Csharp.ipynb	3/3	Le jumeau C# de Planners-5 n'apparaît ni dans la table des notebooks ni dans le texte.	Ajouter une ligne au tableau ou une phrase couvrant les jumeaux C# du marathon #4956.
LOW	MISSING_PRESENTATION	SymbolicAI/Planners/02-Classical/Planners-6-Domains-Csharp.ipynb	3/3	Le jumeau C# de Planners-6 n'apparaît ni dans la table des notebooks ni dans le texte.	Ajouter une ligne au tableau ou une phrase couvrant les jumeaux C# du marathon #4956.

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
LOW	MISSING_PRESENTATION	Planners-7-OR-Tools-Csharp.ipynb	3/3	Le jumeau C# (.NET 9) de Planners-7-OR-Tools n'apparaît ni dans la table des notebooks ni ailleurs dans le README.	Ajouter une ligne ou une note explicite couvrant la variante C# (par exemple une mention « jumeau .NET 9 » sous la ligne 7 de la table, ou un sous-tableau « Variante C# …
LOW	MISSING_PRESENTATION	Planners-8-Temporal-Csharp.ipynb	3/3	Le jumeau C# (.NET Interactive) de Planners-8-Temporal n'apparaît ni dans la table des notebooks ni ailleurs dans le README.	Même correctif que pour Planners-7-OR-Tools-Csharp : lister la variante C# sous la ligne 8 de la table.
LOW	MISSING_PRESENTATION	Planners-9-HTN-Csharp.ipynb	3/3	Le jumeau C# (.NET Interactive) de Planners-9-HTN n'apparaît ni dans la table des notebooks ni ailleurs dans le README.	Même correctif : lister la variante C# sous la ligne 9 de la table.

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	DESCRIPTION_MISMATCH	line 221 (table Partie 3): "/ 10 / SW-10-Python-RDFStar / 40 min …	3/3	The README states that SW-10-Python-RDFStar has a duration of 40 minutes.	Update the README Partie 3 table to change "40 min" to "45 min" for SW-10-Python-RDFStar (and check line 219 for SW-9, which is 40 min and matches the notebook — only SW…
LOW	DESCRIPTION_MISMATCH	line 490 (Technologies et versions table): "/ dotNetRDF / 3.4.1 / SW-…	3/3	The README states that dotNetRDF version 3.4.1 is used across notebooks SW-1 through SW-7.	Update the README Technologies table to distinguish the versions per notebook family: "dotNetRDF3.2.1 / SW-3 à SW-5 / Core RDF/SPARQL en .NET (stable)" and "dotNetRDF3.4…

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	MISSING_PRESENTATION	SC-7b-ERC20-Lean-Verification-Companion.ipynb	3/3	Le notebook SC-7b (compagnon Lean de SC-7) est présent dans le dossier mais n'est mentionné nulle part dans le README.	Ajouter une ligne dédiée dans la table 'Notebooks' (lignes 20-27) ou une section 'Notebooks compagnons' décrivant SC-7b comme compagnon Lean de SC-7, avec une étape corr…
MED	MISSING_PRESENTATION	SC-7c-ERC20-Lean-Native-Companion.ipynb	3/3	Le notebook SC-7c (compagnon natif Lean via kernel lean4-wsl) est présent dans le dossier mais n'est mentionné nulle part dans le README.	Ajouter SC-7c dans la table 'Notebooks' avec un parcours reflétant la progression SC-7 → SC-7b → SC-7c, et mentionner explicitement le kernel lean4-wsl dans la configura…

Sév.	Type	Cible	Sceptiques	Constat	Correctif proposé
MED	DESCRIPTION_MISMATCH	SymbolicAI/SmartContracts/05-Alternative-Chains/SC-21-Move-Sui.ipynb	3/3	Le README annonce SC-21-Move-Sui à 40 min, alors que le notebook déclare lui-même "Durée estimée : 50 minutes" — décalage de 10 min qui touche aussi "Étape 4 : Move et Sui (SC-21, 40 min)".	Aligner le tableau de la ligne 25 et la section "Étape 4" sur la durée déclarée par le notebook (50 min), ou corriger le notebook si 40 min est la valeur canonique.
MED	DESCRIPTION_MISMATCH	SymbolicAI/SmartContracts/05-Alternative-Chains/SC-22-Solana-Anchor.i…	3/3	Le README annonce SC-22-Solana-Anchor à 45 min, alors que le notebook déclare lui-même "Durée estimée : 55 minutes" — décalage de 10 min qui touche aussi "Étape 5 : Solana et Anchor (SC-22, 45 min)".	Aligner le tableau de la ligne 26 et la section "Étape 5" sur la durée déclarée par le notebook (55 min), ou corriger le notebook si 45 min est la valeur canonique.

audit(readme): 55 écarts README / notebooks — Autres séries, 33 README (audit du 27/09) #18064

Description

Contexte

Comment prendre une tranche

Constats survivants, par README

GameTheory/README.md

IIT/ICT-Series/README.md

IIT/README.md

ML/DataScienceWithAgents/02-ML-Cours/README.md

ML/DataScienceWithAgents/04-Vision/README.md

ML/DataScienceWithAgents/Track1-LangChain/Day2-Document-Agents/Labs/Lab2-RFP-Analysis/README.md

ML/DataScienceWithAgents/Track1-LangChain/Day2-Document-Agents/Labs/Lab3-CV-Screening/README.md

ML/DataScienceWithAgents/Track1-LangChain/Day3-Data-Agents/Labs/Lab6-First-Agent/README.md

ML/ML.Net/README.md

Probas/Infer/README.md

RL/README.md

Search/Part1-Foundations/README.md

Search/Part2-CSP/README.md

Search/_archive/README.md

Sudoku/README.md

SymbolicAI/Argument_Analysis/README.md

SymbolicAI/Geometry/README.md

SymbolicAI/Lean/README.md

SymbolicAI/Lean/Serre100/README.md

SymbolicAI/Planners/01-Foundation/README.md

SymbolicAI/Planners/02-Classical/README.md

SymbolicAI/Planners/03-Advanced/README.md

SymbolicAI/Planners/04-NeuroSymbolic/README.md

SymbolicAI/SMT/Z3-API/README.md

SymbolicAI/SemanticWeb/README.md

SymbolicAI/SmartContracts/02-Solidity-Advanced/README.md

SymbolicAI/SmartContracts/03-Foundry-Testing/README.md

SymbolicAI/SmartContracts/04-Privacy-Cryptography/README.md

SymbolicAI/SmartContracts/05-Alternative-Chains/README.md

SymbolicAI/SmartContracts/06-Real-World/README.md

SymbolicAI/SymbolicLearning/README.md

SymbolicAI/SymbolicLearning/_archive/2026-07-04-Neurosymbolic-EML-precurseur-SL12/README.md

SymbolicAI/Tweety/README.md

Traçabilité

Activity

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions

`GameTheory/README.md`

`IIT/ICT-Series/README.md`

`IIT/README.md`

`ML/DataScienceWithAgents/02-ML-Cours/README.md`

`ML/DataScienceWithAgents/04-Vision/README.md`

`ML/DataScienceWithAgents/Track1-LangChain/Day2-Document-Agents/Labs/Lab2-RFP-Analysis/README.md`

`ML/DataScienceWithAgents/Track1-LangChain/Day2-Document-Agents/Labs/Lab3-CV-Screening/README.md`

`ML/DataScienceWithAgents/Track1-LangChain/Day3-Data-Agents/Labs/Lab6-First-Agent/README.md`

`ML/ML.Net/README.md`

`Probas/Infer/README.md`

`RL/README.md`

`Search/Part1-Foundations/README.md`

`Search/Part2-CSP/README.md`

`Search/_archive/README.md`

`Sudoku/README.md`

`SymbolicAI/Argument_Analysis/README.md`

`SymbolicAI/Geometry/README.md`

`SymbolicAI/Lean/README.md`

`SymbolicAI/Lean/Serre100/README.md`

`SymbolicAI/Planners/01-Foundation/README.md`

`SymbolicAI/Planners/02-Classical/README.md`

`SymbolicAI/Planners/03-Advanced/README.md`

`SymbolicAI/Planners/04-NeuroSymbolic/README.md`

`SymbolicAI/SMT/Z3-API/README.md`

`SymbolicAI/SemanticWeb/README.md`

`SymbolicAI/SmartContracts/02-Solidity-Advanced/README.md`

`SymbolicAI/SmartContracts/03-Foundry-Testing/README.md`

`SymbolicAI/SmartContracts/04-Privacy-Cryptography/README.md`

`SymbolicAI/SmartContracts/05-Alternative-Chains/README.md`

`SymbolicAI/SmartContracts/06-Real-World/README.md`

`SymbolicAI/SymbolicLearning/README.md`

`SymbolicAI/SymbolicLearning/_archive/2026-07-04-Neurosymbolic-EML-precurseur-SL12/README.md`

`SymbolicAI/Tweety/README.md`