From f5befc89c414265aedcdae7286fa06a4b382d98f Mon Sep 17 00:00:00 2001 From: jsboige Date: Thu, 1 Oct 2026 00:15:31 +0200 Subject: [PATCH 1/2] docs(argument-analysis,#18614): Setup -- prose jars sans compte fixe, table JDK honnete sur le fallback MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reponse a la reserve de clusterManager-Myia (19:23Z) sur l'incoherence interne du carnet : la table disait « JDK Zulu 17 portable | OK » en dur alors que la sonde peut rendre False (machine sans jdk-17-portable, JVM amorcee via JAVA_HOME par la shim -- mesure : JVM demarree, smoke test OK), et la prose citait « les 76 jars » -- compte jamais vrai (42 sur la machine de base, 41 sur la mienne ; libs/ non tracké, decompte env-dependent). La table et la prose refletent maintenant ce que les sorties mesurent vraiment. Markdown uniquement, outputs inchanges (C.2 exception). Co-Authored-By: Claude Sonnet 5.5 --- .../Argumentation-00-Setup-Tweety-Python.ipynb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb b/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb index 08a5a8f75e..70f4d253e3 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb +++ b/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb @@ -151,7 +151,7 @@ "source": [ "## 3. Localisation du dossier Tweety (JDK + jars)\n", "\n", - "`init_tweety()` cherche les dossiers `libs/` (les 76 jars Tweety) et `jdk-17-portable/` (le JDK Zulu 17) **relativement au repertoire de travail courant**. On marche donc vers le haut depuis le cwd jusqu'a trouver `Tweety/libs`. Si rien n'est trouve, echec bruyant : le mode degrade est interdit.\n" + "`init_tweety()` cherche les dossiers `libs/` (les jars Tweety -- le decompte depend de la machine, cf sortie de la cellule de localisation) et `jdk-17-portable/` (le JDK Zulu 17) **relativement au repertoire de travail courant**. On marche donc vers le haut depuis le cwd jusqu'a trouver `Tweety/libs`. Si rien n'est trouve, echec bruyant : le mode degrade est interdit.\n" ] }, { @@ -394,7 +394,7 @@ "| Composant | Rôle | Etat |\n", "|-----------|------|------|\n", "| Python + JPype | Passerelle Python-Java | OK |\n", - "| JDK Zulu 17 portable | Machine virtuelle Java | OK |\n", + "| JDK (Zulu 17 portable, sinon JAVA_HOME) | Machine virtuelle Java | OK via la sonde JVM ci-dessus |\n", "| Jars Tweety | Solveurs (PL, FOL, modale, Dung) | OK |\n", "| `argumentation_lib.initialize_jvm()` | Amorcage JVM + classpath (via la shim) | OK |\n", "| Smoke test PL | Modus ponens resolu | OK |\n", From 83215b915fae8053ce2463e8d32bc1ced083d9e7 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sat, 3 Oct 2026 08:00:56 +0200 Subject: [PATCH 2/2] docs(arg,#18586): 00-Setup prose -- decompte jars dependant de la machine, pas 76 en dur Review NanoClaw pt.3 : la prose du S4 annoncait 'les 76 jars' alors que l'output commite dit 42. Reformulation machine-independante sur le modele du S3 (decompte depend de la machine, cf sortie de la cellule de localisation). Markdown-only : outputs inchanges (exception C.2). Co-Authored-By: Claude Sonnet 5.5 --- .../Argumentation-00-Setup-Tweety-Python.ipynb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb b/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb index 70f4d253e3..c1fe9cf9cd 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb +++ b/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb @@ -222,7 +222,7 @@ "source": [ "## 4. Demarrage de la JVM via `init_tweety()`\n", "\n", - "`init_tweety()` configure `JAVA_HOME` sur le JDK Zulu 17, construit le classpath avec les 76 jars, et amorce la JVM via JPype. L'appel se fait **depuis le dossier Tweety** (il resout les chemins relativement au cwd). Echec bruyant si la JVM ne demarre pas.\n" + "`init_tweety()` configure `JAVA_HOME` sur le JDK Zulu 17, construit le classpath avec les jars du dossier `libs/` (decompte dependant de la machine, cf sortie de la cellule de localisation), et amorce la JVM via JPype. L'appel se fait **depuis le dossier Tweety** (il resout les chemins relativement au cwd). Echec bruyant si la JVM ne demarre pas.\n" ] }, {