zelari-code 2.1.0 → 2.1.2

package/dist/cli/kraken/verifierLifecycle.test.js

@@ -1,181 +0,0 @@
-/**
- * verifierLifecycle tests — 2.1 T4: the core VerifierService joins the normal
- * headless lifecycle as an OPT-IN advisory pass.
- *
- * Locks:
- *  - opt-in rule: default (inherit, no env) OFF; fixed selection ON;
- *    ZELARI_VERIFIER_REVIEW=1 ON; =0 forces OFF even with a fixed override;
- *  - disabled → no review attached, evaluation untouched;
- *  - enabled → review attached and serialized in the verification.run payload
- *    (verifier.advisory = true) + its own spine event (source verifier-model);
- *  - ADVISORY ONLY at lifecycle level: a REJECTED review cannot block a PASS
- *    evaluation, a CONFIRMED review cannot un-block a REPAIR_REQUIRED one;
- *  - a failing verifier call degrades (declared discrete fallback) and never
- *    throws into the parent turn.
- */
-import { afterEach, beforeEach, describe, expect, it } from 'vitest';
-import { runAdvisoryVerifierReview, verifierReviewEnabled } from './verifierLifecycle.js';
-import { evaluateStrictBuildGate, strictGateEventPayload, } from './verificationBridge.js';
-import { resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection } from './candidateRegistry.js';
-const CHECK = 'session survives concurrent refresh';
-function emitSeq() {
-    let n = 1;
-    const events = [];
-    return async (input) => {
-        events.push(input);
-        void events;
-        return { seq: n++ };
-    };
-}
-/** Spine emitter that records every appended event (for review-event asserts). */
-function recordingEmit() {
-    const events = [];
-    let n = 1;
-    return {
-        events,
-        emit: async (input) => {
-            events.push(input);
-            return { seq: n++ };
-        },
-    };
-}
-function selectWithChecks(checks) {
-    resetKrakenCandidates();
-    setKrakenSelection({
-        status: 'selected',
-        winnerIndex: 0,
-        rationale: 'test',
-        requiredChecks: checks,
-        degraded: false,
-        verifier: null,
-        judgedBy: 'llm',
-    });
-}
-async function evaluatedGate(status, emit) {
-    selectWithChecks([CHECK]);
-    setKrakenCheckResults([{ check: CHECK, status, note: 'vitest 58/58' }]);
-    return evaluateStrictBuildGate('build', { env: {}, ...(emit ? { emit: emit } : {}) });
-}
-function stubCaller(text) {
-    return async () => ({ text, provider: 'grok', model: 'verifier-x' });
-}
-let envPrev;
-beforeEach(() => {
-    envPrev = process.env.ZELARI_STRICT_DONE;
-    process.env.ZELARI_STRICT_DONE = '1';
-    resetKrakenCandidates();
-});
-afterEach(() => {
-    if (envPrev === undefined)
-        delete process.env.ZELARI_STRICT_DONE;
-    else
-        process.env.ZELARI_STRICT_DONE = envPrev;
-    resetKrakenCandidates();
-});
-describe('verifierReviewEnabled (opt-in rule)', () => {
-    const inherit = { mode: 'inherit' };
-    const fixed = { mode: 'fixed', provider: 'grok', model: 'verifier-x' };
-    it('default (inherit, no env) is OFF — zero baseline cost', () => {
-        expect(verifierReviewEnabled(inherit, {})).toBe(false);
-    });
-    it('a dedicated (fixed) verifier enables the review', () => {
-        expect(verifierReviewEnabled(fixed, {})).toBe(true);
-    });
-    it('ZELARI_VERIFIER_REVIEW=1 enables it even on inherit', () => {
-        expect(verifierReviewEnabled(inherit, { ZELARI_VERIFIER_REVIEW: '1' })).toBe(true);
-        expect(verifierReviewEnabled(inherit, { ZELARI_VERIFIER_REVIEW: 'true' })).toBe(true);
-    });
-    it('ZELARI_VERIFIER_REVIEW=0 forces OFF even with a fixed override', () => {
-        expect(verifierReviewEnabled(fixed, { ZELARI_VERIFIER_REVIEW: '0' })).toBe(false);
-        expect(verifierReviewEnabled(fixed, { ZELARI_VERIFIER_REVIEW: 'off' })).toBe(false);
-    });
-});
-describe('runAdvisoryVerifierReview', () => {
-    it('disabled → returns null and leaves the evaluation untouched', async () => {
-        const gate = await evaluatedGate('pass', emitSeq());
-        const review = await runAdvisoryVerifierReview(gate, {
-            env: {},
-            selection: { mode: 'inherit' },
-            callModel: stubCaller('{"verdict":"confirmed"}'),
-        });
-        expect(review).toBeNull();
-        expect(gate.review).toBeUndefined();
-        expect(strictGateEventPayload(gate).verifier).toBeNull();
-    });
-    it('enabled → attaches the review and serializes it as advisory in the payload', async () => {
-        const spine = recordingEmit();
-        const gate = await evaluatedGate('pass', spine.emit);
-        const review = await runAdvisoryVerifierReview(gate, {
-            env: {},
-            selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
-            callModel: stubCaller('{"verdict":"confirmed","score":0.9,"rationale":"ok"}'),
-            emit: spine.emit,
-        });
-        expect(review).not.toBeNull();
-        expect(review?.verdict).toBe('confirmed');
-        expect(gate.review?.verdict).toBe('confirmed');
-        const payload = strictGateEventPayload(gate);
-        expect(payload.verifier).toMatchObject({ verdict: 'confirmed', advisory: true });
-        // Its own spine event, source-tagged verifier-model (VerifierService.emitReview).
-        const reviewEvents = spine.events.filter((e) => e.data?.source === 'verifier-model');
-        expect(reviewEvents.length).toBe(1);
-    });
-    it('ADVISORY LOCK: a REJECTED review cannot block a PASS evaluation', async () => {
-        const gate = await evaluatedGate('pass', emitSeq());
-        await runAdvisoryVerifierReview(gate, {
-            env: {},
-            selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
-            callModel: stubCaller('{"verdict":"rejected","rationale":"suspicious"}'),
-        });
-        expect(gate.review?.verdict).toBe('rejected');
-        expect(gate.blocked).toBe(false);
-        const payload = strictGateEventPayload(gate);
-        expect(payload.verdict).not.toBe('BLOCKED');
-        expect(payload.verifier?.verdict).toBe('rejected');
-    });
-    it('ADVISORY LOCK: a CONFIRMED review cannot un-block a failing evaluation', async () => {
-        const gate = await evaluatedGate('fail', emitSeq());
-        expect(gate.blocked).toBe(true);
-        await runAdvisoryVerifierReview(gate, {
-            env: {},
-            selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
-            callModel: stubCaller('{"verdict":"confirmed"}'),
-        });
-        // VerifierService itself downgrades confirm-on-failed-deterministic…
-        expect(gate.review?.verdict).toBe('unknown');
-        // …and the lifecycle keeps the deterministic verdict either way.
-        expect(gate.blocked).toBe(true);
-        expect(gate.evaluation?.verdict).toBe('REPAIR_REQUIRED');
-    });
-    it('a failing verifier call degrades (declared fallback) and never throws', async () => {
-        const gate = await evaluatedGate('pass', emitSeq());
-        const boom = async () => {
-            throw new Error('provider 503');
-        };
-        const review = await runAdvisoryVerifierReview(gate, {
-            env: {},
-            selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
-            callModel: boom,
-        });
-        expect(review?.verdict).toBe('unknown');
-        expect(review?.fallback).toBe('discrete');
-        expect(gate.blocked).toBe(false);
-    });
-    it('skips turns without strict evidence (nothing to review)', async () => {
-        const gate = {
-            gate: { selectionUsed: false, total: 0, passed: 0, failedChecks: [], unknownChecks: [], blocked: false },
-            strict: false,
-            evaluation: null,
-            native: null,
-            blocked: false,
-            summary: 'open',
-        };
-        const review = await runAdvisoryVerifierReview(gate, {
-            env: {},
-            selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
-            callModel: stubCaller('{"verdict":"confirmed"}'),
-        });
-        expect(review).toBeNull();
-    });
-});
-//# sourceMappingURL=verifierLifecycle.test.js.map

