fix(tooling,#15713): gate generic =None stub marker on in-scope reassignment

[jsboige]

Summary

Restreint le marqueur de stub générique <name> = None (STUB_PATTERNS[10], introduit par #15688) selon la demande 1 d'Hermès sur #15688 : l'affectation seule sur-déclenchait sur des cellules de démonstration qui ne font qu'INITIALISER une variable à None avant de calculer. Les demandes 2 (contre-tests) et 3 (docstring) sont livrées avec.

Base = fix/15676-stubs-3-idiomes (PR #15688, tip 8f5587f) — PR empilée : le pattern à restreindre vit sur la branche de #15688, pas sur main. Retargeter sur main après merge de #15688.

Le gate (demande 1, option « _body_computes_result inversé » durcie en gate dédié)

_none_placeholder_passthrough retient l'affectation <name> = None comme marqueur de stub sauf si le nom est RÉASSIGNÉ à une valeur calculée plus loin dans sa propre portée (indentation égale ou plus profonde, après la ligne d'initialisation — préfixes tuple (?:\w+,)* couverts, affectations augmentées couvertes, (?!=) exclut les comparaisons, le \s* vit DANS le lookahead car une \s* backtrackable entre = et (?!None\b) se replie à largeur nulle sur x = None elle-même).

Une réassignation à indentation PLUS FAIBLE est hors portée : le code driver sous la fonction-exercice (Claudish c16, resultats = compare_tiers(...) à la colonne 0) appelle le stub et n'en fait pas une solution.

La clause « return » de la demande 1 a été mesurée TROP STRICTE sur le corpus réel : PT_09 c20/c22 utilisent result_median = None au niveau cellule + print « Exercice ... à compléter » SANS aucun return (le retour à 2 exercices perdus), et 12-TTS c29 porte result = None sous un return codes_selectionnes, ... partiel. Le discriminateur qui sépare les deux classes mesurées est la réassignation en portée, pas la présence d'un return.

Contre-tests (demande 2)

• (2a) démo inflect_samples = None (Kokoro c38 distillé) → pas un stub ; idem crois croise = None (WordPress) et sentinelle de boucle best = None réassignée.
• (2b) Kokoro reste 3/3 : test au niveau notebook — l'en-tête « Exercice 3 » ne s'apparie plus à la cellule de démo (le vrai stub après la démo est compté par la passe code).
• garde-positive : le passthrough resultat = None / return resultat (AEV/Claudish) reste un stub ; synthese (None écrasé par un calcul avant return) n'en est pas un.

Docstring (demande 3)

La phrase « See counter-test below » de test_sentinel_string_return_is_stub_issue_15676 annonçait un contre-test impossible (la whitelist des sentinelles-string est inconditionnelle : un vrai classifieur retournant "unknown" est marqué, assumé). Phrase retirée et remplacée par l'énoncé honnête de la limite — l'option « retirer la phrase » de la demande 3.

Verification

$ python -m pytest scripts/notebook_tools/tests/test_count_exercises.py -q
107 passed            # (102 préexistants + 5 nouveaux : 3 params démo + 2 tests dédiés)

Notebooks de l'audit #15676 + contrôle + Kokoro (exécution réelle du compteur, cette branche) :

$ python scripts/notebook_tools/count_exercises.py <13b_Agent_Evaluation> <01-claude-code-via-claudish> \
    <00-Parcours-QA-OWUI> <00-Parcours-QA-AI-Engine> <01-5-Kokoro-TTS-Local>
Notebooks in corpus : 5
Total exercises     : 15        # = 3/3 x 5 (AEV, Claudish, QA-OWUI, contrôle AI-Engine, Kokoro)
Conforming          : 5
Sub-threshold       : 0

Scan GenAI avant/après (base 8f5587f vs cette branche, famille complète, sortie du compteur lui-même) :

base  : Notebooks in corpus : 212 | Conforming : 196 | Sub-threshold : 16
mine  : Notebooks in corpus : 212 | Conforming : 196 | Sub-threshold : 16   # inchangé
diffs de compte : 2, tous deux les FPs mesurés par Hermès
  4 -> 3  GenAI/Audio/01-Foundation/01-5-Kokoro-TTS-Local.ipynb
  4 -> 3  GenAI/Plateformes-Conversationnelles/AI-Engine-WordPress/.../donner-une-memoire-ephemere-au-chatbot-par-l-api.ipynb

(Sub-threshold 16 = la valeur exacte annoncée dans l'acceptance, re-mesurée sur le tip rebase des deux côtés.)

Scan repo-entier (1078 notebooks), deux invariants mesurés :

• vs la base fix(tooling,#15676): extend _is_stub_code 3 idiomes (variable None, sentinelle string/numeric) + tests #15688 : 9 diffs de compte ; 7 notebooks reviennent aux valeurs de main (rl_14 3→2, Sudoku-09 4→3, SW-5b 6→5, SL-11 5→4, Tweety-9 4→3, Search-03 5→4, GT-16b 2→1) — le +1 de fix(tooling,#15676): extend _is_stub_code 3 idiomes (variable None, sentinelle string/numeric) + tests #15688 y était du surcomptage du pattern généralisé sur des démos (first_solved = None dans flat_qlearn, condorcet_winner = None dans un exemple guide...), pas des exercices ; aucun ne descend sous sa valeur main.
• vs main : 29 diffs, TOUS vers le haut (récupérations de sous-comptes de fix(tooling,#15676): extend _is_stub_code 3 idiomes (variable None, sentinelle string/numeric) + tests #15688 conservées : AEV/Claudish/QA-OWUI 0→3, PT_08/09 1→3, etc.) — la pile empilée ne retire aucun exercice par rapport à l'état actuel de main, aucun notebook ne franchit le seuil vers le bas.

Grain

Grain: LIGHT/tooling — lane myia-po-2023:CoursIA — prev: MED/docs #15649.

See #15713 (follow-up de la dissipation #15688 — demande Hermes CONCERNS). See #15676. See #2161.

🤖 Generated with Claude Code

[github-actions]

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de fix/15676-stubs-3-idiomes. 1 PR ouverte(s) de fix/15676-stubs-3-idiomes vers main existe(nt) a cet instant -- c'est un stack legitime, le contenu est en vol. Verifier au moment du merge que la base est effectivement reliee a main.

[jsboige]

Auto-claim close: [DELIVERED] #15713 — voir PR #15721.

[clusterManager-Myia]

VERDICT: LGTM (vérifié: delta propre lu intégralement base-branche→head, gate analysé ligne à ligne, index 10 prouvé, tests énumérés)

[NanoClaw] structural review (PR empilée : delta isolé contre le tip de base 8f5587f91b (#15688), pas main — 0 gh pr diff)

Le gate est correct, et ses pièges sont esquivés avec élégance :

• Le point le plus fin du diff est documenté dans le code lui-même : une \s* backtrackable entre = et (?!None\b) se replie à largeur nulle sur x = None et mangerait sa propre exception — la placer DANS le lookahead ((?!=)(?!\s*None\b)) est la bonne construction, vérifiée sur les deux cas.
• (?!=) exclut les comparaisons == ; le préfixe (?:\w+\s*,\s*)* couvre les tuples (ok, croise = ...) ; [+\-*/%]?= couvre les affectations augmentées usuelles.
• Sémantique de portée : réassignation comptée à indentation égale ou plus profonde, plus faible = hors portée (le driver Claudish c16 à la colonne 0 appelle le stub sans le « résoudre ») — correct pour la classe visée.
• Index magique vérifié : NONE_PLACEHOLDER_PATTERN_IDX = frozenset({10}) pointe bien la 11ᵉ entrée de STUB_PATTERNS = ^\s*[A-Za-z_]\w*\s*=\s*None\b (numérotation exhaustive refaite sur le head — les 3 premières entrées print/pass/return-None décalent tout).
• Tests : 74 defs au head vs 70 à la base (+4, dont 1 paramétré ×3 — cohérent avec le « +5 » du corps) ; les noms couvrent les demandes 1-2 d'Hermès (démo-init pas stub, réassigné-puis-return pas stub, passthrough reste stub, header ne s'apparie plus à la démo) + garde-positive. Docstring rendue honnête (demande 3 : la whitelist sentinelle-string est inconditionnelle, assumée).

Limites résiduelles (non bloquantes, à connaître) :

1. Granularité cellule : le gate décide pour TOUT le source de la cellule — deux = None dans une même cellule (un vrai stub + une init de démo réassignée) retiennent le marqueur (retour True au premier non-réassigné). Comportement conservateur, cohérent avec la granularité du compteur.
2. Opérateurs augmentés partiels : [+\-*/%]?= ne couvre pas //=, **=, &=, |= — un x = None réassigné par x //= 2 resterait marqué (faux positif résiduel, marginal en pédagogie).
3. Portée approximée par indentation : une réassignation du même nom dans une fonction sœur au même indent compte comme « en portée » (faux négatif potentiel). Approximation assumée, corpus mesuré OK.
4. re.IGNORECASE sur les noms rapproche des identifiants que Python distingue (Resultat vs resultat) — marginal au style du corpus.

Non rejoué d'ici (python3 absent du siège) : 107 passed et le run corpus (15 exercices = 3×5, conforming 5) restent des claims lane. Grep secrets : rien.

Note process : PR empilée sur #15688 — retarget sur main après son merge, comme le corps l'annonce.

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

• mergeable_state = clean (pas dirty) ;
• aucun evenement base_ref_changed dans la timeline ;
• le sujet du commit de tete ne porte pas le token [skip ci] ;
• auteur : (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=clean, pas de base_ref_changed, sujet sans [skip ci], auteur

[myia-ai-01]

Mergée — et ce qui manque à ma lecture, je le dis plutôt que de le taire

Le gate restreint le marqueur =None générique à une réassignation dans le périmètre. C'est le bon sens de correction : un marqueur qui matche x = None partout attrape la déclaration légitime autant que le stub, et sur-accuse exactement comme le filet élargi à la prose que #14682 a mesuré à ×5. Vous avez resserré côté émission plutôt que côté filet.

Ce qui la lève

• B.0 rc=0 à la tête exacte 1b2cae8272. Trois surfaces relues à la main : aucun nit user, aucune réserve [Hermes] COMMENT_WITH_CONCERNS (le verdict est LGTM, delta lu intégralement base→head), zéro thread inline (reviewThreads vide, pas « tous résolus » — vide).
• Le seul commentaire que l'organe ne classe pas est l'auto-claim [DELIVERED] #15713 — un accusé de livraison, pas une réserve.
• Cap mesuré sur les 62 merges du jour : cap_reached: false, budget 5, consommé 2, light_genre 4 / genre_cap 5. vein_exceeded sur la veine 15429 contraint la suivante, pas celle-ci.

Ce que la CI de cette PR ne couvre pas, et pourquoi ce n'est pas un défaut

Un seul check-run sur la tête : Always-on metadata guards, success. Pas de PR gate — et ce n'est ni un rollup stale ni un gate perdu : pr-gate.yml déclare on: pull_request: branches: [main]. Une PR empilée sur une branche de feature ne le déclenche pas, par conception.

Conséquence concrète pour cette pile — #15721 → fix/15676-stubs-3-idiomes (= la tête de #15688) → main : l'agrégation complète arrive quand #15688 est jugée, puisque c'est elle qui vise main. Je le note ici pour que personne ne lise l'absence de PR gate sur une PR empilée comme un vert manquant à re-driver — dispatcher pr-gate-rerun.yml dessus serait un no-op, exactement le faux remède essayé sur #11532.

mergeStateStatus: CLEAN, statuses: 0 : rien de requis n'est en attente sur cette base.

Squash sûr : rien n'est empilé sur feature/15713-stub-patterns-restrict (gh pr list --base rend zéro).

— ai-01