@zelari/core 1.49.0 → 2.0.0-alpha.2

package/dist/verification/criteriaPack.v1.js

@@ -0,0 +1,58 @@
+/**
+ * verification/criteriaPack.v1.ts — Zelari Coding Criteria Pack v1.
+ *
+ * Category ids follow the plan §3A.4 taxonomy:
+ *   correctness.{specification, observable-output, error-signals}
+ *   quality.{scope-discipline, regression-risk}
+ *   evidence.verification-quality
+ *
+ * Commands are repo-overridable; passing `null` leaves the criterion without
+ * a deterministic check → honestly `unknown` (advisory), never `pass`.
+ */
+export const ZELARI_CODING_PACK_ID = 'zelari-coding/v1';
+export function codingCriteriaPack(options = {}) {
+    const timeoutMs = options.commandTimeoutMs ?? 600_000;
+    const command = (command) => command ? { kind: 'command', command, timeoutMs } : undefined;
+    const criteria = [
+        {
+            id: 'correctness.error-signals',
+            text: 'Static checks (typecheck) pass with no new errors.',
+            source: 'criteria-pack',
+            required: true,
+            check: command(options.typecheckCommand ?? 'npm run typecheck'),
+        },
+        {
+            id: 'correctness.specification',
+            text: 'The test suite passes — behavior matches the specification.',
+            source: 'criteria-pack',
+            required: true,
+            check: command(options.testCommand ?? 'npm run test'),
+        },
+        {
+            id: 'correctness.observable-output',
+            text: 'The project builds successfully (observable output artifact).',
+            source: 'criteria-pack',
+            required: true,
+            check: command(options.buildCommand ?? 'npm run build'),
+        },
+        {
+            id: 'quality.scope-discipline',
+            text: 'No unrelated files changed (minimal diff discipline).',
+            source: 'criteria-pack',
+            required: false,
+            check: command(options.scopeCommand),
+        },
+        {
+            id: 'evidence.verification-quality',
+            text: 'Verification evidence is traceable to the original tool output.',
+            source: 'criteria-pack',
+            required: false,
+            check: {
+                kind: 'none',
+                reason: 'advisory: audited via EvidenceRef digests on the session spine',
+            },
+        },
+    ];
+    return { id: ZELARI_CODING_PACK_ID, criteria };
+}
+//# sourceMappingURL=criteriaPack.v1.js.map

package/dist/verification/criteriaPack.v1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"criteriaPack.v1.js","sourceRoot":"","sources":["../../src/verification/criteriaPack.v1.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAG,kBAAkB,CAAC;AAgBxD,MAAM,UAAU,kBAAkB,CAAC,UAA6B,EAAE;IAChE,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC;IACtD,MAAM,OAAO,GAAG,CAAC,OAAkC,EAAsB,EAAE,CACzE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEhE,MAAM,QAAQ,GAAgB;QAC5B;YACE,EAAE,EAAE,2BAA2B;YAC/B,IAAI,EAAE,oDAAoD;YAC1D,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,IAAI,mBAAmB,CAAC;SAChE;QACD;YACE,EAAE,EAAE,2BAA2B;YAC/B,IAAI,EAAE,6DAA6D;YACnE,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW,IAAI,cAAc,CAAC;SACtD;QACD;YACE,EAAE,EAAE,+BAA+B;YACnC,IAAI,EAAE,+DAA+D;YACrE,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,YAAY,IAAI,eAAe,CAAC;SACxD;QACD;YACE,EAAE,EAAE,0BAA0B;YAC9B,IAAI,EAAE,uDAAuD;YAC7D,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC;SACrC;QACD;YACE,EAAE,EAAE,+BAA+B;YACnC,IAAI,EAAE,iEAAiE;YACvE,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,gEAAgE;aACzE;SACF;KACF,CAAC;IAEF,OAAO,EAAE,EAAE,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC"}

package/dist/verification/engine.d.ts

