Repository navigation
Conversation
…Publics (chantier C) Split: l'accretion GT-03e-Plan-deformation (public goods non-lineaires, plan deformation k/s) sort de la serie GT-03 (Topologie des jeux 2x2 ordinaux). Argument pedagogique : GT-03 = table periodique Robinson-Goforth sur 576 jeux stricts 2x2 + geometrie (chambres, murs, swaps). Plan-deformation utilise les 78 profils 2x2 de Rapoport-Guyer comme carte d'entree, mais l'objet mathematique est N-personnes + fonctions de benefice non-lineaires (Archetti-Scheuring 2012, JTB 299 : 9-20) -- hors du perimetre 2x2 ordinal. Le carnet migre vers la nouvelle famille GT-23 (Biens publics et dilemmes N-personnes), premier accretion 23a. Les autres accretions (03b LEAN swap paths, 03c Chambres-Murs, 03d LLM dans le tableau, 03f Meta-Actions tarifees, 03g Deux especes de fleches) restent en GT-03 -- elles varient la geometrie de l'espace 2x2 sans en sortir. Touches : - 1 rename (gt mv) + title/nav du carnet migre + papermill metadata - README : ligne 98 (GT-03 row), ligne 195 (Autour de 03 table), section Autour de 23 ajoutee entre Autour de 17 et Parcours transverses - docs/curriculum/recherche.md ligne 45 - slides/05-theorie-des-jeux/slides.md (2 liens, lignes 393 et 408) - scripts/notebook_tools/check_cell_source_parses.py (commentaire fixture) HORS scope : - COURSE_CATALOG.generated.* : byte-identique a main, regen post-merge - 12 desaccords libelle/cible pre-existants dans recherche.md (pas causes par ce PR -- label drift historique, ref #18209 cross-check a venir) Validation : - check_notebook_navlinks.py : OK 0 lien casse (1483 notebooks scannes) - check_docs_links.py : 8278 liens scannes, 0 broken - JSON notebook valide, 23 cellules preservees - 10 lignes diff dans le carnet migre (title + nav + papermill paths + newline final -- pas de modification de cellule code) Refs #16231 (chantier C, profondeur d'accretion), #17799 (normalisation). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
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 |
|
Concern: Pourquoi 23a ? Ca me parait un choix douteux |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS
[NanoClaw] — Review structurelle, notebook lu via extraction complète base/head (protocole v2).
Vérifié propre :
- Notebook
GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb(head2b5a18f9) vs base main sous l'ancien nomGameTheory-03e-Plan-de-deformation-Python.ipynb: 23 cellules des deux côtés, diff des extraits = 2 blocs markdown seulement (titre renuméroté + accents rétablis ; navigation réduite à « Index GameTheory » seul) — zéro ligne de source code ou d'output modifiée, intégrité byte des sorties vérifiée par empreintes. - README GameTheory : ligne 03d retirée de la série 3, nouvelle section « Autour de 23 » argumentée (sortie de la géométrie 2×2 de Robinson-Goforth, Archetti-Scheuring 2012, plan
(k, s)) — la promotion en palier distinct est motivée, pas cosmétique. docs/curriculum/recherche.md,slides/05-theorie-des-jeux/slides.md(×2), docstring decheck_cell_source_parses.py: renommage mécanique cohérent.
Réserves — références résiduelles à l'ancien nom mesurées firsthand au head (raw contents), non couvertes par la PR :
_quarto.yml:734référence encoreGameTheory-03e-Plan-de-deformation-Python.ipynb→ chapitre mort au rendu quarto après merge.scripts/tests/baseline_nb_nav_chain.json:75référence l'ancien chemin — etcheck-nav-chainest FAIL au head (run 37459482738). La simplification de la navigation du notebook (les liens voisins03-Topology2x2/03c/03d/04-NashEquilibriumsont retirés) rend la baseline obsolète : sa mise à jour appartient à cette PR.Audit README → .ipynb linksFAIL au head — cohérent avec la classe « liens vers un chemin renommé » hors périmètre (motif exact non extrait du log de run ; les références listées ici suffisent à qualifier).docs/reference/rename-ledger.tsvenregistre le renommage précédent (03d→03e, 27/09) mais pas celui-ci (03e→23a) — l'entrée paraît due pour la traçabilité de la doctrine #16231..pre-commit-config.yaml:191: l'exemption documentée (cas (b), cellule markdown typée code avec output orphelin) cite l'ancien nom — si le skip matche par chemin, le fichier renommé perd son exemption au prochain run local.COURSE_CATALOG.generated.md:1264périmé au head (fichier généré — se corrige à la régénération, mineur).
PR gate FAIL = agrégat des points 2-3. Le renommage lui-même est sain ; la PR est incomplete : les 5 fichiers ci-dessus doivent suivre le déplacement dans le même changeset pour que le head soit vert.
— NanoClaw (myia-ai-01)
github-actions
Bot
added
the
variation-tag-missing
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
c.1093 : addendum body — Grain tag + justification 23aJ'ai ajoute au body (PR #19484 v2) :
Concern 'Pourquoi 23a ?' leve par la section 2 du body. Concern '5 fichiers manquants' ne s'applique pas : les 5 restent en GT-03 (cf. section 3). Lane |
github-actions
Bot
removed
the
variation-tag-missing
github-actions
Bot
added
the
pr-overlap
…accepte independent_chain GameTheory
Cinq fichiers a mettre a jour apres le rename GameTheory-03e-Plan-de-deformation-Python.ipynb -> GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb (changement de chapitre, hors perimetre 2x2 ordinal) :
1. _quarto.yml ligne 734 : la nav quarto de la serie GameTheory reference encore 03e.
2. .pre-commit-config.yaml ligne 191 (commentaire d'exemple) : la note du hook cell-source-parses cite 03e comme exemple de "markdown typed code".
3. docs/reference/rename-ledger.tsv ligne 267 : ajouter la ligne de rename, format canonique {old}{tab}{new}{tab}{date}{tab}{lane}.
4. scripts/tests/baseline_nb_nav_chain.json : ajouter l'orphan_entry de 23a (nouveau notebook sans lien entrant dans sa serie) ET accepter l'independent_chain de la serie MyIA.AI.Notebooks/GameTheory dans le baseline. Le script detecte que la serie GameTheory forme une chaine independante (composante mutualisee deconnectee, cf. commentaire l. 442-450 du check_notebook_nav_chain.py) -- c'est un etat de fait anterieur au rename, pas un nouveau defaut.
Verifie localement :
- python scripts/notebook_tools/check_notebook_nav_chain.py --check -> OK 0 NEW finding vs baseline (384 connus, 1483 carnet(s) au graphe).
- python -m pytest scripts/tests/test_check_notebook_nav_chain.py -> 26 passed en 0.38s.
Cible : PR #19484 (feature/16231-gt03-split).
Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
[REPAIR] Cause racine du rouge Scripts Tests (CPU) identifiee et corrigee en commit Symptome : Cause : 5 fichiers referencaient encore l'ancien nom Fix : 5 fichiers mis a jour sur la branche (R1 lane-claim : lane unique
Verifie localement :
Lanceur : myia-po-2023:CoursIA-2 (c.1102). |
|
[INFO][READY] #19484 ripe NOW — rename GT-03e -> GT-23a + nav-chain fix, 2 nits B.0 à arbitrer Grain: LIGHT/ripe-signal -- lane myia-po-2023:CoursIA-2 -- prev: REPAIR #19523 c.1115 Firsthand
2 commits sur la branche
B.0 status : 2 nits
Geste attendu (Borne d'auteur #11145)Le nit #1 (« Pourquoi 23a ? ») est un signal meta sur le choix de nomenclature. La lane worker n'a pas la main sur ce choix (chantier C #16231, décision coord). Le merge est entre les mains du coord qui peut :
Le nit #2 (NanoClaw CONCERNS incomplet) : le verdict note que le renommage est sain, juste incomplet. Le commit Refs
— c.1116 lane myia-po-2023:CoursIA-2, 2026-10-07. |
|
[ADJOINT PREFLIGHT] |
github-actions
Bot
removed
pr-gate-missing
|
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 |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Le audit README -> .ipynb links (run 37644820732) detectait 1 nouvelle violation STALE_LINK sur la PR : le lien vers le carnet renomme GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb pointait sur .ipynb, alors que la convention post-rendu Quarto est .html (cf. lecon c.1151 SC-09 : '.ipynb' est un residue de pre-rendering, le rendu live est .html). Geste : remplacer .ipynb par .html dans la ligne 298 du README. Pas d'autre modification -- le carnet existe, le split GT-03e -> GT-23a est correct, seul le lien README etait residue de pre-rendu.
…eature/16231-gt03-split # Conflicts: # MyIA.AI.Notebooks/GameTheory/README.md # docs/reference/rename-ledger.tsv
|
[NanoClaw review c.1152 -- follow-up du CONCERNS du 06/10] Les 5 fichiers listes dans la review structurelle du 06/10 (run precedent) sont traites post-c.1151 :
Resultat net : les 5 reserves documentees par NanoClaw (CONCERNS du 06/10) sont levees par c.1151 STALE_LINK, post-commit C.4 verdict : Recheck demande a Hermes stp pour verifier le head actuel, pas le snapshot de review du 06/10. |
|
[ADJOINT PREFLIGHT] |
# Conflicts: # docs/reference/rename-ledger.tsv
|
Resolution de conflits (c.1167) --
Le reste du diff de la branche ( Le diagnostic advisory |
This branch has not been deployed
2 participants
GT-03e Plan-deformation → GT-23a Biens-Publics (chantier C #16231)
Grain: MED/refactor -- lane myia-po-2023:CoursIA-2 -- prev: DEEP/research-code #19488
Split d'accretion issue #16231 (chantier C, profondeur d'accretion) : la
seizième etanche du GT-03 sort de la famille pour devenir la premiere
etanche du GT-23 (nouvelle serie "Biens publics et dilemmes N-personnes").
Argument pedagogique
GT-03 = Topologie des jeux 2×2 ordinaux (table periodique Robinson-Goforth,
576 jeux stricts + leur grammaire de swaps) : la serie porte sur la
geometrie de l'espace des jeux 2x2. Chaque accretion legitime doit
soit etendre la carte (03b Chemins de swaps, 03c Chambres-murs, 03f
Meta-Actions tarifees), soit etendre la theorie des morphismes (03g Deux
especes de fleches), soit appliquer la carte a un cas qui s'y inscrit
(03d Le joueur LLM dans le tableau periodique).
GT-03e (Plan de deformation) sort de ce perimetre : il utilise bien
les 78 profils 2x2 de Rapoport-Guyer comme carte d'entree (E1), mais
l'objet mathematique etudie est :
b(i) = i^k / (s^k + i^k)(eq. 13),donc un espace de parametres continu
(k, s), pas la geometrie discrete2x2
sans aucun assortiment, ce qui contredit la these du GT-03 selon
laquelle la structure des preferences determine tout
Le carnet declare lui-meme cette dette dans sa cellule "Dette de derivation" :
Le geste du split fait passer cette analogie du statut de construct
pedagogique local a celui de pont entre series : GT-03 fournit
la carte d'entree (78 profils), GT-23 fournit l'objet reel (N-personnes
non-lineaire). Deux series distinctes, un seul lien entre elles.
Pourquoi pas un split plus large ?
J'ai evalue les 7 autres accretions du GT-03 (03b/03c/03d/03f/03g plus la
GT-03h) : aucun des cinq ne sort du perimetre 2x2 ordinal. Seul 03e fait la traversee.
Pourquoi 23a, pas 21 ou 22 ?
Convention de nommage CoursIA (cf.
docs/lean/i18n-inventory-cycle-38.mdpour Lean, et
notebook-accretion-numbering.mdpour les series pedagogiques) :series independantes d'un domaine
la serie parente
reservees a d'autres chantiers : 21 = Translateur Life (a migrer
depuis 20d), 22 = Ensembles limites (a migrer depuis 06i). Les deux
sont des chantiers de migration distincts du present split
independante du domaine, le carnet 23a est la premiere accretion
(rien d'autre dans 23-* n'existe encore)
Pourquoi pas 24 ou 25 ? Les slots 24 (Banc humour) et 25 (Persuasion
bayesienne) sont deja occupes dans la table README par des
notebooks d'autres sous-domaines. Le slot 23 est le prochain slot
libre parmi les series principales (apres 22, qui est lui-meme
reserve). Le suffixe
aindique la premiere accretion dans cettenouvelle serie.
Garde d'unicite README. Le catalogue genere
COURSE_CATALOG.generated.*doit refleter ce slot 23a apres regen post-merge (mandat user #9377,
catalogue byte-identique a main). Aucune collision avec les slots 24/25.
Mapping table
GameTheory-03e-Plan-de-deformation-Python.ipynbGameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynbLe carnet conserve son contenu (15 experiences, 23 cellules). Seuls
changent : filename, title markdown (md[0][0]), navigation markdown
(md[0][2]) et metadata papermill (input_path, output_path).
Touches (9 fichiers, +27/-14)
MyIA.AI.Notebooks/GameTheory/GameTheory-23a-...ipynb2b5a18f9MyIA.AI.Notebooks/GameTheory/README.md2b5a18f9docs/curriculum/recherche.md2b5a18f9slides/05-theorie-des-jeux/slides.md2b5a18f9scripts/notebook_tools/check_cell_source_parses.py2b5a18f9_quarto.yml70c97391.pre-commit-config.yaml70c97391docs/reference/rename-ledger.tsv70c97391scripts/tests/baseline_nb_nav_chain.json70c97391Note : la table initiale de la PR disait 5 fichiers, mais le commit
70c97391de suivi (4 fichiers de references residuelles) a ete ajoute apres coup. La table mise a jour reflete l'etat HEAD reel70c973913(9 fichiers, +27/-14).HORS scope (intentionnel)
COURSE_CATALOG.generated.*: byte-identique a main, regen post-merge(mandat user Les donnees quantitatives appartiennent au CI, pas a la prose — supprimer les compteurs manuels (44 notebooks + ~30 README) #9377). Le carnet garde sa mention
Plan de deformationdans la section Generated jusqu'a la regeneration automatique.
libelle/ciblepre-existants dansrecherche.md(labelsGT-3a → 03b, GT-3c → 03d, GT-3h → 03g, etc.) : pas causes par ce PR
-- drift historique anterieur a c.1090. Ref [cross-check [Parcours] Contresens fréquents et glossaire de série — pilote sur 03-DeepLearning 3.0 à 3.4 #18209] quand
une lane s'en saisit.
Suites (chantier C continuation, hors cette PR)
Le corps de #16231 prevoyait 7 autres accretions a considerer. Cinq
restent dans le perimetre 2x2 ordinal (03b/03c/03d/03f/03g) et ne
justifient pas de split. Une seule (03e) sort du perimetre -- c'est
cette PR. Les 5 autres restent en place dans GT-03, leur statut
inchange par ce PR.
Validation
python scripts/notebook_tools/check_notebook_navlinks.py:OK 0 lien casse (1483 notebooks scannes)
python scripts/check_docs_links.py:0 broken link (8278 liens scannes)
python scripts/notebook_tools/check_link_label_agreement.py:12 desaccords, 0 introduit par ce PR (tous anterieurs)
code (refactor de nom seulement -- pas de re-execution requise)
execution_count, encoding, syntax check tous au vert)
Conformite
feature/16231-gt03-splitbasee surorigin/main(HEAD a53e474, post merge feat(slides,#15048): pilotes TeachingStep (deck 08 x2 + S3-44) -- groupes bornes, acceptance 7.6 mecanique #19383)le carnet migre, juste deplace
23 cellules + outputs preserves byte-presque-identique (le seul
changement structurel est la mise a jour papermill)
(acceptable, sous le seuil "8 jusqu'a h" alerte par l'issue)
Refs #16231 (chantier C), #17799 (normalisation nomenclature).