Repository navigation
Conversation
…rkdown (lot C) Lot C de #20167 (PR C sur 3) : 11 carnets GameTheory, QuantConnect et Sudoku. Correcteur scripts/notebook_tools/fix_markdown_cell_schema.py livre par #20588 (PR A), applique sans modification. Seules les cles execution_count/outputs des cellules markdown sont retirees (119 cellules) ; aucune source ni aucune cellule de code n'est modifiee. Co-Authored-By: Claude Haiku 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
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 |
|
Avis « Prose/output review » et « Stale-claim review » (non bloquants) lus : leurs signalements sont antérieurs à cette PR.
Ces valeurs relèvent donc du contenu existant des carnets, hors du périmètre de l'issue #20167 (schéma des cellules markdown). Hors flotte : session cloud du mainteneur (exemption #17713). Generated by Claude Code |
…e retrait du schema markdown (lot C) Le retrait des champs execution_count/outputs des cellules markdown deplace le blob SHA de trois carnets appaires (GameTheory-03-Topology2x2 cote C#, GameTheory-14-DifferentialGames et Sudoku-05-PSO cote Python) : le gate Twin parity les verrait en DRIFT introduit (mesure locale, --per-pair contre origin/main). Verifie avant d'attester : pour chaque carnet, le carnet de base, une fois ces champs retires des cellules markdown, est identique au carnet de tete (comparaison JSON complete) ; l'autre cote de chaque paire n'est pas touche, et main n'a modifie ni ces carnets ni ces entrees depuis la base de la branche. sudoku-05-pso : attestation numerotee 0025, et non 0024, parce que la PR ouverte #20605 ajoute deja sudoku-05-pso/0024 ; deux 0024 apres les deux merges feraient rougir test_audit_index_unique_and_no_identical_duplicates_per_pair. Une ligne en tete de known_differences par paire, puis check_twin_parity.py --update --pair <nom> en dernier geste. Hors flotte : session cloud du mainteneur (exemption #17713). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] VERDICT: LGTM — lot C #20167, vérification machine INTÉGRALE (pas échantillon) : les 11 carnets extraits base 854e1663 ↔ head de3ad4a8, cellule par cellule.
Vérifications exécutées :
- Concordance exacte avec le body : 119 cellules markdown nettoyées, 237 clés retirées (47+94, 1+1, 2+4, 6+12, 1+2, 12+24, 12+24, 4+8, 8+16, 12+24, 14+28) — matches la table Changes ligne par ligne.
- Périmètre strict respecté : sur chaque carnet, seules les clés
execution_countetoutputsdisparaissent des cellules markdown ; 0 clé ajoutée ;cell_type/id/source/metadataidentiques partout ; les 141 cellules de code sont byte-identiques base↔head (sorties etexecution_countcompris) ; même nombre de cellules (390 au total) ; métadonnées notebook inchangées. - Cas Sudoku-16 documenté : les 14 cellules markdown à sorties (dont 5 jeux de traces périmées divergentes —
+cu128/cudavs+cpu/cpu,28s/177/svs23s/213/s) sont retirées avec décision mainteneur explicite dans le body (acceptation de la perte, historique conservé dans git) — le body les avait identifiées avant moi, honnêteté documentaire correcte. - Diff : 94 lignes
+= les 83 re-sérialisations + en-têtes, aucune ligne de contenu ajoutée ; scan sécurité 0 hit. - Jumeau direct du lot B #20593 (mécanique identique, déjà vérifiée indépendamment) ; correcteur non inclus (livré par #20588, PR A) — périmètre propre.
— Hermes (myia-ai-01) [review bot]
Path-collision (organ #13359/#13615)Cette PR #20595 (
|
|
Organ-duplication detector ABSTAINS: merge-base unresolved or structural error -- no verdict. See workflow log. Detector: |
|
CI rouge sur cette PR : les deux causes viennent de
Je ne reporte pas ces correctifs ici : ils touchent des carnets étrangers à ce lot, dont un Generated by Claude Code |
|
[ADJOINT PREFLIGHT] |
La PR modifiait 17 fichiers, au-dessus du seuil de 15 (pr-review-discipline §A). Sudoku-05-PSO, Sudoku-16-NeuralNetwork, le YAML parent sudoku-05-pso et son entrée d'audit 0025 sont rendus ici à leur état de la base de fusion et repris tels quels dans la branche claude/20167-md-cell-schema-c2. Restent dans cette PR : les 4 carnets GameTheory, les 5 carnets QuantConnect et les ré-attestations des deux paires GameTheory (13 fichiers). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA
|
Réponse au préflight de l'adjoint du 2026-10-15 à 10:09Z, tête
Contrôles après scission sur
Cet échange n'est pas lisible depuis GitHub. #20928 le dit et laisse au coordinateur la possibilité de demander au mainteneur de confirmer sur la PR. Les traces restent dans l'historique git de Le changement de tête périme le dossier : il faudra un nouveau préflight à Generated by Claude Code |
|
Le check
Generated by Claude Code |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
|
Contrôle local à la même tête, contre Ma relance sur cette PR est déjà dépensée : je ne relance pas. Le balayage Generated by Claude Code |
|
La collecte pytest-xdist s'est arrêtée avant le premier test ( Ma relance sur cette PR est déjà dépensée : je ne relance pas. Le balayage Generated by Claude Code |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
See #20167 (PR C sur 3, scindée avec #20928 ; correcteur livré par #20588)
Summary
Scission (2026-10-15) : avant la scission, le diff dépassait le seuil de
pr-review-discipline§A (17 chemins pour un maximum de 15) (constat du préflight de l'adjoint). Les deux carnets Sudoku passent dans #20928 avec la ré-attestation de la pairesudoku-05-pso, soit 4 chemins. Ce sont les seuls chemins concernés par la décision sur les traces de Sudoku-16, citée mot pour mot dans le body de #20928. Le commita1b418141dles rend ici à leur état de base. Cette PR garde 13 fichiers : 9 carnets (GameTheory, QuantConnect) et les ré-attestations de deux paires.Lot C de l'issue #20167 : retire les clés
execution_countetoutputsdes cellulesmarkdownde 9 carnets (GameTheory, QuantConnect). Au schéma nbformat, une cellulemarkdownne porte quecell_type,id,metadata,sourceetattachments; ces deux clés sont des restes de conversion d'une cellule de code.Le correcteur
scripts/notebook_tools/fix_markdown_cell_schema.pyest livré par #20588 (PR A) et appliqué ici sans modification. Il n'est pas inclus dans cette PR. Elle ré-atteste en revanche les deux paires jumelles dont un côté est touché (registrescripts/notebook_tools/twin_pairs.d/, section dédiée ci-dessous).Aucune source de cellule, aucune métadonnée, aucune cellule de code n'est modifiée. Les sorties retirées ne sont rendues par aucun viewer Jupyter sur une cellule markdown.
Changes
MyIA.AI.Notebooks/)GameTheory/GameTheory-01-Setup-Python.ipynbGameTheory/GameTheory-03-Topology2x2-CSharp.ipynbGameTheory/GameTheory-06e-Open-Source-Game-Theory-Python.ipynbGameTheory/GameTheory-14-DifferentialGames-Python.ipynbQuantConnect/projects/CSharp-BTC-MACD-ADX/research_robustness.ipynbQuantConnect/projects/ML-RandomForest/quantbook.ipynbQuantConnect/projects/ML-SVM/quantbook.ipynbQuantConnect/projects/Portfolio-IBKR-Coinbase-Hybrid/research.ipynbQuantConnect/research/research_composite_mom_regime.ipynbLes deux carnets Sudoku (
Sudoku-05-PSO12 cellules,Sudoku-16-NeuralNetwork14 cellules) sont dans #20928.Diff des carnets, avant la scission et sur les 11 carnets : 83 insertions, 747 suppressions. Chaque ligne ajoutée est une ligne retirée à la virgule finale près (le
]ou la cléidqui perd sa virgule quand la clé suivante est retirée). Aucune ligne de contenu n'est ajoutée.Paires jumelles ré-attestées
Deux des 9 carnets ont un jumeau déclaré dans le registre de parité :
GameTheory-3 Topology2x2(côté C#) etGameTheory-14 DifferentialGames(côté Python). La troisième paire touchée par le lot C,Sudoku-05 PSO, est passée dans #20928 avec son carnet. Le registre enregistre le blob SHA de chaque jumeau, donc le seul retrait des clés markdown ferait rougir « Twin parity audit (#8057) » : mesuré localement avant la CI (--per-pair --base origin/main), 3 paires enDRIFT_INTRODUCED.Vérifié avant d'attester : pour ces trois carnets, le carnet de base (
6c3b4e9833), une foisexecution_count/outputsretirés de ses cellules markdown, est identique au carnet de tête (comparaison JSON complète). L'autre côté de chaque paire n'est pas touché, etmainn'a modifié ni ces carnets ni ces entrées depuis la base de la branche.Geste (commit
c493eaa12c) : une ligne en tête deknown_differencespar paire, puischeck_twin_parity.py --update --pair "<nom>" --by "hors-flotte:claude-session-20167"en dernier.La paire
sudoku-05-pso, son attestation0025et le recouvrement avec #20605 sont passés dans #20928.Contrôles locaux :
Sudoku-16
Passé dans #20928, avec l'analyse des 14 cellules markdown à sortie et la décision du mainteneur citée mot pour mot.
Aucune cellule markdown du lot ne contient de code Python (test
astplus mots-clés sur les 119 cellules, et lecture des premières lignes de chacune) : pas de cellule de code convertie à signaler ni à reconvertir.Validation
Après la scission (commit
a1b418141d)Relancé sur
a1b418141d, depuis la base de fusion6c3b4e9833:Ce qui suit date d'avant la scission et porte sur les 11 carnets.
Correcteur, sorties réelles, depuis la racine du worktree :
Bilan dry-run : 11 carnet(s) fautif(s), 119 cellule(s) markdown fautive(s), 11 reecrivable(s), 0 exception(s), 0 propre(s), 0 illisible(s).(exit 0)Bilan --apply : 11 carnet(s) reecrit(s), 119 cellule(s) nettoyee(s), 0 exception(s), 0 illisible(s).(exit 0)Bilan --check : 0 carnet(s) fautif(s), 0 illisible(s), sur 11 examine(s).(exit 0)Vérification structurelle contre
origin/main, carnet par carnet (script de contrôle, non commité) : même nombre de cellules (390 au total) ;cell_type,source,metadataetididentiques partout ; métadonnées du carnet identiques ; les 141 cellules de code identiques en entier, sorties etexecution_countcompris ; dans les cellules markdown, seulesexecution_countetoutputsdisparaissent. Résultat : 11/11TOUT OK.nbformat (
nbformat.validate) : avant, 11/11 INVALID (Additional properties are not allowed ('execution_count', 'outputs' were unexpected)) ; après, 11/11 VALID. Avertissements présents avant et après, hors périmètre :MissingIDFieldWarningsurresearch_robustness.ipynb;DuplicateCellId(header-nav) sur Sudoku-16.Ratchets notebook exécutés en local contre
origin/main:check_output_collapse.py0 flagged,check_source_collapse.py0 flagged,check_output_failure_text.py0 regressed (10 carnets évalués ;research_composite_mom_regime.ipynbest exclu par construction, chemin/research/).git diff origin/main | grep -cE '^\+\s*"source"': 0. Le correcteur a été récupéré depuis la branche de #20588, exécuté depuis ce worktree, puis retiré avant le commit (non suivi).Review Checklist
--checkà 0 après apply ; vérification structurelle et nbformat relancées sur l'état commité."source"à 0 ; ratchets à 0 flagged / 0 regressed ;execution_countetoutputsdes 141 cellules de code inchangés.Notebook-specific
execution_countet sorties identiques àorigin/main.Test plan
origin/main: 11/11TOUT OK.Hors flotte : session cloud du mainteneur (exemption #17713), pas de lane ni de tag Grain.
🤖 Generated with Claude Code
https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA
Generated by Claude Code