zelari-code 1.48.0 → 1.49.0

package/dist/cli/tools/taskTool.verifyReport.test.js

@@ -0,0 +1,140 @@
+/**
+ * taskTool.verifyReport.test — Fase 7 / ADR-0020 (Kraken Verified Selection).
+ *
+ * Structured verification wiring inside the task tool:
+ *   - verify tentacle conclusion with `<verify-report>` blocks → results
+ *     registered in the turn registry (checksPassed counts only `pass`)
+ *   - failed verify tentacle → ALL checks unknown (degraded ≠ proof)
+ *   - no selection this turn → nothing registered
+ *   - explore tentacle never registers check results
+ */
+import { describe, expect, it, beforeEach, afterEach } from 'vitest';
+import { tmpdir } from 'node:os';
+import path from 'node:path';
+import fs from 'node:fs';
+import { ToolRegistry } from '@zelari/core/harness/tools/registry';
+import { createTaskTool, resetTaskSpawnCount, } from './taskTool.js';
+import { getKrakenCheckResults, krakenChecksPassed, resetKrakenCandidates, setKrakenSelection, } from '../kraken/candidateRegistry.js';
+function tmpRoot() {
+    return fs.mkdtempSync(path.join(tmpdir(), 'zelari-verify-report-'));
+}
+function makeCtx(cwd = tmpRoot()) {
+    return {
+        signal: new AbortController().signal,
+        cwd,
+        audit: () => undefined,
+        sessionId: 'verify-report-test',
+    };
+}
+/**
+ * Deps fake whose scripted harness returns a fixed conclusion text.
+ * An empty conclusion simulates a tentacle that produced no output.
+ */
+function scriptedDeps(conclusion) {
+    return {
+        createSubAgentContext: async ({ agent }) => {
+            const ctx = {
+                providerStream: (() => {
+                    throw new Error('not invoked by the scripted harness');
+                }),
+                model: 'test-model',
+                provider: 'test-provider',
+                registry: new ToolRegistry(),
+                tools: [],
+                agent,
+            };
+            return ctx;
+        },
+        harnessFactory: () => ({
+            run: async function* () {
+                if (conclusion === '')
+                    return;
+                yield { type: 'message_start' };
+                yield { type: 'message_delta', delta: conclusion };
+                yield { type: 'message_end' };
+            },
+        }),
+        allowWorktree: false,
+    };
+}
+const CHECKS = [
+    'unit test for session refresh passes',
+    'no Set-Cookie regression on logout',
+];
+function selectedVerdict() {
+    return {
+        status: 'selected',
+        winnerIndex: 1,
+        rationale: 'grounded in evidence',
+        requiredChecks: CHECKS,
+        degraded: false,
+        verifier: { provider: 'p', model: 'm' },
+        judgedBy: 'llm',
+    };
+}
+const GOOD_CONCLUSION = [
+    'Ran the targeted suite.',
+    '<verify-report>',
+    `check: ${CHECKS[0]}`,
+    'status: pass',
+    'note: vitest src/auth 41/41 green',
+    '</verify-report>',
+    '<verify-report>',
+    `check: ${CHECKS[1]}`,
+    'status: fail',
+    'note: logout still emits double Set-Cookie',
+    '</verify-report>',
+].join('\n');
+async function spawn(deps, agent) {
+    const tool = createTaskTool(deps);
+    const res = await tool.execute({
+        description: 'verify the fix',
+        prompt: 'Verify the implementation.',
+        agent,
+    }, makeCtx());
+    return { ok: res.ok };
+}
+describe('structured verification registration (ADR-0020 Fase 7)', () => {
+    beforeEach(() => {
+        resetTaskSpawnCount();
+        resetKrakenCandidates();
+    });
+    afterEach(() => {
+        resetKrakenCandidates();
+    });
+    it('verify conclusion with blocks → per-check results registered, unknown ≠ pass', async () => {
+        setKrakenSelection(selectedVerdict());
+        const { ok } = await spawn(scriptedDeps(GOOD_CONCLUSION), 'verify');
+        expect(ok).toBe(true);
+        const results = getKrakenCheckResults();
+        expect(results).not.toBeNull();
+        expect(results?.map((r) => r.status)).toEqual(['pass', 'fail']);
+        expect(krakenChecksPassed()).toBe(1);
+    });
+    it('failed verify tentacle → all checks unknown, zero passed', async () => {
+        setKrakenSelection(selectedVerdict());
+        const { ok } = await spawn(scriptedDeps(''), 'verify');
+        expect(ok).toBe(false);
+        const results = getKrakenCheckResults();
+        expect(results?.map((r) => r.status)).toEqual(['unknown', 'unknown']);
+        expect(krakenChecksPassed()).toBe(0);
+    });
+    it('verify without report blocks → every check unknown (no report ≠ pass)', async () => {
+        setKrakenSelection(selectedVerdict());
+        await spawn(scriptedDeps('looks good to me, suite green'), 'verify');
+        expect(getKrakenCheckResults()?.map((r) => r.status)).toEqual(['unknown', 'unknown']);
+        expect(krakenChecksPassed()).toBe(0);
+    });
+    it('no selection this turn → nothing registered', async () => {
+        const { ok } = await spawn(scriptedDeps(GOOD_CONCLUSION), 'verify');
+        expect(ok).toBe(true);
+        expect(getKrakenCheckResults()).toBeNull();
+        expect(krakenChecksPassed()).toBeUndefined();
+    });
+    it('explore tentacle never registers check results', async () => {
+        setKrakenSelection(selectedVerdict());
+        await spawn(scriptedDeps(GOOD_CONCLUSION), 'explore');
+        expect(getKrakenCheckResults()).toBeNull();
+    });
+});
+//# sourceMappingURL=taskTool.verifyReport.test.js.map

