GT-13b : l'exploitabilite >= 0 est affirmee en prose, jamais assertee (residu de #13480)

[jsboige]

Le residu de #13480

#13480 a corrige les deux blocages de fond de GT-13b : l'exploitabilite est redevenue positive (+0.2778, enumeration sur les 64 strategies pures au lieu de 12 candidates) et les valeurs de Kuhn sont revenues a +/- 1/18 avec somme nulle exacte. Trois assertions le tiennent en cellule 5 :

assert abs(_self_ev_nash - (-1.0 / 18.0)) < 1e-9
assert abs(ev_p2_nash + _self_ev_nash) < 1e-9      # somme nulle
assert abs(exp_baseline) < 1e-9                     # exploitabilite(Nash) == 0

Ce qui reste en prose. La cellule 15 affirme « Exploitabilite >= 0 par construction (BR ne peut pas etre inferieure au Nash) ». C'est vrai, c'est l'argument meme qui a permis de trouver le defaut — et ce n'est pas une assertion. Aujourd'hui seule l'exploitabilite du Nash est verifiee mecaniquement (exp_baseline ~ 0). Celle du recollement naif, +0.2778, n'est controlee par rien.

Pourquoi ca compte precisement ici. Le defaut d'origine de ce notebook etait une exploitabilite negative affichee sous une prose qui la presentait comme une mesure valide. Si une edition future reintroduit l'erreur d'enumeration ou de joueur, exp_naive repassera negative, s'imprimera telle quelle, et la ligne « >= 0 par construction » sera juste au-dessus. Une prose ne rougit pas.

Geste attendu

Une ligne, dans la cellule qui calcule exp_naive (c9 ou c13) :

assert exp_naive >= -1e-9, f"exploitabilite negative ({exp_naive}) : la BR n'en est pas une"

Generalisee a tout x teste si d'autres recollements sont ajoutes — c'est le pendant du controle exploitabilite(Nash) == 0 deja present.

Contexte

Report sciemment au titre de la voie 3 de B.0, nomme avant le merge de #13480 : les deux blocages de la review ai-01 sont traites et verifies sur l'artefact committe, ce point-ci ne l'est pas et ne justifie pas de retenir un livrable correct.

See #13468

[jsboige]

[TRIAGE candidate-delivered] Issue encore vivante — label retiré.

Vérification firsthand sur origin/main après lecture du body et de la PR livrante #13480 : GameTheory-13b-Safe-Subgame-Solving.ipynb est bien exécuté (9/9 cellules code, 9 avec outputs, 0 erreur) et calcule/imprime exp_naive, mais ne contient toujours aucune assertion assert exp_naive >= -1e-9 ni message exploitabilite negative. La prose et les sorties positives sont présentes ; le cliquet demandé par #13727 ne l'est pas.

#13480 a réparé les EV et l'exploitabilité fabriquée, mais #13727 était explicitement le résiduel reporté. Le label candidate-delivered résultait donc d'une co-occurrence avec cette PR antérieure, pas de la livraison du geste attendu.