@zelari/core 1.48.1 → 2.0.0-alpha.2

package/dist/skills/index.js

@@ -8,7 +8,7 @@ export * from '../agents/toolSchemas.js';
 export * from '../agents/advancedTools.js';
 export * from '../agents/vaultTools.js';
 export { cliToolToEnhanced } from '../agents/harnessToolBridge.js';
-export { KRAKEN_IDENTITY_MODULE, KRAKEN_LEAD_PLAYBOOK_MODULE, SINGLE_AGENT_IDENTITY_MODULE, getBasePromptModules, CODING_PRACTICES_MODULE, NATIVE_TOOL_PROTOCOL_MODULE, CLARIFICATION_PROTOCOL_MODULE, } from '../agents/promptModules.js';
+export { KRAKEN_IDENTITY_MODULE, KRAKEN_LEAD_PLAYBOOK_MODULE, KRAKEN_SELECTION_PLAYBOOK_MODULE, SINGLE_AGENT_IDENTITY_MODULE, getBasePromptModules, CODING_PRACTICES_MODULE, NATIVE_TOOL_PROTOCOL_MODULE, CLARIFICATION_PROTOCOL_MODULE, } from '../agents/promptModules.js';
 export { buildSystemPrompt, buildSystemPromptSplit, systemMessagesFromSplit, } from '../agents/systemPromptBuilder.js';
 export { detectResponseLanguage, resolveResponseLanguage, buildLanguageDirective, buildLanguagePolicyModule, buildLanguagePolicyModuleFor, LANGUAGE_POLICY_MODULE_TYPE, } from '../agents/languagePolicy.js';
 //# sourceMappingURL=index.js.map

package/dist/skills/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/skills/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,0BAA0B,CAAC;AACzC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,yBAAyB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAEnE,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,oBAAoB,EACpB,uBAAuB,EACvB,2BAA2B,EAC3B,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,4BAA4B,EAC5B,2BAA2B,GAC5B,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/skills/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,0BAA0B,CAAC;AACzC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,yBAAyB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAEnE,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,gCAAgC,EAChC,4BAA4B,EAC5B,oBAAoB,EACpB,uBAAuB,EACvB,2BAA2B,EAC3B,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,4BAA4B,EAC5B,2BAA2B,GAC5B,MAAM,6BAA6B,CAAC"}

package/dist/verification/completionPolicy.d.ts

@@ -0,0 +1,33 @@
+/**
+ * verification/completionPolicy.ts — evidence-based completion gate (ADR-0023).
+ *
+ * PASS only when every required criterion has a `pass` result WITH at least
+ * one EvidenceRef. `fail` → REPAIR_REQUIRED (repair loop); missing/unknown
+ * (including "pass without evidence") → BLOCKED. A clean "done" without
+ * sufficient evidence is blockable by construction: unknown ≠ pass.
+ */
+import type { Criterion, VerificationResult } from './types.js';
+export type CompletionVerdict = 'PASS' | 'REPAIR_REQUIRED' | 'BLOCKED';
+export interface CompletionPolicy {
+    mode: 'strict';
+    /** Criterion ids gating completion; '*' = every criterion with required:true. */
+    required: '*' | string[];
+}
+export declare const STRICT_ALL_POLICY: CompletionPolicy;
+export interface UnsatisfiedCriterion {
+    id: string;
+    status: 'fail' | 'unknown' | 'missing';
+    reason: string;
+}
+export interface CompletionEvaluation {
+    verdict: CompletionVerdict;
+    satisfied: string[];
+    unsatisfied: UnsatisfiedCriterion[];
+    /** True when every required criterion passed with evidence. */
+    evidenceComplete: boolean;
+    summary: string;
+}
+export declare function evaluateCompletion(criteria: readonly Criterion[], results: readonly VerificationResult[], policy?: CompletionPolicy): CompletionEvaluation;
+/** Alias for the strict BUILD/mission completion gate (ZELARI_STRICT_DONE). */
+export declare const strictBuildGate: typeof evaluateCompletion;
+//# sourceMappingURL=completionPolicy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"completionPolicy.d.ts","sourceRoot":"","sources":["../../src/verification/completionPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhE,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;AAEvE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,iFAAiF;IACjF,QAAQ,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC;CAC1B;AAED,eAAO,MAAM,iBAAiB,EAAE,gBAAoD,CAAC;AAErF,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,+DAA+D;IAC/D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;CACjB;AAQD,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,SAAS,SAAS,EAAE,EAC9B,OAAO,EAAE,SAAS,kBAAkB,EAAE,EACtC,MAAM,GAAE,gBAAoC,GAC3C,oBAAoB,CAuDtB;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe,2BAAqB,CAAC"}

package/dist/verification/completionPolicy.js

