zelari-code 1.48.0 → 1.49.0

package/dist/cli/kraken/verifier.js

@@ -0,0 +1,233 @@
+/**
+ * verifier — Kraken selection verifier (Fase 4, ADR-0020).
+ *
+ * Compares the candidate reports registered this turn (Fase 3) and produces
+ * ONE structured {@link KrakenSelectionVerdict}. Design rules:
+ *
+ *   - Verifier identity DEFAULTS to the exact PARENT model (no cheap-model
+ *     auto-pick — judging quality is the point). Overrides: explicit param
+ *     (Fase 9 settings) > ZELARI_KRAKEN_SELECT_PROVIDER/MODEL env > parent.
+ *   - Structured judging: the model must answer with a
+ *     `<selection-verdict>` JSON block, parsed LENIENTLY.
+ *   - `needs_more_evidence` is a first-class outcome (ties, weak evidence).
+ *   - Fallback NEVER fails the parent turn: a malformed/failed verifier
+ *     response degrades to `needs_more_evidence` with `degraded: true` and
+ *     the parent proceeds with its own judgment.
+ *   - Deterministic short-circuits (no LLM call): zero usable candidates,
+ *     single usable candidate.
+ *
+ * Pure module: the LLM call is injected (`callModel`), so tests never hit
+ * the network.
+ */
+/**
+ * Resolve the verifier identity.
+ *
+ *   1. explicit override (both provider+model required — partial overrides
+ *      are treated as invalid and fall through)
+ *   2. env: ZELARI_KRAKEN_SELECT_PROVIDER + ZELARI_KRAKEN_SELECT_MODEL
+ *      (model-only keeps the parent provider; provider-only is invalid)
+ *   3. parent identity — the DEFAULT (ADR-0020: verifier = parent model)
+ */
+export function resolveKrakenVerifier(parent, env = process.env, explicit) {
+    if (explicit?.provider?.trim() && explicit?.model?.trim()) {
+        return { provider: explicit.provider.trim(), model: explicit.model.trim() };
+    }
+    const envProvider = env.ZELARI_KRAKEN_SELECT_PROVIDER?.trim();
+    const envModel = env.ZELARI_KRAKEN_SELECT_MODEL?.trim();
+    if (envProvider && envModel)
+        return { provider: envProvider, model: envModel };
+    if (envModel)
+        return { provider: parent.provider, model: envModel };
+    // Provider-only (env or explicit) is not actionable without a model →
+    // documented fallback: inherit the parent exactly.
+    return { provider: parent.provider, model: parent.model };
+}
+// ── Prompt ─────────────────────────────────────────────────────────────────
+export const VERIFIER_SYSTEM_PROMPT = [
+    'You are the Kraken selection verifier. You compare independent research',
+    'reports (candidates) about ONE task and decide which hypothesis is best',
+    'supported by OBSERVED EVIDENCE. You do not explore anything yourself —',
+    'you judge what the candidates actually observed.',
+    '',
+    'RULES:',
+    '- Evidence decides. A specific observation (file:line, command output,',
+    '  test result) outweighs any amount of confident wording.',
+    '- An eloquent candidate with no observations must NOT beat a plainly',
+    '  worded candidate whose claims are grounded in evidence.',
+    '- Degraded observations (timeouts, empty searches, unavailable backends)',
+    '  are NOT proof of absence — never treat them as confirmation that',
+    '  something does not exist or cannot happen.',
+    '- A candidate CONTRADICTED by a concrete observation loses to one',
+    '  consistent with it. Weigh listed risks.',
+    '- If the leading candidates are equally (un)supported, answer',
+    '  needs_more_evidence — do not guess.',
+    '- requiredChecks: 0-5 concrete, runnable checks the implementation must',
+    '  pass to prove the winning hypothesis (test names, commands, behaviors).',
+    '',
+    'Answer with EXACTLY this block (valid JSON, no prose before/after):',
+    '<selection-verdict>',
+    '{',
+    '  "status": "selected" | "needs_more_evidence",',
+    '  "winnerIndex": <1-based index of the winning candidate, or null>,',
+    '  "rationale": "2-4 sentences grounded in the evidence",',
+    '  "requiredChecks": ["concrete check", "..."]',
+    '}',
+    '</selection-verdict>',
+].join('\n');
+function renderCandidate(entry) {
+    if (entry.status === 'malformed') {
+        return [
+            `## Candidate #${entry.index} — UNUSABLE (malformed report: ${entry.error})`,
+            'This candidate cannot win; it is listed for completeness.',
+        ].join('\n');
+    }
+    const lines = [`## Candidate #${entry.index} — ${entry.report.hypothesis || '(no hypothesis stated)'}`];
+    if (entry.report.evidence.length === 0) {
+        lines.push('Evidence: NONE (unsupported hypothesis)');
+    }
+    else {
+        lines.push('Evidence:');
+        for (const e of entry.report.evidence) {
+            const tag = e.degraded ? 'DEGRADED — inconclusive, NOT proof of absence' : 'OK';
+            lines.push(`- [${tag}] ${e.claim}${e.basis ? ` (basis: ${e.basis})` : ''}`);
+        }
+    }
+    if (entry.report.risks.length > 0) {
+        lines.push('Risks:');
+        for (const r of entry.report.risks)
+            lines.push(`- ${r}`);
+    }
+    return lines.join('\n');
+}
+/** Build the user prompt for the judging call. */
+export function buildSelectionPrompt(task, candidates) {
+    return [
+        'TASK',
+        task || '(the current user task — judge against the candidates below)',
+        '',
+        'CANDIDATES (read-only explorer reports):',
+        ...candidates.map(renderCandidate),
+        '',
+        'Decide which candidate is best supported by the evidence above.',
+    ].join('\n');
+}
+// ── Verdict parsing ────────────────────────────────────────────────────────
+const VERDICT_OPEN = '<selection-verdict>';
+const VERDICT_CLOSE = '</selection-verdict>';
+function needsMoreEvidence(rationale, fallbackReason) {
+    return {
+        status: 'needs_more_evidence',
+        winnerIndex: null,
+        rationale,
+        requiredChecks: [],
+        degraded: true,
+        ...(fallbackReason ? { fallbackReason } : {}),
+        verifier: null,
+        judgedBy: 'deterministic',
+    };
+}
+/**
+ * Parse + validate the verifier response against the candidate set.
+ * Lenient on shapes, STRICT on semantics: `selected` requires a valid
+ * winnerIndex pointing at an OK candidate.
+ */
+export function parseSelectionVerdict(raw, candidates) {
+    const open = raw.lastIndexOf(VERDICT_OPEN);
+    const close = raw.lastIndexOf(VERDICT_CLOSE);
+    if (open === -1 || close === -1 || close < open) {
+        return { ok: false, error: 'missing verdict block' };
+    }
+    const body = raw.slice(open + VERDICT_OPEN.length, close).trim();
+    let parsed;
+    try {
+        parsed = JSON.parse(body);
+    }
+    catch (err) {
+        return { ok: false, error: `invalid JSON (${err instanceof Error ? err.message : String(err)})` };
+    }
+    if (typeof parsed !== 'object' || parsed === null) {
+        return { ok: false, error: 'verdict is not a JSON object' };
+    }
+    const obj = parsed;
+    const status = obj.status;
+    if (status !== 'selected' && status !== 'needs_more_evidence') {
+        return { ok: false, error: `invalid status (${String(status)})` };
+    }
+    const rationale = typeof obj.rationale === 'string' ? obj.rationale.trim() : '';
+    const requiredChecks = (Array.isArray(obj.requiredChecks) ? obj.requiredChecks : [])
+        .filter((c) => typeof c === 'string' && c.trim().length > 0)
+        .map((c) => c.trim())
+        .slice(0, 5);
+    if (status === 'needs_more_evidence') {
+        return {
+            ok: true,
+            verdict: {
+                status,
+                winnerIndex: null,
+                rationale: rationale || 'Candidates are not sufficiently differentiated by evidence.',
+                requiredChecks,
+                degraded: false,
+                verifier: null,
+                judgedBy: 'llm',
+            },
+        };
+    }
+    const winner = obj.winnerIndex;
+    if (typeof winner !== 'number' || !Number.isInteger(winner)) {
+        return { ok: false, error: `selected without integer winnerIndex (${String(winner)})` };
+    }
+    const entry = candidates.find((c) => c.index === winner);
+    if (!entry || entry.status !== 'ok') {
+        return { ok: false, error: `winnerIndex ${winner} does not point at a usable candidate` };
+    }
+    return {
+        ok: true,
+        verdict: {
+            status: 'selected',
+            winnerIndex: winner,
+            rationale: rationale || 'Selected by evidence comparison.',
+            requiredChecks,
+            degraded: false,
+            verifier: null,
+            judgedBy: 'llm',
+        },
+    };
+}
+/**
+ * Run one selection. NEVER throws: every failure path degrades to a
+ * `needs_more_evidence` verdict so the parent turn always continues.
+ */
+export async function runKrakenSelection(opts) {
+    const okEntries = opts.candidates.filter((c) => c.status === 'ok');
+    // Deterministic short-circuit: nothing usable to compare.
+    if (okEntries.length === 0) {
+        return needsMoreEvidence('No usable candidate reports this turn (all malformed). Proceed with your own judgment.', 'no usable candidates');
+    }
+    // Deterministic short-circuit: single candidate — nothing to compare.
+    if (okEntries.length === 1) {
+        return {
+            status: 'selected',
+            winnerIndex: okEntries[0].index,
+            rationale: 'Single usable candidate this turn — selected without a comparison call.',
+            requiredChecks: [],
+            degraded: false,
+            verifier: null,
+            judgedBy: 'deterministic',
+        };
+    }
+    const system = VERIFIER_SYSTEM_PROMPT;
+    const user = buildSelectionPrompt(opts.task, opts.candidates);
+    let raw;
+    try {
+        raw = await opts.callModel({ system, user, identity: opts.identity });
+    }
+    catch (err) {
+        return needsMoreEvidence(`Verifier call failed (${err instanceof Error ? err.message : String(err)}). Proceed with your own judgment.`, 'verifier call failed');
+    }
+    const parsed = parseSelectionVerdict(raw, opts.candidates);
+    if (!parsed.ok) {
+        return needsMoreEvidence(`Verifier response unusable (${parsed.error}). Proceed with your own judgment.`, `malformed verifier response: ${parsed.error}`);
+    }
+    return { ...parsed.verdict, verifier: opts.identity };
+}
+//# sourceMappingURL=verifier.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAmCH;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAA8B,EAC9B,MAAyB,OAAO,CAAC,GAAG,EACpC,QAAiC;IAEjC,IAAI,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1D,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,WAAW,GAAG,GAAG,CAAC,6BAA6B,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,QAAQ,GAAG,GAAG,CAAC,0BAA0B,EAAE,IAAI,EAAE,CAAC;IACxD,IAAI,WAAW,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC/E,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACpE,sEAAsE;IACtE,mDAAmD;IACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC5D,CAAC;AAED,8EAA8E;AAE9E,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,kDAAkD;IAClD,EAAE;IACF,QAAQ;IACR,wEAAwE;IACxE,2DAA2D;IAC3D,sEAAsE;IACtE,2DAA2D;IAC3D,0EAA0E;IAC1E,oEAAoE;IACpE,8CAA8C;IAC9C,mEAAmE;IACnE,2CAA2C;IAC3C,+DAA+D;IAC/D,uCAAuC;IACvC,yEAAyE;IACzE,2EAA2E;IAC3E,EAAE;IACF,qEAAqE;IACrE,qBAAqB;IACrB,GAAG;IACH,iDAAiD;IACjD,qEAAqE;IACrE,0DAA0D;IAC1D,+CAA+C;IAC/C,GAAG;IACH,sBAAsB;CACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,SAAS,eAAe,CAAC,KAAqB;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO;YACL,iBAAiB,KAAK,CAAC,KAAK,kCAAkC,KAAK,CAAC,KAAK,GAAG;YAC5E,2DAA2D;SAC5D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,iBAAiB,KAAK,CAAC,KAAK,MAAM,KAAK,CAAC,MAAM,CAAC,UAAU,IAAI,wBAAwB,EAAE,CAAC,CAAC;IACxG,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACxD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,IAAI,CAAC;YAChF,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,UAAqC;IACtF,OAAO;QACL,MAAM;QACN,IAAI,IAAI,8DAA8D;QACtE,EAAE;QACF,0CAA0C;QAC1C,GAAG,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC;QAClC,EAAE;QACF,iEAAiE;KAClE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,8EAA8E;AAE9E,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAC3C,MAAM,aAAa,GAAG,sBAAsB,CAAC;AAE7C,SAAS,iBAAiB,CACxB,SAAiB,EACjB,cAAuB;IAEvB,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,WAAW,EAAE,IAAI;QACjB,SAAS;QACT,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;QACd,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,eAAe;KAC1B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAW,EACX,UAAqC;IAErC,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IAC7C,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACjE,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iBAAiB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IACpG,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAClD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,8BAA8B,EAAE,CAAC;IAC9D,CAAC;IACD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,qBAAqB,EAAE,CAAC;QAC9D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,mBAAmB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,MAAM,cAAc,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;SACjF,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;SACxE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEf,IAAI,MAAM,KAAK,qBAAqB,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE;gBACP,MAAM;gBACN,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,SAAS,IAAI,6DAA6D;gBACrF,cAAc;gBACd,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,KAAK;aAChB;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC;IAC/B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,yCAAyC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,MAAM,uCAAuC,EAAE,CAAC;IAC5F,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE;YACP,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,MAAM;YACnB,SAAS,EAAE,SAAS,IAAI,kCAAkC;YAC1D,cAAc;YACd,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;SAChB;KACF,CAAC;AACJ,CAAC;AAoBD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAA4B;IAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkD,EAAE,CAC7F,CAAC,CAAC,MAAM,KAAK,IAAI,CAClB,CAAC;IAEF,0DAA0D;IAC1D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,iBAAiB,CACtB,wFAAwF,EACxF,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK;YAC/B,SAAS,EAAE,yEAAyE;YACpF,cAAc,EAAE,EAAE;YAClB,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,eAAe;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,sBAAsB,CAAC;IACtC,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,iBAAiB,CACtB,yBACE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACjD,oCAAoC,EACpC,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,iBAAiB,CACtB,+BAA+B,MAAM,CAAC,KAAK,oCAAoC,EAC/E,gCAAgC,MAAM,CAAC,KAAK,EAAE,CAC/C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AACxD,CAAC"}

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