Skip to content

Fix(Tweety): 8 notebooks C# via IKVM sous Linux et macOS, RID dérivé de la machine (hors flotte) #18067

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
myia-ai-01 merged 1 commit into from
Sep 29, 2026
Merged

Fix(Tweety): 8 notebooks C# via IKVM sous Linux et macOS, RID dérivé de la machine (hors flotte) #18067

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
459 changes: 382 additions & 77 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-02-Basic-Logics-CSharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

675 changes: 533 additions & 142 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-02b-Semantics-CSharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

721 changes: 582 additions & 139 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-02c-FOL-CSharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

469 changes: 424 additions & 45 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-3-Advanced-Logics-Csharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

487 changes: 396 additions & 91 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-3-Conditional-Logics-Csharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

658 changes: 528 additions & 130 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-3-Dung-Csharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

602 changes: 476 additions & 126 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-3-ModalLogic-Csharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

487 changes: 396 additions & 91 deletions MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-3-QBF-Csharp.ipynb
View file
Open in desktop

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions scripts/notebook_tools/twin_pairs.d/tweety-2-basic-logics.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
bridge_verdict: SOTA-OK
bridge_verdict_reason: "Lib-vs-lib meme moteur Java TweetyProject (Thimm 2012) : C# branche IKVM 8.15.0 + tweety-pl.dll (tracked 0,55 Mo) + 7 refs `org.tweetyproject.*` actifs (using + classes instantiatees), bytecode Java traduit en .NET sans JVM au runtime. Python branche JPype + `from org.tweetyproject.logics.pl.* import` + `from org.tweetyproject.logics.fol.* import`. Verifie firsthand (c.227, 2026-08-12, po-2023:CoursIA-2) : les deux cotes invoquent la meme bibliotheque Java TweetyProject (sat solvers FOL, parser FOPL, raisonneur), seules les idioms de pont different (bytecode .NET vs JVM runtime). DLL source-recompilee (release 8) selon pattern c.220 IKVM causal causal rebuild — pas de maven-shade bytecode 59."
known_differences:
- "2026-09-27 (drift unilateral, session cloud d'agnosticisme hors flotte) : cote C# seul. La cellule de configuration IKVM codait le RID win-x64 en dur (ikvmRid = win-x64, plus une reference NuGet IKVM.Image.runtime.win-x64) : sous Linux et macOS, l'init de la JVM IKVM echouait au premier appel Java (TypeInitializationException sur IKVM.Runtime.LibJava, mesure sur Tweety-3-Dung avant correctif). Le RID est desormais derive de OperatingSystem et RuntimeInformation.ProcessArchitecture ; IKVM.Image (8.14.0 comme 8.15.0) depend deja des onze paquets IKVM.Image.runtime.<rid>, la reference explicite win-x64 est retiree. Re-execution complete sous Linux (dotnet-interactive 1.0.617701) : 0 erreur, sorties identiques a la base hors RID du home IKVM, culture (separateur decimal, langue des avertissements du compilateur). Jumeau Python inchange. Strips outilles appliques avant l'attestation (probe banner, papermill)."
- "2026-08-20 : conversion markdown-only ASCII->Mermaid de la table de verite (cell 3 cote python, PR #12011 / #11962) - 0 cellule code touchee, parite intacte, rebaseline d'attestation."
- "2026-08-17 : tranche densite #11224 markdown-only sur le cote C# (10 cellules code byte-identiques, +1 cellule markdown + squelettes enrichis, PR #11338) - parite de contenu intacte, rebaseline d'attestation."
- "Socle commun : logiques classiques propositionnelles et du premier ordre (FOL) via la bibliotheque Java TweetyProject."
Expand Down
6 changes: 6 additions & 0 deletions ...ok_tools/twin_pairs.d/tweety-2-basic-logics/0011-2026-09-27-claude-cloud-hors-flotte.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
date: '2026-09-27'
by: claude-cloud:hors-flotte
python_sha: 27cd06844e2f330f3071af340c4f9f62bee2f063
csharp_sha: e1332af215227da778846ee7dfc469a96e2d259d
content_python_sha: 557ce7f528c16bf848cf6062f10a7f69941ccf8dfc3a990a67b093c759dcee1b
content_csharp_sha: 12218f8d6f15d5767b90b30c688814a003d855bb4018b179a5083cfd4c03bf02
1 change: 1 addition & 0 deletions scripts/notebook_tools/twin_pairs.d/tweety-3-advanced-logics.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,6 @@
bridge_verdict: SOTA-OK
bridge_verdict_reason: "Lib-vs-lib meme moteur Java TweetyProject (logiques conditionnelle, modale, QBF) : C# branche IKVM 8.14.0 + tweety-advanced-logics.dll (tracked) + 8 refs `org.tweetyproject.logics.cl.reasoner` etc. actifs (3 cellules avec using explicite, classes instantiatees). Python branche JPype + `from org.tweetyproject.logics.cl.reasoner import SimpleCReasoner` + meme classe Java `SimpleCReasoner` invoquee. Verifie firsthand (c.227, 2026-08-12, po-2023:CoursIA-2) : les deux cotes appellent le meme solveur TweetyProject (Thimm 2012), pont IKVM-bytecode .NET vs JPype-JVM-runtime. Meme dynamique que tweety-2 et c.220 #10544 dialogues."
known_differences:
- "2026-09-27 (drift unilateral, session cloud d'agnosticisme hors flotte) : cote C# seul. La cellule de configuration IKVM codait le RID win-x64 en dur (ikvmRid = win-x64, plus une reference NuGet IKVM.Image.runtime.win-x64) : sous Linux et macOS, l'init de la JVM IKVM echouait au premier appel Java (TypeInitializationException sur IKVM.Runtime.LibJava, mesure sur Tweety-3-Dung avant correctif). Le RID est desormais derive de OperatingSystem et RuntimeInformation.ProcessArchitecture ; IKVM.Image (8.14.0 comme 8.15.0) depend deja des onze paquets IKVM.Image.runtime.<rid>, la reference explicite win-x64 est retiree. Re-execution complete sous Linux (dotnet-interactive 1.0.617701) : 0 erreur, sorties identiques a la base hors RID du home IKVM, culture (separateur decimal, langue des avertissements du compilateur) ; language_info.version 12.0 -> 13.0, version declaree par le pin dotnet-interactive 1.0.617701. Jumeau Python inchange. Strips outilles appliques avant l'attestation (probe banner, papermill)."
- "Socle commun : logiques avancees (conditionnelle, modale, QBF) via TweetyProject."
- "Lib-vs-lib : C# via IKVM (`#r \"org.tweetyproject.tweety-advanced-logics.dll\"` + `using org.tweetyproject.logics.cl.reasoner` etc.). Python via JPype (`from org.tweetyproject.logics.cl.reasoner import SimpleCReasoner`). Meme moteur Java TweetyProject, deux ponts (IKVM traduit vs JPype JVM)."
6 changes: 6 additions & 0 deletions ...tools/twin_pairs.d/tweety-3-advanced-logics/0008-2026-09-27-claude-cloud-hors-flotte.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
date: '2026-09-27'
by: claude-cloud:hors-flotte
python_sha: aebffde4c2a7da67d2834d8072f2fe6d54287764
csharp_sha: 84eabed0f272ad8aba73747b2ca78e55bc91cb98
content_python_sha: 9eaf16b3f99c3b984d924fe6d58ff023c43793e57d3ccb6bd1eaf2bc56360a3b
content_csharp_sha: b82216ea37bdb919fa5c12b00e17463903960a7d91a0cf6f7b7c7ada3a27bd5c
Loading