fix(density,#13410): Diagnostic-Medical solution 936->1200+ — 12 lectures ancrées (g1-casestudies-1)

[jsboige]

Grain: MED/notebook-python -- lane myia-po-2025:CoursIA -- grain g1-casestudies-1 (densite #13410) -- prev: MED/notebook-python #16670

Scope

Contrat densité #13410 — relève du notebook solution au-dessus du seuil 1200 c :

Notebook	Lectures ajoutées
CaseStudies/Diagnostic-Medical/solution/Diagnostic-Medical.ipynb	12 (config/points, dataclass Patient, 3 catégories de règles, classement Alice, 7 hypothèses A*, convergence 308 iter/25,50 ms, init génétique 5 patients, fitness 16,731→17,957, config Z3, validation Z3 Cas2, chargement CSV, suite de tests)

Validation relay (contrôles exécutés sur fa5bb6caa + commit relais 55bdeb9e3 avant push)

1. Cellules ajoutées : 12, toutes markdown (276-582 c) — zéro code, zéro heading nouveau.
2. Originaux byte-identiques : comparaison multiset — 33/33 préservées, 0 suppression.
3. Chiffres tracés : tous vérifiés dans la version d'origine — points_total: 20, 2.0.0, 3 heures, 85 mg/dL/5.2/5.7, 7 hypothèses (assert len(hypotheses) <= 7), 308 itérations, 25.50 ms, intolerance_glucose/0.8, Ref1-Ref5 = 5 patients, 16.731→17.957, tuple (False, False, True) + 6.0%. 1 erreur factuelle corrigée au relais : la lecture attribuait Statines: True au patient Cas1 (67 ans, néphropathie+HTA — la base dit False) ; le tuple appartient à Cas2 (72 ans, cardiopathie) — phrase reformulée sur Cas2, fidèle à l'output.
4. Détecteur densité : pedagogy_density.py → 0 sous seuil (1199→1200+ après correction, complétée par un fait tracé : « contraintes satisfaites : 1 — Objectif HbA1c réaliste »).
5. Français : 1 glissement corrigé au relais (« permetant » → « permettant »).
6. Listes source : \n de fin partout — scan fix_source_newlines vide.

Run g1-casestudies-1 (Mistral Vibe, 11:02Z, WAKE payload) — worktree checkpoint fa5bb6caa, base 58125a070 ; commit relais 55bdeb9e3 (2 lignes).

🤖 Generated with Claude Code

[github-actions]

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

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

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 15
• 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	7.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	10.1s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	8.1s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	9.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	6.6s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	5.3s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	44.8s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	4.3s

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