@xingular/harness 0.1.7 → 1.0.0

package/dist/sdk/refine/selection.js

@@ -0,0 +1,251 @@
+// Choosing one anonymised final output, then reflecting on the refinement that produced it.
+// The selector sees only the request, the source and the outputs, shuffled under arbitrary ids;
+// it never sees a harness, a trajectory, or any verdict.
+//
+// Ported from Harness² (Apache-2.0, Google LLC; `harness2/core/selection.py`).
+import { createHash } from 'node:crypto';
+import { cpSync, mkdirSync, rmSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { writeJson } from "../core/fs.js";
+import { PI_SURFACE } from "../variant/surface.js";
+import { writeVariant } from "../variant/variant.js";
+import * as evidence from "./evidence.js";
+import * as P from "./prompts.js";
+import { defaultPrompts } from "./recursion.js";
+import { ImproverError } from "./types.js";
+/** A seeded mulberry32, so a shuffle is stable across reruns of the same task. */
+function seeded(seed) {
+    let a = seed >>> 0;
+    return () => {
+        a = (a + 0x6d2b79f5) >>> 0;
+        let t = a;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+/** A..Z, AA..AZ, BA...: always accepted by the choice parser. */
+export function anonId(index) {
+    let out = '';
+    let n = index + 1;
+    while (n) {
+        const rem = (n - 1) % 26;
+        out = String.fromCharCode(65 + rem) + out;
+        n = Math.floor((n - 1) / 26);
+    }
+    return out;
+}
+/** anon id → label, by canonical sort then a seeded shuffle. */
+export function assignIds(labels, taskId, k, mode) {
+    const seed = parseInt(createHash('sha1').update(`${taskId}|${k}|${mode}`).digest('hex').slice(0, 8), 16);
+    const ordered = [...labels].sort();
+    const random = seeded(seed);
+    for (let i = ordered.length - 1; i > 0; i--) {
+        const j = Math.floor(random() * (i + 1));
+        [ordered[i], ordered[j]] = [ordered[j], ordered[i]];
+    }
+    return Object.fromEntries(ordered.map((label, i) => [anonId(i), label]));
+}
+/** Exactly the k finals of a mode: agg1..aggk or c1..ck. The base executions are never in it. */
+export function selectionPool(mode, k, rollouts) {
+    const labels = Array.from({ length: k }, (_, i) => (mode === 'agg' ? `agg${i + 1}` : `c${i + 1}`));
+    return Object.fromEntries(labels.filter((label) => rollouts[label]).map((label) => [label, rollouts[label]]));
+}
+function newSelection(taskId, mode, k) {
+    return { taskId, mode, k, chosenId: '', chosenLabel: '', chosenRunId: '', chosenDir: '', why: '', idMap: {}, dropped: [], candidates: 0, ok: false, fallback: false, trivial: false, error: '', usd: 0, experience: {} };
+}
+/** Drops non-answers before anonymising, recording each drop and its cause. */
+function renderPool(candidates, executor, sel) {
+    const pool = {};
+    const artifacts = {};
+    for (const [label, rollout] of Object.entries(candidates)) {
+        if (!(rollout.ok && rollout.delivered)) {
+            sel.dropped.push(label);
+            continue;
+        }
+        let text = '';
+        try {
+            text = evidence.renderDeliverable(executor, rollout);
+        }
+        catch (error) {
+            sel.dropped.push(`${label} (render failed: ${error instanceof Error ? error.message : String(error)})`.slice(0, 200));
+            continue;
+        }
+        if (!text.trim()) {
+            sel.dropped.push(label);
+            continue;
+        }
+        pool[label] = rollout;
+        artifacts[label] = text;
+    }
+    return { pool, artifacts };
+}
+function persist(sel, root) {
+    try {
+        writeJson(join(root, 'selection.json'), sel);
+    }
+    catch (error) {
+        sel.ok = false;
+        sel.error = `${sel.error} | could not persist selection: ${error instanceof Error ? error.message : String(error)}`.slice(0, 400);
+    }
+}
+function choose(sel, label, pool) {
+    sel.chosenLabel = label;
+    sel.chosenId = Object.entries(sel.idMap).find(([, l]) => l === label)?.[0] ?? '';
+    sel.chosenRunId = pool[label]?.runId ?? '';
+    sel.chosenDir = pool[label]?.dir ?? '';
+}
+/** Picks one output. A selector failure falls back to the first final and never throws. */
+export async function runSelection(input) {
+    const { task, k, mode, executor } = input;
+    const sel = newSelection(task.id, mode, k);
+    const { pool, artifacts } = renderPool(input.candidates, executor, sel);
+    sel.candidates = Object.keys(pool).length;
+    if (!sel.candidates) {
+        sel.error = 'no candidate produced an artifact';
+        return sel;
+    }
+    sel.idMap = assignIds(Object.keys(pool), task.id, k, mode);
+    const root = join(input.workDir, 'selection', `${mode}${k}`);
+    rmSync(root, { recursive: true, force: true });
+    mkdirSync(join(root, 'candidates'), { recursive: true });
+    writeFileSync(join(root, 'task.md'), task.prompt);
+    evidence.copySource(task, root);
+    for (const [anon, label] of Object.entries(sel.idMap)) {
+        const text = artifacts[label];
+        writeFileSync(join(root, 'candidates', `${anon}.md`), `<!-- candidate ${anon}: ${text.length.toLocaleString('en-US')} chars, ${(text.split('\n').length).toLocaleString('en-US')} lines. COMPLETE -- nothing trimmed. Navigate with grep/offsets; evaluating a candidate means opening the part that determines whether it works. -->\n${text}`);
+    }
+    const ids = Object.keys(sel.idMap).sort().join(', ');
+    const mission = [
+        P.select(task.prompts ?? defaultPrompts(), sel.candidates, { poolKind: 'finals' }),
+        `# YOUR EVIDENCE\n\nIt is on disk. Read it -- do not answer from this message alone.\n\ncontext/task.md                 the instructions\ncontext/source/                 task source materials, when supplied\ncontext/candidates/<id>.md      one file per candidate: ${ids}\n\nOpen every candidate before choosing. Choose exactly one of: ${ids}.`
+    ].join('\n\n');
+    evidence.assertNoGraderVerdicts(root);
+    try {
+        const reply = await input.improver.call({ mission, contextDir: root, label: `select.${mode}${k}`, signal: input.signal });
+        sel.usd += reply.costUsd;
+        const choice = /```choice\s*\n?\s*([A-Za-z0-9_-]+)\s*\n?\s*```/.exec(reply.text)?.[1]?.trim();
+        if (!choice)
+            throw new Error('no ```choice block in the reply');
+        if (!sel.idMap[choice])
+            throw new Error(`chose '${choice}', which is not one of ${ids}`);
+        sel.why = (/<why>([\s\S]*?)<\/why>/.exec(reply.text)?.[1]?.trim() ?? '').slice(0, 2000);
+        sel.ok = true;
+        choose(sel, sel.idMap[choice], pool);
+    }
+    catch (error) {
+        if (error instanceof ImproverError)
+            sel.usd += error.costUsd;
+        // The neutral stand-in: the first final in canonical order. It is delivered, but the
+        // selection did not succeed, so nothing is reflected on or added to the library.
+        choose(sel, Object.keys(pool).sort()[0], pool);
+        sel.fallback = true;
+        sel.ok = false;
+        sel.error = (error instanceof Error ? error.message : String(error)).slice(0, 400);
+    }
+    persist(sel, root);
+    return sel;
+}
+/** Delivers the single k=1 final without a selector session. */
+export function trivialSelection(input) {
+    const { task, k, mode } = input;
+    if (Object.keys(input.candidates).length > 1)
+        throw new Error(`trivialSelection expects at most one candidate, got ${Object.keys(input.candidates).sort().join(', ')}`);
+    const sel = newSelection(task.id, mode, k);
+    sel.trivial = true;
+    const { pool } = renderPool(input.candidates, input.executor, sel);
+    sel.candidates = Object.keys(pool).length;
+    if (!sel.candidates) {
+        sel.error = 'no candidate produced an artifact (the finals-only pool has no base fallback)';
+        return sel;
+    }
+    const label = Object.keys(pool)[0];
+    sel.idMap = { A: label };
+    choose(sel, label, pool);
+    sel.ok = true;
+    sel.why = 'trivial pool: single final at k=1; delivered without a selector session';
+    const root = join(input.workDir, 'selection', `${mode}${k}`);
+    rmSync(root, { recursive: true, force: true });
+    mkdirSync(root, { recursive: true });
+    persist(sel, root);
+    return sel;
+}
+/** Learns from the edits, decisions, trajectories and outputs after adoption. Never throws. */
+export async function reflectAdoption(input) {
+    const { task, selection: sel } = input;
+    const chosen = input.rollouts[sel.chosenLabel];
+    if (!sel.ok || !chosen)
+        return {};
+    const root = join(input.workDir, 'reflection', `${sel.mode}${sel.k}`);
+    const variants = join(input.workDir, 'variants');
+    let layout = '';
+    try {
+        const built = evidence.build(root, {
+            task,
+            executor: input.executor,
+            rollouts: Object.values(input.rollouts),
+            variantDir: join(variants, sel.chosenLabel),
+            pool: Object.entries(input.rollouts).filter(([label]) => !label.startsWith('base')).map(([label, rollout]) => ({ label, variantDir: join(variants, label), rollout })),
+            decisions: input.decisions
+        });
+        layout = evidence.layout(built);
+        writeVariant(PI_SURFACE, input.baseVariant, join(root, 'base_harness'), { stubs: false });
+        writeFileSync(join(root, 'adoption.json'), `${JSON.stringify({ chosen_label: sel.chosenLabel, candidate_ids: sel.idMap, reason: sel.why }, null, 2)}\n`);
+        evidence.assertNoLeakPaths(root, task.leakGlobs);
+        evidence.assertNoGraderVerdicts(root);
+    }
+    catch {
+        return {};
+    }
+    const mission = [
+        P.experience(task.prompts ?? defaultPrompts()),
+        `# WHAT HAPPENED\n\nHarness ${sel.chosenLabel} was adopted. The selection reasoning was:\n\n${sel.why}\n\ncontext/adoption.json maps any anonymous IDs in that reasoning to rollout labels. Compare context/harness/ with context/base_harness/ and the candidates in context/pool/. Read the decisions and execution contrasts before writing.\n\n${layout}`
+    ].join('\n\n');
+    const expRoot = `${root}.experience`;
+    rmSync(expRoot, { recursive: true, force: true });
+    cpSync(root, expRoot, { recursive: true });
+    let text;
+    try {
+        const reply = await input.improver.call({ mission, contextDir: expRoot, label: `experience.${sel.mode}${sel.k}`, signal: input.signal });
+        sel.usd += reply.costUsd;
+        text = reply.text;
+    }
+    catch (error) {
+        if (error instanceof ImproverError)
+            sel.usd += error.costUsd;
+        return {};
+    }
+    const out = parseExperience(text);
+    if (out.edits)
+        writeFileSync(join(root, 'edits.md'), `${out.edits}\n`);
+    try {
+        evidence.assertVariantHasNoGraderVerdicts({ 'EXPERIENCE.md': JSON.stringify(out) });
+    }
+    catch {
+        return {};
+    }
+    sel.experience = out;
+    persist(sel, join(input.workDir, 'selection', `${sel.mode}${sel.k}`));
+    return out;
+}
+/** Reads `<edits>` and `<experience>` blocks. A reply without a supported lesson gives only the edits. */
+export function parseExperience(text) {
+    const edits = /<edits>([\s\S]*?)<\/edits>/.exec(text)?.[1]?.trim();
+    const block = /<experience>([\s\S]*?)<\/experience>/.exec(text)?.[1];
+    const out = {};
+    if (block) {
+        for (const line of block.trim().split('\n')) {
+            const at = line.indexOf(':');
+            if (at < 0)
+                continue;
+            const key = line.slice(0, at).trim().toLowerCase();
+            if (key === 'cue' || key === 'lesson' || key === 'evidence' || key === 'confidence')
+                out[key] = line.slice(at + 1).trim();
+        }
+    }
+    if (!out.cue || !out.lesson || !out.evidence)
+        return edits ? { edits } : {};
+    if (edits)
+        out.edits = edits;
+    return out;
+}

package/dist/sdk/refine/service.d.ts

@@ -0,0 +1,84 @@
+import type { Bus } from "../core/bus.js";
+import * as store from "../variant/store.js";
+import { type VariantDiff } from "../variant/variant.js";
+import type { VariantTrust } from "../variant/trust.js";
+import { type RefineHost } from "./host.js";
+import { Library } from "./library.js";
+import { type ImproverSettings, type RefineRuntime } from "./pi.js";
+import { type RefineSummary } from "./runner.js";
+import type { Executor, Improver, RecursionMode, RefineTask } from "./types.js";
+export interface StartInput {
+    task: RefineTask;
+    k?: number;
+    mode?: RecursionMode;
+    /** The model and account improver, selector and reflector sessions use. Defaults to the account default. */
+    improver?: ImproverSettings;
+    /** Start from this version of the scope instead of its head. */
+    baseVersion?: string | null;
+    /** Model, effort and account for executions; a host's own session settings win (PROP-0003). */
+    executor?: ImproverSettings;
+    /** Keep every execution's workspace under `rollouts/<label>/workspace/` for measurement afterwards. */
+    retainWorkspaces?: boolean;
+    id?: string;
+}
+export interface CandidateView {
+    label: string;
+    kind: 'base' | 'candidate' | 'final';
+    ok: boolean;
+    delivered: boolean;
+    runId: string;
+    fingerprint: string | null;
+    diff: VariantDiff | null;
+    files: string[];
+    /** The retained workspace of this execution, or null when the refinement did not keep it. */
+    workspace: string | null;
+}
+export interface RefinementsOptions {
+    root: () => string;
+    bus: Bus;
+    runtime: RefineRuntime;
+    host: () => RefineHost | null;
+    trust: VariantTrust;
+    /** Replace the Pi executor and improver, for tests and the demo. */
+    executor?: (id: string, dir: string, signal: AbortSignal) => Executor;
+    improver?: (id: string, dir: string, settings: ImproverSettings, signal: AbortSignal) => Improver;
+}
+export declare class Refinements {
+    private readonly options;
+    private readonly active;
+    constructor(options: RefinementsOptions);
+    /** Starts a refinement and returns at once; progress arrives as `refine.changed` and `refine.event` notices. */
+    start(input: StartInput): {
+        id: string;
+    };
+    /** Waits for a running refinement; resolves at once for one that is not running. */
+    wait(id: string): Promise<RefineSummary | null>;
+    get(id: string): RefineSummary;
+    running(): string[];
+    /** Every recorded refinement, newest first, optionally for one scope. */
+    list(options?: {
+        scope?: string | null;
+        limit?: number;
+    }): RefineSummary[];
+    cancel(id: string): Promise<void>;
+    /** Every execution of a refinement: what variant it ran, how it differs from the base, what it produced. */
+    candidates(id: string): CandidateView[];
+    /**
+     * Makes a refinement's chosen harness (or one of its candidates, by label) the scope's head.
+     * Plugin code in it must already be trusted.
+     */
+    adopt(id: string, options?: {
+        label?: string | null;
+    }): store.Head;
+    library(scope: string): {
+        area: string;
+        entries: ReturnType<Library['list']>;
+    }[];
+    libraryEntry(scope: string, area: string, task: string): {
+        experience: string | null;
+        variant: Record<string, string>;
+    };
+    forget(scope: string, area: string, tasks: string[]): void;
+    scopes(): string[];
+    close(): Promise<void>;
+}

package/dist/sdk/refine/service.js

@@ -0,0 +1,165 @@
+// Refinements as the harness offers them: start one in the background, follow it, stop it, read
+// what it produced, and adopt its chosen harness. The method itself is in `runner.ts`.
+import { randomUUID } from 'node:crypto';
+import { existsSync, readdirSync } from 'node:fs';
+import { join } from 'node:path';
+import { HarnessError, invalid, notFound } from "../core/errors.js";
+import { readJsonOr, safeId } from "../core/fs.js";
+import * as store from "../variant/store.js";
+import { PI_SURFACE } from "../variant/surface.js";
+import { diffSummary, readVariant } from "../variant/variant.js";
+import { DEFAULT_REFINE_HOST } from "./host.js";
+import { Library, libraryAreas, libraryScopes } from "./library.js";
+import { PiExecutor, PiImprover, RETAINED_WORKSPACE } from "./pi.js";
+import { checkWorkPrompts } from "./prompts.js";
+import { readSummary, refineDir, runRefinement } from "./runner.js";
+/** A refinement's variants folder; records made before PROP-0009 call it `harnesses`. */
+const variantsFolder = (dir) => (existsSync(join(dir, 'variants')) || !existsSync(join(dir, 'harnesses')) ? join(dir, 'variants') : join(dir, 'harnesses'));
+export class Refinements {
+    options;
+    active = new Map();
+    constructor(options) {
+        this.options = options;
+    }
+    /** Starts a refinement and returns at once; progress arrives as `refine.changed` and `refine.event` notices. */
+    start(input) {
+        const root = this.options.root();
+        const task = input.task;
+        if (!task || typeof task.id !== 'string' || !task.id.trim() || typeof task.prompt !== 'string' || !task.prompt.trim())
+            throw invalid('A refinement needs a task with an id and a request.');
+        safeId(task.scope);
+        if (task.prompts)
+            checkWorkPrompts(task.prompts);
+        const k = input.k ?? 1;
+        const mode = input.mode ?? 'parallel';
+        if (mode !== 'parallel' && mode !== 'sequential')
+            throw invalid('mode is parallel or sequential.');
+        const base = input.baseVersion ? { variant: store.readVersion(root, task.scope, input.baseVersion) } : store.headVariant(root, task.scope);
+        if (!base)
+            throw new HarnessError('harness_missing', `The harness '${task.scope}' has no version yet.`, 'Create or seed it first.');
+        const id = input.id ? safeId(input.id) : `${new Date().toISOString().slice(0, 10)}-${randomUUID().slice(0, 8)}`;
+        if (this.active.has(id))
+            throw invalid('That refinement is already running.');
+        const dir = refineDir(root, id);
+        const controller = new AbortController();
+        const host = this.options.host() ?? DEFAULT_REFINE_HOST;
+        const executor = this.options.executor?.(id, dir, controller.signal) ?? new PiExecutor(this.options.runtime, host, id, dir, controller.signal, { retainWorkspaces: input.retainWorkspaces === true, settings: input.executor });
+        const improver = this.options.improver?.(id, dir, input.improver ?? {}, controller.signal) ?? new PiImprover(this.options.runtime, dir, input.improver ?? {}, controller.signal);
+        const emit = (event) => {
+            if (event.type === 'summary')
+                this.options.bus.emit({ type: 'refine.changed', id, scope: task.scope, status: event.summary.status });
+            else
+                this.options.bus.emit({ type: 'refine.event', id, scope: task.scope, event });
+        };
+        const done = runRefinement({ root, id, task, k, mode, executor, improver, baseVariant: base.variant, settings: { executor: input.executor ?? null, improver: input.improver ?? null }, onEvent: emit, signal: controller.signal })
+            .catch((error) => {
+            this.options.bus.emit({ type: 'refine.changed', id, scope: task.scope, status: 'failed', error: error instanceof Error ? error.message : String(error) });
+            return null;
+        })
+            .finally(() => this.active.delete(id));
+        this.active.set(id, { controller, done });
+        return { id };
+    }
+    /** Waits for a running refinement; resolves at once for one that is not running. */
+    async wait(id) {
+        return (await this.active.get(id)?.done) ?? readSummary(this.options.root(), id);
+    }
+    get(id) {
+        const summary = readSummary(this.options.root(), safeId(id));
+        if (!summary)
+            throw notFound('That refinement');
+        return summary;
+    }
+    running() {
+        return [...this.active.keys()];
+    }
+    /** Every recorded refinement, newest first, optionally for one scope. */
+    list(options = {}) {
+        const dir = join(this.options.root(), 'refine');
+        if (!existsSync(dir))
+            return [];
+        const out = [];
+        for (const name of readdirSync(dir).sort().reverse()) {
+            if (name === 'library')
+                continue;
+            const summary = readSummary(this.options.root(), name);
+            if (summary && (!options.scope || summary.scope === options.scope))
+                out.push(summary);
+        }
+        return out.sort((a, b) => b.startedAt.localeCompare(a.startedAt)).slice(0, options.limit ?? 100);
+    }
+    async cancel(id) {
+        const running = this.active.get(id);
+        if (!running)
+            return;
+        running.controller.abort();
+        await running.done;
+    }
+    /** Every execution of a refinement: what variant it ran, how it differs from the base, what it produced. */
+    candidates(id) {
+        const root = this.options.root();
+        const summary = this.get(id);
+        const dir = refineDir(root, id);
+        const baseVariant = readVariant(PI_SURFACE, join(variantsFolder(dir), 'base'));
+        const finals = new Set(summary.recursion?.finals ?? []);
+        const labels = existsSync(join(dir, 'rollouts')) ? readdirSync(join(dir, 'rollouts')).sort() : [];
+        return labels.map((label) => {
+            const record = readJsonOr(join(dir, 'rollouts', label, 'rollout.json'), {});
+            const base = summary.base.find((entry) => entry.label === label);
+            const variantDir = join(variantsFolder(dir), label);
+            const variant = existsSync(variantDir) ? readVariant(PI_SURFACE, variantDir) : null;
+            const files = record.files ?? [];
+            const workspace = join(dir, 'rollouts', label, RETAINED_WORKSPACE);
+            return {
+                label,
+                kind: label.startsWith('base') ? 'base' : finals.has(label) ? 'final' : 'candidate',
+                ok: base ? base.ok : record.status ? record.status === 'completed' : true,
+                delivered: base ? base.delivered : files.length > 0,
+                runId: `${id}-${label}`,
+                fingerprint: variant ? store.fingerprint(variant) : null,
+                diff: variant && !label.startsWith('base') ? diffSummary(PI_SURFACE, baseVariant, variant) : null,
+                files,
+                workspace: existsSync(workspace) ? workspace : null
+            };
+        });
+    }
+    /**
+     * Makes a refinement's chosen harness (or one of its candidates, by label) the scope's head.
+     * Plugin code in it must already be trusted.
+     */
+    adopt(id, options = {}) {
+        const root = this.options.root();
+        const summary = this.get(id);
+        const label = options.label ?? summary.selection?.chosenLabel;
+        if (!label)
+            throw invalid('This refinement has nothing to adopt.');
+        const variant = readVariant(PI_SURFACE, join(variantsFolder(refineDir(root, id)), safeId(label)));
+        if (!Object.keys(variant).length)
+            throw notFound('That candidate variant');
+        const untrusted = this.options.trust.review(variant).filter((plugin) => !plugin.trusted);
+        if (untrusted.length)
+            throw new HarnessError('plugin_untrusted', `Trust the plugin code first: ${untrusted.map((plugin) => plugin.path).join(', ')}.`, 'Review the plugin files on the Harness page, trust them, then adopt.');
+        store.commit(root, summary.scope, variant, { kind: 'refinement', refineId: id, label, note: summary.selection?.why?.slice(0, 500) });
+        this.options.bus.emit({ type: 'variants.changed', scope: summary.scope });
+        return store.head(root, summary.scope);
+    }
+    library(scope) {
+        const root = this.options.root();
+        return libraryAreas(root, scope).map((area) => ({ area, entries: new Library(root, scope, area).list() }));
+    }
+    libraryEntry(scope, area, task) {
+        const library = new Library(this.options.root(), scope, area);
+        return { experience: library.experienceText(task), variant: library.variantOf(task) };
+    }
+    forget(scope, area, tasks) {
+        new Library(this.options.root(), scope, area).forget(tasks);
+        this.options.bus.emit({ type: 'library.changed', scope });
+    }
+    scopes() {
+        return libraryScopes(this.options.root());
+    }
+    async close() {
+        for (const id of this.running())
+            await this.cancel(id);
+    }
+}

package/dist/sdk/refine/suite.d.ts

@@ -0,0 +1,67 @@
+import { type Variant } from "../variant/surface.js";
+import type { Executor, RefineTask } from "./types.js";
+export type MatrixStatus = 'running' | 'ok' | 'partial' | 'failed' | 'cancelled';
+export interface MatrixVersion {
+    /** Record label; also names the variant copy under the record's variants/ folder. */
+    label: string;
+    variant: Variant;
+}
+export interface MatrixRow {
+    version: string;
+    fingerprint: string;
+    task: string;
+    runId: string;
+    dir: string;
+    ok: boolean;
+    delivered: boolean;
+    costUsd: number;
+    wallMs: number;
+    error: string;
+    /** Comparability keys: one task text, one executor, one package release. */
+    taskHash: string;
+    executor: string;
+    packageVersion: string;
+}
+export interface MatrixSummary {
+    id: string;
+    status: MatrixStatus;
+    startedAt: string;
+    endedAt: string | null;
+    versions: string[];
+    tasks: string[];
+    rows: MatrixRow[];
+    usd: number;
+    errors: string[];
+}
+export type MatrixEvent = {
+    type: 'execution.started';
+    version: string;
+    task: string;
+    label: string;
+} | {
+    type: 'execution.finished';
+    version: string;
+    task: string;
+    ok: boolean;
+    delivered: boolean;
+    error: string;
+} | {
+    type: 'summary';
+    summary: MatrixSummary;
+};
+export interface MatrixInput {
+    root: string;
+    id: string;
+    versions: MatrixVersion[];
+    tasks: RefineTask[];
+    executor: Executor;
+    /** The executor's name for the records; defaults to its constructor's name. */
+    executorName?: string;
+    rolloutWidth?: number;
+    onEvent?: (event: MatrixEvent) => void;
+    signal?: AbortSignal;
+}
+export declare function matrixDir(root: string, id: string): string;
+export declare function readMatrix(root: string, id: string): MatrixSummary | null;
+/** Runs the full version × task matrix. Bad input throws; execution failures become rows. */
+export declare function runMatrix(input: MatrixInput): Promise<MatrixSummary>;