@@ -0,0 +1,38 @@
+/**
+ * verification/engine.ts — deterministic VerificationEngine (ADR-0023).
+ *
+ * Zero LLM: criteria with a deterministic check are evaluated via the
+ * injected Shell/Fs providers; everything else (no check, provider missing,
+ * timeout) is honestly `unknown`. Every result carries EvidenceRef with a
+ * sha256 digest of the captured output, and a `verification.run` event is
+ * appended to the session spine when an emitter is configured.
+ */
+import type { FsProvider, ShellProvider } from '../runtime/providers.js';
+import type { SessionEventInput } from '../session/types.js';
+import type { Criterion, VerificationResult } from './types.js';
+export interface VerificationServices {
+    shell?: ShellProvider;
+    fs?: FsProvider;
+}
+export interface VerificationEngineOptions {
+    /** Session spine emitter (ExecutionContext.appendSessionEvent). */
+    emit?: (input: SessionEventInput) => Promise<unknown>;
+    now?: () => number;
+    sha256?: (input: string) => string;
+}
+export declare class VerificationEngine {
+    private readonly services;
+    private readonly options;
+    constructor(services?: VerificationServices, options?: VerificationEngineOptions);
+    /** Evaluate criteria deterministically; optionally emit the spine event. */
+    evaluate(criteria: readonly Criterion[], context?: {
+        packId?: string;
+    }): Promise<VerificationResult[]>;
+    private evaluateOne;
+    private evalCommand;
+    private fsEvidence;
+    private evalFileExists;
+    private evalFileAbsent;
+    private evalFileContains;
+}
+//# sourceMappingURL=engine.d.ts.map

package/dist/verification/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/verification/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAe,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAE7E,MAAM,WAAW,oBAAoB;IACnC,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,EAAE,CAAC,EAAE,UAAU,CAAC;CACjB;AAED,MAAM,WAAW,yBAAyB;IACxC,mEAAmE;IACnE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtD,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;CACpC;AAUD,qBAAa,kBAAkB;IAE3B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO;gBADP,QAAQ,GAAE,oBAAyB,EACnC,OAAO,GAAE,yBAA8B;IAG1D,4EAA4E;IACtE,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,EAAE,OAAO,GAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAuBlG,WAAW;YAqCX,WAAW;IAuCzB,OAAO,CAAC,UAAU;YAIJ,cAAc;YAad,cAAc;YAYd,gBAAgB;CAwB/B"}

package/dist/verification/engine.js