package/dist/cli/kraken/verifierLifecycle.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verifierLifecycle.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifierLifecycle.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC1F,OAAO,EACL,uBAAuB,EACvB,sBAAsB,GAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE1G,MAAM,KAAK,GAAG,qCAAqC,CAAC;AAEpD,SAAS,OAAO;IACd,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,OAAO,KAAK,EAAE,KAAc,EAAE,EAAE;QAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa;IAIpB,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO;QACL,MAAM;QACN,IAAI,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;YAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACtB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAgB;IACxC,qBAAqB,EAAE,CAAC;IACxB,kBAAkB,CAAC;QACjB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,MAAM;QACjB,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,MAAuB,EAAE,IAAmD;IACvG,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1B,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IACxE,OAAO,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,IAAI,OAA2B,CAAC;AAChC,UAAU,CAAC,GAAG,EAAE;IACd,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;IACrC,qBAAqB,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;AACH,SAAS,CAAC,GAAG,EAAE;IACb,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;;QAC5D,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,OAAO,CAAC;IAC9C,qBAAqB,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IAEhF,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC9B,SAAS,EAAE,UAAU,CAAC,yBAAyB,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;QACpC,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,sDAAsD,CAAC;YAC7E,IAAI,EAAE,KAAK,CAAC,IAAa;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACjF,kFAAkF;QAClF,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAmD,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB,CAC9F,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACpC,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,iDAAiD,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,CAAE,OAAO,CAAC,QAAwC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACpC,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,yBAAyB,CAAC;SACjD,CAAC,CAAC;QACH,qEAAqE;QACrE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7C,iEAAiE;QACjE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,IAAI,GAAwB,KAAK,IAAI,EAAE;YAC3C,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,IAAI,GAA8B;YACtC,IAAI,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;YACxG,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,MAAM;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,yBAAyB,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/kraken/verifierRoundTrip.test.js

