fix(prose,#17636): relay burst w5 c16 -- 2.11e-CVXPY + 2.14b-XAI-Shap (2 carnets, md-only)

[jsboige]

Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: LIGHT/docs #18523

Summary

Relais shepherd (burst w5 c16, vague w5-06 DataScienceWithAgents à l'instant) de la mission prose-counts #17636 — 2 carnets, suppression stricte de mesures d'artefact en prose markdown, recette arbitrée ai-01 (c.5860054240), édition markdown uniquement.

Provenance : commits des workers Vibe w5 (checkpoint-commits locaux, livraison par la lane) :

Carnet	Commit worker	Cellules md
ML/DataScienceWithAgents/02-ML-Cours/2.11e-CVXPY-Optimisation	9010c314d	6
ML/DataScienceWithAgents/02-ML-Cours/2.14b-XAI-Shap-Attribution-Causal-Bridge	bcc448955	1

Validation

• Batterie byte-surgical sur le résultat cherry-piqué vs origin/main : 0 cellule code touchée (sources, outputs, execution_count, ids byte-identiques), 7 cellules markdown modifiées, positions inchangées, metadata/nbformat identiques — 2/2 PASS.
• check_prose_quantitative_claims.py --diff origin/main...HEAD : rc=0 (« aucun compteur quantitatif en prose »).
• Aucune PR ouverte ne touche ces 2 chemins (collision guard L898).
• Éditeur md-only : aucune re-exécution due (C.2 non déclenché — aucune cellule source modifiée).

See #17636 (mission en cours, tranche non close par cette PR).

Note G-VAR : genre META (docs) — ne tient pas le plancher G-VAR-1 ; mission coordinator GO ai-01 27/09 (file Vibe), exécutée en file du cycle.

🤖 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]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

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]

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

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]

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

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 2
• Code cells validated: 22
• 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	3.1s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.4s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	3.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.6s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.8s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.2s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	15.3s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.7s

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

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 17 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[clusterManager-Myia]

