deepclause-sdk 0.0.87 → 0.0.89

package/README.md

@@ -1,5 +1,7 @@
 # DeepClause TUI Agent, CLI and SDK
 
+*Update (09/2026): Now also available as an extension for the pi coding agent: [https://github.com/deepclause/deepclause-pi](https://github.com/deepclause/deepclause-pi).*
+
 Compile markdown specs into executable logic programs. Guaranteed execution semantics for agentic workflows. Comes with a minimal coding agent incl. a nostalgic Borland-style TUI.
 
 ![docs/overview.png](docs/DeepClause_AI_Logic_Framework_Overview.png)

package/dist/index.d.ts

@@ -7,4 +7,6 @@
 export { createDeepClause } from './sdk.js';
 export type { CompactionAction, CompactionOptions, CompactionScope, CompactionTrigger, CompactorBinding, CompactorDefinition, CompactorSourceType, CreateOptions, DeepClauseSDK, LLMBackend, LLMBackendMessage, LLMBackendRequest, LLMBackendResponse, LLMBackendTool, LLMBackendToolCall, LLMUsage, MemoryMessage, RunOptions, CompileOptions, CompileResult, CompileTool, DMLEvent, TraceEntry, ToolDefinition, ToolPolicy } from './types.js';
 export { compileToDML, extractParameters, extractToolDependencies, extractDescription, validateWithProlog, analyzeDML, } from './compiler.js';
+export { createMockJudgeBackend, createMockJevJudgeBackend, createJevJudgeBackend, createLLMJudgeBackend, buildJudgePrompt, parseJudgeResponse, } from './judge/index.js';
+export type { JudgeAnswer, JudgeBackend, JudgeBackendRequest, JudgeBackendResponse, JudgeBasis, JudgeCapabilities, JudgeLevel, JudgeOption, JudgeQuestion, JudgeQuestionKind, JudgeSelection, JudgeUsage, JsonValue, JevJudgeBackendOptions, LLMJudgeBackendOptions, MockAnswerSource, MockJudgeBackendOptions, } from './judge/index.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,QAAQ,EACR,aAAa,EACb,UAAU,EACV,cAAc,EACd,aAAa,EACb,WAAW,EACX,QAAQ,EACR,UAAU,EACV,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,QAAQ,EACR,aAAa,EACb,UAAU,EACV,cAAc,EACd,aAAa,EACb,WAAW,EACX,QAAQ,EACR,UAAU,EACV,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,WAAW,EACX,YAAY,EACZ,mBAAmB,EACnB,oBAAoB,EACpB,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,UAAU,EACV,SAAS,EACT,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -7,4 +7,6 @@
 export { createDeepClause } from './sdk.js';
 // Compiler utilities — also available via the 'deepclause-sdk/compiler' subpath
 export { compileToDML, extractParameters, extractToolDependencies, extractDescription, validateWithProlog, analyzeDML, } from './compiler.js';
+// Judgment layer: generic judge primitives with pluggable backends
+export { createMockJudgeBackend, createMockJevJudgeBackend, createJevJudgeBackend, createLLMJudgeBackend, buildJudgePrompt, parseJudgeResponse, } from './judge/index.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AA6B5C,gFAAgF;AAChF,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AA6B5C,gFAAgF;AAChF,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC;AAEvB,mEAAmE;AACnE,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC"}

package/dist/judge/index.d.ts

@@ -0,0 +1,9 @@
+export * from './types.js';
+export { createMockJudgeBackend, createMockJevJudgeBackend } from './mock.js';
+export type { MockJudgeBackendOptions, MockAnswerSource } from './mock.js';
+export { createJevJudgeBackend } from './jev.js';
+export type { JevJudgeBackendOptions } from './jev.js';
+export { createLLMJudgeBackend, buildJudgePrompt, parseJudgeResponse } from './llm.js';
+export type { LLMJudgeBackendOptions } from './llm.js';
+export { normalizePrologValue, normalizeJudgeState, parseJudgeQuestions, validateJudgeAnswers, judgeAnswersToValues, valuesToPrologList, judgeCacheKey, } from './marshal.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/judge/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/judge/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,WAAW,CAAC;AAC9E,YAAY,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,YAAY,EAAE,sBAAsB,EAAE,MAAM,UAAU,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACvF,YAAY,EAAE,sBAAsB,EAAE,MAAM,UAAU,CAAC;AACvD,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,kBAAkB,EAClB,aAAa,GACd,MAAM,cAAc,CAAC"}

package/dist/judge/index.js

@@ -0,0 +1,6 @@
+export * from './types.js';
+export { createMockJudgeBackend, createMockJevJudgeBackend } from './mock.js';
+export { createJevJudgeBackend } from './jev.js';
+export { createLLMJudgeBackend, buildJudgePrompt, parseJudgeResponse } from './llm.js';
+export { normalizePrologValue, normalizeJudgeState, parseJudgeQuestions, validateJudgeAnswers, judgeAnswersToValues, valuesToPrologList, judgeCacheKey, } from './marshal.js';
+//# sourceMappingURL=index.js.map

package/dist/judge/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/judge/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,WAAW,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAEjD,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAEvF,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,kBAAkB,EAClB,aAAa,GACd,MAAM,cAAc,CAAC"}

package/dist/judge/jev.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Jev (TypeSafe System One) judge backend.
+ *
+ * Calls `POST /v1/systemone` with the explicit state and the typed questions,
+ * and maps the typed answers back to `JudgeAnswer`s. Calibration, full
+ * distributions, and confidence are available from this backend.
+ *
+ * The API key is supplied by the caller (for example, the pi extension reading
+ * it from an environment variable); the SDK never reads or stores credentials.
+ */
+import { type JudgeBackend } from './types.js';
+export interface JevJudgeBackendOptions {
+    apiKey?: string;
+    baseUrl?: string;
+    model?: string;
+    maxRetries?: number;
+    timeoutMs?: number;
+    fetch?: typeof fetch;
+}
+export declare function createJevJudgeBackend(options?: JevJudgeBackendOptions): JudgeBackend;
+//# sourceMappingURL=jev.d.ts.map

package/dist/judge/jev.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jev.d.ts","sourceRoot":"","sources":["../../src/judge/jev.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAEL,KAAK,YAAY,EAKlB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,sBAAsB;IACrC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC;CACtB;AAoJD,wBAAgB,qBAAqB,CAAC,OAAO,GAAE,sBAA2B,GAAG,YAAY,CA0ExF"}

package/dist/judge/jev.js

@@ -0,0 +1,218 @@
+/**
+ * Jev (TypeSafe System One) judge backend.
+ *
+ * Calls `POST /v1/systemone` with the explicit state and the typed questions,
+ * and maps the typed answers back to `JudgeAnswer`s. Calibration, full
+ * distributions, and confidence are available from this backend.
+ *
+ * The API key is supplied by the caller (for example, the pi extension reading
+ * it from an environment variable); the SDK never reads or stores credentials.
+ */
+const JEV_CAPABILITIES = {
+    calibrated: true,
+    probability: true,
+    confidence: true,
+    independentQuestions: true,
+    batch: true,
+    structuredCriteria: true,
+    maxQuestions: 128,
+    maxOptions: 255,
+    maxLevels: 10,
+    stateTokenBudget: 32_000,
+};
+function levelToText(level) {
+    if (level && typeof level === 'object' && !Array.isArray(level) && 'what' in level) {
+        return level;
+    }
+    return level;
+}
+function toJevQuestion(question) {
+    if (question.kind === 'choose') {
+        const criteria = {};
+        for (const option of question.options ?? [])
+            criteria[option.id] = option.description ?? null;
+        return { type: 'choice', instructions: question.instruction, criteria };
+    }
+    if (question.kind === 'rate') {
+        return {
+            type: 'score',
+            instructions: question.instruction,
+            criteria: (question.levels ?? []).map(levelToText),
+        };
+    }
+    const noul = { type: 'noul', instructions: question.instruction };
+    if (question.criteria) {
+        noul.criteria = {
+            true: question.criteria.true ?? null,
+            false: question.criteria.false ?? null,
+        };
+    }
+    return noul;
+}
+function distributionForQuestion(question, probabilities) {
+    if (!probabilities)
+        return undefined;
+    if (question.kind === 'choose') {
+        const optionIds = (question.options ?? []).map((option) => option.id);
+        return optionIds.map((id) => Number(probabilities[id] ?? 0));
+    }
+    if (question.kind === 'rate') {
+        const count = (question.levels ?? []).length;
+        return Array.from({ length: count }, (_, index) => Number(probabilities[String(index)] ?? 0));
+    }
+    return undefined;
+}
+function levelLabel(question, index) {
+    const level = question.levels?.[index];
+    if (typeof level === 'string')
+        return level;
+    if (typeof level === 'number' || typeof level === 'boolean')
+        return String(level);
+    if (level && typeof level === 'object' && typeof level.what === 'string') {
+        return level.what;
+    }
+    return `level_${index}`;
+}
+function argmax(values) {
+    let best = 0;
+    for (let index = 1; index < values.length; index++) {
+        if ((values[index] ?? 0) > (values[best] ?? 0))
+            best = index;
+    }
+    return best;
+}
+function fromJevAnswer(question, raw) {
+    const distribution = distributionForQuestion(question, raw.probabilities);
+    if (question.kind === 'choose') {
+        return {
+            id: question.id,
+            kind: 'choose',
+            value: raw.choice,
+            confidence: raw.confidence,
+            distribution,
+            basis: 'calibrated',
+        };
+    }
+    if (question.kind === 'rate') {
+        const index = distribution && distribution.length > 0 ? argmax(distribution) : Math.round(raw.score ?? 0);
+        return {
+            id: question.id,
+            kind: 'rate',
+            value: levelLabel(question, index),
+            confidence: raw.confidence,
+            distribution,
+            basis: 'calibrated',
+        };
+    }
+    const probability = typeof raw.noul === 'number' ? raw.noul : 0;
+    if (question.kind === 'probability') {
+        return { id: question.id, kind: 'probability', probability, basis: 'calibrated' };
+    }
+    return {
+        id: question.id,
+        kind: 'verify',
+        value: probability >= 0.5 ? 'yes' : 'no',
+        probability,
+        basis: 'calibrated',
+    };
+}
+function retryableStatus(status) {
+    return status === 429 || status === 529;
+}
+function sleep(ms) {
+    return new Promise((resolve) => setTimeout(resolve, ms));
+}
+function combineSignals(signal, timeoutMs) {
+    const controller = new AbortController();
+    const disposers = [];
+    if (signal) {
+        if (signal.aborted)
+            controller.abort(signal.reason);
+        else {
+            const onAbort = () => controller.abort(signal.reason);
+            signal.addEventListener('abort', onAbort, { once: true });
+            disposers.push(() => signal.removeEventListener('abort', onAbort));
+        }
+    }
+    const timer = setTimeout(() => controller.abort(new Error(`Jev request timed out after ${timeoutMs}ms`)), timeoutMs);
+    disposers.push(() => clearTimeout(timer));
+    return {
+        signal: controller.signal,
+        dispose: () => disposers.forEach((dispose) => dispose()),
+    };
+}
+export function createJevJudgeBackend(options = {}) {
+    const baseUrl = (options.baseUrl ?? 'https://api.typesafe.ai').replace(/\/$/, '');
+    const model = options.model ?? 'jev-latest';
+    const maxRetries = options.maxRetries ?? 2;
+    const timeoutMs = options.timeoutMs ?? 30_000;
+    const fetchImpl = options.fetch ?? fetch;
+    return {
+        id: 'jev',
+        capabilities: JEV_CAPABILITIES,
+        async complete(request) {
+            if (!options.apiKey)
+                throw new Error('Jev backend requires an API key');
+            const questions = {};
+            for (const question of request.questions)
+                questions[question.id] = toJevQuestion(question);
+            const body = JSON.stringify({ state: request.state, model, questions });
+            let lastError;
+            for (let attempt = 0; attempt <= maxRetries; attempt++) {
+                const { signal, dispose } = combineSignals(request.signal, timeoutMs);
+                try {
+                    const response = await fetchImpl(`${baseUrl}/v1/systemone`, {
+                        method: 'POST',
+                        headers: {
+                            Authorization: `Bearer ${options.apiKey}`,
+                            'Content-Type': 'application/json',
+                        },
+                        body,
+                        signal,
+                    });
+                    if (!response.ok) {
+                        const text = await response.text().catch(() => '');
+                        const error = new Error(`Jev request failed (${response.status}): ${text.slice(0, 500)}`);
+                        if (retryableStatus(response.status) && attempt < maxRetries) {
+                            lastError = error;
+                            await sleep(250 * 2 ** attempt);
+                            continue;
+                        }
+                        throw error;
+                    }
+                    const payload = (await response.json());
+                    const rawAnswers = payload.answers ?? {};
+                    return {
+                        answers: request.questions.map((question) => {
+                            const raw = rawAnswers[question.id];
+                            if (!raw)
+                                throw new Error(`Jev returned no answer for question ${question.id}`);
+                            return fromJevAnswer(question, raw);
+                        }),
+                        model: payload.model ?? model,
+                        usage: payload.usage
+                            ? {
+                                inputTokens: payload.usage.input_tokens ?? 0,
+                                outputTokens: payload.usage.output_tokens ?? 0,
+                                totalTokens: (payload.usage.input_tokens ?? 0) + (payload.usage.output_tokens ?? 0),
+                            }
+                            : undefined,
+                    };
+                }
+                catch (error) {
+                    if (attempt < maxRetries && !request.signal?.aborted) {
+                        lastError = error;
+                        await sleep(250 * 2 ** attempt);
+                        continue;
+                    }
+                    throw error;
+                }
+                finally {
+                    dispose();
+                }
+            }
+            throw lastError instanceof Error ? lastError : new Error('Jev request failed');
+        },
+    };
+}
+//# sourceMappingURL=jev.js.map

package/dist/judge/jev.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jev.js","sourceRoot":"","sources":["../../src/judge/jev.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAoBH,MAAM,gBAAgB,GAAsB;IAC1C,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,IAAI;IAChB,oBAAoB,EAAE,IAAI;IAC1B,KAAK,EAAE,IAAI;IACX,kBAAkB,EAAE,IAAI;IACxB,YAAY,EAAE,GAAG;IACjB,UAAU,EAAE,GAAG;IACf,SAAS,EAAE,EAAE;IACb,gBAAgB,EAAE,MAAM;CACzB,CAAC;AAEF,SAAS,WAAW,CAAC,KAAiB;IACpC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACnF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,QAAuB;IAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,IAAI,EAAE;YAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,IAAI,IAAI,CAAC;QAC9F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC;IAC1E,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,QAAQ,CAAC,WAAW;YAClC,QAAQ,EAAE,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC;SACnD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAA4B,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;IAC3F,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,GAAG;YACd,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI;YACpC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI;SACvC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAuB,EAAE,aAAiD;IACzG,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IACrC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC7C,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,QAAuB,EAAE,KAAa;IACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAClF,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjG,OAAQ,KAA0B,CAAC,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,SAAS,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB;IAC9B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;IAC/D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAWD,SAAS,aAAa,CAAC,QAAuB,EAAE,GAAiB;IAC/D,MAAM,YAAY,GAAG,uBAAuB,CAAC,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,GAAG,CAAC,MAAM;YACjB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,YAAY;YACZ,KAAK,EAAE,YAAY;SACpB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAC1G,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC;YAClC,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,YAAY;YACZ,KAAK,EAAE,YAAY;SACpB,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IACpF,CAAC;IACD,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QACxC,WAAW;QACX,KAAK,EAAE,YAAY;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,OAAO,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,CAAC;AAC1C,CAAC;AAED,SAAS,KAAK,CAAC,EAAU;IACvB,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,MAA+B,EAAE,SAAiB;IACxE,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;IACzC,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,MAAM,CAAC,OAAO;YAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;aAC/C,CAAC;YACJ,MAAM,OAAO,GAAG,GAAS,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5D,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,+BAA+B,SAAS,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACrH,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkC,EAAE;IACxE,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,yBAAyB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC;IAC5C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC;IAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;IAEzC,OAAO;QACL,EAAE,EAAE,KAAK;QACT,YAAY,EAAE,gBAAgB;QAC9B,KAAK,CAAC,QAAQ,CAAC,OAA4B;YACzC,IAAI,CAAC,OAAO,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACxE,MAAM,SAAS,GAA4B,EAAE,CAAC;YAC9C,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS;gBAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YAExE,IAAI,SAAkB,CAAC;YACvB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;gBACvD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;gBACtE,IAAI,CAAC;oBACH,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,GAAG,OAAO,eAAe,EAAE;wBAC1D,MAAM,EAAE,MAAM;wBACd,OAAO,EAAE;4BACP,aAAa,EAAE,UAAU,OAAO,CAAC,MAAM,EAAE;4BACzC,cAAc,EAAE,kBAAkB;yBACnC;wBACD,IAAI;wBACJ,MAAM;qBACP,CAAC,CAAC;oBACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;wBACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;wBACnD,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,uBAAuB,QAAQ,CAAC,MAAM,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;wBAC1F,IAAI,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,GAAG,UAAU,EAAE,CAAC;4BAC7D,SAAS,GAAG,KAAK,CAAC;4BAClB,MAAM,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC;4BAChC,SAAS;wBACX,CAAC;wBACD,MAAM,KAAK,CAAC;oBACd,CAAC;oBACD,MAAM,OAAO,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAIrC,CAAC;oBACF,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;oBACzC,OAAO;wBACL,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;4BAC1C,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;4BACpC,IAAI,CAAC,GAAG;gCAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;4BAChF,OAAO,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;wBACtC,CAAC,CAAC;wBACF,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK;wBAC7B,KAAK,EAAE,OAAO,CAAC,KAAK;4BAClB,CAAC,CAAC;gCACE,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC;gCAC5C,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC;gCAC9C,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;6BACpF;4BACH,CAAC,CAAC,SAAS;qBACd,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,OAAO,GAAG,UAAU,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;wBACrD,SAAS,GAAG,KAAK,CAAC;wBAClB,MAAM,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC;wBAChC,SAAS;oBACX,CAAC;oBACD,MAAM,KAAK,CAAC;gBACd,CAAC;wBAAS,CAAC;oBACT,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;YACD,MAAM,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACjF,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/judge/llm.d.ts

@@ -0,0 +1,23 @@
+/**
+ * LLM judge backend.
+ *
+ * Answers the same generic questions through an ordinary LLM. When an injected
+ * `LLMBackend` is present (for example, pi's active model in the extension) it
+ * is used directly; otherwise the SDK provider path is used. Answers are
+ * labels or self-reported probabilities, never calibrated ones.
+ */
+import type { LLMBackend } from '../types.js';
+import type { JudgeAnswer, JudgeBackend, JudgeQuestion } from './types.js';
+export interface LLMJudgeBackendOptions {
+    llmBackend?: LLMBackend;
+    model?: string;
+    provider?: string;
+    temperature?: number;
+    maxTokens?: number;
+    baseUrl?: string;
+    providerOptions?: Record<string, Record<string, any>>;
+}
+export declare function buildJudgePrompt(state: unknown, questions: JudgeQuestion[]): string;
+export declare function parseJudgeResponse(text: string, questions: JudgeQuestion[]): JudgeAnswer[];
+export declare function createLLMJudgeBackend(options?: LLMJudgeBackendOptions): JudgeBackend;
+//# sourceMappingURL=llm.d.ts.map

package/dist/judge/llm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm.d.ts","sourceRoot":"","sources":["../../src/judge/llm.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EAGZ,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,sBAAsB;IACrC,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;CACvD;AAgCD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,MAAM,CAWnF;AAgBD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,WAAW,EAAE,CAsB1F;AAED,wBAAgB,qBAAqB,CAAC,OAAO,GAAE,sBAA2B,GAAG,YAAY,CAqCxF"}

package/dist/judge/llm.js

@@ -0,0 +1,120 @@
+/**
+ * LLM judge backend.
+ *
+ * Answers the same generic questions through an ordinary LLM. When an injected
+ * `LLMBackend` is present (for example, pi's active model in the extension) it
+ * is used directly; otherwise the SDK provider path is used. Answers are
+ * labels or self-reported probabilities, never calibrated ones.
+ */
+import { generateLlmReply } from '../prolog/bridge.js';
+const LLM_CAPABILITIES = {
+    calibrated: false,
+    probability: true,
+    confidence: false,
+    independentQuestions: false,
+    batch: true,
+    structuredCriteria: false,
+    maxQuestions: 32,
+    maxOptions: 64,
+    maxLevels: 10,
+    stateTokenBudget: 16_000,
+};
+function describeQuestion(question) {
+    if (question.kind === 'choose') {
+        const options = (question.options ?? [])
+            .map((option) => (option.description ? `${option.id} (${JSON.stringify(option.description)})` : option.id))
+            .join(', ');
+        return `[choose] ${String(question.instruction)}\n  options: ${options}`;
+    }
+    if (question.kind === 'rate') {
+        const levels = (question.levels ?? []).map((level) => JSON.stringify(level)).join(', ');
+        return `[rate] ${String(question.instruction)}\n  levels: ${levels}`;
+    }
+    if (question.kind === 'verify') {
+        return `[verify] ${String(question.instruction)}\n  answer yes, no, or unknown, with a probability 0..1`;
+    }
+    return `[probability] ${String(question.instruction)}\n  answer only with a probability 0..1`;
+}
+export function buildJudgePrompt(state, questions) {
+    const questionLines = questions.map((question, index) => `${index + 1}. ${describeQuestion(question)}`).join('\n');
+    return [
+        'You are a precise judge. Answer every question using only the state and the allowed answers.',
+        'Return strict JSON of the form {"answers":[...]} with one entry per question, in the same order.',
+        'Each entry uses "value" for choose/rate/verify and "probability" for verify/probability.',
+        '',
+        `STATE:\n${JSON.stringify(state, null, 2)}`,
+        '',
+        `QUESTIONS:\n${questionLines}`,
+    ].join('\n');
+}
+function extractJson(text) {
+    const fenced = /```(?:json)?\s*([\s\S]*?)```/i.exec(text);
+    const candidate = fenced ? fenced[1] : text;
+    const start = candidate.indexOf('{');
+    const end = candidate.lastIndexOf('}');
+    if (start === -1 || end === -1 || end <= start)
+        throw new Error('LLM judge response did not contain JSON');
+    return JSON.parse(candidate.slice(start, end + 1));
+}
+export function parseJudgeResponse(text, questions) {
+    const parsed = extractJson(text);
+    const rawAnswers = Array.isArray(parsed.answers) ? parsed.answers : [];
+    return questions.map((question, index) => {
+        const raw = rawAnswers[index] ?? {};
+        const probability = typeof raw.probability === 'number' ? raw.probability : undefined;
+        const value = typeof raw.value === 'string' ? raw.value : undefined;
+        const basis = probability !== undefined ? 'self_reported' : 'label';
+        if (question.kind === 'probability') {
+            return { id: question.id, kind: question.kind, probability: probability ?? 0, basis };
+        }
+        if (question.kind === 'verify') {
+            return {
+                id: question.id,
+                kind: question.kind,
+                value: value ?? (probability !== undefined ? (probability >= 0.5 ? 'yes' : 'no') : 'unknown'),
+                probability,
+                basis,
+            };
+        }
+        return { id: question.id, kind: question.kind, value, basis };
+    });
+}
+export function createLLMJudgeBackend(options = {}) {
+    return {
+        id: 'llm',
+        capabilities: LLM_CAPABILITIES,
+        async complete(request) {
+            const messages = [
+                {
+                    role: 'system',
+                    content: 'You are a precise judge. Reply with strict JSON and nothing else.',
+                },
+                { role: 'user', content: buildJudgePrompt(request.state, request.questions) },
+            ];
+            const { text, usage } = await generateLlmReply({
+                messages,
+                modelOptions: {
+                    provider: options.provider ?? 'openai',
+                    model: options.model ?? request.model ?? 'gpt-4o-mini',
+                    temperature: options.temperature ?? 0,
+                    maxOutputTokens: options.maxTokens,
+                    baseUrl: options.baseUrl,
+                    providerOptions: options.providerOptions,
+                },
+                signal: request.signal,
+                llmBackend: options.llmBackend,
+            });
+            return {
+                answers: parseJudgeResponse(text, request.questions),
+                usage: usage
+                    ? {
+                        inputTokens: usage.inputTokens,
+                        outputTokens: usage.outputTokens,
+                        totalTokens: usage.totalTokens,
+                    }
+                    : undefined,
+            };
+        },
+    };
+}
+//# sourceMappingURL=llm.js.map

package/dist/judge/llm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm.js","sourceRoot":"","sources":["../../src/judge/llm.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAqBvD,MAAM,gBAAgB,GAAsB;IAC1C,UAAU,EAAE,KAAK;IACjB,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,KAAK;IACjB,oBAAoB,EAAE,KAAK;IAC3B,KAAK,EAAE,IAAI;IACX,kBAAkB,EAAE,KAAK;IACzB,YAAY,EAAE,EAAE;IAChB,UAAU,EAAE,EAAE;IACd,SAAS,EAAE,EAAE;IACb,gBAAgB,EAAE,MAAM;CACzB,CAAC;AAEF,SAAS,gBAAgB,CAAC,QAAuB;IAC/C,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;aACrC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;aAC1G,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,YAAY,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,gBAAgB,OAAO,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,OAAO,UAAU,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,eAAe,MAAM,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,YAAY,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,yDAAyD,CAAC;IAC3G,CAAC;IACD,OAAO,iBAAiB,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,yCAAyC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,SAA0B;IACzE,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,KAAK,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnH,OAAO;QACL,8FAA8F;QAC9F,kGAAkG;QAClG,0FAA0F;QAC1F,EAAE;QACF,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;QAC3C,EAAE;QACF,eAAe,aAAa,EAAE;KAC/B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC3G,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAOD,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,SAA0B;IACzE,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAiC,CAAC;IACjE,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,MAAM,KAAK,GAAyB,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1F,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC;QACxF,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO;gBACL,EAAE,EAAE,QAAQ,CAAC,EAAE;gBACf,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,KAAK,EAAE,KAAK,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC7F,WAAW;gBACX,KAAK;aACN,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkC,EAAE;IACxE,OAAO;QACL,EAAE,EAAE,KAAK;QACT,YAAY,EAAE,gBAAgB;QAC9B,KAAK,CAAC,QAAQ,CAAC,OAA4B;YACzC,MAAM,QAAQ,GAAoB;gBAChC;oBACE,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,mEAAmE;iBAC7E;gBACD,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE;aAC9E,CAAC;YACF,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,gBAAgB,CAAC;gBAC7C,QAAQ;gBACR,YAAY,EAAE;oBACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ;oBACtC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,IAAI,aAAa;oBACtD,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,CAAC;oBACrC,eAAe,EAAE,OAAO,CAAC,SAAS;oBAClC,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,eAAe,EAAE,OAAO,CAAC,eAAe;iBACzC;gBACD,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC,CAAC;YACH,OAAO;gBACL,OAAO,EAAE,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC;gBACpD,KAAK,EAAE,KAAK;oBACV,CAAC,CAAC;wBACE,WAAW,EAAE,KAAK,CAAC,WAAW;wBAC9B,YAAY,EAAE,KAAK,CAAC,YAAY;wBAChC,WAAW,EAAE,KAAK,CAAC,WAAW;qBAC/B;oBACH,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/judge/marshal.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Marshalling between the Prolog wire shapes and the SDK judge types.
+ *
+ * The engine payload arrives as swipl-wasm values:
+ *   - a compound `f(a, b)`  -> `{ $t: 't', f: [[a, b]] }`
+ *   - a pair `K-V`          -> `{ $t: 't', '-': [[K, V]] }`
+ *   - a dict `tag{k: v}`    -> `{ $tag: 'tag', k: v }`
+ *   - a list                -> an array
+ *   - atoms / strings / numbers / booleans arrive as plain JS values.
+ */
+import type { JsonValue, JudgeAnswer, JudgeQuestion } from './types.js';
+/** Normalize an arbitrary Prolog value into JSON. A list of `Key-Value` pairs becomes an object. */
+export declare function normalizePrologValue(value: unknown): JsonValue;
+/** The author-facing state term, normalized to JSON. */
+export declare function normalizeJudgeState(value: unknown): JsonValue;
+/** Parse the `questions` list yielded by the meta-interpreter into `JudgeQuestion[]`. */
+export declare function parseJudgeQuestions(raw: unknown): JudgeQuestion[];
+/** Validate backend answers against the questions and preserve question order. */
+export declare function validateJudgeAnswers(questions: JudgeQuestion[], answers: JudgeAnswer[]): JudgeAnswer[];
+/** The ordered primary values bound back into DML. */
+export declare function judgeAnswersToValues(questions: JudgeQuestion[], answers: JudgeAnswer[]): Array<string | number>;
+/** Serialize answer values into a Prolog list, using atoms for identifiers. */
+export declare function valuesToPrologList(values: Array<string | number>): string;
+/** Cache key for a judgment: same backend/model/state/questions returns the same answers. */
+export declare function judgeCacheKey(backendId: string, model: string, state: JsonValue, questions: JudgeQuestion[]): string;
+//# sourceMappingURL=marshal.d.ts.map

package/dist/judge/marshal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"marshal.d.ts","sourceRoot":"","sources":["../../src/judge/marshal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAA2B,aAAa,EAAE,MAAM,YAAY,CAAC;AA2BjG,oGAAoG;AACpG,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAiD9D;AAED,wDAAwD;AACxD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAE7D;AAkCD,yFAAyF;AACzF,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,EAAE,CAejE;AAqED,kFAAkF;AAClF,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,aAAa,EAAE,EAC1B,OAAO,EAAE,WAAW,EAAE,GACrB,WAAW,EAAE,CAMf;AAED,sDAAsD;AACtD,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,aAAa,EAAE,EAC1B,OAAO,EAAE,WAAW,EAAE,GACrB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAaxB;AAED,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,MAAM,CAEzE;AAkBD,6FAA6F;AAC7F,wBAAgB,aAAa,CAC3B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,aAAa,EAAE,GACzB,MAAM,CAER"}