zelari-code 2.1.0 → 2.1.1

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

@@ -1,177 +0,0 @@
-/**
- * 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, strictGateExitCode, } from './verificationBridge.js';
-import { resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
-const CHECKS = ['session survives concurrent refresh', 'rotated cookie rejects the old token'];
-/** Fake spine emitter that stamps sequential seq so notes become event-backed. */
-function emitSeq() {
-    let n = 1;
-    return async () => ({ seq: n++ });
-}
-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', async () => {
-        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', async () => {
-        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)', async () => {
-        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', async () => {
-        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 = await evaluateStrictBuildGate('build');
-        expect(evaluation.strict).toBe(false);
-        expect(evaluation.evaluation).toBeNull();
-        expect(evaluation.blocked).toBe(true);
-    });
-    it('strict on + all pass with notes → PASS', async () => {
-        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 = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        expect(evaluation.strict).toBe(true);
-        expect(evaluation.evaluation.verdict).toBe('PASS');
-        expect(evaluation.blocked).toBe(false);
-    });
-    it('strict on + notes without spine emit → BLOCKED (event-backed required)', async () => {
-        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 = await evaluateStrictBuildGate('build'); // no emit → unanchored
-        expect(evaluation.evaluation.verdict).toBe('BLOCKED');
-        expect(evaluation.evaluation.unsatisfied[0].reason).toContain('event-backed');
-    });
-    it('strict on + pass WITHOUT evidence → BLOCKED (false-done guard)', async () => {
-        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 = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        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)', async () => {
-        process.env.ZELARI_STRICT_DONE = '1';
-        selectWithChecks(CHECKS);
-        setKrakenCheckResults([
-            { check: CHECKS[0], status: 'fail', note: 'assert false' },
-            { check: CHECKS[1], status: 'unknown' },
-        ]);
-        const evaluation = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        expect(evaluation.evaluation.verdict).toBe('REPAIR_REQUIRED');
-        expect(evaluation.blocked).toBe(true);
-    });
-    it('PLAN turns and turns without selection stay open', async () => {
-        process.env.ZELARI_STRICT_DONE = '1';
-        expect((await evaluateStrictBuildGate('plan')).blocked).toBe(false);
-        resetKrakenCandidates();
-        expect((await evaluateStrictBuildGate('build')).blocked).toBe(false);
-    });
-});
-describe('strictGateEventPayload', () => {
-    it('is JSON-serializable and carries both gate layers', async () => {
-        process.env.ZELARI_STRICT_DONE = '1';
-        selectWithChecks(CHECKS);
-        setKrakenCheckResults([{ check: CHECKS[0], status: 'pass', note: 'n' }]);
-        const payload = strictGateEventPayload(await evaluateStrictBuildGate('build', { emit: emitSeq() }));
-        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();
-    });
-});
-describe('strictGateExitCode (E2.2 — blocked strict done closes non-success)', () => {
-    it('strict on + blocked after repair → dedicated exit code 4', async () => {
-        process.env.ZELARI_STRICT_DONE = '1';
-        selectWithChecks(CHECKS);
-        setKrakenCheckResults([
-            { check: CHECKS[0], status: 'pass', note: 'vitest 41/41' },
-            { check: CHECKS[1], status: 'unknown' },
-        ]);
-        const evaluation = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        expect(evaluation.blocked).toBe(true);
-        expect(strictGateExitCode(evaluation)).toBe(4);
-    });
-    it('strict on + evidence complete → 0 (run outcome unchanged)', async () => {
-        process.env.ZELARI_STRICT_DONE = '1';
-        selectWithChecks([CHECKS[0]]);
-        setKrakenCheckResults([{ check: CHECKS[0], status: 'pass', note: 'vitest 41/41' }]);
-        const evaluation = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        expect(evaluation.blocked).toBe(false);
-        expect(strictGateExitCode(evaluation)).toBe(0);
-    });
-    it('strict off + legacy blocked → 0 (enforcement is strict-only)', async () => {
-        delete process.env.ZELARI_STRICT_DONE;
-        selectWithChecks(CHECKS);
-        setKrakenCheckResults([{ check: CHECKS[0], status: 'fail', note: 'red' }]);
-        const evaluation = await evaluateStrictBuildGate('build');
-        expect(evaluation.blocked).toBe(true);
-        expect(evaluation.strict).toBe(false);
-        expect(strictGateExitCode(evaluation)).toBe(0);
-    });
-});
-//# sourceMappingURL=verificationBridge.test.js.map

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

@@ -1 +0,0 @@
-{"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,EACtB,kBAAkB,GACnB,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,kFAAkF;AAClF,SAAS,OAAO;IACd,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,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,KAAK,IAAI,EAAE;QAClF,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,KAAK,IAAI,EAAE;QACnF,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,KAAK,IAAI,EAAE;QAC5E,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,KAAK,IAAI,EAAE;QACrE,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,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1D,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,KAAK,IAAI,EAAE;QACtD,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,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/E,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,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,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,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB;QAClF,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvD,MAAM,CAAC,UAAU,CAAC,UAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,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,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/E,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,KAAK,IAAI,EAAE;QAClF,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,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/E,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,KAAK,IAAI,EAAE;QAChE,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,MAAM,CAAC,CAAC,MAAM,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpE,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,CAAC,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,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,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACpG,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;AAEH,QAAQ,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,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,SAAS,EAAE;SACxC,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACrC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,OAAO,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACtC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

@@ -1 +0,0 @@
-{"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/verifierAdvisoryLock.test.js

@@ -1,154 +0,0 @@
-/**
- * verifierAdvisoryLock — Exit-2.3 lock tests (ADR-0023 × strict BUILD gate).
- *
- * Locks the composition rule the 2.0 verification contract depends on:
- * when the optional LLM verifier is ACTIVE, the deterministic CompletionPolicy
- * stays the FINAL authority of the Kraken BUILD gate.
- *
- *   Caso 1 — deterministic criterion UNKNOWN/FAIL + verifier CONFIRMED
- *            → no clean success (BLOCKED / REPAIR_REQUIRED, strict exit ≠ 0).
- *   Caso 2 — deterministic criteria PASS + verifier REJECTED
- *            → the deterministic verdict is NOT rewritten; the review is
- *              recorded in the spine as advisory only (exit stays 0).
- *
- * The verifier may add information, never authority. Breaking either test
- * below is a contract regression, not a refactor.
- */
-import { afterEach, beforeEach, describe, expect, it } from 'vitest';
-import { DEFAULT_VERIFIER_CONFIG, VerifierService, } from '@zelari/core/verification';
-import { evaluateStrictBuildGate, krakenResultsToContract, strictGateEventPayload, strictGateExitCode, } from './verificationBridge.js';
-import { getKrakenCheckResults, krakenRequiredChecks, resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
-const CHECKS = ['typecheck passes', 'suite verde'];
-function emitSeq() {
-    let n = 1;
-    return async () => ({ seq: n++ });
-}
-function selectWithChecks() {
-    resetKrakenCandidates();
-    setKrakenSelection({
-        status: 'selected',
-        winnerIndex: 1,
-        rationale: 'stronger evidence',
-        requiredChecks: CHECKS,
-        degraded: false,
-        verifier: null,
-        judgedBy: 'llm',
-    });
-}
-/** Enabled verifier with a fixed test model; `reply` is the raw LLM answer. */
-function activeVerifier(reply, emitted) {
-    return new VerifierService({
-        callModel: async () => ({
-            text: reply,
-            provider: 'test',
-            model: 'verifier-1',
-        }),
-        config: {
-            ...DEFAULT_VERIFIER_CONFIG,
-            enabled: true,
-            model: { mode: 'fixed', provider: 'test', model: 'verifier-1' },
-        },
-        emit: async (input) => {
-            emitted.push(input);
-        },
-    });
-}
-const CONFIRMED = '{"verdict":"confirmed","score":0.97,"rationale":"looks done to me"}';
-const REJECTED = '{"verdict":"rejected","score":0.05,"rationale":"not convinced"}';
-/** Contract the runtime hands to BOTH the strict gate and the verifier. */
-function currentContract() {
-    return krakenResultsToContract(krakenRequiredChecks(), getKrakenCheckResults());
-}
-let envPrev;
-beforeEach(() => {
-    envPrev = process.env.ZELARI_STRICT_DONE;
-    process.env.ZELARI_STRICT_DONE = '1';
-    resetKrakenCandidates();
-});
-afterEach(() => {
-    if (envPrev === undefined)
-        delete process.env.ZELARI_STRICT_DONE;
-    else
-        process.env.ZELARI_STRICT_DONE = envPrev;
-    resetKrakenCandidates();
-});
-describe('Exit-2.3 lock: verifier LLM active cannot change the completion authority', () => {
-    it('Caso 1a — unknown criterion + verifier CONFIRMED → BLOCKED, strict exit 4 (advisory recorded, never applied)', async () => {
-        selectWithChecks();
-        setKrakenCheckResults([]); // verify tentacle never reported → unknown ≠ pass
-        const emitted = [];
-        const verifier = activeVerifier(CONFIRMED, emitted);
-        const review = await verifier.reviewCompletion({
-            summary: 'done: all green',
-            results: currentContract().results,
-        });
-        const gate = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        // The review itself may say "confirmed" — it is advisory information only.
-        expect(review.verdict).toBe('confirmed');
-        expect(review.effectiveModel).toEqual({
-            mode: 'fixed',
-            provider: 'test',
-            model: 'verifier-1',
-        });
-        // The deterministic policy stays the final authority: unknown → BLOCKED.
-        expect(gate.strict).toBe(true);
-        expect(gate.evaluation.verdict).toBe('BLOCKED');
-        expect(gate.blocked).toBe(true);
-        expect(strictGateExitCode(gate)).toBe(4);
-        expect(strictGateEventPayload(gate).verdict).toBe('BLOCKED');
-        // The spine keeps the verifier review as a separate advisory record.
-        expect(emitted).toHaveLength(1);
-        const data = emitted[0].data;
-        expect(data.source).toBe('verifier-model');
-        expect(data.verdict).toBe('confirmed');
-        expect(data.model).toBe('verifier-1');
-        expect(data.selectionMode).toBe('fixed');
-    });
-    it('Caso 1b — FAIL criterion + verifier CONFIRMED → REPAIR_REQUIRED (fail wins), review downgraded to unknown', async () => {
-        selectWithChecks();
-        setKrakenCheckResults([
-            { check: CHECKS[0], status: 'pass', note: 'tsc clean' },
-            { check: CHECKS[1], status: 'fail', note: 'vitest 1/2' },
-        ]);
-        const emitted = [];
-        const verifier = activeVerifier(CONFIRMED, emitted);
-        const review = await verifier.reviewCompletion({
-            summary: 'done: mostly green',
-            results: currentContract().results,
-        });
-        const gate = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        // The service itself refuses to confirm over a failed deterministic check.
-        expect(review.verdict).toBe('unknown');
-        expect(review.fallback).toBe('discrete');
-        expect(review.rationale).toContain('cannot confirm');
-        // And even if it had not: the policy converts fail into repair, not done.
-        expect(gate.evaluation.verdict).toBe('REPAIR_REQUIRED');
-        expect(gate.blocked).toBe(true);
-        expect(strictGateExitCode(gate)).toBe(4);
-    });
-    it('Caso 2 — deterministic PASS + verifier REJECTED → PASS untouched, exit 0, rejection recorded as advisory', async () => {
-        selectWithChecks();
-        setKrakenCheckResults([
-            { check: CHECKS[0], status: 'pass', note: 'tsc clean' },
-            { check: CHECKS[1], status: 'pass', note: 'vitest 41/41' },
-        ]);
-        const emitted = [];
-        const verifier = activeVerifier(REJECTED, emitted);
-        const review = await verifier.reviewCompletion({
-            summary: 'done: all green',
-            results: currentContract().results,
-        });
-        const gate = await evaluateStrictBuildGate('build', { emit: emitSeq() });
-        // The rejection is real, recorded, and advisory — it cannot dirty a
-        // deterministic strict PASS (no false-block from narration either).
-        expect(review.verdict).toBe('rejected');
-        expect(gate.evaluation.verdict).toBe('PASS');
-        expect(gate.blocked).toBe(false);
-        expect(strictGateExitCode(gate)).toBe(0);
-        expect(strictGateEventPayload(gate).verdict).toBe('PASS');
-        const data = emitted[0].data;
-        expect(data.verdict).toBe('rejected');
-        expect(data.source).toBe('verifier-model');
-    });
-});
-//# sourceMappingURL=verifierAdvisoryLock.test.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verifierAdvisoryLock.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifierAdvisoryLock.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EACL,uBAAuB,EACvB,eAAe,GAEhB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,MAAM,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,CAAC;AAEnD,SAAS,OAAO;IACd,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB;IACvB,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,+EAA+E;AAC/E,SAAS,cAAc,CAAC,KAAa,EAAE,OAAkB;IACvD,OAAO,IAAI,eAAe,CAAC;QACzB,SAAS,EAAE,KAAK,IAAoC,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,YAAY;SACpB,CAAC;QACF,MAAM,EAAE;YACN,GAAG,uBAAuB;YAC1B,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;SAChE;QACD,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACpB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,SAAS,GAAG,qEAAqE,CAAC;AACxF,MAAM,QAAQ,GAAG,iEAAiE,CAAC;AAEnF,2EAA2E;AAC3E,SAAS,eAAe;IACtB,OAAO,uBAAuB,CAAC,oBAAoB,EAAE,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,IAAI,OAA2B,CAAC;AAEhC,UAAU,CAAC,GAAG,EAAE;IACd,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;IACrC,qBAAqB,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;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,2EAA2E,EAAE,GAAG,EAAE;IACzF,EAAE,CAAC,8GAA8G,EAAE,KAAK,IAAI,EAAE;QAC5H,gBAAgB,EAAE,CAAC;QACnB,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC,kDAAkD;QAE7E,MAAM,OAAO,GAAc,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;YAC7C,OAAO,EAAE,iBAAiB;YAC1B,OAAO,EAAE,eAAe,EAAE,CAAC,OAAO;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAEzE,2EAA2E;QAC3E,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC;YACpC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,YAAY;SACpB,CAAC,CAAC;QAEH,yEAAyE;QACzE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE7D,qEAAqE;QACrE,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAI,OAAO,CAAC,CAAC,CAAuC,CAAC,IAAI,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2GAA2G,EAAE,KAAK,IAAI,EAAE;QACzH,gBAAgB,EAAE,CAAC;QACnB,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE;YACvD,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE;SACzD,CAAC,CAAC;QAEH,MAAM,OAAO,GAAc,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;YAC7C,OAAO,EAAE,oBAAoB;YAC7B,OAAO,EAAE,eAAe,EAAE,CAAC,OAAO;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAEzE,2EAA2E;QAC3E,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAErD,0EAA0E;QAC1E,MAAM,CAAC,IAAI,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0GAA0G,EAAE,KAAK,IAAI,EAAE;QACxH,gBAAgB,EAAE,CAAC;QACnB,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE;YACvD,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;SAC3D,CAAC,CAAC;QAEH,MAAM,OAAO,GAAc,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;YAC7C,OAAO,EAAE,iBAAiB;YAC1B,OAAO,EAAE,eAAe,EAAE,CAAC,OAAO;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAEzE,oEAAoE;QACpE,oEAAoE;QACpE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,UAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE1D,MAAM,IAAI,GAAI,OAAO,CAAC,CAAC,CAAuC,CAAC,IAAI,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}