@@ -1,166 +0,0 @@
-/**
- * verifierRoundTrip — Desktop verifier round-trip smoke (Exit-3.1, plan §9).
- *
- * Locks the FULL chain the plan requires:
- *
- *   Desktop settings (applySetConfig — the real --set-config channel)
- *     → persist (provider.json)
- *     → restart/load (fresh disk read)
- *     → runtime resolution (loadVerifierModelSelection)
- *     → VerifierService.reviewCompletion
- *     → verification.run event logs the ACTUAL model used
- *
- * The three cases from the plan (§9):
- *   - Inherit:   Primary=A, Verifier=inherit   → effective verifier = A
- *   - Dedicated: Primary=A, Verifier=B         → effective verifier = B
- *   - Reset:     Dedicated B → clear override  → inherit A
- *
- * The model call is stubbed at the transport boundary (callModel), reporting
- * the provider/model the selected transport would actually use: in inherit
- * mode the session transport (A), in fixed mode the dedicated transport (B).
- */
-import { afterEach, beforeEach, describe, expect, it } from 'vitest';
-import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
-import { tmpdir } from 'node:os';
-import path from 'node:path';
-import { VerifierService, VerifierConfigSchema, } from '@zelari/core/verification';
-import { getKrakenVerifierOverride } from '../providerConfig.js';
-import { applySetConfig, buildDesktopConfigSnapshot } from '../desktopConfig.js';
-import { loadVerifierModelSelection, verifierOverrideToModelSelection, } from './verifierResolution.js';
-// Primary model A (the session/run model).
-const PRIMARY = { provider: 'grok', model: 'grok-4.6' };
-// Dedicated verifier B.
-const DEDICATED = { provider: 'anthropic', model: 'claude-sonnet-4-6' };
-let tmpDir = '';
-let savedEnv;
-beforeEach(() => {
-    tmpDir = mkdtempSync(path.join(tmpdir(), 'zelari-vrt-'));
-    savedEnv = process.env.ANATHEMA_PROVIDER_CONFIG_FILE;
-    process.env.ANATHEMA_PROVIDER_CONFIG_FILE = path.join(tmpDir, 'provider.json');
-    writeFileSync(process.env.ANATHEMA_PROVIDER_CONFIG_FILE, JSON.stringify({
-        activeProviderId: PRIMARY.provider,
-        modelByProvider: { [PRIMARY.provider]: PRIMARY.model },
-    }, null, 2), 'utf-8');
-    delete process.env.ZELARI_KRAKEN_SELECT_PROVIDER;
-    delete process.env.ZELARI_KRAKEN_SELECT_MODEL;
-});
-afterEach(() => {
-    if (savedEnv === undefined)
-        delete process.env.ANATHEMA_PROVIDER_CONFIG_FILE;
-    else
-        process.env.ANATHEMA_PROVIDER_CONFIG_FILE = savedEnv;
-    rmSync(tmpDir, { recursive: true, force: true });
-});
-/** Enabled VerifierService from the resolved selection; captures spine events. */
-function verifierFor(selection, transport, emitted) {
-    const config = VerifierConfigSchema.parse({ enabled: true, model: selection });
-    return new VerifierService({
-        config,
-        callModel: async () => ({
-            text: '{"verdict":"confirmed","score":0.9,"rationale":"round-trip smoke"}',
-            provider: transport.provider,
-            model: transport.model,
-        }),
-        emit: async (input) => {
-            emitted.push(input);
-        },
-    });
-}
-describe('Desktop verifier round-trip (Exit-3.1)', () => {
-    it('Inherit: Primary=A, Verifier=inherit → effective verifier = A, event logs A', async () => {
-        // (1) Desktop settings: no override (the recommended default).
-        // (2) Restart/load: fresh disk read → inherit.
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        // UI reload leg: the snapshot exposes null = inherit.
-        expect(buildDesktopConfigSnapshot().krakenVerifier).toBeNull();
-        // (3) Runtime resolution.
-        const selection = loadVerifierModelSelection();
-        expect(selection).toEqual({ mode: 'inherit' });
-        // (4)+(5) Review + spine event: the session transport reports the primary model.
-        const emitted = [];
-        const verifier = verifierFor(selection, PRIMARY, emitted);
-        const review = await verifier.reviewCompletion({
-            summary: 'round-trip smoke: all checks green',
-            results: [],
-            session: { provider: PRIMARY.provider, model: PRIMARY.model },
-        });
-        expect(review.effectiveModel).toEqual({ mode: 'inherit', ...PRIMARY });
-        expect(emitted).toHaveLength(1);
-        expect(emitted[0].kind).toBe('verification.run');
-        const data = emitted[0].data;
-        expect(data.source).toBe('verifier-model');
-        expect(data.selectionMode).toBe('inherit');
-        expect(data.provider).toBe(PRIMARY.provider);
-        expect(data.model).toBe(PRIMARY.model);
-    });
-    it('Dedicated: Primary=A, Verifier=B → effective verifier = B, event logs B', async () => {
-        // (1) Desktop settings → persist through the real --set-config channel.
-        const applied = applySetConfig({
-            verifierProvider: DEDICATED.provider,
-            verifierModel: DEDICATED.model,
-        });
-        expect(applied.ok).toBe(true);
-        // UI reload leg: the snapshot exposes the dedicated override.
-        expect(buildDesktopConfigSnapshot().krakenVerifier).toEqual(DEDICATED);
-        // (2) Restart/load: fresh disk read.
-        expect(getKrakenVerifierOverride()).toEqual(DEDICATED);
-        // (3) Runtime resolution.
-        const selection = loadVerifierModelSelection();
-        expect(selection).toEqual({ mode: 'fixed', ...DEDICATED });
-        // (4)+(5) Review + spine: the dedicated transport reports B even though the
-        // session model is A — this is the "event logs actual model" lock.
-        const emitted = [];
-        const verifier = verifierFor(selection, DEDICATED, emitted);
-        const review = await verifier.reviewCompletion({
-            summary: 'round-trip smoke: all checks green',
-            results: [],
-            session: { provider: PRIMARY.provider, model: PRIMARY.model },
-        });
-        expect(review.effectiveModel).toEqual({ mode: 'fixed', ...DEDICATED });
-        const data = emitted[0].data;
-        expect(data.selectionMode).toBe('fixed');
-        expect(data.provider).toBe(DEDICATED.provider);
-        expect(data.model).toBe(DEDICATED.model);
-    });
-    it('Reset: Dedicated B → clear override → inherit A', async () => {
-        // Start dedicated, then reset through the real channel.
-        const set = applySetConfig({
-            verifierProvider: DEDICATED.provider,
-            verifierModel: DEDICATED.model,
-        });
-        expect(set.ok).toBe(true);
-        const cleared = applySetConfig({ verifierClear: true });
-        expect(cleared.ok).toBe(true);
-        // UI reload leg: back to null (inherit).
-        expect(buildDesktopConfigSnapshot().krakenVerifier).toBeNull();
-        // Restart/load + resolution.
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        const selection = loadVerifierModelSelection();
-        expect(selection).toEqual({ mode: 'inherit' });
-        // Review + spine: back to the primary model A.
-        const emitted = [];
-        const verifier = verifierFor(selection, PRIMARY, emitted);
-        const review = await verifier.reviewCompletion({
-            summary: 'round-trip smoke: all checks green',
-            results: [],
-            session: { provider: PRIMARY.provider, model: PRIMARY.model },
-        });
-        expect(review.effectiveModel).toEqual({ mode: 'inherit', ...PRIMARY });
-        const data = emitted[0].data;
-        expect(data.selectionMode).toBe('inherit');
-        expect(data.model).toBe(PRIMARY.model);
-    });
-    it('verifierOverrideToModelSelection: partial/blank overrides degrade to inherit', () => {
-        expect(verifierOverrideToModelSelection(undefined)).toEqual({ mode: 'inherit' });
-        expect(verifierOverrideToModelSelection(null)).toEqual({ mode: 'inherit' });
-        expect(verifierOverrideToModelSelection({ provider: 'grok', model: '   ' })).toEqual({ mode: 'inherit' });
-        expect(verifierOverrideToModelSelection({ provider: '', model: 'm' })).toEqual({ mode: 'inherit' });
-        // Complete overrides are fixed, trimmed.
-        expect(verifierOverrideToModelSelection({ provider: ' grok ', model: ' grok-4.6 ' })).toEqual({
-            mode: 'fixed',
-            provider: 'grok',
-            model: 'grok-4.6',
-        });
-    });
-});
-//# sourceMappingURL=verifierRoundTrip.test.js.map

