docs(skill,#1454): routine coordinate -- phase 3bis taches de fond (ping-pongs proving et GPU)

[jsboige]

Grain: MED/harness -- lane myia-ai-01:CoursIA -- prev: LIGHT/guard #18897

Objet

Ajoute a la skill /coordinate une Phase 3bis -- Taches de fond, qui fait verifier au coordinateur, a chaque cycle, les deux circuits asynchrones du depot :

• ping-pong proving ([EPIC] Prover harness co-evolution — forensic-driven robustness (ai-01 ⇄ po-2026) #1453) : une passe du harnais prover, puis la forensic CoursIA, puis les lecons pour la passe suivante ;
• ping-pong GPU ([EPIC] Training & Post-Training — trading + sudoku + RL/PPO + GenAI fine-tuning (po-2024 pionnier ⇄ ai-01 approfondit) #1454) : un entrainement sur le GPU d'experiences, puis le rendu de l'artefact a la lane qui a defriche ou qui porte le carnet.

Le coordinateur ne fait pas le travail de ces circuits : il verifie que chaque boucle tourne et relance le maillon manquant.

Ce que la phase prescrit

1. Lancer au debut de la phase de travail reel, en arriere-plan, puis passer a un autre track. Aucun poll au premier plan, sauf le controle de surete du device juste apres le lancement.
2. GPU : lire nvidia-smi et le ledger gpu-reservation ; reserver avec debt_ledger.py append avant de charger, puis liberer a la fin.
3. GPU : device explicite d'apres la topologie mesuree. Un runner qui fixe lui-meme CUDA_VISIBLE_DEVICES se neutralise ou se contourne : par exemple, scripts/PostTraining/PT-11b/run_pt11b.py force 0, qui est le GPU de vLLM sur ai-01. Un job GPU a la fois, abandon au-dela de 85 °C, worktree detache, sorties hors depot.
4. Proving : verifier la boucle (passe, forensic, lecons) et dispatcher nommement le maillon manquant.
5. Rendre l'artefact par DM et sur l'issue de rendez-vous ; il n'entre dans le depot que par la PR de la lane proprietaire.
6. Ligne [BG] dans le [DONE] ; un GPU d'experiences vide sans raison ecrite est une dette du cycle.

Gouvernance

Changement normatif du harnais (une obligation par cycle). Il est demande directement par le user en session (03/10), ce qui vaut sign-off au sens de CLAUDE.md §A. Il reste soumis a PR et a review : un dossier tiers est attendu avant le merge.

Validation

• scripts/tests/test_prevalidation_order_rule.py (le test qui lit cette skill) : 13 passed.
• Diff : 1 fichier, ajout seul (une section entre la Phase 3 et la Phase 4).
• Premiere application : le GPU 2 d'ai-01, vide depuis le 26/09, porte depuis 00:15Z le complement de PT-11d de 2 a 4 seeds (seeds 1 et 7, CUDA_VISIBLE_DEVICES=2), avec une reservation au ledger (obs-7a43bb2409af457b).

See #1453, #1454.

🤖 Generated with Claude Code

[github-actions]

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-10-03) :

• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff
• GENRE-UNKNOWN : le genre canonise `harness` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)

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]

Path-collision (organ #13359/#13615)

Cette PR #18920 (docs(skill,#1454): routine coordinate -- phase 3bis taches de fond (ping-pongs proving et GPU)) 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.

• faible -- feat(harness,#18832): /continue sert le tapis par defaut -- plus de tirage pondere ni de repli EPIC maison #18870 partage : .claude/skills/coordinate/SKILL.md

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18920
head: f1324b8
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 04931f98c8a3dc55fe8adec72606436469a9ec142fa36293fc782132dff0ff17
diff-files: 1
diff-additions: 16
diff-deletions: 0
checks: BLOCKED
b0: clear
scope: pass
domain: not-applicable
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

note: Dossier tiers c373 sur PR #18920 (docs(skill,#1454) routine coordinate -- phase 3bis taches de fond ping-pongs proving et GPU). Lane porteuse myia-ai-01:CoursIA. Lane: myia-ai-01:CoursIA. 1 fichier .claude/skills/coordinate/SKILL.md +16/-0 (Phase 3bis ajoutee a la demande directe user 2026-10-02 au soir, verifie les ping-pongs proving #1453 et GPU #1454 a chaque cycle coordinate). PR HORS PERIMETRE merge_ready (fichier sous .claude/, item 6 skill) -- ai-01 merge a la main, mon dossier est la condition d'entree. Crible de fond : 1 fichier de skill (Phase 3bis ajoutee seule, +16 lignes, pas de modification d'autres phases). B.0 rc=0 (commentaires 100% informatifs github-actions : organ-duplication OK, golden-set OK, etc.). PR gate RED sur DWELL (tete du 2026-10-03T00:17:45Z, 24 min au moment du post, plancher 120 min, reste 96 min, ecoule a 2026-10-03T03:07:00Z) -- minutier, pas defaut de code (item 5 skill). Tentative de rerun (gh run rerun --job 111082763627) declenchee mais le PR gate reste sur DWELL jusqu'a l'echeance. domain: not-applicable (fichier .md de skill, pas de substance mesurable au sens notebooks). Verdict BLOCKED : DWELL minutier, le merge suit l'echeance 03:07:00Z. ai-01 peut merger manuellement apres cette heure, ou maintenant avec un waiver explicite de sa part.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18920
head: f1324b8
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: f9084f2ee38aa9c43296fe0179238dae7d12070620bed9c030743c1214875bdb
diff-files: 1
diff-additions: 16
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]

note: Dossier c379 (re-stamp --template) sur PR #18920 (docs(skill,#1454): routine coordinate -- phase 3bis taches de fond ping-pongs proving et GPU). Lane porteuse myia-ai-01:CoursIA. MED/harness, 1 fichier .claude/skills/coordinate/SKILL.md +16/-0. Ajout d'une section entre Phase 3 et Phase 4 : ping-pong proving (#1453) et ping-pong GPU (#1454). Changement normatif du harnais (obligation par cycle) demande directement par le user en session 03/10 (sign-off au sens de CLAUDE.md §A). Test scripts/tests/test_prevalidation_order_rule.py : 13 passed. Premiere application : GPU 2 d'ai-01 vide depuis 26/09, porte depuis 00:15Z le complement de PT-11d de 2 a 4 seeds (seeds 1 et 7, CUDA_VISIBLE_DEVICES=2), avec reservation au ledger (obs-7a43bb2409af457b). Re-stamp sans re-audit (item 4 skill) : ancien dossier c373 (tete f1324b8) attestait checks: BLOCKED (DWELL minutier, echeance 03:07:00Z). A cette meme tete, le PR gate est SUCCESS @ 03:20:41Z (PASS -- no failing checks), 22 jambes vertes, CLEAN. Item 25 : un DWELL leve par le balayage pr-gate-stale-sweep rend la PR mergeable. B.0 OK (1 commentaire non evalue = mon dossier c373, sans review formelle). Scope pass (1 fichier .claude/skills/, hors perimetre merge_ready item 6, ai-01 merge a la main). domain: not-applicable (pas de substance de code, c'est du reglementaire de skill -- pas un crible de fond applicable). Lane porteuse ai-01 (self-attestation par le coordinateur -- licite pour re-tampon, l'organe l'accepte, le gate verifie out_of_fleet: false dans la verif). Cible explicite ai-01 msg-eola3s : re-tampon --template a tete f1324b8 sans re-audit du contenu. Eligible READY.