From 9d7933650e914705ecf52a8cc814a8f04bb97727 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sat, 3 Oct 2026 01:13:52 +0200 Subject: [PATCH 1/2] feat(site,#18423): couverture residuelle complete + garde zero-non-couvert - NOTEBOOK_SUBTREES += Compression/ (1 carnet) et SymbolicAI/ prefix famille (OR-tools-Stiegler.ipynb au niveau racine ; sous-repertoires deja couverts, dedup precedent Integrations-DotNet/) - 18 carnets QC hr-bloques (--- -> ***, 31 separateurs) : les trous restants de la classe #11451 que le sweep #18429 n'avait pas atteints - NOTEBOOKS_HORS_PERIMETRE : les 4 exclusions explicites demandees par le body (GradeBook outil interne, _research, sondes scripts/) - garde uncovered_notebooks() cablee dans --check : tout .ipynb git-tracke ni rendu ni declare = rouge (le trou 263-ne-pas-revenir ne peut plus reapparaitre silencieusement) - 18 hrefs README converts .ipynb -> .html (delta STALE_LINK = 0) - regen _quarto.yml : 1436 -> 1454 notebooks rendus --check rc=0 ; delta readem-link violations 1740 -> 1740 (0 nouvelle ; backlog preexistant suivi en #18911) See #18423 (criteres 1-3 traites ; critere 4 -> #18911) Co-Authored-By: Claude Sonnet 5.5 --- MyIA.AI.Notebooks/Compression/README.md | 2 +- .../m11e_ensemble_research.ipynb | 2 +- .../research_what_dl_can_predict.ipynb | 16 ++--- .../Python/QC-Py-03-Data-Management.ipynb | 6 +- .../QC-Py-Cloud-02-ML-Classification.ipynb | 2 +- .../Python/QC-Py-Cloud-09-OptionWheel.ipynb | 4 +- .../research_robustness.ipynb | 2 +- .../quantbook_composite_research.ipynb | 2 +- .../ML-FeatureEngineering/quantbook.ipynb | 2 +- .../projects/Option-Wheel/research.ipynb | 2 +- .../projects/OptionsIncome/research.ipynb | 6 +- .../Portfolio-Optimization-ML/research.ipynb | 4 +- .../research/research_btc_ml.ipynb | 2 +- .../research/research_m11ef_ensemble.ipynb | 2 +- .../research/research_quality_lowvol.ipynb | 2 +- .../research/research_rl_intro.ipynb | 2 +- .../research/research_rl_multi_asset.ipynb | 2 +- .../research/research_rl_ppo.ipynb | 2 +- .../research/research_rl_reward_shaping.ipynb | 2 +- MyIA.AI.Notebooks/SymbolicAI/README.md | 30 +++++----- _quarto.yml | 41 +++++++++++-- scripts/regen_quarto_render.py | 59 ++++++++++++++++++- 22 files changed, 141 insertions(+), 53 deletions(-) diff --git a/MyIA.AI.Notebooks/Compression/README.md b/MyIA.AI.Notebooks/Compression/README.md index 63af542382..f14a7658b6 100644 --- a/MyIA.AI.Notebooks/Compression/README.md +++ b/MyIA.AI.Notebooks/Compression/README.md @@ -12,7 +12,7 @@ Lean des définitions est prévu par les plis suivants. | Carnet | Niveau | Contenu | |---|---|---| -| [Compression-01 — Codes préfixes : de Shannon-Fano à Huffman](Compression-01-ShannonFano-Prefixe-Python.ipynb) | Découverte | codes préfixes, inégalité de Kraft, Shannon-Fano contre Huffman, l'entropie comme borne | +| [Compression-01 — Codes préfixes : de Shannon-Fano à Huffman](Compression-01-ShannonFano-Prefixe-Python.html) | Découverte | codes préfixes, inégalité de Kraft, Shannon-Fano contre Huffman, l'entropie comme borne | ## Position dans le dépôt diff --git a/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m11e_ensemble_research.ipynb b/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m11e_ensemble_research.ipynb index 4fe8f98a10..342fce5882 100644 --- a/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m11e_ensemble_research.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m11e_ensemble_research.ipynb @@ -14,7 +14,7 @@ "tags": [] }, "source": [ - "---\n", + "***\n", "title: m11e_ensemble_research\n", "cost:\n", " api_usd_est: 0.0\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_what_dl_can_predict.ipynb b/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_what_dl_can_predict.ipynb index 2042698a9f..e34ceb4e40 100644 --- a/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_what_dl_can_predict.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_what_dl_can_predict.ipynb @@ -12,7 +12,7 @@ "\n", "**Deadline**: 09/05/2026 | **Epic**: NN #754 | **Partner**: 19/05/2026\n", "\n", - "---\n", + "***\n", "\n", "## Table of Contents\n", "\n", @@ -63,7 +63,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "\n", "## Section 1: Candidate Prediction Targets for DL on Financial Data\n", @@ -526,7 +526,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "\n", "## Section 2: Priority Targets with Academic Evidence\n", @@ -829,7 +829,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "\n", "## Section 3: Pivot Options for Epic NN #754\n", @@ -1190,7 +1190,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "\n", "## Section 4: References\n", @@ -1435,7 +1435,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "## Appendix A: Methodological Weaknesses in DL Finance Literature\n", "\n", @@ -1577,7 +1577,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "## Appendix B: Foundation Time Series Models on Financial Data\n", "\n", @@ -1697,7 +1697,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "## Conclusion\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-03-Data-Management.ipynb b/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-03-Data-Management.ipynb index 802555a271..68022737c4 100644 --- a/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-03-Data-Management.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-03-Data-Management.ipynb @@ -30,7 +30,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "> **Mode d'emploi** : Ce notebook a **deux parties** :\n", "> 1. **Sections analyse/ML** (pandas, sklearn, matplotlib) : **executables en Jupyter local**\n", @@ -38,7 +38,7 @@ ">\n", "> Les cellules QCAlgorithm sont marquees `# [REFERENCE QC]` et ne sont pas executables localement.\n", "\n", - "---" + "***" ], "id": "cell-ab7ae461" }, @@ -1646,7 +1646,7 @@ "- Custom data examples\n", "- Alternative data integration\n", "\n", - "---\n", + "***\n", "\n", "**Félicitations!** Vous maîtrisez maintenant la gestion de données dans QuantConnect. C'est la fondation de toute stratégie robuste." ], diff --git a/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-02-ML-Classification.ipynb b/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-02-ML-Classification.ipynb index 3ed4aed422..479399f0ab 100644 --- a/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-02-ML-Classification.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-02-ML-Classification.ipynb @@ -675,7 +675,7 @@ "\n", "> **NOTE — simplification pédagogique** : la méthode `SimulateNewsHeadlines()` ne fait pas du NLP réel. Elle génère des titres synthétiques par remplissage de templates basé sur les mouvements prix/volume (ex. variation > +2% → \"Strong gains for SPY as market rallies\"). Le classifieur Naive Bayes apprend sur ces données règle-based : l'objectif est la démonstration du pipeline textuel end-to-end (vocabulaire → features → entraînement → scoring), pas la maîtrise d'un pipeline NLP réaliste.\n", "\n", - "---\n", + "***\n", "\n", "## Partie 3 : Deploiement via MCP QuantConnect\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-09-OptionWheel.ipynb b/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-09-OptionWheel.ipynb index bd01743bb8..855ba498cf 100644 --- a/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-09-OptionWheel.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-09-OptionWheel.ipynb @@ -11,7 +11,7 @@ "**Source** : Projet etudiant ESGF 2026 (QC `31846074`), anonymise et adapte.\n", "**Type** : `doc cloud` — résultats obtenus sur [QuantConnect Cloud](https://www.quantconnect.com/lab).\n", "\n", - "---\n", + "***\n", "\n", "## Objectifs d'apprentissage\n", "\n", @@ -298,7 +298,7 @@ "- **Comparer a un buy-and-hold** : le wheel doit battre le benchmark APRÈS couts et taxes, pas juste en premiums brutes.\n", "- **Diversifier l'univers** : 20-50 sous-jacents non correlates vs 5 actions tech.\n", "\n", - "---\n", + "***\n", "\n", "[<< Sommaire QC](../README.md) | [Précédent : QC-Py-Cloud-08-ValueFactor-ZScore <<](./QC-Py-Cloud-08-ValueFactor-ZScore.ipynb)" ], diff --git a/MyIA.AI.Notebooks/QuantConnect/projects/CSharp-CTG-Momentum/research_robustness.ipynb b/MyIA.AI.Notebooks/QuantConnect/projects/CSharp-CTG-Momentum/research_robustness.ipynb index e86191f2a5..ceaafb48ff 100644 --- a/MyIA.AI.Notebooks/QuantConnect/projects/CSharp-CTG-Momentum/research_robustness.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/projects/CSharp-CTG-Momentum/research_robustness.ipynb @@ -860,7 +860,7 @@ "- Sharpe étendu: [à calculer]\n", "- Recommandation: SetStartDate(2015, 1, 1) ou rester sur 2021?\n", "\n", - "---\n", + "***\n", "\n", "**Note finale**: Cette analyse Python utilise un univers proxy (30 large caps) pour approximer le comportement de l'univers OEF (S&P 100). Les métriques absolues peuvent différer du backtest C# réel, mais les **tendances et insights qualitatifs** restent valides pour la prise de décision." ] diff --git a/MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_EMATrend/quantbook_composite_research.ipynb b/MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_EMATrend/quantbook_composite_research.ipynb index 44279841a6..c7130152c0 100644 --- a/MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_EMATrend/quantbook_composite_research.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_EMATrend/quantbook_composite_research.ipynb @@ -25,7 +25,7 @@ "3. **Overlap des signaux** : Les 5 tech stocks sont communs aux deux univers\n", "4. **Proposition d'allocation** : Ratio optimal entre les deux stratégies\n", "\n", - "---" + "***" ] }, { diff --git a/MyIA.AI.Notebooks/QuantConnect/projects/ML-FeatureEngineering/quantbook.ipynb b/MyIA.AI.Notebooks/QuantConnect/projects/ML-FeatureEngineering/quantbook.ipynb index cf16202cf0..3a4cce4455 100644 --- a/MyIA.AI.Notebooks/QuantConnect/projects/ML-FeatureEngineering/quantbook.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/projects/ML-FeatureEngineering/quantbook.ipynb @@ -1239,7 +1239,7 @@ "- **Feature Engineering**: https://www.featurebook.org/\n", "- **ML for Trading**: \"Advances in Financial Machine Learning\" by Marcos Lopez de Prado\n", "\n", - "---\n", + "***\n", "\n", "**Conclusion**: Ce notebook fournit une base complète pour le feature engineering en trading. Utilisez ces features comme point de départ et adaptez-les à votre stratégie spécifique." ] diff --git a/MyIA.AI.Notebooks/QuantConnect/projects/Option-Wheel/research.ipynb b/MyIA.AI.Notebooks/QuantConnect/projects/Option-Wheel/research.ipynb index ae5e8bdc8b..e9c70f058d 100644 --- a/MyIA.AI.Notebooks/QuantConnect/projects/Option-Wheel/research.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/projects/Option-Wheel/research.ipynb @@ -380,7 +380,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "## Diagnostic - Itération 1 (Mars 2026)\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/projects/OptionsIncome/research.ipynb b/MyIA.AI.Notebooks/QuantConnect/projects/OptionsIncome/research.ipynb index 4e635b232e..187323810b 100644 --- a/MyIA.AI.Notebooks/QuantConnect/projects/OptionsIncome/research.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/projects/OptionsIncome/research.ipynb @@ -41,7 +41,7 @@ "\n", "**Goal**: Identify 2-3 parameter changes that boost win rate to 55%+ and Sharpe to 0.40+\n", "\n", - "---\n", + "***\n", "\n", "**Duration**: ~30 minutes | **Requires**: yfinance, numpy, matplotlib" ] @@ -670,7 +670,7 @@ "4. **Walk-forward 2025 Q1** to validate edge stability\n", "5. **Deploy** if all KPIs confirmed\n", "\n", - "---\n", + "***\n", "\n", "**Next Step**: Implement v2.0 changes in main.py and run comparative backtest." ] @@ -701,7 +701,7 @@ "\n", "5. **Compounding improvements** — Combined (delta + roll + VIX) = Sharpe 0.288 → 0.35-0.40 (+22-39%)\n", "\n", - "---\n", + "***\n", "\n", "**Data Sources**:\n", "- VIX: Yahoo Finance (^VIX), 2807 days 2015-2026\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-Optimization-ML/research.ipynb b/MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-Optimization-ML/research.ipynb index af08fa7e12..29f6c568ed 100644 --- a/MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-Optimization-ML/research.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-Optimization-ML/research.ipynb @@ -62,7 +62,7 @@ "2. Ledoit, O., & Wolf, M. (2004). \"A well-conditioned estimator for large-dimensional covariance matrices\".\n", "3. DeMiguel, V., et al. (2009). \"Optimal versus naive diversification\".\n", "\n", - "---" + "***" ] }, { @@ -1526,7 +1526,7 @@ "- **QC-Py-18**: Feature Engineering pour ML\n", "- **Sector-ML-Classification**: Classification ML pour secteur\n", "\n", - "---\n", + "***\n", "\n", "**Note**: Ce notebook est à but pédagogique. Ne pas utiliser pour du trading réel sans validation approfondie." ] diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_btc_ml.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_btc_ml.ipynb index 09923c8f3e..8bf0654117 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_btc_ml.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_btc_ml.ipynb @@ -14,7 +14,7 @@ "tags": [] }, "source": [ - "---\n", + "***\n", "title: research_btc_ml\n", "cost:\n", " api_usd_est: 0.0\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_m11ef_ensemble.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_m11ef_ensemble.ipynb index f1c3a2ccd8..e27bcde049 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_m11ef_ensemble.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_m11ef_ensemble.ipynb @@ -4,7 +4,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "---\n", + "***\n", "title: research_m11ef_ensemble\n", "cost:\n", " api_usd_est: 0.0\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_quality_lowvol.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_quality_lowvol.ipynb index b0545a7062..aabc810629 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_quality_lowvol.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_quality_lowvol.ipynb @@ -20,7 +20,7 @@ "**Branche** : `feature/quality-lowvol-research` \n", "**Date** : 2026-05-26 | **Auteur** : myia-po-2024\n", "\n", - "---\n", + "***\n", "\n", "## Navigation\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_intro.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_intro.ipynb index f2b43b9e17..6f4594d61d 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_intro.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_intro.ipynb @@ -10,7 +10,7 @@ "**Branche** : `feature/rl-intro-trading` \n", "**Date** : 2026-05-26 | **Auteur** : myia-po-2024\n", "\n", - "---\n", + "***\n", "\n", "## Navigation RL\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_multi_asset.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_multi_asset.ipynb index 100bf9735c..05873f9c66 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_multi_asset.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_multi_asset.ipynb @@ -10,7 +10,7 @@ "**Branche** : `feature/rl-multi-asset-ppo` \n", "**Date** : 2026-05-26 | **Auteur** : myia-po-2024\n", "\n", - "---\n", + "***\n", "\n", "## Navigation RL\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_ppo.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_ppo.ipynb index 351fcdbdd7..f3fb98d6fc 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_ppo.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_ppo.ipynb @@ -48,7 +48,7 @@ "**Branche** : `feature/rl-ppo-trading` \n", "**Date** : 2026-05-26 | **Auteur** : myia-po-2024\n", "\n", - "---\n", + "***\n", "\n", "## Navigation RL\n", "\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_reward_shaping.ipynb b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_reward_shaping.ipynb index fb5748bb1a..ca961d93f1 100644 --- a/MyIA.AI.Notebooks/QuantConnect/research/research_rl_reward_shaping.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/research/research_rl_reward_shaping.ipynb @@ -10,7 +10,7 @@ "**Branche** : `feature/rl-reward-shaping` \n", "**Date** : 2026-05-26 | **Auteur** : myia-po-2024\n", "\n", - "---\n", + "***\n", "\n", "## Navigation RL\n", "\n", diff --git a/MyIA.AI.Notebooks/SymbolicAI/README.md b/MyIA.AI.Notebooks/SymbolicAI/README.md index e770d4fc20..722dad7505 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/README.md +++ b/MyIA.AI.Notebooks/SymbolicAI/README.md @@ -100,20 +100,20 @@ L'ordre proposé ci-dessous n'est pas une obligation : chaque série se suit seu | Étape | Série | Ce qu'on y apprend | Porte d'entrée | Public | Noyau | |---|---|---|---|---|---| -| 1 | [Tweety](Tweety/README.md) | Logiques formelles, révision de croyances, argumentation abstraite et structurée, raisonnement incertain et causal | [Tweety-01-Setup-Python](Tweety/Tweety-01-Setup-Python.ipynb) | Licence | Python (JPype) · C# | -| 2 | [SemanticWeb](SemanticWeb/README.md) | RDF, SPARQL, données liées, RDFS et OWL, SHACL, graphes de connaissances | [SW-2b-Python-RDFBasics](SemanticWeb/SW-2b-Python-RDFBasics.ipynb) · [SW-1-CSharp-Setup](SemanticWeb/SW-1-CSharp-Setup.ipynb) | Découverte → Licence | Python · C# | -| 3 | [Lean](Lean/README.md) | Types dépendants, Curry-Howard, quantificateurs, tactiques, Mathlib4 | [Lean-01-Setup-Lean-Python](Lean/Lean-01-Setup-Lean-Python.ipynb) | Licence → Recherche | Lean (WSL) · Python | -| 4 | [SMT / Z3](SMT/README.md) | Satisfiabilité modulo théories, du premier `solve()` aux preuves par `unsat` | [Z3-01-Introduction-Python](SMT/Z3-API/Z3-01-Introduction-Python.ipynb) · [C#](SMT/Z3-API/Z3-01-Introduction-CSharp.ipynb) | Découverte → Licence | Python · C# | -| 5 | [Planners](Planners/README.md) | PDDL, recherche dans l'espace d'états, heuristiques, CP-SAT, planification temporelle et hiérarchique | [Planners-0-Setup](Planners/00-Environment/Planners-0-Setup.ipynb) | Licence | Python · C# | -| 6 | [SmartContracts](SmartContracts/README.md) | Solidity, standards de jetons, DeFi, gouvernance, tests et vérification, cryptographie | [SC-00-Cypherpunk-Origins-Python](SmartContracts/00-Foundations/SC-00-Cypherpunk-Origins-Python.ipynb) | Découverte → Licence | Python (Foundry) | +| 1 | [Tweety](Tweety/README.md) | Logiques formelles, révision de croyances, argumentation abstraite et structurée, raisonnement incertain et causal | [Tweety-01-Setup-Python](Tweety/Tweety-01-Setup-Python.html) | Licence | Python (JPype) · C# | +| 2 | [SemanticWeb](SemanticWeb/README.md) | RDF, SPARQL, données liées, RDFS et OWL, SHACL, graphes de connaissances | [SW-2b-Python-RDFBasics](SemanticWeb/SW-2b-Python-RDFBasics.html) · [SW-1-CSharp-Setup](SemanticWeb/SW-1-CSharp-Setup.html) | Découverte → Licence | Python · C# | +| 3 | [Lean](Lean/README.md) | Types dépendants, Curry-Howard, quantificateurs, tactiques, Mathlib4 | [Lean-01-Setup-Lean-Python](Lean/Lean-01-Setup-Lean-Python.html) | Licence → Recherche | Lean (WSL) · Python | +| 4 | [SMT / Z3](SMT/README.md) | Satisfiabilité modulo théories, du premier `solve()` aux preuves par `unsat` | [Z3-01-Introduction-Python](SMT/Z3-API/Z3-01-Introduction-Python.html) · [C#](SMT/Z3-API/Z3-01-Introduction-CSharp.html) | Découverte → Licence | Python · C# | +| 5 | [Planners](Planners/README.md) | PDDL, recherche dans l'espace d'états, heuristiques, CP-SAT, planification temporelle et hiérarchique | [Planners-0-Setup](Planners/00-Environment/Planners-0-Setup.html) | Licence | Python · C# | +| 6 | [SmartContracts](SmartContracts/README.md) | Solidity, standards de jetons, DeFi, gouvernance, tests et vérification, cryptographie | [SC-00-Cypherpunk-Origins-Python](SmartContracts/00-Foundations/SC-00-Cypherpunk-Origins-Python.html) | Découverte → Licence | Python (Foundry) | Trois séries se prennent **à côté** de ce parcours, selon ce qui vous attire : | Série | Ce qu'on y apprend | Ce qu'elle suppose | Porte d'entrée | Public | Noyau | |---|---|---|---|---|---| -| [Argumentation](Argument_Analysis/README.md) | Analyse argumentative outillée : Toulmin, sophismes, sémantiques de Dung, orchestration d'agents LLM validés par Tweety | les bases de Tweety, une clé d'API | [Argumentation-00-Setup-Tweety-Python](Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb) | Licence | Python | -| [SymbolicLearning](SymbolicLearning/README.md) | Apprentissage à partir de connaissances (AIMA ch. 19) : Version Space, EBL, programmation logique inductive, automates, neuro-symbolique | Python seul | [SL-1-LogicalLearning](SymbolicLearning/SL-1-LogicalLearning.ipynb) | Licence | Python · C# | -| [Geometry](Lean/Geometry/README.md) | Démonstration automatique en géométrie : vérification probabiliste, bases de Gröbner, méthode de Wu | la géométrie du lycée | [Geometry-01-From-Figure-To-Equation](Lean/Geometry/Geometry-01-From-Figure-To-Equation.ipynb) | Découverte | Python | +| [Argumentation](Argument_Analysis/README.md) | Analyse argumentative outillée : Toulmin, sophismes, sémantiques de Dung, orchestration d'agents LLM validés par Tweety | les bases de Tweety, une clé d'API | [Argumentation-00-Setup-Tweety-Python](Argument_Analysis/Argumentation-00-Setup-Tweety-Python.html) | Licence | Python | +| [SymbolicLearning](SymbolicLearning/README.md) | Apprentissage à partir de connaissances (AIMA ch. 19) : Version Space, EBL, programmation logique inductive, automates, neuro-symbolique | Python seul | [SL-1-LogicalLearning](SymbolicLearning/SL-1-LogicalLearning.html) | Licence | Python · C# | +| [Geometry](Lean/Geometry/README.md) | Démonstration automatique en géométrie : vérification probabiliste, bases de Gröbner, méthode de Wu | la géométrie du lycée | [Geometry-01-From-Figure-To-Equation](Lean/Geometry/Geometry-01-From-Figure-To-Equation.html) | Découverte | Python | ## Les séries en bref @@ -180,17 +180,17 @@ Le dossier s'appelle encore `Argument_Analysis/`, mais la série s'appelle Argum Un même théorème, le milieu de l'hypoténuse équidistant des trois sommets, traverse des méthodes de plus en plus fortes. - **Parcours léger** — 01 à 03 : - - [01](Lean/Geometry/Geometry-01-From-Figure-To-Equation.ipynb) (Découverte) : on vérifie le théorème numériquement (Schwartz–Zippel) ; - - [02](Lean/Geometry/Geometry-02-From-Equation-To-Proof.ipynb) (Licence) : on le démontre exactement par bases de Gröbner, en traitant les non-dégénérescences par saturation ; - - [03](Lean/Geometry/Geometry-03-Wu-Method-Python.ipynb) (Licence) : on le redémontre par la méthode de Wu, qui fait apparaître ces conditions explicitement ; - - [04](Lean/Geometry/Geometry-04-DD-AR-Python.ipynb) (Licence) : on le prouve par règles (DD) puis par l'algèbre (AR), le duo symbolique d'AlphaGeometry — et un énoncé faux y est réfuté deux fois. -- **Pour approfondir** — [03b](Lean/Geometry/Geometry-03b-Ritt-Decomposition-Python.ipynb) : le théorème du papillon et la décomposition de Ritt, avec le bord dégénéré où l'énoncé est muet et non faux. + - [01](Lean/Geometry/Geometry-01-From-Figure-To-Equation.html) (Découverte) : on vérifie le théorème numériquement (Schwartz–Zippel) ; + - [02](Lean/Geometry/Geometry-02-From-Equation-To-Proof.html) (Licence) : on le démontre exactement par bases de Gröbner, en traitant les non-dégénérescences par saturation ; + - [03](Lean/Geometry/Geometry-03-Wu-Method-Python.html) (Licence) : on le redémontre par la méthode de Wu, qui fait apparaître ces conditions explicitement ; + - [04](Lean/Geometry/Geometry-04-DD-AR-Python.html) (Licence) : on le prouve par règles (DD) puis par l'algèbre (AR), le duo symbolique d'AlphaGeometry — et un énoncé faux y est réfuté deux fois. +- **Pour approfondir** — [03b](Lean/Geometry/Geometry-03b-Ritt-Decomposition-Python.html) : le théorème du papillon et la décomposition de Ritt, avec le bord dégénéré où l'énoncé est muet et non faux. - **À venir** — un pont formel vers Lean. - [README de la série Geometry](Lean/Geometry/README.md) : programme gradué (Epic #17544) et état. ### Hors série -- [OR-tools-Stiegler](OR-tools-Stiegler.ipynb) (C#) : le problème du régime de Stigler, programmation linéaire avec OR-Tools. +- [OR-tools-Stiegler](OR-tools-Stiegler.html) (C#) : le problème du régime de Stigler, programmation linéaire avec OR-Tools. ## Installation diff --git a/_quarto.yml b/_quarto.yml index 6cc3080b54..fd0c968991 100644 --- a/_quarto.yml +++ b/_quarto.yml @@ -15,7 +15,7 @@ project: # (regeneree par scripts/regen_quarto_render.py) car Quarto 1.7 # n'etend pas le glob **/README.md sur les sous-repertoires. # Archives et libs vendored EXCLUES (history interne, non pedagogique). - # 499 READMEs (racine + arborescence, hors archives). + # 501 READMEs (racine + arborescence, hors archives). - "README.md" - "docker-configurations/docs/README.md" - "docker-configurations/notebook-runner/README.md" @@ -41,6 +41,7 @@ project: - "docs/cadrage/README.md" - "docs/ict/README.md" - "docs/lean/README.md" + - "docs/probas/README.md" - "docs/README.md" - "docs/reference/branch-cleanup-manifest.README.md" - "docs/transients/README.md" @@ -51,6 +52,7 @@ project: - "MyIA.AI.Notebooks/CaseStudies/README.md" - "MyIA.AI.Notebooks/CaseStudies/SmartGrid-Energy/README.md" - "MyIA.AI.Notebooks/Complexity/README.md" + - "MyIA.AI.Notebooks/Compression/README.md" - "MyIA.AI.Notebooks/cross-series/matching-cv/README.md" - "MyIA.AI.Notebooks/cross-series/qcm/README.md" - "MyIA.AI.Notebooks/cross-series/README.md" @@ -229,9 +231,9 @@ project: - "MyIA.AI.Notebooks/NLP/README.md" - "MyIA.AI.Notebooks/Probas/Applications/Percolation/README.md" - "MyIA.AI.Notebooks/Probas/Applications/README.md" - - "MyIA.AI.Notebooks/Probas/DecisionTheory/decision_theory_lean/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/README.md" + - "MyIA.AI.Notebooks/Probas/DecisionTheory/decision_theory_lean/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecPyMC/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/voi/README.md" @@ -477,6 +479,7 @@ project: - "scripts/qc-mcp-lite/README.md" - "scripts/README.md" - "scripts/release/README.md" + - "scripts/smartcontracts/_archive/README.md" - "scripts/sudoku/_archive/README.md" - "scripts/translation/README.md" - "scripts/validation/README.md" @@ -517,9 +520,10 @@ project: # docs/*.md rendus en HTML (issue #18422). Meme mecanisme # que les READMEs : liste explicite (globs non etendus en Quarto 1.7). # Garde `---` (#11451) appliquee auto-resorbante. - # 151 docs/*.md (sous-arbre docs/, hors README/archive/hr). + # 153 docs/*.md (sous-arbre docs/, hors README/archive/hr). - "docs/audit/sampling-protocol.md" - "docs/audit/workflow-path-filters/latest.md" + - "docs/cadrage/aima-armature.md" - "docs/ci/po2024-topology-baseline.md" - "docs/ci/scripts-tests-triage.md" - "docs/ci/self-hosted-runners.md" @@ -534,6 +538,7 @@ project: - "docs/curriculum/symbolic-formalization.md" - "docs/curriculum/trading.md" - "docs/data-policy.md" + - "docs/dotnet/net11-toub-digest.md" - "docs/genai/audio-embed-pattern.md" - "docs/genai/audio-fading-remediation.md" - "docs/genai/genai-services.md" @@ -672,7 +677,7 @@ project: # Notebooks rendus en HTML (EPIC #10921, pilote Search #10923). # Liste explicite — globs non etendus en Quarto 1.7. # Execution desactivee + echo: true au niveau racine (_quarto.yml). - # 1428 notebooks (sous-arbres: MyIA.AI.Notebooks/CaseStudies/, MyIA.AI.Notebooks/Complexity/, MyIA.AI.Notebooks/GameTheory/, MyIA.AI.Notebooks/GenAI/00-GenAI-Environment/, MyIA.AI.Notebooks/GenAI/Audio/, MyIA.AI.Notebooks/GenAI/CaseStudies/, MyIA.AI.Notebooks/GenAI/FallacyDetection/, MyIA.AI.Notebooks/GenAI/FineTuning/, MyIA.AI.Notebooks/GenAI/Image/, MyIA.AI.Notebooks/GenAI/Integrations-DotNet/, MyIA.AI.Notebooks/GenAI/Integrations-DotNet/Aspire/, MyIA.AI.Notebooks/GenAI/Plateformes-Conversationnelles/, MyIA.AI.Notebooks/GenAI/PostTraining/, MyIA.AI.Notebooks/GenAI/RAG-et-Memoire-Semantique/, MyIA.AI.Notebooks/GenAI/Security/, MyIA.AI.Notebooks/GenAI/SemanticKernel/, MyIA.AI.Notebooks/GenAI/Texte/, MyIA.AI.Notebooks/GenAI/Vibe-Coding/, MyIA.AI.Notebooks/GenAI/Video/, MyIA.AI.Notebooks/IIT/, MyIA.AI.Notebooks/ML/, MyIA.AI.Notebooks/NLP/, MyIA.AI.Notebooks/Probas/, MyIA.AI.Notebooks/QuantConnect/, MyIA.AI.Notebooks/RL/, MyIA.AI.Notebooks/Search/, MyIA.AI.Notebooks/Sudoku/, MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/, MyIA.AI.Notebooks/SymbolicAI/Lean/, MyIA.AI.Notebooks/SymbolicAI/Planners/, MyIA.AI.Notebooks/SymbolicAI/SMT/, MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/, MyIA.AI.Notebooks/SymbolicAI/SmartContracts/, MyIA.AI.Notebooks/SymbolicAI/SymbolicLearning/, MyIA.AI.Notebooks/SymbolicAI/Tweety/, MyIA.AI.Notebooks/cross-series/). + # 1454 notebooks (sous-arbres: MyIA.AI.Notebooks/CaseStudies/, MyIA.AI.Notebooks/Complexity/, MyIA.AI.Notebooks/Compression/, MyIA.AI.Notebooks/GameTheory/, MyIA.AI.Notebooks/GenAI/00-GenAI-Environment/, MyIA.AI.Notebooks/GenAI/Audio/, MyIA.AI.Notebooks/GenAI/CaseStudies/, MyIA.AI.Notebooks/GenAI/FallacyDetection/, MyIA.AI.Notebooks/GenAI/FineTuning/, MyIA.AI.Notebooks/GenAI/Image/, MyIA.AI.Notebooks/GenAI/Integrations-DotNet/, MyIA.AI.Notebooks/GenAI/Integrations-DotNet/Aspire/, MyIA.AI.Notebooks/GenAI/Plateformes-Conversationnelles/, MyIA.AI.Notebooks/GenAI/PostTraining/, MyIA.AI.Notebooks/GenAI/RAG-et-Memoire-Semantique/, MyIA.AI.Notebooks/GenAI/Security/, MyIA.AI.Notebooks/GenAI/SemanticKernel/, MyIA.AI.Notebooks/GenAI/Texte/, MyIA.AI.Notebooks/GenAI/Vibe-Coding/, MyIA.AI.Notebooks/GenAI/Video/, MyIA.AI.Notebooks/IIT/, MyIA.AI.Notebooks/ML/, MyIA.AI.Notebooks/NLP/, MyIA.AI.Notebooks/Probas/, MyIA.AI.Notebooks/QuantConnect/, MyIA.AI.Notebooks/RL/, MyIA.AI.Notebooks/Search/, MyIA.AI.Notebooks/Sudoku/, MyIA.AI.Notebooks/SymbolicAI/, MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/, MyIA.AI.Notebooks/SymbolicAI/Lean/, MyIA.AI.Notebooks/SymbolicAI/Planners/, MyIA.AI.Notebooks/SymbolicAI/SMT/, MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/, MyIA.AI.Notebooks/SymbolicAI/SmartContracts/, MyIA.AI.Notebooks/SymbolicAI/SymbolicLearning/, MyIA.AI.Notebooks/SymbolicAI/Tweety/, MyIA.AI.Notebooks/cross-series/). - "MyIA.AI.Notebooks/CaseStudies/Diagnostic-Medical/solution/Diagnostic-Medical.ipynb" - "MyIA.AI.Notebooks/CaseStudies/Diagnostic-Medical/student/Diagnostic-Medical.ipynb" - "MyIA.AI.Notebooks/CaseStudies/Oncology-Planning/solution/Oncology-Planning.ipynb" @@ -688,6 +693,7 @@ project: - "MyIA.AI.Notebooks/Complexity/Complexity-04b-OnlineConjectures-Secretary-KServer.ipynb" - "MyIA.AI.Notebooks/Complexity/Complexity-05b-AaronsonArkhipov-PermanenteBosonSampling.ipynb" - "MyIA.AI.Notebooks/Complexity/Complexity-06-Aaronson-Dequantification-Stabilizer.ipynb" + - "MyIA.AI.Notebooks/Compression/Compression-01-ShannonFano-Prefixe-Python.ipynb" - "MyIA.AI.Notebooks/cross-series/socle-metadata-driven/Socle-MetadataDriven-Csharp.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-01-Setup-Python.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-02-NormalForm-CSharp.ipynb" @@ -1175,6 +1181,7 @@ project: - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.5-Biais-Variance-CV-ROC.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.5b-Calibration-Probabilites.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.5c-Equite-Sous-Groupes.ipynb" + - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.5d-Derive-Distribution-Deploiement.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.6-Clustering-KMeans-PCA.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.7-Modeles-Non-Parametriques.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.7b-SMO-From-Scratch.ipynb" @@ -1198,6 +1205,7 @@ project: - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.3-Regularisation.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.4-Attention-Transformer-From-Scratch.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.4c-MoE-from-scratch.ipynb" + - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.4d-Fourier-Features-Biais-Spectral-Python.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.5-Phenomenes-de-Generalisation.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.6-Modeles-Generatifs.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.6b-Modeles-Generatifs-PyTorch.ipynb" @@ -1224,6 +1232,7 @@ project: - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04-Vision/4.2g-Detection-SOTA-Ultralytics.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04-Vision/4.2h-YOLOv5-Bench-Ultralytics.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04-Vision/4.2i-Detection-Ultralytics-Difficult-Scenes.ipynb" + - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04-Vision/4.2j-Detection-SOTA-LibreYOLO.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04-Vision/4.3-TransferLearning-ResNet.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04b-Wavelet-Scattering/WS-00a-Ondelettes-1D-from-scratch.ipynb" - "MyIA.AI.Notebooks/ML/DataScienceWithAgents/04b-Wavelet-Scattering/WS-00b-Ondelettes-2D-from-scratch.ipynb" @@ -1301,7 +1310,7 @@ project: - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-07-Expert-Systems.ipynb" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-08-Sequential.ipynb" - - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-09-Lean-Gittins.ipynb" + - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-08b-Lean-Gittins.ipynb" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-10-Thompson-Sampling.ipynb" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecPyMC/DecPyMC-1-Utility-Foundations.ipynb" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecPyMC/DecPyMC-10-Ruine-Lundberg.ipynb" @@ -1355,11 +1364,13 @@ project: - "MyIA.AI.Notebooks/Probas/PyMC/PyMC-17-Kalman-Filter.ipynb" - "MyIA.AI.Notebooks/Probas/PyMC/PyMC-18-Change-Point.ipynb" - "MyIA.AI.Notebooks/Probas/PyMC/PyMC-19-Survival-Analysis.ipynb" + - "MyIA.AI.Notebooks/Probas/PyMC/PyMC-Observabilite-OTel.ipynb" - "MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb" - "MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/c1330_xrp_dt_foldwise_research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/c875_hmm_alpha_dm_research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/hmm_alpha_research.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m11e_ensemble_research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m12_har_rv_j_research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m15_lstm_rv_research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/m15_lstm_rv_sc_validation.ipynb" @@ -1373,6 +1384,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_l2_dual_momentum.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_l3_trend.ipynb" - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_l4_decision_transformer.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_what_dl_can_predict.ipynb" - "MyIA.AI.Notebooks/QuantConnect/partner-course-quant-trading/examples/Crypto-MultiCanal/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/partner-course-quant-trading/examples/Crypto-MultiCanal/research_archive.ipynb" - "MyIA.AI.Notebooks/QuantConnect/partner-course-quant-trading/examples/Sector-Momentum/deep_research_optimization.ipynb" @@ -1395,6 +1407,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/projects/CSharp-BTC-EMA-Cross/research_robustness.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/CSharp-BTC-MACD-ADX/Research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/CSharp-BTC-MACD-ADX/research_robustness.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/projects/CSharp-CTG-Momentum/research_robustness.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/DL-LSTM/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/DualMomentum/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/DualMomentum/research.ipynb" @@ -1415,6 +1428,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/projects/ForexCarry/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/ForexCarry/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_EMATrend/quantbook.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_EMATrend/quantbook_composite_research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_FamaFrenchAllWeather/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_MomentumRegime/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Framework_Composite_TrendWeather/quantbook.ipynb" @@ -1433,6 +1447,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/projects/ML-DeepLearning/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/ML-EnhancedPairs/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/ML-Ensemble/quantbook.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/projects/ML-FeatureEngineering/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/ML-FinBERT-Sentiment/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/ML-HeadShoulders-CNN/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/ML-RandomForest/quantbook.ipynb" @@ -1448,12 +1463,15 @@ project: - "MyIA.AI.Notebooks/QuantConnect/projects/Multi-Layer-EMA/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Multi-Layer-EMA/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Option-Wheel/quantbook.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/projects/Option-Wheel/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Options-VGT/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/OptionsIncome/quantbook.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/projects/OptionsIncome/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/PairsTrading/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/PairsTrading/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-IBKR-Coinbase-Hybrid/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-IBKR-Coinbase-Hybrid/research.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/projects/Portfolio-Optimization-ML/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/RegimeSwitching/quantbook.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Reinforcement-Learning-Trading/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/projects/Research-Executor/research.ipynb" @@ -1489,6 +1507,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/projects/Vol-GARCH-Target/research.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-01-Setup.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-02-Platform-Fundamentals.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-03-Data-Management.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-04-Research-Workflow.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-05-Universe-Selection.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-05b-FScore-Piotroski.ipynb" @@ -1531,6 +1550,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-40-PaperTrading-Binance.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-41-PaperTrading-IBKR.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-01-FinBERT-Sentiment.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-02-ML-Classification.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-03-Risk-Parity.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-03b-RiskParity-Composite.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-04-MeanReversion.ipynb" @@ -1538,6 +1558,7 @@ project: - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-06-PCA-StatArb.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-07-TemporalCNN.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-08-ValueFactor-ZScore.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-09-OptionWheel.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-10-RL-DQN-Trading.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-11-RegimeSwitching.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-12-SectorRotation-Momentum.ipynb" @@ -1547,15 +1568,22 @@ project: - "MyIA.AI.Notebooks/QuantConnect/Python/research/research_classification.ipynb" - "MyIA.AI.Notebooks/QuantConnect/Python/research/research_lstm.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/intraday_volume_periodicity.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_btc_ml.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_composite_ff_aw.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_composite_mom_regime.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_iv_rank_strike_clusters.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_m11ef_ensemble.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_m12_har_rv_j.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_m12_har_rv_j_minute.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_m12_hf_btc_local.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_m12_hf_dm_test.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_quality_lowvol.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_risk_parity.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_rl_grpo.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_rl_intro.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_rl_multi_asset.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_rl_ppo.ipynb" + - "MyIA.AI.Notebooks/QuantConnect/research/research_rl_reward_shaping.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_rl_tactical_overlay.ipynb" - "MyIA.AI.Notebooks/QuantConnect/research/research_vrp_putwrite.ipynb" - "MyIA.AI.Notebooks/RL/RL-7b-Climbing-Game.ipynb" @@ -1590,6 +1618,7 @@ project: - "MyIA.AI.Notebooks/RL/rlpt_0d_reward_trainer_sota.ipynb" - "MyIA.AI.Notebooks/RL/rlpt_0e_trl_DPO_SOTA.ipynb" - "MyIA.AI.Notebooks/RL/rlpt_0f_comparaison_GRPO_TRL_et_PPO_maison.ipynb" + - "MyIA.AI.Notebooks/RL/rlpt_0g_ppo_TRL_experimental.ipynb" - "MyIA.AI.Notebooks/RL/rlpt_1_ppo_lm_rlhf.ipynb" - "MyIA.AI.Notebooks/RL/rlpt_2_grpo_minimal.ipynb" - "MyIA.AI.Notebooks/RL/rlpt_3_reward_hacking.ipynb" @@ -1902,6 +1931,8 @@ project: - "MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/08-serre-dans-mathlib.ipynb" - "MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/09-congruences-tau-lacunarite-delta.ipynb" - "MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb" + - "MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/11-corps-quadratiques-reciprocite-quadratique.ipynb" + - "MyIA.AI.Notebooks/SymbolicAI/OR-tools-Stiegler.ipynb" - "MyIA.AI.Notebooks/SymbolicAI/Planners/00-Environment/Planners-0-Setup.ipynb" - "MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-1-Introduction-Csharp.ipynb" - "MyIA.AI.Notebooks/SymbolicAI/Planners/01-Foundation/Planners-1-Introduction.ipynb" diff --git a/scripts/regen_quarto_render.py b/scripts/regen_quarto_render.py index f78fd5e6e4..b36c471cb5 100644 --- a/scripts/regen_quarto_render.py +++ b/scripts/regen_quarto_render.py @@ -113,6 +113,12 @@ # (ex SymbolicAI/Geometry/, tranche 19 #18423). "MyIA.AI.Notebooks/SymbolicAI/Lean/", # tranche 13 #10923 (33 notebooks .ipynb pedagogique Lean) "MyIA.AI.Notebooks/cross-series/", # tranche 13 #10923 (1) + "MyIA.AI.Notebooks/Compression/", # tranche finale #18423 (1, codes prefixes Shannon-Fano -> Huffman) + # Prefix famille : couvre OR-tools-Stiegler.ipynb au niveau racine de + # SymbolicAI/ (38 cellules, pedagogique). Les sous-repertoires deja + # couverts par leurs entrees individuelles ci-dessus restent dedup + # (precedent Integrations-DotNet/ <- Aspire/, tranche 18 #13581). + "MyIA.AI.Notebooks/SymbolicAI/", # tranche finale #18423 (prefix famille, +1 racine) ) # Notebook subtrees that must NOT render (archived families only — vendored @@ -141,6 +147,21 @@ # l'historique git du fichier. Laisser ce tuple vide sauf raison mesuree. NOTEBOOK_EXCLUDE_FILES = () +# Notebooks git-tracks qui restent HORS perimetre de rendu, avec raison +# mesuree (#18423 : « le dire dans le script plutot que laisser implicite »). +# La garde uncovered_notebooks() verifie que c'est exactement la population +# non rendue : tout nouveau .ipynb hors sous-arbres ET hors cette liste fait +# rougir --check (le hole de couverture ne peut plus revenir silencieusement). +NOTEBOOKS_HORS_PERIMETRE = { + # Outil interne de notation (GradeBookApp), pas un carnet de cours. + "MyIA.AI.Notebooks/GradeBook.ipynb", + # Recherche interne (validation e2e quant), hors publication pedagogique. + "MyIA.AI.Notebooks/GenAI/_research/e2e_quant_validation.ipynb", + # Sondes d'outillage : reproduction du bug .NET #17361, smoke runtime. + "scripts/notebook_tools/probes/dotnet-restore-bug-17361.ipynb", + "scripts/notebook_tools/verify_runtime_smoke.ipynb", +} + # Sous-arbres `docs/` dont les `*.md` non-README sont rendus en HTML par # Quarto (issue #18422, Axe C #4211 etendu des READMEs aux .md simples). # Le constat (audit Playwright 2026-09-29) : la page docs/ du site sert ses @@ -277,6 +298,33 @@ def git_tracked_notebooks() -> list[str]: return paths +def uncovered_notebooks() -> list[str]: + """Git-tracked ``.ipynb`` neither rendered nor declared out-of-scope (#18423). + + Diff d'ensemble (un motif qui rate les noms pointes est un faux negatif) : + enumeration exhaustive ``git ls-files '*.ipynb'``, moins la render-list, + moins les archives (NOTEBOOK_EXCLUDE_MARKERS), moins + NOTEBOOKS_HORS_PERIMETRE. Tout residu = trou de couverture : soit un + sous-arbre a ajouter, soit une exclusion a declarer, soit un carnet + hr-bloque (#11451) sous sous-arbre rendu. + """ + out = subprocess.run( + ["git", "-C", str(REPO_ROOT), "-c", "core.quotePath=false", "ls-files", "*.ipynb"], + capture_output=True, text=True, encoding="utf-8", errors="replace", check=True, + ) + rendered = set(git_tracked_notebooks()) + uncovered = [] + for line in out.stdout.splitlines(): + p = line.strip() + if not p or p in rendered or p in NOTEBOOKS_HORS_PERIMETRE: + continue + if any(bad in p for bad in NOTEBOOK_EXCLUDE_MARKERS): + continue + uncovered.append(p) + uncovered.sort(key=str.lower) + return uncovered + + def git_tracked_readmes() -> list[str]: """Return repo-relative POSIX paths of every git-tracked README.md, excluding vendored and archived subtrees.""" @@ -535,8 +583,17 @@ def main() -> int: n = len(git_tracked_readmes()) + 1 n_docs = len(git_tracked_docs_md()) nb = len(git_tracked_notebooks()) + uncovered = uncovered_notebooks() + if uncovered: + print("::error::notebooks git-tracks ni rendus ni declares hors " + "perimetre : " + ", ".join(uncovered) + + " -- ajouter le sous-arbre a NOTEBOOK_SUBTREES ou declarer " + "l'exclusion dans NOTEBOOKS_HORS_PERIMETRE (#18423)", + file=sys.stderr) + return 1 print(f"_quarto.yml render list up to date " - f"({n} READMEs, {n_docs} docs/*.md, {nb} notebooks).") + f"({n} READMEs, {n_docs} docs/*.md, {nb} notebooks, " + f"{len(NOTEBOOKS_HORS_PERIMETRE)} declares hors perimetre).") return 0 QUARTO_YML.write_text(proposed, encoding="utf-8") From 1153f35ea933fcc9d69e01edf170279e9275e7d0 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sat, 3 Oct 2026 09:15:08 +0200 Subject: [PATCH 2/2] fix(site,#18423): resoudre le conflit _quarto.yml -- lignes Actuariat de main + dedup decision_theory_lean Le commit de merge precedent (88e2c8a651a4) est parti avec les marqueurs de conflit (script de resolution plante, chaine && passee quand meme). Correction : lignes Actuariat conservees, doublon decision_theory_lean/README.md deduplique, YAML revalide. Co-Authored-By: Claude Sonnet 5.5 --- _quarto.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/_quarto.yml b/_quarto.yml index cb319b3267..6fba01869f 100644 --- a/_quarto.yml +++ b/_quarto.yml @@ -231,11 +231,7 @@ project: - "MyIA.AI.Notebooks/NLP/README.md" - "MyIA.AI.Notebooks/Probas/Applications/Percolation/README.md" - "MyIA.AI.Notebooks/Probas/Applications/README.md" -<<<<<<< HEAD -======= - - "MyIA.AI.Notebooks/Probas/DecisionTheory/decision_theory_lean/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/Actuariat/README.md" ->>>>>>> origin/main - "MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/README.md" - "MyIA.AI.Notebooks/Probas/DecisionTheory/decision_theory_lean/README.md"