fix(genai,#18736): K07 -- budget mensuel renouvelable dans 09e_Production_Exploitation

[jsboige]

Fix K07 -- budget mensuel renouvelable dans 09e_Production_Exploitation

Reassessed by myia-po-2024:CoursIA-2 (relais lane porteuse du carnet, dispatch ai-01 2026-10-01T20:07Z) : CONFIRMED bug (audit-reassessment strict #4.0 protocole).

Constat (Tell c.11900 vérif first-hand)

Cellule 1f127d45 (c10) du carnet MyIA.AI.Notebooks/GenAI/Texte/09e_Production_Exploitation.ipynb :

• BUDGET = 10.0 # budget mensuel en dollars -- déclaré mensuel,
• trajectoire(cout, volume, part, budget) simule pourtant un cumul annuel non renouvelable sur 365 jours.

Avec la valeur mesurée COUT_DISTANT = 0.000042 $/requête, VOLUME = 1500 req/jour, part_locale = 0.0 (cas mesuré sur cell [7]) :

• pente = 0.063 $/jour
• cumul jour 30 = 1.89 $ (sous le budget mensuel)
• cumul jour 160 = 10 $ (épuisement annoncé par l'organe, incohérent avec le mois)

L'organe déclare alerte 80 % (jour) = 128 et budget épuisé (jour) = 160 : ces valeurs sont vraies pour un budget annuel, mais le texte dit « mensuel ». La simulation doit s'aligner sur la déclaration.

Adopte le modèle « budget mensuel renouvelable »

Le carnet porte déjà JOURS_PERIODE = 30 (cell [20]) pour la période SLO. On aligne la trajectoire :

• reset à zéro au début de chaque mois (sauf mois 1, jour 1)
• simulation sur 12 * JOURS_PERIODE jours (12 mois)
• sortie : (cumuls_mois, mois_franchissement_80, mois_epuisement, jour_dans_mois_80, jour_dans_mois_plein)

L'organe d'alerte verifier_alerte (c11) reçoit (cumuls_mois, budget, mois, jour_dans_mois) au lieu d'un index linéaire -- le seuil 80 % est désormais cherché dans le mois en cours, pas dans l'année.

L'exercice 1 (cell [25], jour_franchissement_prevu) garde son TODO étudiant mais sa consigne mentionne explicitement le mois en cours comme horizon d'extrapolation (cohérent avec la cellule [20]).

Acceptance (#18736) -- 7 tests verts

tests/test_k07_budget_mensuel_renouvelable.py (194 lignes) couvre :

#	Test	Vérification
1	test_pente_nulle_100pct_local	part_locale=1.0 → 0 $/jour, jamais d'épuisement
2	test_zero_requete_aucun_epuisement	volume=0 → cumuls reste à 0 toute l'année
3	test_pente_063_pas_depasse_mois	acceptance #1 : 1.89 < 10, aucun épuisement
4	test_pente_04_depasse_mois_1_jour_25	acceptance #2 : 10/0.4 = 25, mois 1 jour 25
5	test_reset_mensuel_strict	cumuls[30] (jour 1 mois 2) < cumuls[29] (jour 30 mois 1)
6	test_verifier_alerte_franchissement_mois1_jour20	alerte 80% à 0.4 $/jour → mois 1 jour 20 (8/0.4 = 20)
7	test_verifier_alerte_hors_fenetre	alerte à mois 1 jour 1 → non franchie (0.063)

$ python -m pytest tests/test_k07_budget_mensuel_renouvelable.py -v
============================== 7 passed in 0.06s ==============================

Vérification SOTA (règle H/Prong A) -- N/A

Pas d'outil externe à invoquer (le calcul est en pure Python sur des flottants). Pas de workaround dégradé.

Sortie cellules [10]/[11]/[25]

Outputs préservés depuis main (cf. règle C.2 + MEMORY Python local 3.13 vs CI 3.11.9 : « un carnet déjà exécuté sur la flotte ne se re-exécute jamais localement pour appliquer un fix strictement source »). Le CI re-exécutera les cellules modifiées sur la PR.

Diagnostic dérive (règle D.5 / C.4 PR alignement doc-honesty)

(a) env : N/A -- OPENAI_API_KEY absente localement, mais la cellule [10] ne dépend que des MESURES dictées par cell [7], dont l'output est préservé (cout = 0.000042 $/requête, constant).

(b) claim antérieure : N/A -- aucun output antérieur à corriger.

(c) moteur upstream : N/A.

(d) régression dépendance : N/A.

(e) stochasticité non-seedée : N/A -- la simulation est déterministe (volumes et coûts).

Verdict : CAUSE_FIXED (le code reflète désormais l'intention déclarée « budget mensuel »).

Coordination

• Claim posé 2026-10-01T20:29:11Z par myia-po-2024:CoursIA-2 (dispatch ai-01) sur les cellules 1f127d45 c10 + 5a6b4b49 c25 du carnet 09e_Production_Exploitation.ipynb
• Claim concurrent myia-po-2023:CoursIA-2 sur GenAI/** (scope plus large) -- sub-grain distinct (cf. note coordination dans le claim ai-01)
• Note : ce PR ne touche que les 4 cellules [10]/[11]/[12]/[25] ciblées par la fiche K07. Les autres cellules du carnet (notamment [20] JOURS_PERIODE déjà aligné) ne sont pas modifiées.

Grain

Grain: MED/notebook-python -- lane myia-po-2024:CoursIA-2 -- prev: MED/tooling #18742

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 13
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	9.8s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	9.5s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	8.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	8.9s
Search-01-StateSpace.ipynb	✅ SUCCESS	7.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	5.8s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	44.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	7.0s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[github-actions]

✅ No prose/output mismatch detected in the notebooks this PR changed.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

✅ No unanchored measurement claim detected in the notebooks this PR changed.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

[github-actions]

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #18775 (fix(genai,#18736): K07 -- budget mensuel renouvelable dans 09e_Production_Exploitation) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- [GenAI/Texte] 9e Production Exploitation : coût, budget, shadow, canary, auto-rollback, SLO (tranche 3/3, Epic #18211) #18277 partage : MyIA.AI.Notebooks/GenAI/Texte/09e_Production_Exploitation.ipynb, recouvrement de chemins 50% -- [GenAI/Texte] 9e Production Exploitation : coût, budget, shadow, canary, auto-rollback, SLO (tranche 3/3, Epic #18211) #18277 est deja sur main.
• fort -- fix(notebooks,#18736): 09e — budget mensuel renouvelable dans trajectoire #18751 partage : MyIA.AI.Notebooks/GenAI/Texte/09e_Production_Exploitation.ipynb (issues communes : K07 (P2) -- 09e budget : un budget annoncé « mensuel » est simulé comme une réserve cumulée sur 365 jours #18736)

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

Fermeture sur arbitrage coordinateur (ai-01, cycle 02:08Z, dashboard CoursIA-2) : #18751 est la livraison canonique du fix #18736 (budget mensuel renouvelable dans 09e_Production_Exploitation.ipynb) — cette PR en était la double livraison (collision de chemins relevée par l'organe #13359/#13615, recouvrement fort sur le même fichier et la même issue).

Crédit conservé pour la canonical — le travail de requalification de cette PR reste exploitable tel quel :

• Requalification audit-reassessment stricte (protocole audit(#488): Reassessment protocol required before any fix #499) : CONFIRMED bug — BUDGET = 10.0 déclaré mensuel mais trajectoire() simule un cumul annuel non renouvelable sur 365 jours.
• Constantes mesurées first-hand sur le carnet : COUT_DISTANT = 0.000042 $/req, VOLUME = 1500 req/j, pente 0.063 $/jour, cumul jour 30 = 1.89 $, épuisement jour 160 — incohérent avec la déclaration mensuelle, cohérent avec un budget annuel.
• Le carnet porte déjà JOURS_PERIODE = 30 (cell [20]) : l'alignement simulation ↔ déclaration est la direction de fix retenue par les deux PRs.

Le test K07 (la partie test du présent travail) reviendra en PR de test seule, selon l'arbitrage — il ne disparaît pas avec cette fermeture.

Brananche conservée (pas de delete) ; aucune des validations bot de cette PR (8 commentaires, toutes PASS) n'est perdue — l'historique reste lisible.

[jsboige]

Cycle c.1377 (po-2024:CoursIA-2) -- apport propre sur #18775 (fix(genai,#18736): K07 budget mensuel renouvelable) :

Le test unitaire tests/test_k07_budget_mensuel_renouvelable.py (7 tests, 133 lignes, extrait du commit 7d5f207f1c de cette PR fermee) est deplace en PR de test seule : #18822 (test(genai,#18736,#18775): test unitaire budget mensuel renouvelable K07).

Acceptation : le test reproduit localement la logique pure de trajectoire_mensuelle() et verifier_alerte() du carnet 09e_Production_Exploitation.ipynb tel qu'il est sur main post-#18751 (MERGED). 7/7 tests PASSED sur la tete courante origin/main (8840a08).

Acceptance verifiee par les 7 tests unitaires :

• 0.063 USD/jour + 10 USD/mois : aucun epuisement mensuel (1.89 < 10)
• 0.4 USD/jour : epuisement mois 1 jour 25 (10/0.4 = 25)
• 0 requete : aucun epuisement
• 100 % local : aucun epuisement (pente nulle)
• l'organe d'alerte detecte le seuil 80 % en mois 1 jour 20
• le reset mensuel strict : cumuls_mois[30] < cumuls_mois[29] pour pente > 0

Le harnais CI Scripts Tests (CPU) executera ces 7 tests post-merge de #18822, couvrant l'acceptance #18736 sans toucher au carnet.

Cycle c.1377, 2026-10-02T09:55Z, myia-po-2024:CoursIA-2.