package/dist/cli/kraken/verifierRoundTrip.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verifierRoundTrip.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifierRoundTrip.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,eAAe,EACf,oBAAoB,GAGrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EACL,0BAA0B,EAC1B,gCAAgC,GACjC,MAAM,yBAAyB,CAAC;AAKjC,2CAA2C;AAC3C,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAW,CAAC;AACjE,wBAAwB;AACxB,MAAM,SAAS,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,mBAAmB,EAAW,CAAC;AAEjF,IAAI,MAAM,GAAG,EAAE,CAAC;AAChB,IAAI,QAA4B,CAAC;AAEjC,UAAU,CAAC,GAAG,EAAE;IACd,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IACzD,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;IACrD,OAAO,CAAC,GAAG,CAAC,6BAA6B,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC/E,aAAa,CACX,OAAO,CAAC,GAAG,CAAC,6BAA8B,EAC1C,IAAI,CAAC,SAAS,CACZ;QACE,gBAAgB,EAAE,OAAO,CAAC,QAAQ;QAClC,eAAe,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE;KACvD,EACD,IAAI,EACJ,CAAC,CACF,EACD,OAAO,CACR,CAAC;IACF,OAAO,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;IACjD,OAAO,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,GAAG,EAAE;IACb,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;;QACxE,OAAO,CAAC,GAAG,CAAC,6BAA6B,GAAG,QAAQ,CAAC;IAC1D,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,kFAAkF;AAClF,SAAS,WAAW,CAClB,SAAyB,EACzB,SAA8C,EAC9C,OAAqB;IAErB,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/E,OAAO,IAAI,eAAe,CAAC;QACzB,MAAM;QACN,SAAS,EAAE,KAAK,IAAoC,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,oEAAoE;YAC1E,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC;QACF,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACpB,OAAO,CAAC,IAAI,CAAC,KAAmB,CAAC,CAAC;QACpC,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;QAC3F,+DAA+D;QAC/D,+CAA+C;QAC/C,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,sDAAsD;QACtD,MAAM,CAAC,0BAA0B,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/D,0BAA0B;QAC1B,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,iFAAiF;QACjF,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;YAC7C,OAAO,EAAE,oCAAoC;YAC7C,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;SAC9D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,wEAAwE;QACxE,MAAM,OAAO,GAAG,cAAc,CAAC;YAC7B,gBAAgB,EAAE,SAAS,CAAC,QAAQ;YACpC,aAAa,EAAE,SAAS,CAAC,KAAK;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,8DAA8D;QAC9D,MAAM,CAAC,0BAA0B,EAAE,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvE,qCAAqC;QACrC,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvD,0BAA0B;QAC1B,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QAC3D,4EAA4E;QAC5E,mEAAmE;QACnE,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;YAC7C,OAAO,EAAE,oCAAoC;YAC7C,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;SAC9D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QACvE,MAAM,IAAI,GAAI,OAAO,CAAC,CAAC,CAAgB,CAAC,IAAI,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,wDAAwD;QACxD,MAAM,GAAG,GAAG,cAAc,CAAC;YACzB,gBAAgB,EAAE,SAAS,CAAC,QAAQ;YACpC,aAAa,EAAE,SAAS,CAAC,KAAK;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,yCAAyC;QACzC,MAAM,CAAC,0BAA0B,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/D,6BAA6B;QAC7B,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,+CAA+C;QAC/C,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;YAC7C,OAAO,EAAE,oCAAoC;YAC7C,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;SAC9D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QACvE,MAAM,IAAI,GAAI,OAAO,CAAC,CAAC,CAAgB,CAAC,IAAI,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,gCAAgC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5E,MAAM,CAAC,gCAAgC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1G,MAAM,CAAC,gCAAgC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACpG,yCAAyC;QACzC,MAAM,CAAC,gCAAgC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5F,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/kraken/verifierSettings.test.js

