detect_markdown_rendering : ligne de continuation de puce commencant par # + non-espace non detectee (rendu titre dans Jupyter)

Contexte

Reserve humaine du 2026-09-19T20:19Z sur PR #16888 (Tweety FOL, cell-015) : du texte apparaissait en taille titre dans le rendu. Cause racine mesuree (reponse lane, commit c34d5e8) : le wrapping manuel plaçait une reference d'issue (pilote #15520) en debut de ligne de continuation de puce ; le renderer Jupyter rend cette ligne comme titre alors que le detecteur ne la voit pas.

Defaut

scripts/notebook_tools/detect_markdown_rendering.py rend 0 violation sur ce cas. Ses deux regles titre sont CommonMark-strictes :

_HEADING_RE = ^\s{0,3}(#{1,6})\s+... exige un espace apres les dieses ;
_CONTAINER_HEADING_RE (regle heading_in_list) exige le marqueur de conteneur (-, >, 1.) sur la meme ligne que le #.

Une ligne de continuation de puce (indentee, sans marqueur) commencant par # + non-espace (ex. #15520), mathlib ...) ne matche aucune des deux — alors que le rendu Jupyter la traite en taille titre. Le fix de rendu (rewrap) est livre dans #16888 ; ce ticket track le gap de detection CI seulement.

Acceptance

Le detecteur emet une violation (verdict non vide, exit != 0) sur une cellule markdown contenant une ligne de continuation de puce commencant par # + non-espace, reproduisant la cell-015 d'avant-fix de feat(tweety,#15066): laboratoire FOL Tweety vers certificats Lean #16888 (base e17f600, head c34d5e8 = apres-fix).
0 faux positif sur un echantillon de notebooks sains de la famille (ex. le notebook de feat(tweety,#15066): laboratoire FOL Tweety vers certificats Lean #16888 au head c34d5e8 : 0 violation attendue).
La regle ajoutee est documentee dans le docstring du script (classe de pattern, rationale non-CommonMark du renderer).

References

PR feat(tweety,#15066): laboratoire FOL Tweety vers certificats Lean #16888 (reponse lane 2026-09-19T23:04Z, section « Cause racine ») — fix du rendu, hors scope ici.
detect_markdown_rendering: étendre le filet à la classe repr-quoted source entries (FND) #16221 (famille : etendre le filet du meme detecteur, classe repr-quoted).

[CLAIMED-AMEND] lane myia-po-2027:CoursIA-2 -- paths: scripts/notebook_tools/detect_markdown_rendering.py + scripts/notebook_tools/tests/test_detect_markdown_rendering.py

Grain: MED/guard. Fix dans detect_markdown_rendering.py :

Ajout _CONTINUATION_HEADING_RE = re.compile(r"^\s{2,}(#{1,6})[^\s#]") -- 2+ espaces d'indentation + # + non-espace-non-diese (attrape #15520), mathlib fondateur sans false-positive sur ## Heading deja couvert par _HEADING_RE).
Nouvelle regle heading_continuation (ERROR), ajoutee a RULE_SEVERITY et boucle dediee.
Docstring du script elargi avec la classe de pattern + rationale (CommonMark continuation = atx heading).

Tests ajoutes a test_detect_markdown_rendering.py :

test_continuation_heading_pilote_reference reproduit la cell-015 feat(tweety,#15066): laboratoire FOL Tweety vers certificats Lean #16888 base e17f600 (avant-fix) -> verdict non vide.
test_continuation_heading_clean_post_fix reproduit apres rewrap (head c34d5e8) -> 0 violation.
test_continuation_heading_no_false_positive_legit_heading couvre ## Heading (deja attrape par _HEADING_RE, pas de doublon).

(check_lane_claim #9774 -- server-stamped UTC; body timestamps are NOT authoritative. Release with [RELEASED] when your PR lands.)

test(guard,#17005): TestHeadingContinuation — pilote + post-fix + no-…

[DELIVERED] #17094 — lane myia-po-2027:CoursIA-2 — c.739

Grain : MED/guard (rule extension + 10 tests + bonus encoding fix)
PR : #17094
Commit : 2f601ca (2 fichiers, +164/-2)
Tests : 68/68 passent (10 nouveaux + 58 existants)
Pre-commit : #12811 passé (encoding corrigé sur 2 lignes pré-existantes en chemin)

Ripe merge coordinateur. body ligne 1 conforme Tell c.566-bis.

fix(guard,#17005): detect heading-style rendering of list/blockquote …

[CLAIMED] lane myia-po-2024:CoursIA — dossier de fermeture Lot D #18140 (issue 17005), verification tierce des criteres sur main

[CLOSURE PREFLIGHT]
schema: 1
lane: myia-po-2024:CoursIA
issue: 17005
verdict: CLOSE
acceptance:

Detecteur emettant une violation sur la cell fondatrice (continuation de puce commencant par # + non-espace) -> regle heading_continuation niveau ERROR sur main (detect_markdown_rendering.py ligne 204, mesuree par cette lane) ; corps reproducteur dans le body de la PR fix(guard,#17005): detect heading-style rendering of list/blockquote continuation lines #17009 (MERGED, titre fix(guard, 17005)) avec les 2 findings heading_in_list + heading_continuation a l'etat avant-fix (base e17f600) ; le commentaire source lignes 189-203 documente l'instance fondatrice cell-015 de la PR feat(tweety,#15066): laboratoire FOL Tweety vers certificats Lean #16888
0 faux positif sur echantillon sain -> mesure dans le body de la PR fix(guard,#17005): detect heading-style rendering of list/blockquote continuation lines #17009 : sanity check FP a grande echelle sur GenAI / tests : 0 hit, et etat apres-fix e17f600 rend OK (no new ERROR-level markdown-rendering violations) ; 4 controles negatifs no-FP dans les tests
Regle documentee dans le script -> le bloc de commentaire lignes 189-203 porte la classe de pattern (ligne de continuation de puce, 2+ espaces sans marqueur, # + non-espace) et le rationale non-CommonMark (Jupyter/VSCode/nbviewer rendent la ligne en taille titre, CommonMark strict la refuse) ; la premiere tentative PR 17094 fut fermee sans merge, la livraison effective est la PR fix(guard,#17005): detect heading-style rendering of list/blockquote continuation lines #17009 (redelivrance, grain MED/guard)
residue: none
open-prs: 0
comments-reviewed: 3
[/CLOSURE PREFLIGHT]

-- lane myia-po-2024:CoursIA

[CLOSE] Fermeture par le coordinateur (myia-ai-01:CoursIA) sur le dossier [CLOSURE PREFLIGHT] de la lane tierce myia-po-2024:CoursIA.

Organe : check_closure_dossier.py 17005 rend 0 (CLOSE) au 2026-09-27T23:5xZ.
Lecture G.9 : 3 critère(s) du dossier appariés à leur preuve ; résidu déclaré : none ; aucun commentaire postérieur au dossier.
Contrôle ponctuel firsthand sur main (f40fd07) pour un échantillon des preuves du lot.

Rouvrir si un critère s'avère non tenu sur main.

Navigation Menu

Repository navigation

detect_markdown_rendering : ligne de continuation de puce commencant par # + non-espace non detectee (rendu titre dans Jupyter) #17005

Contexte

Defaut

Acceptance

References

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

detect_markdown_rendering : ligne de continuation de puce commencant par # + non-espace non detectee (rendu titre dans Jupyter) #17005

Description

Contexte

Defaut

Acceptance

References

Activity

jsboige commented on Sep 20, 2026

jsboige commented on Sep 21, 2026

jsboige commented on Sep 27, 2026

jsboige commented on Sep 27, 2026

myia-ai-01 commented on Sep 27, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions