zelari-code 1.48.1 → 2.0.0-alpha.2

package/dist/cli/kraken/verificationBridge.js

@@ -0,0 +1,153 @@
+/**
+ * verificationBridge — adapts the 1.x Kraken check registry onto the 2.0
+ * deterministic evidence contract (ADR-0023), and enforces ZELARI_STRICT_DONE.
+ *
+ * The legacy completion gate (completionGate.ts) already implements
+ * `unknown ≠ pass` over verify-report blocks. This bridge additionally maps
+ * those results onto Criterion/VerificationResult and runs the strict
+ * CompletionPolicy, where "pass without evidence" is ALSO blockable — the
+ * false-done guarantee the 2.0 contract adds on top.
+ *
+ * Composition rule: the strict verdict can only ADD blockers, never remove
+ * them. A legacy-blocked turn stays blocked; a legacy-open turn can become
+ * blocked only when strict evaluation is enabled AND the evidence contract
+ * is not satisfied.
+ */
+import { getKrakenCheckResults, krakenRequiredChecks } from './candidateRegistry.js';
+import { evaluateKrakenCompletionGate } from './completionGate.js';
+import { evaluateCompletion, STRICT_ALL_POLICY, } from '@zelari/core/verification';
+/** Strict done gate — opt-in during the alpha (default off for compat). */
+export function strictDoneEnabled() {
+    const v = process.env.ZELARI_STRICT_DONE;
+    return v === '1' || v === 'true';
+}
+/** Stable criterion id for a required-check text (deterministic per turn). */
+function criterionId(check, index) {
+    const slug = check
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, '-')
+        .replace(/^-+|-+$/g, '')
+        .slice(0, 48);
+    return `check-${index + 1}-${slug || 'criterion'}`;
+}
+/** Lowercase + collapse whitespace (mirrors completionGate matching). */
+function normalize(text) {
+    return text.toLowerCase().replace(/\s+/g, ' ').trim();
+}
+/**
+ * Find the reported result for a required check using the same tolerant
+ * matching as the legacy gate (normalized equality, then containment either
+ * direction at minimum length 8) so the two gates never disagree on mapping.
+ */
+function matchResult(check, byNormalized) {
+    const norm = normalize(check);
+    const direct = byNormalized.get(norm);
+    if (direct)
+        return direct;
+    for (const key of byNormalized.keys()) {
+        if (key.length >= 8 && (key.includes(norm) || norm.includes(key))) {
+            return byNormalized.get(key);
+        }
+    }
+    return undefined;
+}
+/**
+ * Map registry check results onto the evidence contract.
+ *
+ * Evidence discipline (ADR-0023): a `pass` counts only when the verify
+ * tentacle left an evidence note pointing back at real tool output. A pass
+ * without a note produces an empty evidence array — the CompletionPolicy
+ * then treats it as `unknown` (pass without evidence ≠ done).
+ */
+export function krakenResultsToContract(requiredChecks, results, now = Date.now()) {
+    const byNormalized = new Map();
+    for (const r of results ?? [])
+        byNormalized.set(normalize(r.check), r); // later duplicates win
+    const criteria = [];
+    const verifications = [];
+    requiredChecks.forEach((check, i) => {
+        const id = criterionId(check, i);
+        criteria.push({
+            id,
+            text: check,
+            source: 'kraken-selection',
+            required: true,
+            check: { kind: 'none', reason: 'verified by verify tentacle report' },
+        });
+        const reported = matchResult(check, byNormalized);
+        const evidence = reported?.note && reported.note.trim().length > 0
+            ? [
+                {
+                    tier: 'tool-output',
+                    ref: reported.note.trim().slice(0, 500),
+                    capturedAt: now,
+                },
+            ]
+            : [];
+        verifications.push({
+            criterionId: id,
+            status: reported?.status ?? 'unknown',
+            source: 'verify-agent',
+            evidence,
+            evaluatedAt: now,
+            durationMs: 0,
+            ...(reported?.note ? { detail: `verify-report note: ${reported.note.slice(0, 200)}` } : {}),
+        });
+    });
+    return { criteria, results: verifications };
+}
+/**
+ * Evaluate the BUILD completion gate. When `ZELARI_STRICT_DONE` is enabled
+ * and the turn registered required checks, the evidence contract is evaluated
+ * as well and the verdicts merged (blockers add up).
+ */
+export function evaluateStrictBuildGate(mode) {
+    const gate = evaluateKrakenCompletionGate(mode);
+    if (!gate.selectionUsed || gate.total === 0 || !strictDoneEnabled()) {
+        return {
+            gate,
+            strict: false,
+            evaluation: null,
+            blocked: gate.blocked,
+            summary: gate.blocked
+                ? `blocked: ${gate.failedChecks.length} failed, ${gate.unknownChecks.length} unknown`
+                : 'open',
+        };
+    }
+    const checks = krakenRequiredChecks();
+    const contract = krakenResultsToContract(checks, getKrakenCheckResults());
+    const evaluation = evaluateCompletion(contract.criteria, contract.results, STRICT_ALL_POLICY);
+    const blocked = gate.blocked || evaluation.verdict !== 'PASS';
+    return {
+        gate,
+        strict: true,
+        evaluation,
+        blocked,
+        summary: blocked
+            ? `blocked (strict ${evaluation?.verdict ?? 'n/a'}): ${gate.passed}/${gate.total} legacy-pass, evidence ${evaluation?.evidenceComplete ? 'complete' : 'incomplete'}`
+            : `open (strict PASS): ${evaluation?.satisfied.length ?? 0}/${gate.total} criteria pass with evidence`,
+    };
+}
+/** Machine-readable record for the session spine `verification.run` event. */
+export function strictGateEventPayload(evaluation) {
+    return {
+        engine: 'kraken-legacy+completion-policy',
+        strict: evaluation.strict,
+        verdict: evaluation.evaluation?.verdict ?? (evaluation.blocked ? 'BLOCKED' : 'PASS'),
+        legacy: {
+            total: evaluation.gate.total,
+            passed: evaluation.gate.passed,
+            failed: evaluation.gate.failedChecks,
+            unknown: evaluation.gate.unknownChecks,
+        },
+        evidence: evaluation.evaluation
+            ? {
+                satisfied: evaluation.evaluation.satisfied,
+                unsatisfied: evaluation.evaluation.unsatisfied,
+                complete: evaluation.evaluation.evidenceComplete,
+            }
+            : null,
+        summary: evaluation.summary,
+    };
+}
+//# sourceMappingURL=verificationBridge.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verificationBridge.js","sourceRoot":"","sources":["../../../src/cli/kraken/verificationBridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,4BAA4B,EAA6B,MAAM,qBAAqB,CAAC;AAE9F,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAKlB,MAAM,2BAA2B,CAAC;AAEnC,2EAA2E;AAC3E,MAAM,UAAU,iBAAiB;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,CAAC;AACnC,CAAC;AAOD,8EAA8E;AAC9E,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,MAAM,IAAI,GAAG,KAAK;SACf,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,OAAO,SAAS,KAAK,GAAG,CAAC,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,yEAAyE;AACzE,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,SAAS,WAAW,CAClB,KAAa,EACb,YAA4C;IAE5C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,cAAiC,EACjC,OAA4C,EAC5C,MAAc,IAAI,CAAC,GAAG,EAAE;IAExB,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,OAAO,IAAI,EAAE;QAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;IAC/F,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,aAAa,GAAyB,EAAE,CAAC;IAC/C,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,kBAAkB;YAC1B,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oCAAoC,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAClD,MAAM,QAAQ,GACZ,QAAQ,EAAE,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAC/C,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBACvC,UAAU,EAAE,GAAG;iBAChB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACT,aAAa,CAAC,IAAI,CAAC;YACjB,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,SAAS;YACrC,MAAM,EAAE,cAAc;YACtB,QAAQ;YACR,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC;YACb,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;AAC9C,CAAC;AAaD;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAsB;IAC5D,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC;QACpE,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACnB,CAAC,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,MAAM,YAAY,IAAI,CAAC,aAAa,CAAC,MAAM,UAAU;gBACrF,CAAC,CAAC,MAAM;SACX,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC;IAC9D,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,IAAI;QACZ,UAAU;QACV,OAAO;QACP,OAAO,EAAE,OAAO;YACd,CAAC,CAAC,mBAAmB,UAAU,EAAE,OAAO,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,0BAC5E,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAC9C,EAAE;YACJ,CAAC,CAAC,uBAAuB,UAAU,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,8BAA8B;KACzG,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,UAAqC;IAC1E,OAAO;QACL,MAAM,EAAE,iCAAiC;QACzC,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,UAAU,CAAC,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QACpF,MAAM,EAAE;YACN,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK;YAC5B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;YAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,YAAY;YACpC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,aAAa;SACvC;QACD,QAAQ,EAAE,UAAU,CAAC,UAAU;YAC7B,CAAC,CAAC;gBACE,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,SAAS;gBAC1C,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC,WAAW;gBAC9C,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,gBAAgB;aACjD;YACH,CAAC,CAAC,IAAI;QACR,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,131 @@
+/**
+ * verificationBridge tests (ADR-0023 host integration).
+ *
+ * Covers: check→contract mapping with tolerant matching, the pass-without-
+ * evidence rule, ZELARI_STRICT_DONE composition (blockers add, never
+ * subtract), and the machine-readable payload shape.
+ */
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { evaluateStrictBuildGate, krakenResultsToContract, strictDoneEnabled, strictGateEventPayload, } from './verificationBridge.js';
+import { resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
+const CHECKS = ['session survives concurrent refresh', 'rotated cookie rejects the old token'];
+function selectWithChecks(checks) {
+    resetKrakenCandidates();
+    setKrakenSelection({
+        status: 'selected',
+        winnerIndex: 1,
+        rationale: 'stronger evidence',
+        requiredChecks: checks,
+        degraded: false,
+        verifier: null,
+        judgedBy: 'llm',
+    });
+}
+let envPrev;
+beforeEach(() => {
+    envPrev = process.env.ZELARI_STRICT_DONE;
+    resetKrakenCandidates();
+});
+afterEach(() => {
+    if (envPrev === undefined)
+        delete process.env.ZELARI_STRICT_DONE;
+    else
+        process.env.ZELARI_STRICT_DONE = envPrev;
+    resetKrakenCandidates();
+});
+describe('krakenResultsToContract', () => {
+    it('maps every required check to a required criterion with a stable id', () => {
+        const contract = krakenResultsToContract(CHECKS, [], 1000);
+        expect(contract.criteria).toHaveLength(2);
+        expect(contract.criteria.every((c) => c.required && c.source === 'kraken-selection')).toBe(true);
+        expect(contract.results.every((r) => r.status === 'unknown' && r.source === 'verify-agent')).toBe(true);
+    });
+    it('a pass WITH a note carries evidence; a pass WITHOUT a note does not', () => {
+        const results = [
+            { check: CHECKS[0], status: 'pass', note: 'vitest 41/41' },
+            { check: CHECKS[1], status: 'pass' },
+        ];
+        const contract = krakenResultsToContract(CHECKS, results, 2000);
+        expect(contract.results[0].evidence).toHaveLength(1);
+        expect(contract.results[0].evidence[0].tier).toBe('tool-output');
+        expect(contract.results[1].evidence).toHaveLength(0);
+    });
+    it('tolerates lightly reworded check text (containment matching)', () => {
+        const results = [
+            { check: 'Session survives concurrent REFRESH (reworded)', status: 'pass', note: 'x' },
+        ];
+        const contract = krakenResultsToContract([CHECKS[0]], results);
+        expect(contract.results[0].status).toBe('pass');
+        expect(contract.results[0].evidence).toHaveLength(1);
+    });
+});
+describe('evaluateStrictBuildGate', () => {
+    it('strict off (default): mirrors the legacy gate exactly', () => {
+        delete process.env.ZELARI_STRICT_DONE;
+        expect(strictDoneEnabled()).toBe(false);
+        selectWithChecks(CHECKS);
+        setKrakenCheckResults([
+            { check: CHECKS[0], status: 'pass', note: 'ok' },
+            { check: CHECKS[1], status: 'fail', note: 'assert' },
+        ]);
+        const evaluation = evaluateStrictBuildGate('build');
+        expect(evaluation.strict).toBe(false);
+        expect(evaluation.evaluation).toBeNull();
+        expect(evaluation.blocked).toBe(true);
+    });
+    it('strict on + all pass with notes → PASS', () => {
+        process.env.ZELARI_STRICT_DONE = '1';
+        selectWithChecks(CHECKS);
+        setKrakenCheckResults([
+            { check: CHECKS[0], status: 'pass', note: 'vitest 41/41' },
+            { check: CHECKS[1], status: 'pass', note: 'curl 401' },
+        ]);
+        const evaluation = evaluateStrictBuildGate('build');
+        expect(evaluation.strict).toBe(true);
+        expect(evaluation.evaluation.verdict).toBe('PASS');
+        expect(evaluation.blocked).toBe(false);
+    });
+    it('strict on + pass WITHOUT evidence → BLOCKED (false-done guard)', () => {
+        process.env.ZELARI_STRICT_DONE = '1';
+        selectWithChecks(CHECKS);
+        setKrakenCheckResults([
+            { check: CHECKS[0], status: 'pass', note: 'vitest 41/41' },
+            { check: CHECKS[1], status: 'pass' }, // no note → no evidence
+        ]);
+        const evaluation = evaluateStrictBuildGate('build');
+        expect(evaluation.evaluation.verdict).toBe('BLOCKED');
+        expect(evaluation.blocked).toBe(true);
+        expect(evaluation.evaluation.unsatisfied[0].status).toBe('unknown');
+        expect(evaluation.evaluation.unsatisfied[0].reason).toContain('without evidence');
+    });
+    it('strict on + legacy fail → REPAIR_REQUIRED (fail wins over unknown)', () => {
+        process.env.ZELARI_STRICT_DONE = '1';
+        selectWithChecks(CHECKS);
+        setKrakenCheckResults([
+            { check: CHECKS[0], status: 'fail', note: 'assert false' },
+            { check: CHECKS[1], status: 'unknown' },
+        ]);
+        const evaluation = evaluateStrictBuildGate('build');
+        expect(evaluation.evaluation.verdict).toBe('REPAIR_REQUIRED');
+        expect(evaluation.blocked).toBe(true);
+    });
+    it('PLAN turns and turns without selection stay open', () => {
+        process.env.ZELARI_STRICT_DONE = '1';
+        expect(evaluateStrictBuildGate('plan').blocked).toBe(false);
+        resetKrakenCandidates();
+        expect(evaluateStrictBuildGate('build').blocked).toBe(false);
+    });
+});
+describe('strictGateEventPayload', () => {
+    it('is JSON-serializable and carries both gate layers', () => {
+        process.env.ZELARI_STRICT_DONE = '1';
+        selectWithChecks(CHECKS);
+        setKrakenCheckResults([{ check: CHECKS[0], status: 'pass', note: 'n' }]);
+        const payload = strictGateEventPayload(evaluateStrictBuildGate('build'));
+        expect(() => JSON.stringify(payload)).not.toThrow();
+        expect(payload).toMatchObject({ strict: true, engine: 'kraken-legacy+completion-policy' });
+        expect(payload.legacy).toMatchObject({ total: 2 });
+        expect(payload.evidence).not.toBeNull();
+    });
+});
+//# sourceMappingURL=verificationBridge.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verificationBridge.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verificationBridge.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAGhC,MAAM,MAAM,GAAG,CAAC,qCAAqC,EAAE,sCAAsC,CAAC,CAAC;AAE/F,SAAS,gBAAgB,CAAC,MAAgB;IACxC,qBAAqB,EAAE,CAAC;IACxB,kBAAkB,CAAC;QACjB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,mBAAmB;QAC9B,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;AACL,CAAC;AAED,IAAI,OAA2B,CAAC;AAEhC,UAAU,CAAC,GAAG,EAAE;IACd,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,qBAAqB,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;AAEH,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,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,OAAO,GAAwB;YACnC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;YAC1D,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;SACrC,CAAC;QACF,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAChE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACjE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,OAAO,GAAwB;YACnC,EAAE,KAAK,EAAE,gDAAgD,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;SACvF,CAAC;QACF,MAAM,QAAQ,GAAG,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,OAAO,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACtC,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE;YAChD,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;YAC1D,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE;SACvD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;YAC1D,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,wBAAwB;SAC/D,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvD,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrE,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;YAC1D,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE;SACxC,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC/D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,sBAAsB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACpD,MAAM,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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