zelari-code 1.48.1 → 2.0.0-alpha.2

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

@@ -0,0 +1,232 @@
+/**
+ * verifier.test — Fase 4 (ADR-0020) unit tests for the Kraken selection
+ * verifier: identity resolution (parent-exact default), judging prompt
+ * rules, lenient verdict parsing, and the never-throw fallback contract.
+ */
+import { describe, expect, it } from 'vitest';
+import { buildSelectionPrompt, parseSelectionVerdict, resolveKrakenVerifier, runKrakenSelection, VERIFIER_SYSTEM_PROMPT, } from './verifier.js';
+const PARENT = { provider: 'grok', model: 'grok-4-fast' };
+function okCandidate(index, hypothesis, opts = {}) {
+    return {
+        status: 'ok',
+        index,
+        description: `candidate ${index}`,
+        report: {
+            hypothesis,
+            evidence: [
+                { claim: `claim-${index}`, basis: `file:${index}`, degraded: opts.degraded === true },
+            ],
+            risks: [],
+            hasDegradedEvidence: opts.degraded === true,
+        },
+        raw: '',
+    };
+}
+function malformedCandidate(index) {
+    return {
+        status: 'malformed',
+        index,
+        description: `candidate ${index}`,
+        error: 'missing report block',
+        raw: 'no block',
+    };
+}
+const verdictJson = (o) => `<selection-verdict>\n${JSON.stringify(o, null, 2)}\n</selection-verdict>`;
+// ── resolveKrakenVerifier ──────────────────────────────────────────────────
+describe('resolveKrakenVerifier', () => {
+    it('defaults to the EXACT parent identity (no cheap-model routing)', () => {
+        expect(resolveKrakenVerifier(PARENT, {})).toEqual(PARENT);
+    });
+    it('model-only env keeps parent provider, overrides model', () => {
+        expect(resolveKrakenVerifier(PARENT, { ZELARI_KRAKEN_SELECT_MODEL: 'glm-4.6' })).toEqual({
+            provider: 'grok',
+            model: 'glm-4.6',
+        });
+    });
+    it('provider+model env fully overrides', () => {
+        expect(resolveKrakenVerifier(PARENT, {
+            ZELARI_KRAKEN_SELECT_PROVIDER: 'openai-compatible',
+            ZELARI_KRAKEN_SELECT_MODEL: 'gpt-5',
+        })).toEqual({ provider: 'openai-compatible', model: 'gpt-5' });
+    });
+    it('provider-only env is invalid → falls back to parent (§64)', () => {
+        expect(resolveKrakenVerifier(PARENT, { ZELARI_KRAKEN_SELECT_PROVIDER: 'glm' })).toEqual(PARENT);
+    });
+    it('explicit settings override (Fase 9) wins over env', () => {
+        expect(resolveKrakenVerifier(PARENT, { ZELARI_KRAKEN_SELECT_MODEL: 'env-model' }, { provider: 'anthropic', model: 'claude-x' })).toEqual({ provider: 'anthropic', model: 'claude-x' });
+    });
+    it('partial explicit override is ignored → env applies', () => {
+        expect(resolveKrakenVerifier(PARENT, { ZELARI_KRAKEN_SELECT_MODEL: 'env-model' }, { model: 'x' })).toEqual({ provider: 'grok', model: 'env-model' });
+    });
+});
+// ── Prompt ─────────────────────────────────────────────────────────────────
+describe('buildSelectionPrompt / system rules', () => {
+    it('system prompt carries the evidence-integrity rules', () => {
+        expect(VERIFIER_SYSTEM_PROMPT).toContain('NOT proof of absence');
+        expect(VERIFIER_SYSTEM_PROMPT).toContain('Evidence decides');
+        expect(VERIFIER_SYSTEM_PROMPT).toContain('needs_more_evidence');
+    });
+    it('renders hypotheses, degraded tags and malformed candidates', () => {
+        const p = buildSelectionPrompt('fix session loss', [
+            okCandidate(1, 'token rotation race'),
+            okCandidate(2, 'cookie expiry bug', { degraded: true }),
+            malformedCandidate(3),
+        ]);
+        expect(p).toContain('TASK');
+        expect(p).toContain('Candidate #1 — token rotation race');
+        expect(p).toContain('DEGRADED — inconclusive, NOT proof of absence');
+        expect(p).toContain('Candidate #3 — UNUSABLE');
+        expect(p).toContain('claim-1 (basis: file:1)');
+    });
+});
+// ── parseSelectionVerdict ──────────────────────────────────────────────────
+describe('parseSelectionVerdict', () => {
+    const two = [okCandidate(1, 'h1'), okCandidate(2, 'h2')];
+    it('accepts a valid selected verdict', () => {
+        const r = parseSelectionVerdict(verdictJson({ status: 'selected', winnerIndex: 2, rationale: 'grounded', requiredChecks: ['test:session'] }), two);
+        expect(r.ok).toBe(true);
+        if (r.ok) {
+            expect(r.verdict.status).toBe('selected');
+            expect(r.verdict.winnerIndex).toBe(2);
+            expect(r.verdict.requiredChecks).toEqual(['test:session']);
+            expect(r.verdict.degraded).toBe(false);
+        }
+    });
+    it('accepts needs_more_evidence and ignores any winner', () => {
+        const r = parseSelectionVerdict(verdictJson({ status: 'needs_more_evidence', winnerIndex: 1, rationale: 'tie' }), two);
+        expect(r.ok).toBe(true);
+        if (r.ok)
+            expect(r.verdict.winnerIndex).toBeNull();
+    });
+    it('rejects non-integer winnerIndex', () => {
+        expect(parseSelectionVerdict(verdictJson({ status: 'selected', winnerIndex: 1.5 }), two)).toMatchObject({ ok: false });
+        expect(parseSelectionVerdict(verdictJson({ status: 'selected', winnerIndex: '2' }), two)).toMatchObject({ ok: false });
+    });
+    it('rejects a winner pointing at a malformed candidate', () => {
+        const r = parseSelectionVerdict(verdictJson({ status: 'selected', winnerIndex: 3 }), [okCandidate(1, 'h1'), okCandidate(2, 'h2'), malformedCandidate(3)]);
+        expect(r).toMatchObject({ ok: false });
+    });
+    it('rejects missing block / invalid JSON / bad status', () => {
+        expect(parseSelectionVerdict('no block here', two)).toMatchObject({ ok: false });
+        expect(parseSelectionVerdict('<selection-verdict>{bad json}</selection-verdict>', two)).toMatchObject({ ok: false });
+        expect(parseSelectionVerdict(verdictJson({ status: 'maybe' }), two)).toMatchObject({ ok: false });
+    });
+    it('clamps requiredChecks to 5 and drops non-strings', () => {
+        const r = parseSelectionVerdict(verdictJson({
+            status: 'selected',
+            winnerIndex: 1,
+            requiredChecks: ['a', 'b', 'c', 'd', 'e', 'f', 42, null],
+        }), two);
+        expect(r.ok).toBe(true);
+        if (r.ok)
+            expect(r.verdict.requiredChecks).toEqual(['a', 'b', 'c', 'd', 'e']);
+    });
+    it('uses the LAST verdict block when the model rambles', () => {
+        const raw = `prose <selection-verdict>{"status":"needs_more_evidence"}</selection-verdict> more prose
+<selection-verdict>{"status":"selected","winnerIndex":1}</selection-verdict>`;
+        const r = parseSelectionVerdict(raw, two);
+        expect(r.ok).toBe(true);
+        if (r.ok)
+            expect(r.verdict.status).toBe('selected');
+    });
+});
+// ── runKrakenSelection ─────────────────────────────────────────────────────
+describe('runKrakenSelection', () => {
+    it('zero usable candidates → deterministic needs_more_evidence, no LLM call', async () => {
+        let called = 0;
+        const v = await runKrakenSelection({
+            task: 't',
+            candidates: [malformedCandidate(1), malformedCandidate(2)],
+            identity: PARENT,
+            callModel: async () => {
+                called++;
+                return '';
+            },
+        });
+        expect(called).toBe(0);
+        expect(v.status).toBe('needs_more_evidence');
+        expect(v.degraded).toBe(true);
+        expect(v.fallbackReason).toBe('no usable candidates');
+    });
+    it('single usable candidate → deterministic selection, no LLM call', async () => {
+        let called = 0;
+        const v = await runKrakenSelection({
+            task: 't',
+            candidates: [okCandidate(1, 'only'), malformedCandidate(2)],
+            identity: PARENT,
+            callModel: async () => {
+                called++;
+                return '';
+            },
+        });
+        expect(called).toBe(0);
+        expect(v.status).toBe('selected');
+        expect(v.winnerIndex).toBe(1);
+        expect(v.judgedBy).toBe('deterministic');
+    });
+    it('two candidates → LLM judges with system+user and identity rides the verdict', async () => {
+        let seen = null;
+        const v = await runKrakenSelection({
+            task: 'fix intermittent session loss',
+            candidates: [okCandidate(1, 'race in refresh'), okCandidate(2, 'cookie expiry')],
+            identity: PARENT,
+            callModel: async ({ system, user }) => {
+                seen = { system, user };
+                return verdictJson({
+                    status: 'selected',
+                    winnerIndex: 1,
+                    rationale: 'grounded in file evidence',
+                    requiredChecks: ['regression test for concurrent refresh'],
+                });
+            },
+        });
+        expect(seen).not.toBeNull();
+        expect(seen.system).toContain('selection verifier');
+        expect(seen.user).toContain('fix intermittent session loss');
+        expect(v).toMatchObject({
+            status: 'selected',
+            winnerIndex: 1,
+            judgedBy: 'llm',
+            degraded: false,
+            verifier: PARENT,
+        });
+        expect(v.requiredChecks).toEqual(['regression test for concurrent refresh']);
+    });
+    it('model says tie → clean needs_more_evidence (not degraded)', async () => {
+        const v = await runKrakenSelection({
+            task: 't',
+            candidates: [okCandidate(1, 'a'), okCandidate(2, 'b')],
+            identity: PARENT,
+            callModel: async () => verdictJson({ status: 'needs_more_evidence', rationale: 'equally supported' }),
+        });
+        expect(v.status).toBe('needs_more_evidence');
+        expect(v.degraded).toBe(false);
+        expect(v.judgedBy).toBe('llm');
+    });
+    it('callModel throws (timeout/429/network) → degraded, run continues', async () => {
+        const v = await runKrakenSelection({
+            task: 't',
+            candidates: [okCandidate(1, 'a'), okCandidate(2, 'b')],
+            identity: PARENT,
+            callModel: async () => {
+                throw new Error('429 rate limited');
+            },
+        });
+        expect(v.status).toBe('needs_more_evidence');
+        expect(v.degraded).toBe(true);
+        expect(v.fallbackReason).toBe('verifier call failed');
+        expect(v.rationale).toContain('429');
+    });
+    it('malformed verifier response → degraded with reason', async () => {
+        const v = await runKrakenSelection({
+            task: 't',
+            candidates: [okCandidate(1, 'a'), okCandidate(2, 'b')],
+            identity: PARENT,
+            callModel: async () => 'I think candidate 1 is nicer',
+        });
+        expect(v.status).toBe('needs_more_evidence');
+        expect(v.degraded).toBe(true);
+        expect(v.fallbackReason).toContain('malformed verifier response');
+    });
+});
+//# sourceMappingURL=verifier.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifier.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,sBAAsB,GAEvB,MAAM,eAAe,CAAC;AAGvB,MAAM,MAAM,GAA2B,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;AAElF,SAAS,WAAW,CAAC,KAAa,EAAE,UAAkB,EAAE,OAAyD,EAAE;IACjH,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,KAAK;QACL,WAAW,EAAE,aAAa,KAAK,EAAE;QACjC,MAAM,EAAE;YACN,UAAU;YACV,QAAQ,EAAE;gBACR,EAAE,KAAK,EAAE,SAAS,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE;aACtF;YACD,KAAK,EAAE,EAAE;YACT,mBAAmB,EAAE,IAAI,CAAC,QAAQ,KAAK,IAAI;SAC5C;QACD,GAAG,EAAE,EAAE;KACU,CAAC;AACtB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,KAAK;QACL,WAAW,EAAE,aAAa,KAAK,EAAE;QACjC,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,UAAU;KACE,CAAC;AACtB,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,CAA0B,EAAE,EAAE,CACjD,wBAAwB,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,wBAAwB,CAAC;AAE7E,8EAA8E;AAE9E,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,0BAA0B,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACvF,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,SAAS;SACjB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CACJ,qBAAqB,CAAC,MAAM,EAAE;YAC5B,6BAA6B,EAAE,mBAAmB;YAClD,0BAA0B,EAAE,OAAO;SACpC,CAAC,CACH,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,6BAA6B,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CACJ,qBAAqB,CACnB,MAAM,EACN,EAAE,0BAA0B,EAAE,WAAW,EAAE,EAC3C,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAC7C,CACF,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CACJ,qBAAqB,CAAC,MAAM,EAAE,EAAE,0BAA0B,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAC3F,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,sBAAsB,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACjE,MAAM,CAAC,sBAAsB,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC7D,MAAM,CAAC,sBAAsB,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,oBAAoB,CAAC,kBAAkB,EAAE;YACjD,WAAW,CAAC,CAAC,EAAE,qBAAqB,CAAC;YACrC,WAAW,CAAC,CAAC,EAAE,mBAAmB,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACvD,kBAAkB,CAAC,CAAC,CAAC;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC;QACrE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAEzD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,qBAAqB,CAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,EAC5G,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;YACT,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;YAC3D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,qBAAqB,CAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,qBAAqB,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAChF,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACvH,MAAM,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACzH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,qBAAqB,CAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EACnD,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CACpE,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,qBAAqB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,qBAAqB,CAAC,mDAAmD,EAAE,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACrH,MAAM,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,qBAAqB,CAC7B,WAAW,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,CAAC;YACd,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;SACzD,CAAC,EACF,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG;6EAC6D,CAAC;QAC1E,MAAM,CAAC,GAAG,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC;YACjC,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;YAC1D,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,KAAK,IAAI,EAAE;gBACpB,MAAM,EAAE,CAAC;gBACT,OAAO,EAAE,CAAC;YACZ,CAAC;SACF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC;YACjC,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;YAC3D,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,KAAK,IAAI,EAAE;gBACpB,MAAM,EAAE,CAAC;gBACT,OAAO,EAAE,CAAC;YACZ,CAAC;SACF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;QAC3F,IAAI,IAAI,GAA4C,IAAI,CAAC;QACzD,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC;YACjC,IAAI,EAAE,+BAA+B;YACrC,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC;YAChF,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;gBACpC,IAAI,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;gBACxB,OAAO,WAAW,CAAC;oBACjB,MAAM,EAAE,UAAU;oBAClB,WAAW,EAAE,CAAC;oBACd,SAAS,EAAE,2BAA2B;oBACtC,cAAc,EAAE,CAAC,wCAAwC,CAAC;iBAC3D,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QACrD,MAAM,CAAC,IAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YACtB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,CAAC;YACd,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC;YACjC,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACtD,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,KAAK,IAAI,EAAE,CACpB,WAAW,CAAC,EAAE,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC;SACjF,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC;YACjC,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACtD,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,KAAK,IAAI,EAAE;gBACpB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC;SACF,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC;YACjC,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACtD,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,8BAA8B;SACtD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,237 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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"}

