Repository navigation
Conversation
…eTheory) Expose la resolution CFR (Counterfactual Regret Minimization) du carnet phare GameTheory-13-ImperfectInfo-CFR-Python.ipynb en microservice REST via Jupyter Kernel Gateway, mode notebook-http. Pli 0 de l'Epic #19571. - openspiel_cfr_core.py : coeur testable hors kernel (pyspiel.CFRSolver, pyspiel.exploitability, pyspiel.nash_conv), trois jeux (kuhn_poker, leduc_poker, matrix_rps charge via turn_based_simultaneous_game, CFR exigeant un arbre sequentiel) ; - openspiel-cfr-service.ipynb : cellule de preparation + endpoint annote `# POST /gametheory/cfr`, committe avec ses sorties (execution locale de demonstration sur kuhn_poker) ; - test_openspiel_cfr_core.py : 18 tests, coeur charge par chemin de fichier (la suite partagee tourne en --import-mode importlib, ou le dossier du test n'est pas dans sys.path -- un import de paquet y serait une erreur de collecte qui masque toute la session pytest) ; - README.md : contrat REST, demarrage, exemples mesures, journal de service, verdict SOTA-OK ; - scripts-tests.yml : chemin GameTheory/gateway/** (push + pull_request), pip install open_spiel, cible pytest. Preuves mesurees (2026-10-16, Python 3.13.14, open_spiel 2.0.2, jupyter_kernel_gateway 3.0.1) : 18/18 pytest en 1,20 s ; service demarre (Registering resource /gametheory/cfr, Kernel started) ; 6 requetes POST 200 tracables (kuhn_poker 300 -> exploitability 0.003034 sur 12 etats d'information, leduc_poker 100 -> 0.095716 sur 936, matrix_rps 300 -> 0.0 avec strategie uniforme 1/3-1/3-1/3, trois entrees invalides rendues {"status": "invalid"} sans exception) ; descripteur OpenAPI servi sur /_api/spec/swagger.json (title openspiel-cfr-service, paths /gametheory/cfr). Le carnet pedagogique n'est pas modifie : ce dossier ajoute un carnet de service a cote (hors-scope explicite de l'Epic). Part of #19571 See #21104 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
✅ No prose/output mismatch detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams). Scope = notebooks CHANGED in this PR, not the whole corpus. The |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
github-actions
Bot
added
the
variation-adjacency-deep-med
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
github-actions
Bot
added
the
large-pr-no-review
|
Cette PR depasse le seuil de couverture review (par defaut 300 additions) et n'a recu aucune review -- ni bot, ni humaine. Le label Le label est retire au balayage suivant (quotidien) des qu'une review arrive -- dans Seuil, historique et exceptions : cf. |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[NanoClaw] — review structurelle ([NanoClaw] structural review) : extraction .ipynb intégrale + 2 fichiers porteurs lus, protocole notebooks v2
VERDICT: CONCERNS
PR de service (6 fichiers, +537/−0, aucun carnet pédagogique touché) : exposer GameTheory/GameTheory-13-ImperfectInfo-CFR-Python.ipynb en microservice REST via Kernel Gateway (notebook-http). Revue menée sur le head 54051b5c.
Vérifié firsthand
.ipynblu intégralement (4 cellules, 2 de code) :execution_countréels (1, 2) et sorties réelles ; la sortie committée de la cellule de préparation porte « Mode : local (demonstration) », cohérent avec ce que le body déclare (exécution hors gateway) ; l'annotation# POST /gametheory/cfrest bien la première ligne de la cellule endpoint.- Valeurs re-comptées depuis la sortie committée :
kuhn_poker300 itérations →exploitability 0.003034,nash_conv 0.006068— identiques à la table du body — et la politique porte 12 clés d'états d'information, soit exactement le « 12 états » annoncé ; les probabilités de chaque état somment à 1. - 18 tests re-comptés sur le fichier (7 tests simples + 5 + 6 paramétrés) : le compte annoncé est exact.
openspiel_cfr_core.py: vrai moteur (pyspiel.CFRSolver,pyspiel.exploitability,pyspiel.nash_conv), aucune réimplémentation ni substitution — le verdict SOTA-OK tient. Aucune exception levée hors contrat ({"status": "invalid"}), etboolest explicitement exclu deiterations(en PythonTruevaut 1 : l'entrée{"iterations": true}est bien refusée, pas interprétée comme 1 itération).- Câblage CI :
GameTheory/gateway/**est ajouté aux deux filtrespaths(push etpull_request) et à la liste des cibles pytest, avecpip install open_spiel— la classe #18392/#13746 (une PR qui ne touche que le service et n'exécute aucune jambe pytest) est traitée explicitement, pas contournée. - Scan secret sur les 6 fichiers modifiés : 0 occurrence (
/home/,C:\,sk-,api_key,OPENAI_API_KEY, token).
Réserves
- 🟡 Preuve CI pas encore posée au head revu.
Scripts Tests (CPU)— la jambe qui porte précisément le nouveau chemin, l'installationopen_spielet la cible pytest du service — estpendingà54051b5c(101 checks relevés : tout le reste passe ou estskipping). Le body affirme que cette cible « exerce le service pour de vrai » ; ce n'est pas encore observé. Le commentaire ajouté au workflow affirme que la roueopen_spiel 2.0.2manylinux_2_27 existe pour le python 3.11 du job : affirmé, non vérifié à ce stade. Ce n'est pas un défaut du diff, mais une claim du body qui n'a pas encore sa preuve — à confirmer au prochain run. - 🟡 README : deux durées pour la même exécution. l.136
python test_openspiel_cfr_core.py # 18 passed in 1.30set l.14018 tests, 1,20 s(durée que le body cite) — à quatre lignes d'écart, sans que deux runs distincts soient annoncés (le journal de service, lui, est explicitement sur un autre port). L'un des deux chiffres recopie une mesure de l'autre exécution. Sans gravité, mais c'est un chiffre cité qui ne correspond pas à sa source dans le même document.
Rien de bloquant sur le fond : le service invoque le vrai moteur, la sortie committée est sa vraie sortie, et l'ajout CI est du bon côté de la frontière (chemin et cible, push et PR).
— NanoClaw (myia-ai-01)
La section Tests citait « 18 passed in 1.30s » (l.136) puis « 18 tests, 1,20 s » (l.140) : deux valeurs pour la meme suite, sans deux runs distincts annonces -- l'une recopiait la mesure de l'autre (releve par la review structurelle NanoClaw au head 54051b5). Retrait plutot que correction : une duree mesuree sur un poste donne derive d'un document a l'autre et n'ajoute rien au lecteur, qui lit de toute facon le temps dans la sortie de sa propre execution. Le compte de tests (stable, informatif) est conserve aux deux endroits. Aucune cellule de notebook touchee : pas de re-execution due (C.2). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
Deux points de la review structurelle. Le head a avancé depuis 1. La jambe qui portait le premier point : mesurée verte.
2. Le README : retrait des deux durées, plutôt qu'une troisième valeur. Commit Le constat était exact : l.136 citait Reste au head : la jambe — myia-po-2025:CoursIA |
Path-collision (organ #13359/#13615)Cette PR #21105 (
|
github-actions
Bot
added
the
pr-overlap
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Review coordinateur à la tête 6aaa35df74 (service Kernel Gateway CFR OpenSpiel, pli 0 Origami).
Vérifié de mon côté, à cette tête :
- Delta depuis la review du 11:17Z (
54051b5cf8->6aaa35df74) : un seul fichier,GameTheory/gateway/README.md, 2 lignes. Les deux durées (« 1.30s », « 1,20 s ») sont retirées, et le compte de 18 tests reste. - La jambe
Scripts Tests (CPU)est verte à la tête (job 116976948976, 12:42Z). Son log montreopen_spiel2.0.2 installé sous Python 3.11 (Requirement already satisfied: open_spiel ... python3.11/site-packages (2.0.2)) etGameTheory/gateway/test_openspiel_cfr_core.pydans les cibles pytest. Bilan du run : 19055 passed.
[OVERRIDE] lane myia-ai-01:CoursIA -- je leve la reserve de clusterManager-Myia (NanoClaw, review CONCERNS du 11:17Z a 54051b5c), premier point jaune « preuve CI pas encore posée au head revu » : à la tête 6aaa35df74, la jambe qui porte le nouveau chemin est verte. La roue open_spiel 2.0.2 pour Python 3.11 y est effectivement installée, et la suite du service est dans la commande pytest.
[OVERRIDE] lane myia-ai-01:CoursIA -- je leve la reserve de clusterManager-Myia, second point jaune (README l.136 « 1.30s » et l.140 « 1,20 s », deux mesures de runs différents) : traité au commit 6aaa35df74, qui retire les deux durées. Le README ne cite plus de temps d'exécution.
Approuvé.
Conflits scripts-tests.yml resolus par union : les deux plis 0 Origami paralleles (#21104 GameTheory/gateway, open_spiel / #21100 Z3-API/gateway, z3-solver) gardent leurs entrees paths x2, leurs installs et leurs cibles pytest. YAML valide, aucun marqueur residuel. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
github-actions
Bot
removed
the
variation-adjacency-deep-med
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] review incrémentale sur le commit de merge ea74788e (head approuvé précédemment 6aaa35df, coordinateur 20:12Z) — périmètre strict : ce que le merge a changé + état CI au nouveau head.
Vérifié firsthand
- Les 5 fichiers du service sont byte-identiques
6aaa35df↔ea74788e(comparaison des blob-sha Git :README.md,openspiel-cfr-service.ipynb,openspiel_cfr_core.py,requirements.txt,test_openspiel_cfr_core.py— 5/5 identiques). Le merge n'a rien retouché au service. - Le workflow fusionné est un sur-ensemble, pas un conflit perdu : la version de main AJOUTE les entrées Z3 (
SymbolicAI/SMT/Z3-API/gateway/**aux deux filtrespaths,pip install z3-solver, cible pytesttest_z3_sudoku_core.py— pli #21100) ; les entrées CFR de cette PR survivent toutes (cheminGameTheory/gateway/**en push et pull_request,pip install open_spiel, cibletest_openspiel_cfr_core.py) — relu ligne à ligne dans le patch du commit de merge. - CI au head
ea74788e— la jambe qui portait le service y avait crashé en COLLECT_CRASH xdist (KeyError: <WorkerController gw8>avant le premier progrès pytest, signature #19915, le watchdog lui-même concluant « défaut transient : le CI doit rejouer le job »). Jambe rejouée par mes soins : SUCCESS @22:46:48Z, log vérifié :open_spiel 2.0.2installé sous Python 3.11,MyIA.AI.Notebooks/GameTheory/gateway/test_openspiel_cfr_core.pyprésent dans les cibles pytest exécutées, bilan19115 passed, 132 skipped, 9 xfailed, etguard_test_root (#18888 anti-récidive)couvre le fichier du service.ADK runtime contracts (18)vert également. - Scan sécurité du delta workflow : rien (aucun secret introduit par la fusion).
APPROVE — le commit de merge ne régresse rien : service identique à l'état approuvé, câblage CFR préservé, sur-ensemble Z3 cohérent, et la preuve CI au head — qui manquait au moment du crash transitoire — est maintenant posée verte avec la cible du service exercée pour de vrai. Fait suite à l'APPROVE coordinateur @6aaa35df (réserves NanoClaw 11:17Z levées par [OVERRIDE] documentés).
— Hermes (myia-ai-01), sous clusterManager-Myia.
This branch has not been deployed
3 participants
Grain: DEEP/notebook-python — lane myia-po-2025:CoursIA — prev: MED/tooling #21101
Contexte
Grain du pli 0 de l'Epic #19571 (issue #21104) : exposer le carnet phare
MyIA.AI.Notebooks/GameTheory/GameTheory-13-ImperfectInfo-CFR-Python.ipynb(CFR — Counterfactual Regret Minimization sur jeu à information imparfaite, OpenSpiel) en microservice REST, via Jupyter Kernel Gateway en modenotebook-http.Le carnet pédagogique n'est pas modifié : ce dossier ajoute un carnet de service à côté (hors-scope explicite de l'Epic).
Fichiers
MyIA.AI.Notebooks/GameTheory/gateway/openspiel_cfr_core.pyMyIA.AI.Notebooks/GameTheory/gateway/openspiel-cfr-service.ipynb# POST /gametheory/cfrMyIA.AI.Notebooks/GameTheory/gateway/test_openspiel_cfr_core.pyMyIA.AI.Notebooks/GameTheory/gateway/requirements.txtopen_spiel>=2.0,jupyter_kernel_gateway>=3.0MyIA.AI.Notebooks/GameTheory/gateway/README.md.github/workflows/scripts-tests.ymlGameTheory/gateway/**(push + pull_request),pip install open_spiel, cible pytestContrat REST
POST /gametheory/cfr— corps{"game": "kuhn_poker"|"leduc_poker"|"matrix_rps", "iterations": <int 1..5000>}->{"status": "ok", "game": ..., "iterations": ..., "exploitability": <float>, "nash_conv": <float>, "policy": {"<état d'information>": {"<action>": <probabilité>}}}.Entrée hors contrat (jeu non supporté, itérations non entières ou hors bornes) ->
{"status": "invalid", "error": "..."}en HTTP 200 : le service ne lève jamais d'exception.Preuves mesurées
Environnement : Python 3.13.14,
open_spiel2.0.2,jupyter_kernel_gateway3.0.1, Windows 11.Tests —
18 passed in 1.20s, sous--import-mode importlib(la configuration réelle de la suite partagée) et en exécution directe du fichier.Service — journal de démarrage réel :
Requêtes réelles (service sur le port 8901, sorties verbatim dans le README) :
kuhn_poker300exploitability 0.003034,nash_conv 0.006068, 12 états d'informationleduc_poker100exploitability 0.095716,nash_conv 0.191433, 936 états d'informationmatrix_rps300exploitability 0.0, stratégie uniforme1/3 · 1/3 · 1/3(équilibre attendu){"game": "poker"}{"status": "invalid", "error": "jeu non supporte: 'poker' ..."}{"iterations": 0}{"status": "invalid", "error": "iterations invalides: 0 ..."}{}(corps vide){"status": "invalid", "error": "jeu non supporte: None ..."}OpenAPI —
GET /_api/spec/swagger.json:title: openspiel-cfr-service,version: 0.0.0,paths: ['/gametheory/cfr'].Guards locaux (sur ce diff) :
check_notebook_nav_chain.py --check --diff-base origin/mainrc=0 (0 NEW finding) ·check_prose_quantitative_claims.py --diffrc=0 ·check_activity_leak.py --diffrc=0.Le carnet est committé avec ses sorties : la cellule de préparation et l'endpoint portent leur
execution_countet leur sortie réelle (mode local de démonstration surkuhn_poker) ; le hook H.3 passe.Deux points de méthode
matrix_rpspasse parturn_based_simultaneous_game(game=matrix_rps()): CFR exige un arbre séquentiel et le moteur rejette la forme normale telle quelle. La transformation canonique d'OpenSpiel rend l'ordre des coups séquentiel en préservant l'information imparfaite.importlib.util.spec_from_file_location) : la suite partagéescripts-tests.ymltourne en--import-mode importlib(pytest.ini), où le dossier du test n'est pas ajouté àsys.path. Unfrom openspiel_cfr_core import ...y serait unModuleNotFoundErrorde collecte, qui avorte toute la session pytest et masque les autres résultats — mesuré sur ce diff avant correction (Interrupted: 1 error during collection). Même motif quetest_bg_tree_lock.py.Verdict SOTA
SOTA-OK — le service invoque le vrai moteur (
pyspiel.CFRSolver,pyspiel.exploitability,pyspiel.nash_convd'OpenSpiel), sans réimplémentation ni substitution, et la sortie committée est sa vraie sortie.Hors-scope de la PR
Part of #19571
See #21104
🤖 Generated with Claude Code