@qduc/term2 0.31.1 → 0.32.1

package/dist/services/workflow-evolution/demo.js

@@ -0,0 +1,177 @@
+import { mkdir, readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { pathToFileURL } from 'node:url';
+import { execFileSync } from 'node:child_process';
+import { appendEvent, readLedger } from './ledger.js';
+import { contentDigest, digest } from './experiment.js';
+const baseline = {
+    name: 'markdown-toc',
+    revision: 'fixture-v1',
+    source: 'deterministic-main-adapter',
+    body: 'Make a table of contents from h2 headings using lowercase slugs.',
+};
+const candidate = {
+    ...baseline,
+    revision: 'fixture-v2',
+    body: baseline.body + ' Suffix repeated slugs with -1, -2, etc.',
+};
+// Freeze independent expected artifacts before either version runs.
+const benchmark = [
+    { id: 'a', input: '# Guide\n## Setup\n## Setup\n', expected: '- [Setup](#setup)\n- [Setup](#setup-1)\n' },
+    {
+        id: 'b',
+        input: '# Guide\n## Usage\n## Usage\n## Usage\n',
+        expected: '- [Usage](#usage)\n- [Usage](#usage-1)\n- [Usage](#usage-2)\n',
+    },
+    {
+        id: 'c',
+        input: '# Guide\n## Build\n## Test\n## Build\n',
+        expected: '- [Build](#build)\n- [Test](#test)\n- [Build](#build-1)\n',
+    },
+];
+/** A real local artifact transformation with deterministic main/Reviewer substitutes. */
+export async function runDemo(directory) {
+    await mkdir(directory, { recursive: true });
+    const ledger = join(directory, 'experiment.json');
+    const revision = execFileSync('git', ['rev-parse', 'HEAD'], { encoding: 'utf8' }).trim();
+    const conditions = 'deterministic Markdown TOC adapter; same inputs, no models, no retries';
+    const criteria = {
+        tasks: benchmark.map((task) => ({ id: task.id, inputDigest: digest(task.input) })),
+        checks: ['exact-toc-artifact', 'input-preserved'],
+        conditions,
+        minimumPairs: 3,
+        minimumWins: 2,
+    };
+    const fixtureEvidence = join(directory, 'frozen-benchmark.json');
+    // init rejects an existing experiment before any artifact is overwritten.
+    let state = await appendEvent(ledger, { type: 'init', id: 'toc-experiment', incumbent: baseline, criteria });
+    await writeFile(fixtureEvidence, JSON.stringify(benchmark, null, 2), { flag: 'wx' });
+    async function produce(id, purpose, task, method) {
+        const inputPath = join(directory, `${id}.md`);
+        const outputPath = join(directory, `${id}.toc.md`);
+        await writeFile(inputPath, task.input, { flag: 'wx' });
+        const seen = new Map();
+        const toc = task.input
+            .split('\n')
+            .filter((line) => line.startsWith('## '))
+            .map((line) => {
+            const title = line.slice(3);
+            const slug = title.toLowerCase().replaceAll(' ', '-');
+            const count = seen.get(slug) ?? 0;
+            seen.set(slug, count + 1);
+            const anchor = method.body === candidate.body && count > 0 ? `${slug}-${count}` : slug;
+            return `- [${title}](#${anchor})\n`;
+        })
+            .join('');
+        await writeFile(outputPath, toc, { flag: 'wx' });
+        // Oracle reads persisted artifacts rather than accepting the producer's claim.
+        const outcome = await inspect(id, task);
+        const record = {
+            type: 'run',
+            id,
+            purpose,
+            taskId: task.id,
+            inputDigest: digest(task.input),
+            methodId: digest(method),
+            loadedMethod: method,
+            harnessRevision: revision,
+            conditionsId: digest(conditions),
+            actor: { role: 'main', sessionId: `main-${id}` },
+            metrics: outcome,
+            evidence: [
+                { ref: outputPath, digest: contentDigest(toc) },
+                { ref: inputPath, digest: contentDigest(task.input) },
+            ],
+        };
+        state = await appendEvent(ledger, record);
+        return record;
+    }
+    async function inspect(id, task) {
+        const output = await readFile(join(directory, `${id}.toc.md`), 'utf8');
+        const input = await readFile(join(directory, `${id}.md`), 'utf8');
+        return {
+            outcome: output === task.expected && input === task.input ? 'pass' : 'fail',
+            interventions: 0,
+            retries: 0,
+        };
+    }
+    await produce('observed-a', 'work', benchmark[0], baseline);
+    await produce('observed-b', 'work', benchmark[1], baseline);
+    state = await appendEvent(ledger, {
+        type: 'propose',
+        id: 'toc-candidate',
+        candidate,
+        weakness: 'Duplicate headings produced duplicate anchors on two observed documents.',
+        hypothesis: 'Counting repeated slugs produces the frozen expected anchors.',
+        mutation: 'Suffix duplicate slugs.',
+        evidenceRunIds: ['observed-a', 'observed-b'],
+    });
+    const pairs = [];
+    for (const task of benchmark) {
+        await produce(`${task.id}-base`, 'benchmark', task, baseline);
+        await produce(`${task.id}-candidate`, 'benchmark', task, candidate);
+        // Deterministic independent Reviewer adapter re-reads both artifacts.
+        pairs.push({
+            incumbentRunId: `${task.id}-base`,
+            candidateRunId: `${task.id}-candidate`,
+            incumbent: await inspect(`${task.id}-base`, task),
+            candidate: await inspect(`${task.id}-candidate`, task),
+            checks: [
+                {
+                    id: 'exact-toc-artifact',
+                    incumbent: (await inspect(`${task.id}-base`, task)).outcome,
+                    candidate: (await inspect(`${task.id}-candidate`, task)).outcome,
+                },
+                { id: 'input-preserved', incumbent: 'pass', candidate: 'pass' },
+            ],
+            evidence: [{ ref: fixtureEvidence, digest: contentDigest(await readFile(fixtureEvidence)) }],
+        });
+    }
+    state = await appendEvent(ledger, {
+        type: 'compare',
+        id: 'toc-review',
+        criteriaId: state.criteriaId,
+        reviewer: { role: 'reviewer', sessionId: 'deterministic-independent-reviewer' },
+        pairs,
+    });
+    state = await appendEvent(ledger, {
+        type: 'promote',
+        id: 'toc-promotion',
+        approval: {
+            ref: 'fixture-only-approval-for-local-demo',
+            candidateId: digest(candidate),
+            reviewId: 'toc-review',
+        },
+    });
+    await produce('subsequent-work', 'work', {
+        id: 'next',
+        input: '# Next\n## Install\n## Install\n',
+        expected: '- [Install](#install)\n- [Install](#install-1)\n',
+    }, candidate);
+    state = await readLedger(ledger);
+    return {
+        ledger,
+        decision: state.decision,
+        incumbentId: state.incumbentId,
+        candidateId: state.candidateId,
+        activeMethodId: state.activeMethodId,
+        adoption: state.adoption,
+        efficacy: 'Deterministic control-flow and fixture transformation evidence; no model-quality claim.',
+    };
+}
+if (process.argv[1] && import.meta.url === pathToFileURL(process.argv[1]).href) {
+    const directory = process.argv[2];
+    if (!directory || process.argv.length !== 3) {
+        process.stderr.write('Usage: demo.ts <new-output-directory>\n');
+        process.exitCode = 1;
+    }
+    else {
+        runDemo(directory)
+            .then((result) => process.stdout.write(JSON.stringify(result, null, 2) + '\n'))
+            .catch((error) => {
+            process.stderr.write(`${error instanceof Error ? error.message : String(error)}\n`);
+            process.exitCode = 1;
+        });
+    }
+}
+//# sourceMappingURL=demo.js.map

package/dist/services/workflow-evolution/demo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo.js","sourceRoot":"","sources":["../../../source/services/workflow-evolution/demo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,EAA+B,MAAM,iBAAiB,CAAC;AAErF,MAAM,QAAQ,GAAW;IACvB,IAAI,EAAE,cAAc;IACpB,QAAQ,EAAE,YAAY;IACtB,MAAM,EAAE,4BAA4B;IACpC,IAAI,EAAE,kEAAkE;CACzE,CAAC;AACF,MAAM,SAAS,GAAW;IACxB,GAAG,QAAQ;IACX,QAAQ,EAAE,YAAY;IACtB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,0CAA0C;CACjE,CAAC;AACF,oEAAoE;AACpE,MAAM,SAAS,GAAG;IAChB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,+BAA+B,EAAE,QAAQ,EAAE,0CAA0C,EAAE;IACzG;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,yCAAyC;QAChD,QAAQ,EAAE,+DAA+D;KAC1E;IACD;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,wCAAwC;QAC/C,QAAQ,EAAE,2DAA2D;KACtE;CACF,CAAC;AAEF,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,SAAiB;IAC7C,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzF,MAAM,UAAU,GAAG,wEAAwE,CAAC;IAC5F,MAAM,QAAQ,GAAG;QACf,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClF,MAAM,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACjD,UAAU;QACV,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;KACf,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC;IACjE,0EAA0E;IAC1E,IAAI,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7G,MAAM,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAErF,KAAK,UAAU,OAAO,CACpB,EAAU,EACV,OAA6B,EAC7B,IAAgC,EAChC,MAAc;QAEd,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACnD,MAAM,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACnB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;aACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACvF,OAAO,MAAM,KAAK,MAAM,MAAM,KAAK,CAAC;QACtC,CAAC,CAAC;aACD,IAAI,CAAC,EAAE,CAAC,CAAC;QACZ,MAAM,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,+EAA+E;QAC/E,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,MAAM,GAAc;YACxB,IAAI,EAAE,KAAK;YACX,EAAE;YACF,OAAO;YACP,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACxB,YAAY,EAAE,MAAM;YACpB,eAAe,EAAE,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC;YAChC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE;YAChD,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE;gBACR,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE;gBAC/C,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;aACtD;SACF,CAAC;QACF,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,UAAU,OAAO,CAAC,EAAU,EAAE,IAAgC;QACjE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QAClE,OAAO;YACL,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC3E,aAAa,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;SACX,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5D,MAAM,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5D,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE;QAChC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,SAAS;QACT,QAAQ,EAAE,0EAA0E;QACpF,UAAU,EAAE,+DAA+D;QAC3E,QAAQ,EAAE,yBAAyB;QACnC,cAAc,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;KAC7C,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACpE,sEAAsE;QACtE,KAAK,CAAC,IAAI,CAAC;YACT,cAAc,EAAE,GAAG,IAAI,CAAC,EAAE,OAAO;YACjC,cAAc,EAAE,GAAG,IAAI,CAAC,EAAE,YAAY;YACtC,SAAS,EAAE,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;YACjD,SAAS,EAAE,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC;YACtD,MAAM,EAAE;gBACN;oBACE,EAAE,EAAE,oBAAoB;oBACxB,SAAS,EAAE,CAAC,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO;oBAC3D,SAAS,EAAE,CAAC,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO;iBACjE;gBACD,EAAE,EAAE,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAe,EAAE,SAAS,EAAE,MAAe,EAAE;aAClF;YACD,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,QAAQ,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;SAC7F,CAAC,CAAC;IACL,CAAC;IACD,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE;QAChC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,oCAAoC,EAAE;QAC/E,KAAK;KACN,CAAC,CAAC;IACH,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE;QAChC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,QAAQ,EAAE;YACR,GAAG,EAAE,sCAAsC;YAC3C,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC;YAC9B,QAAQ,EAAE,YAAY;SACvB;KACF,CAAC,CAAC;IACH,MAAM,OAAO,CACX,iBAAiB,EACjB,MAAM,EACN;QACE,EAAE,EAAE,MAAM;QACV,KAAK,EAAE,kCAAkC;QACzC,QAAQ,EAAE,kDAAkD;KAC7D,EACD,SAAS,CACV,CAAC;IACF,KAAK,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,yFAAyF;KACpG,CAAC;AACJ,CAAC;AAED,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/E,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAChE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,SAAS,CAAC;aACf,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;aAC9E,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;YACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;IACP,CAAC;AACH,CAAC"}

package/dist/services/workflow-evolution/experiment.d.ts

@@ -0,0 +1,304 @@
+import { z } from 'zod';
+import type { SkillInfo } from '../skills/skills-service.js';
+declare const method: z.ZodObject<{
+    name: z.ZodString;
+    revision: z.ZodString;
+    source: z.ZodString;
+    body: z.ZodString;
+}, z.core.$strict>;
+declare const criteria: z.ZodObject<{
+    tasks: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        inputDigest: z.ZodString;
+    }, z.core.$strict>>;
+    checks: z.ZodArray<z.ZodString>;
+    conditions: z.ZodString;
+    minimumPairs: z.ZodNumber;
+    minimumWins: z.ZodNumber;
+}, z.core.$strict>;
+declare const run: z.ZodObject<{
+    type: z.ZodLiteral<"run">;
+    id: z.ZodString;
+    purpose: z.ZodEnum<{
+        benchmark: "benchmark";
+        work: "work";
+    }>;
+    taskId: z.ZodString;
+    inputDigest: z.ZodString;
+    methodId: z.ZodString;
+    loadedMethod: z.ZodObject<{
+        name: z.ZodString;
+        revision: z.ZodString;
+        source: z.ZodString;
+        body: z.ZodString;
+    }, z.core.$strict>;
+    harnessRevision: z.ZodString;
+    conditionsId: z.ZodString;
+    actor: z.ZodObject<{
+        role: z.ZodString;
+        sessionId: z.ZodString;
+    }, z.core.$strict>;
+    metrics: z.ZodObject<{
+        outcome: z.ZodEnum<{
+            fail: "fail";
+            pass: "pass";
+            uncertain: "uncertain";
+        }>;
+        interventions: z.ZodNumber;
+        retries: z.ZodNumber;
+    }, z.core.$strict>;
+    evidence: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        digest: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+declare const propose: z.ZodObject<{
+    type: z.ZodLiteral<"propose">;
+    id: z.ZodString;
+    candidate: z.ZodObject<{
+        name: z.ZodString;
+        revision: z.ZodString;
+        source: z.ZodString;
+        body: z.ZodString;
+    }, z.core.$strict>;
+    weakness: z.ZodString;
+    hypothesis: z.ZodString;
+    mutation: z.ZodString;
+    evidenceRunIds: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+declare const compare: z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    id: z.ZodString;
+    criteriaId: z.ZodString;
+    reviewer: z.ZodObject<{
+        role: z.ZodLiteral<"reviewer">;
+        sessionId: z.ZodString;
+    }, z.core.$strict>;
+    pairs: z.ZodArray<z.ZodObject<{
+        incumbentRunId: z.ZodString;
+        candidateRunId: z.ZodString;
+        incumbent: z.ZodObject<{
+            outcome: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+            interventions: z.ZodNumber;
+            retries: z.ZodNumber;
+        }, z.core.$strict>;
+        candidate: z.ZodObject<{
+            outcome: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+            interventions: z.ZodNumber;
+            retries: z.ZodNumber;
+        }, z.core.$strict>;
+        evidence: z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            digest: z.ZodString;
+        }, z.core.$strict>>;
+        checks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            incumbent: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+            candidate: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+declare const promote: z.ZodObject<{
+    type: z.ZodLiteral<"promote">;
+    id: z.ZodString;
+    approval: z.ZodObject<{
+        ref: z.ZodString;
+        candidateId: z.ZodString;
+        reviewId: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+declare const rollback: z.ZodObject<{
+    type: z.ZodLiteral<"rollback">;
+    id: z.ZodString;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        digest: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const eventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"init">;
+    id: z.ZodString;
+    incumbent: z.ZodObject<{
+        name: z.ZodString;
+        revision: z.ZodString;
+        source: z.ZodString;
+        body: z.ZodString;
+    }, z.core.$strict>;
+    criteria: z.ZodObject<{
+        tasks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            inputDigest: z.ZodString;
+        }, z.core.$strict>>;
+        checks: z.ZodArray<z.ZodString>;
+        conditions: z.ZodString;
+        minimumPairs: z.ZodNumber;
+        minimumWins: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"run">;
+    id: z.ZodString;
+    purpose: z.ZodEnum<{
+        benchmark: "benchmark";
+        work: "work";
+    }>;
+    taskId: z.ZodString;
+    inputDigest: z.ZodString;
+    methodId: z.ZodString;
+    loadedMethod: z.ZodObject<{
+        name: z.ZodString;
+        revision: z.ZodString;
+        source: z.ZodString;
+        body: z.ZodString;
+    }, z.core.$strict>;
+    harnessRevision: z.ZodString;
+    conditionsId: z.ZodString;
+    actor: z.ZodObject<{
+        role: z.ZodString;
+        sessionId: z.ZodString;
+    }, z.core.$strict>;
+    metrics: z.ZodObject<{
+        outcome: z.ZodEnum<{
+            fail: "fail";
+            pass: "pass";
+            uncertain: "uncertain";
+        }>;
+        interventions: z.ZodNumber;
+        retries: z.ZodNumber;
+    }, z.core.$strict>;
+    evidence: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        digest: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"propose">;
+    id: z.ZodString;
+    candidate: z.ZodObject<{
+        name: z.ZodString;
+        revision: z.ZodString;
+        source: z.ZodString;
+        body: z.ZodString;
+    }, z.core.$strict>;
+    weakness: z.ZodString;
+    hypothesis: z.ZodString;
+    mutation: z.ZodString;
+    evidenceRunIds: z.ZodArray<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    id: z.ZodString;
+    criteriaId: z.ZodString;
+    reviewer: z.ZodObject<{
+        role: z.ZodLiteral<"reviewer">;
+        sessionId: z.ZodString;
+    }, z.core.$strict>;
+    pairs: z.ZodArray<z.ZodObject<{
+        incumbentRunId: z.ZodString;
+        candidateRunId: z.ZodString;
+        incumbent: z.ZodObject<{
+            outcome: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+            interventions: z.ZodNumber;
+            retries: z.ZodNumber;
+        }, z.core.$strict>;
+        candidate: z.ZodObject<{
+            outcome: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+            interventions: z.ZodNumber;
+            retries: z.ZodNumber;
+        }, z.core.$strict>;
+        evidence: z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            digest: z.ZodString;
+        }, z.core.$strict>>;
+        checks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            incumbent: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+            candidate: z.ZodEnum<{
+                fail: "fail";
+                pass: "pass";
+                uncertain: "uncertain";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"promote">;
+    id: z.ZodString;
+    approval: z.ZodObject<{
+        ref: z.ZodString;
+        candidateId: z.ZodString;
+        reviewId: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"rollback">;
+    id: z.ZodString;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        digest: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>], "type">;
+export type ExperimentEvent = z.infer<typeof eventSchema>;
+export type Method = z.infer<typeof method>;
+export type RunRecord = z.infer<typeof run>;
+/** Capture the cached/resolved body, not a later read of its file on disk. */
+export declare function snapshotLoadedSkill(skill: Pick<SkillInfo, 'name' | 'location' | 'body'>, revision: string): Method;
+export interface Experiment {
+    id: string;
+    criteria: z.infer<typeof criteria>;
+    criteriaId: string;
+    incumbent: Method;
+    incumbentId: string;
+    activeMethodId: string;
+    runs: Record<string, RunRecord>;
+    proposal?: z.infer<typeof propose>;
+    candidateId?: string;
+    review?: z.infer<typeof compare>;
+    decision?: {
+        verdict: 'keep' | 'reject' | 'inconclusive';
+        reason: string;
+    };
+    promotion?: z.infer<typeof promote>;
+    adoption?: {
+        promotionId: string;
+        runId: string;
+        methodId: string;
+    };
+    rollback?: z.infer<typeof rollback> & {
+        promotionId: string;
+    };
+    eventIds: string[];
+}
+/** Canonical JSON identity; body whitespace remains significant. */
+export declare function digest(value: unknown): string;
+/** Evidence files use their actual bytes, unlike canonical JSON method identities. */
+export declare function contentDigest(value: string | Buffer): string;
+/** Single-experiment reducer. No providers, tool authority, skill writes or retries. */
+export declare function applyEvent(previous: Experiment | null, input: unknown): Experiment;
+export {};
+//# sourceMappingURL=experiment.d.ts.map

package/dist/services/workflow-evolution/experiment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"experiment.d.ts","sourceRoot":"","sources":["../../../source/services/workflow-evolution/experiment.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAM7D,QAAA,MAAM,MAAM;;;;;kBAA2F,CAAC;AAQxG,QAAA,MAAM,QAAQ;;;;;;;;;kBAQH,CAAC;AAEZ,QAAA,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAeE,CAAC;AACZ,QAAA,MAAM,OAAO;;;;;;;;;;;;;kBAUF,CAAC;AACZ,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA6BF,CAAC;AACZ,QAAA,MAAM,OAAO;;;;;;;;kBAMF,CAAC;AACZ,QAAA,MAAM,QAAQ;;;;;;;;kBAAuF,CAAC;AACtG,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAAiF,CAAC;AAC1G,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAC1D,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;AAE5C,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAElH;AACD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAChC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;IACnC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,GAAG,cAAc,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3E,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;IACpC,QAAQ,CAAC,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,GAAG;QAAE,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9D,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,oEAAoE;AACpE,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAe7C;AAED,sFAAsF;AACtF,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAE5D;AAMD,wFAAwF;AACxF,wBAAgB,UAAU,CAAC,QAAQ,EAAE,UAAU,GAAG,IAAI,EAAE,KAAK,EAAE,OAAO,GAAG,UAAU,CAgLlF"}