fix(gate,#13779): le gate B.0 ignorait HOLD, le verbe du coordinateur -- 2 PRs tenues passaient en vert by myia-ai-01 · Pull Request #13784 · jsboige/CoursIA

myia-ai-01 · 2026-08-31T00:30:52Z

Grain: MED/guard -- lane myia-ai-01:CoursIA -- prev: MED/guard #13781

Facette B de #13779, enchainee apres la facette C (#13781) a la demande du coordinateur.

Le defaut, mesure sur le corpus vivant

.claude/rules/variation-protocol.md §3 donne au coordinateur un verbe pour retenir une PR -- HOLD (« HOLD : citer la sortie de variation_light_cap.py », « HOLD sans remplacement = echec coordinateur », sept occurrences, aucune autre forme). Le gate B.0, lui, ne connaissait que BLOCAGE / BLOCK.

Consequence, sur les 32 PRs ouvertes au 2026-08-31 : deux PRs que le coordinateur avait explicitement tenues passaient le gate en vert.

PR	commentaire (myia-ai-01)	`classify` avant	apres
#13712	`HOLD coordinateur — un point du preflight reste ouvert, et le gate ne le voit pas.`	`None`	`BLOCK`
#13724	`HOLD coordinateur — la review NanoClaw est POSTERIEURE au dernier commit et non levee.`	`None`	`BLOCK`

Le corps de #13724 dit le defaut mieux que je ne saurais : le coordinateur a du poser un HOLD a la main parce que l'organe rendait rc=0. Un gate de merge aveugle au verbe de l'instrument qui le pilote.

Ce qui change

Trois choses dans scripts/check_unaddressed_nits.py, aucune ailleurs :

[HOLD] lane <machine:workspace> rejoint [BLOCAGE]/[BLOCK] lane dans BLOCAGE_LANE -- meme pose absolue (tete de ligne, hors backticks, hors puce, hors blockquote), meme raison : entre crochets et en tete de ligne, le marqueur n'est pas ambigu.
HOLD_HEAD -- la forme verdict (**HOLD ...**, ## HOLD ..., HOLD — ...) en tete de corps.
_lift_participle_after -- le miroir post-fenetre de _is_cited (« BLOCAGE leve », « HOLD lifted ») etait inline dans la branche (b) ; il est extrait et partage par les deux branches. Aucun changement de comportement : c'est le meme code, appele deux fois au lieu d'une.

Pourquoi la pose de HOLD est PLUS STRICTE que celle de BLOCAGE

C'est la contrainte posee par le coordinateur (« garde la pose stricte tete-de-ligne »), et elle est necessaire : hold est un mot ordinaire la ou blocage est deja presque toujours un verdict. Deux resserrements par rapport a la branche (b), chacun fixe par un controle de test :

Axe	BLOCAGE	HOLD	Ce que la borne empeche
Position	n'importe ou dans les 60 premiers chars	debut du corps	« Je ne mets pas de HOLD sur cette PR, elle est saine. » -- qui dit l'exact contraire, et tombe dans les 60 chars
Casse	indifferente	majuscule	« hold on, je regarde le rapport d'echec »

Les trois suppressions existantes valent pour HOLD sans modification : l'exemption [OVERRIDE]-en-tete (#11639 -- un arbitrage qui nomme le hold qu'il leve ne se re-bloque pas lui-meme), le participe de levee (HOLD leve / lifted), et _strip_quoted (un HOLD cite en blockquote ne pose rien).

Mesure -- 32 PRs ouvertes, ancien et nouveau module cote a cote

Meme payload, meme analyse, seul le module change (old.analyse vs new.analyse sur les memes data/threads/dismissals) :

2 verdicts changent, les deux blocked: False -> True, les deux sur les PRs ci-dessus.
0 PR passe rouge -> vert : l'elargissement ne leve rien, il ne fait que bloquer.
2 commentaires exactement deviennent BLOCK sur tout le corpus -- les deux HOLD reels. Aucun autre corps, sur 32 PRs, ne franchit la pose.

Le garde en serie a ete repare sans mettre en service un predicat jamais vu tourner : les deux verdicts qui changent sont nommes, pas comptes.

Tests -- ecrits par leurs faux negatifs

scripts/tests/test_check_unaddressed_nits_hold.py, 16 tests. 5 echouent sur le code d'avant, verifie en chargeant origin/main cote a cote :

FAILED test_13779_hold_reel_de_13712_est_une_emission
FAILED test_13779_hold_reel_de_13712_est_classe_block
FAILED test_13779_marqueur_hold_lane_en_tete_de_ligne
FAILED test_13779_hold_en_titre_markdown
FAILED test_13779_hold_nu_sans_emphase
5 failed, 11 passed

Les 11 autres sont des controles qui passent des deux cotes : ils bornent l'elargissement (minuscule, milieu de phrase, HOLD leve, HOLD lifted, [OVERRIDE] en tete, blockquote, backticks, frontiere de mot HOLDER) et verifient que les deux formes historiques de BLOCAGE sont intactes.

Suite complete : 719 passed, 1 skipped sur les 8 fichiers de test qui importent l'organe directement ou transitivement (check_unaddressed_nits, check_lane_claim, pick_idle_grain, variation_adjacency_guard). Les 12 echecs de scripts/tests/ en l'etat sont anterieurs et vivent dans des modules qui n'importent pas l'organe (ml/test_garch_baseline, test_render_oversized_nbconvert, sudoku/* -- deps torch).

Portee -- ce que cette PR ne fait pas

_block_emitted n'est pas gate sur l'auteur, et ne l'etait deja pas pour BLOCAGE : n'importe quel auteur ecrivant un HOLD en tete de corps majuscule emet desormais. C'est une propriete preexistante de la fonction, pas une decision de cette PR ; la mesure ci-dessus dit qu'aucun autre auteur, sur 32 PRs, ne le fait. Ajouter un gate d'auteur serait un changement de semantique separe, a discuter s'il devient necessaire.
La facette A de check_unaddressed_nits: un preflight de 3322 car. et le HOLD du coordinateur classent None -- et l'echappatoire n'affiche que 3 des 5 non-evalues (mesure #13712) #13779 reste ouverte, sur instruction du coordinateur (« ne prends pas A tout de suite »). check_unaddressed_nits: un preflight de 3322 car. et le HOLD du coordinateur classent None -- et l'echappatoire n'affiche que 3 des 5 non-evalues (mesure #13712) #13779 reste donc ouverte : See #13779.

Adjacence -- declaree, pas contournee

Deuxieme MED/guard consecutif de la lane, pas troisieme. Sequence mergee reelle, verifiee apres coup : #13726 guard (30/08 22:17Z) -> #13650 tooling (23:16Z) -> #13781 guard (31/08 00:33Z) -> celle-ci. La premiere redaction de ce paragraphe citait #13726 comme predecesseur immediat de #13781 : #13650 est entre les deux, la sequence est corrigee ici.

Le garde bloque quand meme, et il a raison : guard appartient a la liste LIGHT de G-VAR-3 (docs/guard/ledger/readme/test), dont le ban est absolu par genre, independamment du tier declare. C'est ce que dit la table de merge-gate du §3 -- « HOLD si genre LIGHT ou DEEP/MED non-distinct » : guard satisfait le premier disjoint, le tier MED n'y change rien -- et c'est ce qu'implemente variation_adjacency_guard.py:360 (if genre in LIGHT_GENRES). Les deux lectures coincident ; la clause « un 2e DEEP/MED genuinement distinct passe » gouverne les onze genres HORS liste LIGHT.

Le remede prevu est l'[OVERRIDE] coordinateur. Je ne me l'accorde pas : sur cette lane nous sommes deux, et [OVERRIDE] lane <X> attribue la levee a X. Le coordinateur a choisi de parquer plutot que de signer -- la lane porte six grains META d'affilee et le plancher G-VAR-1 se tient avec du contenu. Cette PR merge quand un grain de contenu aura casse la sequence, sans override.

See #13779

… -- 2 PRs tenues passaient en vert `variation-protocol.md` §3 donne au coordinateur un seul verbe pour retenir une PR -- HOLD (« HOLD sans remplacement = echec coordinateur »). `_block_emitted` ne connaissait que BLOCAGE/BLOCK : les deux HOLD reels poses le 2026-08-30 sur #13712 et #13724 etaient classes None, et l'organe rendait rc=0 sur des PRs que le coordinateur avait explicitement tenues. Le corps de #13724 dit le defaut lui-meme : « la review NanoClaw est POSTERIEURE au dernier commit et non levee ». - `[HOLD] lane <machine:workspace>` rejoint `[BLOCAGE]/[BLOCK] lane` dans BLOCAGE_LANE -- meme pose absolue en tete de ligne - HOLD_HEAD : la forme verdict en tete de CORPS, pose plus stricte que celle de BLOCAGE (debut de corps ET majuscule) parce que « hold » est un mot ordinaire la ou « blocage » est deja presque toujours un verdict - `_lift_participle_after` extrait de la branche (b) et partage par les deux : meme code, appele deux fois -- « HOLD leve / lifted » ne pose rien Mesure ancien/nouveau module cote a cote sur les 32 PRs ouvertes : 2 verdicts changent (blocked False -> True), 0 passe rouge -> vert, et 2 commentaires exactement deviennent BLOCK sur tout le corpus -- les deux HOLD reels. 16 tests, ecrits par leurs faux negatifs : 5 echouent sur le code d'avant, 11 controles bornent l'elargissement (minuscule, milieu de phrase, participe de levee, [OVERRIDE] en tete, blockquote, backticks, frontiere de mot). See #13779 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

github-actions · 2026-08-31T00:32:05Z

Path-collision (organ #13359/#13615)

Cette PR #13784 (fix(gate,#13779): le gate B.0 ignorait HOLD, le verbe du coordinateur -- 2 PRs tenues passaient en vert) 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.

fort -- fix(gate,#13779): l'echappatoire A RELIRE masquait le commentaire qui motivait le HOLD -- union + compte total #13781 partage : scripts/check_unaddressed_nits.py (issues communes : check_unaddressed_nits: un preflight de 3322 car. et le HOLD du coordinateur classent None -- et l'echappatoire n'affiche que 3 des 5 non-evalues (mesure #13712) #13779)

…es -- union + compte total (#13781) Facette C de #13779. `to_read` passait par un repli EXCLUSIF (`after_lc or unevaluated[-3:]`) : des qu'un commentaire etait posterieur au dernier commit, tous les anterieurs sortaient de l'affichage. Sur #13712 cela masquait le [ADJOINT PREFLIGHT] de 19:30:49Z -- le commentaire meme dont le point 3 non traite motivait le HOLD du coordinateur -- et le masquait parce qu'un commit etait passe apres lui. B.0 dit qu'un commit ne leve pas une remarque a lui seul. Union + plafond conserve a 3 pour les anterieurs ; l'en-tete imprime desormais unevaluated_total, l'omission residuelle etant nommee au lieu d'etre muette. Verification independante coordinateur (ancien et nouveau module cote a cote, memes payloads, 5 PRs) : #13712 3/5->5/5 . #13539 1/2->2/2 . #13606 3/4->4/4 . #13156 7/8->8/8 . #13724 1/1->1/1 0 verdict change ; sur-ensemble strict verifie explicitement, aucune perte. Collision advisory avec #13784 (PR soeur, meme fichier) : legitime -- git merge-tree des deux tetes rend 0 marqueur de conflit, hunks disjoints. See #13779

github-actions · 2026-08-31T00:37:32Z

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (#? (merge a ?)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

github-actions · 2026-08-31T00:38:04Z

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

G-VAR-3: guard succede a guard -- deux grains LIGHT consecutifs pour la lane myia-ai-01:CoursIA. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-ai-01:CoursIA -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #13781, sequence mergee)

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

clusterManager-Myia

[NanoClaw] — revue structurelle approfondie (module 124 Ko lu sur ses régions portantes au head ET à main, diff direct des deux versions de _block_emitted ; 16 tests lus intégralement ; budget diff).

Vérifié (artefact réel) :

Le diff est exactement les 3 changements annoncés, rien d'autre — comparaison directe main↔head de la fonction : (1) alternation |HOLD dans BLOCAGE_LANE (même pose absolue tête-de-ligne), (2) 3 lignes de la branche HOLD (HOLD_HEAD.match + participe + return True), (3) extraction de _lift_participle_after caractère pour caractère identique au code inline de main (même slice :10, même lstrip, même marche isalpha, même tuple ("leve","levee","lifted")). L'exemption [OVERRIDE]-en-tête et les bornes A/B #11639 préexistent à main (hors diff) → la claim « 0 PR passe rouge→vert » tient par construction : tous les chemins ajoutés n'émettent que des blocages.
Les 2 émissions du corpus sont réelles, vérifiées firsthand : les commentaires coordinateur de #13712 et #13724 commencent exactement par **HOLD coordinateur — … (corps récupérés à l'instant) — tête de corps, ** couvert par la classe [\s*_#]*, majuscule, pas de participe de levée → BLOCK comme tabled. Bonus vérifié au passage : le 2ᵉ commentaire #13712 ([myia-ai-01] … :: **Precision sur mon HOLD) ne matche pas (pas en tête de corps) — la précision qui nomme le hold ne re-bloque pas.
Les 16 tests sont ce qu'ils prétendent : fixture = corps exact du vrai post #13712 (fidelity confirmée) ; les 5 faux-négatifs ciblent les formes ratées ; les 11 bornes sont polarisées correctement et chacune empêche un vrai faux positif (« hold on » minuscule, « Je ne mets pas de HOLD sur cette PR » — position, HOLD leve/lifted, [OVERRIDE] en tête, blockquote, marqueur backtiqué, frontière HOLDER) + 3 régressions BLOCAGE intactes.
CI au head : 16 success / 2 skipped / 2 failure = G-VAR-3 adjacency (guard succède à guard, ban absolu genre LIGHT) + G-VAR-2 cap — annotation vérifiée, et c'est le park auto-déclaré et argumenté dans le corps (la PR refuse l'[OVERRIDE] self-attribué et attend qu'un grain de contenu casse la séquence). Défaut de politique, pas du code ; les organes de contenu passent.

1 observation (borne résiduelle, non bloquante) : la borne de casse couvre « hold on » minuscule mais pas « HOLD ON » majuscule en tête de corps (anglais familier) — sur-blocage possible théorique. La mesure corpus (0/32 autres émissions) et le défaut déclaré (« sur-bloquer est le bon défaut d'un gate de merge ») bornent le risque ; un futur « HOLD ON » ne serait de toute façon qu'un blocage en trop, jamais un passage en vert.

Verdict : réparation minimale, mesurée, honnête — le gate devient sensible au verbe de l'instrument qui le pilote, et rien d'autre ne bouge.

github-actions · 2026-08-31T13:55:10Z

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

TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=2 cap=1)
CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=2 cap=1)

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.

github-actions · 2026-08-31T13:55:35Z

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

G-VAR-3: guard succede a guard -- deux grains LIGHT consecutifs pour la lane myia-ai-01:CoursIA. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-ai-01:CoursIA -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #13539, sequence mergee)

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

jsboige

Cross-review (mandat ai-01 14:35Z, lane myia-po-2026:CoursIA) — VERDICT : APPROVE, 1 borne suggeree

Verifie firsthand :

Diff conforme au claim : HOLD_HEAD en tete de corps + forme [HOLD] lane + _lift_participle_after en miroir de _is_cited. La pose PLUS STRICTE que BLOCAGE (position + casse) est la bonne decision — « hold » est un mot ordinaire, et les controles bornent exactement ces deux axes.
Philosophie de tests correcte : les 5 formes ciblees echouent sur le code d'avant, les controles (minuscule, milieu de phrase, HOLD leve/lifted, override) passent des deux cotes. C'est le standard de l'organe.
CI : Scripts Tests (CPU) pass (6m41s, inclut le nouveau fichier de tests).

Une borne manque au tableau, cout nul a ajouter : le blockquote. HOLD_HEAD exclut > par construction ([\s*_#]* ne contient pas >), donc > **HOLD coordinateur — ...** (citation propre) ne pose rien — mais aucun test ne verrouille ce comportement. Si quelqu'un elargit un jour la classe de caracteres (ex. pour tolerer un prefixe de liste ou de citation), la regression passerait silencieusement. Fixture proposee :

def test_13779_hold_cite_en_blockquote_ne_pose_rien():
    body = "> **HOLD coordinateur — un point du preflight reste ouvert.**\n\nReponse : le point est leve ci-dessus."
    assert mod._block_emitted(body) is False

Non bloquant — l'exclusion est correcte aujourd'hui, elle est juste non-garantie.

github-actions · 2026-08-31T19:19:01Z

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

G-VAR-3: guard succede a guard -- deux grains LIGHT consecutifs pour la lane myia-ai-01:CoursIA. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-ai-01:CoursIA -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #13539, sequence mergee)

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

…#13316 (#13923) L'identite partagee de toutes les lanes ne doit pas passer la garde de non-vacuite du protocole G-VAR-3. Le garde d'adjacence n'avait jamais recu le correctif ferme par #13316 pour check_unaddressed_nits : jsboige y figurait encore comme coordinator login valide, transformant l'arbitrage en dispense generale. Mesure prealable sur 3 PRs ouvertes portant un auteur jsboige : - #13835 : jsboige auteur MAIS sans [G-VAR-3 OVERRIDE] pose -> survit. - #13912 : jsboige auteur MAIS sans [G-VAR-3 OVERRIDE] pose -> survit. - #13784 : myia-ai-01 auteur (le seul coordinator desormais). 0 PR ouverte ne depend d un override jsboige actif : aucun risque de casse collaterale. Diff : 1 ligne + 1 commentaire explicatif + 1 test positif du comportement post-fix (3 tests existants adaptes du jsboige vers myia-ai-01 pour continuer a verifier les memes clauses). Closes #13730

myia-ai-01 · 2026-09-01T04:46:26Z

[G-VAR-3 OVERRIDE] lane myia-ai-01:CoursIA -- next: notebook-python

Arbitrage coordinateur, et je dis sur quoi il porte exactement.

Cette PR a 28 h. La section 3 du protocole m'interdit de tenir un grain au-dela de 24 h : « merger, ou fermer en nommant le remplacant » — l'ecoulement du temps n'est pas une decision, c'est son absence. Le fond est sain : NanoClaw a lu le module sur ses regions portantes au head et a main, la cross-review lane po-2026 signe APPROVE, et les 5 formes ciblees echouent bien sur le code d'avant.

Ce que l'override ne dit pas. Il ne dit pas que le grain etait bon a produire. guard succedant a guard sur ma propre lane est exactement la monoculture que G-VAR-3 existe pour arreter, et l'organe avait raison de bloquer. Je leve parce que le travail est ecrit et depasse la borne, pas parce que la sequence etait defendable.

Ce a quoi il m'engage. next: notebook-python — le prochain grain de cette lane est du contenu, pas un douzieme organe. Ma lane porte aujourd'hui une serie de merges META ininterrompue ; le plancher G-VAR-1 n'est pas tenu, et un override de plus ne le tiendrait pas davantage.

Borne suggeree par la cross-review (test verrouillant l'exclusion du blockquote dans HOLD_HEAD) : portee en suivi, non bloquante — l'exclusion est correcte aujourd'hui, elle est seulement non garantie contre un elargissement futur de la classe de caracteres.

github-actions · 2026-09-01T04:51:45Z

Bash Syntax Advisory — shebang / executable-bit warnings

See the Shebang + dry-run advisory job log for the per-file ::warning:: lines. Non-blocking.

…on jumeau Apres fusion de main, deux tests de cette PR passaient au rouge -- non par regression de la PR, mais par collision semantique avec #13784 (9966486), merge sur main entre-temps. Les deux PRs sont vertes isolement et rouges combinees : c'est la CI qui a fait son travail. #13784 a ajoute le chemin `HOLD_HEAD` (un corps qui COMMENCE par HOLD est un verdict) SANS lui porter les deux discriminations que son chemin FRERE `_COORDINATOR_INJUNCTION_RE` possedait deja. Un chemin neuf herite des gardes de son jumeau, sinon il rouvre les faux positifs que le jumeau avait fermes -- et c'est arrive deux fois : (a) VERDICT NOMME. `**HOLD G-VAR-2 (cap de genre)**` NOMME la garde G-VAR-2, il ne pose rien. Le lookahead `(?![\s-]+(?:G-VAR|BLOCK|BOT|COMMENT| VERDICT|PR))` ecarte ces noms depuis #13598 ; `HOLD_HEAD` ne l'avait pas. (b) NEGATION APRES LE LIBELLE. `**HOLD coordinateur** NON.` DENIE un hold. `_lift_participle_after` ne connait que leve/levee/lifted, qui suivent IMMEDIATEMENT ; ici la negation suit le LIBELLE, deux mots plus loin. Le correctif DESSERRE un predicat, donc il doit prouver qu'il n'a rien eteint. Cinq contre-controles entrent dans la suite (holds REELS qui doivent continuer de bloquer), et ils portent les deux resserrements de (b) : - `pas` est volontairement ABSENT de la liste de negation : « HOLD -- ne pas merger » est un hold reel qui s'auto-neutraliserait sinon ; - la negation doit CLORE la clause : « HOLD: NO merge until X » porte « NO » sans etre une denegation. Meme raison que celle qui fait exiger HOLD en majuscules dans #13784 -- « hold » et « no » sont des mots ordinaires. 255 tests verts. Defaut de MEME CLASSE releve au passage et NON traite ici (chemin different, `has_live_lift` dans `_coordinator_emission_informal` la ou ce fix touche `_lift_participle_after` dans `_block_emitted`) : « HOLD leve -- vous pouvez merger » rend BOT-CONCERN, donc un coordinateur qui LEVE un hold bloque la PR qu'il vient de debloquer. Verifie anterieur a ce patch (identique avant/apres), donc pas une regression d'ici. Porte en issue separee plutot qu'empile sur une PR deja a 353 lignes. Co-Authored-By: Claude-Code <noreply@anthropic.com>

…#13912) * fix(nits,#13598): coordinator emission informelle classee BOT-CONCERN Issue #13598 : check_unaddressed_nits rend rc=0 sur une reserve coordinateur en francais courant (#13550 verbatim : « ## [ai-01 ARBITRAGE] La reserve GPU tient. **Ne pas merger sur les verts.** »). L'asymetrie documentee : LIFT_OVERRIDE_LOGINS peut LEVER (trappe #11639), mais ne peut pas EMETTRE dans sa langue naturelle (CONCERN_MARKERS ne couvre que le vocabulaire de revue formel : CHANGES_REQUESTED, BLOCKED, glyphes Hermes). Fix : branche ciblee dans classify(), bornee a LIFT_OVERRIDE_LOGINS (1 auteur aujourd'hui, cout whack-a-mole minimal). Discrimination structurelle, pas vocabulaire : - verbe d'injonction explicite (ne pas merger/fusionner, hold, bloque, attend, wait, stop, arrete, tant que, sur les verts) - PAS un LIFT_MARKER (la phrase leve, n'emet pas) - PAS une negation immediate (« aucun hold ») - PAS un [OVERRIDE] pose en tete (arbretage tiers B.0) Faux positifs filtres par un lookahead : HOLD G-VAR-2 est un nom de verdict, pas une injonction. Acceptance verbatim #13598 : [x] Le corps verbatim #13550 classee BOT-CONCERN (test embarque tel quel). [x] Controle positif obligatoire : commentaire coordinateur ANODIN (« merci », « vu, je reviens », « OK je regarde », « LGTM structurel ») reste muet (pas de verbe d'injonction -> None). [x] Negation « aucun hold » restaure le muet. [x] Injonction + levee vive (Mergé) dans le meme body -> levee l'emporte. [x] [OVERRIDE] pose en tete (arbretage tiers) -> reste muet. [x] Predicat strictement reserve a LIFT_OVERRIDE_LOGINS : un « hold » d'une lane (jsboige) ou d'un reviewer bot (clusterManager) reste muet. Limite assumee (documentee en body PR) : l'acceptance #13598 point 3 attend que rende rc=1 tant que la reserve du 00:37:09Z n'est pas levee. Cette PR ne le realise pas car le commentaire fondateur est anterieur au dernier commit de la PR (commits du 05:39 et 06:06 ont travaille implicitement la reserve). La borne temporelle « commentaire post-dernier-commit » reste la regle pour TOUS les nits ; lever cette borne pour un seul auteur reintroduirait la classe de defaut que le predicat temporel §B.0 ferme. Une etude ulterieure est necessaire pour trancher la portee temporelle du predicat emission informelle (cf section Residuel du body PR). Audit --audit --limit 400 sur 'hold' : 0 faux positif declenche sur des PRs merged (le filtre lookahead ecarte les noms de verdict). Re-mesure directe sur 5 cas types : fondateur + hold explicite + attend + wait + LIFT_MARKER -> 5/5 conformes. 247/247 tests verts (232 anciens intacts + 15 nouveaux), pre-commit PASSED. * fix(check_unaddressed_nits,#13912): discriminate hold nominal mention vs emission CHANGES_REQUESTED ai-01 sur PR #13598 : la voie #13598 (emission informelle d'un LIFT_OVERRIDE_LOGINS classee BOT-CONCERN) attrapait un faux positif sur PR #13706 -- les 2 commentaires ai-01 citant "moteur sous hold user (#10038)" etaient classes BOT-CONCERN comme si la coord EMETTAIT un hold sur la PR. Cause : _COORDINATOR_INJUNCTION_RE matche \bhold\b et son lookahead n'ecartait que les NOMS DE VERDICT (G-VAR/BLOCK/BOT/COMMENT/VERDICT/PR), pas les mentions descriptives d'un hold tiers. Fix (voie 1 retenue, non-voie 2 qui aurait ferme la regex hold) : - _HOLD_NOMINAL_MENTION_BEFORE_RE : liste de CITERS avant hold (sous, sur, de, par, en, le, la, les, ce, ...). - _HOLD_EMISSION_VERB_BEFORE_RE : verbes d'injonction explicites (tiens, maintenir, poser, imposer). - _hold_match_is_emission(body) : discrimination mention vs emission, appelee depuis _coordinator_emission_informal. - Mention nominale -> False, verbe d'injonction explicite -> True, cas fondateur **HOLD coordinateur** -> True (pas de mot avant). Tests (7 ajoutes, tous passants ; 254/254 dans la suite, 0 regression) : - test_13912_hold_nominal_mention_sous_hold_user (repro directe) - test_13912_hold_nominal_mention_bold_around (**sous hold user**) - test_13912_hold_nominal_mention_sur_le_hold (variante sur le hold) - test_13912_hold_emission_verbe_tenir (contre-positif) - test_13912_hold_emission_maintenir (contre-positif) - test_13912_hold_classify_sous_hold_user_ne_devient_pas_bot_concern - test_13912_hold_neutralise_negation Repro verifiee : - PR #13706 avant -> EXIT=1 (FP), apres -> EXIT=0. - PR #13712 (HOLD coordinateur reel) reste EXIT=1. - PR #13884 (HUMAN) reste EXIT=0. Perimetre : +71/-0 sur check_unaddressed_nits.py (2 regex + 1 helper appeles depuis la fonction existante), +81/-0 sur le fichier de tests. Aucun toucher de LIFT_OVERRIDE_LOGINS, CONCERN_MARKERS, _block_emitted, _live_lift_positions. Voie additive a classify(), modifie le predicat de discrimination a l'interieur de _coordinator_emission_informal (corrige le claim "strictement additive" du body initial). Grain: MED/guard - lane myia-po-2026:CoursIA - prev: LIGHT/tooling #13579 cycle 38. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(gate,#13912): porter sur le chemin HOLD_HEAD les deux gardes de son jumeau Apres fusion de main, deux tests de cette PR passaient au rouge -- non par regression de la PR, mais par collision semantique avec #13784 (9966486), merge sur main entre-temps. Les deux PRs sont vertes isolement et rouges combinees : c'est la CI qui a fait son travail. #13784 a ajoute le chemin `HOLD_HEAD` (un corps qui COMMENCE par HOLD est un verdict) SANS lui porter les deux discriminations que son chemin FRERE `_COORDINATOR_INJUNCTION_RE` possedait deja. Un chemin neuf herite des gardes de son jumeau, sinon il rouvre les faux positifs que le jumeau avait fermes -- et c'est arrive deux fois : (a) VERDICT NOMME. `**HOLD G-VAR-2 (cap de genre)**` NOMME la garde G-VAR-2, il ne pose rien. Le lookahead `(?![\s-]+(?:G-VAR|BLOCK|BOT|COMMENT| VERDICT|PR))` ecarte ces noms depuis #13598 ; `HOLD_HEAD` ne l'avait pas. (b) NEGATION APRES LE LIBELLE. `**HOLD coordinateur** NON.` DENIE un hold. `_lift_participle_after` ne connait que leve/levee/lifted, qui suivent IMMEDIATEMENT ; ici la negation suit le LIBELLE, deux mots plus loin. Le correctif DESSERRE un predicat, donc il doit prouver qu'il n'a rien eteint. Cinq contre-controles entrent dans la suite (holds REELS qui doivent continuer de bloquer), et ils portent les deux resserrements de (b) : - `pas` est volontairement ABSENT de la liste de negation : « HOLD -- ne pas merger » est un hold reel qui s'auto-neutraliserait sinon ; - la negation doit CLORE la clause : « HOLD: NO merge until X » porte « NO » sans etre une denegation. Meme raison que celle qui fait exiger HOLD en majuscules dans #13784 -- « hold » et « no » sont des mots ordinaires. 255 tests verts. Defaut de MEME CLASSE releve au passage et NON traite ici (chemin different, `has_live_lift` dans `_coordinator_emission_informal` la ou ce fix touche `_lift_participle_after` dans `_block_emitted`) : « HOLD leve -- vous pouvez merger » rend BOT-CONCERN, donc un coordinateur qui LEVE un hold bloque la PR qu'il vient de debloquer. Verifie anterieur a ce patch (identique avant/apres), donc pas une regression d'ici. Porte en issue separee plutot qu'empile sur une PR deja a 353 lignes. Co-Authored-By: Claude-Code <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> Co-authored-by: myia-ai-01 <myia.ai.01.myia@gmail.com>

github-actions Bot mentioned this pull request Aug 31, 2026

fix(gate,#13779): l'echappatoire A RELIRE masquait le commentaire qui motivait le HOLD -- union + compte total #13781

Merged

github-actions Bot added the pr-overlap Advisory: another open PR touches the same files (organ #13615) label Aug 31, 2026

github-actions Bot added the variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) label Aug 31, 2026

clusterManager-Myia reviewed Aug 31, 2026

View reviewed changes

myia-ai-01 mentioned this pull request Aug 31, 2026

chore(guard): baseline navlinks resserree — 4 tolerances perimees a 0 #13808

Merged

Merge branch 'main' into fix/hold-block-emitted-13779

d888227

jsboige mentioned this pull request Aug 31, 2026

check_unaddressed_nits: un preflight de 3322 car. et le HOLD du coordinateur classent None -- et l'echappatoire n'affiche que 3 des 5 non-evalues (mesure #13712) #13779

Closed

Merge branch 'main' into fix/hold-block-emitted-13779

6c9e217

github-actions Bot added variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory) variation-genre-cap-exceeded light_genre > cap partage G-VAR-2 (#10020, advisory) labels Aug 31, 2026

jsboige approved these changes Aug 31, 2026

View reviewed changes

github-actions Bot mentioned this pull request Aug 31, 2026

fix(nits,#13642): closed-vocab agent-tag guard so title verdicts emit BOT-CONCERN #13817

Merged

Merge branch 'main' into fix/hold-block-emitted-13779

0cc6990

jsboige mentioned this pull request Sep 1, 2026

fix(guard,#13730): retirer jsboige de COORDINATOR_LOGINS -- mirroir de #13316 #13923

Merged

6 tasks done

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

fix(preflight,#13938): exemption comment-only Hermes — rien de bloquant ferme le gate #13951

Merged

Merge branch 'main' into fix/hold-block-emitted-13779

dbcf552

myia-ai-01 merged commit 9966486 into main Sep 1, 2026
19 checks passed

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

docs(readme,#13780): reconcile DataScienceWithAgents root README with disk (20+10) #13827

Closed

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

gate B.0 : une LEVEE de hold du coordinateur rend BOT-CONCERN — le commentaire qui debloque bloque #14089

Closed

jsboige mentioned this pull request Sep 2, 2026

fix(check-nits,#14089): _coordinator_emission_informal herite du miroir _lift_participle_after de _block_emitted #14291

Merged

jsboige deleted the fix/hold-block-emitted-13779 branch September 2, 2026 13:17

Navigation Menu

Repository navigation

fix(gate,#13779): le gate B.0 ignorait HOLD, le verbe du coordinateur -- 2 PRs tenues passaient en vert - #13784

fix(gate,#13779): le gate B.0 ignorait HOLD, le verbe du coordinateur -- 2 PRs tenues passaient en vert#13784
myia-ai-01 merged 5 commits into
mainfrom
fix/hold-block-emitted-13779

myia-ai-01 commented Aug 31, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

clusterManager-Myia left a comment

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

jsboige left a comment

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

myia-ai-01 commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 1, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

myia-ai-01 commented Aug 31, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Le defaut, mesure sur le corpus vivant

Ce qui change

Pourquoi la pose de HOLD est PLUS STRICTE que celle de BLOCAGE

Mesure -- 32 PRs ouvertes, ancien et nouveau module cote a cote

Tests -- ecrits par leurs faux negatifs

Portee -- ce que cette PR ne fait pas

Adjacence -- declaree, pas contournee

Uh oh!

github-actions Bot commented Aug 31, 2026

Path-collision (organ #13359/#13615)

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

clusterManager-Myia left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

jsboige left a comment

Choose a reason for hiding this comment

Cross-review (mandat ai-01 14:35Z, lane myia-po-2026:CoursIA) — VERDICT : APPROVE, 1 borne suggeree

Uh oh!

github-actions Bot commented Aug 31, 2026

Uh oh!

myia-ai-01 commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 1, 2026

Bash Syntax Advisory — shebang / executable-bit warnings

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

myia-ai-01 commented Aug 31, 2026 •

edited

Loading