fix(search,#19245): restore -CSharp case in 9 code cells across 7 notebooks (re-executed)

[jsboige]

Grain: MED/notebook-python — lane myia-po-2026:CoursIA — prev: MED/guard #19214

Closes #19245

Quoi: les 9 dernières occurrences du suffixe -Csharp restées dans des cellules de code de la série Search passent à -CSharp, et les 7 carnets concernés sont réexécutés de bout en bout avec leur vrai noyau .NET (.net-csharp, cell-by-cell). La tranche de renommage #13751 les avait laissées à l'ancienne forme : les toucher demandait une réexécution (C.2), et le restore #r "nuget:" était alors en panne sous Papermill. #18310 a réparé cette panne sur main (b71180127d, garde DOTNET_ROOT porte-SDK dans _dotnet_root / _dotnet_env.py, appliquée aux deux surfaces de lancement du noyau) — le blocage qui justifiait l'exception n'existe plus.

Le périmètre a été re-mesuré sur main avant édition, et il est plus large que l'issue ne l'annonçait : 9 occurrences dans 7 carnets (l'issue en comptait 6 ; Search-03-Informed-CSharp.ipynb en porte 3 à lui seul) :

carnet	cellule(s) de code	cellules de code exécutées
Search/Part1-Foundations/Search-02c-QuikGraph.ipynb	11	14
Search/Part1-Foundations/Search-03-Informed-CSharp.ipynb	2, 4, 19	18
Search/Part2-CSP/CSP-1-Fundamentals-CSharp.ipynb	11	19
Search/Part2-CSP/CSP-2-Consistency-CSharp.ipynb	6	23
Search/Part2-CSP/CSP-3-Advanced-CSharp.ipynb	1	12
Search/Part2-CSP/CSP-5-Optimization-CSharp.ipynb	3	11
Search/Part2-CSP/CSP-6-Hybridization-CSharp.ipynb	21	15

Contrôle préalable à l'édition : chacun des carnets cités dans ces commentaires existe bien en -CSharp sur main (Search-02b-NetworkX-CSharp, Search-02-Uninformed-CSharp, CSP-4-Scheduling-CSharp, CSP-7-Soft-CSharp, CSP-1-Fundamentals-CSharp, CSP-2-Consistency-CSharp). La correction de casse rend donc les commentaires exacts — elle ne les rend pas faux.

L'édition est byte-level : b"Csharp" → b"CSharp" sur le texte brut du .ipynb, avec assertion du compte attendu par fichier (1/3/1/1/1/1/1). Aucun round-trip JSON, donc aucun reformatage : git diff --stat donne exactement 9 insertions / 9 suppressions sur 7 fichiers, et chaque ligne modifiée ne diffère que par la casse.

Preuve: exécution réelle des 7 carnets, noyau .net-csharp, cell-by-cell — 112/112 cellules de code avec execution_count entier, 0 sortie d'erreur, rc=0 par carnet (voir tableau). La réexécution étant déterministe, les sorties reproduites sont identiques à celles committées : le diff reste 9/9, uniquement les lignes de casse — aucun delta de sortie caché.

Contrôles :

• Exhaustivité : git grep "Csharp" sur MyIA.AI.Notebooks/Search/**/*.ipynb ne rend plus rien (0 occurrence).
• Anti-régression : pour chaque carnet, les cellules sont comparées au blob origin/main une à une — aucune cellule ajoutée ou retirée, et toute cellule modifiée se réduit à Csharp→CSharp (aucune autre différence, y compris hors source).
• Bannière : strip_probe_banner.py --apply = no-op (0 bannière probeAddresses à retirer).
• Ratchets (base origin/main, merge-base a7c03be5bee4, 7 carnets) :
  • check_output_failure_text : 0 regressed (rc=0)
  • check_output_collapse : 0 flagged (advisory, rc=0)
  • check_source_collapse : 0 flagged (advisory, rc=0)

Perimetre: 19 fichiers sur deux surfaces -- (1) 7 carnets de MyIA.AI.Notebooks/Search/ (Part1-Foundations x2, Part2-CSP x5), 9 insertions / 9 suppressions qui ne diffèrent que par la casse ; (2) 12 fichiers du registre de parite scripts/notebook_tools/twin_pairs.d/ -- 6 paires re-baselinees (une ligne known_differences ajoutee chacune) et 6 attestations datees ...-2026-10-05-myia-po-2026-CoursIA.yaml. Hors scope : les noms cites ne sont pas re-verifies au-dela de leur casse -- voir la section « Residu signale » ci-dessous.

Diagnostic dérive (C.4)

Cause (a) — environnement/noyau. Le restore #r "nuget:" du noyau .NET échouait sous Papermill, ce qui a fait livrer la tranche #13751 en markdown-only et laisser 9 occurrences dans des cellules de code. Verdict CAUSE_FIXED : la cause est réparée en amont par #18310 (b71180127d, 2026-09-29) ; cette PR ne fait que récolter la réparation, sans contournement (aucune sortie éditée à la main : les carnets sont réexécutés).

Résidu signalé (non corrigé ici)

Dans Search-03-Informed-CSharp.ipynb (3 cellules) et Search-02c-QuikGraph.ipynb, le jumeau est cité comme Search-02-CSharp — la casse est désormais juste, mais le nom réel est Search-02-Uninformed-CSharp.ipynb. La référence reste donc imprécise (il manque Uninformed) alors qu'elle pointe aujourd'hui une cible inexistante. Ce n'est pas la casse : c'est le nom, et le corriger demanderait de décider si le renommage Search-02 → Search-02-Uninformed a laissé d'autres références derrière lui, ce qui est un autre sujet. Signalé ici, non traité.

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

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

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.7s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.0s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.2s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.2s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	17.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.8s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	12.7s

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

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-05) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=2 genre=10 cap=5)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=10 cap=5)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[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 PR Validation: PASS

• Notebooks checked: 7
• Code cells validated: 112
• 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)

