@sylad/cadence 1.35.0 → 1.37.0

package/dist/orchestrate/command.js

@@ -27,12 +27,15 @@ import { costlyHypotheses, specScreen, specText } from './spec.js';
 import { fichesDuDossier } from '../spec.js';
 import { candidates, parsePriority, parseUntil, drawSettingsReport, readPriority, stopReason } from './continue.js';
 import { precheckNothingToFind, Budget, ESCALATION_RESERVE, DROPPED, STOP_REQUESTED, MAX_PASSES, REVIEW_RESERVE, budgetStep, heldForEscalation, lotSpent, MAX_PASSES_CONVERGING, briefName, countInterrupted, planNoteHandBack, leadReviewedHandBack, HYPOTHESES_HANDBACK, handBackDroppedQuestions, needsPrecheck, workDir } from './cycle.js';
-import { canInstallPrePush, gitProcessRunning, indexLockRefusal, installPrePush, keepGateGuard, longDuration, removePrePush, snapshot } from './guard.js';
+import { installPrePush, keepGateGuard, longDuration, removePrePush } from './guard.js';
 import { buildArgs, buildLocalArgs, killSessions, MODEL_ALIASES, mcpServersFor, readAgents, realClaude, enabledPlugins, settingsFiles } from './launch.js';
 import { activeLock, REPO_LOCK, releaseLock, takeLock } from './lock.js';
 import { groupLots, runPool } from './pool.js';
+import { AddFeed, addNotAlone, addToLive, openInRepo, projectName } from './ajout.js';
+import { repoRefusals, trackedDirty } from './depot.js';
+import { removeWorktree } from './retrait.js';
 import { repoBranch } from './integrate.js';
-import { baseBranchOf, keptLines, keptTrees, lotBranch, lotTreeDir, planFileSet, recoverTree, removeTree } from './worktree.js';
+import { baseBranchOf, keptLines, lotBranch, lotTreeDir, planFileSet, recoverTree } from './worktree.js';
 import { agentOf, schemaFor } from './schemas.js';
 import { resolveLotRepos } from '../repos.js';
 import { excludeState, lotFinished, lotKey, lotRepoPaths, lotSlug, neighbourDirs, newLot, RunStore } from './state.js';
