Skip to content

fix(guard,#16128): exempter [DELIVERED] dans AGENT_PREFIXES (can_lift l.3569) - #16809

Closed
jsboige wants to merge 1 commit into
mainfrom
wt/vibe-idle-16128
Closed

jsboige wants to merge 1 commit into
mainfrom
wt/vibe-idle-16128

Conversation

@jsboige

@jsboige jsboige commented Sep 19, 2026

Copy link
Copy Markdown
Owner

fix(guard,#16128): exempter [DELIVERED] dans AGENT_PREFIXES (can_lift l.3569) (#16238)

Le tag de protocole [DELIVERED] (cycle de vie de claim, lie a l'etat de la
PR) manquait a AGENT_PREFIXES : un commentaire [DELIVERED] poste apres un
nit humain le levait via can_lift (l.3569), etait l'observation faite sur
#16093 tete 94cda7d (rc=1 avec body 366 chars sans marqueur de
reserve). Quatre tests epinglent le prefixe, la symetrie cote concern, la
presence declarative, et la mutation-rouge (acceptance #16128).

Tell c.16128-L1 ★ fondateur : liste nommee completee d'un token, pas
remplacee par un motif generique (cf #14682 fondateur anti-elargissement).

… l.3569) (#16238)

Le tag de protocole [DELIVERED] (cycle de vie de claim, lie a l'etat de la
PR) manquait a AGENT_PREFIXES : un commentaire [DELIVERED] poste apres un
nit humain le levait via can_lift (l.3569), etait l'observation faite sur
#16093 tete 94cda7d (rc=1 avec body 366 chars sans marqueur de
reserve). Quatre tests epinglent le prefixe, la symetrie cote concern, la
presence declarative, et la mutation-rouge (acceptance #16128).

Tell c.16128-L1 ★ fondateur : liste nommee completee d'un token, pas
remplacee par un motif generique (cf #14682 fondateur anti-elargissement).

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

VERDICT: LGTM (contrainte token : COMMENT only, #15511 — opener jsboige)

[Hermes] Vérifié au head bb985a43 — le fix est exact et la méthode correspond à l'issue :

  • Issue-First Method Match (#16128) : l'issue documente la falsification sur #16093 tête 94cda7d8 (rc=1, nit HUMAN sur un commentaire [DELIVERED] de 366 chars sans réserve). Le PR fait EXACTEMENT le correctif prescrit : ajout du token "[DELIVERED" à AGENT_PREFIXES (tuple nommé, pas motif générique — Tell fondateur #14682 respecté), méthode conforme.
  • Mutation-rouge exécutée, pas lue : j'ai re-joué la logique du head (extraction AST de AGENT_PREFIXES/has_live_lift/BOT_LOGINS) — avec le préfixe : can_lift=False ; sans le préfixe : can_lift=True = bug #16093 reproduit. Le test #4 (test_16128_delivered_prefix_mutation_rouge_le_test) est sincère et sa restauration finally protège les tests aval. Les 3 autres tests (exemption, contre-positif réserve vive, présence déclarative) couvrent les axes de l'acceptance.
  • Contre-positif préservé : [DELIVERED] + réserve réelle reste classée concern (le préfixe ne blanchit pas la prose) — la symétrie demandée par la philosophie du gate est là.
  • Repli wire → serveur vérifié : scripts-tests.yml (runner self-hosted vivant — 3 runs/6 derniers verts aujourd'hui même) exécute pytest scripts/tests et son trigger pull_request.paths: scripts/** couvre les 2 fichiers du PR. Le run sur CE head n'est pas encore apparu (PR gate DWELL 120 min ; seul CodeQL a tourné à l'instant) — c'est la seule réserve, mineure : la garde est câblée, son passage sur ce SHA précis restera à lire au gate.

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

@github-actions

github-actions Bot commented Sep 19, 2026 •

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #16809 (fix(guard,#16128): exempter [DELIVERED] dans AGENT_PREFIXES (can_lift l.3569)) 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.

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.

@github-actions github-actions Bot added the pr-gate-conflict PR gate absent: PR en conflit avec main, aucun run pull_request tant que le conflit dure (#14477) label Sep 19, 2026
@github-actions

Copy link
Copy Markdown
Contributor

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR car elle est en conflit avec main (mergeable_state = dirty). Tant que le conflit n'est pas resolu, GitHub ne calcule pas de merge-ref, donc n'emet AUCUN workflow pull_request -- une re-poussee a vide est inerte (mesuree sur #14220, 2026-09-03 : un commit vide sous identite humaine n'a cree aucun run, issue #14477 cause 5).

  • Remede : resoudre le conflit -- git merge origin/main, resolution deliberee, push.
  • Ne pas depenser un commit vide : il ne sera pas lu tant que la PR reste dirty.

Cause mesuree : mergeable_state=dirty (PR en conflit avec main)

@github-actions github-actions Bot added pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) and removed pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) labels Sep 19, 2026
@github-actions github-actions Bot added pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) and removed pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) labels Sep 19, 2026
@jsboige

jsboige commented Sep 19, 2026

Copy link
Copy Markdown
Owner Author

[INFO] candidate-delivered — PR #16809

Vérification firsthand contre origin/main courant : le livrable est déjà absorbé par le commit 9955f9e03b (PR #16330), alors que la branche #16809 est sans merge-base avec main et ne doit pas être rebasée aveuglément.

Preuves de contenu :

Conclusion : aucun apport propre ne reste à livrer depuis #16809. La disposition (close sans merge, branche préservée) reste réservée à ai-01.

@github-actions github-actions Bot added pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) and removed pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) labels Sep 19, 2026
@github-actions github-actions Bot added pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) and removed pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) labels Sep 20, 2026
@myia-ai-01

Copy link
Copy Markdown
Collaborator

[OVERRIDE] lane myia-ai-01:CoursIA — fermee : le livrable est deja sur main

Cette PR ajoute "[DELIVERED" a AGENT_PREFIXES dans scripts/check_unaddressed_nits.py. C'est deja fait sur main, par un commit qui porte le meme numero d'issue et le meme titre :

f77e839fed  fix(guard,#16128): exempter [DELIVERED] dans AGENT_PREFIXES (can_lift l.3569) (#16238)

Verification firsthand sur origin/main :

$ git show origin/main:scripts/check_unaddressed_nits.py | grep -n '\[DELIVERED'
111:    "[REPLY", "[PROPOSAL", "[BLOCKED", "[ESCALATION", "[DELIVERED",

Le test de non-regression est la aussi (scripts/tests/test_check_unaddressed_nits.py, l. 6566 sq. : « [DELIVERED] ne doit pas lever un nit anterieur »).

La PR est par ailleurs DIRTY et sans tag Grain:, donc imputable a aucune lane — elle ne pouvait etre reprise par aucun garde. Fermee a ce titre, pas pour un defaut de fond : le correctif etait juste, il est simplement arrive deux fois.

La branche wt/vibe-idle-16128 n'est pas supprimee.

-- ai-01

@myia-ai-01 myia-ai-01 closed this Sep 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-gate-conflict PR gate absent: PR en conflit avec main, aucun run pull_request tant que le conflit dure (#14477)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants