@sylad/cadence 1.39.0 → 1.41.0

package/dist/plan.js

@@ -3,7 +3,11 @@ import { readFileSync, writeFileSync, mkdirSync, existsSync, rmSync } from 'node
 import { dirname, join, relative, resolve } from 'node:path';
 import { dirtyContents } from './git.js';
 import { Document, isMap, isSeq, parseDocument } from 'yaml';
-import { isDay, toDay } from './dates.js';
+import { toDay } from './dates.js';
+import { normalizeLot } from './plan-read.js';
+import { currentState, defaultState, rebase, stateProblems, transitionProblem } from './plan-states.js';
+import { DOCS_OK_FILE, readDocsOkFile } from './docs-ok-file.js';
+import { checkedExtras, withExtras } from './plan-extras.js';
 import { ARCHIVE_DIR, archiveFiles, archiveLots, archiveYear, mergeArchived, newArchiveDoc, readArchiveDoc, selectArchivable } from './archive.js';
 /** Délai de la commande `plan.onWrite` : une republication du plan, pas un build. */
 const ON_WRITE_TIMEOUT_MS = 120_000;
@@ -24,7 +28,6 @@ export function setPlanNotice(fn) {
     notice = fn;
 }
 export const STATUSES = ['todo', 'doing', 'done', 'dropped'];
-const GATE_INVALID = 'gate invalide : count: entier ≥ 1 et un critère spec: true ou screen: page attendus';
 export class RafError extends Error {
 }
 /** Un nom de ressource partagée (L251) : un mot de lettres minuscules, chiffres, « - » et « _ ». */
@@ -391,7 +394,14 @@ export class Plan {
         }
         // L396 : l'archive est un détail de stockage — les lots archivés reprennent leur place parmi ceux du fichier actif, comme un seul plan.
         const archived = this.loadArchives().flatMap((a) => archiveLots(a.doc).toJSON());
