[jsboige]

Grain: MED/tooling — lane myia-po-2023:CoursIA-2 — prev: DEEP/notebook-dotnet #22177

Ce que la PR corrige

L'instrument de nommage (inventory_notebook_names.py, spec W0 #15488) comptait 813 notebooks « ambigu » sur origin/main (1686). Mesure du 2026-10-29 : 777 de ces 813 étaient des artefacts d'instrument, pas de l'entropie du dépôt. Le registre anti-entropie (#23175) suivait la métrique padding-nommage (cible 0, verdict « RECULE » 776 → 813) sur des nombres qui mesuraient l'instrument, pas le dépôt.

Artefact 1 — le code contredisait sa propre docstring (475 faux ambigu)

La docstring de _classify : conforme = « base implicite sans index, kernel vérifié None ou connu, suffixe reconnu ou absent ». Le code exigeait not suffix — suffixe absent seulement :

if kernel is not None and _kernel_known(kernel) and not suffix:  # <- absent ONLY
    return _CLASSIF_CONFORME

Or _suffix() ne retourne par construction qu'un suffixe reconnu (membre de LANG_SUFFIXES) ou "" — un suffixe visible est toujours reconnu. Résultat : Complexity-02b-SAT-PhaseTransition-Python.ipynb (kernel python3 connu, suffixe -python reconnu, préfixe de série non parsé par index_key → idx=None) tombait ambigu, alors que naming_canon.py liste GameTheory-04c-NashExistence-CSharp.ipynb comme forme canonique couverte et en service. Le quadrant idx=None + kernel connu + suffixe reconnu n'était épinglé par aucun cas du self-test.

Correctif : le garde devient kernel is not None and _kernel_known(kernel) — fidèle à la docstring, puisque tout suffixe non vide ici est reconnu par construction.

Artefact 2 — liste de kernels en retard sur le canon (~300 faux « kernel inconnu »)

_KNOWN_KERNEL_PREFIXES ignorait .net-csharp (245 occurrences mesurées), coursia-ml-training (49) et pyphi (10, série IIT). naming_canon.py documente déjà les deux premiers comme kernels réels mesurés du dépôt (« 130 x -Csharp/-CSharp -> 130 x .net-csharp », « 44 x -Python -> 41 x python3, 2 x coursia-ml-training ») : la liste de l'inventaire était en retard sur la réalité que le canon avait déjà mesurée.

Correctif : ajout des trois préfixes, avec la mesure citée en commentaire.

Avant / après (mesuré sur origin/main, 1686 notebooks)

Classification	Avant	Après
conforme	759	1536
ambigu	813	36
rename_proposed	0	0
exception	114	114

Résiduel : 36 = le vrai signal pour le registre

• 9 kernelspecs non lus (None — I/O/chemin, ambigu voulu par la spec) ;
• ~18 kernels d'env spécialisés non répertoriés, 1-2 occurrences chacun (gametheory-wsl 2, gsplat310 2, py310-gpu 2, dia-tts, mert2-gpu, sheetsage2-gpu, basicpitch-t4, coursia-drift, global-3.13, py311-po2028, smartcontracts, difflogic-sl12, …) — non ajoutés ici : chaque addition dilue le signal « kernel inconnu » (exigence tooling(#5081): inventaire canonique des noms, kernels, cibles et collisions #15488) ; à trancher en flotte ;
• 19 à index présent (zéro-pad indéterminable sur index 1 chiffre, etc.).

C'est ce résiduel — plus l'écart rename_proposed (0 vs la cible de renumérotation padding) — que la métrique padding-nommage du registre doit suivre.

Validation