@@ -0,0 +1,68 @@
+/**
+ * verification/completionPolicy.ts — evidence-based completion gate (ADR-0023).
+ *
+ * PASS only when every required criterion has a `pass` result WITH at least
+ * one EvidenceRef. `fail` → REPAIR_REQUIRED (repair loop); missing/unknown
+ * (including "pass without evidence") → BLOCKED. A clean "done" without
+ * sufficient evidence is blockable by construction: unknown ≠ pass.
+ */
+export const STRICT_ALL_POLICY = { mode: 'strict', required: '*' };
+function lastResultById(results) {
+    const map = new Map();
+    for (const r of results)
+        map.set(r.criterionId, r);
+    return map;
+}
+export function evaluateCompletion(criteria, results, policy = STRICT_ALL_POLICY) {
+    const requiredIds = policy.required === '*'
+        ? criteria.filter((c) => c.required).map((c) => c.id)
+        : policy.required;
+    const byId = lastResultById(results);
+    const order = new Map(criteria.map((c, i) => [c.id, i]));
+    const satisfied = [];
+    const unsatisfied = [];
+    const ids = [...requiredIds].sort((a, b) => (order.get(a) ?? 0) - (order.get(b) ?? 0));
+    for (const id of ids) {
+        const result = byId.get(id);
+        if (!result) {
+            unsatisfied.push({ id, status: 'missing', reason: 'no verification result' });
+            continue;
+        }
+        if (result.status === 'fail') {
+            unsatisfied.push({ id, status: 'fail', reason: result.detail ?? 'check failed' });
+            continue;
+        }
+        if (result.status === 'unknown') {
+            unsatisfied.push({ id, status: 'unknown', reason: result.detail ?? 'not evaluable — unknown ≠ pass' });
+            continue;
+        }
+        if (result.evidence.length === 0) {
+            unsatisfied.push({
+                id,
+                status: 'unknown',
+                reason: 'pass without evidence refs — not acceptable for completion',
+            });
+            continue;
+        }
+        satisfied.push(id);
+    }
+    const verdict = unsatisfied.length === 0
+        ? 'PASS'
+        : unsatisfied.some((u) => u.status === 'fail')
+            ? 'REPAIR_REQUIRED'
+            : 'BLOCKED';
+    return {
+        verdict,
+        satisfied,
+        unsatisfied,
+        evidenceComplete: unsatisfied.length === 0,
+        summary: verdict === 'PASS'
+            ? `complete: ${satisfied.length}/${ids.length} required criteria pass with evidence`
+            : `incomplete (${verdict}): ${unsatisfied
+                .map((u) => `${u.id}=${u.status}`)
+                .join(', ')}`,
+    };
+}
+/** Alias for the strict BUILD/mission completion gate (ZELARI_STRICT_DONE). */
+export const strictBuildGate = evaluateCompletion;
+//# sourceMappingURL=completionPolicy.js.map

package/dist/verification/completionPolicy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completionPolicy.js","sourceRoot":"","sources":["../../src/verification/completionPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,iBAAiB,GAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAiBrF,SAAS,cAAc,CAAC,OAAsC;IAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACnD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,QAA8B,EAC9B,OAAsC,EACtC,SAA2B,iBAAiB;IAE5C,MAAM,WAAW,GACf,MAAM,CAAC,QAAQ,KAAK,GAAG;QACrB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;IACtB,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAA2B,EAAE,CAAC;IAE/C,MAAM,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,gCAAgC,EAAE,CAAC,CAAC;YACvG,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE;gBACF,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,4DAA4D;aACrE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,OAAO,GACX,WAAW,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;YAC5C,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,SAAS,CAAC;IAElB,OAAO;QACL,OAAO;QACP,SAAS;QACT,WAAW;QACX,gBAAgB,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QAC1C,OAAO,EACL,OAAO,KAAK,MAAM;YAChB,CAAC,CAAC,aAAa,SAAS,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,uCAAuC;YACpF,CAAC,CAAC,eAAe,OAAO,MAAM,WAAW;iBACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;iBACjC,IAAI,CAAC,IAAI,CAAC,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,kBAAkB,CAAC"}

package/dist/verification/criteriaPack.v1.d.ts

@@ -0,0 +1,27 @@
+/**
+ * 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`.
+ */
+import type { Criterion } from './types.js';
+export declare const ZELARI_CODING_PACK_ID = "zelari-coding/v1";
+export interface CodingPackOptions {
+    typecheckCommand?: string | null;
+    testCommand?: string | null;
+    buildCommand?: string | null;
+    /** e.g. `git diff --name-only <base>` compared against a scope allowlist. */
+    scopeCommand?: string | null;
+    commandTimeoutMs?: number;
+}
+export interface CriteriaPack {
+    id: string;
+    criteria: Criterion[];
+}
+export declare function codingCriteriaPack(options?: CodingPackOptions): CriteriaPack;
+//# sourceMappingURL=criteriaPack.v1.d.ts.map

package/dist/verification/criteriaPack.v1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"criteriaPack.v1.d.ts","sourceRoot":"","sources":["../../src/verification/criteriaPack.v1.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AAExD,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,6EAA6E;IAC7E,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,wBAAgB,kBAAkB,CAAC,OAAO,GAAE,iBAAsB,GAAG,YAAY,CA+ChF"}

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"}