@@ -0,0 +1,163 @@
+/**
+ * verification/engine.ts — deterministic VerificationEngine (ADR-0023).
+ *
+ * Zero LLM: criteria with a deterministic check are evaluated via the
+ * injected Shell/Fs providers; everything else (no check, provider missing,
+ * timeout) is honestly `unknown`. Every result carries EvidenceRef with a
+ * sha256 digest of the captured output, and a `verification.run` event is
+ * appended to the session spine when an emitter is configured.
+ */
+import { createHash } from 'node:crypto';
+function defaultSha256(input) {
+    return createHash('sha256').update(input).digest('hex');
+}
+function tail(text, max = 400) {
+    return text.length > max ? `…${text.slice(text.length - max)}` : text;
+}
+export class VerificationEngine {
+    services;
+    options;
+    constructor(services = {}, options = {}) {
+        this.services = services;
+        this.options = options;
+    }
+    /** Evaluate criteria deterministically; optionally emit the spine event. */
+    async evaluate(criteria, context = {}) {
+        const results = [];
+        for (const criterion of criteria) {
+            results.push(await this.evaluateOne(criterion));
+        }
+        if (this.options.emit) {
+            await this.options.emit({
+                kind: 'verification.run',
+                actor: { type: 'system', role: 'verification' },
+                data: {
+                    source: 'deterministic-engine',
+                    packId: context.packId,
+                    results: results.map((r) => ({
+                        criterionId: r.criterionId,
+                        status: r.status,
+                        evidence: r.evidence.map((e) => ({ tier: e.tier, ref: e.ref, digest: e.digest })),
+                    })),
+                },
+            });
+        }
+        return results;
+    }
+    async evaluateOne(criterion) {
+        const started = this.options.now?.() ?? Date.now();
+        const base = {
+            criterionId: criterion.id,
+            source: 'deterministic-engine',
+            evaluatedAt: started,
+        };
+        const done = (patch) => ({
+            ...base,
+            ...patch,
+            durationMs: Math.max(0, (this.options.now?.() ?? Date.now()) - started),
+        });
+        const check = criterion.check;
+        if (!check || check.kind === 'none') {
+            return done({
+                status: 'unknown',
+                evidence: [],
+                detail: check?.kind === 'none' && check.reason
+                    ? check.reason
+                    : 'no deterministic check bound — unknown ≠ pass',
+            });
+        }
+        switch (check.kind) {
+            case 'command':
+                return await this.evalCommand(check, done);
+            case 'file-exists':
+                return await this.evalFileExists(check, done);
+            case 'file-contains':
+                return await this.evalFileContains(check, done);
+            case 'file-absent':
+                return await this.evalFileAbsent(check, done);
+        }
+    }
+    async evalCommand(check, done) {
+        const sha256 = this.options.sha256 ?? defaultSha256;
+        const shell = this.services.shell;
+        if (!shell) {
+            return done({ status: 'unknown', evidence: [], detail: 'shell provider unavailable' });
+        }
+        const result = await shell.exec(check.command, { timeoutMs: check.timeoutMs });
+        const evidence = [
+            {
+                tier: 'command-output',
+                ref: `${check.command} → exit ${result.exitCode ?? 'signal'}`,
+                capturedAt: Date.now(),
+                digest: sha256(result.stdout),
+            },
+        ];
+        if (result.timedOut) {
+            return done({ status: 'unknown', evidence, detail: `command timed out (${check.timeoutMs ?? 'default'}ms)` });
+        }
+        const expectExit = check.expectExit ?? 0;
+        if (result.exitCode !== expectExit) {
+            return done({
+                status: 'fail',
+                evidence,
+                detail: `exit ${result.exitCode} (expected ${expectExit}) — stderr: ${tail(result.stderr)}`,
+            });
+        }
+        if (check.expectStdoutIncludes && !result.stdout.includes(check.expectStdoutIncludes)) {
+            return done({
+                status: 'fail',
+                evidence,
+                detail: `stdout missing "${check.expectStdoutIncludes}" — got: ${tail(result.stdout)}`,
+            });
+        }
+        return done({ status: 'pass', evidence });
+    }
+    fsEvidence(path, content, sha256) {
+        return { tier: 'fs-observation', ref: path, capturedAt: Date.now(), digest: sha256(content) };
+    }
+    async evalFileExists(check, done) {
+        const sha256 = this.options.sha256 ?? defaultSha256;
+        const fs = this.services.fs;
+        if (!fs)
+            return done({ status: 'unknown', evidence: [], detail: 'fs provider unavailable' });
+        const exists = await fs.exists(check.path);
+        if (!exists)
+            return done({ status: 'fail', evidence: [], detail: `file not found: ${check.path}` });
+        const content = await fs.readFile(check.path).catch(() => '');
+        return done({ status: 'pass', evidence: [this.fsEvidence(check.path, content, sha256)] });
+    }
+    async evalFileAbsent(check, done) {
+        const fs = this.services.fs;
+        if (!fs)
+            return done({ status: 'unknown', evidence: [], detail: 'fs provider unavailable' });
+        const exists = await fs.exists(check.path);
+        return exists
+            ? done({ status: 'fail', evidence: [], detail: `file still present: ${check.path}` })
+            : done({ status: 'pass', evidence: [{ tier: 'fs-observation', ref: check.path, capturedAt: Date.now() }] });
+    }
+    async evalFileContains(check, done) {
+        const sha256 = this.options.sha256 ?? defaultSha256;
+        const fs = this.services.fs;
+        if (!fs)
+            return done({ status: 'unknown', evidence: [], detail: 'fs provider unavailable' });
+        let content;
+        try {
+            content = await fs.readFile(check.path);
+        }
+        catch {
+            return done({ status: 'fail', evidence: [], detail: `file not readable: ${check.path}` });
+        }
+        const evidence = [this.fsEvidence(check.path, content, sha256)];
+        let hit;
+        try {
+            hit = new RegExp(check.pattern, 'm').test(content);
+        }
+        catch {
+            hit = content.includes(check.pattern);
+        }
+        return hit
+            ? done({ status: 'pass', evidence })
+            : done({ status: 'fail', evidence, detail: `pattern not found in ${check.path}: ${tail(check.pattern)}` });
+    }
+}
+//# sourceMappingURL=engine.js.map

