fix(twin-parity,#8057): attestation catch-up GT-4c NashExistence post-#16265

scripts/notebook_tools/twin_pairs.d/gametheory-4c-nashexistence.yaml

@@ -6,6 +6,7 @@
   bridge_verdict: SOTA-OK
   bridge_verdict_reason: "Tri du residu #10382 (2026-08-16, lane myia-po-2024:CoursIA-2) : FAUX POSITIF de la liste des 51 -- le jumeau Python n'embarque AUCUN moteur SOTA (imports mesures firsthand : numpy/matplotlib/typing uniquement, 0 nashpy). numpy = signal faible au sens de l'issue (helper numerique, pas un moteur de jeu), les DEUX jumeaux font la demonstration constructive du point fixe from-scratch. Verdict reformule : pas d'asymetrie lib-vs-lib a combler ; asymetrie de machinerie seulement (visualisation numpy/matplotlib vs System.* + SVG zero-dependance). parity_level semantic preserve (gel #11200)."
   known_differences:
+    - "2026-09-18 (po-2023) attestation catch-up post-#16265 : le merge e86bf624e (feat gametheory #14450, oracles reflexifs, 2026-09-16) a ajoute UNE ligne markdown au jumeau Python (cellule blocquote 'Prolongement computationnel' pointant vers le nouveau GameTheory-04e-Reflective-Oracles.ipynb, Python-only). Zero cellule code touchee, csharp_sha inchange. Les attestations 0009/#16265 et 0011/po-2026 (toutes deux 2026-09-15) pre-dataient le blob final merge. Asymetrie navigationnelle assumee : le 04e n'existe qu'en Python, le lien n'a donc de sens que cote Python ; concept de la paire (point fixe de Brouwer -> existence, numerique vs constructif) inchangé. Débloque la jambe GT-4c du gate twin sur #16626/#16670."
     - "2026-08-21 (po-2025) #11966 #9434 : drain de 13 claims artifactuels sur 4 notebooks GT (c.1301+284 lane po-2025:CoursIA-2). Sur cette paire, GT-4c cell#18/#37/#38 : strip '(~3000 lignes)' / '(~1000 lignes)' / '(~900 lignes)' / '(~600 lignes)' / '(38 cellules, kernel Lean 4)' depuis les cellules d'interpretation. Lean module sizes drift, aucune source dynamique au-dessus (cf #9429 template : cell#17 imprime la table statiquement, donc la paraphrase prose dupliquait sans etre dynamique). PR #11966 (9 insertions / 61 deletions, net -52). csharp_sha inchange. Ligne de partage #9434 body : structurel = KEEP, artifact = STRIP. Convention i18n #4980 : pas de sibling EN pour cette paire GT-4c (Python only, parity_level semantic)."
     - "Socle pedagogique commun : existence d'un equilibre de Nash (theoreme de point fixe de Brouwer / Kakutani), structure de jeu et conditions d'existence. Meme concept mathematique (equilibre, point fixe, convexite), meme cas d'application (jeux strategiques, illustration de l'existence). Les deux couvrent le theoreme de Nash."
     - "Divergence d'implementation : le Python (numpy + matplotlib, 15 cellules code) calcule et visualise numeriquement les equilibres (support enumeration / approche numerique + tracé du best-response correspondence) ; le C# (pur System.* stdlib, 0 NuGet, 10 cellules code) demontre l'existence de maniere constructive/algebrique (sans solveur numerique externe). Meme theoreme, deux angles : numerique+visualisation cote Python vs construction algebrique cote C#."

scripts/notebook_tools/twin_pairs.d/gametheory-4c-nashexistence/0012-2026-09-18-myia-po-2023-CoursIA.yaml

@@ -0,0 +1,6 @@
+date: '2026-09-18'
+by: myia-po-2023:CoursIA
+python_sha: c54255c73f9125c6bd51e668ecb4ca1890e7529d
+csharp_sha: 29143b45c44c6ba7d1b0913d22cbc689d9d7a9b0
+content_python_sha: 24975e8148714a54116999e0d536773ee8f15845fcacd180968a900a84ff82d4
+content_csharp_sha: f2745ce7049374ada0145fc7ab89b1672aa61e8396dd96521291e0c43ea6990d