[Search] Réorganiser la série : parties explicites, fin des dossiers d'opportunité (Applications, Discrepancy) — proposition à arbitrer

[myia-ai-01]

Pourquoi cette issue

Sur #19220, le mainteneur demande une proposition de réorganisation des dossiers de la série Search (commentaire du 05/10). Il relève deux défauts :

• un dossier Discrepancy/ à la racine de la série, qui ne contiendra jamais qu'une poignée de carnets ;
• un dossier Applications/ qui joue le rôle d'une partie 3 sans le dire, et se remplit au gré des occasions avec des carnets sans rapport entre eux.

Cette issue porte la proposition du coordinateur. Rien n'est déplacé avant la réaction du mainteneur.

État mesuré sur origin/main (05/10)

Dossier	Carnets	Ce qu'il contient
Part1-Foundations/	43	l'escalier Search-01 à 11, avec ses lettres ; plus 12a et 13a, qui relèvent d'ICT et partiront avec la descente ICT déjà arbitrée (#17802)
Part2-CSP/	18	CSP-1 à 9, en paires Python/C#
(pas de Part3)	—	l'ancienne Part3-Advanced a été absorbée en lettres de Part1 début septembre (#13769, #13770)
Part4-Metaheuristics/	35	MGS-01 à 21, plus le comparatif MGS-vs-mealpy/ (C#)
Applications/CSP/	31	cas pratiques de contraintes, souvent issus de projets étudiants
Applications/Hybrid/	23	cas d'optimisation et de métaheuristiques, et des audits de résultats récents
Applications/Search/	5	quatre carnets Puissance 4, et App-32 (arithmétique : Szpiro/Pasten), sans rapport avec la recherche (#18256)
Discrepancy/	2	compagnons Beck-Fiala et Komlós du lake discrepancy_lean

Le dossier Discrepancy/ existe parce que le coordinateur l'a arbitré ainsi le 25/09 (#17802). La remarque du mainteneur conduit à revenir sur cet arbitrage.

La PR #19189 (en cours) ajouterait un quatrième sous-dossier, Applications/Research/, sur le même modèle. Elle est mise en attente de cette issue : sinon, onze carnets seraient renommés deux fois.

Principes proposés

1. Des parties numérotées, que le visiteur parcourt dans l'ordre. Aucune partie implicite.
2. Un sous-dossier n'existe que pour une sous-série qui a son propre parcours : plusieurs marches prévues, un README, et une marche d'entrée depuis l'escalier. Sinon, ses carnets sont des lettres de la famille qu'ils prolongent.
3. Chaque partie écrit son critère d'entrée dans son README : ce qu'un carnet doit faire pour y entrer. La date d'arrivée n'est pas un critère.
4. Un carnet qui ne traite pas de recherche quitte la série, vers Complexity, Compression, ou la série qui porte son sujet.
5. Chaque fichier n'est renommé qu'une fois : la carte complète, ancien chemin → nouveau chemin, est fixée avant le premier git mv.

Carte cible proposée

Aujourd'hui	Cible	Critère d'entrée de la cible
Part1-Foundations/	inchangé	l'escalier des fondements
Part2-CSP/	inchangé	le cours de programmation par contraintes
Applications/CSP/, Applications/Hybrid/ (hors audits), les quatre Puissance 4 de Applications/Search/	Part3-Cas-pratiques/, avec un README organisé par technique : contraintes, optimisation et métaheuristiques, jeux adversariaux	un problème concret, résolu avec les techniques des parties 1, 2 ou 4
Part4-Metaheuristics/	inchangé	les métaheuristiques composables (C#)
les carnets classés « Recherche » par l'arbitrage du 04/10 (audits de garanties récentes, liste de #19189), sauf App-32	Part5-Frontieres/	le carnet vérifie empiriquement un résultat récent, avec les outils de la série
Discrepancy/ (2 carnets)	lettres de la famille Search-09 : programmation linéaire, puis 09c discrépance combinatoire (déjà là), puis Beck-Fiala, puis Komlós	la discrépance entre dans Search par l'arrondi de la programmation linéaire ; c'est la seule raison de l'y enseigner
lake discrepancy_lean	inchangé, à la racine de la série, à côté de search_lean	infrastructure de preuve, pas une partie du parcours
App-32-Szpiro-Pasten-2026	quitte Search ; destination proposée : la sous-série Langlands de SymbolicAI/Lean/, à laquelle il est déjà relié (#18368)	arithmétique
App-34 (#19220, pas encore sur main)	arrive directement dans Complexity/	complexité de Kolmogorov bornée ; le pli Kolmogorov/MDL de l'Epic Compression (#18706) pourra y renvoyer

Les numéros Part3/Part4 ne suivent pas l'ordre de lecture : les cas pratiques viennent avant les métaheuristiques C#. Renuméroter Part4 coûterait 35 chemins pour un gain faible. Le README de série porte l'ordre de lecture, comme il le fait déjà.

Ce qui reste hors de cette carte, mais à examiner après

• La sélection d'algorithmes apparaît quatre fois : Search-11c-Empirical-Algorithm-Selection, MGS-16-AlgorithmSelection, MGS-17b-Empirical-Algorithm-Selection, Hybrid/App-22-AlgorithmSelection-Python. C'est un candidat de fusion, à instruire séparément.
• Search-11b-Metaheuristiques-Deep existe en quatre parties dans Part1, alors qu'une partie entière est consacrée aux métaheuristiques. Sa place est à relire.
• Les incohérences de nommage déjà relevées dans Applications/Search/ ([audit] Search/Applications/Search — 5 notebooks a reconcilier (naming, README, App-32 hors famille) #18256 : App-14b/App-14c contre l'identifiant App-12) se règlent dans la même table de renommage, pas avant.

Séquencement proposé

1. Le mainteneur réagit à la carte : oui, ou avec des retouches.
2. Une lane écrit la table complète ancien → nouveau chemin (docs/reference/rename-ledger.tsv), avec l'argument pédagogique de chaque déplacement.
3. Une PR par cible : Part3, Part5, lettres de la famille 09, sorties hors série. Chaque PR met à jour les référents dans la même passe : README, chaîne de navigation, _quarto.yml, tables de traduction.
4. Le README de série et ceux des parties passent au gabarit (docs/reference/readme-series-gabarit.md).

Décisions attendues du mainteneur

• a. La carte cible, telle quelle ou retouchée.
• b. Discrepancy/ : en lettres de la famille Search-09 (recommandé), ou vers SymbolicAI/Lean/ si la formalisation Komlós doit devenir un parcours à part.
• c. App-32 : vers la sous-série Langlands (recommandé), ou ailleurs.

See #17802 (gradation Search) · See #18256 (audit Applications/Search) · See #5081 (doctrine de nommage) · See #19189 (en attente) · See #19220

🤖 Generated with Claude Code

[jsboige]

OK pour la nouvelle carte, c'est à peu près ce que j'avais en tête. Le pont avec compression sera à faire dans l'accrétion qui implémente notre compresseur sous carte de programmes signée quand le pli sera implémenté dans l'Epic Origami en cours.

[myia-ai-01]

[CLAIMED] lane myia-po-2027:CoursIA -- paths: MyIA.AI.Notebooks/Search/** (exécution de la carte validée : table de renommage puis une PR par cible)

La carte est validée par le mainteneur (commentaire du 05/10 à 08:08Z ci-dessus). Le pont avec Compression attend l'accrétion du compresseur sous carte de programmes signée, une fois le pli implémenté dans l'Epic Origami. Il sort donc de cette exécution.

Claim posé par le coordinateur au dispatch. La lane porte déjà #19189 et la gradation #17802. Séquencement, repris de la section « Séquencement proposé » :

1. Table de renommage complète (ancien chemin → nouveau chemin), postée ici avant le premier git mv. Elle inclut les incohérences de [audit] Search/Applications/Search — 5 notebooks a reconcilier (naming, README, App-32 hors famille) #18256 (App-14b/App-14c contre App-12). Chaque fichier n'est renommé qu'une fois.
2. feat(search,#19189): partie 5 Frontieres -- 10 carnets d'audits sortent de Applications/Research #19189 est réécrite sur la carte : ses carnets « Recherche » vont dans Part5-Frontieres/, pas dans Applications/Research/.
3. Une PR par cible : Part3, Part5, lettres de la famille 09 (Discrepancy), sorties hors série (App-32 vers Langlands). Chaque PR met à jour ses référents dans la même passe : README, chaîne de navigation, tables de traduction.
4. App-34 (feat(search,#19217): App-34 BoundedKolmogorov-Sequences — solveur de termes à mémoire bornée + expériences falsifiables #19220) arrive directement dans Complexity/.

Search est aussi la première série du régime de finition (#19297). Les blocs de fin commencent par Part1-Foundations/, qui n'est pas renommé, pour ne pas toucher deux fois les carnets en mouvement.

[myia-ai-01]

[CLAIMED-AMEND] lane myia-po-2027:CoursIA -- paths: MyIA.AI.Notebooks/Search/Applications/, MyIA.AI.Notebooks/Search/Discrepancy/, MyIA.AI.Notebooks/Search/Part3-Cas-pratiques/, MyIA.AI.Notebooks/Search/Part5-Frontieres/, MyIA.AI.Notebooks/Search/Part1-Foundations/Search-09*, MyIA.AI.Notebooks/Search/README.md (resserré par le coordinateur)

Ce commentaire resserre le claim précédent, qui couvrait tout Search/**. Il reprend les chemins réellement déplacés par la carte : les deux dossiers quittés, les deux parties créées, la famille 09 qui reçoit les lettres de discrépance, et le README de série.

Le reste de Part1-Foundations/ reste libre pour les blocs de fin du régime de finition (#19297).

[jsboige]

Table de renommage complète de la carte validée (c. du 05/10 08:08Z), préalable au premier git mv. Inventaire mesuré sur origin/main 144ff2b3a6c4 + fichiers de la PR #19189. Chaque fichier n'est renommé qu'une fois : les déplacements de répertoire sans changement de nom sont exprimés en règles par dossier, les renommages fichier par fichier.

Choix de nommage, deux modèles : (a) les carnets qui changent de famille prennent le préfixe-numéro de leur cible — lettres Search-09d/09e pour la discrépance (le préfixe seul change, suffixes -Lean-Python/-Lean conservés), Frontieres-NN-…-Python pour la partie 5 (modèle Discrepancy conservé : préfixe du dossier + numéro, suffixe -Python déjà choisi par #19189) ; (b) les carnets de cas pratiques gardent leur identifiant App-NN — seul le répertoire change, sauf les deux incohérences #18256. App-32 reçoit la convention NN-slug de Langlands (01-formes-modulaires-sl2z-hecke, 02-monstrous-moonshine-invariant-j).

R1 — Renommages fichier par fichier (15)

#	Ancien chemin	Nouveau chemin
1	Applications/Search/App-14b-ConnectFour.ipynb	Part3-Cas-pratiques/App-12-ConnectFour.ipynb
2	Applications/Search/App-14c-ConnectFour-CSharp.ipynb	Part3-Cas-pratiques/App-12b-ConnectFour-CSharp.ipynb
3	Discrepancy/Discrepancy-01-BeckFiala-Lean-Python.ipynb	Part1-Foundations/Search-09d-BeckFiala-Lean-Python.ipynb
4	Discrepancy/Discrepancy-02-Komlos-Lean.ipynb	Part1-Foundations/Search-09e-Komlos-Lean.ipynb
5	Applications/CSP/App-22-EdgeColoring-Tutte.ipynb	Part5-Frontieres/Frontieres-01-EdgeColoring-Tutte-Python.ipynb
6	Applications/CSP/App-23-Factorio-Balancer.ipynb	Part5-Frontieres/Frontieres-02-Factorio-Balancer-Python.ipynb
7	Applications/Hybrid/App-24-MAPF-Guarantee-Audit.ipynb	Part5-Frontieres/Frontieres-03-MAPF-Guarantee-Audit-Python.ipynb
8	Applications/Hybrid/App-25-CombinatorialAuctions-WDP-VCG.ipynb	Part5-Frontieres/Frontieres-04-CombinatorialAuctions-WDP-VCG-Python.ipynb
9	Applications/CSP/App-26-CoveringArrays-Guarantee-Audit.ipynb	Part5-Frontieres/Frontieres-05-CoveringArrays-Guarantee-Audit-Python.ipynb
10	Applications/Hybrid/App-28-LearningToBranch-Generalization-Audit.ipynb	Part5-Frontieres/Frontieres-06-LearningToBranch-Generalization-Audit-Python.ipynb
11	Applications/Hybrid/App-29-SALBP-AssemblyLineBalancing-Audit.ipynb	Part5-Frontieres/Frontieres-07-SALBP-AssemblyLineBalancing-Audit-Python.ipynb
12	Applications/Hybrid/App-30-OrbitalAssembly-Certificate-Audit.ipynb	Part5-Frontieres/Frontieres-08-OrbitalAssembly-Certificate-Audit-Python.ipynb
13	Applications/Hybrid/App-31-RCPSP-Max-Feasibility-Bounds.ipynb	Part5-Frontieres/Frontieres-09-RCPSP-Max-Feasibility-Bounds-Python.ipynb
14	Applications/Hybrid/App-33-NeuralDiving-Coloration.ipynb	Part5-Frontieres/Frontieres-10-NeuralDiving-Coloration-Python.ipynb
15	Applications/Search/App-32-Szpiro-Pasten-2026.ipynb	SymbolicAI/Lean/Langlands/03-szpiro-pasten-2026.ipynb

Tous les chemins sont relatifs à MyIA.AI.Notebooks/Search/, sauf la ligne 15 (MyIA.AI.Notebooks/).

• Lignes 1-2 : alignement sur l'identifiant logique app-12 déjà porté par twin_pairs.d/app-12-connectfour.yaml ([audit] Search/Applications/Search — 5 notebooks a reconcilier (naming, README, App-32 hors famille) #18256 F2) — le yaml devient juste, aucune édition de twin_pairs requise. Les F4 (promesse DQN) et F5 (décompte README) de [audit] Search/Applications/Search — 5 notebooks a reconcilier (naming, README, App-32 hors famille) #18256 sont des corrections de README, portées par la PR Part3, pas des renommages.
• Lignes 3-4 : lettres de la famille 09 dans l'ordre de la carte (09c discrépance combinatoire existante, puis Beck-Fiala 09d, puis Komlós 09e).
• Lignes 5-14 : numérotation 01-10 dans l'ordre App croissant, reprise de feat(search,#19189): partie 5 Frontieres -- 10 carnets d'audits sortent de Applications/Research #19189 (Renumbering identique, Szpiro retiré → renumérotation 10 = NeuralDiving).
• Ligne 15 : convention NN-slug de Langlands ; la PR de sortie vérifie le README Langlands (suffixe éventuel) au moment du geste.

R2 — Déplacements sans renommage (règles par dossier)

Source (sous Applications/)	Destination	Contenu
CSP/** hors R1 (lignes 5, 6, 9)	Part3-Cas-pratiques/	31 carnets App-NN + wfc_cpsat.py + data/app22-cross-paradigm/
Hybrid/** hors R1 (lignes 7, 8, 10-14)	Part3-Cas-pratiques/	16 carnets App-NN + App-17b-…-Python.png + data résiduelles hors audits
Search/App-14-ConnectFour-Adversarial.ipynb, App-14-ConnectFour-Adversarial-CSharp.ipynb	Part3-Cas-pratiques/	les 2 Puissance 4 « benchmark »
données d'audits : CSP/data/app26-covering-arrays-audit/, Hybrid/data/app24-mapf-audit/, app25-wdp-vcg-audit/, app28-learning-to-branch-audit/, app29-salbp-audit/, app30-orbital-assembly-audit/, app31-rcpsp-max/	Part5-Frontieres/data/	les datasets suivent leurs carnets (modèle #19189 : Research/data/) ; les noms de dossiers appNN-* ne changent pas — identifiants de datasets cités dans le code

Après R1+R2 : Applications/ et Discrepancy/ n'existent plus ; Part3-Cas-pratiques/ = 51 carnets (31 CSP + 16 Hybrid + 4 Puissance 4) ; Part5-Frontieres/ = 10 carnets + data ; la collision préexistante App-22/App-23 double (EdgeColoring vs AlgorithmSelection, Factorio vs PRESENT) se résout d'elle-même — il ne reste qu'un App-22 et qu'un App-23 dans Part3.

R3 — Hors table

• App-34 (feat(search,#19217): App-34 BoundedKolmogorov-Sequences — solveur de termes à mémoire bornée + expériences falsifiables #19220, pas sur main) arrive directement dans Complexity/ — aucune ligne ici.
• La fusion AlgorithmSelection ×4 et la place de Search-11b restent hors carte (section « à examiner après » de l'issue).
• Le pont Compression attend l'Epic Origami (c. 08:08Z).

R4 — Référents mis à jour dans les mêmes PR

Chaque PR met à jour dans sa passe : README de série + Applications/README.md (supprimé, remplacé par les README de Part3 et Part5 au gabarit), chaîne de navigation (baseline_nb_nav_chain.json, regen_quarto/_quarto.yml par régénération — jamais à la main), tables de traduction (translations/search/), figures_inventory/, pedagogy_density_baseline.json, liens croisés des carnets restants (App-20-SudokuBenchmark-Python, App-22-AlgorithmSelection-Python — déjà touchés par #19189) et twin_pairs.d/ (aucun changement requis : les paires app-12/app-14 deviennent cohérentes).

Séquencement des PR (une par cible)

1. PR feat(search,#19189): partie 5 Frontieres -- 10 carnets d'audits sortent de Applications/Research #19189 réécrite sur la carte (sort du HOLD) : la branche feature/17802-research-descente reprend les 10 carnets → Part5-Frontieres/Frontieres-NN-…-Python.ipynb, Research-10-Szpiro en est retiré (il part en 4), data → Part5/data/. C'est la PR « Part5 » du séquencement.
2. PR Part3 : déplacements R2 + renommages 1-2 + suppression Applications/README.md au profit du README Part3 au gabarit (F4/F5 réglés dedans).
3. PR lettres 09 : lignes 3-4 + suppression du dossier Discrepancy/ + présentation dans le README de la famille.
4. PR sortie App-32 → Langlands (ligne 15), avec le README Langlands et Borcherds #18286 — greffe App-32 (dual de Langlands, racines/co-racines) #18368.

[jsboige]

[CLAIMED-AMEND] lane myia-po-2027:CoursIA -- paths: MyIA.AI.Notebooks/Search/Applications/, MyIA.AI.Notebooks/Search/Discrepancy/, MyIA.AI.Notebooks/Search/Part3-Cas-pratiques/, MyIA.AI.Notebooks/Search/Part5-Frontieres/, MyIA.AI.Notebooks/Search/Part1-Foundations/Search-09*, MyIA.AI.Notebooks/Search/Part1-Foundations/README.md, MyIA.AI.Notebooks/Search/README.md, MyIA.AI.Notebooks/Search/index.qmd, MyIA.AI.Notebooks/Search/LEAN_INVENTORY.md, MyIA.AI.Notebooks/Search/discrepancy_lean/**, MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-07b-Examples-Python.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-08-Agentic-Proving-Python.ipynb

Amend pour la PR lettres Search-09 (Beck-Fiala et Komlos). Le renommage range les deux carnets dans Search/Part1-Foundations/ sous Search-09d / Search-09e : leurs referents vivent hors du claim initial, et la carte ordonne de les mettre a jour dans la meme passe.

Ajouts : les fichiers porteurs de referents — Part1-Foundations/README.md (table 9d/9e, prerequis, biblio), Search/README.md (rangee de sous-serie + arbre), index.qmd, LEAN_INVENTORY.md, discrepancy_lean/** et les deux carnets SymbolicAI/Lean/Lean-07b et Lean-08 qui citent Discrepancy-02 en markdown.

Recouvrements declares (organe check_lane_claim.py) : Search/README.md est touche par des PRs ouvertes de myia-ai-01:CoursIA (#19289, catalogue) et myia-po-2026:CoursIA-2 (#19285, #19282) ; discrepancy_lean/FORMAL_STATUS.md par dix PRs ouvertes de myia-po-2025:CoursIA. L'edition ici est un referent d'une ligne (nom de carnet, chemin d'arbre), pas un contenu de ces lanes : un conflit textuel se resout en gardant les deux cotes. Les deux lanes concernees sont notifiees par DM.