@zelari/core 1.49.0 → 2.0.0-alpha.3

package/dist/verification/verifier.d.ts

@@ -0,0 +1,133 @@
+/**
+ * verification/verifier.ts — optional LLM VerifierService (Phase 3B, alpha).
+ *
+ * Contract (plan §14 / ADR-0023):
+ * - enable/disable + model selection `inherit | fixed` (same semantics as the
+ *   1.49 `--verifier-provider/--verifier-model/--verifier-clear` channel);
+ * - the EFFECTIVE provider/model is always recorded in the emitted event;
+ * - unparseable/absent model output degrades to a DECLARED discrete fallback
+ *   (`verdict: 'unknown', fallback: 'discrete'`) — never to `pass`;
+ * - ADVISORY ONLY: reviews and scores never enter CompletionPolicy. No done
+ *   based on the score alone; no P2 bypass;
+ * - progress score is labeled "experimental", never "% complete";
+ * - BoN selection requires BOTH config.bon.enabled and the experimental flag.
+ */
+import { z } from 'zod';
+import type { SessionEventInput } from '../session/types.js';
+import type { VerificationResult } from './types.js';
+export declare const ModelSelectionSchema: z.ZodUnion<readonly [z.ZodObject<{
+    mode: z.ZodLiteral<"inherit">;
+}, z.core.$strip>, z.ZodObject<{
+    mode: z.ZodLiteral<"fixed">;
+    provider: z.ZodString;
+    model: z.ZodString;
+}, z.core.$strip>]>;
+export type ModelSelection = z.infer<typeof ModelSelectionSchema>;
+export declare const BonConfigSchema: z.ZodObject<{
+    enabled: z.ZodDefault<z.ZodBoolean>;
+    n: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const VerifierConfigSchema: z.ZodObject<{
+    enabled: z.ZodDefault<z.ZodBoolean>;
+    model: z.ZodDefault<z.ZodUnion<readonly [z.ZodObject<{
+        mode: z.ZodLiteral<"inherit">;
+    }, z.core.$strip>, z.ZodObject<{
+        mode: z.ZodLiteral<"fixed">;
+        provider: z.ZodString;
+        model: z.ZodString;
+    }, z.core.$strip>]>>;
+    progressScoring: z.ZodDefault<z.ZodBoolean>;
+    bon: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        n: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type VerifierConfig = z.infer<typeof VerifierConfigSchema>;
+export declare const DEFAULT_VERIFIER_CONFIG: VerifierConfig;
+export interface VerifierModelResponse {
+    text: string;
+    provider?: string;
+    model?: string;
+    /** Present only when the provider exposes them (optional path). */
+    logprobs?: number[];
+}
+export type VerifierModelCaller = (input: {
+    system: string;
+    user: string;
+}) => Promise<VerifierModelResponse>;
+export interface VerifierReview {
+    verdict: 'confirmed' | 'rejected' | 'unknown';
+    score?: number;
+    rationale?: string;
+    /** Declared degradation path (discrete fallback), when used. */
+    fallback?: 'discrete';
+    effectiveModel: {
+        mode: 'inherit' | 'fixed';
+        provider?: string;
+        model?: string;
+    };
+    usedLogprobs: boolean;
+}
+export interface SessionModelInfo {
+    provider?: string;
+    model?: string;
+}
+export interface Hypothesis {
+    id: string;
+    summary?: string;
+    /** Optional prior score (e.g. from selection). */
+    score?: number;
+}
+export interface RankingResult<T extends {
+    id: string;
+}> {
+    ordered: T[];
+    /** True when no usable scores existed and original order was kept. */
+    fallbackUsed: boolean;
+}
+export interface BonSelection {
+    enabled: boolean;
+    selected?: string;
+    fallbackUsed: boolean;
+    reason: string;
+}
+export interface ProgressScore {
+    tier: 'deterministic' | 'blended';
+    value: number | null;
+    label: string;
+}
+export interface VerifierServiceDeps {
+    callModel: VerifierModelCaller;
+    config?: VerifierConfig;
+    emit?: (input: SessionEventInput) => Promise<unknown>;
+    env?: Record<string, string | undefined>;
+}
+export declare class VerifierService {
+    private readonly deps;
+    readonly config: VerifierConfig;
+    constructor(deps: VerifierServiceDeps);
+    get enabled(): boolean;
+    /** Resolve the model that would actually be used (§14: log the effective model). */
+    effectiveModel(session?: SessionModelInfo): {
+        mode: 'inherit' | 'fixed';
+        provider?: string;
+        model?: string;
+    };
+    /** Review a claimed completion. Degrades to a declared discrete fallback. */
+    reviewCompletion(request: {
+        summary: string;
+        results: readonly VerificationResult[];
+        session?: SessionModelInfo;
+    }): Promise<VerifierReview>;
+    private emitReview;
+    /** Rank hypotheses by score; original order is the declared fallback. */
+    rankHypotheses<T extends Hypothesis>(hypotheses: readonly T[]): RankingResult<T>;
+    /** BoN alpha selection: requires config + experimental flag; ties declare fallback. */
+    selectBestN(candidates: readonly Hypothesis[]): BonSelection;
+    /**
+     * Epistemically honest progress: deterministic ratio, optionally blended
+     * with the verifier score. Always labeled `experimental`, never "% complete".
+     */
+    progressScore(results: readonly VerificationResult[], review?: VerifierReview): ProgressScore;
+}
+//# sourceMappingURL=verifier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/verification/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,eAAO,MAAM,oBAAoB;;;;;;mBAG/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,eAAe;;;iBAG1B,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;iBAK/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,uBAAuB,EAAE,cAA+C,CAAC;AAEtF,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,mBAAmB,GAAG,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,KAAK,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAE9G,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,WAAW,GAAG,UAAU,GAAG,SAAS,CAAC;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,cAAc,EAAE;QAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjF,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kDAAkD;IAClD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE;IACrD,OAAO,EAAE,CAAC,EAAE,CAAC;IACb,sEAAsE;IACtE,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,eAAe,GAAG,SAAS,CAAC;IAClC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf;AAmBD,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,mBAAmB,CAAC;IAC/B,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtD,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;CAC1C;AAWD,qBAAa,eAAe;IAGd,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFjC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;gBAEH,IAAI,EAAE,mBAAmB;IAItD,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,oFAAoF;IACpF,cAAc,CAAC,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IAQ5G,6EAA6E;IACvE,gBAAgB,CAAC,OAAO,EAAE;QAC9B,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,gBAAgB,CAAC;KAC5B,GAAG,OAAO,CAAC,cAAc,CAAC;YAuEb,UAAU;IAiBxB,yEAAyE;IACzE,cAAc,CAAC,CAAC,SAAS,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC;IAShF,uFAAuF;IACvF,WAAW,CAAC,UAAU,EAAE,SAAS,UAAU,EAAE,GAAG,YAAY;IA6B5D;;;OAGG;IACH,aAAa,CACX,OAAO,EAAE,SAAS,kBAAkB,EAAE,EACtC,MAAM,CAAC,EAAE,cAAc,GACtB,aAAa;CAcjB"}

package/dist/verification/verifier.js

@@ -0,0 +1,215 @@
+/**
+ * verification/verifier.ts — optional LLM VerifierService (Phase 3B, alpha).
+ *
+ * Contract (plan §14 / ADR-0023):
+ * - enable/disable + model selection `inherit | fixed` (same semantics as the
+ *   1.49 `--verifier-provider/--verifier-model/--verifier-clear` channel);
+ * - the EFFECTIVE provider/model is always recorded in the emitted event;
+ * - unparseable/absent model output degrades to a DECLARED discrete fallback
+ *   (`verdict: 'unknown', fallback: 'discrete'`) — never to `pass`;
+ * - ADVISORY ONLY: reviews and scores never enter CompletionPolicy. No done
+ *   based on the score alone; no P2 bypass;
+ * - progress score is labeled "experimental", never "% complete";
+ * - BoN selection requires BOTH config.bon.enabled and the experimental flag.
+ */
+import { z } from 'zod';
+import { isExperimentalEnabled } from '../experimental.js';
+export const ModelSelectionSchema = z.union([
+    z.object({ mode: z.literal('inherit') }),
+    z.object({ mode: z.literal('fixed'), provider: z.string().min(1), model: z.string().min(1) }),
+]);
+export const BonConfigSchema = z.object({
+    enabled: z.boolean().default(false),
+    n: z.number().int().min(2).max(8).default(3),
+});
+export const VerifierConfigSchema = z.object({
+    enabled: z.boolean().default(false),
+    model: ModelSelectionSchema.default({ mode: 'inherit' }),
+    progressScoring: z.boolean().default(false),
+    bon: BonConfigSchema.default({ enabled: false, n: 3 }),
+});
+export const DEFAULT_VERIFIER_CONFIG = VerifierConfigSchema.parse({});
+const ReviewOutputSchema = z.object({
+    verdict: z.enum(['confirmed', 'rejected', 'unknown']),
+    score: z.number().min(0).max(1).optional(),
+    rationale: z.string().optional(),
+});
+function extractJson(text) {
+    const start = text.indexOf('{');
+    const end = text.lastIndexOf('}');
+    if (start === -1 || end <= start)
+        return null;
+    try {
+        return JSON.parse(text.slice(start, end + 1));
+    }
+    catch {
+        return null;
+    }
+}
+const VERIFIER_SYSTEM_PROMPT = [
+    'You are an independent completion verifier.',
+    'You receive a work summary and deterministic verification results.',
+    'Answer with a single JSON object and nothing else:',
+    '{"verdict":"confirmed|rejected|unknown","score":0..1,"rationale":"..."}',
+    'Rules: never confirm when a required deterministic check failed or is unknown;',
+    'when evidence is insufficient, use verdict "unknown".',
+].join('\n');
+export class VerifierService {
+    deps;
+    config;
+    constructor(deps) {
+        this.deps = deps;
+        this.config = deps.config ?? DEFAULT_VERIFIER_CONFIG;
+    }
+    get enabled() {
+        return this.config.enabled;
+    }
+    /** Resolve the model that would actually be used (§14: log the effective model). */
+    effectiveModel(session) {
+        if (this.config.model.mode === 'fixed') {
+            const fixed = this.config.model;
+            return { mode: 'fixed', provider: fixed.provider, model: fixed.model };
+        }
+        return { mode: 'inherit', provider: session?.provider, model: session?.model };
+    }
+    /** Review a claimed completion. Degrades to a declared discrete fallback. */
+    async reviewCompletion(request) {
+        const effective = this.effectiveModel(request.session);
+        const base = { effectiveModel: effective, usedLogprobs: false };
+        if (!this.config.enabled) {
+            return { ...base, verdict: 'unknown', fallback: 'discrete', rationale: 'verifier disabled' };
+        }
+        let response;
+        try {
+            response = await this.deps.callModel({
+                system: VERIFIER_SYSTEM_PROMPT,
+                user: JSON.stringify({
+                    summary: request.summary,
+                    deterministicResults: request.results.map((r) => ({
+                        criterionId: r.criterionId,
+                        status: r.status,
+                        detail: r.detail,
+                    })),
+                }, null, 2),
+            });
+        }
+        catch (err) {
+            const review = {
+                ...base,
+                verdict: 'unknown',
+                fallback: 'discrete',
+                rationale: `verifier call failed: ${err instanceof Error ? err.message : String(err)}`,
+            };
+            await this.emitReview(review);
+            return review;
+        }
+        const parsed = ReviewOutputSchema.safeParse(extractJson(response.text));
+        if (!parsed.success) {
+            const review = {
+                ...base,
+                verdict: 'unknown',
+                fallback: 'discrete',
+                rationale: 'verifier output unparseable — declared discrete fallback',
+                effectiveModel: {
+                    ...effective,
+                    provider: response.provider ?? effective.provider,
+                    model: response.model ?? effective.model,
+                },
+            };
+            await this.emitReview(review);
+            return review;
+        }
+        const blockedByDeterministic = request.results.some((r) => r.status === 'fail' && parsed.data.verdict === 'confirmed');
+        const review = {
+            ...base,
+            verdict: blockedByDeterministic ? 'unknown' : parsed.data.verdict,
+            score: parsed.data.score,
+            rationale: blockedByDeterministic
+                ? 'cannot confirm while a deterministic check failed — downgraded to unknown'
+                : parsed.data.rationale,
+            fallback: blockedByDeterministic ? 'discrete' : undefined,
+            effectiveModel: {
+                ...effective,
+                provider: response.provider ?? effective.provider,
+                model: response.model ?? effective.model,
+            },
+            usedLogprobs: Array.isArray(response.logprobs) && response.logprobs.length > 0,
+        };
+        await this.emitReview(review);
+        return review;
+    }
+    async emitReview(review) {
+        if (!this.deps.emit)
+            return;
+        await this.deps.emit({
+            kind: 'verification.run',
+            actor: { type: 'system', role: 'verifier' },
+            data: {
+                source: 'verifier-model',
+                verdict: review.verdict,
+                score: review.score,
+                fallback: review.fallback ?? null,
+                provider: review.effectiveModel.provider ?? null,
+                model: review.effectiveModel.model ?? null,
+                selectionMode: review.effectiveModel.mode,
+            },
+        });
+    }
+    /** Rank hypotheses by score; original order is the declared fallback. */
+    rankHypotheses(hypotheses) {
+        const scored = hypotheses.filter((h) => typeof h.score === 'number');
+        if (scored.length === 0) {
+            return { ordered: [...hypotheses], fallbackUsed: true };
+        }
+        const ordered = [...hypotheses].sort((a, b) => (b.score ?? -1) - (a.score ?? -1));
+        return { ordered, fallbackUsed: false };
+    }
+    /** BoN alpha selection: requires config + experimental flag; ties declare fallback. */
+    selectBestN(candidates) {
+        const env = this.deps.env ?? process.env;
+        if (!this.config.bon.enabled) {
+            return { enabled: false, fallbackUsed: true, reason: 'BoN disabled in verifier config (default)' };
+        }
+        if (!isExperimentalEnabled('bon', env)) {
+            return {
+                enabled: false,
+                fallbackUsed: true,
+                reason: 'BoN requires ZELARI_EXPERIMENTAL=bon (alpha flag)',
+            };
+        }
+        const { ordered, fallbackUsed } = this.rankHypotheses(candidates);
+        const top = ordered[0];
+        const second = ordered[1];
+        const margin = (top?.score ?? 0) - (second?.score ?? 0);
+        if (fallbackUsed || !top || (second !== undefined && margin < 0.05)) {
+            return {
+                enabled: true,
+                selected: candidates[0]?.id,
+                fallbackUsed: true,
+                reason: fallbackUsed
+                    ? 'no usable scores — declared fallback to first candidate'
+                    : `score margin ${margin.toFixed(3)} below 0.05 — declared fallback to first candidate`,
+            };
+        }
+        return { enabled: true, selected: top.id, fallbackUsed: false, reason: 'selected by score' };
+    }
+    /**
+     * Epistemically honest progress: deterministic ratio, optionally blended
+     * with the verifier score. Always labeled `experimental`, never "% complete".
+     */
+    progressScore(results, review) {
+        const total = results.length;
+        const passed = results.filter((r) => r.status === 'pass').length;
+        const deterministic = total === 0 ? null : passed / total;
+        if (this.config.progressScoring && review?.score !== undefined) {
+            const blended = deterministic === null ? review.score : 0.5 * deterministic + 0.5 * review.score;
+            return { tier: 'blended', value: blended, label: `Verifier score: ${blended.toFixed(2)} · experimental` };
+        }
+        return {
+            tier: 'deterministic',
+            value: deterministic,
+            label: deterministic === null ? 'no criteria yet' : `Evidence: ${passed}/${total} criteria pass`,
+        };
+    }
+}
+//# sourceMappingURL=verifier.js.map

package/dist/verification/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../src/verification/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAG3D,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;IACxC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;CAC9F,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACnC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACnC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACxD,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IAC3C,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CACvD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,uBAAuB,GAAmB,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAqDtF,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACrD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC;AAEH,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AASD,MAAM,sBAAsB,GAAG;IAC7B,6CAA6C;IAC7C,oEAAoE;IACpE,oDAAoD;IACpD,yEAAyE;IACzE,gFAAgF;IAChF,uDAAuD;CACxD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,OAAO,eAAe;IAGG;IAFpB,MAAM,CAAiB;IAEhC,YAA6B,IAAyB;QAAzB,SAAI,GAAJ,IAAI,CAAqB;QACpD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,uBAAuB,CAAC;IACvD,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;IAC7B,CAAC;IAED,oFAAoF;IACpF,cAAc,CAAC,OAA0B;QACvC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACjF,CAAC;IAED,6EAA6E;IAC7E,KAAK,CAAC,gBAAgB,CAAC,OAItB;QACC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAW,CAAC;QACzE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzB,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC;QAC/F,CAAC;QACD,IAAI,QAA+B,CAAC;QACpC,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;gBACnC,MAAM,EAAE,sBAAsB;gBAC9B,IAAI,EAAE,IAAI,CAAC,SAAS,CAClB;oBACE,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,oBAAoB,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAChD,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;qBACjB,CAAC,CAAC;iBACJ,EACD,IAAI,EACJ,CAAC,CACF;aACF,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,MAAM,GAAmB;gBAC7B,GAAG,IAAI;gBACP,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,yBAAyB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aACvF,CAAC;YACF,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC9B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,MAAM,GAAmB;gBAC7B,GAAG,IAAI;gBACP,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,0DAA0D;gBACrE,cAAc,EAAE;oBACd,GAAG,SAAS;oBACZ,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ;oBACjD,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK;iBACzC;aACF,CAAC;YACF,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC9B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,sBAAsB,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,WAAW,CAClE,CAAC;QACF,MAAM,MAAM,GAAmB;YAC7B,GAAG,IAAI;YACP,OAAO,EAAE,sBAAsB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO;YACjE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;YACxB,SAAS,EAAE,sBAAsB;gBAC/B,CAAC,CAAC,2EAA2E;gBAC7E,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YACzD,cAAc,EAAE;gBACd,GAAG,SAAS;gBACZ,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ;gBACjD,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK;aACzC;YACD,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;SAC/E,CAAC;QACF,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,MAAsB;QAC7C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QAC5B,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE;YAC3C,IAAI,EAAE;gBACJ,MAAM,EAAE,gBAAgB;gBACxB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;gBACjC,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC,QAAQ,IAAI,IAAI;gBAChD,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,KAAK,IAAI,IAAI;gBAC1C,aAAa,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI;aAC1C;SACF,CAAC,CAAC;IACL,CAAC;IAED,yEAAyE;IACzE,cAAc,CAAuB,UAAwB;QAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;QACrE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC1D,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IAED,uFAAuF;IACvF,WAAW,CAAC,UAAiC;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YAC7B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC;QACrG,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,YAAY,EAAE,IAAI;gBAClB,MAAM,EAAE,mDAAmD;aAC5D,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAClE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;QACxD,IAAI,YAAY,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;YACpE,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC3B,YAAY,EAAE,IAAI;gBAClB,MAAM,EAAE,YAAY;oBAClB,CAAC,CAAC,yDAAyD;oBAC3D,CAAC,CAAC,gBAAgB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,oDAAoD;aAC1F,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC/F,CAAC;IAED;;;OAGG;IACH,aAAa,CACX,OAAsC,EACtC,MAAuB;QAEvB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACjE,MAAM,aAAa,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC;QAC1D,IAAI,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,aAAa,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC;YACjG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC;QAC5G,CAAC;QACD,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,aAAa,MAAM,IAAI,KAAK,gBAAgB;SACjG,CAAC;IACJ,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zelari/core",
-  "version": "1.49.0",
+  "version": "2.0.0-alpha.3",
   "description": "Zelari Code core library — provider-neutral agent loop (AgentHarness), multi-agent council orchestration, and built-in skills. Used by the zelari-code CLI; consumable by other agent frontends.",
   "author": "Anathema Studio <https://anathema-studio.com/>",
   "license": "Apache-2.0",
@@ -119,6 +119,22 @@
     "./harness/tools/builtin/web": {
       "types": "./dist/core/tools/builtin/web.d.ts",
       "default": "./dist/core/tools/builtin/web.js"
+    },
+    "./session": {
+      "types": "./dist/session/index.d.ts",
+      "default": "./dist/session/index.js"
+    },
+    "./runtime": {
+      "types": "./dist/runtime/index.d.ts",
+      "default": "./dist/runtime/index.js"
+    },
+    "./verification": {
+      "types": "./dist/verification/index.d.ts",
+      "default": "./dist/verification/index.js"
+    },
+    "./mission": {
+      "types": "./dist/mission/index.d.ts",
+      "default": "./dist/mission/index.js"
     }
   },
   "files": [