Skip to content

audit(notebooks): 46 constats d'ordre code / interprétation confirmés par 3 sceptiques, 17 séries (audit du 27/09) #18053

Open
Open
audit(notebooks): 46 constats d'ordre code / interprétation confirmés par 3 sceptiques, 17 séries (audit du 27/09)#18053

Description

@myia-ai-01
myia-ai-01
opened on Sep 27, 2026

Contexte

Audit du 27/09 sur l'ordre code / interprétation des cellules. Le point de départ est l'organe scripts/notebook_tools/scan_cell_ordering.py --all --severity LOW --check-interp-anchor --check-interp-semantic, qui rend 115 constats de sévérité MED sur 86 notebooks.

Chaque constat a été jugé par un agent qui lisait les cellules voisines et leurs sorties. Ceux jugés réels sont ensuite passés devant 3 sceptiques chargés de les réfuter. Résultat : 70 faux positifs, 62 réels au premier jugement, dont 46 survivent (au moins 2 sceptiques sur 3 confirment). Précision mesurée de l'organe à ce seuil : 46/115, soit environ 40 %.

Un constat d'audit se re-vérifie avant tout correctif (.claude/rules/audit-reassessment.md et cell-interpretation-ordering.md) : lire la cellule et la sortie qu'elle commente, à main. La colonne « constat » décrit ce que l'audit a lu, elle ne remplace pas la lecture.

