zelari-code 2.0.0-alpha.4 → 2.0.0-alpha.6

package/dist/cli/legacyContextIsolation.test.js

@@ -0,0 +1,64 @@
+/**
+ * legacyContextIsolation — architectural gate for ADR-0024 (E1.5).
+ *
+ * Encodes the Exit-1 grep criteria as a CI test: the 1.x store and
+ * sessionManager must never feed the model context on a hot path. These are
+ * source-level assertions on purpose; the behavioral replay + invariant
+ * coverage lives in sessionReplayInvariant.test.ts.
+ */
+import { describe, expect, it } from 'vitest';
+import { readFileSync } from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+// Source-level gate: resolve against THIS file, never process.cwd() — the
+// core workspace runs `vitest run --root ../..` with cwd=packages/core, and
+// a cwd-relative path would ENOENT there. From src/cli (and the compiled
+// dist/cli twin, same depth) `../..` is always the repo root.
+const REPO_ROOT = path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..', '..');
+function readCli(rel) {
+    return readFileSync(path.join(REPO_ROOT, 'src', 'cli', rel), 'utf8');
+}
+describe('ADR-0024 — legacy context isolation', () => {
+    it('budget pipeline measures the spine-derived seed, never the raw 1.x store', () => {
+        const src = readCli(path.join('hooks', 'useChatTurn.ts'));
+        expect(src).not.toContain('applyBudgetPolicyAsync(getHistory()');
+        // The declared discrete fallback (degraded/disabled spine) stays the only
+        // seed path that may read the 1.x store.
+        const fallbackUses = src.match(/spineSeed \?\? getHistory\(\)/g) ?? [];
+        expect(fallbackUses.length).toBe(1);
+    });
+    it('headless hot path touches opts.history only via the one-shot spine import', () => {
+        const src = readCli('runHeadless.ts');
+        const lines = src.split(/\r?\n/);
+        const optHistoryLines = lines.filter((l) => l.includes('opts.history'));
+        expect(optHistoryLines.length).toBeGreaterThan(0);
+        for (const line of optHistoryLines) {
+            expect(line).toContain('seedHeadlessModelHistory');
+        }
+        // No second history brain on the headless path.
+        expect(src).not.toContain('getHistory');
+    });
+    it('spine modules never import the 1.x sessionManager', () => {
+        for (const rel of ['sessionSpine.ts', 'headlessSpine.ts']) {
+            const src = readCli(rel);
+            expect(src).not.toMatch(/from\s+['"][^'"]*sessionManager/);
+        }
+    });
+});
+describe('strict done gate enforcement (E2.2)', () => {
+    it('headless kraken BUILD enforces the strict verdict on the run outcome', () => {
+        const src = readCli('runHeadless.ts');
+        expect(src).toContain('strictGateExitCode(after)');
+        expect(src).toMatch(/strictExit !== 0 \? 'stopped' : 'completed'/);
+        expect(src).toMatch(/if \(strictExit !== 0\) return strictExit;/);
+    });
+    it('the strict BUILD policy excludes verifier-llm evidence (LLM score alone is not done)', () => {
+        const policy = readFileSync(path.join(REPO_ROOT, 'packages', 'core', 'src', 'verification', 'completionPolicy.ts'), 'utf8');
+        expect(policy).toContain('STRICT_BUILD_POLICY');
+        const tiersBlock = policy.slice(policy.indexOf('DETERMINISTIC_EVIDENCE_TIERS'), policy.indexOf('STRICT_BUILD_POLICY'));
+        expect(tiersBlock).toContain("'tool-output'");
+        expect(tiersBlock).not.toContain("'verifier-llm'");
+        expect(policy).toMatch(/admissibleTiers/);
+    });
+});
+//# sourceMappingURL=legacyContextIsolation.test.js.map

package/dist/cli/legacyContextIsolation.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacyContextIsolation.test.js","sourceRoot":"","sources":["../../src/cli/legacyContextIsolation.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,0EAA0E;AAC1E,4EAA4E;AAC5E,yEAAyE;AACzE,8DAA8D;AAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAEzF,SAAS,OAAO,CAAC,GAAW;IAC1B,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AACvE,CAAC;AAED,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QACjE,0EAA0E;QAC1E,yCAAyC;QACzC,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,gCAAgC,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QACrD,CAAC;QACD,gDAAgD;QAChD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,kBAAkB,CAAC,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,MAAM,GAAG,YAAY,CACzB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,qBAAqB,CAAC,EACtF,MAAM,CACP,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAC7B,MAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC,EAC9C,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,CACtC,CAAC;QACF,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC9C,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}