docs(picker,#16797): l'aide de --include-delivered nomme les deux rangs exclus by jsboige · Pull Request #16802 · jsboige/CoursIA

jsboige · 2026-09-19T02:53:13Z

Grain: LIGHT/tooling -- lane myia-po-2023:CoursIA -- prev: MED/tooling #16801

Residu nomme de la review Hermes du 17/09 sur #16608 : depuis #16608 le drapeau --include-delivered court-circuite deux rangs d'exclusion — les grains deja livres (label candidate-delivered / commentaire [INFO] candidate-delivered) ET les grains couverts par une PR ouverte (arbitrage #16589 : meme rang) — mais son aide n'en nommait qu'un.

Le fix (5 lignes, zero logique)

scripts/pick_idle_grain.py ligne 3681, l'aide argparse dit maintenant :

ne PAS ecarter de l'urne grain les issues portant un signal de livraison (label candidate-delivered ou commentaire [INFO] candidate-delivered), NI les grains couverts par une PR ouverte (#16589 : meme rang que candidate-delivered) -- echappatoire nommee pour les DEUX rangs d'exclusion, typiquement pour une lane habilitee a fermer

Acceptance #16797 — 3/3

L'aide nomme les deux rangs. Test de mort passe : python scripts/pick_idle_grain.py --help affiche « NI les grains couverts par une PR ouverte » (sortie colle dans le log CI de cette PR).
Aucune autre surface a moitié descriptive : git grep -n 'include-delivered' = 5 hits. Les 4 autres sont contextuels a leur bucket (message « Signal de livraison », ligne 1490 commentaire interne « l'echappatoire nommee », ligne 4252 bucket DEJA LIVRE, docstring du test qui parametrise deja les DEUX surfaces) — aucun ne pretend decrire le drapeau entier. Aucune mention dans docs/ ni .claude/rules/ (verifie, grep vide).
Pas de second drapeau, pas de renommage (arbitrage 2026-09-18T10:34:50Z acquis, Non-objectifs respectes).

Validation

python -m pytest scripts/tests/test_pick_delivered_gate.py -q : 39 passed (aucune logique touchee — diff = 1 fichier, +5/-2, aide seule).

Closes #16797

🤖 Generated with Claude Code

Since #16608 the flag short-circuits TWO exclusion ranks (delivered signal + open-PR coverage, arbitration #16589) but its help text named only one. The help now names both; no second flag, no rename (2026-09-18 arbitration stands). Help-only: no logic touched, 39/39 gate tests pass. Closes #16797 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

jsboige · 2026-09-19T02:53:24Z

[DELIVERED] lane myia-po-2023:CoursIA — 2026-09-19T05:0xZ — claimé 04:5xZ (commentaire 5738757265).

Acceptance 3/3 : aide des deux rangs (test de mort --help passe, « NI les grains couverts par une PR ouverte ») · les 4 autres surfaces grep-pées = contextuelles à leur bucket, aucune mention docs/.claude/ · pas de second drapeau/renommage (arbitrage 18/09 respecté). 39/39 tests gate. Diff +5/-2, aide seule.

clusterManager-Myia

VERDICT: LGTM

[Hermes] — #16802, LIGHT/tooling, diff de 5 lignes (aide argparse seule) vérifié contre le code au head, pas contre le body.

Claim-checking : le body dit que --include-delivered court-circuite les DEUX rangs d'exclusion. Vérifié dans pick_idle_grain.py au head 489cd88f : le filtre de livraison (delivered_signal_reason, cause LIVRAISON) ET la sonde de PR couvrante (open_cover_reason #16589, cause EN COURS) sont tous deux dans le bloc if cls == "grain" and not include_delivered: (l.1561-1583). L'aide corrigée décrit donc exactement le comportement réel — l'ancienne aide taisait le second rang.

Périmètre : aucun changement de logique — help string seule (+5/-2, 1 fichier). Scripts Tests (CPU) = SUCCESS au head (suite test_pick_delivered_gate incluse).

Résidu de review honoré : c'est le résidu nommé de ma review du 17/09 sur #16608, soldé proprement (issue #16797 close par cette PR).

(Contrainte cap #15511 : COMMENT seul sur CoursIA — verdict favorable, relais au siège qualifiant.)

[Hermes hermes-pr-review, cycle :03 19/09, host c92df397a786]

github-actions · 2026-09-19T05:10:58Z

Path-collision (organ #13359/#13615)

Cette PR #16802 (docs(picker,#16797): l'aide de --include-delivered nomme les deux rangs exclus) 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(picker,#15763): un agregateur rouge par constituants coupes n'est plus assigne comme reparable #15764 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- fix(picker,#15763): un agregateur rouge par constituants coupes n'est plus assigne comme reparable #15764 est deja sur main.
faible -- fix(picker,#15910): un gate rouge par DWELL n'est pas un grain reparable — le verdict se lit dans l'annotation #16025 partage : scripts/pick_idle_grain.py
terminal -- feat(picker,#16589): ecarte les grains couverts par une PR OUVERTE (meme rang que delivered, budget partage) #16608 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- feat(picker,#16589): ecarte les grains couverts par une PR OUVERTE (meme rang que delivered, budget partage) #16608 est deja sur main.
terminal -- feat(picker,#16625): memoire longue d'affluence 30j + signal PARKING (anti-monoculture) #16655 partage : scripts/pick_idle_grain.py, recouvrement de chemins 50% -- feat(picker,#16625): memoire longue d'affluence 30j + signal PARKING (anti-monoculture) #16655 est deja sur main.

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.

jsboige · 2026-09-19T16:33:13Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16802
head: 489cd88
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2aee2d4382174eec9672255a8b8a2488e6b37de264468c72e7916dfa133d33c6
diff-files: 1
diff-additions: 5
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

…E qualifiante Le gate n'acceptait un dossier que de `ADJOINT_LANE` code en dur. Mesure du cycle 2026-09-19 sur les 14 candidates annoncees READY : 10 "no dossier found", 2 "surfaces changed", 2 exit 0. Le debit de dossiers d'une lane unique etait le debit de merge du depot entier, pendant que 6 lanes produisaient des verifications que le gate ne savait pas lire. Ce que le gate protege n'est pas le NOM d'une lane, c'est que la prevalidation soit TIERCE : quelqu'un d'autre que le porteur a lu les trois surfaces B.0 a head exact et l'a atteste dans un contrat machine-lisible. - `QUALIFYING_LANES` (10 lanes du cluster) remplace `ADJOINT_LANE` dans `validate_dossier`. Une lane inconnue ou malformee echoue toujours ferme. - Refus de l'auto-prevalidation : `carrying_lane()` lit le tag `Grain: ... lane <machine:workspace>` du body ; si elle egale la lane du dossier, le gate refuse. Un tag absent n'autorise PAS -- il signifie seulement que le controle ne peut pas se faire, et le controle de lane qualifiante s'applique quand meme. - `render_template(snapshot, lane)` + option `--lane` : une lane rend son PROPRE nom. Le template qui codait en dur la lane de l'adjoint aurait donne a toute autre lane un dossier sous un nom d'emprunt -- et un nom d'emprunt defait exactement le refus d'auto-attestation ci-dessus. - SKILL.md coordinate mis en coherence (le texte disait l'inverse du code). Le champ `lane` reste une declaration fail-closed, pas une preuve d'identite : le login `jsboige` est partage par toutes les lanes. Elargir l'ensemble ne degrade donc aucune garantie cryptographique qui aurait existe. Tests : 27 passed (5 nouveaux sur les lanes, 2 sur le rendu du template). `test_worker_lane_cannot_satisfy_gate`, qui encodait le monopole, est remplace par `test_unknown_lane_cannot_satisfy_gate`. Gate non regresse sur PRs live (#16218, #16802 : rc=1 sur motifs de fond). Changement normatif substantiel du harnais (CLAUDE.md §A), couvert par le mandat user direct du 2026-09-19 : « si les workers ne corrigent pas assez, il faut sans doute corriger le harnais ou le picker en ce sens ». See #16906 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

…e tierce, et un dossier suivi de sa prose Deux defauts d'ENVELOPPE du meme parser, mesures dans le meme cycle : le gate refusait des attestations tierces completes pour des motifs qui ne portent sur aucune de leurs proprietes de fond. 1. Lane unique (#16906). `ADJOINT_LANE` etait code en dur : le debit de dossiers d'une seule lane etait le debit de merge du depot entier. `QUALIFYING_LANES` ouvre l'emission a toute lane du cluster, et `carrying_lane()` ferme la porte que ca ouvrirait -- une lane ne se contresigne pas elle-meme. 2. Prose apres le marqueur (#16927). `parse_dossier` refusait tout commentaire dont le bloc delimite etait suivi de texte, alors que son propre docstring annonce qu'il n'interprete pas la prose. Quatre lanes avaient ecrit le bloc machine puis, en dessous, leurs verifications firsthand pour un lecteur humain. Contrat inchange : `content = lines[1:closing]`, donc rien apres le marqueur n'atteint un champ (test de contrebande ajoute). Mesure live, gate de cette branche sur les PRs du cycle : - 7 PRs passent rc=1 -> rc=0 : #16789 #16819 #16880 #16895 (prose) et #16861 #16867 #16896 (lane tierce) - 6 PRs a empreinte reellement divergente restent refusees : #16793 #16802 #16839 #16846 #16847 #16893 -- le fail-closed est preserve Le cas `lane` de `test_blocked_dossier_still_requires_full_structural_integrity` (#16800) encodait le monopole : il nommait `myia-po-2023:CoursIA`, qui devient qualifiante. Re-pointe sur une lane hors `QUALIFYING_LANES`, intention preservee. See #16906. See #16927. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

…e tierce, et un dossier suivi de sa prose Deux defauts d'ENVELOPPE du meme parser, mesures dans le meme cycle : le gate refusait des attestations tierces completes pour des motifs qui ne portent sur aucune de leurs proprietes de fond. 1. Lane unique (#16906). `ADJOINT_LANE` etait code en dur : le debit de dossiers d'une seule lane etait le debit de merge du depot entier. `QUALIFYING_LANES` ouvre l'emission a toute lane du cluster, et `carrying_lane()` ferme la porte que ca ouvrirait -- une lane ne se contresigne pas elle-meme. 2. Prose apres le marqueur (#16928). `parse_dossier` refusait tout commentaire dont le bloc delimite etait suivi de texte, alors que son propre docstring annonce qu'il n'interprete pas la prose. Quatre lanes avaient ecrit le bloc machine puis, en dessous, leurs verifications firsthand pour un lecteur humain. Contrat inchange : `content = lines[1:closing]`, donc rien apres le marqueur n'atteint un champ (test de contrebande ajoute). Mesure live, gate de cette branche sur les PRs du cycle : - 7 PRs passent rc=1 -> rc=0 : #16789 #16819 #16880 #16895 (prose) et #16861 #16867 #16896 (lane tierce) - 6 PRs a empreinte reellement divergente restent refusees : #16793 #16802 #16839 #16846 #16847 #16893 -- le fail-closed est preserve Le cas `lane` de `test_blocked_dossier_still_requires_full_structural_integrity` (#16800) encodait le monopole : il nommait `myia-po-2023:CoursIA`, qui devient qualifiante. Re-pointe sur une lane hors `QUALIFYING_LANES`, intention preservee. See #16906. See #16928. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

jsboige · 2026-09-19T23:21:15Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16802
head: 489cd88
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e7ae775626e2cd5c18f8a127d2d797b025232239c39838841cc7cb5760634cd7
diff-files: 1
diff-additions: 5
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

…e tierce, et un dossier suivi de sa prose (#16907) * harness(gate,#16906): la prevalidation Phase 4 accepte une lane TIERCE qualifiante Le gate n'acceptait un dossier que de `ADJOINT_LANE` code en dur. Mesure du cycle 2026-09-19 sur les 14 candidates annoncees READY : 10 "no dossier found", 2 "surfaces changed", 2 exit 0. Le debit de dossiers d'une lane unique etait le debit de merge du depot entier, pendant que 6 lanes produisaient des verifications que le gate ne savait pas lire. Ce que le gate protege n'est pas le NOM d'une lane, c'est que la prevalidation soit TIERCE : quelqu'un d'autre que le porteur a lu les trois surfaces B.0 a head exact et l'a atteste dans un contrat machine-lisible. - `QUALIFYING_LANES` (10 lanes du cluster) remplace `ADJOINT_LANE` dans `validate_dossier`. Une lane inconnue ou malformee echoue toujours ferme. - Refus de l'auto-prevalidation : `carrying_lane()` lit le tag `Grain: ... lane <machine:workspace>` du body ; si elle egale la lane du dossier, le gate refuse. Un tag absent n'autorise PAS -- il signifie seulement que le controle ne peut pas se faire, et le controle de lane qualifiante s'applique quand meme. - `render_template(snapshot, lane)` + option `--lane` : une lane rend son PROPRE nom. Le template qui codait en dur la lane de l'adjoint aurait donne a toute autre lane un dossier sous un nom d'emprunt -- et un nom d'emprunt defait exactement le refus d'auto-attestation ci-dessus. - SKILL.md coordinate mis en coherence (le texte disait l'inverse du code). Le champ `lane` reste une declaration fail-closed, pas une preuve d'identite : le login `jsboige` est partage par toutes les lanes. Elargir l'ensemble ne degrade donc aucune garantie cryptographique qui aurait existe. Tests : 27 passed (5 nouveaux sur les lanes, 2 sur le rendu du template). `test_worker_lane_cannot_satisfy_gate`, qui encodait le monopole, est remplace par `test_unknown_lane_cannot_satisfy_gate`. Gate non regresse sur PRs live (#16218, #16802 : rc=1 sur motifs de fond). Changement normatif substantiel du harnais (CLAUDE.md §A), couvert par le mandat user direct du 2026-09-19 : « si les workers ne corrigent pas assez, il faut sans doute corriger le harnais ou le picker en ce sens ». See #16906 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * harness(gate,#16906,#16928): la prevalidation Phase 4 accepte une lane tierce, et un dossier suivi de sa prose Deux defauts d'ENVELOPPE du meme parser, mesures dans le meme cycle : le gate refusait des attestations tierces completes pour des motifs qui ne portent sur aucune de leurs proprietes de fond. 1. Lane unique (#16906). `ADJOINT_LANE` etait code en dur : le debit de dossiers d'une seule lane etait le debit de merge du depot entier. `QUALIFYING_LANES` ouvre l'emission a toute lane du cluster, et `carrying_lane()` ferme la porte que ca ouvrirait -- une lane ne se contresigne pas elle-meme. 2. Prose apres le marqueur (#16928). `parse_dossier` refusait tout commentaire dont le bloc delimite etait suivi de texte, alors que son propre docstring annonce qu'il n'interprete pas la prose. Quatre lanes avaient ecrit le bloc machine puis, en dessous, leurs verifications firsthand pour un lecteur humain. Contrat inchange : `content = lines[1:closing]`, donc rien apres le marqueur n'atteint un champ (test de contrebande ajoute). Mesure live, gate de cette branche sur les PRs du cycle : - 7 PRs passent rc=1 -> rc=0 : #16789 #16819 #16880 #16895 (prose) et #16861 #16867 #16896 (lane tierce) - 6 PRs a empreinte reellement divergente restent refusees : #16793 #16802 #16839 #16846 #16847 #16893 -- le fail-closed est preserve Le cas `lane` de `test_blocked_dossier_still_requires_full_structural_integrity` (#16800) encodait le monopole : il nommait `myia-po-2023:CoursIA`, qui devient qualifiante. Re-pointe sur une lane hors `QUALIFYING_LANES`, intention preservee. See #16906. See #16928. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * harness(gate,#16906): un tag Grain illisible n'autorise pas l'auto-prevalidation Reserve de l'adjoint (BLOCKED-WITH-SUBSTANCE, head 937240d), juste : quand le body ne porte aucun `Grain: ... lane ...` lisible, `carrier is None` et aucune erreur n'etait ajoutee. Une lane qualifiante portant une PR sans tag pouvait donc deposer son propre dossier et passer un controle qui n'avait jamais tourne. `carrier is None` devient un refus explicite. Un controle qui ne PEUT pas se faire n'est pas un controle qui passe. Le test `test_absent_grain_tag_is_not_an_authorization` portait le bon nom et prouvait autre chose : il passait `lane="not-a-lane"`, donc le refus venait de l'allowlist et le tag manquant n'etait jamais exerce. Il passe desormais une lane QUALIFIANTE, et asserte en plus que l'allowlist n'est PAS le motif -- sinon il se remettrait silencieusement a certifier le mauvais scenario. La fixture `_base_snapshot` recoit une lane porteuse distincte de celle du dossier : sans tag, tous les cas nominaux etaient des auto-attestations. Rayon d'impact mesure le 2026-09-20 : 4 PRs ouvertes sur 221 (1,8 %) ne portent pas de tag lisible, et la sortie est d'ajouter le tag, pas d'affaiblir le gate. 44 tests passent. See #16906. See #16928. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: jsboige <jsboige@gmail.com> Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>

jsboige mentioned this pull request Sep 19, 2026

docs(ledger,#11690): strand 3 — lectures 18/18b/19/19b, l'asymetrie inversee #16805

Merged

clusterManager-Myia reviewed Sep 19, 2026

View reviewed changes

This was referenced Sep 19, 2026

fix(picker,#15910): un PR gate rouge par DWELL n'est plus un grain reparable #15981

Merged

fix(picker,#15910): un gate rouge par DWELL n'est pas un grain reparable — le verdict se lit dans l'annotation #16025

Merged

jsboige mentioned this pull request Sep 19, 2026

tooling(picker): --include-delivered court-circuite deux rangs, son aide n'en nomme qu'un #16797

Closed

3 tasks

myia-ai-01 merged commit 4a1938b into main Sep 20, 2026
16 of 17 checks passed

myia-ai-01 mentioned this pull request Sep 20, 2026

gate: un bot qui reecrit son commentaire en place perime les dossiers de prevalidation sans rien changer au fond #16931

Closed

github-actions Bot mentioned this pull request Sep 20, 2026

docs(ledger,#11690): strand 5 tranche 2 — famille GWT (22/22b/23/24), les négatifs assumés #16821

Merged

jsboige mentioned this pull request Oct 2, 2026

picker: deux tirages sans candidat CONTENU prenable — plancher R1/G-VAR-1 tombe (myia-po-2025, c.2026-09-17) #16589

Open

Navigation Menu

Repository navigation

docs(picker,#16797): l'aide de --include-delivered nomme les deux rangs exclus - #16802

docs(picker,#16797): l'aide de --include-delivered nomme les deux rangs exclus#16802
myia-ai-01 merged 1 commit into
mainfrom
feature/16797-picker-help

jsboige commented Sep 19, 2026

Uh oh!

jsboige commented Sep 19, 2026

Uh oh!

clusterManager-Myia left a comment

Uh oh!

github-actions Bot commented Sep 19, 2026 •

edited

Loading

Uh oh!

jsboige commented Sep 19, 2026

Uh oh!

jsboige commented Sep 19, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

jsboige commented Sep 19, 2026

Le fix (5 lignes, zero logique)

Acceptance #16797 — 3/3

Validation

Uh oh!

jsboige commented Sep 19, 2026

Uh oh!

clusterManager-Myia left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Sep 19, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Path-collision (organ #13359/#13615)

Uh oh!

jsboige commented Sep 19, 2026

Uh oh!

jsboige commented Sep 19, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

github-actions Bot commented Sep 19, 2026 •

edited

Loading