From 573bacd2bed47043b5deee0b1f530fc6240e83ac Mon Sep 17 00:00:00 2001 From: jsboige Date: Fri, 11 Sep 2026 05:04:13 +0200 Subject: [PATCH] fix(docs,#15516): color: explicite sur les regles mermaid fill: des READMEs racine/Notebooks/ML/SymbolicAI (4 fichiers, 18 regles) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Sweep #15516 (residuel #15022), famille racine + MyIA.AI.Notebooks + ML + SymbolicAI. Pattern pilote #15502 -- ajout de color: uniquement, garde %% anti-harmonisation par bloc. Palette : f5f5f5/eef4ff->#333 (harmonisation legitime, 11.4-11.6:1), e8f5e9->#1b5e20 (7.0), e8f0fe->#174ea6 (6.85), e6f4ea->#137333 (5.24), fef7e0->#856404 (5.13). Trois strokes d'origine (1a73e8/188038/f9ab00) echouent AA en couleur de texte (3.93/4.42/1.81) -- le ton plus fonce est deliberé, garde %% posee. Co-Authored-By: Claude Sonnet 5 --- MyIA.AI.Notebooks/ML/README.md | 13 +++++++------ MyIA.AI.Notebooks/README.md | 13 +++++++------ MyIA.AI.Notebooks/SymbolicAI/README.md | 7 ++++--- README.md | 8 +++++--- 4 files changed, 23 insertions(+), 18 deletions(-) diff --git a/MyIA.AI.Notebooks/ML/README.md b/MyIA.AI.Notebooks/ML/README.md index a83255b3e9..d025df00cb 100644 --- a/MyIA.AI.Notebooks/ML/README.md +++ b/MyIA.AI.Notebooks/ML/README.md @@ -356,12 +356,13 @@ flowchart LR NB4 -. "PAC ⇓ uniform_concentration" .-> L3 NB5 -. "vote ≅ préférences agrégées" .-> L5 NB6 -. "échantillon i.i.d. + Hoeffding" .-> L3 - style L1 fill:#e8f5e9,stroke:#2e7d32 - style L2 fill:#e8f5e9,stroke:#2e7d32 - style L3 fill:#e8f5e9,stroke:#2e7d32 - style L4 fill:#e8f5e9,stroke:#2e7d32 - style L5 fill:#e8f5e9,stroke:#2e7d32 - style L6 fill:#e8f5e9,stroke:#2e7d32 + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + style L1 fill:#e8f5e9,stroke:#2e7d32,color:#1b5e20 + style L2 fill:#e8f5e9,stroke:#2e7d32,color:#1b5e20 + style L3 fill:#e8f5e9,stroke:#2e7d32,color:#1b5e20 + style L4 fill:#e8f5e9,stroke:#2e7d32,color:#1b5e20 + style L5 fill:#e8f5e9,stroke:#2e7d32,color:#1b5e20 + style L6 fill:#e8f5e9,stroke:#2e7d32,color:#1b5e20 ``` Lecture : chaque nœud **SIM** représente un notebook ML dont le résultat empirique (marge, ERM, ensemble, PAC) est *prouvé* par au moins un nœud **LEAN** via une flèche pointillée. Le **vert pâle** sur les nœuds Lean rappelle que la *preuve* est l'engagement de véracité du notebook — pas une décoration. Voir l'EPIC [#4038](https://github.com/jsboige/CoursIA/issues/4038) (Roadmap Lean) et le hub central [P0](../README.md#lean) pour la cartographie complète (PR #5049). Cross-réf hubs voisins déjà livrés : [QuantConnect (PR #5047)](../QuantConnect/README.md), [GameTheory (PR #5050)](../GameTheory/README.md), [Probas (PR #5053)](../Probas/README.md), [SymbolicAI Lean (#5043 MERGED)](../SymbolicAI/Lean/README.md). diff --git a/MyIA.AI.Notebooks/README.md b/MyIA.AI.Notebooks/README.md index 3465e80c91..bafac61888 100644 --- a/MyIA.AI.Notebooks/README.md +++ b/MyIA.AI.Notebooks/README.md @@ -323,12 +323,13 @@ flowchart LR N4 -. "fraction risquée f" .-> L4 N5 -. "invariant réentrance" .-> L5 N6 -. "impossibilité" .-> L6 - style L1 fill:#e8f5e9 - style L2 fill:#e8f5e9 - style L3 fill:#e8f5e9 - style L4 fill:#e8f5e9 - style L5 fill:#e8f5e9 - style L6 fill:#e8f5e9 + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + style L1 fill:#e8f5e9,color:#1b5e20 + style L2 fill:#e8f5e9,color:#1b5e20 + style L3 fill:#e8f5e9,color:#1b5e20 + style L4 fill:#e8f5e9,color:#1b5e20 + style L5 fill:#e8f5e9,color:#1b5e20 + style L6 fill:#e8f5e9,color:#1b5e20 ``` Le pipeline complet relie les **notebooks** (qui motivent) aux **lakes** (qui prouvent) et inversement : un notebook Tweety illustre un AF-Dung et cite `argumentation_lean` comme source de l'extension prouvée ; un cours QuantConnect cite `kelly_lean` comme justification formelle de la fraction risquée optimale. Sans la couche Lean, ces résultats seraient des formules réputées « standard » mais jamais démontrées. Avec elle, la justification est formellement garantie — pas seulement empiriquement ajustée. diff --git a/MyIA.AI.Notebooks/SymbolicAI/README.md b/MyIA.AI.Notebooks/SymbolicAI/README.md index 882d6da8a1..879693506f 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/README.md +++ b/MyIA.AI.Notebooks/SymbolicAI/README.md @@ -46,9 +46,10 @@ flowchart TD LEAN -.->|"sensitivity_lean (Huang 2019)"| SC TW -.->|"induction logique (FOIL)"| SL - classDef found fill:#e8f0fe,stroke:#1a73e8 - classDef app fill:#e6f4ea,stroke:#188038 - classDef bridge fill:#fef7e0,stroke:#f9ab00 + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + classDef found fill:#e8f0fe,stroke:#1a73e8,color:#174ea6 + classDef app fill:#e6f4ea,stroke:#188038,color:#137333 + classDef bridge fill:#fef7e0,stroke:#f9ab00,color:#856404 class TW,SW,LEAN found class SMT,PL,SC app class AA,SL bridge diff --git a/README.md b/README.md index 72e5a352f7..80e143883e 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,8 @@ flowchart LR GameTheory --> RL SymbolicAI(["SymbolicAI
logique, planners, SMT, Lean"]) --> CaseStudies(["CaseStudies
systèmes hybrides"]) - classDef track fill:#f5f5f5,stroke:#333,stroke-width:1px; + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + classDef track fill:#f5f5f5,stroke:#333,stroke-width:1px,color:#333; class Search,Sudoku,ML,RL,Probas,GameTheory,SymbolicAI,CaseStudies,GenAI,QuantConnect track; ``` @@ -79,8 +80,9 @@ flowchart LR A4 -.-> AP A5 -.-> AP - classDef stage fill:#f5f5f5,stroke:#333,stroke-width:1px; - classDef learn fill:#eef4ff,stroke:#333,stroke-width:1px,stroke-dasharray:4 3; + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + classDef stage fill:#f5f5f5,stroke:#333,stroke-width:1px,color:#333; + classDef learn fill:#eef4ff,stroke:#333,stroke-width:1px,stroke-dasharray:4 3,color:#333; class A1,A2,A3,A4,A5 stage; class AP learn; ```