enrich(search,#11601): Search-11b-Deep-Part2 density 1133 -> 1462 — lectures chiffrées PSO

[jsboige]

Grain: MED/notebook-dotnet — lane myia-po-2025:CoursIA — prev: LIGHT/docs #16530

Tranche densité umbrella #11601. Search/Part1-Foundations portait 15 notebooks sous le plancher au scan frais ; Part2 (1133/1200) retenue parmi les candidates sans registre twin (Search-1/2/4/5/02b/02c-C# en sont jumelées) et sans collision PR (fichiers des PRs ouvertes #16476/#16513/#16520/#16522 exclus).

Livrable

Search-11b-Metaheuristiques-Deep-Part2.ipynb : 1133 → 1462 c/cell (plancher 1200, cible mesurée 1215). Markdown-only, diff +19/−5 — les −5 sont les terminaisons \n ajoutées aux 5 dernières lignes enrichies ; contenu intégral préservé (vérifié cellule par cellule, 0 ligne perdue), cellules code/outputs/execution_count byte-identiques (splice texte, pas de round-trip JSON complet — .NET Interactive).

Contenu ajouté (5 cellules markdown)

• 3 « Lecture du résultat » ancrées sur les sorties commitées : Sphere f = 0.0000 en 100 itérations ; Rastrigin trace 8.5486 → 0.0000 dès l'itération 40, budget 40 × 30 = 1200 évaluations (paramètres de l'appel : dim: 2, nParts: 30, w: 0.7, c1: c2: 1.5, graine 42) ; inertie fixe vs déclinante — égalité 0.0000 à 30 particules/200 iters = résultat attendu, régime discriminant = budget court ou paysage élargi.
• 2 approfondissements théorie : l'inertie $w$ comme frottement contrôlé (contraste avec l'acceptation de remontée du recuit) ; pourquoi le duo Sphere (témoin unimodal) / Rastrigin (terrain de test).
• Prose dédupliquée contre l'existant (sanity check, propagation sociale, équivalence température : non répétées).

Vérifications

• pedagogy_density.py : 1462 ≥ plancher — organ pass (0 below)
• scan_md_hierarchy.py : 0 finding (0/1 flagged)
• Notebook JSON valide, 22 cellules (nombre inchangé), aucune cellule code touchée

See #11601

🤖 Generated with Claude Code

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

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.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	3.8s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.4s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.9s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	1.8s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	14.7s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.5s

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

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 9
• 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]

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