zelari-code 2.1.0 → 2.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +4 -4
- package/package.json +8 -5
- package/dist/cli/ast/engine.test.js +0 -101
- package/dist/cli/ast/engine.test.js.map +0 -1
- package/dist/cli/ast/tools.test.js +0 -124
- package/dist/cli/ast/tools.test.js.map +0 -1
- package/dist/cli/headless.test.js +0 -107
- package/dist/cli/headless.test.js.map +0 -1
- package/dist/cli/headlessE2eSession.test.js +0 -189
- package/dist/cli/headlessE2eSession.test.js.map +0 -1
- package/dist/cli/headlessHistorySeed.test.js +0 -158
- package/dist/cli/headlessHistorySeed.test.js.map +0 -1
- package/dist/cli/headlessSessionEvent.test.js +0 -83
- package/dist/cli/headlessSessionEvent.test.js.map +0 -1
- package/dist/cli/headlessSpine.test.js +0 -153
- package/dist/cli/headlessSpine.test.js.map +0 -1
- package/dist/cli/hooks/observationStore.test.js +0 -135
- package/dist/cli/hooks/observationStore.test.js.map +0 -1
- package/dist/cli/hooks/sessionSurface.test.js +0 -112
- package/dist/cli/hooks/sessionSurface.test.js.map +0 -1
- package/dist/cli/kraken/candidateRegistry.test.js +0 -211
- package/dist/cli/kraken/candidateRegistry.test.js.map +0 -1
- package/dist/cli/kraken/completionGate.test.js +0 -172
- package/dist/cli/kraken/completionGate.test.js.map +0 -1
- package/dist/cli/kraken/evidenceAnchoring.test.js +0 -92
- package/dist/cli/kraken/evidenceAnchoring.test.js.map +0 -1
- package/dist/cli/kraken/evidenceProvenance.test.js +0 -113
- package/dist/cli/kraken/evidenceProvenance.test.js.map +0 -1
- package/dist/cli/kraken/executor.workbench.test.js +0 -134
- package/dist/cli/kraken/executor.workbench.test.js.map +0 -1
- package/dist/cli/kraken/metrics.test.js +0 -145
- package/dist/cli/kraken/metrics.test.js.map +0 -1
- package/dist/cli/kraken/nativeVerification.test.js +0 -207
- package/dist/cli/kraken/nativeVerification.test.js.map +0 -1
- package/dist/cli/kraken/planner.test.js +0 -43
- package/dist/cli/kraken/planner.test.js.map +0 -1
- package/dist/cli/kraken/scriptPlanner.test.js +0 -152
- package/dist/cli/kraken/scriptPlanner.test.js.map +0 -1
- package/dist/cli/kraken/selectionPlaybook.test.js +0 -55
- package/dist/cli/kraken/selectionPlaybook.test.js.map +0 -1
- package/dist/cli/kraken/skillSuggest.test.js +0 -157
- package/dist/cli/kraken/skillSuggest.test.js.map +0 -1
- package/dist/cli/kraken/strictDefaults.test.js +0 -149
- package/dist/cli/kraken/strictDefaults.test.js.map +0 -1
- package/dist/cli/kraken/strictGatePackIndependence.test.js +0 -112
- package/dist/cli/kraken/strictGatePackIndependence.test.js.map +0 -1
- package/dist/cli/kraken/turnRuntime.test.js +0 -377
- package/dist/cli/kraken/turnRuntime.test.js.map +0 -1
- package/dist/cli/kraken/verificationBridge.session.test.js +0 -104
- package/dist/cli/kraken/verificationBridge.session.test.js.map +0 -1
- package/dist/cli/kraken/verificationBridge.test.js +0 -177
- package/dist/cli/kraken/verificationBridge.test.js.map +0 -1
- package/dist/cli/kraken/verifier.test.js +0 -232
- package/dist/cli/kraken/verifier.test.js.map +0 -1
- package/dist/cli/kraken/verifierAdvisoryLock.test.js +0 -154
- package/dist/cli/kraken/verifierAdvisoryLock.test.js.map +0 -1
- package/dist/cli/kraken/verifierLifecycle.test.js +0 -181
- package/dist/cli/kraken/verifierLifecycle.test.js.map +0 -1
- package/dist/cli/kraken/verifierRoundTrip.test.js +0 -166
- package/dist/cli/kraken/verifierRoundTrip.test.js.map +0 -1
- package/dist/cli/kraken/verifierSettings.test.js +0 -237
- package/dist/cli/kraken/verifierSettings.test.js.map +0 -1
- package/dist/cli/kraken/verifyReport.test.js +0 -111
- package/dist/cli/kraken/verifyReport.test.js.map +0 -1
- package/dist/cli/kraken/weaknessMeter.test.js +0 -212
- package/dist/cli/kraken/weaknessMeter.test.js.map +0 -1
- package/dist/cli/kraken/workbench.test.js +0 -253
- package/dist/cli/kraken/workbench.test.js.map +0 -1
- package/dist/cli/kraken/workbenchView.test.js +0 -130
- package/dist/cli/kraken/workbenchView.test.js.map +0 -1
- package/dist/cli/legacyContextIsolation.test.js +0 -65
- package/dist/cli/legacyContextIsolation.test.js.map +0 -1
- package/dist/cli/lsp/tools.test.js +0 -90
- package/dist/cli/lsp/tools.test.js.map +0 -1
- package/dist/cli/missionContinuation.test.js +0 -117
- package/dist/cli/missionContinuation.test.js.map +0 -1
- package/dist/cli/profileMatrix.test.js +0 -130
- package/dist/cli/profileMatrix.test.js.map +0 -1
- package/dist/cli/provider/capabilities.test.js +0 -46
- package/dist/cli/provider/capabilities.test.js.map +0 -1
- package/dist/cli/provider/openai-compatible.timeout.test.js +0 -72
- package/dist/cli/provider/openai-compatible.timeout.test.js.map +0 -1
- package/dist/cli/providerConfig.test.js +0 -85
- package/dist/cli/providerConfig.test.js.map +0 -1
- package/dist/cli/sessionReplayInvariant.test.js +0 -187
- package/dist/cli/sessionReplayInvariant.test.js.map +0 -1
- package/dist/cli/sessionSpine.test.js +0 -171
- package/dist/cli/sessionSpine.test.js.map +0 -1
- package/dist/cli/thinking.test.js +0 -214
- package/dist/cli/thinking.test.js.map +0 -1
- package/dist/cli/tools/inspectCommand.schema.test.js +0 -82
- package/dist/cli/tools/inspectCommand.schema.test.js.map +0 -1
- package/dist/cli/tools/inspectCommand.test.js +0 -311
- package/dist/cli/tools/inspectCommand.test.js.map +0 -1
- package/dist/cli/tools/krakenCsvFanout.test.js +0 -200
- package/dist/cli/tools/krakenCsvFanout.test.js.map +0 -1
- package/dist/cli/tools/krakenSelectTool.test.js +0 -246
- package/dist/cli/tools/krakenSelectTool.test.js.map +0 -1
- package/dist/cli/tools/observeBatch.test.js +0 -329
- package/dist/cli/tools/observeBatch.test.js.map +0 -1
- package/dist/cli/tools/taskTool.dynamicChecks.test.js +0 -156
- package/dist/cli/tools/taskTool.dynamicChecks.test.js.map +0 -1
- package/dist/cli/tools/taskTool.planSafety.test.js +0 -280
- package/dist/cli/tools/taskTool.planSafety.test.js.map +0 -1
- package/dist/cli/tools/taskTool.verifyReport.test.js +0 -140
- package/dist/cli/tools/taskTool.verifyReport.test.js.map +0 -1
- package/dist/cli/utils/contextGrowthSummary.test.js +0 -74
- package/dist/cli/utils/contextGrowthSummary.test.js.map +0 -1
- package/dist/cli/workspace/planDriftCheck.test.js +0 -146
- package/dist/cli/workspace/planDriftCheck.test.js.map +0 -1
- package/dist/cli/workspace/planStore.test.js +0 -295
- package/dist/cli/workspace/planStore.test.js.map +0 -1
- package/dist/cli/zelariMission.test.js +0 -44
- package/dist/cli/zelariMission.test.js.map +0 -1
|
@@ -1,112 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* sessionSurface — Fase 2 acceptance: deterministic projection, monotone
|
|
3
|
-
* stubs, byte-identical replay, no un-pruning.
|
|
4
|
-
*/
|
|
5
|
-
import { afterEach, describe, expect, it } from 'vitest';
|
|
6
|
-
import { formatObservationStub, isObservationStub, parseObservationStub, projectSessionSurface, resolveObservationSeq, statusFromToolBody, } from './sessionSurface.js';
|
|
7
|
-
function tool(id, content) {
|
|
8
|
-
return { role: 'tool', toolCallId: id, content };
|
|
9
|
-
}
|
|
10
|
-
function assistantCall(id, name) {
|
|
11
|
-
return { role: 'assistant', content: '', toolCalls: [{ id, name, args: {} }] };
|
|
12
|
-
}
|
|
13
|
-
describe('observation stub codec', () => {
|
|
14
|
-
it('round-trips fields byte-identically', () => {
|
|
15
|
-
const stub = formatObservationStub({
|
|
16
|
-
seq: 12,
|
|
17
|
-
tool: 'grep_content',
|
|
18
|
-
status: 'complete',
|
|
19
|
-
bytes: 4096,
|
|
20
|
-
});
|
|
21
|
-
expect(stub).toBe('OBSERVATION ref=#12 tool=grep_content status=complete bytes=4096\n[retrieve_observation #12]');
|
|
22
|
-
expect(isObservationStub(stub)).toBe(true);
|
|
23
|
-
expect(parseObservationStub(stub)).toEqual({
|
|
24
|
-
seq: 12,
|
|
25
|
-
tool: 'grep_content',
|
|
26
|
-
status: 'complete',
|
|
27
|
-
bytes: 4096,
|
|
28
|
-
});
|
|
29
|
-
expect(formatObservationStub(parseObservationStub(stub))).toBe(stub);
|
|
30
|
-
});
|
|
31
|
-
it('rejects non-stubs', () => {
|
|
32
|
-
expect(isObservationStub('hello')).toBe(false);
|
|
33
|
-
expect(parseObservationStub('hello')).toBeNull();
|
|
34
|
-
});
|
|
35
|
-
it('reads Fase-0 footer status', () => {
|
|
36
|
-
expect(statusFromToolBody('body\n[observation status=partial filesWalked=3]')).toBe('partial');
|
|
37
|
-
expect(statusFromToolBody('plain')).toBeUndefined();
|
|
38
|
-
});
|
|
39
|
-
});
|
|
40
|
-
describe('projectSessionSurface', () => {
|
|
41
|
-
afterEach(() => {
|
|
42
|
-
delete process.env.ZELARI_SURFACE_HOT_TAIL;
|
|
43
|
-
delete process.env.ZELARI_SURFACE_MAX_BODY_CHARS;
|
|
44
|
-
delete process.env.ZELARI_SESSION_SURFACE;
|
|
45
|
-
});
|
|
46
|
-
it('returns the same reference when nothing needs projecting', () => {
|
|
47
|
-
const msgs = [
|
|
48
|
-
{ role: 'user', content: 'hi' },
|
|
49
|
-
tool('c1', 'tiny'),
|
|
50
|
-
];
|
|
51
|
-
const r = projectSessionSurface(msgs, { hotTail: 4, maxBodyChars: 4000 });
|
|
52
|
-
expect(r.messages).toBe(msgs);
|
|
53
|
-
expect(r.stats.projected).toBe(0);
|
|
54
|
-
});
|
|
55
|
-
it('keeps the hot tail full-fidelity and stubs older oversized bodies', () => {
|
|
56
|
-
const big = 'B'.repeat(500);
|
|
57
|
-
const msgs = [];
|
|
58
|
-
for (let i = 1; i <= 6; i++) {
|
|
59
|
-
msgs.push(assistantCall(`c${i}`, 'read_file'));
|
|
60
|
-
msgs.push(tool(`c${i}`, big + `\n[observation status=complete bytes=${big.length}]`));
|
|
61
|
-
}
|
|
62
|
-
const r = projectSessionSurface(msgs, { hotTail: 2, maxBodyChars: 100 });
|
|
63
|
-
expect(r.stats.projected).toBe(4);
|
|
64
|
-
const tools = r.messages.filter((m) => m.role === 'tool');
|
|
65
|
-
expect(tools.slice(0, 4).every((m) => isObservationStub(m.content))).toBe(true);
|
|
66
|
-
expect(tools.slice(4).every((m) => !isObservationStub(m.content))).toBe(true);
|
|
67
|
-
expect(tools[0].content).toContain('tool=read_file');
|
|
68
|
-
expect(tools[0].content).toContain('status=complete');
|
|
69
|
-
expect(tools[0].content).toContain('[retrieve_observation #1]');
|
|
70
|
-
});
|
|
71
|
-
it('is deterministic: same input → byte-identical surface', () => {
|
|
72
|
-
const big = 'X'.repeat(800);
|
|
73
|
-
const msgs = [
|
|
74
|
-
assistantCall('a', 'grep_content'),
|
|
75
|
-
tool('a', big),
|
|
76
|
-
assistantCall('b', 'grep_content'),
|
|
77
|
-
tool('b', big),
|
|
78
|
-
assistantCall('c', 'list_files'),
|
|
79
|
-
tool('c', big),
|
|
80
|
-
];
|
|
81
|
-
const a = projectSessionSurface(msgs, { hotTail: 1, maxBodyChars: 50 });
|
|
82
|
-
const b = projectSessionSurface(msgs, { hotTail: 1, maxBodyChars: 50 });
|
|
83
|
-
expect(JSON.stringify(a.messages)).toBe(JSON.stringify(b.messages));
|
|
84
|
-
expect(a.stats).toEqual(b.stats);
|
|
85
|
-
});
|
|
86
|
-
it('never un-prunes an existing stub (monotone / cache-safe)', () => {
|
|
87
|
-
const stub = formatObservationStub({ seq: 7, tool: 'read_file', bytes: 9999 });
|
|
88
|
-
const msgs = [tool('old', stub), tool('hot', 'H'.repeat(50))];
|
|
89
|
-
const r = projectSessionSurface(msgs, { hotTail: 4, maxBodyChars: 10 });
|
|
90
|
-
expect(r.messages[0].content).toBe(stub);
|
|
91
|
-
expect(r.stats.alreadyStubbed).toBe(1);
|
|
92
|
-
expect(r.stats.projected).toBe(0);
|
|
93
|
-
});
|
|
94
|
-
it('uses lookup(toolCallId) for stable seq when provided', () => {
|
|
95
|
-
const big = 'Z'.repeat(200);
|
|
96
|
-
const msgs = [
|
|
97
|
-
assistantCall('call-z', 'bash'),
|
|
98
|
-
tool('call-z', big),
|
|
99
|
-
assistantCall('keep', 'bash'),
|
|
100
|
-
tool('keep', big),
|
|
101
|
-
];
|
|
102
|
-
const lookup = (id) => (id === 'call-z' ? 42 : undefined);
|
|
103
|
-
const r = projectSessionSurface(msgs, { hotTail: 1, maxBodyChars: 10 }, lookup);
|
|
104
|
-
expect(r.messages[1].content).toContain('ref=#42');
|
|
105
|
-
expect(r.messages[1].content).toContain('[retrieve_observation #42]');
|
|
106
|
-
});
|
|
107
|
-
it('falls back to 1-based ordinal when lookup misses', () => {
|
|
108
|
-
const seq = resolveObservationSeq(tool('x', 'body'), 3);
|
|
109
|
-
expect(seq).toBe(4);
|
|
110
|
-
});
|
|
111
|
-
});
|
|
112
|
-
//# sourceMappingURL=sessionSurface.test.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"sessionSurface.test.js","sourceRoot":"","sources":["../../../src/cli/hooks/sessionSurface.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEzD,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAE7B,SAAS,IAAI,CAAC,EAAU,EAAE,OAAe;IACvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC;AACD,SAAS,aAAa,CAAC,EAAU,EAAE,IAAY;IAC7C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC;YACjC,GAAG,EAAE,EAAE;YACP,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CACf,8FAA8F,CAC/F,CAAC;QACF,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACzC,GAAG,EAAE,EAAE;YACP,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,kBAAkB,CAAC,kDAAkD,CAAC,CAAC,CAAC,IAAI,CACjF,SAAS,CACV,CAAC;QACF,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAC3C,OAAO,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;QACjD,OAAO,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAmB;YAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC/B,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC;SACnB,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAmB,EAAE,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,GAAG,wCAAwC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAmB;YAC3B,aAAa,CAAC,GAAG,EAAE,cAAc,CAAC;YAClC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YACd,aAAa,CAAC,GAAG,EAAE,cAAc,CAAC;YAClC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YACd,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC;YAChC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;SACf,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAmB;YAC3B,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC/B,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;YACnB,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7B,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;SAClB,CAAC;QACF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAClE,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAChF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,qBAAqB,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,211 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* candidateRegistry.test — Fase 3 (ADR-0020): candidate contracts.
|
|
3
|
-
* - structured parse (ok / malformed / lenient fills)
|
|
4
|
-
* - degraded evidence preserved
|
|
5
|
-
* - cap 3 per turn + reset
|
|
6
|
-
* - instructions rendering
|
|
7
|
-
*/
|
|
8
|
-
import { describe, expect, it, beforeEach } from 'vitest';
|
|
9
|
-
import { KRAKEN_CANDIDATE_CAP, candidateInstructions, getKrakenCheckResults, getKrakenSelection, isKrakenSelectionEnabled, krakenCandidates, krakenChecksPassed, krakenRequiredChecks, parseCandidateReport, registerCandidate, resetKrakenCandidates, reserveCandidateSlot, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
|
|
10
|
-
const GOOD = [
|
|
11
|
-
'Research summary: the refresh path races with the session bootstrap.',
|
|
12
|
-
'<candidate-report>',
|
|
13
|
-
'{',
|
|
14
|
-
' "hypothesis": "Session lost because refresh races with bootstrap",',
|
|
15
|
-
' "evidence": [',
|
|
16
|
-
' { "claim": "refresh() reads stale token", "basis": "read_file src/auth.ts:120", "degraded": false },',
|
|
17
|
-
' { "claim": "grep timed out on legacy dir", "basis": "grep_content legacy/", "degraded": true }',
|
|
18
|
-
' ],',
|
|
19
|
-
' "risks": ["bootstrap order may differ in prod"]',
|
|
20
|
-
'}',
|
|
21
|
-
'</candidate-report>',
|
|
22
|
-
].join('\n');
|
|
23
|
-
describe('parseCandidateReport', () => {
|
|
24
|
-
it('parses a well-formed report with evidence + risks', () => {
|
|
25
|
-
const r = parseCandidateReport(GOOD);
|
|
26
|
-
expect(r.ok).toBe(true);
|
|
27
|
-
if (r.ok) {
|
|
28
|
-
expect(r.report.hypothesis).toContain('refresh races');
|
|
29
|
-
expect(r.report.evidence).toHaveLength(2);
|
|
30
|
-
expect(r.report.evidence[0].degraded).toBe(false);
|
|
31
|
-
expect(r.report.hasDegradedEvidence).toBe(true);
|
|
32
|
-
expect(r.report.risks).toHaveLength(1);
|
|
33
|
-
}
|
|
34
|
-
});
|
|
35
|
-
it('missing block → malformed', () => {
|
|
36
|
-
const r = parseCandidateReport('just prose, no block');
|
|
37
|
-
expect(r.ok).toBe(false);
|
|
38
|
-
if (!r.ok)
|
|
39
|
-
expect(r.error).toMatch(/missing report block/);
|
|
40
|
-
});
|
|
41
|
-
it('invalid JSON → malformed with reason', () => {
|
|
42
|
-
const r = parseCandidateReport('<candidate-report>{nope</candidate-report>');
|
|
43
|
-
expect(r.ok).toBe(false);
|
|
44
|
-
if (!r.ok)
|
|
45
|
-
expect(r.error).toMatch(/invalid JSON/);
|
|
46
|
-
});
|
|
47
|
-
it('lenient fills: missing/extra fields never break the parse', () => {
|
|
48
|
-
const r = parseCandidateReport('<candidate-report>{ "hypothesis": "h", "evidence": [ { "claim": "c" }, "junk", 5 ], "extra": 1 }</candidate-report>');
|
|
49
|
-
expect(r.ok).toBe(true);
|
|
50
|
-
if (r.ok) {
|
|
51
|
-
expect(r.report.hypothesis).toBe('h');
|
|
52
|
-
// "junk"/5 dropped; claim-only item kept with safe defaults
|
|
53
|
-
expect(r.report.evidence).toEqual([
|
|
54
|
-
{ claim: 'c', basis: '', degraded: false },
|
|
55
|
-
]);
|
|
56
|
-
expect(r.report.risks).toEqual([]);
|
|
57
|
-
expect(r.report.hasDegradedEvidence).toBe(false);
|
|
58
|
-
}
|
|
59
|
-
});
|
|
60
|
-
it('uses the LAST block when the model emits more than one', () => {
|
|
61
|
-
const r = parseCandidateReport('<candidate-report>{ "hypothesis": "first" }</candidate-report>\nmore\n<candidate-report>{ "hypothesis": "final" }</candidate-report>');
|
|
62
|
-
expect(r.ok).toBe(true);
|
|
63
|
-
if (r.ok)
|
|
64
|
-
expect(r.report.hypothesis).toBe('final');
|
|
65
|
-
});
|
|
66
|
-
});
|
|
67
|
-
describe('per-turn registry', () => {
|
|
68
|
-
beforeEach(() => resetKrakenCandidates());
|
|
69
|
-
function reportOf(raw) {
|
|
70
|
-
const r = parseCandidateReport(raw);
|
|
71
|
-
if (!r.ok)
|
|
72
|
-
throw new Error('fixture must parse');
|
|
73
|
-
return r.report;
|
|
74
|
-
}
|
|
75
|
-
it('cap: the 4th slot is refused, the first 3 accepted', () => {
|
|
76
|
-
expect(reserveCandidateSlot()).toEqual({ index: 1 });
|
|
77
|
-
registerCandidate({ status: 'ok', description: 'a', report: reportOf(GOOD), raw: GOOD });
|
|
78
|
-
expect(reserveCandidateSlot()).toEqual({ index: 2 });
|
|
79
|
-
registerCandidate({ status: 'ok', description: 'b', report: reportOf(GOOD), raw: GOOD });
|
|
80
|
-
expect(reserveCandidateSlot()).toEqual({ index: 3 });
|
|
81
|
-
registerCandidate({ status: 'malformed', description: 'c', error: 'missing report block', raw: 'no block' });
|
|
82
|
-
const fourth = reserveCandidateSlot();
|
|
83
|
-
expect('error' in fourth).toBe(true);
|
|
84
|
-
if ('error' in fourth)
|
|
85
|
-
expect(fourth.error).toMatch(/cap reached \(3\)/);
|
|
86
|
-
expect(krakenCandidates()).toHaveLength(3);
|
|
87
|
-
expect(krakenCandidates()[2].status).toBe('malformed');
|
|
88
|
-
});
|
|
89
|
-
it('malformed candidates are preserved, not dropped (degraded evidence rule)', () => {
|
|
90
|
-
registerCandidate({ status: 'malformed', description: 'x', error: 'invalid JSON (x)', raw: 'partial' });
|
|
91
|
-
const all = krakenCandidates();
|
|
92
|
-
expect(all).toHaveLength(1);
|
|
93
|
-
expect(all[0]).toMatchObject({ status: 'malformed', description: 'x' });
|
|
94
|
-
});
|
|
95
|
-
it('reset clears the registry', () => {
|
|
96
|
-
registerCandidate({ status: 'malformed', description: 'x', error: 'e', raw: '' });
|
|
97
|
-
resetKrakenCandidates();
|
|
98
|
-
expect(krakenCandidates()).toHaveLength(0);
|
|
99
|
-
});
|
|
100
|
-
});
|
|
101
|
-
describe('instructions + flag', () => {
|
|
102
|
-
it('renders candidate index and cap', () => {
|
|
103
|
-
const text = candidateInstructions(2);
|
|
104
|
-
expect(text).toContain('CANDIDATE #2');
|
|
105
|
-
expect(text).toContain(`at most ${KRAKEN_CANDIDATE_CAP}`);
|
|
106
|
-
expect(text).toContain('<candidate-report>');
|
|
107
|
-
expect(text).toContain('degraded');
|
|
108
|
-
});
|
|
109
|
-
it('feature flag defaults OFF and honours ZELARI_KRAKEN_SELECTION=1', () => {
|
|
110
|
-
const prev = process.env.ZELARI_KRAKEN_SELECTION;
|
|
111
|
-
delete process.env.ZELARI_KRAKEN_SELECTION;
|
|
112
|
-
expect(isKrakenSelectionEnabled()).toBe(false);
|
|
113
|
-
process.env.ZELARI_KRAKEN_SELECTION = '1';
|
|
114
|
-
expect(isKrakenSelectionEnabled()).toBe(true);
|
|
115
|
-
if (prev === undefined)
|
|
116
|
-
delete process.env.ZELARI_KRAKEN_SELECTION;
|
|
117
|
-
else
|
|
118
|
-
process.env.ZELARI_KRAKEN_SELECTION = prev;
|
|
119
|
-
});
|
|
120
|
-
});
|
|
121
|
-
describe('krakenRequiredChecks (ADR-0020 Fase 6)', () => {
|
|
122
|
-
it('returns [] when no selection ran this turn', () => {
|
|
123
|
-
resetKrakenCandidates();
|
|
124
|
-
expect(krakenRequiredChecks()).toEqual([]);
|
|
125
|
-
});
|
|
126
|
-
it('returns [] for needs_more_evidence — checks stay advisory', () => {
|
|
127
|
-
resetKrakenCandidates();
|
|
128
|
-
setKrakenSelection({
|
|
129
|
-
status: 'needs_more_evidence',
|
|
130
|
-
winnerIndex: null,
|
|
131
|
-
rationale: 'tie',
|
|
132
|
-
requiredChecks: ['check that must NOT be enforced'],
|
|
133
|
-
degraded: false,
|
|
134
|
-
verifier: null,
|
|
135
|
-
judgedBy: 'llm',
|
|
136
|
-
});
|
|
137
|
-
expect(krakenRequiredChecks()).toEqual([]);
|
|
138
|
-
});
|
|
139
|
-
it('returns the checks of a selected verdict', () => {
|
|
140
|
-
resetKrakenCandidates();
|
|
141
|
-
setKrakenSelection({
|
|
142
|
-
status: 'selected',
|
|
143
|
-
winnerIndex: 2,
|
|
144
|
-
rationale: 'grounded',
|
|
145
|
-
requiredChecks: ['race regression test', 'session e2e'],
|
|
146
|
-
degraded: false,
|
|
147
|
-
verifier: { provider: 'p', model: 'm' },
|
|
148
|
-
judgedBy: 'llm',
|
|
149
|
-
});
|
|
150
|
-
expect(krakenRequiredChecks()).toEqual(['race regression test', 'session e2e']);
|
|
151
|
-
});
|
|
152
|
-
it('reset clears verdict and checks together', () => {
|
|
153
|
-
setKrakenSelection({
|
|
154
|
-
status: 'selected',
|
|
155
|
-
winnerIndex: 1,
|
|
156
|
-
rationale: 'r',
|
|
157
|
-
requiredChecks: ['x'],
|
|
158
|
-
degraded: false,
|
|
159
|
-
verifier: null,
|
|
160
|
-
judgedBy: 'deterministic',
|
|
161
|
-
});
|
|
162
|
-
expect(getKrakenSelection()).not.toBeNull();
|
|
163
|
-
resetKrakenCandidates();
|
|
164
|
-
expect(getKrakenSelection()).toBeNull();
|
|
165
|
-
expect(krakenRequiredChecks()).toEqual([]);
|
|
166
|
-
});
|
|
167
|
-
});
|
|
168
|
-
describe('Fase 7 — check results storage', () => {
|
|
169
|
-
beforeEach(() => resetKrakenCandidates());
|
|
170
|
-
it('stores and returns per-check results (defensive copy)', () => {
|
|
171
|
-
setKrakenCheckResults([
|
|
172
|
-
{ check: 'a', status: 'pass' },
|
|
173
|
-
{ check: 'b', status: 'unknown', note: 'grep timed out' },
|
|
174
|
-
]);
|
|
175
|
-
const first = getKrakenCheckResults();
|
|
176
|
-
expect(first).toEqual([
|
|
177
|
-
{ check: 'a', status: 'pass' },
|
|
178
|
-
{ check: 'b', status: 'unknown', note: 'grep timed out' },
|
|
179
|
-
]);
|
|
180
|
-
first?.push({ check: 'c', status: 'fail' });
|
|
181
|
-
expect(getKrakenCheckResults()).toHaveLength(2);
|
|
182
|
-
});
|
|
183
|
-
it('krakenChecksPassed counts only explicit pass — unknown never counts', () => {
|
|
184
|
-
setKrakenCheckResults([
|
|
185
|
-
{ check: 'a', status: 'pass' },
|
|
186
|
-
{ check: 'b', status: 'fail' },
|
|
187
|
-
{ check: 'c', status: 'unknown', note: 'degraded' },
|
|
188
|
-
]);
|
|
189
|
-
expect(krakenChecksPassed()).toBe(1);
|
|
190
|
-
});
|
|
191
|
-
it('undefined before any verify report lands', () => {
|
|
192
|
-
expect(getKrakenCheckResults()).toBeNull();
|
|
193
|
-
expect(krakenChecksPassed()).toBeUndefined();
|
|
194
|
-
});
|
|
195
|
-
it('a later verify tentacle replaces earlier results', () => {
|
|
196
|
-
setKrakenCheckResults([
|
|
197
|
-
{ check: 'a', status: 'unknown', note: 'first run degraded' },
|
|
198
|
-
]);
|
|
199
|
-
setKrakenCheckResults([
|
|
200
|
-
{ check: 'a', status: 'pass' },
|
|
201
|
-
]);
|
|
202
|
-
expect(krakenChecksPassed()).toBe(1);
|
|
203
|
-
});
|
|
204
|
-
it('reset clears check results together with verdict and candidates', () => {
|
|
205
|
-
setKrakenCheckResults([{ check: 'a', status: 'pass' }]);
|
|
206
|
-
resetKrakenCandidates();
|
|
207
|
-
expect(getKrakenCheckResults()).toBeNull();
|
|
208
|
-
expect(krakenChecksPassed()).toBeUndefined();
|
|
209
|
-
});
|
|
210
|
-
});
|
|
211
|
-
//# sourceMappingURL=candidateRegistry.test.js.map
|
|
@@ -1 +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"}
|
|
@@ -1,172 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Fase 8 (ADR-0020) — completion gate unit tests.
|
|
3
|
-
*
|
|
4
|
-
* classify: pure matching semantics (mirrors verifyReport).
|
|
5
|
-
* evaluate: registry-driven gating (build-only, selection-only).
|
|
6
|
-
* prompt: repair directive shape.
|
|
7
|
-
*/
|
|
8
|
-
import { describe, expect, it } from 'vitest';
|
|
9
|
-
import { buildKrakenRepairPrompt, classifyKrakenChecks, evaluateKrakenCompletionGate, } from './completionGate.js';
|
|
10
|
-
import { resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
|
|
11
|
-
const CHECKS = [
|
|
12
|
-
'session survives concurrent refresh',
|
|
13
|
-
'rotated cookie rejects the old token',
|
|
14
|
-
];
|
|
15
|
-
function result(check, status) {
|
|
16
|
-
return { check, status };
|
|
17
|
-
}
|
|
18
|
-
function selectWithChecks(checks) {
|
|
19
|
-
resetKrakenCandidates();
|
|
20
|
-
setKrakenSelection({
|
|
21
|
-
status: 'selected',
|
|
22
|
-
winnerIndex: 1,
|
|
23
|
-
rationale: 'stronger evidence',
|
|
24
|
-
requiredChecks: checks,
|
|
25
|
-
degraded: false,
|
|
26
|
-
verifier: null,
|
|
27
|
-
judgedBy: 'llm',
|
|
28
|
-
});
|
|
29
|
-
}
|
|
30
|
-
describe('classifyKrakenChecks', () => {
|
|
31
|
-
it('null results → every check unknown (no report ≠ pass)', () => {
|
|
32
|
-
const out = classifyKrakenChecks(CHECKS, null);
|
|
33
|
-
expect(out.unknown).toEqual(CHECKS);
|
|
34
|
-
expect(out.passed).toEqual([]);
|
|
35
|
-
expect(out.failed).toEqual([]);
|
|
36
|
-
});
|
|
37
|
-
it('groups pass/fail/unknown by exact normalized match', () => {
|
|
38
|
-
const out = classifyKrakenChecks(CHECKS, [
|
|
39
|
-
result('Session survives concurrent refresh', 'pass'),
|
|
40
|
-
result('rotated cookie rejects the old token', 'fail'),
|
|
41
|
-
]);
|
|
42
|
-
expect(out.passed).toEqual([CHECKS[0]]);
|
|
43
|
-
expect(out.failed).toEqual([CHECKS[1]]);
|
|
44
|
-
expect(out.unknown).toEqual([]);
|
|
45
|
-
});
|
|
46
|
-
it('matches a lightly reworded criterion by containment', () => {
|
|
47
|
-
const out = classifyKrakenChecks(['race condition on concurrent session refresh'], [result('concurrent session refresh', 'pass')]);
|
|
48
|
-
expect(out.passed).toEqual(['race condition on concurrent session refresh']);
|
|
49
|
-
});
|
|
50
|
-
it('later duplicate results win (self-correction)', () => {
|
|
51
|
-
const out = classifyKrakenChecks(CHECKS, [
|
|
52
|
-
result(CHECKS[0], 'fail'),
|
|
53
|
-
result(CHECKS[0], 'pass'),
|
|
54
|
-
]);
|
|
55
|
-
expect(out.passed).toEqual([CHECKS[0]]);
|
|
56
|
-
expect(out.failed).toEqual([]);
|
|
57
|
-
});
|
|
58
|
-
it('a check with no matching block is unknown, never pass', () => {
|
|
59
|
-
const out = classifyKrakenChecks(CHECKS, [result('totally unrelated check', 'pass')]);
|
|
60
|
-
expect(out.unknown).toEqual(CHECKS);
|
|
61
|
-
});
|
|
62
|
-
});
|
|
63
|
-
describe('evaluateKrakenCompletionGate', () => {
|
|
64
|
-
it('open when no selection ran this turn', () => {
|
|
65
|
-
resetKrakenCandidates();
|
|
66
|
-
const gate = evaluateKrakenCompletionGate('build');
|
|
67
|
-
expect(gate.blocked).toBe(false);
|
|
68
|
-
expect(gate.selectionUsed).toBe(false);
|
|
69
|
-
});
|
|
70
|
-
it('open for needs_more_evidence — checks stay advisory', () => {
|
|
71
|
-
resetKrakenCandidates();
|
|
72
|
-
setKrakenSelection({
|
|
73
|
-
status: 'needs_more_evidence',
|
|
74
|
-
winnerIndex: null,
|
|
75
|
-
rationale: 'tie',
|
|
76
|
-
requiredChecks: ['advisory check'],
|
|
77
|
-
degraded: false,
|
|
78
|
-
verifier: null,
|
|
79
|
-
judgedBy: 'llm',
|
|
80
|
-
});
|
|
81
|
-
expect(evaluateKrakenCompletionGate('build').blocked).toBe(false);
|
|
82
|
-
});
|
|
83
|
-
it('blocked when verification never ran (all unknown)', () => {
|
|
84
|
-
selectWithChecks(CHECKS);
|
|
85
|
-
const gate = evaluateKrakenCompletionGate('build');
|
|
86
|
-
expect(gate.blocked).toBe(true);
|
|
87
|
-
expect(gate.selectionUsed).toBe(true);
|
|
88
|
-
expect(gate.total).toBe(2);
|
|
89
|
-
expect(gate.passed).toBe(0);
|
|
90
|
-
expect(gate.unknownChecks).toEqual(CHECKS);
|
|
91
|
-
});
|
|
92
|
-
it('blocked while any check fails (pass does not offset fail)', () => {
|
|
93
|
-
selectWithChecks(CHECKS);
|
|
94
|
-
setKrakenCheckResults([
|
|
95
|
-
result(CHECKS[0], 'pass'),
|
|
96
|
-
result(CHECKS[1], 'fail'),
|
|
97
|
-
]);
|
|
98
|
-
const gate = evaluateKrakenCompletionGate('build');
|
|
99
|
-
expect(gate.blocked).toBe(true);
|
|
100
|
-
expect(gate.failedChecks).toEqual([CHECKS[1]]);
|
|
101
|
-
});
|
|
102
|
-
it('blocked while any check is unknown (unknown ≠ pass)', () => {
|
|
103
|
-
selectWithChecks(CHECKS);
|
|
104
|
-
setKrakenCheckResults([
|
|
105
|
-
result(CHECKS[0], 'pass'),
|
|
106
|
-
result(CHECKS[1], 'unknown'),
|
|
107
|
-
]);
|
|
108
|
-
expect(evaluateKrakenCompletionGate('build').blocked).toBe(true);
|
|
109
|
-
});
|
|
110
|
-
it('open only when every check passes', () => {
|
|
111
|
-
selectWithChecks(CHECKS);
|
|
112
|
-
setKrakenCheckResults(CHECKS.map((c) => result(c, 'pass')));
|
|
113
|
-
const gate = evaluateKrakenCompletionGate('build');
|
|
114
|
-
expect(gate.blocked).toBe(false);
|
|
115
|
-
expect(gate.passed).toBe(2);
|
|
116
|
-
});
|
|
117
|
-
it('never blocks a PLAN turn even with unresolved checks', () => {
|
|
118
|
-
selectWithChecks(CHECKS);
|
|
119
|
-
// no results at all → would block in build
|
|
120
|
-
expect(evaluateKrakenCompletionGate('build').blocked).toBe(true);
|
|
121
|
-
expect(evaluateKrakenCompletionGate('plan').blocked).toBe(false);
|
|
122
|
-
});
|
|
123
|
-
it('reset clears the gate state', () => {
|
|
124
|
-
selectWithChecks(CHECKS);
|
|
125
|
-
resetKrakenCandidates();
|
|
126
|
-
expect(evaluateKrakenCompletionGate('build').selectionUsed).toBe(false);
|
|
127
|
-
});
|
|
128
|
-
});
|
|
129
|
-
describe('buildKrakenRepairPrompt', () => {
|
|
130
|
-
it('lists failed and unknown checks with the pass counter', () => {
|
|
131
|
-
const prompt = buildKrakenRepairPrompt({
|
|
132
|
-
blocked: true,
|
|
133
|
-
selectionUsed: true,
|
|
134
|
-
total: 3,
|
|
135
|
-
passed: 1,
|
|
136
|
-
failedChecks: ['race on refresh'],
|
|
137
|
-
unknownChecks: ['cookie rotation'],
|
|
138
|
-
});
|
|
139
|
-
expect(prompt).toContain('passed 1/3');
|
|
140
|
-
expect(prompt).toContain('FAILED checks');
|
|
141
|
-
expect(prompt).toContain('- race on refresh');
|
|
142
|
-
expect(prompt).toContain('UNKNOWN checks');
|
|
143
|
-
expect(prompt).toContain('- cookie rotation');
|
|
144
|
-
});
|
|
145
|
-
it('forbids re-running kraken_select and demands a verify tentacle', () => {
|
|
146
|
-
const prompt = buildKrakenRepairPrompt({
|
|
147
|
-
blocked: true,
|
|
148
|
-
selectionUsed: true,
|
|
149
|
-
total: 1,
|
|
150
|
-
passed: 0,
|
|
151
|
-
failedChecks: ['x'],
|
|
152
|
-
unknownChecks: [],
|
|
153
|
-
});
|
|
154
|
-
expect(prompt).toContain('do NOT call kraken_select again');
|
|
155
|
-
expect(prompt).toContain('`task verify`');
|
|
156
|
-
expect(prompt).toContain('<verify-report>');
|
|
157
|
-
expect(prompt).toContain('status: pass');
|
|
158
|
-
});
|
|
159
|
-
it('omits empty sections', () => {
|
|
160
|
-
const prompt = buildKrakenRepairPrompt({
|
|
161
|
-
blocked: true,
|
|
162
|
-
selectionUsed: true,
|
|
163
|
-
total: 2,
|
|
164
|
-
passed: 0,
|
|
165
|
-
failedChecks: [],
|
|
166
|
-
unknownChecks: ['a', 'b'],
|
|
167
|
-
});
|
|
168
|
-
expect(prompt).not.toContain('FAILED checks');
|
|
169
|
-
expect(prompt).toContain('UNKNOWN checks');
|
|
170
|
-
});
|
|
171
|
-
});
|
|
172
|
-
//# sourceMappingURL=completionGate.test.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"completionGate.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/completionGate.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAGhC,MAAM,MAAM,GAAG;IACb,qCAAqC;IACrC,sCAAsC;CACvC,CAAC;AAEF,SAAS,MAAM,CAAC,KAAa,EAAE,MAAmC;IAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,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,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE;YACvC,MAAM,CAAC,sCAAsC,EAAE,MAAM,CAAC;YACtD,MAAM,CAAC,sCAAsC,EAAE,MAAM,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,oBAAoB,CAC9B,CAAC,8CAA8C,CAAC,EAChD,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAC/C,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,qBAAqB,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,qBAAqB,EAAE,CAAC;QACxB,kBAAkB,CAAC;YACjB,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,IAAI;YACjB,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,CAAC,gBAAgB,CAAC;YAClC,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,2CAA2C;QAC3C,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,4BAA4B,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,CAAC,iBAAiB,CAAC;YACjC,aAAa,EAAE,CAAC,iBAAiB,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,aAAa,EAAE,EAAE;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,92 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* F3 (ADR-0023 §5) — CLI wiring lock tests: the native criteria pack forwards
|
|
3
|
-
* its engine observations onto the session spine (`verification.evidence`),
|
|
4
|
-
* the assigned seq anchors the EvidenceRefs, and the spine payload carries
|
|
5
|
-
* the anchors. §5 target: "VerificationResult → EvidenceRef → session seq →
|
|
6
|
-
* actual tool/result" — the note is never the tool output.
|
|
7
|
-
*/
|
|
8
|
-
import { describe, expect, it } from 'vitest';
|
|
9
|
-
import { evaluateNativePack } from './nativeVerification.js';
|
|
10
|
-
import { strictGateEventPayload } from './verificationBridge.js';
|
|
11
|
-
const okShell = {
|
|
12
|
-
async exec() {
|
|
13
|
-
return { exitCode: 0, stdout: 'ok', stderr: '', durationMs: 1, timedOut: false };
|
|
14
|
-
},
|
|
15
|
-
};
|
|
16
|
-
const packEnv = {
|
|
17
|
-
ZELARI_VERIFY_PACK: '1',
|
|
18
|
-
ZELARI_VERIFY_TYPECHECK_CMD: 'echo ok',
|
|
19
|
-
ZELARI_VERIFY_TEST_CMD: '',
|
|
20
|
-
ZELARI_VERIFY_BUILD_CMD: '',
|
|
21
|
-
};
|
|
22
|
-
describe('evaluateNativePack evidence anchoring', () => {
|
|
23
|
-
it('emits verification.evidence first, anchors evidence[0].seq to it', async () => {
|
|
24
|
-
const emitted = [];
|
|
25
|
-
let nextSeq = 10;
|
|
26
|
-
const evaluation = await evaluateNativePack({
|
|
27
|
-
env: packEnv,
|
|
28
|
-
shell: okShell,
|
|
29
|
-
cwd: process.cwd(),
|
|
30
|
-
emit: async (input) => {
|
|
31
|
-
emitted.push(input);
|
|
32
|
-
return { seq: nextSeq++ };
|
|
33
|
-
},
|
|
34
|
-
});
|
|
35
|
-
expect(evaluation).not.toBeNull();
|
|
36
|
-
// 1 command-backed criterion + optional advisories (honest `unknown`, no check).
|
|
37
|
-
const cmdResult = evaluation.results.find((r) => r.evidence.length > 0);
|
|
38
|
-
expect(cmdResult).toBeDefined();
|
|
39
|
-
// Order: observation event, then the verification.run summary.
|
|
40
|
-
expect(emitted.map((e) => e.kind)).toEqual(['verification.evidence', 'verification.run']);
|
|
41
|
-
const obs = emitted[0].data;
|
|
42
|
-
expect(obs.observation).toBe('command');
|
|
43
|
-
expect(obs.command).toBe('echo ok');
|
|
44
|
-
expect(obs.exitCode).toBe(0);
|
|
45
|
-
const run = emitted[1].data;
|
|
46
|
-
const runCmd = run.results.find((r) => r.evidence.length > 0);
|
|
47
|
-
expect(runCmd.evidence[0].seq).toBe(10);
|
|
48
|
-
// And the returned VerificationResult anchors too.
|
|
49
|
-
expect(cmdResult.evidence[0].seq).toBe(10);
|
|
50
|
-
expect(cmdResult.evidence[0].tier).toBe('command-output');
|
|
51
|
-
expect(typeof cmdResult.evidence[0].digest).toBe('string');
|
|
52
|
-
});
|
|
53
|
-
it('without emit the evidence stays unanchored (legacy behaviour)', async () => {
|
|
54
|
-
const evaluation = await evaluateNativePack({
|
|
55
|
-
env: packEnv,
|
|
56
|
-
shell: okShell,
|
|
57
|
-
cwd: process.cwd(),
|
|
58
|
-
});
|
|
59
|
-
const anchored = evaluation.results.find((r) => r.evidence.length > 0);
|
|
60
|
-
expect(anchored.evidence[0].seq).toBeUndefined();
|
|
61
|
-
});
|
|
62
|
-
});
|
|
63
|
-
describe('strictGateEventPayload carries the anchors', () => {
|
|
64
|
-
it('native evidence seq survives the spine payload', () => {
|
|
65
|
-
const evaluation = {
|
|
66
|
-
gate: { total: 0, passed: 0, failedChecks: [], unknownChecks: [], blocked: false, selectionUsed: false },
|
|
67
|
-
strict: true,
|
|
68
|
-
evaluation: null,
|
|
69
|
-
native: {
|
|
70
|
-
packId: 'test-pack',
|
|
71
|
-
criteria: [],
|
|
72
|
-
results: [
|
|
73
|
-
{
|
|
74
|
-
criterionId: 'typecheck',
|
|
75
|
-
status: 'pass',
|
|
76
|
-
source: 'deterministic-engine',
|
|
77
|
-
evidence: [{ tier: 'command-output', ref: 'npm run typecheck → exit 0', capturedAt: 1, digest: 'd0', seq: 42 }],
|
|
78
|
-
evaluatedAt: 1,
|
|
79
|
-
durationMs: 5,
|
|
80
|
-
},
|
|
81
|
-
],
|
|
82
|
-
},
|
|
83
|
-
blocked: false,
|
|
84
|
-
summary: 'open',
|
|
85
|
-
};
|
|
86
|
-
const payload = strictGateEventPayload(evaluation);
|
|
87
|
-
const native = payload.native;
|
|
88
|
-
expect(native.results[0].evidence[0].seq).toBe(42);
|
|
89
|
-
expect(native.results[0].evidence[0].digest).toBe('d0');
|
|
90
|
-
});
|
|
91
|
-
});
|
|
92
|
-
//# sourceMappingURL=evidenceAnchoring.test.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"evidenceAnchoring.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/evidenceAnchoring.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAkC,MAAM,yBAAyB,CAAC;AAIjG,MAAM,OAAO,GAAkB;IAC7B,KAAK,CAAC,IAAI;QACR,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnF,CAAC;CACF,CAAC;AAEF,MAAM,OAAO,GAAG;IACd,kBAAkB,EAAE,GAAG;IACvB,2BAA2B,EAAE,SAAS;IACtC,sBAAsB,EAAE,EAAE;IAC1B,uBAAuB,EAAE,EAAE;CAC5B,CAAC;AAEF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC;YAC1C,GAAG,EAAE,OAAO;YACZ,KAAK,EAAE,OAAO;YACd,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;YAClB,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;gBACpB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpB,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;YAC5B,CAAC;SACF,CAAC,CAAC;QACH,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClC,iFAAiF;QACjF,MAAM,SAAS,GAAG,UAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,+DAA+D;QAC/D,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC1F,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAA+B,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAiE,CAAC;QACzF,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,mDAAmD;QACnD,MAAM,CAAC,SAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,SAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3D,MAAM,CAAC,OAAO,SAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC;YAC1C,GAAG,EAAE,OAAO;YACZ,KAAK,EAAE,OAAO;YACd,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,UAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,UAAU,GAA8B;YAC5C,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE;YACxG,MAAM,EAAE,IAAI;YACZ,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN,MAAM,EAAE,WAAW;gBACnB,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE;oBACP;wBACE,WAAW,EAAE,WAAW;wBACxB,MAAM,EAAE,MAAM;wBACd,MAAM,EAAE,sBAAsB;wBAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,4BAA4B,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;wBAC/G,WAAW,EAAE,CAAC;wBACd,UAAU,EAAE,CAAC;qBACd;iBACF;aACF;YACD,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,MAAM;SAChB,CAAC;QACF,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAEtB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|