package/dist/verification/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/verification/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAiBzC,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,GAAG,GAAG,GAAG;IACnC,OAAO,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,MAAM,OAAO,kBAAkB;IAEV;IACA;IAFnB,YACmB,WAAiC,EAAE,EACnC,UAAqC,EAAE;QADvC,aAAQ,GAAR,QAAQ,CAA2B;QACnC,YAAO,GAAP,OAAO,CAAgC;IACvD,CAAC;IAEJ,4EAA4E;IAC5E,KAAK,CAAC,QAAQ,CAAC,QAA8B,EAAE,UAA+B,EAAE;QAC9E,MAAM,OAAO,GAAyB,EAAE,CAAC;QACzC,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACtB,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;gBACtB,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE;gBAC/C,IAAI,EAAE;oBACJ,MAAM,EAAE,sBAAsB;oBAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;qBAClF,CAAC,CAAC;iBACJ;aACF,CAAC,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,SAAoB;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG;YACX,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,MAAM,EAAE,sBAA+B;YACvC,WAAW,EAAE,OAAO;SACrB,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,KAA4E,EAAsB,EAAE,CAAC,CAAC;YAClH,GAAG,IAAI;YACP,GAAG,KAAK;YACR,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC;SACxE,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;QAC9B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;gBACV,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,EAAE;gBACZ,MAAM,EACJ,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM;oBACpC,CAAC,CAAC,KAAK,CAAC,MAAM;oBACd,CAAC,CAAC,+CAA+C;aACtD,CAAC,CAAC;QACL,CAAC;QAED,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,SAAS;gBACZ,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC7C,KAAK,aAAa;gBAChB,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChD,KAAK,eAAe;gBAClB,OAAO,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClD,KAAK,aAAa;gBAChB,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,KAAkG,EAClG,IAA0G;QAE1G,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAkB;YAC9B;gBACE,IAAI,EAAE,gBAAgB;gBACtB,GAAG,EAAE,GAAG,KAAK,CAAC,OAAO,WAAW,MAAM,CAAC,QAAQ,IAAI,QAAQ,EAAE;gBAC7D,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;aAC9B;SACF,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,sBAAsB,KAAK,CAAC,SAAS,IAAI,SAAS,KAAK,EAAE,CAAC,CAAC;QAChH,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC;gBACV,MAAM,EAAE,MAAM;gBACd,QAAQ;gBACR,MAAM,EAAE,QAAQ,MAAM,CAAC,QAAQ,cAAc,UAAU,eAAe,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;aAC5F,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,oBAAoB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACtF,OAAO,IAAI,CAAC;gBACV,MAAM,EAAE,MAAM;gBACd,QAAQ;gBACR,MAAM,EAAE,mBAAmB,KAAK,CAAC,oBAAoB,YAAY,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;aACvF,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,UAAU,CAAC,IAAY,EAAE,OAAe,EAAE,MAA6B;QAC7E,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;IAChG,CAAC;IAEO,KAAK,CAAC,cAAc,CAC1B,KAAuB,EACvB,IAA0G;QAE1G,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,mBAAmB,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpG,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;IAEO,KAAK,CAAC,cAAc,CAC1B,KAAuB,EACvB,IAA0G;QAE1G,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,OAAO,MAAM;YACX,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,uBAAuB,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACrF,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAChH,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAC5B,KAAwC,EACxC,IAA0G;QAE1G,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;QAC7F,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,sBAAsB,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,IAAI,GAAY,CAAC;QACjB,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,GAAG;YACR,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACpC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,wBAAwB,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/G,CAAC;CACF"}

package/dist/verification/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * @zelari/core/verification — deterministic evidence contract + optional
+ * LLM VerifierService (ADR-0023).
+ */
+export * from './types.js';
+export * from './engine.js';
+export * from './completionPolicy.js';
+export * from './criteriaPack.v1.js';
+export * from './metrics.js';
+export * from './verifier.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/verification/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC"}

package/dist/verification/index.js

@@ -0,0 +1,11 @@
+/**
+ * @zelari/core/verification — deterministic evidence contract + optional
+ * LLM VerifierService (ADR-0023).
+ */
+export * from './types.js';
+export * from './engine.js';
+export * from './completionPolicy.js';
+export * from './criteriaPack.v1.js';
+export * from './metrics.js';
+export * from './verifier.js';
+//# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC"}

package/dist/verification/metrics.d.ts

