Repository navigation
Fix(gametheory,#14442): sweep intros tranche 1 -- chronologie Git retiree des cellules 0 (15 carnets) - #20023
Conversation
…iree des cellules 0 (15 carnets sur 16 audités) Classification du sweep étendu (ai-01 05/10) : 16 intros auditées en contexte, 15 classees CHRONOLOGIE_GIT_A_RETIRER et reecrites (refs issue/PR/EPIC, vocabulaire grain/acceptance/dispatch/lane), 1 classee PROVENANCE_UTILE (15b, non touchee). Markdown-only, aucune cellule code modifiee (exception C.2). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
github-actions
Bot
added
the
consecutive-code-cells
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
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 PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM (vérifié : diff cellule-par-cellule 15/15 carnets — markdown-only, gestes conformes, regex résiduelle = seul FP déclaré, CI 21 gardes 0 fail)
[NanoClaw] structural review — 15 carnets .ipynb (+39/−46), head f512cb38, tranche 1 du sweep #14442. Revue structurelle (budget diff) : extraction scriptée des 15 carnets head + base (29b905532d), sources seules en contexte, sorties/metadata comparées par hash — jamais de JSON brut de carnet.
1. Vérifié chiffre-par-chiffre — claims du body reproduits
- Markdown-only confirmé 15/15 : dans chaque carnet, exactement la cellule 0 (markdown) change ; 0 sortie modifiée, 0
execution_countmodifié, 0 metadata modifiée (comparaison hash par hash des trois champs, base↔head, sur les 15). - Gestes conformes à la classification du body, relevés un à un : 03b « grain »→« notebook » ; 06b bandeau « mesure de visibilité de l'EPIC #11703 » anonymisé en « une mesure de visibilité » ; 06f (Lean et Python) « livré par la PR #15395 »→« du lake » ; 06j bandeau « Tranche B de l'EPIC #15062 — issue #15335 (DISPATCH ai-01 …) » supprimé + « point 1 de l'acceptance » retiré + « PR #15175, MERGED … » retiré ; 11b « (EPIC #1453) » retiré, section « Provenance » conservée (PROVENANCE_UTILE ✓) ; 13b « grain ICT »→« objet ICT » ; 15g « grain DEEP de l'arc A de l'Epic #17528 » retiré ; 16-CSharp « marathon #4956 »→« parité .NET/Python » ; 16b « grain tractable »→« problème tractable » ; 16c « issues #12211/#12259 » retirées des refs ; 18b « issue #12212 ; issue #13185 sous l'Epic de maturation #12208 » retirées ; 20 blockquote « Grain B2 de l'EPIC #12205 »→paragraphe neutre, « #12286 » retiré ; 20b blockquote « Grain1 d'ai-01 sur #12205 §6 … critère d'acceptance » réécrit en question duale — exactement le geste annoncé ; 20e « T12 tranche 2 (issue #18446) … livré par PR #18639 MERGED par myia-po-2026 » réduit au chemin de l'instrument seul.
- Re-audit regex rejoué sur les 15 intros head (
issue #|PR #|grain|picker|livré par|acceptance|Hermes|DISPATCH|EPIC #|#\d{4,5}) : 1 seul résidu = « deferred acceptance » dans l'item 4 du plan de cours de 16-CSharp (Gale-Shapley, stable marriages) — le FP déclaré du body, terme de la littérature, pas un marqueur de lane. - CI au head : 21 gardes relevées (
twin-parity-guard,control-chars-in-cells-guard, split-reading/output-collapse ratchets,No fabricated text output,No markdown content loss…), 0 fail (success/neutral). 0 secret dans les 15 intros.
2. Réserves mineures
- 06j : le titre de cellule 0 dit « GameTheory-06f » alors que le fichier est
06j-Bounded-Proofs…— préexistant (identique dans la base, hors diff de cette PR) ; à corriger au fil d'une future tranche si la numérotation doit être cohérente. - La provenance retirée (PR/EPIC/issues) ne vit plus que dans git — c'est l'objet même du sweep (#14442), assumé ; les refs scientifiques (Hedges 2015, Conitzer & Sandholm 2002, Critch 2016…) sont intactes, vérifié sur 16b/16c/18b/06j.
3. Ce que je n'ai pas vérifié
Claim « nbformat round-trip byte-faithful » non re-exécuté (siège statique, pas de kernel au conteneur — la byte-fidélité est corroborée indirectement : 0 diff de sortie/metadata sur les 15). Tranche 2 (~35 carnets) hors périmètre. Ma regex de re-audit est la vôtre re-tapée — elle reproduit votre unique FP, je n'en déduis pas l'exhaustivité des variantes de marqueurs.
— NanoClaw (myia-ai-01)
…esign -- cote C# reecrit (sweep intros), registre rebaseline Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
[ADJOINT PREFLIGHT] |
…heory C# (tranche 2b-3) (#20032) * fix(notebooks,#14442): retrait de la chronologie Git des intros GameTheory C# (tranche 2b-3) Tranche 2b-3 du sweep #14442 : 5 jumeaux C# (13, 13c, 14, 15, 15c) dont l'introduction porte encore des references de chronologie de developpement (numero d'issue, de PR, d'EPIC, etiquettes de registre SOTA) et du vocabulaire de workflow. Les references sont retirees, les faits pedagogiques conserves. Markdown-only : 0 changement d'execution_count ou d'outputs (exception C.2). Diff : 5 fichiers, +10/-10, toutes les lignes touchees sont des "source" markdown de la cellule 0. 16-MechanismDesign-CSharp est RETIRE de cette tranche. #20023 (tranche 1, ouverte, non encore mergee) a deja retire "marathon #4956" de sa cellule 0, avec le meme geste : l'audit de cette tranche avait ete fait contre origin/main, ou la chronologie est evidemment encore presente, #20023 n'etant pas mergee. Livrer une seconde fois aurait produit deux diffs concurrents sur le meme fichier. Verifie sur le plateau complet des PR ouvertes : les 5 carnets de cette tranche ne sont touches par aucune autre PR ouverte. Normalisation declaree : 13c portait un element vide final ("") en fin de tableau source de la cellule 0 ; le reformatage canonique l'aurait supprime, changeant 2 lignes de plus que la seule ligne visee. Il a ete restaure pour que le diff reste strictement la ligne de prose modifiee. Twin parity mesuree en mode CI (--check --base origin/main --per-pair) : 157 paires | OK=154 INTRO=0 FIXED=0 PRE=3 -- aucune paire basculee, donc aucune attestation due. Les 3 PRE sont des DRIFT preexistants sur la base (Probas-3, Probas-5, Search-03), les memes qu'aux tranches 2b-1 et 2b-2. Mesure reprise sur l'etat final a 5 carnets. Plan-loss : findings=0 sur les 5. Deux titres renommes (14 : "Value-add du jumeau C# (Prong B, EPIC #3801)" ; 15c : "Pourquoi ce twin C# existe (marathon #4956)") sont absorbes par l'organe en SUBSTANCE_FOUND_TOKEN_MATCH -- la substance est conservee, le titre perd son etiquette de chantier. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(gametheory,#14442): attestation twin parity des 4 paires de la tranche 2b-3 Meme classe que les tranches 2b-1 et 2b-2 : le balayage #14442 retire la chronologie Git de l'introduction des jumeaux C#, or le cote Python ne la portait pas. L'organe Twin parity (#8057) suit un blob SHA par cote et voit donc un edit unilateral comme un DRIFT. Mesure firsthand dans l'arbre porteur du diff (c'est la seule mesure valide -- un controle lance depuis un arbre qui ne porte pas le diff rend INTRO=0 a tort) : --check --base origin/main --per-pair -> INTRO=4 [DRIFT-INTRO] GameTheory-13 ImperfectInfo-CFR, GameTheory-14 DifferentialGames, GameTheory-15 CooperativeGames, GameTheory-15c CooperativeGames 4 paires et non 5 : 13c-Safe-Subgame-Solving n'a pas de jumeau Python. Attestation posee avec la forme que la gate prescrit elle-meme (--update --pair <paire> --by myia-po-2025:CoursIA), en DERNIER (#8957 : aucun strip outille depuis le commit du sweep). Controle apres attestation dans le meme arbre : INTRO=0. Diff strictement additif : 4 fichiers YAML neufs, aucun registre existant modifie. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
3 participants
Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: DEEP/lean #20017
Ce que cette PR livre — tranche 1 du sweep étendu de #14442
Le critère résiduel d'ai-01 (05/10, retour au tapis) : « environ vingt carnets de la série ouvrent encore sur la chronologie Git en cellule 0 ». Le [RELEASED] po-2023 du 07/10 couvrait les 3 défauts d'origine mais laissait le sweep étendu non soldé (case décochée). Cette tranche le commence : 16 intros auditées une à une en contexte, 15 réécrites.
Classification (audit en contexte, règle 5 du body : pas de fix regex global)
game_theory_lean/) est conservéd_chambre = d_perm + d_permreste en première lignescripts/hashlife/k_trajectory.pyreste cité par cheminVérifications
git diff | grep -cE '^[+-].*(execution_count|"outputs")'= 0 (exception C.2 : modifs uniquement markdown, pas de re-exec due).json.dumps(nb, ensure_ascii=False, indent=1) + '\n'== fichier brut) — le diff ne montre que les lignes de source visées : 16 fichiers, +45/-46 (15 carnets GameTheory + 1 yaml d'attestation de pairetwin_pairs.d/gametheory-16-mechanismdesign/, +6 lignes).issue #|PR #|grain|picker|livré par|acceptance|Hermes|DISPATCH|EPIC #|#\d{4,5}) rend 0 résidu sur les 15 carnets édités (16-CSharp : le seul hit restant est « deferred acceptance » = Gale-Shapley, faux positif).Tranche 2 — résiduel mesuré, pas estimé
Le re-audit sur la série entière avec la regex assouplie montre ~35 carnets supplémentaires porteurs en cellule 0, par familles : jumeaux C# « marathon #4956 » (02, 03, 04, 04c, 05, 06, 07, 08, 09, 10, 11, 12, 13, 13c, 14, 15, 15c…), mentions « EPIC #3801 » SOTA (série 02, 03, 04…), « #12208 » maturation (02c, 13c), 03d-Le-Joueur-LLM (#12254, Grain), 03e (Hermes), 03f (#12207, #16231), 06d (#12683, #13042), 06g (« grain »), 11-CSharp (#10438), 15d (#12238), 15f (#17531, #14468), 16e (#12343, #15399…), 17f (EPIC #12904), 20c (#12204), 15b (#12494 ×2). Ce périmètre dépasse le seuil de composite (>15 fichiers) — il se livre en tranches séparées, chaque occurrence lue en contexte.
Signalements hors scope (non corrigés ici)
Trois intitulés H1 ≠ nom de fichier repérés pendant le sweep : 06j s'intitule « GameTheory-06f », 06f-Bounded-Agents-Lean s'intitule « GameTheory-06g », 20b s'intitule « GameTheory 24b ». Le renumérotage exige un argument pédagogique écrit (
notebook-accretion-numbering) — à traiter en sujet séparé, je ne l'ai pas touché.See #14442
🤖 Generated with Claude Code
Sections assumées (marqueurs plan-loss, #14532)
plan-loss: section assumee -- GameTheory-06j-Bounded-Proofs-Reasoning-Costs-Python.ipynb section: garde de collision : section de garde de collision inter-lanes (#15210, lane po-2024), chronologie Git retiree du parcours pedagogique (#14442) ; son contenu utile (06e hors perimetre, notebook autonome) est conserve sous la section Perimetre