From eb862e198973fa5f0c5ed078906f6892a73ff943 Mon Sep 17 00:00:00 2001 From: jsboige Date: Tue, 6 Oct 2026 16:48:44 +0200 Subject: [PATCH 1/5] rename(kelly,#16231): suffixes kernel des compagnons + section Carnets suivants du README MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Alignement suffixes (table postee sur #16231 le 2026-10-06, precedent Tweety #19150) : Kelly_companion.ipynb -> Kelly_companion-Python.ipynb, Kelly_companion_lean.ipynb -> Kelly_companion-Lean.ipynb. - git mv x2 (R100), 0 cellule code touchee (markdown-only : titre H1 du carnet Python + liens de nav des deux jumeaux) -- aucune re-execution due (C.3) - renvois balayes : README kelly_lean, LEAN_INVENTORY, docs/curriculum/trading, _quarto.yml (render-list), scan_d2_window_openness (liste hardcodee), README Probas (table Lean) ; Kelly.en.md et README QuantConnect n'en portent pas - rename-ledger.tsv : +2 lignes, CRLF preserve (binaire) - README kelly_lean : section « Carnets suivants » (issue de croissance #19516 : fractional Kelly, erreur d'estimation, multi-issue, cotes dynamiques) -- aucun total touche (catalogue) See #16231 (table) · See #19516 (croissance) Co-Authored-By: Claude Sonnet 5.5 --- MyIA.AI.Notebooks/Probas/README.md | 2 +- .../QuantConnect/LEAN_INVENTORY.md | 4 ++-- ..._lean.ipynb => Kelly_companion-Lean.ipynb} | 4 ++-- ...ion.ipynb => Kelly_companion-Python.ipynb} | 2 +- .../QuantConnect/kelly_lean/README.md | 19 +++++++++++++++++-- _quarto.yml | 4 ++-- docs/curriculum/trading.md | 4 ++-- docs/reference/rename-ledger.tsv | 2 ++ .../notebook_tools/scan_d2_window_openness.py | 2 +- 9 files changed, 30 insertions(+), 13 deletions(-) rename MyIA.AI.Notebooks/QuantConnect/kelly_lean/{Kelly_companion_lean.ipynb => Kelly_companion-Lean.ipynb} (99%) rename MyIA.AI.Notebooks/QuantConnect/kelly_lean/{Kelly_companion.ipynb => Kelly_companion-Python.ipynb} (99%) diff --git a/MyIA.AI.Notebooks/Probas/README.md b/MyIA.AI.Notebooks/Probas/README.md index 4f89778fdb..188c653dfb 100644 --- a/MyIA.AI.Notebooks/Probas/README.md +++ b/MyIA.AI.Notebooks/Probas/README.md @@ -639,7 +639,7 @@ Cette série ancre mathématiquement ses résultats phares dans un assistant de | Probas (DecisionTheory) | `decision_theory_lean` | Coherence utility ⟹ preferences (loterie de référence) (`0 sorry`) | [`DecisionTheory/DecInfer/`](DecisionTheory/DecInfer/README.md) Coherence | | ML ↔ Probas (PAC Learning) | [`learning_theory_lean`](../ML/learning_theory_lean/) | `pac_finite_class_bound` + `pac_agnostic_generalization` (`0 sorry bout-en-bout`) | [`2.8-Theorie-PAC`](../ML/DataScienceWithAgents/02-ML-Cours/2.8-Theorie-PAC.html) + [`2.8b-Theorie-PAC-Lean`](../ML/DataScienceWithAgents/02-ML-Cours/2.8b-Theorie-PAC-Lean.html) | | Probas (DecisionTheory) | `decision_theory_lean` Peters | Indice de Gittins, identités d'escompte (`0 sorry`, ref `v4.27.0-rc1`) | [`DecInfer-08b-Lean-Gittins`](DecisionTheory/DecInfer/DecInfer-08b-Lean-Gittins.ipynb) | -| QC ↔ Probas | `kelly_lean` | Fraction risquée `f* = μ−σ²/2` sous log-bienveillance (`0 sorry`) | [`Kelly_companion.ipynb`](../QuantConnect/kelly_lean/Kelly_companion.ipynb) | +| QC ↔ Probas | `kelly_lean` | Fraction risquée `f* = μ−σ²/2` sous log-bienveillance (`0 sorry`) | [`Kelly_companion-Python.ipynb`](../QuantConnect/kelly_lean/Kelly_companion-Python.ipynb) | | GameTheory ↔ Probas | `game_theory_lean` (Arrow) | Impossibilité d'Arrow (5 axiomes ⇒ dictature) | [`01-Arrow-Impossibility-Theorem.ipynb`](../GameTheory/SocialChoice/01-Arrow-Impossibility-Theorem.ipynb) | | Search ↔ Probas | `search_lean` | Consistance heuristique `h ≤ h*` ⇒ optimalité `A*` | hub Search (cf [`search_lean/`](../Search/search_lean/)) | | SymbolicAI ↔ Probas | `argumentation_lean` | Extension Dung (`grounded`/`preferred`/`stable`) par cadre formel | [`Argumentation-03-Dung-AF-Semantics-Python.ipynb`](../SymbolicAI/Argument_Analysis/Argumentation-03-Dung-AF-Semantics-Python.ipynb) | diff --git a/MyIA.AI.Notebooks/QuantConnect/LEAN_INVENTORY.md b/MyIA.AI.Notebooks/QuantConnect/LEAN_INVENTORY.md index bccf9ef599..619d9202f9 100644 --- a/MyIA.AI.Notebooks/QuantConnect/LEAN_INVENTORY.md +++ b/MyIA.AI.Notebooks/QuantConnect/LEAN_INVENTORY.md @@ -36,5 +36,5 @@ fraction (`kellyFrac_feasible`), et formalisation du pari équivalent (`q`, `pq_ **Câblage CI** : matrice [`lean-ci-matrix.yml`](../../.github/workflows/lean-ci-matrix.yml) (clé `kelly` dans `scripts/lean/ci_lakes.json` ; push `main`, paths `MyIA.AI.Notebooks/QuantConnect/kelly_lean/**.lean` + `lakefile.*`), pipeline `real`. -**Notebooks dans le lake (2, C.2 OK)** : `Kelly_companion.ipynb` (Python) et -`Kelly_companion_lean.ipynb` (Lean) à la racine du lake. +**Notebooks dans le lake (2, C.2 OK)** : `Kelly_companion-Python.ipynb` (Python) et +`Kelly_companion-Lean.ipynb` (Lean) à la racine du lake. diff --git a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb similarity index 99% rename from MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb rename to MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb index 1f1ff40897..8de58a7f60 100644 --- a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb @@ -7,7 +7,7 @@ "source": [ "# Kelly — compagnon natif (kernel Lean 4)\n", "\n", - "Ce notebook est le **jumeau à kernel Lean** du compagnon Python `Kelly_companion.ipynb`.\n", + "Ce notebook est le **jumeau à kernel Lean** du compagnon Python `Kelly_companion-Python.ipynb`.\n", "Il rend visible ce que le lake `kelly_lean` **prouve** : chaque énoncé du lake est\n", "importé et vérifié **par le noyau Lean lui-même** (`#check`, `#print axioms`, exemples\n", "re-prouvés en cellule), pas recopié en prose. Le compagnon Python garde la narration\n", @@ -1215,7 +1215,7 @@ "- la version **faisceautique** / multi-pas en temps continu (formalisme de\n", " croissance optimale continue, cf. la littérature Merton).\n", "\n", - "Le compagnon Python (`Kelly_companion.ipynb`) montre quantitativement le premier point :\n", + "Le compagnon Python (`Kelly_companion-Python.ipynb`) montre quantitativement le premier point :\n", "trajectoires composées, ruine du surenchérisseur, effet du demi-Kelly sur les\n", "drawdowns." ] diff --git a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb similarity index 99% rename from MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb rename to MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb index 56f3e14d35..9d040c374c 100644 --- a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb +++ b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb @@ -5,7 +5,7 @@ "id": "a95da734", "metadata": {}, "source": [ - "# Le critere de Kelly — compagnon Python du lake `kelly_lean`\n", + "# Kelly — compagnon Python du lake `kelly_lean`\n", "\n", "Ce notebook est le **volet numérique** de la preuve formelle\n", "[`kelly_lean`](./Kelly/Kelly.lean) (Lean 4 + Mathlib). Il montre, cote a cote\n", diff --git a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md index 3652ae610e..9fea998a44 100644 --- a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md +++ b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md @@ -128,5 +128,20 @@ lakes frères) ; deux notebooks compagnons le rendent pédagogique : | Notebook | Rôle | |---|---| -| [`Kelly_companion.ipynb`](Kelly_companion.ipynb) | **Volet numérique (Python)** : montre, côte à côte avec les théorèmes prouvés, pourquoi `f*` maximise le taux de croissance espéré `g(f)` et pourquoi tout sur-pari (`f > f*`) ou sous-pari (`f < f*`) est strictement sous-optimal — narration économique, figures et lien trading. | -| [`Kelly_companion_lean.ipynb`](Kelly_companion_lean.ipynb) | **Jumeau à kernel Lean 4** : chaque énoncé du lake est importé et vérifié par le noyau Lean lui-même (`#check`, `#print axioms`, exemples re-prouvés en cellule) — les énoncés qui compilent, pas la prose recopiée. | +| [`Kelly_companion-Python.ipynb`](Kelly_companion-Python.ipynb) | **Volet numérique (Python)** : montre, côte à côte avec les théorèmes prouvés, pourquoi `f*` maximise le taux de croissance espéré `g(f)` et pourquoi tout sur-pari (`f > f*`) ou sous-pari (`f < f*`) est strictement sous-optimal — narration économique, figures et lien trading. | +| [`Kelly_companion-Lean.ipynb`](Kelly_companion-Lean.ipynb) | **Jumeau à kernel Lean 4** : chaque énoncé du lake est importé et vérifié par le noyau Lean lui-même (`#check`, `#print axioms`, exemples re-prouvés en cellule) — les énoncés qui compilent, pas la prose recopiée. | + +## Carnets suivants + +Plan de croissance trace dans l'issue +[#19516](https://github.com/jsboige/CoursIA/issues/19516) (table postee sur +[#16231](https://github.com/jsboige/CoursIA/issues/16231)) : + +1. **Fractional Kelly mesure** — module Lean `Fractional` (`growth(c*f*) ≤ growth(f*)`, + egalite seulement pour `c = 1`) + companion Python : surface croissance/variance + sur la fraction, multi-seed — la reponse chiffree au « pourquoi demi-Kelly ». +2. **Erreur d'estimation : biais de l'optimiste** — companion Python : + `kellyFrac(p_hat)` applique a `p_hat` bruite → surexposition moyenne mesuree. +3. **Kelly multi-issue** — generalisation de `Bet` a `n` issues (lake) + companion. +4. **Cotes dynamiques / sequence** — companion Python seul (bookmaker qui ajuste + `b_t` dans le temps ; hors lake). diff --git a/_quarto.yml b/_quarto.yml index 06bddb5ec8..5ff137dda7 100644 --- a/_quarto.yml +++ b/_quarto.yml @@ -1400,8 +1400,8 @@ project: - "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/kelly_lean/Kelly_companion-Python.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" diff --git a/docs/curriculum/trading.md b/docs/curriculum/trading.md index e9311494eb..9738686c3d 100644 --- a/docs/curriculum/trading.md +++ b/docs/curriculum/trading.md @@ -295,8 +295,8 @@ Stratégies de trading algorithmique avec QuantConnect, pipeline ML (Transformer | # | Notebook | Maturité | Exécutable | |---|----------|----------|------------| -| 1 | [Le critere de Kelly — compagnon Python du lake…](../../MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb) | BETA | Non | -| 2 | [Kelly — compagnon natif (kernel Lean 4)](../../MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb) | BETA | Non | +| 1 | [Le critere de Kelly — compagnon Python du lake…](../../MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb) | BETA | Non | +| 2 | [Kelly — compagnon natif (kernel Lean 4)](../../MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb) | BETA | Non | ## QuantConnect/projects (46 notebooks) diff --git a/docs/reference/rename-ledger.tsv b/docs/reference/rename-ledger.tsv index 1624b3a200..7c60fb23b0 100644 --- a/docs/reference/rename-ledger.tsv +++ b/docs/reference/rename-ledger.tsv @@ -264,3 +264,5 @@ MyIA.AI.Notebooks/RL/rlpt_1_ppo_lm_rlhf.ipynb MyIA.AI.Notebooks/RL/PostTraining/ MyIA.AI.Notebooks/RL/rlpt_2_grpo_minimal.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-02-GRPO-Minimal-Python.ipynb 2026-10-05 myia-po-2027:CoursIA MyIA.AI.Notebooks/RL/rlpt_3_reward_hacking.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-03-Reward-Hacking-Python.ipynb 2026-10-05 myia-po-2027:CoursIA MyIA.AI.Notebooks/RL/rlpt_4_dpo_vs_ppo.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-04-DPO-Offline-contre-GRPO-Online-Python.ipynb 2026-10-05 myia-po-2027:CoursIA +MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb +MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb diff --git a/scripts/notebook_tools/scan_d2_window_openness.py b/scripts/notebook_tools/scan_d2_window_openness.py index 88329f6c7a..8af4b59017 100644 --- a/scripts/notebook_tools/scan_d2_window_openness.py +++ b/scripts/notebook_tools/scan_d2_window_openness.py @@ -121,7 +121,7 @@ Voir issue #10230 (refutation firsthand de la mesure 82 % de #9772). --- Echantillon D2+ (10 premiers) : - MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb + MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/c875_hmm_alpha_dm_research.ipynb ... From 3aec3d27f509f9e726452f02772d6cf5c8ea35fa Mon Sep 17 00:00:00 2001 From: jsboige Date: Tue, 6 Oct 2026 17:53:32 +0200 Subject: [PATCH 2/5] Fix(readme,#16231): companions Kelly lies en .html (rendered, #13025) Le sweep de renommage pointait le .ipynb brut des deux companions dans kelly_lean/README.md et Probas/README.md ; ces carnets etant dans la render-list, la convention Pages exige le sibling .html (STALE_LINK, garde readme-ipynb-links, delta base vs tete). Verifie : regen_quarto_render --check-readme-links -> 0 violation kelly. Co-Authored-By: Claude Sonnet 5.5 --- MyIA.AI.Notebooks/Probas/README.md | 2 +- MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/MyIA.AI.Notebooks/Probas/README.md b/MyIA.AI.Notebooks/Probas/README.md index 188c653dfb..8094db66b9 100644 --- a/MyIA.AI.Notebooks/Probas/README.md +++ b/MyIA.AI.Notebooks/Probas/README.md @@ -639,7 +639,7 @@ Cette série ancre mathématiquement ses résultats phares dans un assistant de | Probas (DecisionTheory) | `decision_theory_lean` | Coherence utility ⟹ preferences (loterie de référence) (`0 sorry`) | [`DecisionTheory/DecInfer/`](DecisionTheory/DecInfer/README.md) Coherence | | ML ↔ Probas (PAC Learning) | [`learning_theory_lean`](../ML/learning_theory_lean/) | `pac_finite_class_bound` + `pac_agnostic_generalization` (`0 sorry bout-en-bout`) | [`2.8-Theorie-PAC`](../ML/DataScienceWithAgents/02-ML-Cours/2.8-Theorie-PAC.html) + [`2.8b-Theorie-PAC-Lean`](../ML/DataScienceWithAgents/02-ML-Cours/2.8b-Theorie-PAC-Lean.html) | | Probas (DecisionTheory) | `decision_theory_lean` Peters | Indice de Gittins, identités d'escompte (`0 sorry`, ref `v4.27.0-rc1`) | [`DecInfer-08b-Lean-Gittins`](DecisionTheory/DecInfer/DecInfer-08b-Lean-Gittins.ipynb) | -| QC ↔ Probas | `kelly_lean` | Fraction risquée `f* = μ−σ²/2` sous log-bienveillance (`0 sorry`) | [`Kelly_companion-Python.ipynb`](../QuantConnect/kelly_lean/Kelly_companion-Python.ipynb) | +| QC ↔ Probas | `kelly_lean` | Fraction risquée `f* = μ−σ²/2` sous log-bienveillance (`0 sorry`) | [`Kelly_companion-Python.ipynb`](../QuantConnect/kelly_lean/Kelly_companion-Python.html) | | GameTheory ↔ Probas | `game_theory_lean` (Arrow) | Impossibilité d'Arrow (5 axiomes ⇒ dictature) | [`01-Arrow-Impossibility-Theorem.ipynb`](../GameTheory/SocialChoice/01-Arrow-Impossibility-Theorem.ipynb) | | Search ↔ Probas | `search_lean` | Consistance heuristique `h ≤ h*` ⇒ optimalité `A*` | hub Search (cf [`search_lean/`](../Search/search_lean/)) | | SymbolicAI ↔ Probas | `argumentation_lean` | Extension Dung (`grounded`/`preferred`/`stable`) par cadre formel | [`Argumentation-03-Dung-AF-Semantics-Python.ipynb`](../SymbolicAI/Argument_Analysis/Argumentation-03-Dung-AF-Semantics-Python.ipynb) | diff --git a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md index 9fea998a44..6883a019e3 100644 --- a/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md +++ b/MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md @@ -128,8 +128,8 @@ lakes frères) ; deux notebooks compagnons le rendent pédagogique : | Notebook | Rôle | |---|---| -| [`Kelly_companion-Python.ipynb`](Kelly_companion-Python.ipynb) | **Volet numérique (Python)** : montre, côte à côte avec les théorèmes prouvés, pourquoi `f*` maximise le taux de croissance espéré `g(f)` et pourquoi tout sur-pari (`f > f*`) ou sous-pari (`f < f*`) est strictement sous-optimal — narration économique, figures et lien trading. | -| [`Kelly_companion-Lean.ipynb`](Kelly_companion-Lean.ipynb) | **Jumeau à kernel Lean 4** : chaque énoncé du lake est importé et vérifié par le noyau Lean lui-même (`#check`, `#print axioms`, exemples re-prouvés en cellule) — les énoncés qui compilent, pas la prose recopiée. | +| [`Kelly_companion-Python.ipynb`](Kelly_companion-Python.html) | **Volet numérique (Python)** : montre, côte à côte avec les théorèmes prouvés, pourquoi `f*` maximise le taux de croissance espéré `g(f)` et pourquoi tout sur-pari (`f > f*`) ou sous-pari (`f < f*`) est strictement sous-optimal — narration économique, figures et lien trading. | +| [`Kelly_companion-Lean.ipynb`](Kelly_companion-Lean.html) | **Jumeau à kernel Lean 4** : chaque énoncé du lake est importé et vérifié par le noyau Lean lui-même (`#check`, `#print axioms`, exemples re-prouvés en cellule) — les énoncés qui compilent, pas la prose recopiée. | ## Carnets suivants From 5657950a17ebbc0e48d6ac571bfad5d84ecf6995 Mon Sep 17 00:00:00 2001 From: jsboige Date: Tue, 6 Oct 2026 21:48:47 +0200 Subject: [PATCH 3/5] Fix(ledger,#19518): 2 lignes kelly_lean completees (date + lane) Le ledger TSV documente chaque renommage de carnet en 4 colonnes : ancien/nouveau/date/lane. Les 2 lignes du sweep kelly_lean (#16231 suffixe kernel, PR #19518) s'arretaient au nouveau chemin. Header verifie : 4 colonnes, toutes les lignes precedentes completes (RL 2026-10-05, GameTheory 2026-09-27, etc.). Reserve NanoClaw levee (verdict CONCERNS du 2026-10-06, body item #2 P5). La reserve #1 (3 STALE_LINK .ipynb -> .html) est deja couverte par le commit parent 3aec3d27f5 sur la meme PR. Co-Authored-By: Claude Haiku 4.5 (1M context) --- docs/reference/rename-ledger.tsv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/reference/rename-ledger.tsv b/docs/reference/rename-ledger.tsv index 7c60fb23b0..cd5aad55d6 100644 --- a/docs/reference/rename-ledger.tsv +++ b/docs/reference/rename-ledger.tsv @@ -264,5 +264,5 @@ MyIA.AI.Notebooks/RL/rlpt_1_ppo_lm_rlhf.ipynb MyIA.AI.Notebooks/RL/PostTraining/ MyIA.AI.Notebooks/RL/rlpt_2_grpo_minimal.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-02-GRPO-Minimal-Python.ipynb 2026-10-05 myia-po-2027:CoursIA MyIA.AI.Notebooks/RL/rlpt_3_reward_hacking.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-03-Reward-Hacking-Python.ipynb 2026-10-05 myia-po-2027:CoursIA MyIA.AI.Notebooks/RL/rlpt_4_dpo_vs_ppo.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-04-DPO-Offline-contre-GRPO-Online-Python.ipynb 2026-10-05 myia-po-2027:CoursIA -MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb -MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb +MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb 2026-10-06 myia-po-2024:CoursIA-2 +MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb 2026-10-06 myia-po-2024:CoursIA-2 From 9af11a0f324ed365e0ce93e9aa86b138cefebd18 Mon Sep 17 00:00:00 2001 From: jsboige Date: Tue, 6 Oct 2026 23:47:26 +0200 Subject: [PATCH 4/5] Fix(ledger,#19518): attribution lane kelly -- po-2024:CoursIA, auteur du renommage La colonne lane du ledger documente la lane AUTEURE du renommage (cf. lignes RL -> po-2027:CoursIA). Le sweep kelly_lean vient de myia-po-2024:CoursIA (claim 2026-10-06T11:59:30Z, commit eb862e19897), non de CoursIA-2. Co-Authored-By: Claude Sonnet 5.5 --- docs/reference/rename-ledger.tsv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/reference/rename-ledger.tsv b/docs/reference/rename-ledger.tsv index cd5aad55d6..fa57e82fee 100644 --- a/docs/reference/rename-ledger.tsv +++ b/docs/reference/rename-ledger.tsv @@ -264,5 +264,5 @@ MyIA.AI.Notebooks/RL/rlpt_1_ppo_lm_rlhf.ipynb MyIA.AI.Notebooks/RL/PostTraining/ MyIA.AI.Notebooks/RL/rlpt_2_grpo_minimal.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-02-GRPO-Minimal-Python.ipynb 2026-10-05 myia-po-2027:CoursIA MyIA.AI.Notebooks/RL/rlpt_3_reward_hacking.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-03-Reward-Hacking-Python.ipynb 2026-10-05 myia-po-2027:CoursIA MyIA.AI.Notebooks/RL/rlpt_4_dpo_vs_ppo.ipynb MyIA.AI.Notebooks/RL/PostTraining/RLPT-04-DPO-Offline-contre-GRPO-Online-Python.ipynb 2026-10-05 myia-po-2027:CoursIA -MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb 2026-10-06 myia-po-2024:CoursIA-2 -MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb 2026-10-06 myia-po-2024:CoursIA-2 +MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb 2026-10-06 myia-po-2024:CoursIA +MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion_lean.ipynb MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Lean.ipynb 2026-10-06 myia-po-2024:CoursIA From 226870b02e6df6ae69bb879040d7bfd8d6d7c5a6 Mon Sep 17 00:00:00 2001 From: jsboige Date: Wed, 7 Oct 2026 00:23:44 +0200 Subject: [PATCH 5/5] fix(kelly,#16231): deplacer la cle baseline Kelly_companion vers -Python (orphan guard) Le renommage Kelly_companion.ipynb -> Kelly_companion-Python.ipynb avait supprime le suivi densite pedagogique du carnet : le garde #13815/#16122 rendait 1 ORPHAN_KEY (ancienne cle sans fichier suivi) + 1 LOST_KEY (renommage ayant supprime la cle au lieu de la deplacer -- cliquet ampute en silence) au head 9af11a0f324. Deplacement textuel de la cle seule (valeur 1125.667 conservee, diff 1 ligne) ; --check-orphans --base 25d168bc : 0 ORPHAN_KEY, 0 LOST_KEY, rc=0. Co-Authored-By: Claude Sonnet 5.5 --- scripts/notebook_tools/pedagogy_density_baseline.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/notebook_tools/pedagogy_density_baseline.json b/scripts/notebook_tools/pedagogy_density_baseline.json index 2e745c4912..9e6f7e44b5 100644 --- a/scripts/notebook_tools/pedagogy_density_baseline.json +++ b/scripts/notebook_tools/pedagogy_density_baseline.json @@ -425,7 +425,7 @@ "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-12-SectorRotation-Momentum.ipynb": 3750.667, "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Cloud-14-DualMomentum.ipynb": 3204.333, "MyIA.AI.Notebooks/QuantConnect/Python/QC-Py-Dataset-Workflow.ipynb": 663.071, - "MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion.ipynb": 1125.667, + "MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Python.ipynb": 1125.667, "MyIA.AI.Notebooks/RL/RL-10-Reward-Shaping-Curriculum-Python.ipynb": 1327.5, "MyIA.AI.Notebooks/RL/RL-11-POMDP-Croyances-Python.ipynb": 830.6, "MyIA.AI.Notebooks/RL/RL-12-Distributional-RL-C51-Python.ipynb": 1071.167,