[jsboige]

Grain: MED/tooling — lane myia-po-2023:CoursIA — prev: MED/notebook-python #12791

Closes #12740

Le défaut

Une clause paths: syntaxiquement valide qui nomme un chemin inexistant
(incident #12620 : paths: scripts/notebook_tools/check_code_in_markdown.py
alors que le fichier réel est detect_code_in_markdown_cells.py) produit un
claim qui ne bloque personne, et l'organe le rapporte comme sain :
malformed_markers: 0, blocking_lanes: [], active_claims: {}.

Le WARN glob sans correspondance existe mais va sur stderr — le seul
canal que le gate CI, pick_idle_grain et les scripts de lane ne consomment
pas. Dans le JSON, la condition n'apparaît que sous active_claims.<lane> .empty_scope (claims actifs seuls) : dès qu'un claim à scope mort est relâché,
son typo disparaît complètement du JSON.

Correctif (bullets 1 + 3 de l'issue)

1. Champ JSON dead_scope_globs lane-keyed, agrégé sur TOUS les événements
   de claim (open, override, close), pas seulement les actifs. Un typo de scope
   relâché reste visible à un sweep — le cas exact de Le predicat d'assignation du detecteur code-in-markdown accuse la prose francaise (4 des 6 entrees de baseline) #12620. Le champ est
   additif et non-bloquant : il ne change aucun verdict.
2. Politique option (b), signaler sans re-bloquer (documenté dans
   .claude/rules/lane-claim-protocol.md) : le fail-closed check_lane_claim : un [CLAIMED] scope ET horodate produit un glob qui ne matche rien — le claim ne bloque personne #10958 (un scope
   entièrement mort est porté epic-wide) n'est pas rouvert — un claim cassé
   n'est pas permissif, et le rouvert recréerait le false-CLEAR style [ICT] Proxys sensibilite satures sur S1 malgre le correctif ICT-15c : mean == max == k-1 sur 15/15 (graine, k) #9764.
3. Tests de non-régression avec contrôle positif :
   • test_run_check_dead_scope_surfaces_even_when_released : le shape lane-claim: une clause paths: nommant un chemin inexistant rend un claim qui ne bloque personne (fail-OPEN, JSON dit malformed_markers: 0) #12740
     — claim à scope mort relâché → active_claims: {} / blocking_lanes: []
     (le look silencieux) mais dead_scope_globs non vide nomme le glob.
   • test_run_check_dead_scope_aggregate_empty_for_live_scope : contrôle
     positif — scope vivant → dead_scope_globs: {} et le claim bloque toujours
     (un détecteur qui signalerait tout serait indistinguable d'un qui marche).

Preuve d'exécution (locale, worktree D:/Dev/CoursIA-12740-laneclaim)

$ python -m pytest scripts/tests/test_check_lane_claim.py scripts/tests/test_lane_claim_required.py -q
= 263 passed in 14.87s

Les 2 nouveaux tests (dédiés) :

test_run_check_dead_scope_surfaces_even_when_released  PASSED
test_run_check_dead_scope_aggregate_empty_for_live_scope  PASSED

Smoke-test CLI réel (--from-json, payload #12620) — le champ apparaît bien
dans le JSON alors que le claim est relâché :

"dead_scope_globs": {
  "myia-po-2023:CoursIA": [ "scripts/notebook_tools/check_code_in_markdown.py" ]
}

Périmètre

scripts/check_lane_claim.py, scripts/tests/test_check_lane_claim.py,
.claude/rules/lane-claim-protocol.md (politique). Aucun changement de
sémantique de blocage. 3 fichiers, +103/−0.

Refs #10958 (fail-closed du scope mort) · #12656 (intersection d'override) ·
#12719 (extract_lane lane fantôme)