zelari-code 2.0.1 → 2.1.0
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 +2 -2
- package/dist/cli/hooks/useChatTurn.js +2 -1
- package/dist/cli/hooks/useChatTurn.js.map +1 -1
- package/dist/cli/kraken/candidateRegistry.js +15 -1
- package/dist/cli/kraken/candidateRegistry.js.map +1 -1
- package/dist/cli/kraken/evidenceProvenance.test.js +113 -0
- package/dist/cli/kraken/evidenceProvenance.test.js.map +1 -0
- package/dist/cli/kraken/strictGatePackIndependence.test.js +112 -0
- package/dist/cli/kraken/strictGatePackIndependence.test.js.map +1 -0
- package/dist/cli/kraken/verificationBridge.js +125 -14
- package/dist/cli/kraken/verificationBridge.js.map +1 -1
- package/dist/cli/kraken/verifierLifecycle.js +88 -0
- package/dist/cli/kraken/verifierLifecycle.js.map +1 -0
- package/dist/cli/kraken/verifierLifecycle.test.js +181 -0
- package/dist/cli/kraken/verifierLifecycle.test.js.map +1 -0
- package/dist/cli/kraken/verifyReport.js.map +1 -1
- package/dist/cli/main.bundled.js +272 -89
- package/dist/cli/main.bundled.js.map +4 -4
- package/dist/cli/runHeadless.js +44 -93
- package/dist/cli/runHeadless.js.map +1 -1
- package/dist/cli/tools/taskTool.js +49 -3
- package/dist/cli/tools/taskTool.js.map +1 -1
- package/package.json +3 -3
|
@@ -20,9 +20,10 @@
|
|
|
20
20
|
* see nativeVerification.ts. The pack is additive evidence; it can only add
|
|
21
21
|
* blockers, never remove them, exactly like the rest of the strict layer.
|
|
22
22
|
*/
|
|
23
|
-
import {
|
|
23
|
+
import { createHash } from 'node:crypto';
|
|
24
|
+
import { getKrakenCheckResults, krakenRequiredChecks, getLastVerifyToolTrace } from './candidateRegistry.js';
|
|
24
25
|
import { evaluateKrakenCompletionGate } from './completionGate.js';
|
|
25
|
-
import { evaluateNativePack } from './nativeVerification.js';
|
|
26
|
+
import { evaluateNativePack, nativePackEnabled } from './nativeVerification.js';
|
|
26
27
|
import { evaluateCompletion, STRICT_BUILD_POLICY, snapshotToCompletionEvaluation, } from '@zelari/core/verification';
|
|
27
28
|
export function strictDoneEnabled(surface = 'kraken') {
|
|
28
29
|
if (surface === 'mission') {
|
|
@@ -109,15 +110,47 @@ export function krakenResultsToContract(requiredChecks, results, now = Date.now(
|
|
|
109
110
|
});
|
|
110
111
|
return { criteria, results: verifications };
|
|
111
112
|
}
|
|
113
|
+
function sha256Hex(input) {
|
|
114
|
+
return createHash('sha256').update(input).digest('hex');
|
|
115
|
+
}
|
|
112
116
|
/**
|
|
113
|
-
*
|
|
114
|
-
*
|
|
115
|
-
*
|
|
116
|
-
*
|
|
117
|
+
* Best-effort match of a verify-report note to a captured tool execution:
|
|
118
|
+
* 1. command-hint overlap (the note cites the command it ran), then
|
|
119
|
+
* 2. distinctive output overlap (counts like "41/41" appear in the raw
|
|
120
|
+
* tool output the process captured).
|
|
121
|
+
* Most recent execution wins — later tools are the likeliest source of
|
|
122
|
+
* the evidence the verify tentacle is reporting on.
|
|
117
123
|
*/
|
|
118
|
-
export
|
|
124
|
+
export function matchNoteToToolTrace(note, trace) {
|
|
125
|
+
const n = normalize(note);
|
|
126
|
+
if (!n)
|
|
127
|
+
return null;
|
|
128
|
+
for (let i = trace.length - 1; i >= 0; i--) {
|
|
129
|
+
const t = trace[i];
|
|
130
|
+
const cmd = t.command ? normalize(t.command) : '';
|
|
131
|
+
if (cmd.length >= 4 && (n.includes(cmd) || cmd.includes(n)))
|
|
132
|
+
return t;
|
|
133
|
+
}
|
|
134
|
+
for (let i = trace.length - 1; i >= 0; i--) {
|
|
135
|
+
const t = trace[i];
|
|
136
|
+
const out = normalize(t.output);
|
|
137
|
+
if (!out)
|
|
138
|
+
continue;
|
|
139
|
+
if (n.length >= 8 && out.includes(n))
|
|
140
|
+
return t;
|
|
141
|
+
const fragments = n.match(/\S*\d[\d.,/%]*\S*/g) ?? [];
|
|
142
|
+
for (const raw of fragments) {
|
|
143
|
+
const frag = raw.replace(/[.,;:]+$/, '');
|
|
144
|
+
if (frag.length >= 3 && out.includes(frag))
|
|
145
|
+
return t;
|
|
146
|
+
}
|
|
147
|
+
}
|
|
148
|
+
return null;
|
|
149
|
+
}
|
|
150
|
+
export async function anchorSelectionEvidence(results, emit, toolTrace) {
|
|
151
|
+
const counts = { toolResultAnchored: 0, noteFallback: 0 };
|
|
119
152
|
if (!emit)
|
|
120
|
-
return;
|
|
153
|
+
return counts;
|
|
121
154
|
for (const r of results) {
|
|
122
155
|
for (const ev of r.evidence) {
|
|
123
156
|
if (ev.seq !== undefined)
|
|
@@ -125,11 +158,47 @@ export async function anchorSelectionEvidence(results, emit) {
|
|
|
125
158
|
if (ev.tier === 'verifier-llm' || ev.tier === 'human')
|
|
126
159
|
continue;
|
|
127
160
|
try {
|
|
161
|
+
// 2.1 T5 pattern A (original-tool-backed): match the note to a RAW
|
|
162
|
+
// tool execution captured at run time, and anchor the EvidenceRef to
|
|
163
|
+
// an event that carries the tool output + digest — not the note.
|
|
164
|
+
const match = toolTrace && toolTrace.length > 0 ? matchNoteToToolTrace(ev.ref, toolTrace) : null;
|
|
165
|
+
if (match) {
|
|
166
|
+
const digest = sha256Hex(match.output);
|
|
167
|
+
const appended = await emit({
|
|
168
|
+
kind: 'verification.evidence',
|
|
169
|
+
actor: { type: 'system', role: 'verification' },
|
|
170
|
+
data: {
|
|
171
|
+
observation: 'tool-result',
|
|
172
|
+
provenance: 'tentacle-tool-capture',
|
|
173
|
+
criterionId: r.criterionId,
|
|
174
|
+
tool: match.tool,
|
|
175
|
+
callId: match.callId,
|
|
176
|
+
ok: match.ok,
|
|
177
|
+
digest,
|
|
178
|
+
outputTail: match.output.slice(0, 240),
|
|
179
|
+
note: ev.ref,
|
|
180
|
+
...(match.command ? { command: match.command } : {}),
|
|
181
|
+
},
|
|
182
|
+
});
|
|
183
|
+
const toolSeq = appended && typeof appended === 'object' && 'seq' in appended
|
|
184
|
+
? Number(appended.seq)
|
|
185
|
+
: NaN;
|
|
186
|
+
if (Number.isFinite(toolSeq) && toolSeq > 0) {
|
|
187
|
+
ev.seq = toolSeq;
|
|
188
|
+
ev.digest = digest;
|
|
189
|
+
ev.ref = `${match.tool}${match.command ? ` ${match.command}` : ''} → ${match.ok ? 'ok' : 'error'} @seq`;
|
|
190
|
+
counts.toolResultAnchored += 1;
|
|
191
|
+
}
|
|
192
|
+
continue;
|
|
193
|
+
}
|
|
194
|
+
// Pattern B (deprecated fallback): no captured execution matches the
|
|
195
|
+
// note — re-emit the note itself, explicitly marked as note-backed.
|
|
128
196
|
const appended = await emit({
|
|
129
197
|
kind: 'verification.evidence',
|
|
130
198
|
actor: { type: 'system', role: 'verification' },
|
|
131
199
|
data: {
|
|
132
200
|
observation: 'verify-report-note',
|
|
201
|
+
provenance: 'note-fallback',
|
|
133
202
|
criterionId: r.criterionId,
|
|
134
203
|
ref: ev.ref,
|
|
135
204
|
tier: ev.tier,
|
|
@@ -138,14 +207,17 @@ export async function anchorSelectionEvidence(results, emit) {
|
|
|
138
207
|
const seq = appended && typeof appended === 'object' && 'seq' in appended
|
|
139
208
|
? Number(appended.seq)
|
|
140
209
|
: NaN;
|
|
141
|
-
if (Number.isFinite(seq) && seq > 0)
|
|
210
|
+
if (Number.isFinite(seq) && seq > 0) {
|
|
142
211
|
ev.seq = seq;
|
|
212
|
+
counts.noteFallback += 1;
|
|
213
|
+
}
|
|
143
214
|
}
|
|
144
215
|
catch {
|
|
145
216
|
// degrade-and-stop: leave unanchored; policy will BLOCK if required
|
|
146
217
|
}
|
|
147
218
|
}
|
|
148
219
|
}
|
|
220
|
+
return counts;
|
|
149
221
|
}
|
|
150
222
|
/**
|
|
151
223
|
* Evaluate the BUILD completion gate. When `ZELARI_STRICT_DONE` is enabled
|
|
@@ -154,7 +226,13 @@ export async function anchorSelectionEvidence(results, emit) {
|
|
|
154
226
|
*/
|
|
155
227
|
export async function evaluateStrictBuildGate(mode, options = {}) {
|
|
156
228
|
const gate = evaluateKrakenCompletionGate(mode);
|
|
157
|
-
|
|
229
|
+
// 2.1 T6: the native criteria pack is INDEPENDENT of Kraken selection —
|
|
230
|
+
// ZELARI_VERIFY_PACK=1 evaluates the pack even on turns that never ran
|
|
231
|
+
// kraken_select. Selection criteria join the same evaluation when present.
|
|
232
|
+
const strictOn = strictDoneEnabled(options.surface ?? 'kraken');
|
|
233
|
+
const nativeOn = nativePackEnabled(options.env ?? process.env);
|
|
234
|
+
const selectionAvailable = gate.selectionUsed && gate.total > 0;
|
|
235
|
+
if ((!selectionAvailable && !nativeOn) || (!strictOn && !nativeOn)) {
|
|
158
236
|
return {
|
|
159
237
|
gate,
|
|
160
238
|
strict: false,
|
|
@@ -166,9 +244,11 @@ export async function evaluateStrictBuildGate(mode, options = {}) {
|
|
|
166
244
|
: 'open',
|
|
167
245
|
};
|
|
168
246
|
}
|
|
169
|
-
const checks = krakenRequiredChecks();
|
|
170
|
-
const contract =
|
|
171
|
-
|
|
247
|
+
const checks = selectionAvailable ? krakenRequiredChecks() : [];
|
|
248
|
+
const contract = selectionAvailable
|
|
249
|
+
? krakenResultsToContract(checks, getKrakenCheckResults())
|
|
250
|
+
: { criteria: [], results: [] };
|
|
251
|
+
const anchoring = await anchorSelectionEvidence(contract.results, options.emit, getLastVerifyToolTrace() ?? undefined);
|
|
172
252
|
// F2: native criteria pack (opt-in) — real commands via the core engine.
|
|
173
253
|
// A pack failure degrades to the legacy contract only; it never un-blocks.
|
|
174
254
|
const native = await evaluateNativePack({
|
|
@@ -179,16 +259,34 @@ export async function evaluateStrictBuildGate(mode, options = {}) {
|
|
|
179
259
|
}).catch(() => null);
|
|
180
260
|
const allCriteria = [...contract.criteria, ...(native?.criteria ?? [])];
|
|
181
261
|
const allResults = [...contract.results, ...(native?.results ?? [])];
|
|
262
|
+
// Pack enabled but nothing bound (and no selection contract) → nothing to
|
|
263
|
+
// evaluate: stay non-strict rather than certify an empty PASS.
|
|
264
|
+
if (allCriteria.length === 0) {
|
|
265
|
+
return {
|
|
266
|
+
gate,
|
|
267
|
+
strict: false,
|
|
268
|
+
evaluation: null,
|
|
269
|
+
native,
|
|
270
|
+
results: allResults,
|
|
271
|
+
blocked: gate.blocked,
|
|
272
|
+
summary: gate.blocked
|
|
273
|
+
? `blocked: ${gate.failedChecks.length} failed, ${gate.unknownChecks.length} unknown`
|
|
274
|
+
: 'open (native pack bound no command)',
|
|
275
|
+
};
|
|
276
|
+
}
|
|
182
277
|
const evaluation = evaluateCompletion(allCriteria, allResults, STRICT_BUILD_POLICY);
|
|
183
278
|
const blocked = gate.blocked || evaluation.verdict !== 'PASS';
|
|
279
|
+
const legacyPart = selectionAvailable ? `${gate.passed}/${gate.total} legacy-pass, ` : 'no selection contract, ';
|
|
184
280
|
return {
|
|
185
281
|
gate,
|
|
186
282
|
strict: true,
|
|
283
|
+
results: allResults,
|
|
284
|
+
anchoring,
|
|
187
285
|
evaluation,
|
|
188
286
|
native,
|
|
189
287
|
blocked,
|
|
190
288
|
summary: blocked
|
|
191
|
-
? `blocked (strict ${evaluation?.verdict ?? 'n/a'}): ${
|
|
289
|
+
? `blocked (strict ${evaluation?.verdict ?? 'n/a'}): ${legacyPart}evidence ${evaluation?.evidenceComplete ? 'complete' : 'incomplete'}`
|
|
192
290
|
: `open (strict PASS): ${evaluation?.satisfied.length ?? 0}/${allCriteria.length} criteria pass with evidence`,
|
|
193
291
|
};
|
|
194
292
|
}
|
|
@@ -219,6 +317,7 @@ export function strictGateEventPayload(evaluation) {
|
|
|
219
317
|
satisfied: evaluation.evaluation.satisfied,
|
|
220
318
|
unsatisfied: evaluation.evaluation.unsatisfied,
|
|
221
319
|
complete: evaluation.evaluation.evidenceComplete,
|
|
320
|
+
provenance: evaluation.anchoring ?? null,
|
|
222
321
|
}
|
|
223
322
|
: null,
|
|
224
323
|
// F2: deterministic pack results — real command evidence, replayable.
|
|
@@ -234,6 +333,18 @@ export function strictGateEventPayload(evaluation) {
|
|
|
234
333
|
})),
|
|
235
334
|
}
|
|
236
335
|
: null,
|
|
336
|
+
// 2.1 T4: advisory verifier review (opt-in) — informational, never
|
|
337
|
+
// authoritative: verdict/blocked above come from the deterministic policy.
|
|
338
|
+
verifier: evaluation.review
|
|
339
|
+
? {
|
|
340
|
+
verdict: evaluation.review.verdict,
|
|
341
|
+
score: evaluation.review.score ?? null,
|
|
342
|
+
rationale: evaluation.review.rationale ?? null,
|
|
343
|
+
fallback: evaluation.review.fallback ?? null,
|
|
344
|
+
effectiveModel: evaluation.review.effectiveModel,
|
|
345
|
+
advisory: true,
|
|
346
|
+
}
|
|
347
|
+
: null,
|
|
237
348
|
summary: evaluation.summary,
|
|
238
349
|
};
|
|
239
350
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verificationBridge.js","sourceRoot":"","sources":["../../../src/cli/kraken/verificationBridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,4BAA4B,EAA6B,MAAM,qBAAqB,CAAC;AAE9F,OAAO,EAAE,kBAAkB,EAA6B,MAAM,yBAAyB,CAAC;AAGxF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EAEnB,8BAA8B,GAK/B,MAAM,2BAA2B,CAAC;AASnC,MAAM,UAAU,iBAAiB,CAAC,UAA6B,QAAQ;IACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAC5C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,CAAC;AACnC,CAAC;AAOD,8EAA8E;AAC9E,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,MAAM,IAAI,GAAG,KAAK;SACf,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,OAAO,SAAS,KAAK,GAAG,CAAC,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAClB,KAAa,EACb,YAA4C;IAE5C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,cAAiC,EACjC,OAA4C,EAC5C,MAAc,IAAI,CAAC,GAAG,EAAE;IAExB,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,OAAO,IAAI,EAAE;QAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;IAC/F,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,aAAa,GAAyB,EAAE,CAAC;IAC/C,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,kBAAkB;YAC1B,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oCAAoC,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAClD,MAAM,QAAQ,GACZ,QAAQ,EAAE,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAC/C,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBACvC,UAAU,EAAE,GAAG;iBAChB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACT,aAAa,CAAC,IAAI,CAAC;YACjB,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,SAAS;YACrC,MAAM,EAAE,cAAc;YACtB,QAAQ;YACR,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC;YACb,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;AAC9C,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAA6B,EAC7B,IAAqD;IAErD,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC5B,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YAChE,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC;oBAC1B,IAAI,EAAE,uBAAuB;oBAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE;oBAC/C,IAAI,EAAE;wBACJ,WAAW,EAAE,oBAAoB;wBACjC,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,GAAG,EAAE,EAAE,CAAC,GAAG;wBACX,IAAI,EAAE,EAAE,CAAC,IAAI;qBACd;iBACF,CAAC,CAAC;gBACH,MAAM,GAAG,GACP,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,IAAI,QAAQ;oBAC3D,CAAC,CAAC,MAAM,CAAE,QAA6B,CAAC,GAAG,CAAC;oBAC5C,CAAC,CAAC,GAAG,CAAC;gBACV,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;oBAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC;YACpD,CAAC;YAAC,MAAM,CAAC;gBACP,oEAAoE;YACtE,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AA0CD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,UAA6B,EAAE;IAE/B,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC;QAC/F,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACnB,CAAC,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,MAAM,YAAY,IAAI,CAAC,aAAa,CAAC,MAAM,UAAU;gBACrF,CAAC,CAAC,MAAM;SACX,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC1E,MAAM,uBAAuB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC;QACtC,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC,CAAC,KAAK,CAAC,GAAS,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,kBAAkB,CAAC,WAAW,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC;IAC9D,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,IAAI;QACZ,UAAU;QACV,MAAM;QACN,OAAO;QACP,OAAO,EAAE,OAAO;YACd,CAAC,CAAC,mBAAmB,UAAU,EAAE,OAAO,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,0BAC5E,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAC9C,EAAE;YACJ,CAAC,CAAC,uBAAuB,UAAU,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,WAAW,CAAC,MAAM,8BAA8B;KACjH,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,UAAqC;IACtE,OAAO,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,UAAqC;IAC1E,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,iCAAiC;QAC/G,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,UAAU,CAAC,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QACpF,MAAM,EAAE;YACN,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK;YAC5B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;YAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,YAAY;YACpC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,aAAa;SACvC;QACD,QAAQ,EAAE,UAAU,CAAC,UAAU;YAC7B,CAAC,CAAC;gBACE,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,SAAS;gBAC1C,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC,WAAW;gBAC9C,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,gBAAgB;aACjD;YACH,CAAC,CAAC,IAAI;QACR,sEAAsE;QACtE,MAAM,EAAE,UAAU,CAAC,MAAM;YACvB,CAAC,CAAC;gBACE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;gBAChC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACrF,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC7C,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBACjI,MAAM,EAAE,CAAC,CAAC,MAAM;iBACjB,CAAC,CAAC;aACJ;YACH,CAAC,CAAC,IAAI;QACR,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kCAAkC,CAChD,IAAsB,EACtB,QAA+C;IAE/C,iEAAiE;IACjE,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,8BAA8B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IACnE,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,UAAU,KAAK,IAAI;QAC3B,UAAU;QACV,MAAM,EAAE,IAAI,EAAE,6DAA6D;QAC3E,OAAO;QACP,OAAO,EAAE,UAAU;YACjB,CAAC,CAAC,OAAO;gBACP,CAAC,CAAC,mBAAmB,UAAU,CAAC,OAAO,yBAAyB,QAAQ,EAAE,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE;gBACvG,CAAC,CAAC,0CAA0C,QAAQ,EAAE,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE;YACrF,CAAC,CAAC,qDAAqD;KAC1D,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"verificationBridge.js","sourceRoot":"","sources":["../../../src/cli/kraken/verificationBridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC7G,OAAO,EAAE,4BAA4B,EAA6B,MAAM,qBAAqB,CAAC;AAE9F,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAA6B,MAAM,yBAAyB,CAAC;AAG3G,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EAEnB,8BAA8B,GAM/B,MAAM,2BAA2B,CAAC;AASnC,MAAM,UAAU,iBAAiB,CAAC,UAA6B,QAAQ;IACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAC5C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,CAAC;AACnC,CAAC;AAOD,8EAA8E;AAC9E,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,MAAM,IAAI,GAAG,KAAK;SACf,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,OAAO,SAAS,KAAK,GAAG,CAAC,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAClB,KAAa,EACb,YAA4C;IAE5C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,cAAiC,EACjC,OAA4C,EAC5C,MAAc,IAAI,CAAC,GAAG,EAAE;IAExB,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,OAAO,IAAI,EAAE;QAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;IAC/F,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,aAAa,GAAyB,EAAE,CAAC;IAC/C,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,kBAAkB;YAC1B,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oCAAoC,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAClD,MAAM,QAAQ,GACZ,QAAQ,EAAE,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAC/C,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBACvC,UAAU,EAAE,GAAG;iBAChB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACT,aAAa,CAAC,IAAI,CAAC;YACjB,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,SAAS;YACrC,MAAM,EAAE,cAAc;YACtB,QAAQ;YACR,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC;YACb,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;AAC9C,CAAC;AAgBD,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,KAAmC;IAEnC,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACpB,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAA6B,EAC7B,IAAqD,EACrD,SAAwC;IAExC,MAAM,MAAM,GAA4B,EAAE,kBAAkB,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACnF,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC5B,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YAChE,IAAI,CAAC;gBACH,mEAAmE;gBACnE,qEAAqE;gBACrE,iEAAiE;gBACjE,MAAM,KAAK,GACT,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACrF,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBACvC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC;wBAC1B,IAAI,EAAE,uBAAuB;wBAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC/C,IAAI,EAAE;4BACJ,WAAW,EAAE,aAAa;4BAC1B,UAAU,EAAE,uBAAuB;4BACnC,WAAW,EAAE,CAAC,CAAC,WAAW;4BAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,MAAM,EAAE,KAAK,CAAC,MAAM;4BACpB,EAAE,EAAE,KAAK,CAAC,EAAE;4BACZ,MAAM;4BACN,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;4BACtC,IAAI,EAAE,EAAE,CAAC,GAAG;4BACZ,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACrD;qBACF,CAAC,CAAC;oBACH,MAAM,OAAO,GACX,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,IAAI,QAAQ;wBAC3D,CAAC,CAAC,MAAM,CAAE,QAA6B,CAAC,GAAG,CAAC;wBAC5C,CAAC,CAAC,GAAG,CAAC;oBACV,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;wBAC5C,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC;wBACjB,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC;wBACnB,EAAE,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC;wBACxG,MAAM,CAAC,kBAAkB,IAAI,CAAC,CAAC;oBACjC,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,qEAAqE;gBACrE,oEAAoE;gBACpE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC;oBAC1B,IAAI,EAAE,uBAAuB;oBAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE;oBAC/C,IAAI,EAAE;wBACJ,WAAW,EAAE,oBAAoB;wBACjC,UAAU,EAAE,eAAe;wBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,GAAG,EAAE,EAAE,CAAC,GAAG;wBACX,IAAI,EAAE,EAAE,CAAC,IAAI;qBACd;iBACF,CAAC,CAAC;gBACH,MAAM,GAAG,GACP,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,IAAI,QAAQ;oBAC3D,CAAC,CAAC,MAAM,CAAE,QAA6B,CAAC,GAAG,CAAC;oBAC5C,CAAC,CAAC,GAAG,CAAC;gBACV,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;oBACpC,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC;oBACb,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,oEAAoE;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AA2DD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,UAA6B,EAAE;IAE/B,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,wEAAwE;IACxE,uEAAuE;IACvE,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,CAAC,kBAAkB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACnB,CAAC,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,MAAM,YAAY,IAAI,CAAC,aAAa,CAAC,MAAM,UAAU;gBACrF,CAAC,CAAC,MAAM;SACX,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,MAAM,QAAQ,GAAG,kBAAkB;QACjC,CAAC,CAAC,uBAAuB,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC;QAC1D,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,MAAM,uBAAuB,CAC7C,QAAQ,CAAC,OAAO,EAChB,OAAO,CAAC,IAAI,EACZ,sBAAsB,EAAE,IAAI,SAAS,CACtC,CAAC;IACF,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC;QACtC,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC,CAAC,KAAK,CAAC,GAAS,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACrE,0EAA0E;IAC1E,+DAA+D;IAC/D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,MAAM;YACN,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACnB,CAAC,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,MAAM,YAAY,IAAI,CAAC,aAAa,CAAC,MAAM,UAAU;gBACrF,CAAC,CAAC,qCAAqC;SAC1C,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,WAAW,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC;IAC9D,MAAM,UAAU,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,yBAAyB,CAAC;IACjH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,UAAU;QACnB,SAAS;QACT,UAAU;QACV,MAAM;QACN,OAAO;QACP,OAAO,EAAE,OAAO;YACd,CAAC,CAAC,mBAAmB,UAAU,EAAE,OAAO,IAAI,KAAK,MAAM,UAAU,YAC7D,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAC9C,EAAE;YACJ,CAAC,CAAC,uBAAuB,UAAU,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,WAAW,CAAC,MAAM,8BAA8B;KACjH,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,UAAqC;IACtE,OAAO,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,UAAqC;IAC1E,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,iCAAiC;QAC/G,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,UAAU,CAAC,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QACpF,MAAM,EAAE;YACN,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK;YAC5B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;YAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,YAAY;YACpC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,aAAa;SACvC;QACD,QAAQ,EAAE,UAAU,CAAC,UAAU;YAC7B,CAAC,CAAC;gBACE,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,SAAS;gBAC1C,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC,WAAW;gBAC9C,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,gBAAgB;gBAChD,UAAU,EAAE,UAAU,CAAC,SAAS,IAAI,IAAI;aACzC;YACH,CAAC,CAAC,IAAI;QACR,sEAAsE;QACtE,MAAM,EAAE,UAAU,CAAC,MAAM;YACvB,CAAC,CAAC;gBACE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;gBAChC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACrF,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC7C,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBACjI,MAAM,EAAE,CAAC,CAAC,MAAM;iBACjB,CAAC,CAAC;aACJ;YACH,CAAC,CAAC,IAAI;QACR,mEAAmE;QACnE,2EAA2E;QAC3E,QAAQ,EAAE,UAAU,CAAC,MAAM;YACzB,CAAC,CAAC;gBACE,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO;gBAClC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI;gBACtC,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS,IAAI,IAAI;gBAC9C,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,IAAI,IAAI;gBAC5C,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,cAAc;gBAChD,QAAQ,EAAE,IAAI;aACf;YACH,CAAC,CAAC,IAAI;QACR,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kCAAkC,CAChD,IAAsB,EACtB,QAA+C;IAE/C,iEAAiE;IACjE,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,8BAA8B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IACnE,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,UAAU,KAAK,IAAI;QAC3B,UAAU;QACV,MAAM,EAAE,IAAI,EAAE,6DAA6D;QAC3E,OAAO;QACP,OAAO,EAAE,UAAU;YACjB,CAAC,CAAC,OAAO;gBACP,CAAC,CAAC,mBAAmB,UAAU,CAAC,OAAO,yBAAyB,QAAQ,EAAE,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE;gBACvG,CAAC,CAAC,0CAA0C,QAAQ,EAAE,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE;YACrF,CAAC,CAAC,qDAAqD;KAC1D,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,88 @@
|
|
|
1
|
+
import { VerifierService, } from '@zelari/core/verification';
|
|
2
|
+
import { collectProviderText } from '../tools/krakenSelectTool.js';
|
|
3
|
+
import { loadVerifierModelSelection } from './verifierResolution.js';
|
|
4
|
+
/**
|
|
5
|
+
* Opt-in rule (see module doc): explicit env wins in both directions;
|
|
6
|
+
* otherwise a dedicated (fixed) verifier selection enables the review.
|
|
7
|
+
*/
|
|
8
|
+
export function verifierReviewEnabled(selection = loadVerifierModelSelection(), env = process.env) {
|
|
9
|
+
const v = env.ZELARI_VERIFIER_REVIEW?.toLowerCase();
|
|
10
|
+
if (v === '0' || v === 'false' || v === 'off')
|
|
11
|
+
return false;
|
|
12
|
+
if (v === '1' || v === 'true' || v === 'on')
|
|
13
|
+
return true;
|
|
14
|
+
return selection.mode === 'fixed';
|
|
15
|
+
}
|
|
16
|
+
/**
|
|
17
|
+
* Adapt a provider stream factory into the VerifierModelCaller seam.
|
|
18
|
+
* `loadStream` receives the EFFECTIVE identity (fixed override, or the run
|
|
19
|
+
* parent when inherit) so a dedicated verifier can live on another provider.
|
|
20
|
+
*/
|
|
21
|
+
export function makeVerifierCallModel(loadStream, identity, timeoutMs = 120_000) {
|
|
22
|
+
return async ({ system, user }) => {
|
|
23
|
+
const stream = await loadStream(identity.provider, identity.model);
|
|
24
|
+
if (!stream) {
|
|
25
|
+
throw new Error(`no provider config for verifier "${identity.provider}"`);
|
|
26
|
+
}
|
|
27
|
+
const { text } = await collectProviderText(stream, {
|
|
28
|
+
messages: [
|
|
29
|
+
{ role: 'system', content: system },
|
|
30
|
+
{ role: 'user', content: user },
|
|
31
|
+
],
|
|
32
|
+
model: identity.model,
|
|
33
|
+
provider: identity.provider,
|
|
34
|
+
tools: [],
|
|
35
|
+
signal: AbortSignal.timeout(timeoutMs),
|
|
36
|
+
});
|
|
37
|
+
return { text, provider: identity.provider, model: identity.model };
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
function resolveIdentity(selection, session) {
|
|
41
|
+
if (selection.mode === 'fixed') {
|
|
42
|
+
return { provider: selection.provider, model: selection.model };
|
|
43
|
+
}
|
|
44
|
+
return session && session.provider && session.model ? session : null;
|
|
45
|
+
}
|
|
46
|
+
/**
|
|
47
|
+
* Run the advisory completion review and ATTACH it to the evaluation
|
|
48
|
+
* (`evaluation.review`). Returns null when disabled or not applicable (no
|
|
49
|
+
* strict evidence ran this turn). Never mutates verdict/blocked — advisory
|
|
50
|
+
* by construction; failures degrade inside VerifierService.
|
|
51
|
+
*/
|
|
52
|
+
export async function runAdvisoryVerifierReview(evaluation, deps = {}) {
|
|
53
|
+
if (!evaluation.evaluation || !evaluation.results)
|
|
54
|
+
return null;
|
|
55
|
+
const env = deps.env ?? process.env;
|
|
56
|
+
const selection = deps.selection ?? loadVerifierModelSelection();
|
|
57
|
+
if (!verifierReviewEnabled(selection, env))
|
|
58
|
+
return null;
|
|
59
|
+
const identity = resolveIdentity(selection, deps.session);
|
|
60
|
+
let callModel = deps.callModel;
|
|
61
|
+
if (!callModel) {
|
|
62
|
+
if (!identity || !deps.loadStream)
|
|
63
|
+
return null;
|
|
64
|
+
callModel = makeVerifierCallModel(deps.loadStream, identity, deps.timeoutMs);
|
|
65
|
+
}
|
|
66
|
+
const service = new VerifierService({
|
|
67
|
+
callModel,
|
|
68
|
+
config: {
|
|
69
|
+
enabled: true,
|
|
70
|
+
model: selection,
|
|
71
|
+
progressScoring: false,
|
|
72
|
+
bon: { enabled: false, n: 3 },
|
|
73
|
+
},
|
|
74
|
+
emit: deps.emit,
|
|
75
|
+
env,
|
|
76
|
+
});
|
|
77
|
+
const passed = evaluation.results.filter((r) => r.status === 'pass').length;
|
|
78
|
+
const summary = `Kraken BUILD turn — deterministic evidence: ${passed}/${evaluation.results.length} ` +
|
|
79
|
+
`criteria pass, completion verdict ${evaluation.evaluation.verdict}.`;
|
|
80
|
+
const review = await service.reviewCompletion({
|
|
81
|
+
summary,
|
|
82
|
+
results: evaluation.results,
|
|
83
|
+
session: deps.session,
|
|
84
|
+
});
|
|
85
|
+
evaluation.review = review;
|
|
86
|
+
return review;
|
|
87
|
+
}
|
|
88
|
+
//# sourceMappingURL=verifierLifecycle.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verifierLifecycle.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifierLifecycle.ts"],"names":[],"mappings":"AA+BA,OAAO,EACL,eAAe,GAIhB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAWrE;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,YAA4B,0BAA0B,EAAE,EACxD,MAAW,OAAO,CAAC,GAAG;IAEtB,MAAM,CAAC,GAAG,GAAG,CAAC,sBAAsB,EAAE,WAAW,EAAE,CAAC;IACpD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC5D,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACzD,OAAO,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC;AACpC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAiF,EACjF,QAA0B,EAC1B,YAAoB,OAAO;IAE3B,OAAO,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QAChC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,mBAAmB,CAAC,MAAM,EAAE;YACjD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE;gBACnC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;aAChC;YACD,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC;SACvC,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;IACtE,CAAC,CAAC;AACJ,CAAC;AAmBD,SAAS,eAAe,CACtB,SAAyB,EACzB,OAA0B;IAE1B,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,OAAO,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,UAAqC,EACrC,OAA2B,EAAE;IAE7B,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,0BAA0B,EAAE,CAAC;IACjE,IAAI,CAAC,qBAAqB,CAAC,SAAS,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,IAAI,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAC/C,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,eAAe,CAAC;QAClC,SAAS;QACT,MAAM,EAAE;YACN,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,SAAS;YAChB,eAAe,EAAE,KAAK;YACtB,GAAG,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;SAC9B;QACD,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,OAAO,GACX,+CAA+C,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG;QACrF,qCAAqC,UAAU,CAAC,UAAU,CAAC,OAAO,GAAG,CAAC;IACxE,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC;QAC5C,OAAO;QACP,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC,CAAC;IACH,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC;IAC3B,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -0,0 +1,181 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* verifierLifecycle tests — 2.1 T4: the core VerifierService joins the normal
|
|
3
|
+
* headless lifecycle as an OPT-IN advisory pass.
|
|
4
|
+
*
|
|
5
|
+
* Locks:
|
|
6
|
+
* - opt-in rule: default (inherit, no env) OFF; fixed selection ON;
|
|
7
|
+
* ZELARI_VERIFIER_REVIEW=1 ON; =0 forces OFF even with a fixed override;
|
|
8
|
+
* - disabled → no review attached, evaluation untouched;
|
|
9
|
+
* - enabled → review attached and serialized in the verification.run payload
|
|
10
|
+
* (verifier.advisory = true) + its own spine event (source verifier-model);
|
|
11
|
+
* - ADVISORY ONLY at lifecycle level: a REJECTED review cannot block a PASS
|
|
12
|
+
* evaluation, a CONFIRMED review cannot un-block a REPAIR_REQUIRED one;
|
|
13
|
+
* - a failing verifier call degrades (declared discrete fallback) and never
|
|
14
|
+
* throws into the parent turn.
|
|
15
|
+
*/
|
|
16
|
+
import { afterEach, beforeEach, describe, expect, it } from 'vitest';
|
|
17
|
+
import { runAdvisoryVerifierReview, verifierReviewEnabled } from './verifierLifecycle.js';
|
|
18
|
+
import { evaluateStrictBuildGate, strictGateEventPayload, } from './verificationBridge.js';
|
|
19
|
+
import { resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection } from './candidateRegistry.js';
|
|
20
|
+
const CHECK = 'session survives concurrent refresh';
|
|
21
|
+
function emitSeq() {
|
|
22
|
+
let n = 1;
|
|
23
|
+
const events = [];
|
|
24
|
+
return async (input) => {
|
|
25
|
+
events.push(input);
|
|
26
|
+
void events;
|
|
27
|
+
return { seq: n++ };
|
|
28
|
+
};
|
|
29
|
+
}
|
|
30
|
+
/** Spine emitter that records every appended event (for review-event asserts). */
|
|
31
|
+
function recordingEmit() {
|
|
32
|
+
const events = [];
|
|
33
|
+
let n = 1;
|
|
34
|
+
return {
|
|
35
|
+
events,
|
|
36
|
+
emit: async (input) => {
|
|
37
|
+
events.push(input);
|
|
38
|
+
return { seq: n++ };
|
|
39
|
+
},
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
function selectWithChecks(checks) {
|
|
43
|
+
resetKrakenCandidates();
|
|
44
|
+
setKrakenSelection({
|
|
45
|
+
status: 'selected',
|
|
46
|
+
winnerIndex: 0,
|
|
47
|
+
rationale: 'test',
|
|
48
|
+
requiredChecks: checks,
|
|
49
|
+
degraded: false,
|
|
50
|
+
verifier: null,
|
|
51
|
+
judgedBy: 'llm',
|
|
52
|
+
});
|
|
53
|
+
}
|
|
54
|
+
async function evaluatedGate(status, emit) {
|
|
55
|
+
selectWithChecks([CHECK]);
|
|
56
|
+
setKrakenCheckResults([{ check: CHECK, status, note: 'vitest 58/58' }]);
|
|
57
|
+
return evaluateStrictBuildGate('build', { env: {}, ...(emit ? { emit: emit } : {}) });
|
|
58
|
+
}
|
|
59
|
+
function stubCaller(text) {
|
|
60
|
+
return async () => ({ text, provider: 'grok', model: 'verifier-x' });
|
|
61
|
+
}
|
|
62
|
+
let envPrev;
|
|
63
|
+
beforeEach(() => {
|
|
64
|
+
envPrev = process.env.ZELARI_STRICT_DONE;
|
|
65
|
+
process.env.ZELARI_STRICT_DONE = '1';
|
|
66
|
+
resetKrakenCandidates();
|
|
67
|
+
});
|
|
68
|
+
afterEach(() => {
|
|
69
|
+
if (envPrev === undefined)
|
|
70
|
+
delete process.env.ZELARI_STRICT_DONE;
|
|
71
|
+
else
|
|
72
|
+
process.env.ZELARI_STRICT_DONE = envPrev;
|
|
73
|
+
resetKrakenCandidates();
|
|
74
|
+
});
|
|
75
|
+
describe('verifierReviewEnabled (opt-in rule)', () => {
|
|
76
|
+
const inherit = { mode: 'inherit' };
|
|
77
|
+
const fixed = { mode: 'fixed', provider: 'grok', model: 'verifier-x' };
|
|
78
|
+
it('default (inherit, no env) is OFF — zero baseline cost', () => {
|
|
79
|
+
expect(verifierReviewEnabled(inherit, {})).toBe(false);
|
|
80
|
+
});
|
|
81
|
+
it('a dedicated (fixed) verifier enables the review', () => {
|
|
82
|
+
expect(verifierReviewEnabled(fixed, {})).toBe(true);
|
|
83
|
+
});
|
|
84
|
+
it('ZELARI_VERIFIER_REVIEW=1 enables it even on inherit', () => {
|
|
85
|
+
expect(verifierReviewEnabled(inherit, { ZELARI_VERIFIER_REVIEW: '1' })).toBe(true);
|
|
86
|
+
expect(verifierReviewEnabled(inherit, { ZELARI_VERIFIER_REVIEW: 'true' })).toBe(true);
|
|
87
|
+
});
|
|
88
|
+
it('ZELARI_VERIFIER_REVIEW=0 forces OFF even with a fixed override', () => {
|
|
89
|
+
expect(verifierReviewEnabled(fixed, { ZELARI_VERIFIER_REVIEW: '0' })).toBe(false);
|
|
90
|
+
expect(verifierReviewEnabled(fixed, { ZELARI_VERIFIER_REVIEW: 'off' })).toBe(false);
|
|
91
|
+
});
|
|
92
|
+
});
|
|
93
|
+
describe('runAdvisoryVerifierReview', () => {
|
|
94
|
+
it('disabled → returns null and leaves the evaluation untouched', async () => {
|
|
95
|
+
const gate = await evaluatedGate('pass', emitSeq());
|
|
96
|
+
const review = await runAdvisoryVerifierReview(gate, {
|
|
97
|
+
env: {},
|
|
98
|
+
selection: { mode: 'inherit' },
|
|
99
|
+
callModel: stubCaller('{"verdict":"confirmed"}'),
|
|
100
|
+
});
|
|
101
|
+
expect(review).toBeNull();
|
|
102
|
+
expect(gate.review).toBeUndefined();
|
|
103
|
+
expect(strictGateEventPayload(gate).verifier).toBeNull();
|
|
104
|
+
});
|
|
105
|
+
it('enabled → attaches the review and serializes it as advisory in the payload', async () => {
|
|
106
|
+
const spine = recordingEmit();
|
|
107
|
+
const gate = await evaluatedGate('pass', spine.emit);
|
|
108
|
+
const review = await runAdvisoryVerifierReview(gate, {
|
|
109
|
+
env: {},
|
|
110
|
+
selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
|
|
111
|
+
callModel: stubCaller('{"verdict":"confirmed","score":0.9,"rationale":"ok"}'),
|
|
112
|
+
emit: spine.emit,
|
|
113
|
+
});
|
|
114
|
+
expect(review).not.toBeNull();
|
|
115
|
+
expect(review?.verdict).toBe('confirmed');
|
|
116
|
+
expect(gate.review?.verdict).toBe('confirmed');
|
|
117
|
+
const payload = strictGateEventPayload(gate);
|
|
118
|
+
expect(payload.verifier).toMatchObject({ verdict: 'confirmed', advisory: true });
|
|
119
|
+
// Its own spine event, source-tagged verifier-model (VerifierService.emitReview).
|
|
120
|
+
const reviewEvents = spine.events.filter((e) => e.data?.source === 'verifier-model');
|
|
121
|
+
expect(reviewEvents.length).toBe(1);
|
|
122
|
+
});
|
|
123
|
+
it('ADVISORY LOCK: a REJECTED review cannot block a PASS evaluation', async () => {
|
|
124
|
+
const gate = await evaluatedGate('pass', emitSeq());
|
|
125
|
+
await runAdvisoryVerifierReview(gate, {
|
|
126
|
+
env: {},
|
|
127
|
+
selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
|
|
128
|
+
callModel: stubCaller('{"verdict":"rejected","rationale":"suspicious"}'),
|
|
129
|
+
});
|
|
130
|
+
expect(gate.review?.verdict).toBe('rejected');
|
|
131
|
+
expect(gate.blocked).toBe(false);
|
|
132
|
+
const payload = strictGateEventPayload(gate);
|
|
133
|
+
expect(payload.verdict).not.toBe('BLOCKED');
|
|
134
|
+
expect(payload.verifier?.verdict).toBe('rejected');
|
|
135
|
+
});
|
|
136
|
+
it('ADVISORY LOCK: a CONFIRMED review cannot un-block a failing evaluation', async () => {
|
|
137
|
+
const gate = await evaluatedGate('fail', emitSeq());
|
|
138
|
+
expect(gate.blocked).toBe(true);
|
|
139
|
+
await runAdvisoryVerifierReview(gate, {
|
|
140
|
+
env: {},
|
|
141
|
+
selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
|
|
142
|
+
callModel: stubCaller('{"verdict":"confirmed"}'),
|
|
143
|
+
});
|
|
144
|
+
// VerifierService itself downgrades confirm-on-failed-deterministic…
|
|
145
|
+
expect(gate.review?.verdict).toBe('unknown');
|
|
146
|
+
// …and the lifecycle keeps the deterministic verdict either way.
|
|
147
|
+
expect(gate.blocked).toBe(true);
|
|
148
|
+
expect(gate.evaluation?.verdict).toBe('REPAIR_REQUIRED');
|
|
149
|
+
});
|
|
150
|
+
it('a failing verifier call degrades (declared fallback) and never throws', async () => {
|
|
151
|
+
const gate = await evaluatedGate('pass', emitSeq());
|
|
152
|
+
const boom = async () => {
|
|
153
|
+
throw new Error('provider 503');
|
|
154
|
+
};
|
|
155
|
+
const review = await runAdvisoryVerifierReview(gate, {
|
|
156
|
+
env: {},
|
|
157
|
+
selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
|
|
158
|
+
callModel: boom,
|
|
159
|
+
});
|
|
160
|
+
expect(review?.verdict).toBe('unknown');
|
|
161
|
+
expect(review?.fallback).toBe('discrete');
|
|
162
|
+
expect(gate.blocked).toBe(false);
|
|
163
|
+
});
|
|
164
|
+
it('skips turns without strict evidence (nothing to review)', async () => {
|
|
165
|
+
const gate = {
|
|
166
|
+
gate: { selectionUsed: false, total: 0, passed: 0, failedChecks: [], unknownChecks: [], blocked: false },
|
|
167
|
+
strict: false,
|
|
168
|
+
evaluation: null,
|
|
169
|
+
native: null,
|
|
170
|
+
blocked: false,
|
|
171
|
+
summary: 'open',
|
|
172
|
+
};
|
|
173
|
+
const review = await runAdvisoryVerifierReview(gate, {
|
|
174
|
+
env: {},
|
|
175
|
+
selection: { mode: 'fixed', provider: 'grok', model: 'verifier-x' },
|
|
176
|
+
callModel: stubCaller('{"verdict":"confirmed"}'),
|
|
177
|
+
});
|
|
178
|
+
expect(review).toBeNull();
|
|
179
|
+
});
|
|
180
|
+
});
|
|
181
|
+
//# sourceMappingURL=verifierLifecycle.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verifierLifecycle.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifierLifecycle.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC1F,OAAO,EACL,uBAAuB,EACvB,sBAAsB,GAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE1G,MAAM,KAAK,GAAG,qCAAqC,CAAC;AAEpD,SAAS,OAAO;IACd,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,OAAO,KAAK,EAAE,KAAc,EAAE,EAAE;QAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa;IAIpB,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO;QACL,MAAM;QACN,IAAI,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;YAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACtB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAgB;IACxC,qBAAqB,EAAE,CAAC;IACxB,kBAAkB,CAAC;QACjB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,MAAM;QACjB,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,MAAuB,EAAE,IAAmD;IACvG,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1B,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IACxE,OAAO,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,IAAI,OAA2B,CAAC;AAChC,UAAU,CAAC,GAAG,EAAE;IACd,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,GAAG,CAAC;IACrC,qBAAqB,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;AACH,SAAS,CAAC,GAAG,EAAE;IACb,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;;QAC5D,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,OAAO,CAAC;IAC9C,qBAAqB,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IAEhF,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC9B,SAAS,EAAE,UAAU,CAAC,yBAAyB,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;QACpC,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,sDAAsD,CAAC;YAC7E,IAAI,EAAE,KAAK,CAAC,IAAa;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACjF,kFAAkF;QAClF,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAmD,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB,CAC9F,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACpC,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,iDAAiD,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,CAAE,OAAO,CAAC,QAAwC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACpC,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,yBAAyB,CAAC;SACjD,CAAC,CAAC;QACH,qEAAqE;QACrE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7C,iEAAiE;QACjE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,IAAI,GAAwB,KAAK,IAAI,EAAE;YAC3C,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,IAAI,GAA8B;YACtC,IAAI,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;YACxG,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,MAAM;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,UAAU,CAAC,yBAAyB,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verifyReport.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifyReport.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAoBH,MAAM,IAAI,GAAG,iBAAiB,CAAC;AAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC;AACjC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAEjF,sEAAsE;AACtE,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAW;IACnD,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM;QACxB,MAAM,KAAK,GAAa,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvE,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,IAAI,GAAG,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;iBACpD,IAAI,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;iBAC5D,IAAI,GAAG,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;QAC1E,CAAC;QACD,IAAI,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,GAAW,EACX,cAAiC;IAEjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,KAAK,GAAoB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC3D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,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,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;oBACrC,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;gBACL,KAAK;gBACL,MAAM,EAAE,SAAkB;gBAC1B,IAAI,EAAE,uCAAuC;aAC9C,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAsB,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAChE,CAAC,CAAE,KAAK,CAAC,MAA4B;YACrC,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;
|
|
1
|
+
{"version":3,"file":"verifyReport.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifyReport.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAoBH,MAAM,IAAI,GAAG,iBAAiB,CAAC;AAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC;AACjC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAEjF,sEAAsE;AACtE,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAW;IACnD,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM;QACxB,MAAM,KAAK,GAAa,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvE,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,IAAI,GAAG,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;iBACpD,IAAI,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;iBAC5D,IAAI,GAAG,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;QAC1E,CAAC;QACD,IAAI,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,GAAW,EACX,cAAiC;IAEjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,KAAK,GAAoB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC3D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,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,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;oBACrC,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;gBACL,KAAK;gBACL,MAAM,EAAE,SAAkB;gBAC1B,IAAI,EAAE,uCAAuC;aAC9C,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAsB,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAChE,CAAC,CAAE,KAAK,CAAC,MAA4B;YACrC,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;AAuBD;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,cAAiC,EACjC,MAAc;IAEd,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACpC,KAAK;QACL,MAAM,EAAE,SAAkB;QAC1B,IAAI,EAAE,MAAM;KACb,CAAC,CAAC,CAAC;AACN,CAAC"}
|