-        return mergeArchived(archived.map((r) => normalizeLot(r)), this.activeRaw().map((r) => normalizeLot(r)));
+        const read = (r) => withExtras(normalizeLot(r), r, this.settings.extras);
+        const lots = mergeArchived(archived.map(read), this.activeRaw().map(read));
+        const model = this.settings.states;
+        return model ? lots.map((l) => ({ ...l, problems: [...l.problems, ...stateProblems(model, l)] })) : lots;
+    }
+    /** Les états détaillés déclarés (`plan.states`), ou undefined. */
+    get stateModel() {
+        return this.settings.states;
     }
     lot(id) {
         const found = this.lots().find((l) => l.id === id);
@@ -560,6 +570,7 @@ export class Plan {
         if (opts.every !== undefined && !(Number.isInteger(opts.every) && opts.every > 0)) {
             throw new RafError(`périodicité invalide : ${opts.every} (un nombre entier de jours, 1 au moins)`);
         }
+        const extras = checkedExtras(this.settings.extras, opts.extras);
         const entry = { id, title };
         if (pub !== undefined)
             entry.public = pub;
@@ -573,6 +584,7 @@ export class Plan {
             entry.after = opts.after;
         if (opts.uses?.length)
             entry.uses = cleanUses(opts.uses);
+        Object.assign(entry, extras);
         entry.created = today;
         const node = this.doc.createNode(entry);
         for (const key of ['after', 'uses']) {
@@ -720,6 +732,11 @@ export class Plan {
         if (!isOpen(lot.status)) {
             throw new RafError(`${lotId} est ${lot.status} ; le rouvrir si c'est voulu : raf todo ${lotId}`);
         }
+        const model = this.settings.states;
+        const target = model ? defaultState(model, status) : undefined;
+        const refused = model && target !== undefined && !opts.force ? transitionProblem(model, currentState(model, lot), target) : null;
+        if (refused)
+            throw new RafError(`${lotId} : ${refused} — raf status ${lotId} <état> (--force pour passer outre)`);
         if (status === 'done') {
             const open = lot.tasks.filter((t) => isOpen(t.status)).map((t) => `${lotId}/${t.id}`);
             if (open.length > 0 && !opts.force) {
@@ -738,6 +755,7 @@ export class Plan {
             }
         }
         node.set('status', status);
+        this.syncState(node, status);
         if (!lot.started && status !== 'dropped')
             node.set('started', today);
         if (status === 'done' || status === 'dropped')
@@ -760,6 +778,7 @@ export class Plan {
         if (lot.status === 'done' || lot.status === 'dropped') {
             const node = this.lotNode(ref);
             node.set('status', 'todo');
+            this.syncState(node, 'todo');
             node.delete('finished');
             this.note(ref, reason.trim() ? `rouvert (était ${lot.status}) : ${reason.trim()}` : `rouvert (était ${lot.status})`, today);
             return;
@@ -769,9 +788,78 @@ export class Plan {
             throw new RafError(`${ref} a ${n} commit(s) qui le citent : le remettre en attente perdrait leur lien — raf drop ou le laisser doing`);
         const node = this.lotNode(ref);
         node.set('status', 'todo');
+        this.syncState(node, 'todo');
         node.delete('started');
         this.note(ref, reason.trim() ? `remis en attente : ${reason.trim()}` : 'remis en attente', today);
     }
+    /**
+     * Pose le `state:` d'un lot (`raf status`, L463) sous la garde de `plan.transitions`, et note le message daté. Le statut de base en est
+     * dérivé : seuls todo → doing (le lot démarre) et doing → todo (`started:` retiré ; refusé dès qu'un commit cite le lot, la porte de
+     * `raf todo`) se font ici, pour que l'état bloqué se quitte vers l'état d'avant quel que soit son statut de base ; les autres changements
+     * de base gardent leur commande et leurs portes (`raf done`, `drop`, `todo`). Entrer dans l'état bloqué mémorise l'état d'avant
+     * (`state_before:`), `back` y revient sans garde de transition. `commits` compte les commits qui citent le lot (lu seulement pour doing → todo).
+     */
+    setState(ref, target, today, opts = {}, commits = () => 0) {
+        this.writable();
+        const model = this.settings.states;
+        if (!model)
+            throw new RafError('aucun état déclaré : cadence.yaml plan.states');
+        if (ref.includes('/'))
+            throw new RafError(`raf status se pose sur un lot, pas une sous-tâche : ${ref}`);
+        const lot = this.lot(ref);
+        const from = currentState(model, lot);
+        let to = target ?? '';
+        if (opts.back) {
+            if (!model.blocked)
+                throw new RafError('aucun état bloqué déclaré : cadence.yaml plan.blockedState');
+            if (from !== model.blocked)
+                throw new RafError(`${ref} n'est pas bloqué (état ${from})`);
+            if (!lot.stateBefore)
+                throw new RafError(`${ref} : état d'avant introuvable (state_before: absent) — raf status ${ref} <état>`);
+            if (!Object.hasOwn(model.states, lot.stateBefore))
+                throw new RafError(`${ref} : l'état d'avant « ${lot.stateBefore} » n'est plus déclaré — raf status ${ref} <état>`);
+            to = lot.stateBefore;
+        }
+        else {
+            if (!Object.hasOwn(model.states, to))
+                throw new RafError(`état inconnu : ${to} (déclarés : ${Object.keys(model.states).join(', ')})`);
+            if (to === from)
+                throw new RafError(`${ref} est déjà ${to}`);
+            const refused = transitionProblem(model, from, to);
+            if (refused)
+                throw new RafError(`${ref} : ${refused}`);
+        }
+        const node = this.lotNode(ref);
+        const base = model.states[to];
+        if (base !== lot.status) {
+            const refused = rebase(node, lot, { ref, to, base }, today, commits);
+            if (refused)
+                throw new RafError(refused);
+        }
+        this.writeState(node, to, to === model.blocked ? from : undefined);
+        const message = opts.message?.trim();
+        if (message)
+            this.note(ref, `état ${to} : ${message}`, today);
+        return to;
+    }
+    /** Met l'état d'un lot au diapason de son nouveau statut de base (`start`, `done`, `drop`, `todo`) ; sans `plan.states`, ne touche à rien. */
+    syncState(node, status) {
+        if (this.settings.states)
+            this.writeState(node, defaultState(this.settings.states, status));
+    }
+    /** Écrit `state:` (et `state_before:`) juste après `status:` ; `undefined` retire la clé. */
+    writeState(node, state, before) {
+        for (const [key, value] of [['state', state], ['state_before', before]]) {
+            if (value === undefined)
+                node.delete(key);
+            else if (node.has(key))
+                node.set(key, value);
+            else {
+                const keys = node.items.map((p) => String(p.key?.value ?? p.key));
+                node.items.splice(Math.max(keys.indexOf('status'), keys.indexOf('state')) + 1, 0, this.doc.createPair(key, value));
+            }
+        }
+    }
     /** Remplace le titre d'un lot, de tout statut, et note l'ancien titre ; refuse un titre vide ou identique. */
     setTitle(ref, text, today) {
         this.writable();
@@ -902,28 +990,6 @@ export class Plan {
     }
 }
 /** Lit une liste écrite dans un autre format : champs traduits, entrées à parent repliées en sous-tâches. */
-/** Fichier d'acquittement docs-ok d'un plan en lecture seule, relatif à la racine du dépôt (L386). */
-const DOCS_OK_FILE = '.cadence/docs-ok.yaml';
-/** Les acquittements du fichier : lot → { date, reason }. Une entrée sans raison n'acquitte rien ; un fichier illisible est une erreur qui le nomme. */
-function readDocsOkFile(file) {
-    if (!file || !existsSync(file))
-        return {};
-    const doc = parseDocument(readFileSync(file, 'utf8'));
-    if (doc.errors.length > 0)
-        throw new RafError(`${file} : ${doc.errors[0].message}`);
-    const raw = doc.toJSON();
-    if (raw == null)
-        return {};
-    if (typeof raw !== 'object' || Array.isArray(raw))
-        throw new RafError(`${file} : la racine doit être un objet (lot → { date, reason })`);
-    const out = {};
-    for (const [id, v] of Object.entries(raw)) {
-        const e = v;
-        if (e && typeof e === 'object' && typeof e.reason === 'string' && e.reason.trim() !== '')
-            out[id] = { date: String(e.date ?? ''), reason: e.reason.trim() };
-    }
-    return out;
-}
 function foreignLots(raw, format) {
     const entries = raw.map((r, i) => {
         if (!r || typeof r !== 'object' || Array.isArray(r))
@@ -993,25 +1059,6 @@ function foreignLots(raw, format) {
     }
     return lots;
 }
-/** Lit `gate: { count: N, spec: true }` ou `{ count: N, screen: page }` ; toute autre forme est un problème du lot et une condition jamais remplie. */
-function readGate(raw, problems) {
-    if (raw == null)
-        return undefined;
-    const invalid = () => {
-        problems.push(GATE_INVALID);
-        return { invalid: true };
-    };
-    if (typeof raw !== 'object' || Array.isArray(raw))
-        return invalid();
-    const g = raw;
-    if (!Number.isInteger(g.count) || g.count < 1)
-        return invalid();
-    const criteria = [...(g.spec === true ? ['spec'] : []), ...(g.screen === 'page' ? ['screen'] : [])];
-    const others = Object.keys(g).filter((k) => k !== 'count' && k !== 'spec' && k !== 'screen');
-    if (criteria.length !== 1 || others.length || ('spec' in g && g.spec !== true) || ('screen' in g && g.screen !== 'page'))
-        return invalid();
-    return { count: g.count, criterion: criteria[0] };
-}
 /** Un titre public vide ne dirait rien au public : refusé plutôt qu'écrit. */
 function cleanPublic(text) {
     const t = text.trim();
@@ -1019,116 +1066,3 @@ function cleanPublic(text) {
         throw new RafError('titre public vide — raf public <id> "titre" (ou --clear pour l\'effacer)');
     return t;
 }
-function normalizeLot(raw, problems = []) {
-    const status = STATUSES.includes(raw.status) ? raw.status : 'todo';
-    const asDay = (field) => {
-        const v = raw[field];
-        if (v == null)
-            return undefined;
-        if (isDay(v))
-            return v;
-        problems.push(`${field} « ${String(v)} » n'est pas une date AAAA-MM-JJ`);
-        return undefined;
-    };
-    const after = raw.after == null ? [] : Array.isArray(raw.after) ? raw.after.map(String) : [String(raw.after)];
-    const last = asDay('last');
-    let uses;
-    if (raw.uses != null) {
-        if (Array.isArray(raw.uses) && raw.uses.every((n) => typeof n === 'string' && RESOURCE_NAME.test(n)))
-            uses = [...new Set(raw.uses)];
-        else
-            problems.push(`uses ${RESOURCES_BAD_LIST}`);
-    }
-    let screen;
-    if (raw.screen != null) {
-        if (SCREENS.includes(raw.screen))
-            screen = raw.screen;
-        else
-            problems.push(`screen « ${String(raw.screen)} » inconnu (${SCREENS.join(', ')})`);
-        if (screen && raw.visible !== true)
-            problems.push(`screen « ${screen} » sans visible : un écran est un changement visible`);
-    }
-    let spec;
-    if (raw.spec != null) {
-        if (raw.spec === true)
-            spec = true;
-        else if (raw.spec !== false)
-            problems.push(`spec : true ou false attendu (reçu « ${String(raw.spec)} »)`);
-    }
-    const gate = readGate(raw.gate, problems);
-    const okRaw = raw.docs_ok;
-    const docsOk = okRaw && typeof okRaw === 'object' && typeof okRaw.reason === 'string' && okRaw.reason.trim() !== '' ? { date: String(okRaw.date ?? ''), reason: okRaw.reason.trim() } : undefined;
-    return {
-        id: String(raw.id),
-        title: String(raw.title ?? ''),
-        status,
-        estimate: typeof raw.estimate === 'number' && raw.estimate > 0 ? raw.estimate : 1,
-        quickwin: raw.quickwin === true,
-        visible: raw.visible === true,
-        ...(screen ? { screen } : {}),
-        ...(spec ? { spec } : {}), ...(raw.local === true ? { local: true } : {}),
-        ...(gate ? { gate } : {}),
-        ...(typeof raw.public === 'string' && raw.public.trim() !== '' ? { public: raw.public.trim() } : {}),
-        ...(typeof raw.goal === 'string' && raw.goal.trim() !== '' ? { goal: raw.goal.trim() } : {}),
-        ...(Number.isInteger(raw.every) && raw.every > 0 ? { every: raw.every } : {}),
-        ...(last ? { last } : {}),
-        after,
-        ...(uses?.length ? { uses } : {}),
-        created: asDay('created'),
-        started: asDay('started'),
-        finished: asDay('finished'),
-        notes: Array.isArray(raw.notes)
-            ? raw.notes.map((n) => ({ date: String(n.date ?? ''), text: String(n.text ?? '') }))
-            : [],
-        tasks: Array.isArray(raw.tasks)
-            ? raw.tasks.map((t) => ({
-                id: String(t.id),
-                title: String(t.title ?? ''),
-                status: STATUSES.includes(t.status) ? t.status : 'todo',
-            }))
-            : [],
-        ...(repoList(raw.repos).length ? { repos: repoList(raw.repos) } : {}),
-        ...(asVerdict(raw.ux) ? { ux: asVerdict(raw.ux) } : {}),
-        ...(asVerdict(raw.review) ? { review: asVerdict(raw.review) } : {}),
-        ...(docsOk ? { docsOk } : {}),
-        problems,
-    };
-}
-/**
- * Dépôts voisins déclarés : une chaîne (le chemin) ou un objet `{ path, cite }`, seuls ou en liste (une valeur seule vaut une
- * liste d'un dépôt). Une entrée sans chemin textuel est écartée ; un `cite` vide ou non textuel vaut pas de `cite`.
- */
-function repoList(raw) {
-    const items = Array.isArray(raw) ? raw : raw == null ? [] : [raw];
-    const out = [];
-    for (const item of items) {
-        const path = typeof item === 'string' ? item : item && typeof item === 'object' && typeof item.path === 'string' ? item.path : '';
-        if (path.trim() === '')
-            continue;
-        const cite = item && typeof item === 'object' ? item.cite : undefined;
-        out.push({ path: path.trim(), ...(typeof cite === 'string' && cite.trim() !== '' ? { cite: cite.trim() } : {}) });
-    }
-    return out;
-}
-function asVerdict(raw) {
-    if (!raw || typeof raw !== 'object')
-        return undefined;
-    const v = raw;
-    // Écrit à la main sans verdict (clé absente, vide ou blanche) : rien n'a été dit de la revue, la porte
-    // reste fermée — comme `raf ux` et `raf review` refusent d'enregistrer un verdict vide.
-    if (String(v.verdict ?? '').trim() === '')
-        return undefined;
-    const verdict = { date: String(v.date ?? ''), verdict: String(v.verdict) };
-    // Champ présent mais vide : relu « jusqu'à rien », comme un verdict noté sans commit.
-    if ('commit' in v)
-        verdict.commit = v.commit == null || String(v.commit).trim() === '' ? null : String(v.commit).trim();
-    if (v.repos && typeof v.repos === 'object' && !Array.isArray(v.repos)) {
-        const repos = Object.entries(v.repos).map(([k, sha]) => [k, sha == null || String(sha).trim() === '' ? null : String(sha).trim()]);
-        if (repos.length)
-            verdict.repos = Object.fromEntries(repos);
-    }
-    const r = v.reporte;
-    if (r && typeof r === 'object' && !Array.isArray(r) && r.de != null && r.vers != null)
-        verdict.reporte = { de: String(r.de), vers: String(r.vers), patchId: String(r.patchId ?? '') };
-    return verdict;
-}

package/dist/raf-close-checks.js

@@ -0,0 +1,25 @@
+import { readOrchestrateConfig } from './config.js';
+import { gitRoot } from './git.js';
+import { redAcceptations } from './orchestrate/accept.js';
+import { RafError } from './plan.js';
+/**
+ * Un lot clos avec une acceptation à vert: false bloque les vagues suivantes du dépôt (verrou des tests d'acceptation, L366) :
+ * `raf done` le refuse, ou avec `--force` n'en fait qu'un avertissement sur `warn`.
+ */
+export function refuseRedAcceptation(root, configPath, lotId, force, warn) {
+    const repo = gitRoot(root) ?? root;
+    let dir = null;
+    try {
+        dir = readOrchestrateConfig(configPath).spec.dir;
+    }
+    catch {
+        // un cadence.yaml illisible ne doit pas empêcher de clore un lot : `cadence check` en parle
+    }
+    const red = dir === null ? undefined : redAcceptations(repo, dir).find((a) => a.lot === lotId);
+    if (!red)
+        return;
+    const text = `${lotId} : ${red.path} est à vert: false — clos ainsi, le lot bloquerait les vagues suivantes du dépôt (verrou des tests d'acceptation) ; cadence spec green ${lotId} lance la commande d'acceptation et pose vert: true`;
+    if (!force)
+        throw new RafError(`${text} (--force pour passer outre)`);
+    warn(`avertissement : ${text}`);
+}

package/dist/raf-status.js

@@ -0,0 +1,28 @@
+import { RafError } from './plan.js';
+import { currentState } from './plan-states.js';
+/** Une ligne par état déclaré : son statut de base, le nombre de lots qui y sont et, si `plan.transitions` est déclaré, les états permis ensuite. */
+function listStates(plan, out) {
+    const model = plan.stateModel;
+    if (!model)
+        throw new RafError('aucun état déclaré : cadence.yaml plan.states');
+    const lots = plan.lots();
+    for (const [name, base] of Object.entries(model.states)) {
+        const next = model.transitions ? `  → ${model.transitions[name]?.join(', ') || '(terminal)'}` : '';
+        out(`${name}  ${base}  ${lots.filter((l) => currentState(model, l) === name).length} lot(s)${next}`);
+    }
+}
+/** `raf status` (L463) : sans argument la liste des états ; `<id> <état> ["message"]` ou `<id> --back ["message"]` pose l'état d'un lot. */
+export function statusCommand(plan, rest, ctx) {
+    const { back, today, out } = ctx;
+    if (rest.length === 0 && !back) {
+        listStates(plan, out);
+        return 0;
+    }
+    const first = back ? 1 : 2;
+    if (rest.length < first)
+        throw new RafError('usage : raf status <id> <état> ["message"] | raf status <id> --back ["message"]');
+    const state = plan.setState(rest[0], back ? null : rest[1], today, { back, message: rest.slice(first).join(' ') }, () => ctx.commits(plan, rest[0]));
+    plan.save();
+    out(`${rest[0]} → ${state}`);
+    return 0;
+}

package/dist/session.js

@@ -146,8 +146,14 @@ export function sessionStart(ctx, opts) {
     writeSessionMark(ctx.state, { kind: 'start', at: (ctx.now ?? new Date()).toISOString() });
     return 0;
 }
+/** La section « Mémoire » (L442), calculée avant tout rapport ; vide sans mesure demandée. */
+function memoryLines(ctx) {
+    return ctx.memory?.() ?? [];
+}
 export function sessionClose(ctx, opts) {
     const { plan, out, today } = ctx;
+    // Mesuré avant tout rapport : une clé memory.indexMaxBytes invalide arrête la clôture sans rien imprimer.
+    const memory = memoryLines(ctx);
     out(`${plan.project} — clôture du ${today}`);
     const window = closeWindow(ctx, opts.since);
     const recent = period(ctx, window.since);
@@ -169,6 +175,8 @@ export function sessionClose(ctx, opts) {
     const lock = lockStatus(ctx.shared);
     section(out, 'Dépôt', [repo.line, ...(lock ? [lock.line] : [])]);
     section(out, 'Faits propres au projet', projectFacts(ctx, window.since));
+    // Comme le nettoyage : un avertissement qui propose, hors des points ouverts ; l'index n'est jamais écrit ici.
+    memory.forEach((l) => out(l));
     // Une proposition, pas une condition : rien n'est supprimé ici, le skill demande l'accord. Le
     // nettoyage ne change jamais le verdict et ne fait jamais tomber la clôture.
     if (ctx.clean?.patterns.length) {

package/dist/state.js

@@ -203,6 +203,29 @@ export function appendFailedDelivery(dir, day, sha, reason, cls, tail = []) {
     const head = `${day} ${sha} ${cls ? `[${cls}] ` : ''}${clean(reason.split('\n')[0], REASON_MAX)}`;
     appendFileSync(join(dir, 'deliveries-failed.log'), `${[head, ...kept].join(TAIL_SEP)}\n`);
 }
+/**
+ * `cadence verify` vert au sha de la DERNIÈRE livraison rouge (L435) : l'effet est bien là, la livraison est donc
+ * faite — une ligne « jour sha » rejoint `deliveries.log`, ce qui efface la ligne rouge du panneau (le journal vert
+ * modifié après le rouge la remplace) sans relivrer. Rien n'est écrit quand la dernière livraison rouge est celle
+ * d'un autre sha (elle resterait cachée), quand elle n'est pas de classe « vérification » (une CI rouge, un refus ou
+ * un déploiement raté ne se lavent pas : les vérifications ne lisent pas toujours le sha), quand il n'y en a pas, ou quand le journal vert est déjà postérieur au
+ * rouge (les dates de modification des fichiers décident, comme au panneau). Retourne si une ligne a été écrite.
+ */
+export function recordVerifiedDelivery(dir, day, sha) {
+    const last = readFailedEntries(dir).at(-1);
+    if (!last || last.sha !== sha || last.cls !== 'verification')
+        return false;
+    try {
+        const green = join(dir, 'deliveries.log');
+        if (existsSync(green) && statSync(green).mtimeMs > statSync(join(dir, 'deliveries-failed.log')).mtimeMs)
+            return false;
+    }
+    catch {
+        return false;
+    }
+    appendDelivery(dir, day, sha);
+    return true;
+}
 export function lastDelivery(dir) {
     const file = join(dir, 'deliveries.log');
     if (!existsSync(file))

package/dist/verify.js

@@ -1,9 +1,9 @@
 import { spawn } from 'node:child_process';
 import { constants } from 'node:os';
 import { headSha, repoStatus, upstreamHead, upstreamIsDefaultBranch } from './git.js';
-import { lastDelivery, sharedStateDir } from './state.js';
+import { lastDelivery, recordVerifiedDelivery, sharedStateDir } from './state.js';
 import { onTermination } from './proc.js';
-import { describeCheck, realDeps, retryCheck, TIMED_OUT } from './deliver.js';
+import { announceDelivered, describeCheck, realDeps, retryCheck, TIMED_OUT } from './deliver.js';
 function killGroup(pgid, sig) {
     try {
         process.kill(-pgid, sig);
@@ -115,7 +115,24 @@ export async function verifyCommand(ctx, deps) {
     for (const r of results)
         out(resultLine(r));
     out(summaryLine(results));
-    return results.some((r) => r.reason !== null) ? 1 : 0;
+    if (results.some((r) => r.reason !== null))
+        return 1;
+    if (ctx.journal) {
+        const prev = lastDelivery(ctx.journal.dir); // lu avant l'écriture : la livraison précédente, d'où partent les lots annoncés
+        if (recordVerifiedDelivery(ctx.journal.dir, ctx.journal.day, ctx.sha)) {
+            out(`verify : ${ctx.sha.slice(0, 7)} avait une livraison rouge, l'effet est vert — inscrit au journal des livraisons`);
+            let effects;
+            try {
+                effects = ctx.journal.effects();
+            }
+            catch (e) {
+                out(`verify : lots livrés non annoncés — ${e.message.split('\n')[0]}`);
+                return 0;
+            }
+            announceDelivered(effects, prev, ctx.sha);
+        }
+    }
+    return 0;
 }
 /**
  * Délai de chaque vérification de « session start », lancées en parallèle : c'est aussi, à la mise à mort

package/dist/yaml-keys.js

@@ -4,3 +4,5 @@ export function booleanKey(value, refusal) {
         throw refusal;
     return value;
 }
+export const isObject = (v) => !!v && typeof v === 'object' && !Array.isArray(v);
+export const list = (v) => (v == null ? [] : Array.isArray(v) ? v.map(String) : [String(v)]);

package/docs/concepts-livraison-dark.svg

@@ -0,0 +1,32 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1100 300" width="1100" height="300" role="img" font-family="-apple-system,BlinkMacSystemFont,'Segoe UI',Helvetica,Arial,sans-serif" font-size="13" fill="#e6edf3">
+<title>Delivery up to a sha</title>
+<desc>Commits stack on main in order; the deliverable sha is the last commit of the highest ready lot with no unfinished lot below it, so a handed-back lot blocks the commits above it.</desc>
+<defs><marker id="arr" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#8b949e"/></marker></defs>
+<rect width="1100" height="300" fill="#0d1117"/>
+<text x="20" y="30" text-anchor="start" font-size="11.5" font-weight="600" fill="#8b949e">main, oldest on the left</text>
+<rect x="40" y="60" width="150" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5"/>
+<text x="115" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">a1 · L1</text>
+<text x="115" y="103" text-anchor="middle" font-size="11.5" fill="#8b949e">ready</text>
+<polyline points="190,90 238,90" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="240" y="60" width="150" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5"/>
+<text x="315" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">a2 · L1</text>
+<text x="315" y="103" text-anchor="middle" font-size="11.5" fill="#8b949e">ready</text>
+<polyline points="390,90 438,90" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="440" y="60" width="150" height="60" rx="6" fill="#0c2d6b" stroke="#58a6ff" stroke-width="2"/>
+<text x="515" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">b1 · L2</text>
+<text x="515" y="103" text-anchor="middle" font-size="11.5" fill="#8b949e">ready</text>
+<polyline points="590,90 638,90" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="640" y="60" width="150" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="715" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">c1 · L3</text>
+<text x="715" y="103" text-anchor="middle" font-size="11.5" fill="#8b949e">handed back</text>
+<polyline points="790,90 838,90" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="840" y="60" width="150" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="915" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">d1 · L4</text>
+<text x="915" y="103" text-anchor="middle" font-size="11.5" fill="#8b949e">ready</text>
+<rect x="40" y="136" width="550" height="4" fill="#58a6ff"/>
+<text x="315" y="160" text-anchor="middle" font-size="11.5" fill="#e6edf3">delivered together</text>
+<text x="315" y="205" text-anchor="middle" font-size="13" font-weight="600" fill="#e6edf3">« livrable jusqu'à b1 »</text>
+<text x="315" y="227" text-anchor="middle" font-size="11.5" font-family="ui-monospace,SFMono-Regular,Menlo,monospace" fill="#8b949e">git push origin b1:main &amp;&amp; cadence deliver --sha b1</text>
+<text x="840" y="160" text-anchor="middle" font-size="11.5" fill="#8b949e">blocked by L3: not pushed, not delivered</text>
+<text x="550" y="270" text-anchor="middle" font-size="11.5" fill="#8b949e">Pushing HEAD would also put the unreviewed lot on main; the CI builds only the tip of a push.</text>
+</svg>

package/docs/concepts-livraison-light.svg

@@ -0,0 +1,32 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1100 300" width="1100" height="300" role="img" font-family="-apple-system,BlinkMacSystemFont,'Segoe UI',Helvetica,Arial,sans-serif" font-size="13" fill="#1f2328">
+<title>Delivery up to a sha</title>
+<desc>Commits stack on main in order; the deliverable sha is the last commit of the highest ready lot with no unfinished lot below it, so a handed-back lot blocks the commits above it.</desc>
+<defs><marker id="arr" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#57606a"/></marker></defs>
+<rect width="1100" height="300" fill="#ffffff"/>
+<text x="20" y="30" text-anchor="start" font-size="11.5" font-weight="600" fill="#57606a">main, oldest on the left</text>
+<rect x="40" y="60" width="150" height="60" rx="6" fill="#ffffff" stroke="#57606a" stroke-width="1.5"/>
+<text x="115" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#1f2328">a1 · L1</text>
+<text x="115" y="103" text-anchor="middle" font-size="11.5" fill="#57606a">ready</text>
+<polyline points="190,90 238,90" fill="none" stroke="#57606a" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="240" y="60" width="150" height="60" rx="6" fill="#ffffff" stroke="#57606a" stroke-width="1.5"/>
+<text x="315" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#1f2328">a2 · L1</text>
+<text x="315" y="103" text-anchor="middle" font-size="11.5" fill="#57606a">ready</text>
+<polyline points="390,90 438,90" fill="none" stroke="#57606a" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="440" y="60" width="150" height="60" rx="6" fill="#ddf4ff" stroke="#0969da" stroke-width="2"/>
+<text x="515" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#1f2328">b1 · L2</text>
+<text x="515" y="103" text-anchor="middle" font-size="11.5" fill="#57606a">ready</text>
+<polyline points="590,90 638,90" fill="none" stroke="#57606a" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="640" y="60" width="150" height="60" rx="6" fill="#ffffff" stroke="#57606a" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="715" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#1f2328">c1 · L3</text>
+<text x="715" y="103" text-anchor="middle" font-size="11.5" fill="#57606a">handed back</text>
+<polyline points="790,90 838,90" fill="none" stroke="#57606a" stroke-width="1.5" marker-end="url(#arr)"/>
+<rect x="840" y="60" width="150" height="60" rx="6" fill="#ffffff" stroke="#57606a" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="915" y="86" text-anchor="middle" font-weight="600" font-size="13.5" fill="#1f2328">d1 · L4</text>
+<text x="915" y="103" text-anchor="middle" font-size="11.5" fill="#57606a">ready</text>
+<rect x="40" y="136" width="550" height="4" fill="#0969da"/>
+<text x="315" y="160" text-anchor="middle" font-size="11.5" fill="#1f2328">delivered together</text>
+<text x="315" y="205" text-anchor="middle" font-size="13" font-weight="600" fill="#1f2328">« livrable jusqu'à b1 »</text>
+<text x="315" y="227" text-anchor="middle" font-size="11.5" font-family="ui-monospace,SFMono-Regular,Menlo,monospace" fill="#57606a">git push origin b1:main &amp;&amp; cadence deliver --sha b1</text>
+<text x="840" y="160" text-anchor="middle" font-size="11.5" fill="#57606a">blocked by L3: not pushed, not delivered</text>
+<text x="550" y="270" text-anchor="middle" font-size="11.5" fill="#57606a">Pushing HEAD would also put the unreviewed lot on main; the CI builds only the tip of a push.</text>
+</svg>

package/docs/concepts-lot-dark.svg

@@ -0,0 +1,52 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1100 300" width="1100" height="300" role="img" font-family="-apple-system,BlinkMacSystemFont,'Segoe UI',Helvetica,Arial,sans-serif" font-size="13" fill="#e6edf3">
+<title>Journey of a lot</title>
+<desc>A lot goes through spec, code, review, correction when the review is not compliant, UX if the lot is visible, then ready; below each step, who does it.</desc>
+<defs><marker id="arr" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#8b949e"/></marker></defs>
+<rect width="1100" height="300" fill="#0d1117"/>
+<text x="20" y="26" text-anchor="start" font-size="11.5" font-weight="600" fill="#8b949e">STEP</text>
+<text x="20" y="168" text-anchor="start" font-size="11.5" font-weight="600" fill="#8b949e">WHO</text>
+<rect x="20" y="40" width="160" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="100" y="66" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">spec</text>
+<text x="100" y="83" text-anchor="middle" font-size="11.5" fill="#8b949e">if screen or spec: true</text>
+<rect x="200" y="40" width="160" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5"/>
+<text x="280" y="66" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">code</text>
+<text x="280" y="83" text-anchor="middle" font-size="11.5" fill="#8b949e">test first</text>
+<rect x="380" y="40" width="160" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5"/>
+<text x="460" y="66" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">review</text>
+<text x="460" y="83" text-anchor="middle" font-size="11.5" fill="#8b949e">code</text>
+<rect x="560" y="40" width="160" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="640" y="66" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">correction</text>
+<text x="640" y="83" text-anchor="middle" font-size="11.5" fill="#8b949e">if not compliant</text>
+<rect x="740" y="40" width="160" height="60" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1.5" stroke-dasharray="6 4"/>
+<text x="820" y="66" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">UX</text>
+<text x="820" y="83" text-anchor="middle" font-size="11.5" fill="#8b949e">if visible</text>
+<rect x="920" y="40" width="160" height="60" rx="6" fill="#0c2d6b" stroke="#58a6ff" stroke-width="2"/>
+<text x="1000" y="66" text-anchor="middle" font-weight="600" font-size="13.5" fill="#e6edf3">ready</text>
+<text x="1000" y="83" text-anchor="middle" font-size="11.5" fill="#8b949e">integrated (worktree mode)</text>
+<polyline points="180,70 198,70" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<polyline points="360,70 378,70" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<polyline points="540,70 558,70" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<polyline points="720,70 738,70" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<polyline points="900,70 918,70" fill="none" stroke="#8b949e" stroke-width="1.5" marker-end="url(#arr)"/>
+<polyline points="640,40 640,22 460,22 460,38" fill="none" stroke="#8b949e" stroke-width="1.5" stroke-dasharray="5 3" marker-end="url(#arr)"/>
+<text x="550" y="16" text-anchor="middle" font-size="11.5" fill="#8b949e">back to the review after each correction</text>
+<rect x="20" y="180" width="160" height="56" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1"/>
+<text x="100" y="204" text-anchor="middle" font-size="12.5" font-weight="600" fill="#e6edf3">spec-writer</text>
+<text x="100" y="222" text-anchor="middle" font-size="11.5" fill="#8b949e">then reviewer</text>
+<rect x="200" y="180" width="160" height="56" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1"/>
+<text x="280" y="204" text-anchor="middle" font-size="12.5" font-weight="600" fill="#e6edf3">fresh session</text>
+<text x="280" y="222" text-anchor="middle" font-size="11.5" fill="#8b949e">of the program</text>
+<rect x="380" y="180" width="160" height="56" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1"/>
+<text x="460" y="204" text-anchor="middle" font-size="12.5" font-weight="600" fill="#e6edf3">code-reviewer</text>
+<text x="460" y="222" text-anchor="middle" font-size="11.5" fill="#8b949e">agent</text>
+<rect x="560" y="180" width="160" height="56" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1"/>
+<text x="640" y="204" text-anchor="middle" font-size="12.5" font-weight="600" fill="#e6edf3">fresh session</text>
+<text x="640" y="222" text-anchor="middle" font-size="11.5" fill="#8b949e">2 passes, 3 if it converges</text>
+<rect x="740" y="180" width="160" height="56" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1"/>
+<text x="820" y="204" text-anchor="middle" font-size="12.5" font-weight="600" fill="#e6edf3">ux-reviewer</text>
+<text x="820" y="222" text-anchor="middle" font-size="11.5" fill="#8b949e">then the human</text>
+<rect x="920" y="180" width="160" height="56" rx="6" fill="#0d1117" stroke="#8b949e" stroke-width="1"/>
+<text x="1000" y="204" text-anchor="middle" font-size="12.5" font-weight="600" fill="#e6edf3">the lead</text>
+<text x="1000" y="222" text-anchor="middle" font-size="11.5" fill="#8b949e">re-checks, raf done</text>
+<text x="550" y="270" text-anchor="middle" font-size="11.5" fill="#8b949e">Dashed: a conditional step. The program chains the sessions; the verdicts of the review and of the UX pass are recorded in the plan.</text>
+</svg>