zelari-code 1.48.1 → 1.49.0

package/dist/cli/kraken/candidateRegistry.js

@@ -0,0 +1,195 @@
+/**
+ * candidateRegistry — per-turn registry of Kraken candidate tentacles
+ * (Fase 3, ADR-0020).
+ *
+ * A "candidate" is an explore-only tentacle spawned to research ONE
+ * independent hypothesis. Its conclusion must end with a structured
+ * `<candidate-report>` JSON block; this module parses it LENIENTLY:
+ * malformed reports are preserved with `status: 'malformed'` (degraded
+ * evidence is evidence about the candidate, never silently dropped).
+ *
+ * In-memory, per-process, reset each parent turn via
+ * {@link resetKrakenCandidates} (same lifecycle as `resetTaskSpawnCount`).
+ * The future `kraken_select` tool (Fase 4) will read from here.
+ *
+ * v1 invariant (ADR-0020): candidates are explore-only — zero candidate
+ * implementations. The registry never stores edits or patches.
+ */
+/** Max candidates per parent turn (v1: 3 — ADR-0020 §candidate cap). */
+export const KRAKEN_CANDIDATE_CAP = 3;
+/** Feature flag: candidate contracts are alpha-gated (default OFF). */
+export function isKrakenSelectionEnabled() {
+    return process.env.ZELARI_KRAKEN_SELECTION === '1';
+}
+function store() {
+    const g = globalThis;
+    if (!g.__zelariKrakenCandidates)
+        g.__zelariKrakenCandidates = [];
+    return g.__zelariKrakenCandidates;
+}
+/** Reset the per-turn candidate registry (call at each parent user turn). */
+export function resetKrakenCandidates() {
+    const g = globalThis;
+    g.__zelariKrakenCandidates = [];
+    g.__zelariKrakenSelection = null;
+    g.__zelariKrakenCheckResults = null;
+}
+/** Store the kraken_select verdict for this turn (Fase 6/8 consume it). */
+export function setKrakenSelection(verdict) {
+    const g = globalThis;
+    g.__zelariKrakenSelection = verdict;
+}
+/** Verdict of this turn's kraken_select call, or null when none ran. */
+export function getKrakenSelection() {
+    const g = globalThis;
+    return g.__zelariKrakenSelection ?? null;
+}
+/**
+ * Required checks of THIS turn's selection (Fase 6, ADR-0020).
+ *
+ * Only a `selected` verdict carries proof obligations: the checks belong to
+ * the winning candidate's path. A needs_more_evidence verdict leaves the
+ * judgment (and any acceptance) to the parent — its checks stay advisory
+ * (already visible in the kraken_select result text).
+ */
+export function krakenRequiredChecks() {
+    const verdict = getKrakenSelection();
+    if (!verdict || verdict.status !== 'selected')
+        return [];
+    return verdict.requiredChecks;
+}
+/**
+ * Fase 7 (ADR-0020): store the per-check results of the latest verify
+ * tentacle. Called by the task tool for EVERY verify tentacle when the
+ * turn has required checks — a later tentacle replaces earlier results
+ * (the runtime counter follows the latest verification state).
+ */
+export function setKrakenCheckResults(results) {
+    const g = globalThis;
+    g.__zelariKrakenCheckResults = results;
+}
+/**
+ * Per-check results of the latest verify tentacle this turn, or null when
+ * no verify tentacle reported (yet).
+ */
+export function getKrakenCheckResults() {
+    const g = globalThis;
+    const results = g.__zelariKrakenCheckResults;
+    return results ? [...results] : null;
+}
+/**
+ * Passed-check counter (Fase 7): how many required checks carry an explicit
+ * `pass`. `unknown` NEVER counts — a degraded observation is not proof
+ * (§23). undefined when no verify report landed yet this turn.
+ */
+export function krakenChecksPassed() {
+    const results = getKrakenCheckResults();
+    if (!results)
+        return undefined;
+    return results.filter((r) => r.status === 'pass').length;
+}
+/** Candidates registered this turn (defensive copy). */
+export function krakenCandidates() {
+    return [...store()];
+}
+/**
+ * Try to reserve a candidate slot. Returns the 1-based index, or an error
+ * string when the cap is reached (caller turns it into a typedErr).
+ */
+export function reserveCandidateSlot() {
+    const n = store().length;
+    if (n >= KRAKEN_CANDIDATE_CAP) {
+        return {
+            error: `task: candidate cap reached (${KRAKEN_CANDIDATE_CAP}). ` +
+                'Compare the existing candidates instead of spawning more.',
+        };
+    }
+    return { index: n + 1 };
+}
+const REPORT_OPEN = '<candidate-report>';
+const REPORT_CLOSE = '</candidate-report>';
+/**
+ * Extract + parse the structured report from a candidate conclusion.
+ * Lenient by design:
+ *   - no block            → malformed('missing report block')
+ *   - invalid JSON        → malformed('invalid JSON')
+ *   - missing fields      → filled with safe defaults (empty arrays / '')
+ *   - evidence items      → degraded defaults to false; extra keys dropped
+ */
+export function parseCandidateReport(raw) {
+    const open = raw.lastIndexOf(REPORT_OPEN);
+    const close = raw.lastIndexOf(REPORT_CLOSE);
+    if (open === -1 || close === -1 || close < open) {
+        return { ok: false, error: 'missing report block' };
+    }
+    const body = raw.slice(open + REPORT_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: 'report is not a JSON object' };
+    }
+    const obj = parsed;
+    const evidence = Array.isArray(obj.evidence)
+        ? obj.evidence
+            .filter((e) => typeof e === 'object' && e !== null)
+            .map((e) => ({
+            claim: typeof e.claim === 'string' ? e.claim : '',
+            basis: typeof e.basis === 'string' ? e.basis : '',
+            degraded: e.degraded === true,
+        }))
+            .filter((e) => e.claim.trim().length > 0)
+        : [];
+    const risks = Array.isArray(obj.risks)
+        ? obj.risks.filter((r) => typeof r === 'string' && r.trim().length > 0)
+        : [];
+    return {
+        ok: true,
+        report: {
+            hypothesis: typeof obj.hypothesis === 'string' ? obj.hypothesis.trim() : '',
+            evidence,
+            risks,
+            hasDegradedEvidence: evidence.some((e) => e.degraded),
+        },
+    };
+}
+export function registerCandidate(entry) {
+    const withIndex = { ...entry, index: entry.index ?? store().length + 1 };
+    store().push(withIndex);
+    return withIndex;
+}
+/**
+ * Instructions appended to the explore system prompt when the tentacle is a
+ * candidate: diversity + structured payload + observation integrity.
+ */
+export const CANDIDATE_INSTRUCTIONS = [
+    'You are CANDIDATE #{index} of at most {cap}: one independent hypothesis',
+    'about the task, researched in parallel with other candidates.',
+    'DIVERSITY: focus on ONE hypothesis and pursue it honestly — do not try to',
+    'cover every angle. A narrower, well-evidenced hypothesis beats a broad guess.',
+    'OBSERVATION INTEGRITY: mark degraded or inconclusive observations explicitly',
+    '(timeout, zero files walked, unavailable backend) — degraded is NOT proof',
+    'of absence.',
+    'END your final message with EXACTLY this block (valid JSON, no prose after):',
+    '<candidate-report>',
+    '{',
+    '  "hypothesis": "one-sentence hypothesis you investigated",',
+    '  "evidence": [',
+    '    { "claim": "what you found", "basis": "tool + file:line or command", "degraded": false }',
+    '  ],',
+    '  "risks": ["open questions / weaknesses"]',
+    '}',
+    '</candidate-report>',
+].join('\n');
+/** Render the instructions for one candidate index. */
+export function candidateInstructions(index, cap = KRAKEN_CANDIDATE_CAP) {
+    return CANDIDATE_INSTRUCTIONS.replaceAll('{index}', String(index)).replaceAll('{cap}', String(cap));
+}
+//# sourceMappingURL=candidateRegistry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"candidateRegistry.js","sourceRoot":"","sources":["../../../src/cli/kraken/candidateRegistry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AA6CH,wEAAwE;AACxE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAEtC,uEAAuE;AACvE,MAAM,UAAU,wBAAwB;IACtC,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,KAAK,GAAG,CAAC;AACrD,CAAC;AAaD,SAAS,KAAK;IACZ,MAAM,CAAC,GAAG,UAAwC,CAAC;IACnD,IAAI,CAAC,CAAC,CAAC,wBAAwB;QAAE,CAAC,CAAC,wBAAwB,GAAG,EAAE,CAAC;IACjE,OAAO,CAAC,CAAC,wBAAwB,CAAC;AACpC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,qBAAqB;IACnC,MAAM,CAAC,GAAG,UAAwC,CAAC;IACnD,CAAC,CAAC,wBAAwB,GAAG,EAAE,CAAC;IAChC,CAAC,CAAC,uBAAuB,GAAG,IAAI,CAAC;IACjC,CAAC,CAAC,0BAA0B,GAAG,IAAI,CAAC;AACtC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,OAA+B;IAChE,MAAM,CAAC,GAAG,UAAwC,CAAC;IACnD,CAAC,CAAC,uBAAuB,GAAG,OAAO,CAAC;AACtC,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,kBAAkB;IAChC,MAAM,CAAC,GAAG,UAAwC,CAAC;IACnD,OAAO,CAAC,CAAC,uBAAuB,IAAI,IAAI,CAAC;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB;IAClC,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;IACrC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACzD,OAAO,OAAO,CAAC,cAAc,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAA4B;IAChE,MAAM,CAAC,GAAG,UAAwC,CAAC;IACnD,CAAC,CAAC,0BAA0B,GAAG,OAAO,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,CAAC,GAAG,UAAwC,CAAC;IACnD,MAAM,OAAO,GAAG,CAAC,CAAC,0BAA0B,CAAC;IAC7C,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB;IAChC,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;AAC3D,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB;IAC9B,OAAO,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB;IAClC,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC,MAAM,CAAC;IACzB,IAAI,CAAC,IAAI,oBAAoB,EAAE,CAAC;QAC9B,OAAO;YACL,KAAK,EACH,gCAAgC,oBAAoB,KAAK;gBACzD,2DAA2D;SAC9D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,WAAW,GAAG,oBAAoB,CAAC;AACzC,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAE3C;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAC5C,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,sBAAsB,EAAE,CAAC;IACtD,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,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;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,iBAAiB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;SAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAClD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC;IAC7D,CAAC;IACD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,QAAQ,GAAwB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC/D,CAAC,CAAC,GAAG,CAAC,QAAQ;aACT,MAAM,CAAC,CAAC,CAAC,EAAgC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC;aAChF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACjD,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACjD,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI;SAC9B,CAAC,CAAC;aACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7C,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAa,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAC9C,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QACpF,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE;YACN,UAAU,EAAE,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YAC3E,QAAQ;YACR,KAAK;YACL,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;SACtD;KACF,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,iBAAiB,CAAC,KAA4B;IAC5D,MAAM,SAAS,GAAG,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC,MAAM,GAAG,CAAC,EAAoB,CAAC;IAC3F,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,yEAAyE;IACzE,+DAA+D;IAC/D,2EAA2E;IAC3E,+EAA+E;IAC/E,8EAA8E;IAC9E,2EAA2E;IAC3E,aAAa;IACb,8EAA8E;IAC9E,oBAAoB;IACpB,GAAG;IACH,6DAA6D;IAC7D,iBAAiB;IACjB,8FAA8F;IAC9F,MAAM;IACN,4CAA4C;IAC5C,GAAG;IACH,qBAAqB;CACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,uDAAuD;AACvD,MAAM,UAAU,qBAAqB,CAAC,KAAa,EAAE,GAAG,GAAG,oBAAoB;IAC7E,OAAO,sBAAsB,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AACtG,CAAC"}

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