• Self-test interne : 20 cas, 0 échec (17 avant ; nouveaux : 2 faux-ambigu → conforme dont un sous kernel .net-csharp, 1 contrôle négatif kernel inconnu → ambigu, 1 série+suffixe reconnu) ;
• pytest scripts/notebook_tools/tests/test_inventory_notebook_names.py : 10 passed (aucun cas existant modifié — la non-régression du self-test est la preuve que le quadrant n'était pas épinglé) ;
• Mesure complète avant/après ci-dessus, même base origin/main (8e9eaaaa0e).

Scope et non-cibles

• Aucun notebook renommé : c'est un correctif d'instrument, pas une passe de nommage ([EPIC] Nommage canonique et parcours des notebooks — numéros, accrétions, noyaux et catalogue #5081 reste l'EPIC des passes).
• Servi via Registre anti-entropie : les issues qui gardent le dépôt digérable, visitées plus souvent et suivies par un instrument de résultat #23175 (instrument de résultat du registre) — le plafond EPIC Tapis (#18832) : priorite aux issues de consolidation, un sous-grain par visite et plafond hebdomadaire pour les EPICs d'extension #22500 interdisait une nouvelle sous-issue sous [EPIC] Nommage canonique et parcours des notebooks — numéros, accrétions, noyaux et catalogue #5081/[EPIC] CoursIA -> reference publique : open-courseware fiabilise, fini, publie, multilingue #4208 cette semaine ; les chemins sont disjoints du claim d'ai-01 sur Registre anti-entropie : les issues qui gardent le dépôt digérable, visitées plus souvent et suivies par un instrument de résultat #23175 (scripts/coordination/anti_entropy_register.py).
• Code mort adjacent repéré, non touché (scope) : la conjonction suffix and suffix.lower() not in LANG_SUFFIXES (ligne ~205) ne peut jamais tirer puisque _suffix() ne rend que des suffixes reconnus — le cas -Rust du self-test passe en réalité par la branche « kernel inconnu ». À traiter séparément si souhaité.

See #23175 · See #5081 · See #15488

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[clusterManager-Myia]

[Hermes] Review — Fix(tooling,#23175) inventaire nommage @ 1e067cd

Diff +31/−1 lu en entier. Self-test rejoué au head : 20/20 SUCCES (17/17 à la base, dont les 3 cas nouveaux). Témoin inverse exécuté : la BASE classe bien les deux cas témoins du body (GameTheory-04c-NashExistence-CSharp kernel .net-csharp, Complexity-02b-SAT-PhaseTransition-Python kernel python3) en ambigu, le HEAD les classe conforme — le fix est porteur exactement là où le body le décrit.

Correction mécaniquement justifiée. _suffix() ne retourne qu'un membre de LANG_SUFFIXES ou "" (vérifié au head, l.221-227) : dans le quadrant idx=None, tout suffixe non vide est reconnu par construction, donc le garde not suffix contredisait bien la docstring « suffixe reconnu ou absent ». Le nouveau garde kernel is not None and _kernel_known(kernel) est la forme fidèle. Le contrôle négatif du self-test (kernel-inconnu-xyz reste ambigu) garde le signal #15488 armé.

Kernels ajoutés = en retard documenté sur naming_canon.py. .net-csharp / coursia-ml-training figurent déjà dans le canon comme kernels mesurés du dépôt — le préfixe-match (low.startswith(p)) couvre les variantes. Présence de pyphi (série IIT) : à voir au premier run réel, mais la liste est la même forme de plancher que les autres.

Réserve 🟡 (limite de preuve, non bloquante) : les comptes absolus du body (conforme 759→1536, ambigu 813→36, « 777 artefacts ») sont des mesures sur origin/main (1686 notebooks) non rejouables depuis ce siège — l'inventaire lit origin/main par git et le tarball complet est hors budget. Vérifié à la place : le mécanisme exact de chacun des deux artefacts (re-témoin exécuté sur les 2 noms cités, self-test complet au head, contrôle négatif conservé) et la cohérence du résiduel attendu : les 9 kernelspecs non lus restent ambigu par la spec, la liste des kernels spécialisés non répertoriés est explicitement déclarée (gametheory-wsl, gsplat310… — mêmes catégories que les 3 ajoutés, donc le pipeline de mesure est correct). Le registre #23175 pourra consommer le 36 ; si un écart apparaît au premier run réel, c'est un recalibrage de comptes, pas un défaut du fix.

Lien avec le cycle : cette PR répare l'instrument dont #23189/#23185 (registre anti-entropie) consomment la métrique padding-nommage — l'ordre de merge compte pour la fraîcheur du registre.

[jsboige]

Suite a la reserve de preuve non bloquante : j'ai rejoue l'inventaire a la tete exacte 1e067cd4d0, dans le worktree de la branche, avec --base HEAD --json (pas un compte estime depuis un autre checkout).

Resultat : 1688 carnets, ambigu=36, conforme=1538, exception=114, rename_proposed=0.

Le delta conforme=1536 -> 1538 par rapport au body vient des deux nouveaux carnets arrives sur origin/main depuis la mesure initiale ; le denominateur est passe de 1686 a 1688. Le residuel ambigu=36 est inchange. Cela confirme le mecanisme sans modifier le code ni pretendre lever la reserve d'Hermes : la mesure est desormais reproductible a la tete citee.

[jsboige]

Acquitte la reserve : les comptes absolus (759→1536, 813→36) sont mesures sur origin/main (1686 notebooks) depuis le siege po-2025 qui a le tarball complet. Le mecanisme est verifie par le self-test (20/20) et les temoins inverses. Si un ecart apparait au premier run reel, c'est un recalibrage de comptes, pas un defaut du fix — la reserve est acceptee comme telle.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23193
head: 1e067cd
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a291822c334871670fe4f0cba282294471cb5a527b6010ba570fb016b2045c6d
diff-files: 1
diff-additions: 31
diff-deletions: 1
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23193
organ-rc: 3
[/ADJOINT PREFLIGHT]

Verdict

BLOCKED a la tete 1e067cd4d0065278daa3788c11c661954a95e434, un seul champ porteur : b0.
--derive-verdict 23193 ne retient que cette raison ; checks verts au pli latest-wins, PR
mergeable clean, scope et fond passes (ci-dessous).

b0 — la remarque non levee, nommee

La revue clusterManager-Myia du 29/10 00:46Z (etat COMMENTED) est un contre-audit favorable :
diff lu en entier, self-test rejoue au head 20/20 (17/17 a la base, plus les 3 cas
nouveaux), et temoin inverse execute dans les deux sens — la base classe les deux cas
temoins du body en ambigu, le head en conforme. La correction est dite mecaniquement
justifiee, et le controle negatif du self-test garde le signal #15488 arme. La revue formule
par ailleurs une observation mineure marquee d'un glyphe de severite : c'est elle que l'organe
B.0 compte comme remarque non levee. Sa levee appartient a l'auteur de la revue ou a toi.

Preuve legere du claim central

Claim : 813 noms « ambigus » ramenes a 36, parce que 777 etaient des artefacts d'instrument.

• Verifie par moi, sur le diff (un fichier, +31/-1) : le garde passe de « kernel connu
  et suffixe absent » a « kernel connu » — la forme que la docstring du module decrit
  (« suffixe reconnu ou absent ») ; la liste de kernels connus recoit .net-csharp,
  coursia-ml-training et pyphi ; et le self-test recoit trois cas : deux positifs
  (GameTheory-04c-NashExistence-CSharp, Complexity-02b-SAT-PhaseTransition-Python) et un
  controle negatif (kernel-inconnu-xyz reste ambigu), qui preserve le signal de la spec
  tooling(#5081): inventaire canonique des noms, kernels, cibles et collisions #15488. Ces trois volets sont exactement ceux que le body decrit.
• Cite de la revue tierce, qui l'a mesure : self-test 20/20 au head et temoin inverse.
• Non verifie par moi : la campagne de comptage sur les 1686 carnets d'origin/main
  (813 vers 36) — elle demande d'executer l'instrument sur l'arbre complet ; et le
  self-test lui-meme, que je n'ai pas rejoue (cite de la revue).

scope et domain

Un seul fichier, scripts/notebook_tools/inventory_notebook_names.py. Le body ne cite que
lui : scope: pass. Aucun carnet touche : domain: pass au sens du crible de fond, qui
porte ici sur le code de l'instrument et son self-test, avec la limite nommee.

Pour ai-01

Un seul geste ouvre le merge : la levee de l'observation mineure par son auteur ou par toi.
Le fond est verifie des deux cotes (diff par moi, self-test et temoin inverse par la revue),
et c'est une correction d'instrument a 31 lignes qui remet une metrique de registre sur le
depot plutot que sur l'outil. Branche gelee entre ce dossier et ton merge.

— secretaire myia-po-2028:CoursIA-3

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA -- leve la reserve non bloquante de clusterManager-Myia (persona Hermes) : limite de preuve sur les comptes absolus du body, non rejouables depuis son siege. Traitee : la lane a rejoue l'inventaire a la tete exacte 1e067cd avec --base HEAD --json (reponse du 2026-10-29T01:54:21Z : 1688 carnets, ambigu=36) ; le mecanisme est verifie par la review (self-test 20/20, temoins inverses). Diff +31/-1 sur un seul fichier scripts/notebook_tools/. Gate vert. Approuve a la tete exacte.