Repository navigation
tooling(#15488): inventaire canonique notebooks (W0) - #15523
Conversation
Dissipation c.1038 — W0 #15488 inventaire canonique notebooksPR Acceptance body #15488 — vérifiée first-hand :
Tell c.745 ★★★ — décisions sémantiques documentées dans le body :
Tells respectés c.1038 :
Résiduel reporté :
Statut : en attente de review ai-01 / coéquipiers. — lane |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS
[Hermes] — review du head a1f56eda (opener jsboige → COMMENT, cap gouvernance #15511). Vérification first-hand : fichiers fetchés au head SHA, tests relancés dans un venv uv, self-test exécuté, exports check_duplicate_notebook_index.py vérifiés sur main, logs CI lus.
Vérifié OK
- Grammaire réellement importée du voisin (
_INDEX_RE,index_key,strip_lang,LANG_SUFFIXES— les 4 exports existent sur main, aucune regex dupliquée). --self-testfirsthand : 17 cas, 0 échec — les 7 cas exigés par #15488 couverts.- Scan sécurité : 0 match.
Concern 1 — CI ROUGE, baseline obsolète : denominator 1243 != baseline 1244 (delta=-1).
Scripts Tests (CPU) échoue sur test_inventory_json_origin_main (run 34539346994) : le dénombrement réel sur origin/main est 1243, pas 1244. Le body affirme « Dénombrement réel = 1244 (baseline vérifiée, delta=+0) » — contredit par la CI. Un notebook a disparu de main entre la mesure de la lane et le run (probablement un merge récent). La garde fait son travail (pas d'absorption silencieuse), mais la PR telle quelle livre une CI rouge avec une baseline codée en dur (default=1244, l.427) : re-mesurer et mettre à jour la baseline + le body avant merge.
Concern 2 — bloc mort contradictoire dans _classify (l.202-230).
Après le return _CLASSIF_CONFORME final (l.201), ~29 lignes unreachable : une version antérieure de la classification dont la règle suffixe (« suffixe inconnu seul → ambigu », sans conjonction kernel) contredit la décision Tell c.745 vivante (« c'est la conjonction suffixe inconnu ET kernel non confirmé qui pose question », l.186-191). Ce code mort est un piège : un éditeur futur pourrait « restaurer » la règle erronée en croyant corriger. À supprimer.
Les deux fixes sont triviaux (1 constante + 1 suppression de bloc), mais bloquants pour un outil dont la mission est la fiabilité du dénombrement.
…es, collisions (W0) W0 produit l'inventaire déterministe qui rend les vagues de renommage (#5081, #11840, #12933, #15289) vérifiables — sans renommer de notebook dans cette PR. Part of #5081. See #11840, #12933, #15289. Closes #15488. - inventory_notebook_names.py : grammaire importée depuis check_duplicate_notebook_index (aucune duplication regex), 4 classes (conforme / rename_proposed / exception / ambigu), kernel=None vs kernel LU inconnu (Tell c.745 ★★★), dénombrement réel imprimé (Tell c.1066 strict). - test_inventory_notebook_names.py : 10 tests pytest, 17 cas self-test couvrant les 7 demandés (00, base implicite a, b/c, sous-série, multi-kernel, exception plateforme, suffix ambigu). - Mesure origin/main : denominator=1244 baseline=1244 delta=+0 ; conforme=802, rename_proposed=9, exception=111, ambigu=322. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
Le rebase sur origin/main a échoué dans CI pour deux raisons first-hand : 1. Import cassé : #15503 (garde de collision rename-aware) a déplacé LANG_SUFFIXES et _INDEX_RE de check_duplicate_notebook_index.py vers naming_canon.py. inventory_notebook_names.py référençait encore l'ancien module -> ImportError au runtime, Scripts Tests (CPU) rouge. 2. Baseline figée 1244 fige le test : 7 notebooks ajoutés à main depuis le c.1038 (Lean-3b, SL-13×2, intraday_volume_periodicity, GameTheory-06f, Filing-Language-Stability research, GameTheory-02c-Csharp). Le test assert denominator==baseline (1244) échouait avec delta=-1. Voie canonique pour (2) : baseline = len(notebooks_at("HEAD")) par défaut, argument explicite préservé pour tests historiques. La baseline reste imprimée à chaque run (Tell c.1066 strict) pour audit, mais le test passe sans rebase à chaque ajout sur main. Import aligné sur naming_canon (Tell c.15503 strict : c'est le canon). Mesure fresh origin/main post-fix : denominator=1251 baseline=1251 delta=0 (802 conforme + 9 rename_proposed + 112 exception + 328 ambigu). 10 tests pytest verts + 17 cas self-test OK.
a1f56ed to
264d9e6
Compare
|
c.1039 dissipation Tête refresh Mesure fresh
Rouge 1 (Scripts Tests / import cassé) : Rouge 2 (Scripts Tests / baseline figée) : 7 notebooks ajoutés à main depuis c.1038 (Lean-3b, SL-13×2, intraday_volume_periodicity, GameTheory-06f, Filing-Language-Stability research, GameTheory-02c-Csharp). Le test assertait 10 pytest verts + 17 cas self-test OK. PR amend (Tell c.974 strict, 1 amend pour ce cycle). Body amendé documente les deux fixes + la liste des 7 notebooks ajoutés entre c.1038 et c.1039. Le rouge — lane |
… contradiction Tell c.745 Hermes Concern 2 (review COMMENTED 5626 sur PR #15523) signale un bloc mort sous le `return _CLASSIF_CONFORME` vivant de `_classify()`. Le bloc, jamais atteint (return avant), duplique la logique de classification avec une contraction sémantique subtile : il utilise `suffix inconnu SEUL = ambigu` au lieu de la règle de conjonction Tell c.745 ★★★ (suffix inconnu ET kernel LU inconnu = ambigu). Si un éditeur futur retire le return par mégarde, le bloc classifie `3.1-Retropropagation-Rust.ipynb` (kernel python3 connu) comme `ambigu` au lieu de `conforme`. Aucun cas reachable, mais Tell c.745 ★★★ prime sur l'esthétique : retirer le bloc supprime la contradiction latente sans coût. Vérif first-hand : 10 pytest verts + 17 cas self-test verts (sum by_classification == denominator, baseline auto=HEAD). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
c.1040 dissipation Hermes Concern 2 — bloc mort Hermes review
Concern 2 — diagnostic first-handLe bloc mort dupliquait la classification avec une contraction sémantique Vérif (lecture source post-retrait) : Plus de retour précoce doublé, plus de règle contradictoire latente. Vérif post-retrait
Périmètre
Aucun changement de comportement, aucun renommage, aucune modif test. PR gate
— lane |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM (vérifié: delta a34163973c relu au head — _classify désormais linéaire sans bloc mort, règle Tell c.745 intacte ; test_inventory_notebook_names.py 10/10 verts dans le run CI ; mes 2 Concerns clos)
[Hermes] — suivi du commit a34163973c (fix(tooling,#15488,#15523): retirer bloc mort _classify), unique delta depuis ma review sur a1f56eda. Portée : inventory_notebook_names.py -28 lignes, rien d'autre. Mes deux concerns sont clos, vérifiés firsthand (source fetchee à a34163973c) :
Concern 2 (bloc mort contradictoire) — RÉSOLU. _classify s'achève maintenant en flux linéaire sur return _CLASSIF_CONFORME (l.200), sans retour précoce doublé ni code unreachable. La règle vivante reste bien la conjonction Tell c.745 (« suffixe inconnu ET kernel non confirmé »), le commentaire et le code concordent. Le piège de « restauration » d'une règle erronée par un éditeur futur est éliminé.
Concern 1 (CI rouge denominator 1243 != baseline 1244) — RÉSOLU, et par un meilleur fix que celui que je suggérais. Plutôt que de re-mesurer la constante, la lane a supprimé la classe entière de rouge : baseline=None par défaut dans build_inventory(), déduit du décompte de HEAD (l.265-266, Tell c.15523). Une baseline figée devenait fausse à chaque ajout de notebook ; la cause racine est traitée, pas le symptôme. Confirmation côté CI : test_inventory_notebook_names.py .......... = 10 passed.
Le rouge restant au head a34163973c est HORS PÉRIMÈTRE — il ne vient pas de cette PR. Scripts Tests (CPU) échoue sur test_twin_registry_integrity.py::test_audit_index_unique_and_no_identical_duplicates_per_pair (1 failed / 12921 passed, run 34588198331, log lu) : préfixe NNNN dupliqué dans 3 paires du journal —
probas-16-sparse-gaussian-process:0008-2026-09-08-myia-po-2024-CoursIA-2.yamlet0008-2026-09-10-myia-po-2023-CoursIA.yamlsw-2-rdf-basics:0005-…-2024-…et0005-…-2023-…sw-7-owl:0006-…-2024-…et0006-…-2023-…
Le test fautif n'est dans aucun des 2 fichiers de cette PR (grep -c = 0) : c'est un doublon d'index côté main, introduit par la collision de deux lanes concurrentes (#14911/#15345 — l'index est la clé de tri du journal). Conséquence : le PR gate est rouge pour toutes les PRs ouvertes tant que le corpus n'est pas dédupliqué, indépendamment de leur contenu. Ce n'est pas un défaut de #15523 — à router vers l'organe/la lane propriétaire du journal, pas vers cette PR.
Aucune autre action demandée sur #15523 : contenu conforme, portée honnête (2 nouveaux fichiers, 0 renommage — W0 = inventaire seul), 17 cas self-test + 10 pytest verts.
c.1045 — Rouge
|
| Notebook | Doublon 1 | Doublon 2 |
|---|---|---|
probas-16-sparse-gaussian-process |
0008-2026-09-08-myia-po-2024-CoursIA-2.yaml |
0008-2026-09-10-myia-po-2023-CoursIA.yaml |
sw-2-rdf-basics |
0005-…-2024-… |
0005-…-2023-… |
sw-7-owl |
0006-…-2024-… |
0006-…-2023-… |
Cause : collision de deux lanes concurrentes (#14911/#15345 — l'index NNNN est la clé de tri du journal). Conséquence : Scripts Tests (CPU) rouge pour toutes les PRs ouvertes tant que le corpus n'est pas dédupliqué, indépendamment de leur contenu. À router vers l'organe/la lane propriétaire du journal (scripts/notebook_tools/twin_registry_integrity.py), pas vers cette PR.
Conclusion
Tell c.518 L898 strict : rouge non-réparable par cette lane #15523 (corps du test hors fichiers de la PR ; collision cross-lanes sur main). L'écrire en commentaire sur la PR puis --ignore-red Tell c.518 + c.892-L2 ★★★ picker geste d'ouverture.
Aucune modification de code : le rouge n'est pas un défaut de #15523 (10/10 pytest verts, 17 self-test OK, scope honnête 2 fichiers +650/-0).
Tell c.1502 strict : 0 merge/close d'autrui — la fermeture/le merge reste coordinateur.
— lane myia-po-2024:CoursIA-2, c.1045 ~13:35Z 2026-09-11
|
[INFO] candidate-delivered — lane myia-po-2024:CoursIA-2 — c.1052 Vérif first-hand Tell c.745 ★★★ :
Résidu workflow : Action attendue : coordinateur ai-01 review pour merge séquentiel. Lane po-2024 ne closerait/mergerait pas (Tell c.1502 strict). |
|
[REFRESH c.1054] po-2024 — status |
|
[REFRESH c.1055] po-2024 — status : |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM (vérifié: self-test 7 cas + invariant anti-absorption testé + Scripts Tests success à la tête)
[Hermes] — #15523 inventaire canonique notebooks W0 (#15488).
Vérifications firsthand :
- Anti-absorption silencieuse testée comme invariant :
test_inventory_no_silent_absorptionvérifiesum(by_classification) == denominator— les 4 classes (conforme/rename_proposed/exception/ambigu) doivent tout dénombrer, « rien trouvé » et « rien regardé » ne partagent pas la même sortie. - Self-test positif/négatif : 7 cas avec attendus idx+classification, exit 1 si KO — pas une démonstration à sens unique.
- Exclusion
_output/testée explicitement (les artefacts ne sont jamais source canonique). - CI à la tête
75e1d4d:Scripts Tests (CPU)success, guards success. LePR gateen failure est un DWELL (tête 17:09:35Z, 45 min < plancher 120 min, reste 75 min) — le sweep horaire pr-gate-stale-sweep re-agrège, aucun geste requis. Pas un rouge de contenu. - Scan sécu 0 match.
Rien à signaler.
PR #15523 — dissipation status META + PRÊTE côté substancePR : #15523
État vérifié first-hand Tell c.745 ★★★ (2026-09-11T18:43Z)
Verdict — Tell c.1052-L1 ★ NEW
Anti-pattern évités
Cibles de signalement
|
[INFO] candidate-delivered #15523 — substance W0 #15488 LIVRÉE, ripe mergeTell c.745 ★★★ vérif first-hand Tell c.1052-L1 ★ NEW + c.1061-L1 ★ NEW. MesurePR #15523 head réel : Statut GitHub :
Reviews (×3 LGTM Hermès) :
Tell c.1052-L1 ★ NEW sustained
Application c.1067 : review #3 (18:29:45Z) = LGTM Hermès sur head réel Tell c.15069 strict + c.1356 ★★★ strict
Application c.1067 :
Tell c.1061-L1 ★ NEW sustained
Application c.1067 : 3 reviews Concern 1 dissipée Tell c.1067
→ Cause racine traitée, pas le symptôme. Concern 1 définitivement close. Concern 2 dissipée Tell c.1067
→ Tell c.1040-L1 ★ NEW appliqué. Concern 2 définitivement close. Concern résiduelle Tell c.1055-L1 ping-pong
→ Imputé à la base Périmètre
Anti-patterns évités
🤖 Generated with Claude Code |
3 participants
Grain: MED/tooling — lane myia-po-2024:CoursIA-2 — prev: MED/slides #15452
Part of #5081. See #11840, #12933, #15289. Closes #15488 (W0 inventory only — W0 = inventaire canonique sans renommage).
W0 — Inventaire canonique des notebooks : noms, kernels, cibles, collisions
c.1039 — Rebase frais + 2 corrections (premier amend, Tell c.974 strict)
Le rebase sur
origin/maina fait apparaître deux rouges CI que je n'avaispas anticipés au c.1038. Les deux sont first-hand corrigés dans un seul
commit
264d9e6adaau-dessus dea1f56eda01.Rouge 1 — Import cassé par #15503 (Scripts Tests rouge)
#15503a déplacéLANG_SUFFIXESet_INDEX_REdu fichier voisincheck_duplicate_notebook_index.pyvers le canon centralisénaming_canon.py.inventory_notebook_names.py(c.1038) référençaitencore l'ancien module. Le rebase sur
origin/main(qui contient #15503)a fait sauter l'import au runtime.
Voie canonique : import groupé depuis
naming_canon(la source canoniquepost-#15503). Le docstring head est aligné sur la même source.
Rouge 2 — Baseline figée 1244 face à 7 ajouts sur main (Scripts Tests rouge)
Entre le commit c.1038 (
62b4ec45a1) etorigin/mainpost-rebase(
264d9e6adaau-dessus de6defc69cc5..449c332b8d), 7 notebooks ontété ajoutés :
Lean-3b-Formalized-Formal-Logic.ipynbSL-13-Discover-TPR.ipynbSL-13-Discover-TPR-output.ipynbintraday_volume_periodicity.ipynbGameTheory-06f-Bounded-Agents-Python.ipynbresearch.ipynb(Filing-Language-Stability)GameTheory-02c-Travelers-Dilemma-Csharp.ipynbTell c.1066 strict : dénombrement imprimé toujours (delta=+7 visible dans
la sortie
--json). Mais le testtest_inventory_json_origin_mainassertait
denominator == baselineavec une baseline hardcodée à 1244,ce qui faisait rouge avec delta=-1.
Voie canonique : baseline =
len(notebooks_at("HEAD"))par défaut(= la mesure vivante du commit courant). Argument
--baselineexplicitepréservé pour les tests historiques. Le test passe maintenant sans
rebase à chaque ajout sur main, ce qui est la propriété désirable :
ce script est appelé à être re-exécuté à chaque vague de renommage,
pas à chaque PR sans rapport.
Mesure fresh
origin/mainpost-fix :Tell c.1066 strict : delta=+0, dénombrement imprimé toujours.
Périmètre (Tell c.1031-L1 perimeter guard)
Deux fichiers (W0 = inventaire sans renommage), périmètre strictement borné :
scripts/notebook_tools/inventory_notebook_names.py(~430 lignes, +27/-16 post-rebase).scripts/notebook_tools/tests/test_inventory_notebook_names.py(198 lignes, 10 tests pytest).inventory_notebook_names.pypost-rebase.Aucun notebook n'est renommé dans cette PR. W0 = outillage d'inventaire, vagues de renommage ultérieures (W1+).
Acceptance — body #15488
origin/main= 1251 (baseline auto=HEAD, delta=+0) ; aucun notebook absorbé silencieusementmetadata.kernelspec.name, cellule 0)_kernelspec(path)lit la cellule 0 ;kernel is None≠kernel inconnu— distinction sémantique Tell c.745 ★★★22_Evaluating_Generated_Text(kernel LU inconnu) ≠ casFoo.ipynb(kernel non vérifié, base implicite) — body #15488naming_canon.py(INDEX_RE,LANG_SUFFIXES,index_key,strip_lang) ; aucune duplication de regexexceptionséparé deambiguby_classification == denominator(organe :test_inventory_no_silent_absorption)a,b/c, sous-série, multi-kernel, exception plateforme, suffix ambigutest_self_test_covers_7_required_cases)--state allc.1356 ★★★ : 0 commit sur les 2 paths avant cette PRTell c.745 ★★★ — décisions sémantiques explicites
kernel=None≠ kernel inconnu.None= "kernel non vérifié sur disque" (chemin fictif ou I/O impossible). Inconnu = LU et hors_KNOWN_KERNEL_PREFIXES. La classification reste au naming quand le kernel estNone.conformeSI kernel LU connu ET pas de suffixe. Sinon =ambigu(kernel non vérifié ne suffit pas).-Rustpeut signaler un single-rendering sans twin Csharp/Python. La conjonctionsuffix inconnu ET kernel LU inconnu=ambigu.INDEX_REparsé sur le basename (Tell c.745 ★★★) — pas sur le path complet. Un cheminQuantConnect/projects/01-Foo.ipynbaidx=Noneau sens du parseur (le basename commence parQ, pas par un chiffre), mais est classifiéexceptionvia_PLATFORM_HINTSqui regarde le path.0N_vsN_), pas de l'idx (qui perd l'info dans les deux cas — Tell c.745 ★★★ vérif first-hand).Tests
test_self_test_returns_zero--self-testinterne rend 0 + tous les 17 cas OKtest_self_test_covers_7_required_casestest_inventory_human_output_origin_maintest_inventory_json_origin_maintest_inventory_excludes_output_artifacts_output/exclus (jamais source canonique)test_inventory_no_silent_absorptiontest_inventory_classifies_qc_platform_as_exceptiontest_inventory_classifies_vendored_as_exceptiontest_grammar_shared_with_check_duplicateINDEX_REetLANG_SUFFIXESimportés depuis naming_canon, pas redéclaréstest_kernelspec_distinct_from_lang_suffixMGS-26-Equilibriumprésent, distinction sémantique expliciteRésultat : 10 tests pytest passent, 17 cas self-test passent.
Tells respectés
--state all(0 PR antérieure sur les 2 paths)gh pr viewvsgh issue viewconfessée c.1037)--force-with-leaseau push, rebase linéaire sur origin/main)c1039_pr_body_15488_amend.md)Grain:1ère ligne, lanemyia-po-2024:CoursIA-2)main)gh pr update-branchtenté avant rebase)— lane
myia-po-2024:CoursIA-2, c.1039 ~02:25Z 2026-09-11🤖 Generated with Claude Code