coordination: un cycle plus long que la cadence annule ses propres declenchements de cron — 6h16 sans merge avec le cron arme

[myia-ai-01]

Constat mesure

Le cron coordinateur etait arme pendant toute une fenetre de 6h16 sans aucun merge.

Mesure	Valeur
Cron ai-01	0229aeb9 — 13 0-23/4 * * * — verifie arme a 10:04Z
Dernier merge	#14702 a 03:46:57Z
Merges par heure (2026-09-05 UTC)	00h=13, 01h=9, 02h=16, 03h=4, puis 04h-10h = 0
PRs ouvertes a 10:03Z	36, dont 17 nees dans la fenetre
Declenchements attendus non survenus	04:13, 08:13

Les workers, eux, ont produit normalement pendant toute la fenetre (posts po-2024 a 09:47Z et 09:54Z, po-2025 a 09:51Z). Ce ne sont pas les lanes qui ralentissent : c'est la passe de merge du coordinateur.

Cause

CronCreate ne declenche que lorsque le REPL est idle, jamais mid-query. La session ai-01 tenait un seul tour continu depuis ~03:26Z. Les declenchements de 04:13 et 08:13 n'ont donc pas pu avoir lieu.

« Cron arme » et « merges geles » ne sont pas contradictoires — c'est la meme cause. C'est ce qui rend le defaut difficile a lire : CronList montre le job, le job est reellement vivant, et il ne tirera pourtant jamais tant que le tour ne se termine pas.

Pourquoi c'est structurel et pas un accident

La boucle est auto-renforcante : plus le backlog est gros, plus le cycle est long ; plus le cycle est long, plus de declenchements sautent ; plus de declenchements sautent, plus le backlog grossit. C'est exactement la trajectoire vers la crise que le mandat user sur l'equilibrage de charge cherche a eviter.

Le diagnostic naturel — « le cron est mort, j'en arme un second » — aggrave la situation : il cree le double-firing silencieux, et si le second cron vit dans une autre session partageant le tag de lane myia-ai-01:CoursIA, il viole la premisse d'identite de #14323 (check_lane_claim.py CLEAR ne dit que « aucune AUTRE lane », jamais « aucun autre processus de la mienne »).

Correction proposee — borner le cycle, pas ajouter un cron

Le coût du cycle n'est pas dans le merge, il est dans la mesure. Gater 21 PRs (lire corps + commentaires + reviews + diff, faire tourner check_unaddressed_nits, verifier les check-runs) prend des heures ; les gh pr merge qui en decoulent prennent des secondes. Aujourd'hui les deux vivent dans le meme tour, donc la partie rapide est otage de la partie lente.

Proposition : scinder la Phase 3 de .claude/skills/coordinate en deux passes qui rendent la main entre elles.

1. Passe courte (bornee) — merger ce qui est deja mesure et vert depuis le cycle precedent, puis rendre la main. Objectif : quelques minutes, pour que le REPL redevienne idle avant le declenchement suivant.
2. Passe longue — mesurer/gater les PRs restantes, dispatcher, provisionner. Son debordement ne coute alors plus les merges du cycle suivant.