Comment prendre une tranche

  • Une PR par série, claim scopé : [CLAIMED] lane <machine:workspace> -- paths: MyIA.AI.Notebooks/<série>/**.
  • Correctif attendu : déplacer la cellule d'interprétation juste après le code qu'elle commente, ou la réécrire si elle annonce une valeur que le code ne produit pas encore. Markdown seul en général, donc pas de ré-exécution sauf si une cellule de code change (C.2 et C.3).
  • Pour chaque ligne, écrire dans le body de la PR : CONFIRMED (corrigé) ou FALSE POSITIVE (motif). Les faux positifs restent précieux : ils mesurent l'organe.

Constats survivants, par série

GameTheory (2)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
GameTheory/GameTheory-08c-CombinatorialGames-Python.ipynb 34 DANGLING_INTRO 2/3 Annonce "la fonction ci-dessous le visualise sur la tablette" — la fonction visualize_chomp declaree est en cellule [36], pas dans la cellule immediatement suivante [35] qui est une interpretation markdown ; l'intro pointe vers du code qui n'est pas juste apr… Reecrire la premiere phrase de la cellule [34] pour ne plus annoncer "la fonction ci-dessous" (qui n'est pas la cellule suivante), ou deplacer la cellule [35] apres la cellule [36] pour que l'intro p…
GameTheory/GameTheory-18-Open-Games-et-Lentilles.ipynb 11 DANGLING_INTRO 2/3 Cellule principalement une LECTURE (interprétation) de la sortie de la cellule code [10] (les 3 lignes x=-1.0 -> G1.forward=+0.0 -> G_compose.forward=+0.0 etc.). Le corps de l'interprétation est bien placé après la cellule [10] qu'il commente. Le défaut est… Remplacer la dernière phrase de la cellule [11] (à partir de « la propriete de Hedges que la cellule suivante verifie sur le cas temoin ») par une formule qui ne fait plus de promesse vers une cellul…

GenAI/Audio (8)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
GenAI/Audio/01-Foundation/01-1-OpenAI-TTS-Intro.ipynb 30 INTERP_BEFORE_CODE 3/3 Interprete les 'Resultats session' (fichiers audio, taille totale, duree) que la cellule code [31] 'Statistiques de session et prochaines etapes' produit juste apres. Un etudiant lisant de haut en bas voit l'interpretation avant le code qui engendre les valeu… Deplacer la cellule [30] apres la cellule [31] (apres son output). Profiter du deplacement pour actualiser les valeurs citees dans [30] qui ne correspondent plus a l'output reel de [31].
GenAI/Audio/01-Foundation/01-5-Kokoro-TTS-Local.ipynb 33 INTERP_BEFORE_CODE 3/3 La cellule [33] interpretie les statistiques de session (VRAM 0.00 GB, fichiers sauvegardes dans outputs/audio/kokoro/, ratio temps reel 2.0x CPU) qui sont produites par la cellule code [34] suivante. Deplacer la cellule [33] apres la cellule [34] (apres l'output des statistiques de session).
GenAI/Audio/02-Advanced/02-2-XTTS-Voice-Cloning.ipynb 31 DANGLING_INTRO 3/3 Cellule [31] annonce que la cellule suivante va "recapitule[r] les metriques de session et libere[r] la memoire GPU utilisee par XTTS v2" - elle pointe vers le code de statistiques de session (present en cellule [33]) qui imprime "STATISTIQUES DE SESSION", af… Deplacer la cellule [32] (Considerations ethiques et bonnes pratiques) apres la cellule [33] (Statistiques de session et prochaines etapes) - l'ordre logique devient : mode interactif [30] -> transit…
GenAI/Audio/02-Advanced/02-3-MusicGen-Generation.ipynb 4 DANGLING_INTRO 2/3 Annonce "La cellule suivante configure l'environnement et verifie la VRAM disponible" — mais la cellule suivante (5) est une section markdown "## Introduction a MusicGen" (theorie). Le code de setup qui correspond a l'annonce est en cellule 6, deux cellules p… Deplacer la cellule [4] apres la cellule [5] (juste avant la cellule code [6]) afin qu'elle precede directement le setup qui configure l'environnement et verifie la VRAM.
GenAI/Audio/02-Advanced/02-3-MusicGen-Generation.ipynb 35 DANGLING_INTRO 2/3 Annonce "La cellule suivante recapitule les résultats de la session et libere la VRAM occupee par MusicGen" — mais la cellule suivante (36) est une section markdown "## Bonnes pratiques et guide de generation". Le code de recap+VRAM est en cellule 37, deux ce… Deplacer la cellule [35] apres la cellule [36] (juste avant la cellule code [37]) afin qu'elle precede directement les statistiques de session et la liberation VRAM.
GenAI/Audio/04-Applications/04-3-Music-Composition-Workflow.ipynb 25 DANGLING_INTRO 3/3 Annonce "La cellule suivante implemente ces effets de maniere simplifiee avec Python pur et scipy" — pointe vers la cellule qui implemente reverb/EQ, mais la cellule suivante (26) est en realite un exercice, pas le code des effets (qui a deja ete execute en c… Deplacer la cellule [25] (Theorie des effets audio) immediatement apres la cellule [22] (Section 4 intro) et avant la cellule [23] (CODE effets), ou bien supprimer la phrase "La cellule suivante impl…
GenAI/Audio/04-Applications/04-4-Audio-Video-Sync.ipynb 11 DANGLING_INTRO 3/3 Announces "Le code suivant créé une video de test avec 3 segments colores." but the code (cell 10, creating the test video with 3 colored segments) is already above — cell 10 was executed (exec=5) with output showing "Segments : 3". The cell that follows (12)… Move cell [11] before cell [10] (the moviepy theory belongs before the code that uses it), and rewrite the trailing sentence from "Le code suivant créé..." to refer to the now-following code.
GenAI/Audio/04-Applications/04-4-Audio-Video-Sync.ipynb 21 DANGLING_INTRO 3/3 Announces "Le code suivant implemente la stratégie 'troncation + fade out' pour gerer les depassements." but the troncation+fade out code is already in cell 20 (lines "if len(audio) > target_ms: audio = audio[:target_ms].fade_out(200)") which was executed (ex… Move cell [21] before cell [20] (the timeline concept belongs before the alignment code that implements it), and rewrite the trailing sentence to refer to the now-following code.

GenAI/Image (3)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
GenAI/Image/01-Foundation/01-3-Basic-Image-Operations.ipynb 3 DANGLING_INTRO 3/3 La cellule [3] annonce que la cellule suivante initialise l'environnement Python (imports Pillow/NumPy/Matplotlib). Or la cellule immédiatement suivante [4] est un autre bloc markdown (introduction au rôle de ce notebook dans la série), et le code d'initialis… Reformuler la première phrase de la cellule [3] : remplacer "La cellule suivante initialise l'environnement Python en important les biblioth" par "Les cellules suivantes initialisent l'environnement…
GenAI/Image/02-Advanced/02-2-FLUX-1-Advanced-Generation.ipynb 6 DANGLING_INTRO 2/3 Annonce la cellule suivante comme detectant GPU + chargement Diffusers. Mais la cellule 7 (suivante immediate) est une markdown "Lecture" interpretant la sortie GPU; le code detectant GPU est en cellule 8. Deplacer la cellule 7 apres la cellule 8 (swap 7 et 8). Apres swap : cellule 6 (annonce) -> cellule 7 (code detection GPU, ex-8) -> cellule 8 (Lecture, ex-7). La cellule 6 precede alors bien le code…
GenAI/Image/02-Advanced/02-2-FLUX-1-Advanced-Generation.ipynb 9 DANGLING_INTRO 2/3 Annonce la cellule suivante comme definissant la classe FluxAPI/FluxClient. Mais la cellule 10 (suivante immediate) est une markdown "Lecture complementaire" interpretant la sortie de la cellule 8; le code FluxClient est en cellule 11. Swap des cellules 9 et 10. Apres swap : cellule 9 (Lecture sur sortie cell 8, ex-10) -> cellule 10 (annonce FluxClient, ex-9) -> cellule 11 (code FluxClient). La cellule 10 precede alors bien le code…

GenAI/Texte (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
GenAI/Texte/09b_Prompt_Security_RedTeam.ipynb 21 DANGLING_INTRO 2/3 Le markdown [21] ("### Lecture du résultat (défense 2)") interprète la sortie du code [20] (filtrage de sortie) puis annonce explicitement : "La cellule suivante formalise cela en test de non-régression." Mais la cellule suivante [22] est un titre markdown "#… Reformuler la dernière phrase de la cellule [21] : remplacer "La cellule suivante formalise cela en test de non-régression" par une introduction qui annonce la suite du parcours (par ex. "Le tableau…

GenAI/Vibe-Coding (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
GenAI/Vibe-Coding/Claude-Code/notebooks/01-Claude-CLI-Bases.ipynb 21 DANGLING_INTRO 3/3 Cellule markdown qui interprète la sortie JSON de la cellule code [20] (cite les champs type: result, subtype: success, session_id, total_cost_usd, usage, result) et annonce que le piège du parsing markdown est "documenté dans la cellule suivante"… Soit ajouter une cellule code après [21] (avant [22]) qui démontre concrètement le fix de parsing (ex: import re; match = re.search(r'\[.*\]', result, re.DOTALL); print(json.loads(match.group()))),…

IIT (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
IIT/IIT-01-IntroToPyPhi.ipynb 32 INTERP_BEFORE_CODE 3/3 La cellule d'interpretation commente la sortie de la cellule code [33] qui suit immediatement : elle decrit "10 liens causaux irreductibles, tous avec une force alpha = 1.0" et explique que le reseau XOR deterministe sature toutes les forces. La sortie de [33… Deplacer la cellule [32] apres la cellule [33] (juste avant la cellule [34] qui introduit le reseau probabiliste noisy-AND). L'interpretation doit suivre la sortie, pas la preceder.

Probas/DecisionTheory (3)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
Probas/DecisionTheory/Causal-Bridges/CausalBridges-04-Dowhy-Decouverte-Structure.ipynb 13 DANGLING_INTRO 2/3 Annonce du code qui montre les effets 0.81 / 0.22 / 1.05 ("La cellule suivante le paie cash : selon l'extension choisie, l'effet de X sur Y vaut 0.81, 0.22 ou 1.05"). Le code promis est en realite la cellule [23] ("Trois extensions valides du meme CPDAG, troi… Reformuler la derniere phrase pour ne plus promettre un code immediat : remplacer "La cellule suivante le paie cash : selon l'extension choisie, l'effet de X sur Y vaut 0.81, 0.22 ou 1.05 — trois rep…
Probas/DecisionTheory/DecInfer/DecInfer-05-Decision-Networks.ipynb 10 DANGLING_INTRO 3/3 La cellule [10] (markdown) annonce le code de comparaison de scénarios informationnels ("La cellule suivante illustre concretement l'impact des arcs informationnels..."). Or la cellule [11] qui suit immédiatement est un markdown ouvrant la nouvelle section "#… Déplacer la cellule [10] entre [11] et [12] (immédiatement avant le code) — l'ordre logique devient alors : interprétation de [9], titre de section [11], introductive [10], code [12]. Le texte "La ce…
Probas/DecisionTheory/DecInfer/DecInfer-05-Decision-Networks.ipynb 13 DANGLING_INTRO 3/3 La cellule [13] (markdown) annonce le code qui implémente la classe SimpleDecisionNetwork pour le diagnostic médical par backward induction ("La cellule suivante implemente une classe SimpleDecisionNetwork qui resout le problème de diagnostic medical par… Déplacer la cellule [13] immédiatement avant la cellule [17] (le code SimpleDecisionNetwork). Conséquence sur [16] (qui annonce "problème d'investissement" mais pointe vers le même code [17] = diag…

Probas/PyMC (4)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
Probas/PyMC/PyMC-04-Bayesian-Networks.ipynb 19 INTERP_BEFORE_CODE 2/3 Cellule code [20] (Inference avec observation WetGrass = True) — la markdown cite les valeurs de sortie verbatim (« P(Sprinkler=1 / WetGrass=1) = 0.429 », « P(Rain=1 / WetGrass=1) = 0.707 », « P(Cloudy=1 / WetGrass=1) = 0.575 ») et la section « Lecture » inte… Deplacer la totalite de la cellule [19] apres la cellule [20] (apres le bloc Sortie verbatim qui contient deja les valeurs). Laisser en place uniquement la phrase d'introduction « On observe que l'he…
Probas/PyMC/PyMC-11-Topic-Models.ipynb 3 DANGLING_INTRO 3/3 Le markdown contient une théorie LDA (variables latentes, inférence) puis un recap "Verbatim code[0] : setup PyMC" annonçant "La cellule suivante charge PyMC 5.28.5 et filtre les warnings de deprecation arviz et pytensor". Mais code[0] est la cellule [2] qui… Supprimer la phrase "La cellule suivante charge PyMC 5.28.5 et filtre les warnings..." et la reformuler en un recap pointant vers la cellule déjà exécutée ci-dessus, par exemple : "La cellule ci-dess…
Probas/PyMC/PyMC-11-Topic-Models.ipynb 8 DANGLING_INTRO 3/3 Le markdown "### Representation bag-of-words" annonce "La cellule suivante construit la matrice bag-of-words (comptes absolus par document et par mot), qui sera l'observation directe du modèle LDA". Mais la cellule suivante [9] est aussi du markdown (interpré… Fusionner les cellules [8] et [9] en une seule cellule markdown qui sert à la fois de recap des documents générés par code[1] (cell [7]) et d'introduction au code BoW suivant. La phrase "La cellule s…
Probas/PyMC/PyMC-11-Topic-Models.ipynb 14 DANGLING_INTRO 3/3 Le markdown "### Interpretation de l'echantillonnage avec priors symetriques" interprète les résultats du sampler ("En sortie, les trois sujets presentent des distributions de mots quasi-identiques, avec les memes mots dominants (atome, recette, four) dans de… Déplacer la cellule [14] après la cellule [16] (après le code qui produit les distributions). La phrase "La cellule suivante affiche les distributions estimees" sera supprimée ou reformulée en "Le co…

QuantConnect (6)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
QuantConnect/ML-Training-Pipeline/hmm_alpha_research.ipynb 52 DANGLING_INTRO 3/3 Annonce que « La cellule suivante regroupe les verdicts des trois configurations (2, 3 et 4 états) et calcule l'edge cross-seed ». Or la cellule 54 (immédiatement après 53 qui est un sous-titre) est un stub d'exercice sur les coûts de transaction, et la compu… Déplacer la cellule 55 (CODE compute_verdict + appels v2 = compute_verdict(wf_2s, ...), v3 = ..., v4 = ...) juste après la cellule 52 et avant la cellule 53 (Exercice 3), de sorte que la prom…
QuantConnect/Python/QC-Py-24-Autoencoders-Anomaly.ipynb 9 DANGLING_INTRO 2/3 Cellule [9] (markdown "Interprétation : Features engineered pour la détection") interprète principalement la cellule [8] précédente (12 features, stationnarité, multi-horizon, normalisation). Mais sa dernière phrase annonce aussi du code à venir : "La découpe… Reformuler la phrase finale en indiquant que le découpage interviendra "quelques cellules plus loin, après l'instanciation du modèle" — ou supprimer la mention "présentée dans la cellule suivante" qu…
QuantConnect/Python/QC-Py-31-Transformer-Training.ipynb 47 DANGLING_INTRO 3/3 Cellule markdown annoncant "Le code suivant est une reference a copier dans main.py d'un projet QC Lab" mais aucune cellule de code ne suit : [48] est markdown ("Interpretation : Integration QuantConnect"), [49] est markdown (separateur Section 14). Le code… Ajouter une cellule CODE entre [48] et [49] (ou entre [47] et [48]) contenant le code reference main.py QC Lab (chargement ObjectStore, PositionalEncoding, TransformerPredictor, TransformerAlphaMod…
QuantConnect/Python/QC-Py-32-RL-DQN-Trading.ipynb 35 INTERP_BEFORE_CODE 2/3 Cellule markdown titree "### Interpretation" qui commente les metriques du checkpoint (Sharpe 1,528, retour +5 406,52 %, MaxDD -78,02 %, distribution d'actions Hold 1 972 / Buy 5 411 / Sell 3 884 / Close 13) ET la figure de drawdown. Elle est placee entre la… Deplacer la cellule [35] apres la cellule [36] (apres le code de visualisation et son output), pour que l'interpretation suive la fois les chiffres affiches en [33] et la figure produite en [36]. Ren…
QuantConnect/Python/QC-Py-33-RL-PPO-Trading.ipynb 17 DANGLING_INTRO 3/3 Cellule markdown hybride : (a) interprétation de l'output de la cellule code [16] (décomposition 90→256→128+128, 156 549 paramètres, base partagée Actor-Critic) ; (b) fin qui annonce « le terme value_coef de la cellule suivante vient équilibrer » le couplag… Séparer la cellule [17] en deux : (1) conserver dans [17] uniquement l'interprétation de l'output de [16] (décomposition 156 549, base partagée, sur-apprentissage, différence avec DQN) en supprimant…
QuantConnect/Python/QC-Py-Cloud-05-MLP-Forecasting.ipynb 5 DANGLING_INTRO 3/3 Cell [5] annonce le code source de l'algorithme par « Le code source complet est prêt au déploiement — c'est l'objet de la cellule suivante. » Or la cellule suivante (cell [6]) est la consigne markdown de l'Exercice 2, pas le code source. La cellule de code a… Séparer la cell [5] en deux : (a) garder la sous-section « Lecture de la demonstration » (interprétation correcte de la sortie de cell [2]) en cell [5] ; (b) déplacer l'introduction de la Partie 2 (i…

RL (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
RL/rl_16_dream_rsi.ipynb 18 INTERP_BEFORE_CODE 3/3 Cellule markdown titrée "### Lecture du résultat (les chiffres ci-dessus sont ceux de l'exécution)" qui interprète la sortie de la cellule code [19] (vérification de la garantie d'incumbent sur le pool accumulé), située juste après elle. Le titre annonce "les… Déplacer la cellule [18] après la cellule [19] (la placer entre [19] CODE et [20] MARKDOWN). La cellule aura alors accès à toutes les valeurs qu'elle cite (trajectoire 23.04→24.00→23.95 depuis [16],…

Sudoku (2)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
Sudoku/Sudoku-05-PSO-Csharp.ipynb 41 INTERP_BEFORE_CODE 3/3 Cellule [41] interprète les résultats de la cellule code [42] qui suit : elle cite « la chaîne d'instance imprimée ci-dessus » (produite par Console.WriteLine($"Instance...") en cellule [42]), les « 5 à 10 conflits résiduels » et « seed 99 » (produits par l… Déplacer la cellule [41] après la cellule [42] (juste avant la cellule [43] qui introduit la Tranche 5) — l'interprétation devient alors une cellule de bilan placée après l'output qu'elle commente, c…
Sudoku/Sudoku-15-Infer-Csharp.ipynb 24 INTERP_BEFORE_CODE 3/3 Interprétation substantive de la sortie de cell [25] (IterativeProbabilisticSolver sur 2 Easy Sudokus) — table de valeurs observées et note méthodologique qui annonce explicitement la mesure à venir (2150 itérations). Déplacer cell [24] après cell [25]. Ordre cible : cell [23] (#### Test sur un Sudoku simple) → cell [25] (CODE) → cell [24] (interprétation).

SymbolicAI/Argument_Analysis (2)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
SymbolicAI/Argument_Analysis/Argument_Analysis_Agentic-0-init_agent.ipynb 10 DANGLING_INTRO 3/3 Annonce le code de démarrage JVM/JPype : « La cellule suivante tentera de démarrer la JVM via jpype ». Or la cellule suivante (11) est un autre markdown (« Pourquoi Java/Tweety est nécessaire ? ») qui annonce lui-même le même code (« La cellule suivante ten… Fusionner les cellules [10] et [11] en une seule cellule markdown introductive de [12] (la sous-section « Pourquoi Java/Tweety » peut devenir un sous-titre ou paragraphe à l'intérieur de la section 2…
SymbolicAI/Argument_Analysis/Argumentation-08b-Executor-Python.ipynb 8 DANGLING_INTRO 2/3 Cellule markdown "Modes d'exécution: Batch vs Interactif". Sa note technique finale annonce que le texte d'exemple enrichi est "défini dans la cellule suivante", mais la cellule suivante (9) est un markdown d'exercice et non du code. Le code qui définit `TEXT… Reformuler la dernière phrase : remplacer "défini dans la cellule suivante" par "défini plus loin dans ce notebook (cellule de configuration du texte, voir l'exercice 1 puis la cellule TEXTE_EXEMPLE_…

SymbolicAI/Lean (3)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
SymbolicAI/Lean/Lean-1-Setup.ipynb 2 DANGLING_INTRO 3/3 Cellule [2] est un markdown qui se termine par « Executez la cellule suivante pour diagnostiquer votre environnement : » — elle annonce du code, mais la cellule immédiatement suivante [3] est aussi du markdown (### Plateformes supportées, qui répète d'ailleur… Fusionner les cellules [2] et [3] en une seule intro (garder la section « Composants requis » + « Plateformes supportées » + la phrase « Executez la cellule de diagnostic ci-dessous pour identifier v…
SymbolicAI/Lean/Lean-17b-Knots-Invariants-Companion.ipynb 13 INTERP_BEFORE_CODE 3/3 Interprets the g_4 slice genus table produced by cell [14], naming specific values (trefoil g_4=1, figure-eight g_4=0, Conway g_4=1, K-T g_4=0, Piccirillo 2020 result) that the code cell generates via slice_genus_data Move cell [13] after cell [14] (i.e. after the slice genus table code+output), so the interpretation follows the table it describes
SymbolicAI/Lean/Lean-7b-Examples.ipynb 21 INTERP_BEFORE_CODE 3/3 Cellule d'interprétation qui décrit la fonction correction_loop_solution (prompt de correction itératif en 4 parties, test d'une preuve by rfl, mention de LeanCopilot/AlphaProof/APOLLO). Aucune cellule code de ce notebook ne définit `correction_loop_solut… Supprimer la cellule [21] (interprétation orpheline d'une fonction qui n'existe pas dans le notebook). Si l'intention pédagogique est d'illustrer la solution du stub correction_loop de la cellule […

SymbolicAI/Planners (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
SymbolicAI/Planners/04-NeuroSymbolic/Planners-11-Unified-Planning.ipynb 24 INTERP_BEFORE_CODE 3/3 Interprets the output of cell [25] (display_comparison_table) — quotes "Plus rapide : pyperplan (0.018s)", "Plan le plus court : ex aequo (6 actions pour les deux)" which are produced by cell [25]'s display_comparison_table execution. Move cell [24] after cell [25] (e.g., insert between [25] and [26], or merge its content into cell [26]/[27] which also interpret cell [25]'s output). This also restores the intro->code flow announce…

SymbolicAI/SemanticWeb (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
SymbolicAI/SemanticWeb/RDF.Net-Legacy/RDF.Net.ipynb 166 DANGLING_INTRO 3/3 Markdown cell 166 contains "> Note : La cellule suivante necessite un fichier Ontology.rdf d'exemple (absent dans le notebook vierge)." It warns the reader the next code cell needs an external ontology file. But the next cell is cell 167 (markdown sub-h… Delete the misleading "Note" from cell 166. Replace with a forward pointer that matches what actually follows: "Avec les API standard : la cellule suivante (apres une courte transition) montre co…

SymbolicAI/SmartContracts (2)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
SymbolicAI/SmartContracts/06-Real-World/SC-25-Mainnet-Deploy.ipynb 7 INTERP_BEFORE_CODE 3/3 Cellule [8] (code d'estimation du coût de déploiement) ; sortie observée « Configurez DEPLOYER_PRIVATE_KEY dans .env » Déplacer la cellule [7] après la cellule [8] (juste après la sortie du code d'estimation), pour que le markdown lise l'output existant.
SymbolicAI/SmartContracts/06-Real-World/SC-25-Mainnet-Deploy.ipynb 11 INTERP_BEFORE_CODE 3/3 Cellule [15] (code de déploiement mainnet) ; sortie observée « Deploiement non disponible (cle/connexion manquante) » Déplacer la cellule [11] après la cellule [15], pour qu'elle lise effectivement la sortie du déploiement mainnet (et non celle du code de compilation [12] qui produit « Compile: :SimpleStorage…

SymbolicAI/Tweety (1)

Notebook Cellule Catégorie Sceptiques Constat Correctif proposé
SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation.ipynb 6 DANGLING_INTRO 3/3 La cellule [6] interprète la sortie du code AF1 en annonçant « dans la sortie de la cellule suivante, {a1} figure parmi les extensions admissibles d'AF1 » — elle référence donc un output de code (les extensions admissibles {a1,c1}, {b1}, {}, {a1}) qui n'e… Scinder la cellule [6] en deux : (a) garder la théorie sur la fonction caractéristique F et le lemme fondamental de Dung à sa place actuelle (entre [5] et [7], comme préparation conceptuelle) ; (b) d…

Notebooks archivés (4) — ne pas corriger sans décision

Ils vivent sous _archive/ (convention docs/reference/_archive-convention.md). Ils sont listés pour mémoire.

  • SymbolicAI/Planners/_archive/Fast-Downward-Legacy.ipynb cellule 18 (DANGLING_INTRO, 3/3)
  • SymbolicAI/Planners/_archive/Fast-Downward-Legacy.ipynb cellule 28 (DANGLING_INTRO, 3/3)
  • SymbolicAI/Planners/_archive/Fast-Downward-Legacy.ipynb cellule 32 (DANGLING_INTRO, 3/3)
  • SymbolicAI/Planners/_archive/Fast-Downward-Legacy.ipynb cellule 40 (DANGLING_INTRO, 3/3)

Critère de fermeture

Chaque ligne hors archive porte une PR mergée qui la corrige, ou un verdict FALSE POSITIVE écrit. Le rejeu de scan_cell_ordering.py sur les notebooks traités ne doit plus rendre ces constats, sauf les faux positifs déclarés.

Activity

  1. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/GenAI/Audio/** -- tranche Audio (8 constats) du dispatch ai-01 15:24Z. Cycle 2026-09-27.

  2. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [INFO] Interaction mesuree : le reordonnancement de cellules re-arme le gate bloquant prose-counts sur des compteurs pre-existants

    Trouve en livrant mes deux tranches de cet audit (GenAI/Audio PR #18073, GenAI/Image PR #18075). A l'attention des lanes qui traiteront les autres series — c'est un effet de bord du geste que l'audit demande, pas un defaut de vos PRs.

    Le mecanisme. git diff traite une cellule deplacee comme supprimee puis ajoutee. Tout compteur quantitatif en prose qu'elle portait devient donc une ligne ajoutee, et scripts/notebook_tools/check_prose_quantitative_claims.py — bloquant sur les lignes ajoutees depuis #17636, sans waiver — rougit la PR, puis PR gate avec elle. Une PR dont le seul changement est l'ordre des cellules peut donc echouer au gate sur un compteur qui etait sur main avant elle.

    Mesure (2026-09-27, deux PR, deux series, ma lane).

    PR Compteur signale Present sur main avant la PR ?
    #18073 (GenAI/Audio/01-1) 12 fichiers oui — la cellule a seulement ete deplacee
    #18049 (GenAI/PostTraining/PT_17) 2 lignes oui — apparu avec la reecriture du cadrage

    Les deux ont ete reparees en supprimant la mesure et en gardant le predicat (le detail chiffre survit dans le tableau de donnees de la meme cellule, qui se recalcule a l'execution) : [OK] aucun compteur quantitatif en prose. sur les deux branches.

    Ce que ca implique pour les tranches restantes. Un reordonnancement de cellules ne se valide pas seulement par l'invariant « ordre des cellules de code identique, execution_count/outputs inchanges » — qui dispense bien de re-executer (C.2/C.3). Il faut en plus passer l'organe :

    python scripts/notebook_tools/check_prose_quantitative_claims.py --diff origin/main...HEAD

    apres commit — --diff lit les commits, pas l'arbre de travail, donc une correction non commitee passe inapercue. Et reformuler la ligne concernee dans le meme geste que le deplacement, en supprimant le nombre plutot qu'en le mettant en mots (deux lignes garderait la derive hors du champ du scanner).

    Deux pieges de plus, mesures sur ces memes PRs (utiles si vous ecrivez un writer de notebook) :

    • Le writer JSON ne se postule pas, il se sonde : sort_keys (True sur GenAI/Audio, False sur GenAI/PostTraining), fin de ligne (LF sur Audio, CRLF sur PT_17) et saut de ligne final varient d'un fichier a l'autre dans le meme depot.
    • Les notebooks de l'audit melangent nbformat_minor: 4 et 5, et certaines cellules n'ont pas d'id malgre un minor 5 : comparer les multiensembles de cellules plutot que des cles indexees, sinon un echange de deux cellules fait croire a une difference de contenu.

  3. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [CLAIMED] lane myia-po-2024:CoursIA-2 -- paths: MyIA.AI.Notebooks/SymbolicAI/Planners/04-NeuroSymbolic/Planners-11-Unified-Planning.ipynb -- tranche Planners-11, constat cellule 24; audit à re-vérifier avant correction.

  4. jsboige
    added 3 commits that reference this issue on Sep 27, 2026

    fix(genai-image,#18053): fusionner les deux lectures de la sortie GPU

    25ca019

    fix(genai-image,#18053): retirer la lecture GPU dupliquee

    dc46928

    fix(genai-audio,#18053): le separateur ferme le bloc d'interpretation

    f310806

  5. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    Grain: MED/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: LIGHT/tooling #18037

    [CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-05-Decision-Networks.ipynb, MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/CausalBridges-04-Dowhy-Decouverte-Structure.ipynb -- tranche Probas/DecisionTheory (3 constats, 2 carnets) : ordre code / interpretation.

    Tranche prise apres GameTheory, dont le scope est touche par une PR de renommage ouverte (#18001, 93 carnets) : le claim y est bloque, et je n edite pas ces carnets sous une reecriture en cours.

  6. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [INFO] Tranche Probas/DecisionTheory livree : PR 18103.

    3 constats de la liste, 2 carnets (CausalBridges-04, DecInfer-05), tous CONFIRMED apres re-verification sur main — aucun faux positif dans cette tranche.

    • CausalBridges-04 [13] : la lecture est bien placee (elle commente le code [12] au-dessus) ; seule sa derniere phrase promettait un code « suivant » qui vit six cellules plus loin. Phrase corrigee, aucun deplacement.
    • DecInfer-05 [10] et [13] : les deux annonces etaient separees de leur code par un titre de section. Deplacees juste avant.
    • DecInfer-05 [16] et [20] : consequence annoncee par la ligne [13] elle-meme — les deux annonces etaient cross-placees ([16] devant le code du diagnostic medical, [20] dans la section 5 alors qu'elle annonce la section 6). Les deux rejoignent leur code.

    Aucune cellule de code modifiee (invariant verifie sur source + execution_count + outputs) : pas de re-execution due. Organes verts : split-reading 0 en regression, interp-positioning 0, exec-sequence 31/31 CLEAN, cell-source-parses 0, prose-counts OK.

    Reste dans #18053 : la tranche Probas/PyMC (4 constats) et les autres series.

  7. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [CLAIMED-AMEND] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/Probas/PyMC/PyMC-04-Bayesian-Networks.ipynb, MyIA.AI.Notebooks/Probas/PyMC/PyMC-11-Topic-Models.ipynb

    Tranche Probas/PyMC de #18053 (4 constats, 2 carnets). La tranche precedente (DecisionTheory) est livree : PR 18103 — le scope ci-dessus la remplace.

  8. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [INFO] Tranche Probas/PyMC livree — PR #18106

    Quatre constats de l'issue sur Probas/PyMC/, tous CONFIRMED sur main apres re-verification cellule par cellule. Aucun FALSE POSITIVE sur cette tranche.

    • PyMC-04-Bayesian-Networks.ipynb ligne 19 : la lecture de la sortie de code[20] (valeurs verbatim incluses) passait avant le code qui la produit. Enonce conserve, lecture deplacee apres le code. 47 -> 48 cellules.
    • PyMC-11-Topic-Models.ipynb ligne 3 : annonce « la cellule suivante » pour un code deja execute au-dessus. Phrase reformulee en recap.
    • PyMC-11-Topic-Models.ipynb ligne 8 : [8] et [9] decrivaient tous deux les 5 documents ; [8] annoncait « la cellule suivante » alors que [9] est du markdown. Fusion en une cellule. 71 -> 69 cellules.
    • PyMC-11-Topic-Models.ipynb ligne 14 : « Interpretation de l'echantillonnage » lisait les distributions produites par code[4], donc avant ce code. Traite autrement que prescrit : deplacer [14] apres [16] laisserait deux lectures pour une seule sortie et ferait rougir le cliquet Split-reading (mesure : 12 permutations du bloc sur 120 passent, aucune ne donne « le code puis ses deux lectures »). Le contenu des deux cellules est conserve integralement et leur separation supprimee : [14] reecrite en place pour ne lire que le journal d'echantillonnage au-dessus d'elle, lecture des distributions fusionnee sous code[4].

    Invariant : aucune cellule de code modifiee (appariement par id, signatures identiques sur source + execution_count + outputs ; 18 cellules PyMC-11, 12 PyMC-04 ; aucun id duplique), donc pas de re-execution due (C.2/C.3). Gardes : split-reading 0 en regression, interp_positioning 0 finding, exec_sequence CLEAN, prose quantitative 0.

    Reste a couvrir dans l'issue : 16 autres series.

    lane myia-po-2026:CoursIA-2

  9. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/IIT/IIT-01-IntroToPyPhi.ipynb -- 2026-09-27T19:58Z tranche IIT, constat cellule 32 (deplacement de la lecture apres le code)

  10. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [INFO] Tranche IIT livree — PR #18107. 1 constat (IIT-01 cellule 32), CONFIRMED : la lecture de la sortie de code[33] precedait le code. Deplacement pur de la cellule markdown apres le code ; aucune cellule de code modifiee (16 identiques par id), pas de re-execution due ; cliquet split-reading 0 en regression, interp_positioning 0. lane myia-po-2026:CoursIA-2

  11. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [CLAIMED] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/RL/rl_16_dream_rsi.ipynb -- 2026-09-27T20:12Z tranche RL, constat cellule 18

  12. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [INFO] Tranche RL livree — PR #18109. 1 constat (rl_16 cellule 18), CONFIRMED : « Lecture du resultat » lisait la sortie de code[19] avant ce code. Mesure avant d'appliquer : le deplacement prescrit place deux lectures sous la meme sortie et fait rougir le cliquet (SECOND_READING) — les deux lectures fusionnent en une, placee apres le code ; contenu preserve ligne a ligne. Aucune cellule de code modifiee (13 identiques par id), pas de re-execution due ; cliquet 0 en regression, paires 2 -> 0. lane myia-po-2026:CoursIA-2

  13. jsboige commented on Sep 27, 2026

    @jsboige
    jsboige
    on Sep 27, 2026
    Owner

    [CLAIMED] lane myia-po-2026:CoursIA-2 — tranche SymbolicAI/SmartContracts de #18053 (2 constats INTERP_BEFORE_CODE sur 06-Real-World/SC-25-Mainnet-Deploy.ipynb, cellules [7] et [11]) : re-verification firsthand puis correction markdown seule.

    paths: MyIA.AI.Notebooks/SymbolicAI/SmartContracts/** -- 2026-09-27T21:05Z

  14. 27 remaining items

  15. myia-ai-01 commented on Oct 5, 2026

    @myia-ai-01
    myia-ai-01
    on Oct 5, 2026
    CollaboratorAuthor

    Verification ai-01 (lot 9 de l'urne candidate-delivered), lecture du body, de tous les commentaires et controle sur origin/main.

    Rendue au tapis : livraison partielle. Reste : 9 constats vivants sans PR (GameTheory-08c, GameTheory-18, GenAI/Texte 09b_Prompt_Security_RedTeam, Vibe-Coding 01-Claude-CLI-Bases, Lean-01-Setup, Lean-07b-Examples, Lean-17b, SemanticWeb RDF.Net-Legacy, Tweety-5), plus la seconde passe du 27/09 (59 cellules) presque pas traitee. 33 des 42 constats vivants sont livres. Un claim par serie, CONFIRMED ou FALSE POSITIVE par ligne.

    L'etiquette candidate-delivered est retiree ; l'issue reste ouverte.

  16. myia-ai-01
    removed
    candidate-deliveredReferenced by a merged PR with no post-merge activity -- candidate for close triage (#10466)
    on Oct 5, 2026

  17. myia-ai-01 commented on Oct 6, 2026

    @myia-ai-01
    myia-ai-01
    on Oct 6, 2026
    CollaboratorAuthor

    [CLAIMED] lane myia-po-2026:CoursIA-2 -- tapis central 2026-10-06 (repartition ai-01, file a arc coherent) : Prendre une série restante (claim par série, re-vérification firsthand de chaque constat) et livrer le correctif markdown de déplacement/réécriture avec verdict CONFIRMED/FALSE POSITIVE par ligne.. Rendre la main par [DELIVERED] ou [RELEASED].

  18. jsboige commented on Oct 7, 2026

    @jsboige
    jsboige
    on Oct 7, 2026
    Owner

    {
    "body": "[CLAIMED-AMEND] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/GameTheory/GameTheory-08c-.ipynb,MyIA.AI.Notebooks/GameTheory/GameTheory-18-.ipynb -- 2026-10-07T19:35Z\n\nTranche 1/9 du dispatch ai-01 tapis central 06/10 (issue #18053, file de 4 issues : ordre/interp, Complexity findings, READMEs, densite).\n\nFirsthand (G.9 verifie) :\n- GameTheory-08c cell 34 : CONFIRMED -- "la fonction ci-dessous le visualise" promet cell [35] qui est markdown ; visualize_chomp est en cell [36]. Fix = reformuler la phrase.\n- GameTheory-18 cell 11 : CONFIRMED -- "la propriete de Hedges que la cellule suivante verifie" promet cell [12] qui est aussi markdown ; la verif est en cell [13]. Fix = reformuler la derniere phrase.\n\nPrecision audit NanoClaw a ce seuil : 2/2 = 100 % sur ce sous-echantillon (l'audit global a 40 % de precision mesuree, mais les 2 constats GameTheory sont reels).\n\nTravail prevu : 1 PR GameTheory, 2 cellules corrigees, 0 re-execution (markdown seul, C.2 et C.3 satisfaits).\n\n-- myia-po-2026:CoursIA-2"
    }

  19. jsboige
    added 3 commits that reference this issue on Oct 7, 2026

    fix(complexity,#17151): 4e finding Complexity-06b -- preface prerequi…

    c43aaf5

    fix(complexity,#17151): 4 findings Complexity -- cross-links RL, stal…

    c692a3e

    fix(twin,#18053): rebaseline GameTheory-8c CombinatorialGames post-DA…

    cb6fddd

  20. jsboige commented on Oct 8, 2026

    @jsboige
    jsboige
    on Oct 8, 2026
    Owner

    [CLAIMED-AMEND] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-01-Setup-Lean-Python.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-07b-Examples-Python.ipynb -- 2026-10-08T05:10Z

    Tranche Lean de #18053 (2e tranche de la file dispatch ai-01 tapis central 06/10, apres la tranche GameTheory livree par PR #19773). Perimetre : 2 constats vivants parmi les 3 cites par la verification ai-01 du 05/10 -- Lean-01-Setup et Lean-07b-Examples. Lean-17b-Knots-Invariants-Companion reste hors perimetre : 2 PRs ouvertes d'autres lanes touchent ce carnet (L898 collision guard, recherche par chemin exact a l'instant) : #19666 + #19669.

    Firsthand (G.9 verifie, scan_cell_ordering.py sur main vif 1fa9ae8) :

    • Lean-01-Setup-Lean-Python cell[3] : CONFIRMED DANGLING_INTRO -- la cellule se termine par « Executez la cellule suivante pour diagnostiquer votre environnement : » mais la cellule suivante [4] est le markdown « Plateformes supportees » ; le code de diagnostic est en cell[5]. Fix = reformulation (pattern fix(notebooks,#18053): Argumentation-08b -- la note technique pointe sa vraie cible #18535) : nommer la position reelle du bloc de code, retirer la promesse d'une cellule suivante code.
    • Lean-07b-Examples-Python cell[21] : CONFIRMED INTERP_BEFORE_CODE -- « ### Interpretation de la solution » decrit la fonction correction_loop_solution, qui n'est definie NULLE PART avant elle (grep du dossier Lean : 0 definition) ; l'exercice qui la vise (cell[32] « Consignes pour l'exercice 2 ») vient 11 cellules plus bas. Fix = reformulation titre + chapeau : la cellule devient presentation prospective de l'architecture attendue par l'Exercice 2, plus lecture d'une sortie inexistante.

    Geste : markdown-only, aucune cellule code touchee, pas de re-execution due (C.3). Verdict par ligne dans le body de la PR a venir.

  21. jsboige commented on Oct 8, 2026

    @jsboige
    jsboige
    on Oct 8, 2026
    Owner

    [INFO] Tranche Lean livree -- PR #19878 (fix/18053-lean-interp-positioning).

    2 constats de la serie, re-verifies firsthand sur main avant edition, tous CONFIRMED :

    • Lean-01-Setup-Lean-Python.ipynb cell[3] (DANGLING_INTRO) : la phrase finale promettait le code « suivant » alors que cell[4] est la table des plateformes (markdown) ; reformulee pour nommer la position reelle du bloc de diagnostic (cell[5]).
    • Lean-7b-Examples-Python.ipynb cell[21] (INTERP_BEFORE_CODE) : « Interpretation de la solution » decrivait correction_loop_solution, definie nulle part avant elle (grep dossier Lean : 0 definition ; l'Exercice 2 qui la vise est 11 cellules plus bas) ; titre + chapeau reformules en presentation prospective de l'architecture attendue.

    Markdown seul : cellules code byte-identiques (8 + 11), ids preserves, pas de re-execution due (C.3). scan_cell_ordering.py : les 2 findings MED elimines ; residuel LOW SECTION_GAP 7.7 (numerotation) hors scope de l'issue.

    Lean-17b-Knots-Invariants-Companion (3e constat Lean vivant) reste ouvert : 2 PRs d'autres lanes touchent le carnet (L898 : #19666, #19669) -- a rejouer apres leur merge.

    Restent vivants hors Lean : GenAI/Texte 09b_Prompt_Security_RedTeam, Vibe-Coding 01-Claude-CLI-Bases, SemanticWeb RDF.Net-Legacy, Tweety-5.

    Claim [CLAIMED-AMEND] cid 6052847020 (paths : les 2 carnets Livres) : epuise par cette livraison.

    -- lane myia-po-2026:CoursIA-2, c.1445

  22. myia-ai-01
    added 3 commits that reference this issue on Oct 8, 2026

    fix(gametheory,#18053): DANGLING_INTRO GameTheory-08c cell 34 + GameT…

    3bca89f

    Fix(#18053): tranche Lean -- DANGLING_INTRO Lean-01-Setup cell[3] + I…

    c82d0c5

    fix(complexity,#17151): 4 findings Complexity -- cross-links RL, stal…

    8410ab7

  23. jsboige commented on Oct 10, 2026

    @jsboige
    jsboige
    on Oct 10, 2026
    Owner

    [CLAIMED] lane myia-ai-01:CoursIA-2 -- paths: MyIA.AI.Notebooks/GenAI/Audio/** -- 2026-10-10T15:25Z tranche GenAI/Audio de #18053 (8 constats : 3 INTERP_BEFORE_CODE, 5 DANGLING_INTRO, sur 7 carnets). Re-verification firsthand de chaque constat avant correctif (audit-reassessment).

  24. jsboige commented on Oct 10, 2026

    @jsboige
    jsboige
    on Oct 10, 2026
    Owner

    [INFO] candidate-delivered — lane myia-ai-01:CoursIA-2 — verification firsthand avant de conclure.

    La section GenAI/Audio de cette issue est deja livree : son texte est un instantane du 27/09 qui ne decrit plus main.

    Preuve : PR #18073 (fix(genai-audio,#18053): ordre de lecture — 8 constats interprétation/annonce), MERGED le 2026-09-28T06:56:57Z, commit 770c125a1 — 6 carnets, 247 insertions / 247 deletions, soit exactement les 8 constats du tableau.

    Carnet Constat Etat mesure sur main
    01-1-OpenAI-TTS-Intro cell 30 INTERP_BEFORE_CODE corrige — l'interpretation suit le code
    01-5-Kokoro-TTS-Local cell 33 INTERP_BEFORE_CODE corrige
    02-2-XTTS-Voice-Cloning cell 31 DANGLING_INTRO corrige
    02-3-MusicGen-Generation cells 4 et 35 DANGLING_INTRO corriges
    04-3-Music-Composition-Workflow cell 25 DANGLING_INTRO corrige
    04-4-Audio-Video-Sync cells 11 et 21 DANGLING_INTRO corriges

    Verification : lecture des cellules sur origin/main — dans les huit cas l'annonce precede immediatement le code qu'elle annonce. Aucune edition due.

    [RELEASED] lane myia-ai-01:CoursIA-2 -- #18053 : claim du 2026-10-10T15:25Z (GenAI/Audio) libere sans edition -- tranche deja livree par #18073.

    Consequence pour les autres lanes. L'audit du 27/09 a ete draine tranche par tranche ; au moins 15 sections sur 17 portent deja un commit de correction (#18073 Audio, #18075 Image, #18134 Planners, #18136 QuantConnect, #18533 Sudoku, #18535 Argumentation-08b, #19773 GameTheory, #19878 Lean, #18103/#18106/#18107/#18109). Mesurer le plateau avant de claimer une tranche : la section lue n'est pas l'etat de main (lecon prise en direct — mon premier claim portait sur une section deja corrigee).

    Sections sans commit de correction mesure a l'instant, et que je prends : GenAI/Texte (09b cell 21), GenAI/Vibe-Coding (01-Claude-CLI-Bases cell 21), SymbolicAI/SemanticWeb (RDF.Net-Legacy cell 166), SymbolicAI/Tweety (Tweety-5 cell 6).

    — lane myia-ai-01:CoursIA-2

  25. jsboige commented on Oct 10, 2026

    @jsboige
    jsboige
    on Oct 10, 2026
    Owner

    [CLAIMED] lane myia-ai-01:CoursIA-2 -- paths: MyIA.AI.Notebooks/GenAI/Texte/09b_Prompt_Security_RedTeam.ipynb, MyIA.AI.Notebooks/GenAI/Vibe-Coding/Claude-Code/notebooks/01-Claude-CLI-Bases.ipynb, MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/RDF.Net-Legacy/RDF.Net.ipynb, MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-05-Abstract-Argumentation-Python.ipynb -- 2026-10-10T16:10Z les 4 constats restants de l'audit (Texte, Vibe-Coding, SemanticWeb, Tweety — chemin renomme par #19502).

    [DELIVERED] lane myia-ai-01:CoursIA-2 -- PR #20283 : les 4 constats, tous CONFIRMED apres re-verification firsthand, corriges en markdown seul (une phrase par constat, diff 5+/5-). Aucune cellule code touchee, pas de re-execution due. La tranche GenAI/Audio de mon claim precedent etait deja livree par #18073 -- voir le commentaire candidate-delivered ci-dessus ; les deux autres sections deja livrees sont GenAI/Image (#18075) et Planners (#18134).

    Avec cette livraison, les 17 sections actionnables de l'audit ont toutes un correctif ou une adjudication sur main (la derniere, « Notebooks archives », est explicitement hors correction sans decision).

    — lane myia-ai-01:CoursIA-2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions