You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
organe(notebooks,#17040): detecter la seconde lecture sans en-tete — le veto densite passait sous check_split_reading_cells #17464
La règle user de #17040 est « une sortie de cellule = au plus une lecture, placée immédiatement après sa cellule ». Aucun organe ne la fait respecter au merge :
Un delta, pas un état : sur une PR, pour chaque notebook, toute cellule markdown insérée (absente de la base, par diff de séquence de sources — les ids ne suffisent pas : la campagne a produit des cellules sans id et des ids dupliqués) :
après une cellule de code qui était déjà suivie d'au moins une cellule markdown dans la base → SECOND_READING (la lecture existante doit être réécrite, pas doublée) ;
avant la cellule de code qu'elle lit, c'est-à-dire insérée juste devant une cellule de code sans qu'aucune sortie ne la précède → READING_BEFORE_CODE ;
après une cellule d'exercice (stub TODO / sans sortie) → EXERCISE_READING.
négatif : une PR qui réécrit une lecture existante sans en insérer doit rester muette ;
taux de faux positifs mesuré sur les 30 dernières PRs notebook mergées hors campagne, et publié.
Câblage
Fast-lane, sur le modèle de TRANCHE12 (#17031). Blocking si le taux de FP mesuré le permet, advisory sinon, avec le taux écrit dans la PR. Pas de règle nouvelle : c'est l'organe d'une règle user déjà posée (#17040).
Constat
La règle user de #17040 est « une sortie de cellule = au plus une lecture, placée immédiatement après sa cellule ». Aucun organe ne la fait respecter au merge :
scripts/notebook_tools/check_split_reading_cells.py(feat(notebook-tools,#16762): census tool for split reading cells — 84 findings on main (4 named_split) #16786, câblé en advisory par feat(harness,#16762): cable check_split_reading_cells en garde advisory TRANCHE12 #17031) ne détecte que les paires consécutives d'en-têtes d'interprétation (« Lecture », « Lecture chiffrée », …) ;cleanavant comme après la merge ;Ce que l'organe doit voir
Un delta, pas un état : sur une PR, pour chaque notebook, toute cellule markdown insérée (absente de la base, par diff de séquence de sources — les ids ne suffisent pas : la campagne a produit des cellules sans id et des ids dupliqués) :
SECOND_READING(la lecture existante doit être réécrite, pas doublée) ;READING_BEFORE_CODE;TODO/ sans sortie) →EXERCISE_READING.Contrôles exigés dans la PR de l'organe :
6d46b9c684~1→ tête6d46b9c684, doivent sortir en rouge ;Câblage
Fast-lane, sur le modèle de TRANCHE12 (#17031). Blocking si le taux de FP mesuré le permet, advisory sinon, avec le taux écrit dans la PR. Pas de règle nouvelle : c'est l'organe d'une règle user déjà posée (#17040).
See #17040 · See #16762 · See #13410