@@ -42,55 +45,8 @@ import { PACKAGE_ROOT, RESERVED_ENV, SnapshotRefusal, isSnapshotChild, resolveMo
 const REPO_WAIT_MS = 3 * 60 * 60_000;
 const REPO_WAIT_POLL_MS = 5_000;
 export const DEFAULT_BUDGET = 2_000_000;
-/**
- * Budget d'un lot ordinaire (L78, L128, recalibré L194). Mesuré sur le TOTAL de chaque lot dans `.cadence/runs` (toutes les vagues
- * où il est passé, 250 lots, 11-10), rangé par estimate : jusqu'à 0,5 j p90 374 k (152 lots), de 0,5 à 1 j p90 732 k (88 lots, max
- * 1,09 M), au-delà d'un jour p90 1,14 M pour les 10 lots de 1,25 à 2 j (570 k par jour d'estimate), max 1,7 M (L188). Le plafond
- * de L78 (400 k par jour) rendait au lead, au deuxième tour, un lot de 1 j (L188 : 483 k puis 495 k).
- * Plancher relevé de 450 k à 540 k (L218) avec la réserve de la passe fix (155 k) : 14 k + 282 k + 80 k + 155 k = 531 k arrondis, la marge avant refus du fix reste 385 k.
- * Relevé à 600 k (L247), mesuré sur 16–22-10 : 145 lots à 540 k, p90 451 k, 3 au-dessus (tous maritime-atlas : 12 lots, p90 556 k, max 609 k) ; la marge
- * avant refus du fix passe à 445 k. Les lots à 750 k (60 lots, p90 571 k, 0 dépassement) et à 1,3 M (20 lots, p90 904 k, 1 dépassement) tiennent : inchangés.
- * Remesuré sur 17–23-10 (L280, `docs/perf/recalage-2026-10-24.md`) : 0 lot sur 309 au-dessus de son budget, p90 452 k à 600 k, 563 k à 750 k, 875 k à 1,3 M : tous inchangés, avec au moins 10 % de marge.
- */
-const LOT_BUDGET_FLOOR = 600_000;
-/** Lot de plus de 0,5 j et d'au plus 1 j : p90 mesuré du total, 732 k arrondis à 750 k. */
-const LOT_BUDGET_ONE_DAY = 750_000;
-/** Tokens par jour d'estimate au-delà d'un jour : p90 1,14 M pour 2 j. */
-const LOT_BUDGET_PER_DAY = 570_000;
-/**
- * Total d'un lot à `screen:` (L194), étapes spec, maquette et accept comprises : p90 1,28 M sur 5 lots (L113 1,12 M, L25 1,28 M, L50 877 k,
- * L85 758 k, L43 238 k), arrondi à 1,3 M. Remplace l'allocation de L191 (+350 k au budget d'estimate), qui ne payait ni l'UX de
- * conformité ni les passes de correction.
- */
-const SCREEN_LOT_BUDGET = 1_300_000;
-/**
- * Allocation d'un lot à fiche `spec: true` (L188/L191), en plus du budget dérivé de l'estimate : sessions spec, fiche et accept hors de
- * l'estimate d'écriture. Relevée de 350 k à 450 k (L218) : la chaîne avant implement du lot spec warhammer L120 a coûté 388 k (350 k : pire cas
- * mesuré des étapes d'un lot à écran, ol L113 : 349 k) ; cadence L217 n'en a pris que 176 k.
- */
-export const SPEC_STAGE_ALLOCATION = 450_000;
-/** Base mesurée d'un budget, pour `--dry-run` : l'estimate (et l'étape spec) d'où il sort. */
-export function lotBudgetBasis(estimate, stage, escalationModel) {
-    const base = ordinaryBasis(estimate, stage);
-    return escalationModel ? `${base}, plus ${ESCALATION_RESERVE} réservés à l'escalade ${escalationModel}` : base;
-}
-function ordinaryBasis(estimate, stage) {
-    if (stage === 'screen' && lotBudget(estimate, stage) === SCREEN_LOT_BUDGET)
-        return "p90 mesuré du total d'un lot à écran, étapes spec, maquette et accept comprises";
-    const ordinary = lotBudget(estimate);
-    const basis = estimate <= 0.5 ? "plancher d'un lot jusqu'à 0,5 j" : estimate <= 1 ? "p90 mesuré du total d'un lot de 0,5 à 1 j" : Math.round(estimate * LOT_BUDGET_PER_DAY) <= LOT_BUDGET_ONE_DAY ? `plancher de ${LOT_BUDGET_ONE_DAY} au-delà d'un jour, l'estimate × ${LOT_BUDGET_PER_DAY} ne le dépasse pas encore` : `${LOT_BUDGET_PER_DAY} par jour, p90 mesuré du total au-delà d'un jour`;
-    if (!stage)
-        return basis;
-    return `${ordinary} dérivés de l'estimate (${basis}), plus ${SPEC_STAGE_ALLOCATION} pour les étapes spec, ${stage === 'screen' ? 'maquette' : 'fiche'} et accept`;
-}
-/** Budget d'un lot, dérivé de son estimate et de sa catégorie : empêche quelques lots d'avaler le budget de la vague au détriment des autres. Un lot à `screen:` vaut le total mesuré d'un lot à écran (L194) ; un lot à `spec: true` y ajoute l'allocation de son étape (L191) ; `escalation` (orchestrate.escalation déclarée) y ajoute la part de l'escalade (L349). */
-export const lotBudget = (estimate, stage, escalation = false) => lotBaseBudget(estimate, stage) + (escalation ? ESCALATION_RESERVE : 0);
-const lotBaseBudget = (estimate, stage) => {
-    const ordinary = estimate <= 0.5 ? LOT_BUDGET_FLOOR : Math.max(LOT_BUDGET_ONE_DAY, Math.round(estimate * LOT_BUDGET_PER_DAY));
-    if (stage === 'screen')
-        return Math.max(SCREEN_LOT_BUDGET, ordinary + SPEC_STAGE_ALLOCATION);
-    return ordinary + (stage === 'spec' ? SPEC_STAGE_ALLOCATION : 0);
-};
+export { lotBudget, lotBudgetBasis, SPEC_STAGE_ALLOCATION } from './lot-budget.js';
+import { lotBudget, lotBudgetBasis } from './lot-budget.js';
 /** Sessions simultanées, toutes vagues confondues (`--max-sessions`, ou CADENCE_MAX_SESSIONS). */
 export const DEFAULT_MAX_SESSIONS = 2;
 /** `1500000`, `1.5M`, `800k`. */
@@ -137,7 +93,7 @@ function lotBudgetArg(text) {
     return { project: target.project, lot: target.lot, raise, text: m[2] };
 }
 export function parseOrchestrateArgs(argv) {
-    const a = { lots: [], lotBudgets: [], dryRun: false, waits: false, watch: false, continue: false, answers: [], drop: [], stopAfterCurrent: false, integrate: [], abandonCommits: false };
+    const a = { lots: [], lotBudgets: [], dryRun: false, waits: false, watch: false, continue: false, answers: [], drop: [], stopAfterCurrent: false, add: [], integrate: [], abandonCommits: false };
     const optional = (i) => (argv[i + 1] !== undefined && !argv[i + 1].startsWith('-') && !LOT_LIKE.test(argv[i + 1]) ? argv[i + 1] : undefined);
     for (let i = 0; i < argv.length; i++) {
         const t = argv[i];
@@ -191,6 +147,8 @@ export function parseOrchestrateArgs(argv) {
             a.drop.push(lotArg(value(t)));
         else if (t === '--stop-after-current')
             a.stopAfterCurrent = true;
+        else if (t === '--add')
+            a.add.push(lotArg(value(t)));
         else if (t === '--integrate')
             a.integrate.push(lotArg(value(t)));
         else if (t === '--replay')
@@ -230,12 +188,12 @@ export function projectEnv(repo) {
     return { config: readOrchestrateConfig(configPath), loadPlan, configPath };
 }
 const isProject = (dir) => existsSync(join(dir, PLAN_DEFAULT)) || existsSync(join(dir, PLAN_LEGACY)) || (existsSync(join(dir, 'cadence.yaml')) && /^plan\s*:/m.test(readFileSync(join(dir, 'cadence.yaml'), 'utf8')));
-function resolveTargets(args, io, refusals) {
+export function resolveTargets(args, io, refusals) {
     const out = [];
     const seen = new Set();
     for (const l of args.lots) {
         const projectDir = l.project ? resolve(io.cwd, l.project) : io.cwd;
-        const project = l.project ?? basename(io.cwd);
+        const project = projectName(io.cwd, l.project); // L421 : `.:L2` depuis le dépôt et `L2` désignent le même projet que les lots de la vague
         const key = lotKey(project, l.lot);
         if (seen.has(key)) {
             refusals.push(`${key} : lot donné deux fois`);
@@ -259,9 +217,6 @@ function resolveTargets(args, io, refusals) {
     }
     return out;
 }
-async function trackedDirty(repo) {
-    return (await snapshot(repo, { remote: false })).tracked.map((l) => l.slice(3));
-}
 /** `--effort` date de claude 2.1.284 (L137). Une version illisible n'est pas refusée. */
 function olderThanEffort(version) {
     const m = /(\d+)\.(\d+)\.(\d+)/.exec(version);
@@ -275,7 +230,7 @@ function notLoggedIn(deps) {
     return deps.claudeAuth?.()?.loggedIn === false ? "claude n'est pas connecté : lancer `claude` puis /login (état : `claude auth status`)" : null;
 }
 /** Préconditions : tout ce qui peut être refusé l'est ici, avant d'agir, sans verrou ni écriture. */
-async function preflight(args, targets, io, deps, launch, opts = {}) {
+export async function preflight(args, targets, io, deps, launch, opts = {}) {
     const refusals = [];
     if (io.env.CADENCE_ORCHESTRATED)
         refusals.push(`orchestrate ne se lance pas depuis une session orchestrée (vague ${io.env.CADENCE_ORCHESTRATED})`);
@@ -290,8 +245,16 @@ async function preflight(args, targets, io, deps, launch, opts = {}) {
     const lots = [];
     const repoChecked = new Set();
     const byProject = new Map();
+    // L421 : les lots déjà portés par la vague qui reçoit l'ajout comptent comme « plus tôt dans la vague » pour les dépendances.
+    for (const l of opts.addTo?.lots ?? [])
+        byProject.set(l.project, [...(byProject.get(l.project) ?? []), l.lot]);
     for (const t of targets) {
         const key = lotKey(t.project, t.lot);
+        const already = opts.addTo?.lots.find((l) => l.project === t.project && l.lot === t.lot);
+        if (already) {
+            refusals.push(`${key} : lot déjà ${already.queued ? "en file d'ajout dans" : 'dans'} la vague ${opts.addTo.wave}`);
+            continue;
+        }
         let env;
         let plan;
         try {
@@ -345,18 +308,7 @@ async function preflight(args, targets, io, deps, launch, opts = {}) {
             if (repoChecked.has(repo))
                 continue;
             repoChecked.add(repo);
-            const dirty = await trackedDirty(repo);
-            if (dirty.length)
-                refusals.push(`${basename(repo)} : arbre sale, ${dirty.length} fichier(s) suivi(s) modifié(s) : ${dirty.join(', ')}`);
-            const locked = indexLockRefusal(repo, io.now(), deps.gitRunning ?? gitProcessRunning);
-            if (locked)
-                refusals.push(`${basename(repo)} : ${locked}`);
-            const hook = canInstallPrePush(repo);
-            if (hook)
-                refusals.push(`${basename(repo)} : ${hook}`);
-            const busy = activeLock(join(sharedStateDir(repo), REPO_LOCK));
-            if (busy && !opts.resume)
-                refusals.push(`${basename(repo)} : une orchestration y est déjà en cours (${busy.wave}, pid ${busy.pid})`);
+            refusals.push(...(await repoRefusals(repo, t, { io, deps, launch }, opts)));
         }
         const node = resolveNode(t.repo, nvmVersionsDir(io.env));
         if (node.kind === 'missing') {
@@ -670,39 +622,6 @@ function waveExists(wave, io) {
     io.err(`orchestrate : --wave ${wave} : cette vague existe déjà`);
     return 2;
 }
-/**
- * `--remove-worktree projet:lot` (L279, R20) : seule commande qui retire un worktree conservé. Refus (code 2, rien retiré) pour le worktree d'une vague vivante (même avec `--abandon-commits`), et tant qu'un commit du lot n'est ni
- * intégré à la branche du dépôt ni confirmé abandonné par `--abandon-commits` ; un worktree entièrement intégré se retire sans option. `--wave` désigne la vague
- * quand plusieurs ont laissé un worktree pour ce lot.
- */
-function removeWorktree(args, io) {
-    const t = args.removeWorktree;
-    const key = `${t.project ?? basename(io.cwd)}:${t.lot}`;
-    const projectDir = t.project ? resolve(io.cwd, t.project) : io.cwd;
-    const repo = existsSync(projectDir) ? gitRoot(projectDir) : null;
-    const kept = repo ? keptTrees(repo, { includeActive: true }).filter((k) => k.lot === key && (args.wave === undefined || k.wave === args.wave)) : [];
-    if (!repo || kept.length === 0) {
-        io.err(`orchestrate : ${key} : aucun worktree conservé`);
-        return 2;
-    }
-    if (kept.length > 1) {
-        io.err(`orchestrate : ${key} : plusieurs worktrees conservés (vagues ${kept.map((k) => k.wave).join(', ')}) : précisez --wave`);
-        return 2;
-    }
-    const k = kept[0];
-    if (k.active) {
-        // une vague vivante joue encore ce lot (ses sessions travaillent dans ce dossier) : refus sans rien retirer, même avec --abandon-commits
-        io.err(`orchestrate : ${key} : la vague ${k.wave} est vivante et joue ce lot : worktree non retirable (arrêter la vague d'abord)`);
-        return 2;
-    }
-    const gone = removeTree({ repo, dir: k.dir ?? '', branch: k.branch, base: k.base }, { abandon: args.abandonCommits });
-    if (!gone.ok) {
-        io.err(gone.dirty ? `orchestrate : ${key} : fichiers suivis modifiés dans le worktree (${gone.dirty.join(', ')}), --abandon-commits pour les abandonner` : gone.untracked ? `orchestrate : ${key} : fichiers non suivis dans le worktree (${gone.untracked.join(', ')}), --abandon-commits pour les abandonner` : `orchestrate : ${key} : ${gone.unintegrated} commit(s) non intégré(s), --abandon-commits pour les abandonner`);
-        return 2;
-    }
-    io.out(`orchestrate : ${key} : worktree retiré (${gone.abandoned} commit(s) abandonné(s))`);
-    return 0;
-}
 /** L382 : `claude auth status` peut durer jusqu'à 20 s ; en --continue, preflight() le relancerait pour chaque lot candidat de chaque tour. Une seule lecture par lancement (une vague). */
 function onceAuth(deps) {
     const read = deps.claudeAuth;
@@ -711,11 +630,47 @@ function onceAuth(deps) {
     let cached;
     return { ...deps, claudeAuth: () => (cached ??= { value: read() }).value };
 }
+/** `--status` (L395) : le tableau des vagues vivantes et de la vague suivie, une fois ou rafraîchi avec `--watch` jusqu'à ce que plus rien ne tourne. */
+async function statusCommand(args, io, deps, launch) {
+    maxSessions(args, io); // une valeur invalide est refusée ici aussi
+    const view = () => statusView(args, launch, configuredCap(io.env, args.maxSessions), io.now());
+    if (!args.watch) {
+        const { live, table } = view();
+        printStatus(io, live, table); // sans identifiant (pas de tableau) : les vagues vivantes suffisent
+        return 0;
+    }
+    // --watch : le même tableau, rafraîchi ; il s'arrête seul quand plus aucune vague ne tourne (le dernier rendu reste affiché)
+    const sleep = deps.watchSleep ?? ((ms) => new Promise((res) => setTimeout(res, ms)));
+    const seconds = args.interval ?? DEFAULT_WATCH_INTERVAL;
+    for (;;) {
+        const { live, table, running } = view();
+        io.out(CLEAR_SCREEN);
+        printStatus(io, live, table);
+        if (!running)
+            return 0;
+        io.out('');
+        io.out(`rafraîchi toutes les ${seconds} s — Ctrl-C pour quitter`);
+        await sleep(seconds * 1000);
+    }
+}
+/** Les vagues vivantes, puis (s'il y en a un) le tableau de la vague suivie, séparés d'une ligne vide. */
+function printStatus(io, live, table) {
+    for (const line of live)
+        io.out(line);
+    if (!table)
+        return;
+    if (live.length)
+        io.out('');
+    for (const line of table)
+        io.out(line);
+}
 /** Point d'entrée de `cadence orchestrate`. 0 prêts · 1 rendus au lead · 2 refus avant d'agir · 3 suspendue (budget, quota). */
 export async function orchestrate(argv, io, deps) {
     deps = onceAuth(deps);
     const args = parseOrchestrateArgs(argv);
     const launch = io.cwd;
+    if (args.add.length && addNotAlone(args))
+        throw new RafError('--add ne se combine avec aucune autre action (seul --wave désigne la vague qui reçoit les lots)');
     const today = io.env.RAF_TODAY && isDay(io.env.RAF_TODAY) ? io.env.RAF_TODAY : toDay(io.now());
     if ((args.until !== undefined || args.priority !== undefined) && !args.continue)
         throw new RafError('--until et --priority s\'utilisent avec --continue');
@@ -767,50 +722,20 @@ export async function orchestrate(argv, io, deps) {
             io.out(line);
         return 0;
     }
-    if (args.status !== undefined) {
-        maxSessions(args, io); // une valeur invalide est refusée ici aussi
-        if (!args.watch) {
-            const { live, table } = statusView(args, launch, configuredCap(io.env, args.maxSessions), io.now());
-            for (const line of live)
-                io.out(line);
-            if (!table)
-                return 0; // sans identifiant : les vagues vivantes suffisent
-            if (live.length)
-                io.out('');
-            for (const line of table)
-                io.out(line);
-            return 0;
-        }
-        // --watch : le même tableau, rafraîchi ; il s'arrête seul quand plus aucune vague ne tourne (le dernier rendu reste affiché)
-        const sleep = deps.watchSleep ?? ((ms) => new Promise((res) => setTimeout(res, ms)));
-        for (;;) {
-            const { live, table, running } = statusView(args, launch, configuredCap(io.env, args.maxSessions), io.now());
-            io.out(CLEAR_SCREEN);
-            for (const line of live)
-                io.out(line);
-            if (table) {
-                if (live.length)
-                    io.out('');
-                for (const line of table)
-                    io.out(line);
-            }
-            if (!running)
-                return 0;
-            io.out('');
-            io.out(`rafraîchi toutes les ${args.interval ?? DEFAULT_WATCH_INTERVAL} s — Ctrl-C pour quitter`);
-            await sleep((args.interval ?? DEFAULT_WATCH_INTERVAL) * 1000);
-        }
-    }
+    if (args.status !== undefined)
+        return statusCommand(args, io, deps, launch);
     if (args.removeWorktree)
         return removeWorktree(args, io);
     if (args.resume !== undefined)
         return resume(args, argv, io, deps, launch, today);
+    if (args.add.length)
+        return addOnlyLive(args, io, deps, launch);
     if (args.drop.length || args.stopAfterCurrent)
         return control(args, io);
     if (args.answers.length)
         return answerOnly(args, io);
     if (args.lots.length === 0 && !args.continue)
-        throw new RafError('usage : cadence orchestrate <projet>:<lot>… [--budget 2M] [--max-sessions 2] [--dry-run] [--continue [--until 18:00] [--priority a,b]] | --waits [--since AAAA-MM-JJ] | --status [vague] [--detail projet:lot | --watch [--interval 10]] | --resume [vague] [--answer projet:lot "réponse"] [--integrate projet:lot] [--replay projet:lot] | --drop projet:lot | --stop-after-current | --remove-worktree projet:lot [--abandon-commits]');
+        throw new RafError('usage : cadence orchestrate <projet>:<lot>… [--budget 2M] [--max-sessions 2] [--dry-run] [--continue [--until 18:00] [--priority a,b]] | --waits [--since AAAA-MM-JJ] | --status [vague] [--detail projet:lot | --watch [--interval 10]] | --resume [vague] [--answer projet:lot "réponse"] [--integrate projet:lot] [--replay projet:lot] | --add projet:lot [--wave vague] | --drop projet:lot | --stop-after-current | --remove-worktree projet:lot [--abandon-commits]');
     const refusals = [];
     const targets = resolveTargets(args, io, refusals);
     const pre = await preflight(args, targets, io, deps, launch);
@@ -1029,6 +954,8 @@ async function continueRounds(first, wave, all, store, io, deps, today, args, la
     const cap = maxSessions(args, io);
     let code = first;
     for (;;) {
+        for (const l of all)
+            exclude.add(lotKey(l.project, l.lot)); // L421 : les lots ajoutés à la main pendant la vague ne sont pas tirés une seconde fois
         const questions = all.filter((l) => l.status === 'question').length;
         const remaining = wave.status === 'suspended-budget' ? 0 : wave.budget - wave.consumed;
         const why = stopReason({ now: io.now(), until: args.untilAt, quotaHit: wave.status === 'suspended-quota', questions, streak: handedBackStreak(all), interrupted: wave.status === 'interrupted' && questions === 0, stopRequested: store.control().stopAfterCurrent, remaining });
@@ -1075,6 +1002,8 @@ function planTrees(ctxs, store, wave, log) {
         if (why)
             log(`orchestrate : ${basename(repo)} : worktrees demandés mais ${why} : lots joués à la suite`);
         for (const c of group) {
+            if (c.tree)
+                continue; // L421 : un lot ajouté en cours de vague replanifie son groupe ; les arbres déjà posés (et leur état actif) ne sont pas refaits
             const lotBr = lotBranch(wave, c.lot.project, c.lot.lot);
             // Chemin de reprise d'un lot rendu hors intégration : sa branche d'une vague passée devient celle de cette vague (recoverTree), puis se retrouve comme une reprise (R11).
             const dir = lotTreeDir(store.dir, c.lot.project, c.lot.lot, repo);
@@ -1240,6 +1169,22 @@ async function execute(wave, lots, store, io, deps, today, cap, all = lots) {
     catch {
         // registre illisible : le décompte des créneaux libres reste celui des dépôts
     }
+    const adds = new AddFeed({
+        store, wave, wctx, io, deps, launch, ctxs, all, lots, held, freed, repos, freeRepo, saveWave, checks: LAUNCH_CHECKS,
+        stopCause: () => (wctx.incident ? 'incident' : wctx.quota.hit ? "limite d'usage atteinte" : budget.exhausted ? 'budget de la vague épuisé' : store.control().stopAfterCurrent ? "la vague s'arrête" : null),
+        budgetLeft: () => budget.limit - budget.consumed,
+        planState: (c) => {
+            try {
+                const lot = projectEnv(c.lot.repo).loadPlan().lots().find((l) => l.id === c.lot.lot);
+                return !lot ? 'lot inconnu' : !isOpen(lot.status) ? `le lot est ${lot.status}` : null;
+            }
+            catch (e) {
+                return e.message;
+            }
+        },
+        announce: () => updateWaveReposSafe(home, repos.filter((x) => !freed.has(x)), lanes()),
+        build: (t, known) => buildAdd(t, known, { wave: wave.id, ctxs, wctx, store, io, deps, launch }),
+    });
     // Ctrl-C, SIGTERM : les sessions sont tuées en bloc, les étapes marquées interrompues, les verrous et hooks libérés.
     const forget = onTermination(async () => {
         killSessions();
@@ -1293,7 +1238,7 @@ async function execute(wave, lots, store, io, deps, today, cap, all = lots) {
         }, (lots) => lots.every((c) => c.tree), {
             pollMs: deps.slotPollMs ?? ANSWER_POLL_MS,
             // L407 : les réponses déposées par `--answer` pendant la vague sont prises entre deux étapes ; un lot qui n'est plus en question ne rejoue rien.
-            take: (canRun) => {
+            take: async (canRun) => {
                 const taken = [];
                 for (const e of store.answerQueue()) {
                     const c = ctxs.find((x) => lotKey(x.lot.project, x.lot.lot) === e.lot);
@@ -1322,9 +1267,11 @@ async function execute(wave, lots, store, io, deps, today, cap, all = lots) {
                         // registre illisible : le décompte reste celui du dernier écrit
                     }
                 }
-                return taken;
+                return [...taken, ...(await adds.take(canRun))];
             },
         });
+        // L421 : un ajout encore en file quand plus rien ne joue ne sera plus lu : écarté et dit.
+        adds.drain('la vague a fini de jouer');
         handBackDroppedQuestions(ctxs); // un lot en question retiré pendant la vague : rendu avant de fixer le statut de la vague
     }
     finally {
@@ -1384,6 +1331,37 @@ function answerLive(args, io, store) {
     }
     return 0;
 }
+const LAUNCH_CHECKS = { resolveTargets, preflight: (targets, run, addTo) => preflight({ dryRun: false }, targets, run.io, run.deps, run.launch, { addTo }) };
+/** `--add` (L421) : la vague vivante de ce dossier reçoit les lots (le travail est dans `ajout.ts`). */
+async function addOnlyLive(args, io, deps, launch) {
+    const store = liveStore('--add', args, io);
+    return typeof store === 'number' ? store : addToLive(args, { io, deps, launch }, store, LAUNCH_CHECKS);
+}
+/**
+ * Le contexte d'un lot ajouté en cours de vague (L421) : le contrôle préalable d'un lot de lancement (les lots de la vague comptent pour les dépendances), le lien du Node,
+ * puis un worktree seulement si tous les lots encore à jouer de son dépôt y sont aussi ; sinon il attend la fin de ceux qui jouent dans l'arbre du dépôt.
+ */
+async function buildAdd(t, known, w) {
+    const pre = await LAUNCH_CHECKS.preflight([t], w, { wave: w.wave, lots: known });
+    const lot = pre.lots[0];
+    if (pre.refusals.length || !lot)
+        return { refusals: pre.refusals };
+    if (lot.node)
+        lot.node.link = (w.deps.linkNode ?? linkNodeBin)(w.store.dir, lot.node.version, lot.node.bin);
+    const ctx = contexts([lot], [projectEnv(lot.repo)], w.wctx)[0];
+    const open = openInRepo(w.ctxs, ctx);
+    planTrees(open.every((o) => o.tree) ? [...open, ctx] : [ctx], w.store, w.wave, w.wctx.log);
+    return { ctx };
+}
+/** Le registre des vagues vivantes : dépôts tenus et créneaux occupés ; illisible, le décompte reste celui du dernier écrit. */
+function updateWaveReposSafe(home, repos, lanes) {
+    try {
+        updateWaveRepos(home, process.pid, repos, lanes);
+    }
+    catch {
+        // registre illisible : le décompte reste celui du dernier écrit
+    }
+}
 /** La vague vivante, pour `--answer` seul (sans --resume) : la même recherche que `--drop`. */
 function answerOnly(args, io) {
     if (args.drop.length || args.stopAfterCurrent || args.budget !== undefined || args.dryRun || args.continue || args.lots.length)

package/dist/orchestrate/cycle.js

@@ -10,7 +10,7 @@ import { planLoader, readDocsConfig, readPlanConfig } from '../config.js';
 import { PLAN_ACTIONS, leadAnswerMessage, planCommitMessage } from '../plan-commit.js';
 import { articleRepoDir, articlesBrief, docSyncBrief, docSyncGaps, filesOf, gapMessage } from '../docsync.js';
 import { testGateMissing } from '../testgate.js';
-import { citesPriorWork, precheckNothingToFind } from './precheck.js';
+import { citesPriorWork, keepPrecheckReading, localYesNote, precheckNothingToFind } from './precheck.js';
 import { PROBE_FAILED, PROBE_RESERVE, probeStep, probeVars, scheduleProbe } from './probe.js';
 import { changedFiles, dirtyPaths, gitCommonDir, isAncestor, readCommits, resolveCommit, restoreWorktree, tryGit } from '../git.js';
 import { blockingLots, gitCommitsIn } from './table.js';
@@ -24,7 +24,7 @@ import { TEST_WORKERS_ENV, testWorkersText } from './workers.js';
 import { baselineCandidates, gateLabel, gateReplayable, gateUnnamed, redAloneGate, redCandidates, replayGate, runGate } from './gate-parts.js';
 import { withPlace } from './gate-place.js';
 import { APP_TIMEOUT_S, startApp } from './app.js';
-import { capturesText, gateText, headline, integrationText, localReading, newsText, objective, renderBrief, reposText, shotsText, TEMPLATES_DIR, tiersText, tmpText } from './briefs.js';
+import { capturesText, gateText, headline, integrationText, localReading, precheckBrief, newsText, objective, renderBrief, reposText, shotsText, TEMPLATES_DIR, tiersText, tmpText } from './briefs.js';
 import { SlotAbandoned } from './registry.js';
 import { journalTokens, peakContext, mcpServersFor, playwrightDir, runSession, trackGroup, writeMcpConfig, enabledPlugins, settingsFiles } from './launch.js';
 import { cleanPlaywrightOutput, pushed, remoteAdvances, snapshot } from './guard.js';
@@ -37,11 +37,12 @@ import { avalFicheText, ficheContracts, ficheRules, hasScreenPart } from './aval
 import { ficheReviewText, reviewedSheetText } from './fiche.js';
 import { bulletLines, maquetteText, reviewedText } from './maquette.js';
 import { answeredText, checkSpec, costlyHypotheses, ficheHasBack, ficheReady, findFiche, hypothesisLines, answerAltersRule, hypothesisNote, LEAD_SOURCE, ruleIdsSourcedByLead, sourceRules, specText } from './spec.js';
+import { handBackWithoutFinding } from './no-finding.js';
 import { decisionsText, humanDecisions } from './decisions.js';
 import { LOCAL_PRECHECK_UNREADABLE, PRECHECK_UNREADABLE, lotKey, lotRepoPaths, neighbourDirs } from './state.js';
 import { advance, baseMoved, INTEGRATE_WAIT_MS, MAX_REPLAYS, mergeBase, patchId, rebaseOnto, repoBranch, takeRepoWrite } from './integrate.js';
 import { mutexFor } from './mutex.js';
-import { readTier, takeTiers, tierMoved, tierRepos, wipBranch } from './tiers.js';
+import { readTier, stillThird, takeTiers, tierMoved, tierRepos, wipBranch } from './tiers.js';
 import { branchExists, git, gitFailure, integrated, linkIgnored, lotBranch, planFileSet, planSeenFrom, prepareTree, removeTree, trackedDirty } from './worktree.js';
 /** Passes de correction au plus, puis la main est rendue au lead. */
 export const MAX_PASSES = 2;
@@ -593,8 +594,10 @@ function briefFor(c, kind, local = false) {
                 ? `A previous session was interrupted; resume from these commits of the lot already present:\n${mine}`
                 : 'A previous session was interrupted before any commit of the lot; start again from the current state of the repository.';
         }
-        if (kind === 'implement' && l.precheck)
-            vars.commits = [vars.commits, l.precheck].filter(Boolean).join('\n');
+        // La lecture ne va qu'à la première passe implement : la session en cours (« running ») ne compte pas, toute autre passe implement déjà jouée l'exclut.
+        const firstPass = !l.steps.some((s) => s.kind === 'implement' && s.status !== 'running');
+        if (kind === 'implement')
+            vars.commits = precheckBrief(vars.commits, l.precheck, firstPass ? l.precheckLu : undefined);
         if (l.pendingAnswer)
             vars.reponse = `Answer from the human to your earlier question: ${l.pendingAnswer}`;
     }
@@ -1085,7 +1088,7 @@ function checkTiers(c, kind, step, before) {
     const w = c.wave;
     const key = lotKey(l.project, l.lot);
     const wip = wipBranch(l.project, l.lot);
-    for (const [repo, b] of before) {
+    for (const [repo, b] of stillThird(before, w.store.lots(), key)) {
         const name = basename(repo);
         let a;
         try {
@@ -1367,6 +1370,8 @@ async function precheck(c) {
                 localYes = true;
                 rep = null;
             }
+            else if (rep)
+                rep.lu = undefined; // « non » ou « partiel » du local, accepté sans relecture par Sonnet : sa lecture n'est pas gardée (L523)
         }
     }
     if (!rep) {
@@ -1383,11 +1388,8 @@ async function precheck(c) {
             return;
         }
     }
-    if (localYes) {
-        l.warnings.push(rep.dejaPresent === 'oui'
-            ? 'contrôle préalable : « oui » du modèle local, confirmé par Sonnet'
-            : `contrôle préalable : le modèle local a dit « oui », Sonnet dit « ${rep.dejaPresent} » — le local s'est trompé, repasser orchestrate.precheck à true`);
-    }
+    if (localYes)
+        l.warnings.push(localYesNote(rep.dejaPresent));
     const proofs = rep.preuves.length ? ` (${rep.preuves.join(' ; ')})` : '';
     // « oui » sans preuve ne se vérifie pas : il vaut « partiel », l'implémentation part avec le constat.
     const unproven = rep.dejaPresent === 'oui' && rep.preuves.length === 0;
@@ -1402,6 +1404,7 @@ async function precheck(c) {
         l.precheck = `A pre-check found part of the deliverable already in the repository (do not redo it): ${rep.resume.trim()}${proofs}`;
         l.warnings.push(`contrôle préalable : livrable en partie présent — ${rep.resume.trim()}${proofs}`);
     }
+    keepPrecheckReading(l, rep.lu);
     l.next = firstWrite(c);
     save(c);
 }
@@ -2015,6 +2018,8 @@ async function runChecks(c, red, runs, place) {
         if (!command)
             continue;
         l.gate = { label, started: new Date().toISOString() };
+        if (label === 'tests')
+            l.suiteRuns = (l.suiteRuns ?? 0) + 1;
         save(c);
         const r = await runGate(place.run, command); // porte en parties (L512) : toutes jouées, chacune dans son dossier ; le CheckRun porte le libellé « dir : run ; … »
         const run = { label, command: gateLabel(command), code: r.code, ...place.stamp() };
@@ -2246,7 +2251,7 @@ async function work(c, kind) {
     else if (made === 0)
         l.warnings.push(kind === 'fix' ? 'fix sans nouveau commit : revue lancée sur les commits du lot, avec la raison de la session (choix)' : `${kind} sans nouveau commit : revue lancée sur les commits déjà faits du lot`);
     const red = [];
-    // Tests annoncés rouges (L213) : avec orchestrate.test, le programme rejoue et compare à la ligne de base, la session n'est crue que si les tests y sont rouges autrement que par des échecs de départ ; sans, la liste des échecs de base de la session, non vérifiée.
+    // Tests annoncés rouges (L213) : avec orchestrate.test, le programme rejoue et compare à la ligne de base, la session n'est crue que si les tests y sont rouges autrement que par des échecs de départ, et jamais quand sa porte est verte (L522, quels que soient echecsDeBase et nouveauxEchecs) ; sans, la liste des échecs de base de la session, non vérifiée.
     const claimed = { source: 'tests', gravite: 'bloquant', texte: `tests annoncés rouges par la session : ${rep.tests.commande} — ${rep.tests.resultat}` };
     let deferred = false;
     const declared = (rep.echecsDeBase ?? []).map((t) => t.trim()).filter(Boolean);
@@ -2278,12 +2283,8 @@ async function work(c, kind) {
     }
     if (red.length === 0)
         await programChecks(c, red, runs);
-    // La session annonçait des tests rouges et le programme ne les voit ni déjà rouges au départ (L213) ni instables sous charge (L354, verts rejoués seuls) : l'annonce vaut.
-    // L361 : la porte du programme est verte (code 0) et la session n'annonce que des échecs de base (echecsDeBase non vide, nouveauxEchecs présent et vide) : rien de rouge pour le programme, rien de nouveau pour la session → revue, sans correction ni escalade.
-    const gateGreen = runs.some((r) => r.label === 'tests' && r.code === 0);
-    const baseOnly = declared.length > 0 && !!newFailures && !newFailures.length;
-    if (deferred && red.length === 0 && gateGreen && baseOnly)
-        l.warnings.push(`tests annoncés rouges par la session, mais la porte du programme verte (${gateLabel(c.config.test ?? '')}, code 0) et aucun nouvel échec déclaré (nouveauxEchecs vide) : les échecs sont ceux de la base qu'elle déclare (${declared.length}) ; pas de correction`);
+    if (deferred && red.length === 0 && runs.some((r) => r.label === 'tests' && r.code === 0 && !r.instables?.length))
+        l.warnings.push(`tests annoncés rouges par la session, mais la porte du programme verte (${gateLabel(c.config.test ?? '')}, code 0) : l'annonce n'est pas crue, pas de correction`);
     else if (deferred && red.length === 0 && !runs.some((r) => r.label === 'tests' && (r.dejaRouges || r.instables?.length)))
         red.push(claimed);
     if (red.length) {
@@ -2518,6 +2519,8 @@ async function reviewStep(c, kind) {
         // L'UX est la dernière étape (L221) : conforme, le lot conclut avec la revue de code ; sinon une correction (jamais une revue de code d'office), la revue de code et l'UX rejouée suivent.
         if (summary.conforme)
             return () => conclude(c, l.code, noCommitNote(l));
+        if (handBackWithoutFinding(c, l.constats, summary, stop))
+            return;
         toFix(c, l.constats, 'UX non conforme');
         return;
     }
@@ -2586,6 +2589,8 @@ async function reviewStep(c, kind) {
         return;
     }
     const constats = blockingConstats(rep, 'code');
+    if (handBackWithoutFinding(c, constats, summary, stop))
+        return;
     (l.reviewCounts ??= []).push(constats.length);
     toFix(c, constats, 'revue non conforme');
 }

package/dist/orchestrate/depot.js

@@ -0,0 +1,33 @@
+import { basename, join } from 'node:path';
+import { sharedStateDir } from '../state.js';
+import { addHint } from './ajout.js';
+import { canInstallPrePush, gitProcessRunning, indexLockRefusal, snapshot } from './guard.js';
+import { activeLock, REPO_LOCK } from './lock.js';
+/** Les fichiers suivis modifiés d'un dépôt. */
+export async function trackedDirty(repo) {
+    return (await snapshot(repo, { remote: false })).tracked.map((l) => l.slice(3));
+}
+/**
+ * Les refus propres à un dépôt avant qu'une vague y joue (arbre sale, `index.lock`, hook de push, orchestration en cours), les mêmes pour un lot lancé, repris ou ajouté.
+ * L421 : le dépôt que tient la vague qui reçoit l'ajout (`addTo`) est le sien : son arbre porte le travail de ses lots et son hook de push est le sien. `resume` : un dépôt tenu n'est pas refusé.
+ */
+export async function repoRefusals(repo, t, run, opts) {
+    const busy = activeLock(join(sharedStateDir(repo), REPO_LOCK));
+    const ours = !!opts.addTo && busy?.wave === opts.addTo.wave;
+    const name = basename(repo);
+    const out = [];
+    if (!ours) {
+        const dirty = await trackedDirty(repo);
+        if (dirty.length)
+            out.push(`${name} : arbre sale, ${dirty.length} fichier(s) suivi(s) modifié(s) : ${dirty.join(', ')}`);
+        const locked = indexLockRefusal(repo, run.io.now(), run.deps.gitRunning ?? gitProcessRunning);
+        if (locked)
+            out.push(`${name} : ${locked}`);
+        const hook = canInstallPrePush(repo);
+        if (hook)
+            out.push(`${name} : ${hook}`);
+    }
+    if (busy && !opts.resume && !ours)
+        out.push(`${name} : une orchestration y est déjà en cours (${busy.wave}, pid ${busy.pid})${addHint(t, busy.wave, run.launch)}`);
+    return out;
+}

package/dist/orchestrate/gate-notes.js

@@ -3,13 +3,19 @@ import { lotKey } from './state.js';
 /** Trace des tests instables sous charge (L354) : le lot (`instables`, journal et `cadence perf`), un avertissement du lot (tableau de fin de vague) et une ligne du journal de la vague. */
 export function noteUnstable(c, tests) {
     const l = c.lot;
-    const fresh = tests.filter((t) => !(l.instables ?? []).includes(t));
+    const fresh = [...new Set(tests)].filter((t) => !(l.instables ?? []).includes(t));
     if (!fresh.length)
         return;
     l.instables = [...(l.instables ?? []), ...fresh];
     const text = `${fresh.length} test(s) instable(s) sous charge (rouge(s) dans la suite, vert(s) rejoué(s) seul(s)), pas de passe de correction : ${fresh.join(' ; ')}`;
     l.warnings.push(text);
     c.wave.log(`${lotKey(l.project, l.lot)} · ${text}`);
+    // Le rouge de charge ne coûte plus de passe, mais la dette reste au lead : un lot à stabiliser (L522).
+    for (const t of fresh) {
+        const proposal = `[instable] ${t} — rouge dans la suite, vert rejoué seul : à stabiliser`;
+        if (!l.proposals.includes(proposal))
+            l.proposals.push(proposal);
+    }
     c.wave.store.writeLot(l);
 }
 const seconds = (ms) => `${Math.round(ms / 100) / 10} s`.replace(/\.0 s$/, ' s');