Harmoniser le nommage des twins C#/Python : meme numerotation et accretion, suffixe de langage seul #15486

Origine

Commentaire user du 2026-09-10 (review de #15437) :

Je rajouterais qu'on a un pb de coherence sur le nommage et la numerotation. Les variantes csharp ne sont pas censees changer la numerotation ou l'accretion, uniquement le suffixe du fichier. [...] si c'est reellement le jumeau de l'autre, et les deux sont vouees a converger, alors elles devraient partager la meme accretion

Le cas echeant, creer une issue pour harmoniser la convention des noms de twins a travers le depot

Principe a ratifier

Deux notebooks jumeaux C#/Python portent le meme identifiant Prefixe-num(lettre) ; seul le suffixe de langage les distingue (-Csharp). C'est la declinaison intra-serie (meme serie, fichiers jumeaux) du principe porte par l'EPIC #12933 : un meme concept dans deux implementations paralleles garde un identifiant numerique stable.

Constat mesure (2026-09-10)

Inventaire find MyIA.AI.Notebooks -name '*Csharp*.ipynb' : la convention est deja dominante et respectee partout.

• GameTheory : GameTheory-04c-NashExistence <-> GameTheory-04c-NashExistence-Csharp ; idem 06c-RepeatedGames-FolkTheorem, 08c-CombinatorialGames, 13c-Safe-Subgame-Solving, et les numeros nus 02 a 17
• Search : Search-02b-NetworkX <-> -Csharp ; idem 03b, 03c, 03d, App-17b-VRP-Logistics
• SocialChoice : 01-Arrow, 03-Voting-Methods, 04-Computational-Aggregation-SAT-Z3

Une seule deviation : GameTheory-02d-Travelers-Dilemma-Csharp.ipynb (PR #15437), twin C# de GameTheory-02c-Travelers-Dilemma.ipynb. La variante C# a decale l'accration (02c -> 02d) et consomme le slot 02d alors qu'aucun notebook Python 02d n'existe (la branche Python s'arrete a 02c).

Actions

1. feat(gametheory,#12208): GT-02c twin C# Traveler's Dilemma — maturation temps 2 #15437, avant merge : renommage git mv sans changement de contenu, table de mapping (regle notebook-accretion-numbering section 5) :

   Actuel	Cible
   GameTheory-02d-Travelers-Dilemma-Csharp.ipynb	GameTheory-02c-Travelers-Dilemma-Csharp.ipynb

2. Ratification ecrite : la regle .claude/rules/notebook-accretion-numbering.md section 7 liste aujourd'hui le suffixe de langage des twins comme hors-scope (« [EPIC] Renumérotation paritaire des séries parallèles — stabiliser les identifiants sans uniformiser les contenus #12933 »). Consigner la convention intra-serie (meme identifiant + suffixe seul) une fois le renommage valide par review.

Pourquoi le partage d'accretion est la regle et pas l'exception

Les jumeaux sont voues a converger : la maturation temps 2 de #15437 a trouve deux formulations fausses heritees de 02c et l'issue #15461 en retroporte les corrections vers le twin Python. Deux fichiers qui s'echangent leurs corrections ne peuvent pas porter deux accretions differentes — sinon chaque campagne de parite et chaque registre de jumeaux paie l'ecart d'identifiant (le cout decrit par #12933).

References

• [EPIC] Renumérotation paritaire des séries parallèles — stabiliser les identifiants sans uniformiser les contenus #12933 — EPIC renumerotation paritaire (volet inter-series)
• feat(gametheory,#12208): GT-02c twin C# Traveler's Dilemma — maturation temps 2 #15437 — PR porteuse de la deviation · [EPIC] Chantier 5 — Distillation par les séries pédagogiques : mûrir les concepts externes en notebooks ad-hoc (GameTheory, Lean, IIT), puis infuser ICT #12208 — EPIC GameTheory twins · GameTheory-02c : domination faible présentée comme stricte + r=1 multi-équilibres non traité (défaut révélé par le twin 02d) #15461 — correction du twin Python 02c
• .claude/rules/notebook-accretion-numbering.md — le canonique est ce qui n'a pas de lettre