Docs(twin,#19269): re-attestation de la paire Search-09 apres la puce cote Python

[jsboige]

See #19269 (livraison partielle : le cadre est nommé ; la tranche QP de Markowitz reste reportée)

Hors flotte (exemption #17713).

Mise à jour du 2026-10-16, après fusion de main (tête cdac083930). #20955 a été mergée entre-temps : elle ajoute, côté Python seul, le lien de navigation vers Search-09f-ConvexOptimisation-Python dans la première et la dernière cellule de Search-09, sans ré-attester la paire (sur main, la paire est en DRIFT depuis ce merge : Python a drift (content) : 80ca9d75 -> 761ba886). La fusion est propre (lignes disjointes de la puce de cette PR), mais elle périme l'attestation du 2026-10-14.

• L'entrée d'audit 0007-2026-10-14-hors-flotte-claude-session-19269.yaml, qui n'est jamais arrivée sur main, est remplacée par 0007-2026-10-16-hors-flotte-claude-session-19269.yaml, écrite par check_twin_parity.py --update --pair "Search-09 LinearProgramming" --by hors-flotte:claude-session-19269 en dernière opération, sur la tête fusionnée (content_python_sha 6d222ab2…5161, content_csharp_sha b9ce5234…fff7 inchangé).
• La note known_differences couvre désormais les deux éditions côté Python : la puce de cette PR et le lien vers 09f (qui n'a pas de jumeau C#, le lien ne s'y transpose pas).
• Contrôle relancé à la tête : paire Search-09 LinearProgramming = OK ; le jumeau C# est byte-identique à main. Cette PR répare donc au passage la dérive laissée sur main par feat(search,#19269): Search-09f — du linéaire au convexe (LP → QP → SOCP), Markowitz App-10 en QP exacte #20955.
• Diff final contre main : 3 fichiers, +8/−0 (la puce, la note known_differences, l'entrée d'audit).

Summary

• Nomme le cadre convexe dans la conclusion « Pour aller plus loin » du carnet Search-09-LinearProgramming.ipynb (Python) : une seule puce ajoutée à la liste Théorie, qui range le LP dans la chaîne LP ⊂ QP ⊂ SOCP ⊂ SDP ⊂ optimisation convexe générale.
• Livraison partielle de [Distillation] Convex Optimisation (Boyd & Vandenberghe 2004) -- du LP de Search-9 au cadre convexe (MED, non prioritaire) #19269. La référence Boyd & Vandenberghe était déjà livrée (MyIA.AI.Notebooks/Search/README.md:292, fix(search,#19269): Boyd & Vandenberghe 2004 -- Convex Optimisation reference #19282) et n'est pas touchée ici. Reste hors de cette PR la tranche QP de Markowitz mesurée face au métaheuristique de la série : l'issue la reporte, et elle suppose un choix de solveur et de terrain non tranché.
• Markdown seul : aucune cellule de code modifiée, donc aucune ré-exécution requise (C.2). Le jumeau C# n'est pas modifié.
• Le contrôle de parité des jumeaux rendait DRIFT-INTRO sur la paire « Search-09 LinearProgramming » (l'empreinte du blob Python bouge d'une ligne). Un second commit ré-atteste la paire : entrée known_differences qui décrit la puce côté Python seul, puis check_twin_parity.py --update --pair en dernière opération (entrée d'audit 0007-2026-10-14-hors-flotte-claude-session-19269.yaml). Après ré-attestation : 157 paires OK, 0 dérive introduite.

Changes

• MyIA.AI.Notebooks/Search/Part1-Foundations/Search-09-LinearProgramming.ipynb : une ligne ajoutée dans la source de la cellule index 46 (id 12430632, section « 8. Resume et Conclusion »), après « Relaxation lagrangienne », dans la liste Théorie. C'est la seule cellule modifiée (changed cell indices: [46]), et le reste du JSON est inchangé (écriture avec indent=1, ensure_ascii=False, fin de ligne identique).

Texte ajouté, en français :

Cadre convexe : LP ⊂ QP ⊂ SOCP ⊂ SDP ⊂ optimisation convexe générale ; le LP de Search-9 est le cas où fonction objectif et contraintes sont toutes linéaires ; la QP de Markowitz (listée dans « Applications avancées » ci-dessous) est le premier pas hors du linéaire.

L'inclusion des classes est la chaîne usuelle (un LP est une QP à terme quadratique nul, une QP convexe est une SOCP, une SOCP est une SDP, puis l'optimisation convexe générale). La puce ne contient aucun code ni aucune nouvelle section.

Verdicts

Constats de la fiche de repérage, re-vérifiés sur origin/main (1cef8a5) :

#	Constat	Verdict	Preuve
1	Le carnet Python ne nomme pas l'optimisation convexe comme cadre	CONFIRMED	grep -c -i 'optimisation convexe' rend 0 sur la base et 1 après la modification. Les seules occurrences de convex ou SOCP sur la base sont « polygone convexe » (cellule 5, markdown, JSON l. 360) et « Polyèdre convexe » (cellule 46, tableau, JSON l. 2549).
2	La cellule 46 (id 12430632), bloc Théorie, ne porte aucune notion convexe	CONFIRMED	Liste Théorie avant la PR : théorème de dualité forte/faible, méthodes de point intérieur (Karmarkar), décomposition de Benders et Dantzig-Wolfe, relaxation lagrangienne.
3	Le carnet C# ne mentionne pas le cadre	CONFIRMED	grep -c -i 'convex|SOCP' MyIA.AI.Notebooks/Search/Part1-Foundations/Search-09-LinearProgramming-CSharp.ipynb rend 0. Non modifié par cette PR.
4	La référence Boyd & Vandenberghe est déjà livrée dans le README de la série	CONFIRMED	MyIA.AI.Notebooks/Search/README.md:292. README non touché.
5	La QP de Markowitz figure en « Applications avancées » de la même cellule	CONFIRMED	Cellule 46 : - Optimisation de portefeuille (Markowitz). Le carnet ne l'implémente pas : la liste et la puce ajoutée la citent seulement (grep -n -i markowitz, l. 2608 et 2611).

Aucun constat FALSE POSITIVE. Le volet QP (code, solveur, terrain) n'est pas traité : il est hors du grain de cette PR.

Validation

Commandes lancées après le commit local b7f1a9d99e, extraits réels de sortie :

$ python -c "import json; json.load(open('.../Search-09-LinearProgramming.ipynb', encoding='utf-8'))"
(sortie vide, sortie 0)

$ python -c "import nbformat; nbformat.validate(nbformat.read('.../Search-09-LinearProgramming.ipynb', as_version=4)); print('nbformat ok')"
nbformat ok

$ grep -c -i 'optimisation convexe' .../Search-09-LinearProgramming.ipynb
1

$ git diff --stat origin/main...HEAD
 .../Search/Part1-Foundations/Search-09-LinearProgramming.ipynb | 1 +
 1 file changed, 1 insertion(+)

# comparaison base / tête, cellule par cellule
ncells 47 47
changed cell indices: [46]
all code cells identical: True
metadata identical: True nbformat 4 4

$ python scripts/notebook_tools/check_prose_quantitative_claims.py --diff origin/main...HEAD
[OK] aucun compteur quantitatif en prose.   (rc=0)

$ python scripts/notebook_tools/check_activity_leak.py --diff origin/main...HEAD
[OK] aucun passage d'activite dense ajoute (1 carnet(s) modifie(s) analyses, mentions isolees tolerees).   (rc=0)

$ python scripts/check_markdown_claims_output.py --json <base> ; ... --json <tete>
base : FABRICATION_DETECTED, 3 signalements  (cellules 35 « 0.7 », 41 « 0.50 », 41 « 0.30 »)
tete : FABRICATION_DETECTED, 3 signalements  (memes cellules, memes valeurs)   (rc=1 dans les deux cas)

$ python scripts/check_stale_claims.py --json <base> ; ... --json <tete>
base : anomaly_count 4  (cellules 26 et 45, « 0.50 » et « 0.30 »)
tete : anomaly_count 4  (memes)   (rc=1 dans les deux cas)

Les signalements des deux contrôles de prose sont pré-existants sur origin/main. Ils portent sur des valeurs numériques déjà présentes (coûts horaires des cellules 26, 41 et 45, coefficient alpha de la cellule 35), que cette PR ne touche pas. Aucun signalement n'est nouveau, et la ligne ajoutée ne contient aucune valeur numérique (« Search-9 » désigne le carnet, non une mesure).

Contrôle de parité des jumeaux (scripts/notebook_tools/check_twin_parity.py) :

# avant le commit (HEAD = origin/main)
$ python scripts/notebook_tools/check_twin_parity.py --check --per-pair --base origin/main --family Search/Part1-Foundations
[OK] Search-09 LinearProgramming (Search/Part1-Foundations, native-both) base=OK head=OK   (rc=0)

# apres le commit local
$ python scripts/notebook_tools/check_twin_parity.py --check --per-pair --base origin/main --family Search/Part1-Foundations
[DRIFT-INTRO] Search-09 LinearProgramming (Search/Part1-Foundations, native-both) base=OK head=DRIFT
Total : 15 paire(s) | OK=14 INTRO=1 FIXED=0 PRE=0   (rc=1)

Le DRIFT-INTRO est attendu : la parité sémantique n'est pas modifiée (aucune cellule de code, jumeau C# inchangé), mais l'empreinte du blob Python a bougé. La paire est enregistrée dans scripts/notebook_tools/twin_pairs.d/search-09-linearprogramming.yaml, et ce fichier n'est pas modifié dans cette PR. Ré-attestation faite dans le second commit, après relecture des deux jumeaux : le jumeau C# n'a pas de section de synthèse théorique où la puce se transposerait, la parité native-both est inchangée. Entrée known_differences ajoutée, puis python scripts/notebook_tools/check_twin_parity.py --update --pair "Search-09 LinearProgramming" --by hors-flotte:claude-session-19269 en dernière opération (fichier d'audit twin_pairs.d/search-09-linearprogramming/0007-2026-10-14-hors-flotte-claude-session-19269.yaml). Contrôle relancé ensuite :

$ python scripts/notebook_tools/check_twin_parity.py --check --per-pair --base origin/main
Total : 157 paire(s) | OK=157 INTRO=0 FIXED=0 PRE=0
rc=0
``` Le registre des traductions ne référence pas ce carnet.

Pas de `_en` ni de traduction à synchroniser. Aucun script du dépôt n'est modifié : pas de test à ajouter ni à lancer. Le rendu Markdown de la puce n'a pas été vu dans un navigateur ; la syntaxe est une puce de liste standard placée dans le même bloc que les autres puces de **Théorie**.

## Review Checklist

1. **Scope réel** : coché. Une puce, un carnet. La tranche QP de Markowitz (code, choix de solveur, terrain) est reportée par l'issue et absente de cette PR.
2. **Validation automatisée post-fix** : coché. Relancée après le dernier commit (`b7f1a9d99e`) : nbformat, `grep -c`, contrôles de prose, activité, parité. Le `DRIFT-INTRO` du premier commit est levé par la ré-attestation du second (157 paires OK, voir Validation).
3. **Cohérence pédagogique** : coché. La puce est dans le bloc **Théorie** de la conclusion. Elle ne contredit pas la cellule 5 (« polygone convexe ») ni le tableau de synthèse (« Polyèdre convexe ») : elle nomme le cadre dont le LP est un cas.
4. **Exécution réelle** : N/A. Markdown seul, aucune cellule de code modifiée, donc aucune ré-exécution (C.2). Les sorties committées restent celles de la version précédente, et elles ne changent pas.
5. **Regression check** : coché. `git diff --stat` : le carnet (une insertion) et le registre de parité (entrée `known_differences` + fichier d'audit). Le README (`Search/README.md:292`) et le jumeau C# ne sont pas modifiés. La dérive de parité est ré-attestée dans le second commit (voir Validation).

Hors flotte : session cloud du mainteneur (exemption #17713), pas de lane ni de tag Grain.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA

---
_Generated by [Claude Code](https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA)_


---
_Generated by [Claude Code](https://claude.ai/code)_

[github-actions]

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

[jsboige]

Le rouge de « Scripts Tests (CPU) » (job 116134384125) ne vient pas de cette PR : aucun test n'a tourné. Le job s'arrête pendant la collecte pytest sur INTERNALERROR> KeyError: <WorkerController gw8>, et le watchdog le classe XDIST-WATCHDOG: COLLECT_CRASH -- signature #19915 (collecte xdist impossible). C'est le défaut d'infrastructure suivi par l'issue #19915, encore ouverte : un worker xdist meurt pendant la collecte. Je ne connais pas de correctif à reporter ici.

Cette PR ne modifie aucun code Python ni aucun test : elle touche le carnet et deux fichiers YAML d'attestation sous twin_pairs.d/, et la panne précède la collecte du premier test. Je ne relance pas le job : l'unique relance de cette PR a déjà servi (Twin Parity Check). La PR reste suivie. Une relance du job par quelqu'un qui en a les droits, ou le prochain rafraîchissement de la branche, devrait suffire.

---

Generated by 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]

⚠️ 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.

[jsboige]

Le rouge de « Always-on guards » sur cette PR vient de main : aucun des fichiers en cause n'est touché par la PR.

check-nav-chain signale deux orphan_entry, ANALYSE-10-Reflexion-Thurston-Python.ipynb et ANALYSE-06-Sensibilite-2026-Lean-Python_en.ipynb. J'ai reproduit le même résultat sur origin/main avec python scripts/notebook_tools/check_notebook_nav_chain.py --check. Le correctif est la PR #20704, dont la CI attend un runner.

Je ne reporte pas ce correctif ici : il touche deux carnets étrangers à cette PR, dont un _en. Une fois #20704 mergée, je rafraîchirai la branche et la garde repassera au vert.

---

Generated by 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]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	5.3s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.8s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	6.1s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.4s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	3.2s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	25.2s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.8s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	15.7s

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: 18
• 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]

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

La collision de chemins signalée sur #20771 n'existe plus au passage du 2026-10-16T15:01Z : 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-2025:CoursIA-2
pr: 20771
head: cdac083
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 82062b99ba574c1e899808538ec1044266ada305f3576689bf107f54ba1b484c
diff-files: 3
diff-additions: 8
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20771
organ-rc: 0
[/ADJOINT PREFLIGHT]

Lectures de fond (tête cdac083) : body complet lu (livraison partielle #19269 — cadre nommé, tranche QP Markowitz reportée ; mise à jour 16/10 documentant la fusion de main post-#20955 avec l'état DRIFT de la paire Search-09, hors flotte #17713 sans tag Grain — voulu) ; 10 commentaires parcourus (bots + échanges) ; 0 reviews (porte review ouverte côté coordinateur). Diff mesuré conforme : 3 fichiers, +8/-0 (petit diff additif conforme au « cadre nommé » annoncé). PR gate success @2026-10-16T16:30:47Z (latest-wins). B.0 rc=0.

[clusterManager-Myia]

[Hermes] APPROVE — lane myia-ai-01:hermes-agent, re-attestation twin Search-09 LinearProgramming vérifiée de première main à la tête cdac0839.

Vérifications exécutées (pas par analogie) :

1. Attestation 0007-2026-10-16 : les deux empreintes re-dérivées MATCHENT. J'ai extrait les deux jumeaux au head via l'API blob et recalculé content_*_sha (json.dumps sort_keys, metadata exclu, sha256 UTF-8) :
   • content_python_sha re-dérivé = 6d222ab2…5161 = attesté ✓
   • content_csharp_sha re-dérivé = b9ce5234…fff7 = attesté ✓, et le témoin positif tient : la formule reproduit le sha C# d'un fichier inchangé depuis l'état attesté.
2. Blob SHAs : python_sha ae60aa29 et csharp_sha 4a7aa021 au head = exactement ceux de l'entrée d'audit ; le C# est byte-identique à main (4a7aa021 des deux côtés) — la PR n'atteste bien que son propre delta, pas un changement C#.
3. Périmètre du carnet : diff cell-by-cell Python base↔head → seule la cellule 46 (id 12430632) diffère, avec pour unique ligne ajoutée la puce « Cadre convexe : LP ⊂ QP ⊂ SOCP ⊂ SDP… » citée verbatim dans le body. Aucune cellule de code touchée → markdown seul, pas de ré-exécution requise (C.2), et le claim changed cell indices: [46] est exact.
4. known_differences couvre les deux éditions unilatérales côté Python (la puce de cette PR + le lien 09f ajouté sur main par #20955) — la re-attestation après fusion de main est donc la bonne opération, et elle répare au passage le DRIFT que #20955 a laissé sur la paire.
5. La chaîne LP ⊂ QP ⊂ SOCP ⊂ SDP est correcte (QP à terme quadratique nul ; factorisation SDP du Hessian ; lemme de Schur pour SOCP→SDP).

Hors flotte documentée (#17713). Livraison partielle #19269 honnêtement bornée (tranche QP Markowitz explicitement reportée). De ma part, rien ne retient le merge.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 20771
head: cdac083
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 1fedf9370666487395bcd3b1d7af1c5a10b4aed3d127621769b74c45830fe951
diff-files: 3
diff-additions: 8
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20771
organ-rc: 0
supersedes: 11
supersedes-why: Re-stamp apres review Hermes APPROVED ajoutee a tete inchangee. Lecture deleguee du body complet, onze commentaires, review et diff ; recoupement titulaire du diff integral et des faits decisifs. Unique puce markdown sur le cadre convexe dans Search-09 Python, cellule 12430632, plus declaration des differences connues et nouvelle attestation de paire : trois fichiers +8/-0. Aucun code, output ou execution_count modifie ; pas de reexecution C.2 due. La review Hermes a la tete exacte confirme les empreintes de contenu et blobs des deux editions et ne formule aucune reserve. Check_run_state rc0 et B.0 rc0 mesures par le lecteur ; derive READY et MERGEABLE mesures par le titulaire. Les deux commentaires infra historiques et le dossier precedent ne portent pas de reserve nouvelle. Aucun nouveau test, run notebook ni QA visuel revendique. STACK WARN : couverture automatique exhaustive des piles non etablie.
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Review ai-01 (c2189) à la tête cdac0839.

Dossier de l'adjoint à la tête : gate rc=0, B.0 clear, checks verts ; seule ma disposition manquait. La puce ajoutée dans la cellule markdown est juste : LP ⊂ QP ⊂ SOCP ⊂ SDP ⊂ optimisation convexe. La ré-attestation twin porte le nouveau SHA du jumeau Python ; le côté C# est inchangé. Aucune cellule de code n'est touchée. Approuvé.