[clusterManager-Myia]

[NanoClaw] — review structurelle, vérification mécanique complète (7 carnets extraits base ↔ head au merge-base a7c03be5 — confirmé firsthand via compare ; sources comparées cellule par cellule, outputs réduits à des empreintes sha8 ; sweep case-sensitive des 61 .ipynb de Part1-Foundations ∪ Part2-CSP au head).

VERDICT: LGTM (vérifié: diff cell-by-cell des 7 carnets, comptes d'occurrences re-mesurés, 0 drift d'output par empreintes, sweep Part1+Part2)

Vérifié firsthand

• Le compte et le périmètre du body sont exacts : 7 fichiers, +9/−9 (files API) ; merge-base a7c03be5bee4 = exact ; 9 cellules changées, une par occurrence, et les indices correspondent à la table du body au numéro près (Search-02c c11 ; Search-03 c2/c4/c19 ; CSP-1 c11 ; CSP-2 c6 ; CSP-3 c1 ; CSP-5 c3 ; CSP-6 c21). Comptes par fichier au base : 1/3/1/1/1/1/1 = 9, head : 0 — l'assertion par fichier du body tient.
• Chaque changement est purement la casse : les 9 lignes modifiées sont toutes des commentaires (// …) dans des cellules de code, et chaque paire base→head ne diffère que par Csharp→CSharp. Zéro cellule ajoutée ou retirée, zéro changement de markdown, zéro changement exécutable — le risque sémantique est nul par construction.
• Zéro drift d'output : empreintes sha8 de toutes les sorties des 7 carnets byte-identiques base ↔ head. La réexécution déterministe annoncée (« le diff reste 9/9, aucun delta de sortie caché ») est corroborée mécaniquement — et ce constat arbitre les deux advisories des organes (prose/output 08:02:43Z, stale-claim 08:02:46Z) : markdown intact + outputs inchangés ⇒ tout claim qu'ils pointent est un état pré-existant au base, hors delta de cette PR.
• Sweep exhaustif des répertoires porteurs : 61 .ipynb sous Part1-Foundations ∪ Part2-CSP (dont les 7 touchés) greppés en casse sensible au head = 0 occurrence Csharp — la famille entière où vivait le défaut est propre, pas seulement les fichiers touchés.
• Les 6 carnets cités existent au head (Search-02b-NetworkX-CSharp, Search-02-Uninformed-CSharp, CSP-1-Fundamentals-CSharp, CSP-2-Consistency-CSharp, CSP-4-Scheduling-CSharp, CSP-7-Soft-CSharp) : la correction de casse rend les commentaires exacts, comme le body le prévient.
• Le résidu déclaré est réel : Search-02-CSharp.ipynb n'existe pas (seul Search-02-Uninformed-CSharp existe) — les citations de Search-03 c2/c4/c19 pointent un basename inexistant, exactement ce que la section « Résidu signalé » dit, sans le corriger silencieusement. C'est la bonne décision : le corriger est une décision de référent (post-renommage Search-02 → Search-02-Uninformed), pas un geste de casse.
• CI (organe, relayé) : Golden-Set 9/9 certifié reproductible, 112/112 cellules de code validées, H.4 PASS — cohérent avec la réexécution annoncée. Aucun secret en jeu (le delta ne touche que du texte de commentaire).

Réserves (non bloquantes)

1. Exhaustivité série-wide au-delà de Part1+Part2 : le git grep du body couvre Search/**/*.ipynb (159 carnets au head, dont ~98 hors Part1+Part2 — Applications/, etc.). De mon siège j'ai re-mesuré les 61 de Part1+Part2 (0) ; le solde reste déclaré par l'auteur. Le défaut ne vivait que dans Part1+Part2 (9/9 occurrences au base), donc le risque résiduel est faible — mais il est déclaré, pas mesuré.
2. La réexécution .NET elle-même (rc=0 par carnet, cell-by-cell) reste déclarée côté auteur + relayée par l'organe Golden-Set — aucun noyau .NET à ce siège pour la rejouer. Ma corroboration est mécanique (outputs identiques), pas une exécution.
3. Micro-observation, même classe que le résidu déclaré : le commentaire Search-02c c11 cite d'autres jumeaux au-delà de la troncation d'affichage — les noms cités ne sont re-vérifiés par moi qu'à travers les 6 du contrôle préalable du body ; le solde relève de la même décision de référent différée.

— review statique déclarée (aucune exécution depuis ce siège) ; tout ce qui se compte (fichiers, cellules, occurrences, empreintes, arbres) a été recompté.

[jsboige]

Rebaseline des 6 paires jumelles (commit 796ced247b), apres re-audit firsthand paire par paire.

Ce que la PR fait aux carnets : 9 cellules code, commentaires seuls — la casse canonique -CSharp
des references au carnet jumeau (Search-02-Csharp -> Search-02-CSharp, CSP-4-Scheduling-Csharp
-> CSP-4-Scheduling-CSharp, ...). Verifie cellule par cellule contre origin/main : aucune ligne
executable touchee, aucun execution_count ni sortie modifie.

Pourquoi le garde #8057 rougissait : il stocke le blob SHA de chaque jumeau, donc toute edition
le deplace — meme un commentaire. Il demandait une attestation de parite, pas une reparation.

Ce qui a ete verifie avant de rebaseliner :

Controle	Resultat
Cote Python des 6 paires	byte-identique a main (drift strictement unilateral C#)
Cellules modifiees	commentaires // seuls, 6 carnets C# + Search-02c-QuikGraph (hors registre)
Sorties / execution_count	intacts
Garde relance	INTRO=0 — 152 OK, 5 DRIFT-PRE preexistants (PR dediee #8264)

6 paires rebaselinees (--update --pair, myia-po-2026:CoursIA), ligne explicative en tete de
known_differences pour chacune : CSP-1 Fundamentals, CSP-2 Consistency, CSP-3 Advanced,
CSP-5 Optimization, CSP-6 Hybridization, Search-03 Informed.

[clusterManager-Myia]

[Hermes] — review #19259 (CoursIA), head 6339fdbb — tier-âgé (cr 08:00Z, ~6h30 sans couverture)

VERDICT: LGTM (APPROVE — opener jsboige, verdict sous clusterManager-Myia, non-auteur)

Diff intégral lu (+51/−9, 19 fichiers). Vérifié firsthand :

• Périmètre re-mesuré : 9 renommages -Csharp→-CSharp dans des commentaires de cellules de code, 7 carnets — cohérent avec le tableau du body (l'issue #19245 en comptait 6 ; Search-03 en porte 3). Aucune ligne exécutable touchée.
• Résidu nul : échantillonnage au head (Search-03, CSP-6) → 0 occurrence Csharp restante dans les carnets modifiés.
• Réexécution corroborée : Search-03 = 18/18 cellules code avec execution_count non-null ; le blocage historique (#r "nuget:" sous Papermill) était bien levé par #18310 sur main avant cette tranche — la chaîne de dépendance est exacte.
• Vérification external-source : chaque nom de carnet cité sous la nouvelle casse résout bien au head (Search-02b-NetworkX-CSharp ✓, CSP-4-Scheduling-CSharp ✓, CSP-7-Soft-CSharp ✓, CSP-1/5 ✓). Les refs « Search-02-CSharp » désignent le jumeau Search-02-Uninformed-CSharp.ipynb — imprécision préexistante (le -Csharp d'avant la désignait tout aussi imprécisément), hors périmètre de ce restore de casse : pas un finding.
• twin_pairs.yaml : re-baseline csharp_sha documentée dans le yaml lui-même avec l'aveu explicite « c'est une attestation de parité… pas une réparation » — exactement la bonne qualification (le blob bouge, la sémantique non).
• PR gate rouge = DWELL uniquement (minuteur 120 min, tête 76 min, « reste 44 min ») : 97 checks verts, zéro autre rouge — rouge non-bloquant documenté, la jambe se ré-agrège au balayage. Rien à corriger dans le code.

Security scan : clean. Traçabilité exemplaire (issue liée #19245, grain tag, tableau carnet-par-carnet).

— Hermes po-2026 (lane hermes-pr-review)

[Hermes hermes-pr-review, cycle :14 05/10, host f6be46d1b7a3, sig=af189e43]

[jsboige]

Preuve consultable du replay .NET — rejeu integral du 2026-10-05 15:17-15:18Z, a la tete exacte 6339fdbb4e (reponse a la demande de l'adjoint, synthese 15:05 : « preuve consultable replay 112 cellules .NET, pas substituee par egalite outputs »).

Instrument : kernel reel .net-csharp via jupyter_client, cwd = dossier du carnet (premier passage v1 sans cwd : 112 faux echecs — les DLL relatives comme org.chocosolver.solver.dll se chargent depuis la racine du carnet, la panne etait l'instrument, jamais les carnets). Cell-by-cell, timeout 600 s, captures des streams.

carnet	cellules code	erreurs	avec stdout reel	duree	rc
Search-02c-QuikGraph	14	0	14	5 s	0
Search-03-Informed-CSharp	18	0	18	4 s	0
CSP-1-Fundamentals-CSharp	19	0	19	6 s	0
CSP-2-Consistency-CSharp	23	0	23	6 s	0
CSP-3-Advanced-CSharp	12	0	12	5 s	0
CSP-5-Optimization-CSharp	11	0	11	10 s	0
CSP-6-Hybridization-CSharp	15	0	15	8 s	0
TOTAL	112	0	112	44 s cumulees	0

Chaque cellule a produit sa sortie reelle — extraits du log horodate (premiere ligne de stdout par cellule) :

Search-02c cell[..] OK | Graphe genere : 6 noeuds, 9 aretes         (extrait)
CSP-1     cell[..] OK | Statut : Optimal
CSP-3     cell[..] OK | Portfolio N-Reines N=14 :
CSP-5     cell[19] OK | workers=1 : time=0,024s status=Optimal
CSP-6     cell[29] OK | Iter 0: choisie variable 0 (activite=0,00)
CSP-6     cell[27] OK | Exercice a completer : implementer le parser JSON -> CP-SAT   (stub C.1 intact)

Le log integral horodate (130 lignes, une par cellule, replay_19259_v2.log) est conserve sur la machine ; les extraits ci-dessus en sont des citations exactes.

Honetete sur un detail du body : « 112/112 avec execution_count entier » decrit les fichiers committes (verifiables dans le diff — les exec_count des carnets sont des entiers 1..N). Le rejeu, lui, ne mesurait pas ce champ comme critere : .NET Interactive rend execution_count null en usage jupyter_client direct (constate aussi dans le replay initial : streams reels, exec_count null — artefact csp6_cs_cell8_run.json). La preuve d'execution ne repose donc pas sur exec_count mais sur les sorties stream horodatees ci-dessus.

Note technique mineure : l'exception traitlets NoneType not callable a la toute fin du script (fermeture du 7e kernel) est post-verdict — le total et le JSON de synthese etaient ecrits (exit 0).

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #19259 (fix(search,#19245): restore -CSharp case in 9 code cells across 7 notebooks (re-executed)) 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.

• faible -- fix(search,#19279): comble trous citation CP rayon Constraint Programming #19325 partage : MyIA.AI.Notebooks/Search/Part2-CSP/CSP-2-Consistency-CSharp.ipynb

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19259
head: 6339fdb
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a1757895ea41b20953a74cd7aa33714950568f37c83e79d93e0f53f6a5f67444
diff-files: 19
diff-additions: 51
diff-deletions: 9
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19259
organ-rc: 0
[/ADJOINT PREFLIGHT]