@@ -0,0 +1,211 @@
+/**
+ * candidateRegistry.test — Fase 3 (ADR-0020): candidate contracts.
+ *   - structured parse (ok / malformed / lenient fills)
+ *   - degraded evidence preserved
+ *   - cap 3 per turn + reset
+ *   - instructions rendering
+ */
+import { describe, expect, it, beforeEach } from 'vitest';
+import { KRAKEN_CANDIDATE_CAP, candidateInstructions, getKrakenCheckResults, getKrakenSelection, isKrakenSelectionEnabled, krakenCandidates, krakenChecksPassed, krakenRequiredChecks, parseCandidateReport, registerCandidate, resetKrakenCandidates, reserveCandidateSlot, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
+const GOOD = [
+    'Research summary: the refresh path races with the session bootstrap.',
+    '<candidate-report>',
+    '{',
+    '  "hypothesis": "Session lost because refresh races with bootstrap",',
+    '  "evidence": [',
+    '    { "claim": "refresh() reads stale token", "basis": "read_file src/auth.ts:120", "degraded": false },',
+    '    { "claim": "grep timed out on legacy dir", "basis": "grep_content legacy/", "degraded": true }',
+    '  ],',
+    '  "risks": ["bootstrap order may differ in prod"]',
+    '}',
+    '</candidate-report>',
+].join('\n');
+describe('parseCandidateReport', () => {
+    it('parses a well-formed report with evidence + risks', () => {
+        const r = parseCandidateReport(GOOD);
+        expect(r.ok).toBe(true);
+        if (r.ok) {
+            expect(r.report.hypothesis).toContain('refresh races');
+            expect(r.report.evidence).toHaveLength(2);
+            expect(r.report.evidence[0].degraded).toBe(false);
+            expect(r.report.hasDegradedEvidence).toBe(true);
+            expect(r.report.risks).toHaveLength(1);
+        }
+    });
+    it('missing block → malformed', () => {
+        const r = parseCandidateReport('just prose, no block');
+        expect(r.ok).toBe(false);
+        if (!r.ok)
+            expect(r.error).toMatch(/missing report block/);
+    });
+    it('invalid JSON → malformed with reason', () => {
+        const r = parseCandidateReport('<candidate-report>{nope</candidate-report>');
+        expect(r.ok).toBe(false);
+        if (!r.ok)
+            expect(r.error).toMatch(/invalid JSON/);
+    });
+    it('lenient fills: missing/extra fields never break the parse', () => {
+        const r = parseCandidateReport('<candidate-report>{ "hypothesis": "h", "evidence": [ { "claim": "c" }, "junk", 5 ], "extra": 1 }</candidate-report>');
+        expect(r.ok).toBe(true);
+        if (r.ok) {
+            expect(r.report.hypothesis).toBe('h');
+            // "junk"/5 dropped; claim-only item kept with safe defaults
+            expect(r.report.evidence).toEqual([
+                { claim: 'c', basis: '', degraded: false },
+            ]);
+            expect(r.report.risks).toEqual([]);
+            expect(r.report.hasDegradedEvidence).toBe(false);
+        }
+    });
+    it('uses the LAST block when the model emits more than one', () => {
+        const r = parseCandidateReport('<candidate-report>{ "hypothesis": "first" }</candidate-report>\nmore\n<candidate-report>{ "hypothesis": "final" }</candidate-report>');
+        expect(r.ok).toBe(true);
+        if (r.ok)
+            expect(r.report.hypothesis).toBe('final');
+    });
+});
+describe('per-turn registry', () => {
+    beforeEach(() => resetKrakenCandidates());
+    function reportOf(raw) {
+        const r = parseCandidateReport(raw);
+        if (!r.ok)
+            throw new Error('fixture must parse');
+        return r.report;
+    }
+    it('cap: the 4th slot is refused, the first 3 accepted', () => {
+        expect(reserveCandidateSlot()).toEqual({ index: 1 });
+        registerCandidate({ status: 'ok', description: 'a', report: reportOf(GOOD), raw: GOOD });
+        expect(reserveCandidateSlot()).toEqual({ index: 2 });
+        registerCandidate({ status: 'ok', description: 'b', report: reportOf(GOOD), raw: GOOD });
+        expect(reserveCandidateSlot()).toEqual({ index: 3 });
+        registerCandidate({ status: 'malformed', description: 'c', error: 'missing report block', raw: 'no block' });
+        const fourth = reserveCandidateSlot();
+        expect('error' in fourth).toBe(true);
+        if ('error' in fourth)
+            expect(fourth.error).toMatch(/cap reached \(3\)/);
+        expect(krakenCandidates()).toHaveLength(3);
+        expect(krakenCandidates()[2].status).toBe('malformed');
+    });
+    it('malformed candidates are preserved, not dropped (degraded evidence rule)', () => {
+        registerCandidate({ status: 'malformed', description: 'x', error: 'invalid JSON (x)', raw: 'partial' });
+        const all = krakenCandidates();
+        expect(all).toHaveLength(1);
+        expect(all[0]).toMatchObject({ status: 'malformed', description: 'x' });
+    });
+    it('reset clears the registry', () => {
+        registerCandidate({ status: 'malformed', description: 'x', error: 'e', raw: '' });
+        resetKrakenCandidates();
+        expect(krakenCandidates()).toHaveLength(0);
+    });
+});
+describe('instructions + flag', () => {
+    it('renders candidate index and cap', () => {
+        const text = candidateInstructions(2);
+        expect(text).toContain('CANDIDATE #2');
+        expect(text).toContain(`at most ${KRAKEN_CANDIDATE_CAP}`);
+        expect(text).toContain('<candidate-report>');
+        expect(text).toContain('degraded');
+    });
+    it('feature flag defaults OFF and honours ZELARI_KRAKEN_SELECTION=1', () => {
+        const prev = process.env.ZELARI_KRAKEN_SELECTION;
+        delete process.env.ZELARI_KRAKEN_SELECTION;
+        expect(isKrakenSelectionEnabled()).toBe(false);
+        process.env.ZELARI_KRAKEN_SELECTION = '1';
+        expect(isKrakenSelectionEnabled()).toBe(true);
+        if (prev === undefined)
+            delete process.env.ZELARI_KRAKEN_SELECTION;
+        else
+            process.env.ZELARI_KRAKEN_SELECTION = prev;
+    });
+});
+describe('krakenRequiredChecks (ADR-0020 Fase 6)', () => {
+    it('returns [] when no selection ran this turn', () => {
+        resetKrakenCandidates();
+        expect(krakenRequiredChecks()).toEqual([]);
+    });
+    it('returns [] for needs_more_evidence — checks stay advisory', () => {
+        resetKrakenCandidates();
+        setKrakenSelection({
+            status: 'needs_more_evidence',
+            winnerIndex: null,
+            rationale: 'tie',
+            requiredChecks: ['check that must NOT be enforced'],
+            degraded: false,
+            verifier: null,
+            judgedBy: 'llm',
+        });
+        expect(krakenRequiredChecks()).toEqual([]);
+    });
+    it('returns the checks of a selected verdict', () => {
+        resetKrakenCandidates();
+        setKrakenSelection({
+            status: 'selected',
+            winnerIndex: 2,
+            rationale: 'grounded',
+            requiredChecks: ['race regression test', 'session e2e'],
+            degraded: false,
+            verifier: { provider: 'p', model: 'm' },
+            judgedBy: 'llm',
+        });
+        expect(krakenRequiredChecks()).toEqual(['race regression test', 'session e2e']);
+    });
+    it('reset clears verdict and checks together', () => {
+        setKrakenSelection({
+            status: 'selected',
+            winnerIndex: 1,
+            rationale: 'r',
+            requiredChecks: ['x'],
+            degraded: false,
+            verifier: null,
+            judgedBy: 'deterministic',
+        });
+        expect(getKrakenSelection()).not.toBeNull();
+        resetKrakenCandidates();
+        expect(getKrakenSelection()).toBeNull();
+        expect(krakenRequiredChecks()).toEqual([]);
+    });
+});
+describe('Fase 7 — check results storage', () => {
+    beforeEach(() => resetKrakenCandidates());
+    it('stores and returns per-check results (defensive copy)', () => {
+        setKrakenCheckResults([
+            { check: 'a', status: 'pass' },
+            { check: 'b', status: 'unknown', note: 'grep timed out' },
+        ]);
+        const first = getKrakenCheckResults();
+        expect(first).toEqual([
+            { check: 'a', status: 'pass' },
+            { check: 'b', status: 'unknown', note: 'grep timed out' },
+        ]);
+        first?.push({ check: 'c', status: 'fail' });
+        expect(getKrakenCheckResults()).toHaveLength(2);
+    });
+    it('krakenChecksPassed counts only explicit pass — unknown never counts', () => {
+        setKrakenCheckResults([
+            { check: 'a', status: 'pass' },
+            { check: 'b', status: 'fail' },
+            { check: 'c', status: 'unknown', note: 'degraded' },
+        ]);
+        expect(krakenChecksPassed()).toBe(1);
+    });
+    it('undefined before any verify report lands', () => {
+        expect(getKrakenCheckResults()).toBeNull();
+        expect(krakenChecksPassed()).toBeUndefined();
+    });
+    it('a later verify tentacle replaces earlier results', () => {
+        setKrakenCheckResults([
+            { check: 'a', status: 'unknown', note: 'first run degraded' },
+        ]);
+        setKrakenCheckResults([
+            { check: 'a', status: 'pass' },
+        ]);
+        expect(krakenChecksPassed()).toBe(1);
+    });
+    it('reset clears check results together with verdict and candidates', () => {
+        setKrakenCheckResults([{ check: 'a', status: 'pass' }]);
+        resetKrakenCandidates();
+        expect(getKrakenCheckResults()).toBeNull();
+        expect(krakenChecksPassed()).toBeUndefined();
+    });
+});
+//# sourceMappingURL=candidateRegistry.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"candidateRegistry.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/candidateRegistry.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,wBAAwB,EACxB,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,IAAI,GAAG;IACX,sEAAsE;IACtE,oBAAoB;IACpB,GAAG;IACH,sEAAsE;IACtE,iBAAiB;IACjB,0GAA0G;IAC1G,oGAAoG;IACpG,MAAM;IACN,mDAAmD;IACnD,GAAG;IACH,qBAAqB;CACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;YACT,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;QACvD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,oBAAoB,CAAC,4CAA4C,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,oBAAoB,CAC5B,qHAAqH,CACtH,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,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtC,4DAA4D;YAC5D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;gBAChC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE;aAC3C,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,oBAAoB,CAC5B,sIAAsI,CACvI,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,UAAU,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAE1C,SAAS,QAAQ,CAAC,GAAW;QAC3B,MAAM,CAAC,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACjD,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC;IAED,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,sBAAsB,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7G,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;QACtC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,OAAO,IAAI,MAAM;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACzE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,iBAAiB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QACxG,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,iBAAiB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,oBAAoB,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QACjD,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAC3C,MAAM,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,GAAG,CAAC;QAC1C,MAAM,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;;YAC9D,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,IAAI,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,qBAAqB,EAAE,CAAC;QACxB,kBAAkB,CAAC;YACjB,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,IAAI;YACjB,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,CAAC,iCAAiC,CAAC;YACnD,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,qBAAqB,EAAE,CAAC;QACxB,kBAAkB,CAAC;YACjB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,CAAC;YACd,SAAS,EAAE,UAAU;YACrB,cAAc,EAAE,CAAC,sBAAsB,EAAE,aAAa,CAAC;YACvD,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;YACvC,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,kBAAkB,CAAC;YACjB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,CAAC;YACd,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,CAAC,GAAG,CAAC;YACrB,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5C,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,UAAU,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAE1C,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE;SAC1D,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE;SAC1D,CAAC,CAAC;QACH,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE;SACpD,CAAC,CAAC;QACH,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3C,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,EAAE;SAC9D,CAAC,CAAC;QACH,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACxD,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3C,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/kraken/completionGate.js

@@ -0,0 +1,116 @@
+/**
+ * completionGate — BUILD clean-finish gate for selection turns (Fase 8,
+ * ADR-0020).
+ *
+ * A BUILD turn that used kraken_select cannot cleanly finish while its
+ * required checks are unresolved: a `fail` blocks by contradiction, an
+ * `unknown` blocks because a degraded or missing observation is never proof
+ * (§23 observation integrity — the same rule verifyReport enforces).
+ *
+ * The gate integrates into the EXISTING recovery flow (the headless BUILD
+ * write-retry pattern) rather than adding a second recovery system: one
+ * automatic repair pass, structural budget = 1 (the TUI enqueues it once via
+ * a local flag; headless fires a single guarded block). PLAN turns are never
+ * gated — their checks fold into the final plan document (Fase 6 routing),
+ * and verify tentacles cannot run there anyway (Fase 1).
+ */
+import { getKrakenCheckResults, krakenRequiredChecks } from './candidateRegistry.js';
+/** Lowercase + collapse whitespace (mirrors verifyReport matching). */
+function normalize(text) {
+    return text.toLowerCase().replace(/\s+/g, ' ').trim();
+}
+/**
+ * Map required checks onto their latest reported results. Matching mirrors
+ * verifyReport: normalized equality first, then containment (either
+ * direction, minimum length 8) so a lightly reworded criterion still maps.
+ * A check with no matching result is `unknown` — never assumed `pass`.
+ */
+export function classifyKrakenChecks(requiredChecks, results) {
+    const byCriterion = new Map();
+    for (const result of results ?? []) {
+        byCriterion.set(normalize(result.check), result); // later duplicates win
+    }
+    const keys = [...byCriterion.keys()];
+    const out = { passed: [], failed: [], unknown: [] };
+    for (const check of requiredChecks) {
+        const norm = normalize(check);
+        let result = byCriterion.get(norm) ?? null;
+        if (!result) {
+            for (const key of keys) {
+                if (key.length >= 8 && (key.includes(norm) || norm.includes(key))) {
+                    result = byCriterion.get(key) ?? null;
+                    break;
+                }
+            }
+        }
+        if (!result || result.status === 'unknown')
+            out.unknown.push(check);
+        else if (result.status === 'pass')
+            out.passed.push(check);
+        else
+            out.failed.push(check);
+    }
+    return out;
+}
+const OPEN_GATE = {
+    blocked: false,
+    selectionUsed: false,
+    total: 0,
+    passed: 0,
+    failedChecks: [],
+    unknownChecks: [],
+};
+/**
+ * Evaluate the turn registry. Reads the per-turn candidate registry
+ * (selection verdict + last verify report); returns an open gate for PLAN
+ * turns, turns without selection, and selections that produced no checks.
+ * Never throws.
+ */
+export function evaluateKrakenCompletionGate(mode) {
+    try {
+        if (mode !== 'build')
+            return OPEN_GATE;
+        const checks = krakenRequiredChecks();
+        if (checks.length === 0)
+            return OPEN_GATE;
+        const classification = classifyKrakenChecks(checks, getKrakenCheckResults());
+        return {
+            blocked: classification.failed.length > 0 || classification.unknown.length > 0,
+            selectionUsed: true,
+            total: checks.length,
+            passed: classification.passed.length,
+            failedChecks: classification.failed,
+            unknownChecks: classification.unknown,
+        };
+    }
+    catch {
+        // The gate must never break the turn — treat errors as open.
+        return OPEN_GATE;
+    }
+}
+/**
+ * User directive for the single automatic repair pass. The selection itself
+ * is settled (no re-running kraken_select); the model must fix, then
+ * re-verify ALL required checks via a verify tentacle.
+ */
+export function buildKrakenRepairPrompt(gate) {
+    const lines = [
+        `The BUILD turn is ending, but the required checks from kraken_select are not all satisfied (passed ${gate.passed}/${gate.total}).`,
+        '',
+    ];
+    if (gate.failedChecks.length > 0) {
+        lines.push('FAILED checks (evidence contradicts them):');
+        for (const check of gate.failedChecks)
+            lines.push(`- ${check}`);
+        lines.push('');
+    }
+    if (gate.unknownChecks.length > 0) {
+        lines.push('UNKNOWN checks (never conclusively verified — a degraded or missing observation is NOT proof):');
+        for (const check of gate.unknownChecks)
+            lines.push(`- ${check}`);
+        lines.push('');
+    }
+    lines.push('Recover this turn:', '1. The approach selection is settled — do NOT call kraken_select again.', '2. Fix each failing check directly with focused edits.', '3. Make each unknown check conclusively verifiable (run the real command, read the real output).', '4. Spawn a `task verify` tentacle whose Acceptance lists ALL required checks; its conclusion must contain one <verify-report> block per check with an explicit status.', '5. Only end the turn when every check reports status: pass — an unverified assumption is not a pass.');
+    return lines.join('\n');
+}
+//# sourceMappingURL=completionGate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"completionGate.js","sourceRoot":"","sources":["../../../src/cli/kraken/completionGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAUrF,uEAAuE;AACvE,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,cAAiC,EACjC,OAA4C;IAE5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6B,CAAC;IACzD,KAAK,MAAM,MAAM,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;QACnC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,uBAAuB;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,MAAM,GAAG,GAA8B,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC/E,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAClE,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;oBACtC,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aAC/D,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;YAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;YACrD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAcD,MAAM,SAAS,GAAyB;IACtC,OAAO,EAAE,KAAK;IACd,aAAa,EAAE,KAAK;IACpB,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;IACT,YAAY,EAAE,EAAE;IAChB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAsB;IACjE,IAAI,CAAC;QACH,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,SAAS,CAAC;QACvC,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC7E,OAAO;YACL,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAC9E,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM;YACpC,YAAY,EAAE,cAAc,CAAC,MAAM;YACnC,aAAa,EAAE,cAAc,CAAC,OAAO;SACtC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,6DAA6D;QAC7D,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAA0B;IAChE,MAAM,KAAK,GAAa;QACtB,sGAAsG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,IAAI;QACnI,EAAE;KACH,CAAC;IACF,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,gGAAgG,CACjG,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,KAAK,CAAC,IAAI,CACR,oBAAoB,EACpB,yEAAyE,EACzE,wDAAwD,EACxD,kGAAkG,EAClG,wKAAwK,EACxK,sGAAsG,CACvG,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}