@@ -0,0 +1,26 @@
+/**
+ * verification/metrics.ts — false-done and verification-cost metrics (plan §23).
+ *
+ * North star: average cost per verified solved task. These helpers feed the
+ * harness-delta benchmark reports (minimal vs kraken vs +verification).
+ */
+export interface TaskOutcomeSample {
+    taskId: string;
+    /** The agent claimed the task done. */
+    claimedDone: boolean;
+    /** Deterministic verification verdict (undefined = not verified). */
+    verified?: boolean;
+}
+export interface FalseDoneStats {
+    claimed: number;
+    falseDone: number;
+    /** falseDone / claimed (0 when nothing was claimed). */
+    rate: number;
+}
+/** Share of claimed-done tasks that did NOT survive deterministic verification. */
+export declare function computeFalseDoneRate(samples: readonly TaskOutcomeSample[]): FalseDoneStats;
+/** Verified solve rate over all tasks (verified / total). */
+export declare function verifiedSolveRate(samples: readonly TaskOutcomeSample[]): number;
+/** Verification cost ratio; null when total time is unknown/zero. */
+export declare function verificationCostRatio(verificationMs: number, totalMs: number): number | null;
+//# sourceMappingURL=metrics.d.ts.map

package/dist/verification/metrics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metrics.d.ts","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,cAAc,CAQ1F;AAED,6DAA6D;AAC7D,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,MAAM,CAG/E;AAED,qEAAqE;AACrE,wBAAgB,qBAAqB,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG5F"}

package/dist/verification/metrics.js

@@ -0,0 +1,29 @@
+/**
+ * verification/metrics.ts — false-done and verification-cost metrics (plan §23).
+ *
+ * North star: average cost per verified solved task. These helpers feed the
+ * harness-delta benchmark reports (minimal vs kraken vs +verification).
+ */
+/** Share of claimed-done tasks that did NOT survive deterministic verification. */
+export function computeFalseDoneRate(samples) {
+    const claimed = samples.filter((s) => s.claimedDone);
+    const falseDone = claimed.filter((s) => s.verified !== true);
+    return {
+        claimed: claimed.length,
+        falseDone: falseDone.length,
+        rate: claimed.length === 0 ? 0 : falseDone.length / claimed.length,
+    };
+}
+/** Verified solve rate over all tasks (verified / total). */
+export function verifiedSolveRate(samples) {
+    if (samples.length === 0)
+        return 0;
+    return samples.filter((s) => s.verified === true).length / samples.length;
+}
+/** Verification cost ratio; null when total time is unknown/zero. */
+export function verificationCostRatio(verificationMs, totalMs) {
+    if (totalMs <= 0)
+        return null;
+    return verificationMs / totalMs;
+}
+//# sourceMappingURL=metrics.js.map

package/dist/verification/metrics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,OAAqC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC7D,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;KACnE,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,iBAAiB,CAAC,OAAqC;IACrE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,qBAAqB,CAAC,cAAsB,EAAE,OAAe;IAC3E,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,cAAc,GAAG,OAAO,CAAC;AAClC,CAAC"}

package/dist/verification/types.d.ts