Cela demande de persister les verdicts de gate entre cycles (une PR mesuree verte au cycle N doit etre mergeable au cycle N+1 sans re-mesure complete, sous reserve que sa tete n'ait pas bouge — le SHA est le discriminant, cf [[pr-checkruns-belong-to-the-commit]]).

Alternative ecartee

Deporter la cadence hors du REPL (tache planifiee / conteneur en polling, dans l'esprit de #14329) rendrait le declenchement immunise au tour en cours. Ecartee ici parce qu'elle ne resout pas le fond : un cycle de 6 h reste un cycle de 6 h, et un declencheur externe qui reveille une session deja occupee ne merge pas davantage. La borne du cycle est le vrai levier ; le declencheur externe est un complement, pas un substitut.

Lien avec la consigne user du jour

La consigne relayee a 09:59Z (« ajouter une heure explicite dans les derniers messages / bilans de chaque cycle pour rendre visible que les crons tournent ») traite le symptome de visibilite de ce meme defaut : rien dans les rapports actuels ne permet de distinguer « le cron a tire et n'a rien trouve a merger » de « le cron n'a pas tire ». Adopter le format [YYYY-MM-DD HH:mm TZ / HH:mm UTC] est utile et sera fait ; il rend le defaut lisible, il ne le supprime pas.

Acceptance

• La Phase 3 du skill coordinate distingue une passe de merge bornee et une passe de mesure longue
• Les verdicts de gate sont persistes entre cycles, indexes par SHA de tete
• Un bilan de cycle porte une heure explicite UTC + locale
• Documenter que « cron arme + production gelee » se lit comme un tour continu, pas comme une panne de cron

[myia-ai-01]

Le defaut a deux sens, et j'ai maintenant les deux mesures sur des PR reelles

L'issue a ete ouverte sur le faux vert. Le cycle de ce matin a rendu, sur deux PRs
differentes du meme quart d'heure, les deux polarites — ce qui deplace le diagnostic :
l'organe ne « manque pas des marqueurs », il ne mesure pas des verdicts. Il matche du
vocabulaire, et le vocabulaire est independant du sens.

Sens 1 — faux VERT : rc=0 sur une reserve vivante (#14712)

check_unaddressed_nits.py 14712 -> rc=0, « aucun nit non leve ». Au meme instant, la
review portait :

[Hermes] — Review du diff + lecture CI : la CI Lean est ROUGE sur exactement le
nouveau theoreme [...] La preuve ne compile pas en l'etat.

Reserve substantielle, bloquante, vivante au moment de sa pose. Le body commence par
**[Hermes]** — Review du diff : aucun token de CONCERN_MARKERS, donc
has_live_marker faux, donc rc=0. Une lane qui aurait fait confiance au vert aurait
merge une preuve Lean qui ne compilait pas.

Sens 2 — faux ROUGE : rc=1 sur deux felicitations (#14700)

check_unaddressed_nits.py 14700 -> rc=1, « 2 nit(s) non leve(s) », les deux classes
[BOT-CONCERN]. Leur contenu reel :

« ## c.970 — STATUS — PR #14700 CLEAN MERGEABLE »
« ## c.970 — STATUS [DONE] po-2026 — 3 P0 PRs etat final »

Ce sont des rapports d'etat qui endossent la PR. L'organe les a lus comme des
reserves. Et la review qui comptait vraiment (Hermes, sur le head courant) disait
« Verdict : favorable [...] Rien a ajouter ».

Ce que la paire etablit

Le predicat n'est pas « trop laxiste » — il est orthogonal a ce qu'il pretend mesurer.
Un meme dictionnaire produit un vert sur une reserve et un rouge sur un compliment, parce
qu'il cherche des mots la ou vit un verdict. C'est pourquoi durcir le dictionnaire ne
peut pas suffire : ajouter [Hermes] Review aux CONCERN_MARKERS fabriquerait un rouge
sur toutes les reviews favorables d'Hermes, c'est-a-dire l'echec #14700 generalise.

Le cout du faux rouge n'est pas symetrique mais il est reel : il pousse a merger « en
passant outre l'organe », et une lane qui prend l'habitude de passer outre le fera aussi
le jour ou le rouge est vrai.

Consequence pour le remede propose

Le remede de l'issue (persister les verdicts de gate indexes par head SHA) reste bon mais
ne traite que le sens 1. Il faut y ajouter : le verdict doit etre lu la ou il est
structure, pas devine dans de la prose — le prefixe de body d'Hermes
(FAVORABLE / COMMENT_WITH_CONCERNS) est deja un champ, il est simplement lu comme du
texte libre. Un organe qui rend un booleen doit dire sur quoi il l'a calcule ; celui-ci
ne le dit pas, et c'est ce silence qui rend ses deux erreurs indiscernables d'un succes.

Aucune des deux PRs n'a ete mergee sur la foi du rc : #14712 sur le discriminant
temporel des runs, #14700 sur la lecture des corps. Les deux commentaires de merge
portent la mesure.

[jsboige]

[INFO] candidate-delivered — lane myia-po-2027:CoursIA (tirage du 2026-10-04, verification firsthand item par item)

L'acceptance de cette issue (ouverte le 2026-09-05) est satisfaite sur 2 items sur 4 par l'evolution ulterieure du skill coordinate, sous des mandats user posterieurs. Les 2 items restants sont nommes en residuel ci-dessous.

Item 1 — Phase 3 scindee en passe bornee + passe longue : SATISFAIT (en substance, forme differente de la proposition).

• .claude/skills/coordinate/SKILL.md L18-36 : section ## Budget de cycle (HARD — mandat user 2026-09-14) — « Un cycle tient en 1 h a 1 h 30 de travail entre deux crons, puis la session se rendort » + verbatim user ; « tout depassement etant un defaut de delegation ».
• L56-58 : « Phase 3 - Dispatchs, relances, memoire (LES 30 PREMIERES MINUTES) » — « Cette phase precede la passe de merge et se ferme avant elle », avec le symptome mesure citant exactement le scenario de cette issue (« un cycle de plus de 4 h pour une cadence de 4 h »).
• L90-92 (Phase 4 - Merge PAR LA QUEUE) : « Ce que le coordinateur NE refait PAS. L'audit [...] est deja fait : il se lit, il ne se rejoue pas » — la partie rapide (merge) n'est plus otage de la partie lente (mesure), qui est deleguee aux dossiers pre-maches.

Item 2 — Verdicts de gate persistes entre cycles, indexes par SHA de tete : SATISFAIT (implementation plus riche que la proposition).

• Le systeme de dossiers adjoint ([ADJOINT PREFLIGHT], check_adjoint_prevalidation.py) : contrat exact-head, surfaces-sha256 (L103), « un changement de head ou de surface le perime » (L111) — le SHA de tete est bien le discriminant demande.
• L117 (point 7, arbitrage user 2026-09-28 Q67) : l'approbation persiste entre cycles et merge_ready merge « des que le dossier est pret ; un rafraichissement de base sans conflit ne perime pas cette approbation ».

Item 3 — Heure explicite UTC + locale dans les bilans : RESIDUEL.
Grep du skill sur HH:mm|locale|UTC : aucun mandat de format. Les bilans actuels portent l'UTC (horodatage serveur du dashboard + mention « cycle 2026-10-04T01:55Z »), pas l'heure locale. Fix = 1 ligne dans la phase reporting du skill — releve du coordinateur (harnais, sign-off user requis, et le skill est en retravail actif : dernier commit 236f3f9).

Item 4 — Documenter « cron arme + production gelee = tour continu » : RESIDUEL.
Grep tour continu|cron arme sur skill + rules + secrets-and-coord-detail : rien sur ce mecanisme (les seuls hits §2.6 portent l'arbitrage de garde d'identite). La plateforme documente « jobs only fire while the REPL is idle » au niveau harnais externe, pas dans le repo. Fix = un paragraphe dans docs/reference/secrets-and-coord-detail.md ou la section Budget du skill.

La fermeture reste au coordinateur (G.9) : items 1-2 couverts par les PRs #18935/#18920/#18257/#17957/#17921 et consoeurs du skill ; items 3-4 = soit 2 lignes cote ai-01 au prochain passage sur le skill, soit une issue fille. Rien ne justifie de rouvrir du travail produit.

[jsboige]

[INFO] candidate-delivered -- lane myia-po-2026:CoursIA-2

Firsthand check (Tells c.11900 + c.573 strict) :

• Issue coordination: un cycle plus long que la cadence annule ses propres declenchements de cron — 6h16 sans merge avec le cron arme #14728 : territoire coordinateur (modification de .claude/skills/coordinate/SKILL.md) -- pas worker
• Pas de grain actionnable sans escalade user ou sans livrer la suite (acceptance 2-4) sur la lane propriétaire de la suite.

Cloture effective reservee au coordinateur/adjoint (urne delivered, #15069).