fix(env,#17654): parcours d'installation Linux sur clone vierge — .NET, doc Lean, dépendances Sudoku/RL

MyIA.AI.Notebooks/Probas/Infer/scripts/setup_environment.ps1

@@ -40,7 +40,7 @@ if (-not $SkipDotnetInteractive) {
         Write-Status "  dotnet-interactive already installed" "Green"
     } else {
         Write-Status "  Installing dotnet-interactive..."
-        dotnet tool install -g Microsoft.dotnet-interactive
+        dotnet tool install -g Microsoft.dotnet-interactive --version 1.0.617701
         if ($LASTEXITCODE -eq 0) {
             Write-Status "  dotnet-interactive installed successfully" "Green"
         } else {

MyIA.AI.Notebooks/Probas/Infer/scripts/setup_environment.sh

@@ -38,7 +38,7 @@ if [ "$SKIP_DOTNET_INTERACTIVE" -eq 0 ]; then
         status "  dotnet-interactive already installed"
     else
         status "  Installing dotnet-interactive..."
-        if dotnet tool install -g Microsoft.dotnet-interactive; then
+        if dotnet tool install -g Microsoft.dotnet-interactive --version 1.0.617701; then
             status "  dotnet-interactive installed successfully"
         else
             status "  Failed to install dotnet-interactive" >&2

MyIA.AI.Notebooks/RL/requirements.txt

@@ -10,6 +10,12 @@ pettingzoo[classic]>=1.24.0    # Multi-agent environments — notebook 6 (IQL, P
 # Environments
 highway-env>=1.8               # Highway driving environment (Notebook 3)
 
+# Post-training SOTA (rlpt_0d, rlpt_0e, rlpt_0f) : bras trl compares aux boucles maison
+trl>=1.10                      # RewardTrainer, DPOTrainer, GRPOTrainer (PPOTrainer retire en 1.10)
+transformers>=5.12
+datasets>=5.0
+tokenizers>=0.21
+
 # Data / Visualization
 pandas>=2.0                    # Tableaux de resultats Q-Learning — notebook 4
 moviepy>=1.0                   # Video recording of agent behavior

MyIA.AI.Notebooks/Sudoku/requirements.txt

@@ -22,6 +22,10 @@ mealpy>=3.0                  # PSO and other metaheuristics (Sudoku-05)
 # Graph
 networkx>=3.1                # Graph coloring (Sudoku-09)
 
+# Automates symboliques (Sudoku-13)
+regex>=2023.0                # Recursion (?&rec) absente du module re
+dd>=0.6                      # Diagrammes de decision binaires (dd.autoref)
+
 # Deep Learning (Sudoku-16)
 torch>=2.0
 

README.md

@@ -432,9 +432,9 @@ CoursIA/
 ### Prérequis
 
 - Python 3.10+ avec pip
-- .NET 9.0+ SDK (pour notebooks C# — .NET 10 LTS validé en local)
+- .NET 9.0 SDK (notebooks C#) **et** .NET 10 SDK : `dotnet restore MyIA.CoursIA.sln` échoue sans le SDK 10, cinq projets de la solution ciblant `net10.0` (Aspire, démo Vibe-Coding)
 - VS Code avec extensions Python, Jupyter, .NET Interactive
-- WSL (pour Lean et certains outils SymbolicAI)
+- WSL sous Windows uniquement (pour Lean et certains outils SymbolicAI) ; sous Linux ou macOS, voir [setup-linux-macos.md](docs/reference/setup-linux-macos.md)
 - Docker + GPU (optionnel, pour GenAI avancé)
 
 ### Installation rapide

docs/reference/kernels-runtime.md

@@ -14,7 +14,7 @@ Notebooks dans `SymbolicAI/SemanticWeb/`, `SymbolicAI/SmartContract/`, `Search/`
 
 | Prerequis | Version | Verification |
 |-----------|---------|-------------|
-| .NET SDK | 8.0 + 9.0 (10.0 optionnel) | `dotnet --list-sdks` |
+| .NET SDK | 8.0 + 9.0 + 10.0 (10.0 requis par `dotnet restore MyIA.CoursIA.sln` : cinq projets `net10.0`) | `dotnet --list-sdks` |
 | dotnet-interactive | **1.0.617701** (verifie sur ai-01, cf ci-dessous) | `dotnet interactive --version` |
 | Jupyter kernels `.net-csharp`, `.net-fsharp`, `.net-powershell` | auto-installes | `jupyter kernelspec list` |
 

docs/reference/setup-linux-macos.md

@@ -11,8 +11,14 @@ Pour les commandes spécifiques aux machines du cluster (paths `C:\Users\MYIA\..
 Le SDK .NET et `dotnet-interactive` sont cross-OS : les notebooks `.net-csharp` s'exécutent à l'identique.
 
 ```bash
-# Linux (Ubuntu/Debian) : dépôt Microsoft
-sudo apt update && sudo apt install -y dotnet-sdk-9.0
+# Linux : script officiel Microsoft (installation dans ~/.dotnet, sans sudo).
+# Les dépôts d'Ubuntu 24.04 LTS ne fournissent que dotnet-sdk-8.0 :
+# `sudo apt install dotnet-sdk-9.0` y échoue (« Couldn't find any package »).
+curl -sSL https://dot.net/v1/dotnet-install.sh -o dotnet-install.sh
+bash dotnet-install.sh --channel 9.0
+bash dotnet-install.sh --channel 10.0   # requis par `dotnet restore MyIA.CoursIA.sln` (projets net10.0)
+export DOTNET_ROOT="$HOME/.dotnet"
+export PATH="$DOTNET_ROOT:$DOTNET_ROOT/tools:$PATH"   # à reporter dans ~/.bashrc
 # macOS : Homebrew Cask
 brew install --cask dotnet-sdk
 
@@ -25,7 +31,7 @@ dotnet interactive --version   # 1.0.617701 (pin, cf kernels-runtime.md)
 jupyter kernelspec list | grep ".net"   # .net-csharp, .net-fsharp
 ```
 
-Le pin de version **1.0.617701** s'applique cross-OS (1.0.712001 casse `#!import` partout, pas seulement Windows).
+Le pin de version **1.0.617701** s'applique cross-OS. La casse de `#!import` sous 1.0.712001, constatée sur ai-01, n'est pas reproduite partout : ni sur po-2024, ni sous Linux (Ubuntu 24.04, `#!import` exécuté sous les deux versions, [#17654](https://github.com/jsboige/CoursIA/issues/17654)). Le pin reste le standard tant que le dé-pin n'est pas décidé ([kernels-runtime.md](kernels-runtime.md)).
 
 ## Python 3.10+ + Conda
 
@@ -49,16 +55,19 @@ Lean 4 s'installe via `elan` (cross-OS), équivalent de `rustup` pour Lean. **Pa
 
 ```bash
 curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
-source $HOME/.cargo/env   # ou relancer le shell
+source $HOME/.elan/env   # elan s'installe dans ~/.elan (pas ~/.cargo) ; ou relancer le shell
 
 elan toolchain install stable
 lean --version
 
-# Kernel Jupyter Lean 4
+# Kernel Jupyter Lean 4 : le module d'installation est lean4_jupyter.install
+# (`python -m lean4_jupyter.kernel install` ne fait rien et rend 0)
 pip install lean4-jupyter
-python -m lean4_jupyter.kernel install
+python -m lean4_jupyter.install --user
 ```
 
+> **Limite connue ([#17654](https://github.com/jsboige/CoursIA/issues/17654), D1).** Cette commande enregistre un kernel nommé `lean4`, alors que les notebooks Lean du dépôt déclarent `lean4-wsl`, et le chemin natif ne reprend ni la détection de la racine lake ni le lancement direct du REPL du wrapper Windows. Le parcours Lean n'est donc pas encore opérationnel de bout en bout sous Linux ou macOS.
+
 ## Packages système courants
 
 Les READMEs de séries donnent parfois l'installation Windows-only (`winget`/`choco`). Équivalents :

scripts/environment/audit_environment.ps1

@@ -151,7 +151,7 @@ try {
         } else {
             Write-Check ".NET Interactive" "WARNING" "Non installé globalement"
             $Results.DotNet.Interactive = $false
-            $Results.Recommendations += "Installer .NET Interactive: dotnet tool install -g Microsoft.dotnet-interactive"
+            $Results.Recommendations += "Installer .NET Interactive: dotnet tool install -g Microsoft.dotnet-interactive --version 1.0.617701"
         }
     } catch {
         Write-Check ".NET Interactive" "WARNING" "Statut indéterminé"

scripts/environment/audit_environment.sh

@@ -147,7 +147,7 @@ if command -v dotnet >/dev/null 2>&1; then
     write_check ".NET Interactive" "OK" "Installé globalement"
   else
     write_check ".NET Interactive" "WARNING" "Non installé globalement"
-    RECOMMENDATIONS+=("Installer .NET Interactive: dotnet tool install -g Microsoft.dotnet-interactive")
+    RECOMMENDATIONS+=("Installer .NET Interactive: dotnet tool install -g Microsoft.dotnet-interactive --version 1.0.617701")
     TOTAL_WARNINGS=$((TOTAL_WARNINGS + 1))
   fi
 else

scripts/environment/setup_environment.ps1

@@ -392,7 +392,7 @@ if ($AutoFix) {
                 Save-Checkpoint "dotnet_interactive_install"
             } else {
                 Write-Action "Installation de .NET Interactive..." "INFO"
-                dotnet tool install -g Microsoft.dotnet-interactive 2>&1 | Out-Null
+                dotnet tool install -g Microsoft.dotnet-interactive --version 1.0.617701 2>&1 | Out-Null
                 if ($LASTEXITCODE -eq 0) {
                     Write-Action ".NET Interactive installé avec succès" "SUCCESS"
                     Save-Checkpoint "dotnet_interactive_install"

scripts/environment/setup_environment.sh

@@ -168,7 +168,7 @@ install_dotnet_interactive() {
     return 0
   fi
   action "Installation de .NET Interactive..." "INFO"
-  if dotnet tool install -g Microsoft.dotnet-interactive >/dev/null 2>&1; then
+  if dotnet tool install -g Microsoft.dotnet-interactive --version 1.0.617701 >/dev/null 2>&1; then
     action ".NET Interactive installé avec succès" "SUCCESS"
     save_checkpoint "dotnet_interactive_install"
     # `dotnet tool install -g` places binaries in ~/.dotnet/tools; surface it if missing.