@@ -0,0 +1,161 @@
+/**
+ * verification/types.ts — the evidence contract (ADR-0023).
+ *
+ * Criterion → VerificationResult → EvidenceRef → session event → original
+ * tool output. `unknown ≠ pass` everywhere: a criterion that cannot be
+ * evaluated deterministically is `unknown`, never `pass`.
+ */
+import { z } from 'zod';
+export declare const CriterionSourceSchema: z.ZodEnum<{
+    plan: "plan";
+    task: "task";
+    mission: "mission";
+    "kraken-selection": "kraken-selection";
+    "criteria-pack": "criteria-pack";
+}>;
+export type CriterionSource = z.infer<typeof CriterionSourceSchema>;
+export declare const CommandCheckSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"command">;
+    command: z.ZodString;
+    expectExit: z.ZodOptional<z.ZodNumber>;
+    expectStdoutIncludes: z.ZodOptional<z.ZodString>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const FileExistsCheckSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"file-exists">;
+    path: z.ZodString;
+}, z.core.$strip>;
+export declare const FileContainsCheckSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"file-contains">;
+    path: z.ZodString;
+    pattern: z.ZodString;
+}, z.core.$strip>;
+export declare const FileAbsentCheckSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"file-absent">;
+    path: z.ZodString;
+}, z.core.$strip>;
+export declare const NoneCheckSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"none">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const DeterministicCheckSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"command">;
+    command: z.ZodString;
+    expectExit: z.ZodOptional<z.ZodNumber>;
+    expectStdoutIncludes: z.ZodOptional<z.ZodString>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"file-exists">;
+    path: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"file-contains">;
+    path: z.ZodString;
+    pattern: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"file-absent">;
+    path: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"none">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>], "kind">;
+export type DeterministicCheck = z.infer<typeof DeterministicCheckSchema>;
+export declare const CriterionSchema: z.ZodObject<{
+    id: z.ZodString;
+    text: z.ZodString;
+    source: z.ZodEnum<{
+        plan: "plan";
+        task: "task";
+        mission: "mission";
+        "kraken-selection": "kraken-selection";
+        "criteria-pack": "criteria-pack";
+    }>;
+    required: z.ZodBoolean;
+    check: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"command">;
+        command: z.ZodString;
+        expectExit: z.ZodOptional<z.ZodNumber>;
+        expectStdoutIncludes: z.ZodOptional<z.ZodString>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"file-exists">;
+        path: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"file-contains">;
+        path: z.ZodString;
+        pattern: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"file-absent">;
+        path: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"none">;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>], "kind">>;
+}, z.core.$strip>;
+export type Criterion = z.infer<typeof CriterionSchema>;
+export declare const EvidenceTierSchema: z.ZodEnum<{
+    "tool-output": "tool-output";
+    "command-output": "command-output";
+    "fs-observation": "fs-observation";
+    "verifier-llm": "verifier-llm";
+    human: "human";
+}>;
+export type EvidenceRefTier = z.infer<typeof EvidenceTierSchema>;
+export declare const EvidenceRefSchema: z.ZodObject<{
+    seq: z.ZodOptional<z.ZodNumber>;
+    tier: z.ZodEnum<{
+        "tool-output": "tool-output";
+        "command-output": "command-output";
+        "fs-observation": "fs-observation";
+        "verifier-llm": "verifier-llm";
+        human: "human";
+    }>;
+    ref: z.ZodString;
+    capturedAt: z.ZodNumber;
+    digest: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type EvidenceRef = z.infer<typeof EvidenceRefSchema>;
+export declare const VerificationStatusSchema: z.ZodEnum<{
+    unknown: "unknown";
+    pass: "pass";
+    fail: "fail";
+}>;
+export type VerificationStatus = z.infer<typeof VerificationStatusSchema>;
+export declare const VerificationSourceSchema: z.ZodEnum<{
+    human: "human";
+    "deterministic-engine": "deterministic-engine";
+    "verify-agent": "verify-agent";
+    "verifier-model": "verifier-model";
+}>;
+export type VerificationSource = z.infer<typeof VerificationSourceSchema>;
+export declare const VerificationResultSchema: z.ZodObject<{
+    criterionId: z.ZodString;
+    status: z.ZodEnum<{
+        unknown: "unknown";
+        pass: "pass";
+        fail: "fail";
+    }>;
+    source: z.ZodEnum<{
+        human: "human";
+        "deterministic-engine": "deterministic-engine";
+        "verify-agent": "verify-agent";
+        "verifier-model": "verifier-model";
+    }>;
+    evidence: z.ZodArray<z.ZodObject<{
+        seq: z.ZodOptional<z.ZodNumber>;
+        tier: z.ZodEnum<{
+            "tool-output": "tool-output";
+            "command-output": "command-output";
+            "fs-observation": "fs-observation";
+            "verifier-llm": "verifier-llm";
+            human: "human";
+        }>;
+        ref: z.ZodString;
+        capturedAt: z.ZodNumber;
+        digest: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    evaluatedAt: z.ZodNumber;
+    durationMs: z.ZodNumber;
+    detail: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type VerificationResult = z.infer<typeof VerificationResultSchema>;
+//# sourceMappingURL=types.d.ts.map

package/dist/verification/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,kBAAkB;;;;;;iBAQ7B,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;iBAGhC,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;iBAKlC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;iBAGhC,CAAC;AAEH,eAAO,MAAM,eAAe;;;iBAG1B,CAAC;AAEH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;2BAMnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAQ1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,kBAAkB;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEjE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;iBAS5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,wBAAwB;;;;EAAsC,CAAC;AAC5E,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,wBAAwB;;;;;EAKnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAQnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC"}

package/dist/verification/types.js

@@ -0,0 +1,92 @@
+/**
+ * verification/types.ts — the evidence contract (ADR-0023).
+ *
+ * Criterion → VerificationResult → EvidenceRef → session event → original
+ * tool output. `unknown ≠ pass` everywhere: a criterion that cannot be
+ * evaluated deterministically is `unknown`, never `pass`.
+ */
+import { z } from 'zod';
+export const CriterionSourceSchema = z.enum([
+    'task',
+    'plan',
+    'kraken-selection',
+    'mission',
+    'criteria-pack',
+]);
+export const CommandCheckSchema = z.object({
+    kind: z.literal('command'),
+    command: z.string().min(1),
+    /** Expected exit code (default 0). */
+    expectExit: z.number().int().optional(),
+    /** Required stdout substring. */
+    expectStdoutIncludes: z.string().optional(),
+    timeoutMs: z.number().int().positive().optional(),
+});
+export const FileExistsCheckSchema = z.object({
+    kind: z.literal('file-exists'),
+    path: z.string().min(1),
+});
+export const FileContainsCheckSchema = z.object({
+    kind: z.literal('file-contains'),
+    path: z.string().min(1),
+    /** Substring or valid regex source. */
+    pattern: z.string().min(1),
+});
+export const FileAbsentCheckSchema = z.object({
+    kind: z.literal('file-absent'),
+    path: z.string().min(1),
+});
+export const NoneCheckSchema = z.object({
+    kind: z.literal('none'),
+    reason: z.string().optional(),
+});
+export const DeterministicCheckSchema = z.discriminatedUnion('kind', [
+    CommandCheckSchema,
+    FileExistsCheckSchema,
+    FileContainsCheckSchema,
+    FileAbsentCheckSchema,
+    NoneCheckSchema,
+]);
+export const CriterionSchema = z.object({
+    id: z.string().min(1),
+    /** Human-readable statement of what "done" means for this criterion. */
+    text: z.string().min(1),
+    source: CriterionSourceSchema,
+    /** Required criteria gate completion; optional ones are advisory. */
+    required: z.boolean(),
+    check: DeterministicCheckSchema.optional(),
+});
+export const EvidenceTierSchema = z.enum([
+    'tool-output',
+    'command-output',
+    'fs-observation',
+    'verifier-llm',
+    'human',
+]);
+export const EvidenceRefSchema = z.object({
+    /** Seq of the originating session event, when the evidence is logged. */
+    seq: z.number().int().positive().optional(),
+    tier: EvidenceTierSchema,
+    /** Human-readable pointer: command line, file path, tool call id… */
+    ref: z.string().min(1),
+    capturedAt: z.number().int().nonnegative(),
+    /** sha256 of the captured output (audit chain). */
+    digest: z.string().optional(),
+});
+export const VerificationStatusSchema = z.enum(['pass', 'fail', 'unknown']);
+export const VerificationSourceSchema = z.enum([
+    'deterministic-engine',
+    'verify-agent',
+    'verifier-model',
+    'human',
+]);
+export const VerificationResultSchema = z.object({
+    criterionId: z.string().min(1),
+    status: VerificationStatusSchema,
+    source: VerificationSourceSchema,
+    evidence: z.array(EvidenceRefSchema),
+    evaluatedAt: z.number().int().nonnegative(),
+    durationMs: z.number().int().nonnegative(),
+    detail: z.string().optional(),
+});
+//# sourceMappingURL=types.js.map

package/dist/verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC1C,MAAM;IACN,MAAM;IACN,kBAAkB;IAClB,SAAS;IACT,eAAe;CAChB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,sCAAsC;IACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,iCAAiC;IACjC,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,uCAAuC;IACvC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACnE,kBAAkB;IAClB,qBAAqB;IACrB,uBAAuB;IACvB,qBAAqB;IACrB,eAAe;CAChB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,wEAAwE;IACxE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,qBAAqB;IAC7B,qEAAqE;IACrE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,KAAK,EAAE,wBAAwB,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,aAAa;IACb,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,OAAO;CACR,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,yEAAyE;IACzE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC3C,IAAI,EAAE,kBAAkB;IACxB,qEAAqE;IACrE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC1C,mDAAmD;IACnD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAG5E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7C,sBAAsB;IACtB,cAAc;IACd,gBAAgB;IAChB,OAAO;CACR,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,wBAAwB;IAChC,MAAM,EAAE,wBAAwB;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC1C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC"}