fix(search,#14624): lot famille Search -- libelles post-renum + nav App-15b + arc MGS

[jsboige]

Grain: MED/notebook-python -- lane myia-po-2023:CoursIA -- prev: MED/ledger #14578

Summary

Lot famille Search de #14624 : les 10 desaccords libelle/cible du sous-arbre MyIA.AI.Notebooks/Search/ corriges (l'acceptance exige un lot par famille, pas un composite), + la reparation twin parity des paires touchees. Toutes les cibles existaient deja -- seuls les libelles (et la prose qui nommait les anciens numeros) portaient les identifiants pre-absorption #13770. (Genre remappe notebook-md -> notebook-python, enumeration G-VAR-2 §1.)

Changes (9 fichiers, +46/-22 -- 6 notebooks markdown-only + 3 YAML registre twin parity)

Fichiers touches (liste exhaustive = diff reel) :

• Search/Part1-Foundations/Search-03c-LimitedDiscrepancySearch.ipynb
• Search/Part1-Foundations/Search-03c-LimitedDiscrepancySearch-Csharp.ipynb
• Search/Part1-Foundations/Search-03d-WeightedAstar.ipynb
• Search/Part1-Foundations/Search-03d-WeightedAstar-Csharp.ipynb
• Search/Applications/CSP/App-16-Crossword-CSP-Csharp.ipynb
• Search/Applications/Hybrid/App-22-AlgorithmSelection-Python.ipynb
• scripts/notebook_tools/twin_pairs.d/app-16-crossword-csp.yaml
• scripts/notebook_tools/twin_pairs.d/search-13-limited-discrepancy-search.yaml
• scripts/notebook_tools/twin_pairs.d/search-14-weighted-a.yaml
  (tous les chemins notebooks prefixes MyIA.AI.Notebooks/)

Part1-Foundations (sequelle directe de l'absorption #13770 : Search-12 -> Search-03b PDB, Search-13 -> Search-03c LDS, Search-14 -> Search-03d W)*

• Search-03c-LimitedDiscrepancySearch.ipynb (3) : liens [Search-12](Search-03b...) x2 -> libelle Search-03b ; colonne prose | <-> Search-12 | de la ligne de tableau dont le lien etait deja correct.
• Search-03d-WeightedAstar.ipynb (9) : liens [Search-12]/[Search-13] x2 chacun ; colonnes | <-> Search-12 |, | <-> Search-13 | ; triptyque prose (Search-12, PDB), (Search-13, LDS), (Search-14, Weighted A*) -> 03b/03c/03d.
• Search-03d-WeightedAstar-Csharp.ipynb (7) : titre H1 # Search-14 (C#) -> # Search-03d (C#) (le jumeau Python dit deja Search-03d -- le C# avait ete oublie au renommage) ; liens x2 ; colonnes <-> dont <-> Search-13 (C#) ; formes parenthesees.

Applications

• App-16-Crossword-CSP-Csharp.ipynb (1) : nav [<< App-15-SportsScheduling](App-15b-...-CSharp.ipynb) -> libelle << App-15b-SportsScheduling (C#) (convention du voisin App-15b : l'identifiant nomme la cible, la nature suit).
• App-22-AlgorithmSelection-Python.ipynb (1) : l'arc ([MGS-15 -> MGS-16](.../MGS-15-LandscapeAnalysis.ipynb)) portait DEUX identifiants sur UN lien vers MGS-15 seul -> decoupe en deux liens (MGS-15 -> LandscapeAnalysis, MGS-16 -> MGS-16-AlgorithmSelection, cible verifiee existante) -- la cellule 34 du meme notebook utilisait deja cette forme a deux liens.

Reparation twin parity #8057 (commits d00f0ba + 98f35e1)

• Miroir C# Search-03c-Csharp.ipynb (3 corrections : titre H1 # Search-13 (C#) -> # Search-03c (C#), colonnes | <-> Search-12 | -> 03b, | <-> Search-14 | -> 03d) -- prose stale invisible a l'organe feat(guard,#14624): comparer le libelle d'un lien a sa cible notebook — 32 desaccords sur 2194 fichiers #14625 (il ne voit que les LIENS), l'audit twin firsthand exige le miroir.
• 3 re-attestations registre (--update) pour les paires app-16-crossword-csp, search-13-limited-discrepancy-search, search-14-weighted-a : l'edition des jumeaux deplace les blob SHAs. L'entree search-13 a du etre refaite en 98f35e1 : la premiere attestation (d00f0ba) avait ete posee AVANT l'edition du miroir C# et conservait l'ancien csharp_sha -- le garde CI voyait content cc73e67f != enregistre 40fc26c4. Lecon twin-parity : l'ordre strip_probe_banner -> check_twin_parity --update n'est ecrit nulle part, et le rebaseline se fait naturellement trop tot #8957 : --update va en DERNIER, apres TOUTE edition d'un jumeau. drift_introduced=0 verifie local sur base origin/main fraiche avant chaque push.

Verification

• Organe re-scan (script de la PR feat(guard,#14624): comparer le libelle d'un lien a sa cible notebook — 32 desaccords sur 2194 fichiers #14625, execute depuis sa branche, jamais commite ici) : findings 32 -> 22, 0 restant sous MyIA.AI.Notebooks/Search/ ; scanned 2015.
• Residu stale nul : grep -c "Search-12|Search-13|Search-14" = 0/0/0 sur les fichiers Part1 python (le C# garde les occurrences legitimes dans les cellules ou le libelle corrige est Search-03b/03c/03d).
• Chirurgie verifiee : git diff | grep -cE 'execution_count|outputs|metadata' = 0 ligne touchee sur les notebooks ; 6/6 fichiers re-valident json.load ; lignes notebooks exclusivement markdown (exception md-only C.2/C.3 : aucune re-execution requise, cellules code byte-identiques).
• Twin parity : check_twin_parity.py --check --per-pair --base origin/main -> drift_introduced=0, 157/157 paires OK (base fraiche post-push 98f35e1).
• Collisions (protocole Paths-Scoped) : feat(guard,#14624): comparer le libelle d'un lien a sa cible notebook — 32 desaccords sur 2194 fichiers #14625 (ai-01) = l'organe seul, 1 fichier, disjoint ; fix(csp,#14609): CSP-8 Temporal twins -- Allen composition table generated by enumeration (169 paires, repli -> assertion) #14626 = CSP-8 (Part2), fix(notebooks,#14209): normaliser 10 cellules source string→list sur 4 notebooks Search (tranche Search) #14642 = App-20b/MGS-7c/9/23 (Part4/Applications-CSP) -- aucun fichier commun. Claim pose sur check_link_label_agreement : aucun des 4 gardes de liens ne compare le libelle a la cible — 32 desaccords, sequelles de renumerotation #14624 via check_lane_claim.py (CLEAR).
• Toute occurrence corrigee a ete lue dans sa cellule complete avant remplacement (aucun find-replace aveugle) ; correspondance 12/13/14 -> 03b/03c/03d confirmee par le titre de l'issue renum(Search): absorber Part3-Advanced en accrétions Search-03b/03c/03d #13770 elle-meme.

See #14624 (contribution partielle : il reste les lots Lean/PT classes 2 (#14663/#14660, renommages) + le cablage CI advisory)

Test plan

• CI doc/navlink guards + Twin parity audit ([#4208] Métadonnée de parité des jumeaux Python/C# (twin: path/parity_level/last_audit_sha/known_differences) #8057) verts
• Reviewer : re-executer l'organe de feat(guard,#14624): comparer le libelle d'un lien a sa cible notebook — 32 desaccords sur 2194 fichiers #14625 sur cette branche -> 0 finding Search

[github-actions]

⚠️ Detector abstained (merge-base introuvable, shallow fetch or unanchored branch).

c.415 (#11873): scope = notebooks CHANGED in this PR, not the whole corpus.
See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 pathologie.

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=3 cap=2)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=3 cap=2)
• GENRE-UNKNOWN : le genre canonise `md` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
• 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]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	8.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	16.8s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	12.4s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	10.7s
Search-1-StateSpace.ipynb	✅ SUCCESS	8.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	7.4s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	67.2s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	10.3s

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

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 6
• Code cells validated: 56
• 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 (5 notebooks markdown-only +19/−19 ; 2/5 fichiers vérifiés au cell-diff complet, homogènes ; prev #14578 vérifié merged).

FAVORABLE. Lot conforme au body — et le contraste avec les sweeps silencieux du jour mérite d'être noté : ici les substitutions SONT le sujet déclaré, et elles correspondent exactement.

Vérifié firsthand (Search-03c-LDS, Search-03d-WeightedAstar.ipynb) :

• 18/18 cellules conservées dans chaque fichier ; changements concentrés sur 3 cellules markdown par fichier (#0 intro, #10 table de renvois, #17 conclusion).
• Toutes les lignes changées sont de la classe annoncée : libellés [Search-12]→[Search-03b], [Search-13]→[Search-03c], [Search-14]→[Search-03d] dans les liens ET la prose qui nommait les anciens numéros — cibles (Search-03b-PatternDatabases.ipynb) etc. inchangées, conformes à « toutes les cibles existaient déjà ».
• Cibles vérifiées présentes dans l'arbre PR : Search-03b-PatternDatabases.ipynb (72 338 o), Search-03d-WeightedAstar-Csharp.ipynb (35 164 o).
• 0 substitution ---→*** (test sweep appliqué cellule à cellule : négatif) — rien à déclarer cette fois, le diff est propre.
• RAS côté renumérotation sémantique : 12→03b, 13→03c, 14→03d cohérent avec l'absorption #13770 citée, la table de renvois croisée (#10) aligne les deux sens.

Mineur (non bloquant) : sur les lignes de table modifiées, un espace de fin de ligne disparaît en même temps que le label (03c cell#10 L5, 03d cell#10 L4) — cosmétique, probablement l'éditeur.

— Review bot NanoClaw (myia-ai-01)