@@ -1,237 +0,0 @@
-/**
- * verifierSettings — Fase 9 settings tests (ADR-0020 §57/§64).
- *
- * Coverage required by the plan:
- *   - old provider.json (no krakenVerifier field) → verifier inherit
- *   - inherit → follows the current run model (parent identity)
- *   - explicit custom verifier → fixed model (survives parent changes)
- *   - missing/invalid custom verifier → parent model fallback
- *   - save/reload round-trip persists the override
- *   - --set-config flag parsing (verifier-provider/model/clear)
- *   - applySetConfig + snapshot exposure (Desktop save/reload)
- *
- * All file I/O is redirected to a temp file via ANATHEMA_PROVIDER_CONFIG_FILE.
- */
-import { afterEach, beforeEach, describe, expect, it } from 'vitest';
-import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
-import { tmpdir } from 'node:os';
-import path from 'node:path';
-import { getProviderConfig, getKrakenVerifierOverride, setKrakenVerifier, clearKrakenVerifier, } from '../providerConfig.js';
-import { parseSetConfigFlags, applySetConfig, buildDesktopConfigSnapshot, } from '../desktopConfig.js';
-import { resolveKrakenVerifier } from './verifier.js';
-let tmpDir = '';
-let savedEnv;
-beforeEach(() => {
-    tmpDir = mkdtempSync(path.join(tmpdir(), 'zelari-vf-'));
-    savedEnv = process.env.ANATHEMA_PROVIDER_CONFIG_FILE;
-    process.env.ANATHEMA_PROVIDER_CONFIG_FILE = path.join(tmpDir, 'provider.json');
-    delete process.env.ZELARI_KRAKEN_SELECT_PROVIDER;
-    delete process.env.ZELARI_KRAKEN_SELECT_MODEL;
-});
-afterEach(() => {
-    if (savedEnv === undefined)
-        delete process.env.ANATHEMA_PROVIDER_CONFIG_FILE;
-    else
-        process.env.ANATHEMA_PROVIDER_CONFIG_FILE = savedEnv;
-    rmSync(tmpDir, { recursive: true, force: true });
-});
-/** Write a provider.json blob (as an old or hand-edited file would look). */
-function writeConfigFile(raw) {
-    writeFileSync(process.env.ANATHEMA_PROVIDER_CONFIG_FILE, JSON.stringify(raw, null, 2), 'utf-8');
-}
-const OLD_FILE = {
-    activeProviderId: 'grok',
-    modelByProvider: { grok: 'grok-4.6' },
-};
-const PARENT = { provider: 'grok', model: 'grok-4.6' };
-describe('providerConfig.krakenVerifier', () => {
-    it('old provider.json without the field → override undefined (inherit)', () => {
-        writeConfigFile(OLD_FILE);
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        // inherit resolution: exact parent model, no LLM-config surprise
-        expect(resolveKrakenVerifier(PARENT)).toEqual(PARENT);
-    });
-    it('inherit → follows the current run model', () => {
-        writeConfigFile(OLD_FILE);
-        const otherParent = { provider: 'glm', model: 'glm-4.6' };
-        // no override + no env → whatever model the run resolved wins
-        expect(resolveKrakenVerifier(otherParent)).toEqual(otherParent);
-    });
-    it('explicit custom verifier → fixed model, independent of parent', () => {
-        writeConfigFile(OLD_FILE);
-        setKrakenVerifier('anthropic', 'claude-sonnet-4-6');
-        const override = getKrakenVerifierOverride();
-        expect(override).toEqual({ provider: 'anthropic', model: 'claude-sonnet-4-6' });
-        // parent changed → verifier stays fixed (the tool passes the persisted
-        // override as `explicit` — see krakenSelectTool wiring)
-        expect(resolveKrakenVerifier({ provider: 'grok', model: 'grok-4.6' }, process.env, getKrakenVerifierOverride())).toEqual({
-            provider: 'anthropic',
-            model: 'claude-sonnet-4-6',
-        });
-    });
-    it('save/reload round-trip: persisted override survives a fresh read', () => {
-        writeConfigFile(OLD_FILE);
-        setKrakenVerifier('minimax', 'MiniMax-M2.5');
-        const reloaded = getProviderConfig();
-        expect(reloaded.krakenVerifier).toEqual({ provider: 'minimax', model: 'MiniMax-M2.5' });
-    });
-    it('invalid overrides on disk are dropped → parent fallback', () => {
-        // partial (provider only)
-        writeConfigFile({ ...OLD_FILE, krakenVerifier: { provider: 'grok' } });
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        // unknown provider
-        writeConfigFile({
-            ...OLD_FILE,
-            krakenVerifier: { provider: 'nope', model: 'm' },
-        });
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        // empty model
-        writeConfigFile({
-            ...OLD_FILE,
-            krakenVerifier: { provider: 'grok', model: '   ' },
-        });
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        // non-object garbage
-        writeConfigFile({ ...OLD_FILE, krakenVerifier: 'grok' });
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        // in every case resolution falls back to the exact parent model
-        expect(resolveKrakenVerifier(PARENT)).toEqual(PARENT);
-    });
-    it('clearKrakenVerifier → back to inherit (no-op when already inherit)', () => {
-        writeConfigFile(OLD_FILE);
-        setKrakenVerifier('grok', 'grok-4.6');
-        clearKrakenVerifier();
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-        expect(() => clearKrakenVerifier()).not.toThrow();
-    });
-    it('setKrakenVerifier validates provider and model', () => {
-        writeConfigFile(OLD_FILE);
-        expect(() => setKrakenVerifier('nope', 'm')).toThrow(/Unknown provider id/);
-        expect(() => setKrakenVerifier('grok', '  ')).toThrow(/cannot be empty/);
-    });
-    it('env override still wins when no persisted config exists', () => {
-        writeConfigFile(OLD_FILE);
-        const resolved = resolveKrakenVerifier(PARENT, {
-            ZELARI_KRAKEN_SELECT_PROVIDER: 'deepseek',
-            ZELARI_KRAKEN_SELECT_MODEL: 'deepseek-v4-pro',
-        });
-        expect(resolved).toEqual({ provider: 'deepseek', model: 'deepseek-v4-pro' });
-    });
-    it('persisted override is passed as `explicit` → beats env', () => {
-        writeConfigFile(OLD_FILE);
-        setKrakenVerifier('glm', 'glm-4.6');
-        const resolved = resolveKrakenVerifier(PARENT, {
-            ZELARI_KRAKEN_SELECT_PROVIDER: 'deepseek',
-            ZELARI_KRAKEN_SELECT_MODEL: 'deepseek-v4-pro',
-        }, getKrakenVerifierOverride());
-        expect(resolved).toEqual({ provider: 'glm', model: 'glm-4.6' });
-    });
-});
-describe('parseSetConfigFlags — verifier flags', () => {
-    it('valid: --verifier-provider + --verifier-model together', () => {
-        const res = parseSetConfigFlags([
-            '--set-config',
-            '--verifier-provider',
-            'anthropic',
-            '--verifier-model',
-            'claude-sonnet-4-6',
-        ]);
-        expect(res.error).toBeUndefined();
-        expect(res.request?.verifierProvider).toBe('anthropic');
-        expect(res.request?.verifierModel).toBe('claude-sonnet-4-6');
-        expect(res.request?.verifierClear).toBeUndefined();
-    });
-    it('valid: --verifier-clear alone', () => {
-        const res = parseSetConfigFlags(['--set-config', '--verifier-clear']);
-        expect(res.error).toBeUndefined();
-        expect(res.request?.verifierClear).toBe(true);
-        expect(res.request?.verifierProvider).toBeUndefined();
-    });
-    it('provider without model → error', () => {
-        const res = parseSetConfigFlags(['--set-config', '--verifier-provider', 'grok']);
-        expect(res.request).toBeNull();
-        expect(res.error).toMatch(/must be used together/);
-    });
-    it('model without provider → error', () => {
-        const res = parseSetConfigFlags(['--set-config', '--verifier-model', 'm']);
-        expect(res.request).toBeNull();
-        expect(res.error).toMatch(/must be used together/);
-    });
-    it('clear + provider/model → conflict error', () => {
-        const res = parseSetConfigFlags([
-            '--set-config',
-            '--verifier-clear',
-            '--verifier-provider',
-            'grok',
-            '--verifier-model',
-            'm',
-        ]);
-        expect(res.request).toBeNull();
-        expect(res.error).toMatch(/conflicts/);
-    });
-    it('empty values → error', () => {
-        const a = parseSetConfigFlags([
-            '--set-config',
-            '--verifier-provider',
-            ' ',
-            '--verifier-model',
-            'm',
-        ]);
-        expect(a.error).toMatch(/cannot be empty/);
-        const b = parseSetConfigFlags([
-            '--set-config',
-            '--verifier-provider',
-            'grok',
-            '--verifier-model',
-            '',
-        ]);
-        expect(b.error).toMatch(/cannot be empty/);
-    });
-    it('no flags at all → still an error (same as before)', () => {
-        const res = parseSetConfigFlags(['--set-config']);
-        expect(res.request).toBeNull();
-        expect(res.error).toMatch(/--set-config requires/);
-    });
-});
-describe('applySetConfig + snapshot — verifier persistence', () => {
-    it('set via flags → persisted → snapshot exposes it', () => {
-        writeConfigFile(OLD_FILE);
-        const res = applySetConfig({
-            verifierProvider: 'anthropic',
-            verifierModel: 'claude-sonnet-4-6',
-        });
-        expect(res.ok).toBe(true);
-        if (res.ok)
-            expect(res.message).toContain('verifier=anthropic/claude-sonnet-4-6');
-        const snap = buildDesktopConfigSnapshot();
-        expect(snap.krakenVerifier).toEqual({
-            provider: 'anthropic',
-            model: 'claude-sonnet-4-6',
-        });
-        // save/reload equality (Desktop round-trip)
-        expect(getKrakenVerifierOverride()).toEqual(snap.krakenVerifier);
-    });
-    it('unknown verifier provider → explicit error, nothing persisted', () => {
-        writeConfigFile(OLD_FILE);
-        const res = applySetConfig({ verifierProvider: 'nope', verifierModel: 'm' });
-        expect(res.ok).toBe(false);
-        if (!res.ok)
-            expect(res.error).toMatch(/unknown verifier provider/);
-        expect(getKrakenVerifierOverride()).toBeUndefined();
-    });
-    it('clear via flags → snapshot back to null (inherit)', () => {
-        writeConfigFile(OLD_FILE);
-        setKrakenVerifier('grok', 'grok-4.6');
-        const res = applySetConfig({ verifierClear: true });
-        expect(res.ok).toBe(true);
-        if (res.ok)
-            expect(res.message).toContain('verifier=inherit');
-        expect(buildDesktopConfigSnapshot().krakenVerifier).toBeNull();
-    });
-    it('fresh install (no file) → snapshot krakenVerifier null, inherit default', () => {
-        // no config file written in this tmp dir
-        const snap = buildDesktopConfigSnapshot();
-        expect(snap.krakenVerifier).toBeNull();
-    });
-});
-//# sourceMappingURL=verifierSettings.test.js.map