package/dist/cli/kraken/verifyReport.js

@@ -0,0 +1,115 @@
+/**
+ * verifyReport — structured per-check verification results (Fase 7, ADR-0020).
+ *
+ * A verify tentacle whose acceptance includes the turn's required checks
+ * (Fase 6 routing) ends its conclusion with ONE `<verify-report>` block per
+ * criterion:
+ *
+ *   <verify-report>
+ *   check: unit test for session refresh passes
+ *   status: pass
+ *   note: vitest 41/41
+ *   </verify-report>
+ *
+ * Parsing is LENIENT and deterministic:
+ *   - missing/invalid status word  → `unknown`
+ *   - criterion without a block    → `unknown` (no report ≠ pass)
+ *   - failed tentacle              → all `unknown` (allUnknownCheckResults)
+ *   - later duplicate blocks win   (the tentacle may correct itself)
+ *
+ * Observation integrity (§23 of the plan): `unknown` is a first-class
+ * outcome. A degraded observation (timeout, broken tool) must never be
+ * recorded as `pass` — the completion gate (Fase 8) treats only `pass` as
+ * satisfied.
+ */
+const OPEN = '<verify-report>';
+const CLOSE = '</verify-report>';
+const VALID_STATUSES = new Set(['pass', 'fail', 'unknown']);
+/** Lowercase + collapse whitespace (matching is wording-tolerant). */
+function normalize(text) {
+    return text.toLowerCase().replace(/\s+/g, ' ').trim();
+}
+/**
+ * Extract raw `<verify-report>` blocks in order of appearance. Blocks
+ * without a `check:` line are skipped (nothing to match on); a missing or
+ * invalid `status:` is kept as '' and sanitized to `unknown` at match time.
+ */
+export function extractVerifyReportBlocks(raw) {
+    const blocks = [];
+    let cursor = 0;
+    for (;;) {
+        const open = raw.indexOf(OPEN, cursor);
+        if (open === -1)
+            break;
+        const close = raw.indexOf(CLOSE, open + OPEN.length);
+        if (close === -1)
+            break;
+        const block = { check: '', status: '' };
+        for (const line of raw.slice(open + OPEN.length, close).split(/\r?\n/)) {
+            const m = /^(check|status|note)\s*:\s*(.*)$/i.exec(line.trim());
+            if (!m)
+                continue;
+            const value = m[2].trim();
+            const key = m[1].toLowerCase();
+            if (key === 'check' && !block.check)
+                block.check = value;
+            else if (key === 'status' && !block.status)
+                block.status = value;
+            else if (key === 'note' && block.note === undefined)
+                block.note = value;
+        }
+        if (block.check)
+            blocks.push(block);
+        cursor = close + CLOSE.length;
+    }
+    return blocks;
+}
+/**
+ * Map the turn's required checks onto per-check results.
+ *
+ * Matching: normalized equality first, then containment (either direction)
+ * so a tentacle that lightly rewords a criterion still matches; later
+ * blocks for the same criterion override earlier ones.
+ */
+export function parseVerifyReport(raw, requiredChecks) {
+    const byCriterion = new Map();
+    for (const block of extractVerifyReportBlocks(raw)) {
+        byCriterion.set(normalize(block.check), block);
+    }
+    const keys = [...byCriterion.keys()];
+    return requiredChecks.map((check) => {
+        const norm = normalize(check);
+        let block = byCriterion.get(norm) ?? null;
+        if (!block) {
+            for (const key of keys) {
+                if (key.length >= 8 && (key.includes(norm) || norm.includes(key))) {
+                    block = byCriterion.get(key) ?? null;
+                    break;
+                }
+            }
+        }
+        if (!block) {
+            return {
+                check,
+                status: 'unknown',
+                note: 'no verify-report block for this check',
+            };
+        }
+        const status = VALID_STATUSES.has(block.status)
+            ? block.status
+            : 'unknown';
+        return { check, status, ...(block.note ? { note: block.note } : {}) };
+    });
+}
+/**
+ * All-unknown results for a verify tentacle that never produced a usable
+ * conclusion (failure, abort, empty output). Degraded ≠ proof of anything.
+ */
+export function allUnknownCheckResults(requiredChecks, reason) {
+    return requiredChecks.map((check) => ({
+        check,
+        status: 'unknown',
+        note: reason,
+    }));
+}
+//# sourceMappingURL=verifyReport.js.map

package/dist/cli/kraken/verifyReport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyReport.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifyReport.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAoBH,MAAM,IAAI,GAAG,iBAAiB,CAAC;AAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC;AACjC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAEjF,sEAAsE;AACtE,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAW;IACnD,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM;QACxB,MAAM,KAAK,GAAa,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvE,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,IAAI,GAAG,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;iBACpD,IAAI,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;iBAC5D,IAAI,GAAG,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;QAC1E,CAAC;QACD,IAAI,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,GAAW,EACX,cAAiC;IAEjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,KAAK,GAAoB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC3D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAClE,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;oBACrC,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;gBACL,KAAK;gBACL,MAAM,EAAE,SAAkB;gBAC1B,IAAI,EAAE,uCAAuC;aAC9C,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAsB,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAChE,CAAC,CAAE,KAAK,CAAC,MAA4B;YACrC,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,cAAiC,EACjC,MAAc;IAEd,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACpC,KAAK;QACL,MAAM,EAAE,SAAkB;QAC1B,IAAI,EAAE,MAAM;KACb,CAAC,CAAC,CAAC;AACN,CAAC"}