Skip to content

fix(docs,#15516): sweep mermaid fill-sans-color — famille racine/Notebooks/ML/SymbolicAI (4 READMEs, 18 règles) #15551

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
jsboige merged 1 commit into from
Sep 11, 2026
Merged

fix(docs,#15516): sweep mermaid fill-sans-color — famille racine/Notebooks/ML/SymbolicAI (4 READMEs, 18 règles) #15551

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
13 changes: 7 additions & 6 deletions MyIA.AI.Notebooks/ML/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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).
Expand Down
13 changes: 7 additions & 6 deletions MyIA.AI.Notebooks/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
7 changes: 4 additions & 3 deletions MyIA.AI.Notebooks/SymbolicAI/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
8 changes: 5 additions & 3 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,8 @@ flowchart LR
GameTheory --> RL
SymbolicAI(["SymbolicAI<br/>logique, planners, SMT, Lean"]) --> CaseStudies(["CaseStudies<br/>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;
```

Expand All @@ -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;
```
Expand Down
Loading