package/dist/cli/kraken/verifierSettings.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verifierSettings.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifierSettings.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,iBAAiB,EACjB,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,0BAA0B,GAC3B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEtD,IAAI,MAAM,GAAG,EAAE,CAAC;AAChB,IAAI,QAA4B,CAAC;AAEjC,UAAU,CAAC,GAAG,EAAE;IACd,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IACxD,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;IACrD,OAAO,CAAC,GAAG,CAAC,6BAA6B,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC/E,OAAO,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;IACjD,OAAO,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,GAAG,EAAE;IACb,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;;QACxE,OAAO,CAAC,GAAG,CAAC,6BAA6B,GAAG,QAAQ,CAAC;IAC1D,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAC7E,SAAS,eAAe,CAAC,GAA4B;IACnD,aAAa,CACX,OAAO,CAAC,GAAG,CAAC,6BAA8B,EAC1C,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAC5B,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAAG;IACf,gBAAgB,EAAE,MAAM;IACxB,eAAe,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;CACtC,CAAC;AAEF,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAEvD,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,iEAAiE;QACjE,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,WAAW,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QAC1D,8DAA8D;QAC9D,MAAM,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,iBAAiB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,yBAAyB,EAAE,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAChF,uEAAuE;QACvE,wDAAwD;QACxD,MAAM,CACJ,qBAAqB,CACnB,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EACvC,OAAO,CAAC,GAAG,EACX,yBAAyB,EAAE,CAC5B,CACF,CAAC,OAAO,CAAC;YACR,QAAQ,EAAE,WAAW;YACrB,KAAK,EAAE,mBAAmB;SAC3B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,iBAAiB,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,iBAAiB,EAAE,CAAC;QACrC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,0BAA0B;QAC1B,eAAe,CAAC,EAAE,GAAG,QAAQ,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,mBAAmB;QACnB,eAAe,CAAC;YACd,GAAG,QAAQ;YACX,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,cAAc;QACd,eAAe,CAAC;YACd,GAAG,QAAQ;YACX,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,qBAAqB;QACrB,eAAe,CAAC,EAAE,GAAG,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,gEAAgE;QAChE,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACtC,mBAAmB,EAAE,CAAC;QACtB,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,EAAE;YAC7C,6BAA6B,EAAE,UAAU;YACzC,0BAA0B,EAAE,iBAAiB;SACzB,CAAC,CAAC;QACxB,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,qBAAqB,CACpC,MAAM,EACN;YACE,6BAA6B,EAAE,UAAU;YACzC,0BAA0B,EAAE,iBAAiB;SACzB,EACtB,yBAAyB,EAAE,CAC5B,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,mBAAmB,CAAC;YAC9B,cAAc;YACd,qBAAqB;YACrB,WAAW;YACX,kBAAkB;YAClB,mBAAmB;SACpB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,aAAa,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,cAAc,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,cAAc,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,mBAAmB,CAAC;YAC9B,cAAc;YACd,kBAAkB;YAClB,qBAAqB;YACrB,MAAM;YACN,kBAAkB;YAClB,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,mBAAmB,CAAC;YAC5B,cAAc;YACd,qBAAqB;YACrB,GAAG;YACH,kBAAkB;YAClB,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,mBAAmB,CAAC;YAC5B,cAAc;YACd,qBAAqB;YACrB,MAAM;YACN,kBAAkB;YAClB,EAAE;SACH,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,cAAc,CAAC;YACzB,gBAAgB,EAAE,WAAW;YAC7B,aAAa,EAAE,mBAAmB;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,sCAAsC,CAAC,CAAC;QAElF,MAAM,IAAI,GAAG,0BAA0B,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC;YAClC,QAAQ,EAAE,WAAW;YACrB,KAAK,EAAE,mBAAmB;SAC3B,CAAC,CAAC;QACH,4CAA4C;QAC5C,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QACpE,MAAM,CAAC,yBAAyB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1B,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC9D,MAAM,CAAC,0BAA0B,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,yCAAyC;QACzC,MAAM,IAAI,GAAG,0BAA0B,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}