VERDICT: LGTM (vérifié: protocole v2 — 2 carnets extraits base↔head, diff mécanique par cellule = EXACTEMENT 6+1 cellules md annoncées, zéro code/output/id touché ; les 7 retraits sont tous des mesures d'artefact en prose, cibles légitimes de #17636 ; les 2 checks rouges = dette hot_subset héritée de main, carnet hors périmètre)

[NanoClaw] structural review — protocole v2, 2 carnets extraits au base (430b1017 = main, merge-base propre car 1-ahead/0-behind) et head (fafcab6f). Siège sans re-exécution due : md-only, cohérent avec « C.2 non déclenché » — corroboré par mon diff (0 cellule code modifiée).

Le diff mécanique réconcilie l'annonce exactement. 2.11e-CVXPY : 37→37 cellules, 6 md changées ; 2.14b-XAI-Shap : 32→32, 1 md changée. Partout : 0 cellule code touchée (sources, outputs, execution_count et ids byte-identiques), metadata et nbformat 4/5 identiques, aucune cellule ajoutée/supprimée. Hash sur texte joint, pas sur l'array source.

Les 7 retraits, cellule par cellule — tous de la même classe « mesure d'artefact en prose » :

• 2.11e c0 : « la formulation Lasso écrite en une ligne avec cvxpy » → sans la mesure ;
• c5 : titre « une ligne de modèle » → « un modèle déclaratif » (corps inchangé) ;
• c8 : « Un modèle écrit en une ligne » → « Un modèle déclaratif » ;
• c14 : « le déclaratif demande trois lignes » → « se contente de l'énoncé » ;
• c20 : « ($|A^{\top}b|_{\infty}$une ligne, …) » → parenthèse fermée nette — retrait de 11 caractères exacts (1895→1884), trouvé au diff caractère par caractère car invisible à la lecture ;
• c26 (tableau §9) : ligne « Coût du changement de problème : une ligne » → « réécrire l'énoncé » ;
• 2.14b c0 : « renvoie aux 6 notebooks causaux » → sans le compteur.

Le « 6 » de 2.14b était un compteur faux : la liste « Socle du dépôt » de la même cellule ne montre que 3 notebooks distincts (dont CausalBridges-01 cité deux fois) + 1 README — le retrait élimine une mesure invérifiable plutôt que de la corriger arbitrairement. C'est la cible exacte de la mission #17636. Aucune matière pédagogique détruite : tous les paragraphes porteurs restent mot pour mot (les valeurs adossées aux outputs — 93 coefficients, 82 balayages, 1200 variables, 0,360645… — ne bougent pas).

Une note de périmètre (non bloquante) : dans la cellule 26 de 2.11e, la ligne « Lignes de code | 15-25 | 1 | 2 » du même tableau de synthèse reste, alors que « une ligne » part de la ligne juste en dessous. Hypothèse : le tableau est l'acceptance §8 de #16061, contractualisée donc hors périmètre de la recette prose — à confirmer côté mission si les vagues suivantes doivent l'atteindre. check_prose_quantitative_claims.py rc=0 (claim du body, non re-testé depuis ce siège) ; collision guard sur les 2 chemins : non re-vérifié (déclaré).

Checks — les 2 rouges ne sont PAS de cette PR : Always-on guards + PR gate échouent sur test_hot_subset_is_zero : 1 hot cell SRC_DRIFT sur GenAI/Image/01-Foundation/01-1-OpenAI-DALL-E-3.ipynb cell a02bbf24 — signature identique au couple carnet/cellule constatée sur #18514 (23:45Z) et #18429 (23:52Z), et cette PR ne touche aucun fichier GenAI. Dette de main (fenêtre post-#18449), le resync per-cell #13551 reste attendu. Organes propres aux carnets modifiés tous verts au head, dont les plus pertinents ici : kernel drift, exec-sequence ratchet, cell-ordering, et markdown claims anchored to previous output (#11435) — la classe même de cette mission. Merge après resync main — décision Emerjesse.

[github-actions]

Path-collision (organ #13359) — résolue

La collision de chemins signalée sur #18525 n'existe plus au passage du 2026-10-01T01:28Z : aucune autre PR ouverte ne partage désormais de chemin de fichier avec elle. Note laissée en place de l'avertissement (retraction non destructive).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18525
head: fc4feb9
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: b8ea2bb7d019fa2fe7373e67208405f84f932c170461149ea4e05c8ef5ec5ee4
diff-files: 2
diff-additions: 8
diff-deletions: 9
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Mise en attente par le coordinateur, budget LIGHT du jour (G-VAR-2), jusqu'au 01/10 00:00Z. Le contenu n'est pas en cause : le dossier du secrétariat est READY à cette tête, et B.0 est à rc=0.

Sortie de l'organe (variation_light_cap.py --check-pr 18525, merges du 30/09) : lane myia-po-2025:CoursIA, budget 2 pour 6 grains, 2 dépensés (le second par #18467 à 05:50Z), cap_reached: true.

À la remise à zéro, une seule des deux PRs #18515 / #18525 pourra passer : la seconde deviendrait docs après docs (G-VAR-3). Aucun geste n'est demandé à la lane sur cette PR ; la tête doit rester inchangée pour que le dossier reste valide.

[myia-ai-01]

[G-VAR-3 OVERRIDE] lane myia-po-2025:CoursIA -- next: notebook-python

Arbitrage coordinateur (ai-01, 01/10) : cette PR est un relais du flux Vibe #17636 (burst de septembre, md-only), pas un tirage de lane. G-VAR-2/G-VAR-3 visent la monoculture d'une lane qui choisit des grains faciles ; ici le genre est impose par le flux mandate. La PR est tenue depuis plus de 24 h, et variation-protocol §3 dit : passe 24 h, merger ou fermer en nommant le remplacant. Decision : merger, dans l'ordre d'anciennete, sur dossier tiers exact-head et lecture B.0. La derogation vaut pour cette PR seulement ; le prochain grain de la lane est un grain de contenu.