package/dist/cli/tools/taskTool.verifyReport.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taskTool.verifyReport.test.js","sourceRoot":"","sources":["../../../src/cli/tools/taskTool.verifyReport.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AAEzB,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAEnE,OAAO,EACL,cAAc,EACd,mBAAmB,GAGpB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AAGxC,SAAS,OAAO;IACd,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,OAAO,CAAC,GAAG,GAAG,OAAO,EAAE;IAC9B,OAAO;QACL,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC,MAAM;QACpC,GAAG;QACH,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS;QACtB,SAAS,EAAE,oBAAoB;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,UAAkB;IACtC,OAAO;QACL,qBAAqB,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YACzC,MAAM,GAAG,GAAoB;gBAC3B,cAAc,EAAE,CAAC,GAAG,EAAE;oBACpB,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;gBACzD,CAAC,CAAiD;gBAClD,KAAK,EAAE,YAAY;gBACnB,QAAQ,EAAE,eAAe;gBACzB,QAAQ,EAAE,IAAI,YAAY,EAAE;gBAC5B,KAAK,EAAE,EAAE;gBACT,KAAK;aACN,CAAC;YACF,OAAO,GAAG,CAAC;QACb,CAAC;QACD,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;YACrB,GAAG,EAAE,KAAK,SAAS,CAAC;gBAClB,IAAI,UAAU,KAAK,EAAE;oBAAE,OAAO;gBAC9B,MAAM,EAAE,IAAI,EAAE,eAAe,EAAgB,CAAC;gBAC9C,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAgB,CAAC;gBACjE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAgB,CAAC;YAC9C,CAAC;SACF,CAAC;QACF,aAAa,EAAE,KAAK;KACrB,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG;IACb,sCAAsC;IACtC,oCAAoC;CACrC,CAAC;AAEF,SAAS,eAAe;IACtB,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,sBAAsB;QACjC,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;QACvC,QAAQ,EAAE,KAAK;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,eAAe,GAAG;IACtB,yBAAyB;IACzB,iBAAiB;IACjB,UAAU,MAAM,CAAC,CAAC,CAAC,EAAE;IACrB,cAAc;IACd,mCAAmC;IACnC,kBAAkB;IAClB,iBAAiB;IACjB,UAAU,MAAM,CAAC,CAAC,CAAC,EAAE;IACrB,cAAc;IACd,4CAA4C;IAC5C,kBAAkB;CACnB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,KAAK,UAAU,KAAK,CAClB,IAAkB,EAClB,KAA2B;IAE3B,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAC5B;QACE,WAAW,EAAE,gBAAgB;QAC7B,MAAM,EAAE,4BAA4B;QACpC,KAAK;KACN,EACD,OAAO,EAAE,CACV,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;AACxB,CAAC;AAED,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,UAAU,CAAC,GAAG,EAAE;QACd,mBAAmB,EAAE,CAAC;QACtB,qBAAqB,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE;QACb,qBAAqB,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC;QACtC,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC;QACtC,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;QACxC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,YAAY,CAAC,+BAA+B,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrE,MAAM,CAAC,qBAAqB,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,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,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,CAAC;QACtD,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zelari-code",
-  "version": "1.48.0",
+  "version": "1.49.0",
   "description": "Zelari Code — AI Council coding agent CLI. Multi-agent orchestration (Caronte, Nettuno, Gerione, Plutone, Minosse, Lucifero) with slash commands, provider-agnostic LLM streaming, and self-update.",
   "author": "Anathema Studio <https://anathema-studio.com/>",
   "license": "Apache-2.0",
@@ -52,7 +52,7 @@
   },
   "devDependencies": {
     "@testing-library/react": "^16.3.2",
-    "@zelari/core": "1.48.0",
+    "@zelari/core": "1.48.1",
     "@types/node": "^25.3.0",
     "@types/react": "^19.0.10",
     "esbuild": "^0.25.0",