[jsboige]

Grain: MED/tooling -- lane myia-ai-01:CoursIA-2 -- prev: MED/notebook-dotnet #24859

Le defaut

Le gel d'une issue est une decision explicite du coordinateur. Deux regles le portent :

• regle A — la ligne [FROZEN] <motif> -- <autorite> dans le corps de l'issue ;
• regle B — un en-tete [FROZEN] dans le fil (le filet des gels deja poses en commentaire, en attendant leur migration vers le corps).

_issue_is_frozen(issue_body, comments) lisait deja les deux. Mais elle n'etait cablee que derriere has_recent_delivery_marker, lui-meme cable sur l'urne grain seule :

# scripts/pick_idle_grain.py -- draw_unclaimed
if cls == "grain" and not include_delivered:
    recent = has_recent_delivery_marker(c["number"])

Une EPIC est classee umbrella : sa branche n'applique que la sonde de CONTENEUR (has_recent_container_delivery_marker, dernier commentaire). Le gel de l'EPIC n'etait jamais consulte.

Mesure du 2026-11-05 (#19309) : l'EPIC #19309 est gelee par le body (ligne [FROZEN] posee a 17:38Z) et par le fil (depuis le 03/11) ; le tapis l'a servie 7 fois dans la journee -- 7 [RELEASED] sans travail. Un [RELEASED] ne leve pas un gel : c'est la grammaire elle-meme qui l'interdit.

Le correctif

1. Une sonde de gel a part entiere — has_frozen_marker(issue_number) rend la source du gel ("body" / "comment"), False si l'item n'est pas gele, None si la lecture a echoue. Elle ne lit que le gel : ni le marqueur de livraison de l'item, ni celui de ses enfants. Un parapluie n'herite donc pas de la livraison de ses enfants.
2. Un gate transversal — la porte est appliquee a toutes les classes (grain, umbrella, delivered), placee avant les filtres de classe et avant le plafond EPIC (Tapis (#18832) : priorite aux issues de consolidation, un sous-grain par visite et plafond hebdomadaire pour les EPICs d'extension #22500). Un candidat gele doit dire « GEL », jamais « PLAFOND EPIC » ni « LIVRAISON », et ne doit pas revenir au tirage suivant.
3. Une cause nommee — l'ecart sort avec GEL (body|comment) et la regle de degel dans le texte ; la sortie porte un volet dedie (frozen_signal en JSON, ECARTE (gel) en texte).
4. Un fail-OPEN dit — une lecture ratee laisse le candidat servable, mais le numero est reporte (frozen_unread), comme le fait deja claim_unread / marker_unread.
5. --admissible branche — le mode repondait « ce grain-ci est-il consommable maintenant ? » et rendait ADMISSIBLE sur un item gele. Le filtre y est branche : il rend REFUS et nomme la cause.

--include-delivered ne contourne pas le gel : cette echappatoire porte sur les marqueurs de livraison, la ou le gel est une decision du coordinateur.

Ce qui ne change pas

• la grammaire du gel (_issue_is_frozen) : aucune ligne touchee ;
• le filtre de livraison reste classe : une umbrella n'herite toujours pas de la livraison de ses enfants (c'est la sonde de conteneur, pas la porte de gel) ;
• les sondes restent injectables et inertes par defaut (doctrine fix(picker,#19907): 3e surface de livraison (PR MERGEE <90j citant #N) #19913) : un test qui n'injecte pas de sonde ne sort jamais sur le reseau.

Cout

Zero requete supplementaire dans le tapis. La lecture du fil est servie par l'instantane de la passe, dont la fenetre couvre exactement celle que la boucle parcourt (wanted = max_iters), et le corps vient de _POOL_BODIES, que fetch_pool remplit deja. La voie ponderee lit une fois de plus par candidat tire (une poignee).

Temoins

scripts/tests/test_pick_idle_grain_freeze_scope.py (15 tests) :

• temoin 1 — une EPIC gelee par le corps est ecartee du tapis (GEL (body)) ;
• temoin 2 — une EPIC gelee par le fil est ecartee du tapis (GEL (comment)) ;
• controle negatif (une EPIC non gelee est servie) ;
• le gel s'applique a grain, umbrella et delivered ;
• --include-delivered ne contourne pas le gel ;
• lecture ratee : fail-OPEN et signalee (frozen_unread) ;
• la voie ponderee applique la meme porte ;
• --admissible refuse un item gele.

Validation

• pytest scripts/tests/test_pick_idle_grain_freeze_scope.py -> 15 passed ;
• pytest scripts/tests/test_pick_idle_grain.py scripts/tests/test_pick_idle_grain_belt.py scripts/tests/test_pick_frozen_sticky.py scripts/tests/test_pick_delivered_gate.py scripts/tests/test_pick_claim_filter.py -> 498 passed (aucune regression, y compris test_pick_frozen_sticky.py, qui verifie la grammaire du gel et le cache des corps) ;
• pytest scripts/tests -k "pick or claim or snapshot or candidate_delivered or origami or closure" -> 1943 passed, 2 skipped, 5 xfailed ;
• pyflakes scripts/pick_idle_grain.py : aucun warning nouveau (les avertissements listes sont anterieurs a ce changement).

Controle de mort (mesure sur l'issue reelle)

• has_frozen_marker(19309) -> 'body' (mesure firsthand, le 2026-11-05) : le gel de l'EPIC est desormais lu, la ou il etait invisible pour la classe umbrella.
• python scripts/pick_idle_grain.py --admissible 19309 -> REFUS -- GEL (body) ..., rc=1 (avant ce correctif : ADMISSIBLE, rc=0).
• Tirage --belt reel sur la lane : [Epic] Compléter la constellation causale (format Origami) : Hernan target trial + ML for ATE + causal repr/anticausal learning + causal RL + Heckman + m-transportability + ATE/ATT/CATE systematic + Pearl Ladder introductive (refs greenpau Causal Inference + Scholkopf 2012/2021) #19309 n'est pas dans les picks. Il faut le dire tel quel : aujourd'hui il n'y est plus pour une autre raison -- ses 7 [RELEASED] lui ont donne des visites (le tapis ordonne par derniere visite), et le pli Origami 4 n'est pas materialise. Son exclusion par la porte de gel est donc masquee aujourd'hui par une autre cause. La preuve de la porte elle-meme est dans les temoins et dans les deux mesures ci-dessus, pas dans ce tirage.

Portee

• scripts/pick_idle_grain.py — la sonde, la porte, le volet de sortie ;
• scripts/tests/test_pick_idle_grain_freeze_scope.py — les temoins.

PR hors harnais (scripts/) : le merge passe par merge_ready.py apres l'APPROVE du coordinateur, comme annonce au dispatch.

See #19309

🤖 Generated with Claude Code

[github-actions]

Avertissements consultatifs

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-11-05) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=8 cap=5)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=8 cap=5)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

Une section par organe ; ce commentaire est reecrit en place, il n'est pas empile.

[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).

[myia-ai-01]

Lu le code (scripts/pick_idle_grain.py) et lancé les tests dans un worktree frais à la tête 2ff175c0 : test_pick_idle_grain_freeze_scope.py 15 passed, et 606 passed sur l'ensemble des tests pick_idle.

Ce que j'ai vérifié :

• la porte de gel se place dans draw_unclaimed AVANT les filtres de classe : elle vaut pour grain, umbrella et delivered, et --include-delivered ne la contourne pas. C'est exactement le défaut de #19309 (une EPIC gelée, de classe umbrella, resservie 7 fois en une journée) ;
• has_frozen_marker est tri-état : une lecture en échec rend None, en fail-OPEN signalé (frozen_unread), et non un faux « pas gelé » silencieux ;
• le gel est séparé des marqueurs de livraison : un parapluie n'hérite pas de la livraison de ses enfants ;
• câblage de production : frozen_probe = has_frozen_marker hors pytest (l.11455-11459), la valeur inerte n'est gardée que sous PYTEST_CURRENT_TEST sans --cache-dir, et la même sonde passe aux deux chemins (l.12156, l.12682) ;
• --admissible voit aussi le gel (gel_cause_text).

Remarque non bloquante : le texte de cause du gel est écrit deux fois (dans gel_cause_text et en ligne dans draw_unclaimed). On peut le factoriser à la prochaine retouche de ce fichier ; je ne la tiens pas pour une réserve.

B.0 rc=0, mergeable_state clean. APPROVE.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #24864 (Fix(picker,#19309): le gel s'applique a toutes les classes -- une EPIC gelee n'est plus servie) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- Fix(tooling,#22987): un [NOT-DELIVERED] posterieur a la fusion revoque le signal PR MERGEE #24417 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- Fix(tooling,#22987): un [NOT-DELIVERED] posterieur a la fusion revoque le signal PR MERGEE #24417 est deja sur main.
• faible -- Fix(tooling,#24418): la surface PR MERGEE distingue une citation d'une enumeration #24464 partage : scripts/pick_idle_grain.py
• terminal -- Fix(belt,#21436): le mur de temps n'eteint plus un filtre de marqueur deja en memoire #24505 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- Fix(belt,#21436): le mur de temps n'eteint plus un filtre de marqueur deja en memoire #24505 est deja sur main.
• terminal -- Fix(belt,#24516): le gel [FROZEN] survit aux [RELEASED] posterieurs #24523 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- Fix(belt,#24516): le gel [FROZEN] survit aux [RELEASED] posterieurs #24523 est deja sur main.
• terminal -- Fix(tooling,#19309): un [RELEASED] de queue ne masque plus le gel qu il suit #24590 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- Fix(tooling,#19309): un [RELEASED] de queue ne masque plus le gel qu il suit #24590 est deja sur main. (issues communes : [Epic] Compléter la constellation causale (format Origami) : Hernan target trial + ML for ATE + causal repr/anticausal learning + causal RL + Heckman + m-transportability + ATE/ATT/CATE systematic + Pearl Ladder introductive (refs greenpau Causal Inference + Scholkopf 2012/2021) #19309) (issues communes : [Epic] Compléter la constellation causale (format Origami) : Hernan target trial + ML for ATE + causal repr/anticausal learning + causal RL + Heckman + m-transportability + ATE/ATT/CATE systematic + Pearl Ladder introductive (refs greenpau Causal Inference + Scholkopf 2012/2021) #19309)
• terminal -- Fix(tooling,#23500): le verdict FREE du picker nomme ce qu'il mesure #24723 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- Fix(tooling,#23500): le verdict FREE du picker nomme ce qu'il mesure #24723 est deja sur main.
• faible -- Fix(tooling,#22687): la cause du plafond EPIC nomme le marqueur au lieu de dire « claim » #24812 partage : scripts/pick_idle_grain.py
• faible -- Fix(picker,#22983): le tirage lit ses claims sans reseau -- la voie sous-processus est retiree #24826 partage : scripts/pick_idle_grain.py
• faible -- Fix(belt,#24516): le gel [FROZEN] est lu par la boucle de service du tapis #24830 partage : scripts/pick_idle_grain.py

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.