@keel_flow/runtime 0.2.0

package/dist/run-agent.js

@@ -0,0 +1,318 @@
+import { createAnthropicClient } from "./client.js";
+import { computeCost } from "./cost.js";
+import { toAnthropicTool } from "./tools.js";
+import { ZodError } from "zod";
+const TOOL_OUTPUT_MAX_BYTES = 2048;
+const KB_GROUNDING_MIN_SCORE = 0.15;
+const TOOL_OUTPUT_TRUNCATION_NOTE = ` Output is recorded up to ${TOOL_OUTPUT_MAX_BYTES} bytes and elided beyond that with a "…[truncated]" marker; assume content past the cap (including trailing errors) may be missing and request narrower output if you need the full result.`;
+function truncateToolOutput(value) {
+    const s = typeof value === "string" ? value : JSON.stringify(value);
+    if (s.length <= TOOL_OUTPUT_MAX_BYTES)
+        return s;
+    return s.slice(0, TOOL_OUTPUT_MAX_BYTES) + "…[truncated]";
+}
+function withTruncationNote(description) {
+    return description.includes("…[truncated]") ? description : description + TOOL_OUTPUT_TRUNCATION_NOTE;
+}
+// Lightweight shim that adapts a raw Anthropic SDK client to ModelProvider without
+// requiring a valid API key (the caller already has an authenticated client).
+function buildAnthropicShim(client, defaultModel) {
+    return {
+        kind: "anthropic",
+        defaultModel,
+        async generate(req) {
+            const tools = req.tools && req.tools.length > 0
+                ? req.tools.map((t) => ({
+                    name: t.name,
+                    description: t.description,
+                    input_schema: { type: "object", ...t.inputSchema },
+                }))
+                : undefined;
+            const messages = req.messages.map((m) => {
+                if (m.role === "user") {
+                    const toolResults = m.content.filter((b) => b.type === "tool_result");
+                    if (toolResults.length > 0) {
+                        return {
+                            role: "user",
+                            content: toolResults.map((b) => {
+                                if (b.type !== "tool_result")
+                                    throw new Error("unreachable");
+                                return { type: "tool_result", tool_use_id: b.toolUseId, content: b.content };
+                            }),
+                        };
+                    }
+                    const text = m.content.filter((b) => b.type === "text").map((b) => (b.type === "text" ? b.text : "")).join("");
+                    return { role: "user", content: text };
+                }
+                else {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- shim maps normalized blocks to Anthropic SDK types at runtime
+                    return { role: "assistant", content: m.content };
+                }
+            });
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any -- shim passes through toolChoice at runtime; Anthropic SDK validates shape
+            let tool_choice;
+            if (req.toolChoice === "any")
+                tool_choice = { type: "any" };
+            else if (req.toolChoice === "auto")
+                tool_choice = { type: "auto" };
+            else if (req.toolChoice && typeof req.toolChoice === "object")
+                tool_choice = { type: "tool", name: req.toolChoice.name };
+            const callArgs = {
+                model: req.model,
+                system: req.system,
+                messages,
+                max_tokens: req.maxTokens ?? 4096,
+                ...(tools ? { tools } : {}),
+                ...(tool_choice ? { tool_choice } : {}),
+            };
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any -- shim passes assembled args object; SDK validates at runtime
+            const response = await client.messages.create(callArgs);
+            const content = response.content.map((block) => {
+                if (block.type === "text")
+                    return { type: "text", text: block.text ?? "" };
+                return { type: "tool_use", id: block.id ?? "", name: block.name ?? "", input: block.input };
+            });
+            const sr = (response.stop_reason ?? "end_turn");
+            const stopReason = sr === "tool_use" ? "tool_use"
+                : sr === "max_tokens" ? "max_tokens"
+                    : sr === "stop_sequence" ? "stop_sequence"
+                        : "end_turn";
+            return {
+                content,
+                stopReason,
+                usage: { inputTokens: response.usage.input_tokens, outputTokens: response.usage.output_tokens },
+            };
+        },
+    };
+}
+export async function runAgent({ agent, tools, prompt, kb, provider: providerOverride, client: clientOverride, model: modelOverride, maxIterations = 8, onUsage, telemetry, repoMap, }) {
+    let provider;
+    let model;
+    if (providerOverride) {
+        provider = providerOverride;
+        model = modelOverride ?? agent.model ?? provider.defaultModel;
+    }
+    else if (clientOverride) {
+        // back-compat: wrap a raw Anthropic client in a lightweight provider shim
+        const m = modelOverride ?? agent.model ?? "claude-sonnet-4-6";
+        model = m;
+        const shimClient = clientOverride;
+        provider = buildAnthropicShim(shimClient, m);
+    }
+    else {
+        const ac = createAnthropicClient({ model: modelOverride ?? agent.model });
+        model = ac.model;
+        provider = buildAnthropicShim(ac.client, ac.model);
+    }
+    const toolIndex = new Map(tools.map((t) => [t.config.id, t]));
+    const normalizedTools = tools.map((t) => {
+        const at = toAnthropicTool(t);
+        return {
+            name: at.name,
+            description: withTruncationNote(at.description ?? ""),
+            inputSchema: at.input_schema,
+        };
+    });
+    let system = agent.prompt;
+    if (kb !== undefined) {
+        const chunks = await kb.retrieve(prompt, 5, { minScore: KB_GROUNDING_MIN_SCORE });
+        if (chunks.length > 0) {
+            const kbBlock = chunks
+                .map((c) => `[source: ${c.source}]\n${c.content}`)
+                .join("\n\n");
+            system = `${system}\n\n<kb_context>\n${kbBlock}\n</kb_context>`;
+        }
+    }
+    if (repoMap !== undefined && repoMap.trim().length > 0) {
+        system = `${system}\n\n<repo_map>\n${repoMap}\n</repo_map>`;
+    }
+    const messages = [
+        { role: "user", content: [{ type: "text", text: prompt }] },
+    ];
+    const toolCalls = [];
+    let totalInputTokens = 0;
+    let totalOutputTokens = 0;
+    let finalText = "";
+    let stopReason = "end_turn";
+    let iterationsRun = 0;
+    if (telemetry) {
+        telemetry.emit({
+            sessionId: "",
+            parentEventId: null,
+            workspaceId: null,
+            triggeredBy: { kind: "user" },
+            kind: "session.start",
+            payload: {
+                agentId: agent.id,
+                model,
+                maxIterations,
+                tools: tools.map((t) => t.config.id),
+            },
+        });
+    }
+    for (let i = 0; i < maxIterations; i++) {
+        iterationsRun = i + 1;
+        const generateReq = {
+            model,
+            system,
+            messages,
+            maxTokens: 4096,
+            ...(normalizedTools.length > 0 ? { tools: normalizedTools } : {}),
+        };
+        const response = await provider.generate(generateReq);
+        totalInputTokens += response.usage.inputTokens;
+        totalOutputTokens += response.usage.outputTokens;
+        const iterCostUsd = computeCost(provider.kind, model, response.usage.inputTokens, response.usage.outputTokens);
+        if (telemetry) {
+            telemetry.emit({
+                sessionId: "",
+                parentEventId: null,
+                workspaceId: null,
+                triggeredBy: { kind: "user" },
+                kind: "orchestrator.dispatch",
+                payload: { agentId: agent.id, iteration: i },
+                model,
+                inputTokens: response.usage.inputTokens,
+                outputTokens: response.usage.outputTokens,
+                costUsd: iterCostUsd,
+            });
+        }
+        if (onUsage) {
+            const iterToolIds = response.content
+                .filter((b) => b.type === "tool_use")
+                .map((b) => (b.type === "tool_use" ? b.name : ""));
+            try {
+                await onUsage({
+                    agentId: agent.id,
+                    toolIds: iterToolIds,
+                    model,
+                    inputTokens: response.usage.inputTokens,
+                    outputTokens: response.usage.outputTokens,
+                    costUsd: iterCostUsd,
+                });
+            }
+            catch (err) {
+                console.warn("[keel] onUsage callback threw; ignoring:", err);
+            }
+        }
+        const textBlock = response.content.find((b) => b.type === "text");
+        if (textBlock && textBlock.type === "text") {
+            finalText = textBlock.text;
+        }
+        if (response.stopReason === "end_turn" || response.stopReason === "stop_sequence") {
+            stopReason = response.stopReason === "stop_sequence" ? "stop_sequence" : "end_turn";
+            break;
+        }
+        if (response.stopReason === "max_tokens") {
+            // The provider truncated this response at the token limit. Surface it as a
+            // distinct stop reason so callers can tell a cut-off answer from a clean
+            // finish rather than mislabeling it "end_turn".
+            stopReason = "max_tokens";
+            break;
+        }
+        const toolUseBlocks = response.content.filter((b) => b.type === "tool_use");
+        if (toolUseBlocks.length === 0) {
+            stopReason = "end_turn";
+            break;
+        }
+        messages.push({ role: "assistant", content: response.content });
+        const toolResultBlocks = [];
+        for (const block of toolUseBlocks) {
+            if (block.type !== "tool_use")
+                continue;
+            const tool = toolIndex.get(block.name);
+            if (telemetry) {
+                telemetry.emit({
+                    sessionId: "",
+                    parentEventId: null,
+                    workspaceId: null,
+                    triggeredBy: { kind: "user" },
+                    kind: "tool.call",
+                    payload: { toolId: block.name, input: block.input },
+                });
+            }
+            const toolStart = Date.now();
+            let output;
+            let threwError = null;
+            if (!tool) {
+                output = { error: `Unknown tool: ${block.name}` };
+            }
+            else {
+                try {
+                    const parsed = tool.config.inputSchema.parse(block.input);
+                    output = await tool.config.handler(parsed);
+                }
+                catch (err) {
+                    threwError = err instanceof Error ? err : new Error(String(err));
+                    if (err instanceof ZodError) {
+                        output = {
+                            error: "invalid_arguments",
+                            message: err.flatten(),
+                            expectedSchema: normalizedTools.find((nt) => nt.name === block.name)?.inputSchema,
+                        };
+                    }
+                    else {
+                        output = { error: "tool_failed", message: threwError.message };
+                    }
+                }
+            }
+            const latencyMs = Date.now() - toolStart;
+            if (telemetry) {
+                if (threwError) {
+                    telemetry.emit({
+                        sessionId: "",
+                        parentEventId: null,
+                        workspaceId: null,
+                        triggeredBy: { kind: "user" },
+                        kind: "tool.error",
+                        payload: { toolId: block.name, error: String(threwError) },
+                        latencyMs,
+                    });
+                }
+                else {
+                    telemetry.emit({
+                        sessionId: "",
+                        parentEventId: null,
+                        workspaceId: null,
+                        triggeredBy: { kind: "user" },
+                        kind: "tool.result",
+                        payload: {
+                            toolId: block.name,
+                            output: truncateToolOutput(output),
+                        },
+                        latencyMs,
+                    });
+                }
+            }
+            toolCalls.push({ toolId: block.name, input: block.input, output });
+            toolResultBlocks.push({
+                type: "tool_result",
+                toolUseId: block.id,
+                content: truncateToolOutput(output),
+            });
+        }
+        messages.push({ role: "user", content: toolResultBlocks });
+        if (i === maxIterations - 1) {
+            stopReason = "max_iterations";
+        }
+    }
+    const finalIterations = Math.min(Math.max(messages.filter((m) => m.role === "assistant").length, iterationsRun), maxIterations);
+    if (telemetry) {
+        telemetry.emit({
+            sessionId: "",
+            parentEventId: null,
+            workspaceId: null,
+            triggeredBy: { kind: "user" },
+            kind: "session.end",
+            payload: { iterations: finalIterations, stopReason },
+        });
+    }
+    return {
+        finalText,
+        toolCalls,
+        iterations: finalIterations,
+        stopReason,
+        usage: { inputTokens: totalInputTokens, outputTokens: totalOutputTokens },
+    };
+}
+//# sourceMappingURL=run-agent.js.map

package/dist/run-agent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-agent.js","sourceRoot":"","sources":["../src/run-agent.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG7C,OAAO,EAAE,QAAQ,EAAE,MAAM,KAAK,CAAC;AAE/B,MAAM,qBAAqB,GAAG,IAAI,CAAC;AAEnC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAEpC,MAAM,2BAA2B,GAAG,6BAA6B,qBAAqB,6LAA6L,CAAC;AAEpR,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,CAAC,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpE,IAAI,CAAC,CAAC,MAAM,IAAI,qBAAqB;QAAE,OAAO,CAAC,CAAC;IAChD,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,GAAG,cAAc,CAAC;AAC5D,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAmB;IAC7C,OAAO,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,GAAG,2BAA2B,CAAC;AACxG,CAAC;AAED,mFAAmF;AACnF,8EAA8E;AAC9E,SAAS,kBAAkB,CAAC,MAAiB,EAAE,YAAoB;IACjE,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,YAAY;QACZ,KAAK,CAAC,QAAQ,CAAC,GAAsB;YACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAC7C,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACpB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,YAAY,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAI,CAAC,CAAC,WAAuC,EAAE;iBACzF,CAAC,CAAC;gBACL,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACtC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACtB,MAAM,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;oBACtE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC3B,OAAO;4BACL,IAAI,EAAE,MAAe;4BACrB,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gCAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;oCAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;gCAC7D,OAAO,EAAE,IAAI,EAAE,aAAsB,EAAE,WAAW,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;4BACxF,CAAC,CAAC;yBACH,CAAC;oBACJ,CAAC;oBACD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC/G,OAAO,EAAE,IAAI,EAAE,MAAe,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBAClD,CAAC;qBAAM,CAAC;oBACN,+HAA+H;oBAC/H,OAAO,EAAE,IAAI,EAAE,WAAoB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAc,EAAE,CAAC;gBACnE,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,0IAA0I;YAC1I,IAAI,WAAgB,CAAC;YACrB,IAAI,GAAG,CAAC,UAAU,KAAK,KAAK;gBAAE,WAAW,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;iBACvD,IAAI,GAAG,CAAC,UAAU,KAAK,MAAM;gBAAE,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;iBAC9D,IAAI,GAAG,CAAC,UAAU,IAAI,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ;gBAAE,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAEzH,MAAM,QAAQ,GAAG;gBACf,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,QAAQ;gBACR,UAAU,EAAE,GAAG,CAAC,SAAS,IAAI,IAAI;gBACjC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,CAAC;YAEF,6HAA6H;YAC7H,MAAM,QAAQ,GAAG,MAAO,MAAM,CAAC,QAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAEjE,MAAM,OAAO,GAAuB,QAAQ,CAAC,OAA+F,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACzJ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;gBACpF,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;YACvG,CAAC,CAAC,CAAC;YAEH,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,UAAU,CAAW,CAAC;YAC1D,MAAM,UAAU,GACd,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU;gBAC9B,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY;oBACpC,CAAC,CAAC,EAAE,KAAK,eAAe,CAAC,CAAC,CAAC,eAAe;wBAC1C,CAAC,CAAC,UAAU,CAAC;YAEf,OAAO;gBACL,OAAO;gBACP,UAAU;gBACV,KAAK,EAAE,EAAE,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE;aAChG,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAuCD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,EAC7B,KAAK,EACL,KAAK,EACL,MAAM,EACN,EAAE,EACF,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,cAAc,EACtB,KAAK,EAAE,aAAa,EACpB,aAAa,GAAG,CAAC,EACjB,OAAO,EACP,SAAS,EACT,OAAO,GACM;IACb,IAAI,QAAuB,CAAC;IAC5B,IAAI,KAAa,CAAC;IAElB,IAAI,gBAAgB,EAAE,CAAC;QACrB,QAAQ,GAAG,gBAAgB,CAAC;QAC5B,KAAK,GAAG,aAAa,IAAI,KAAK,CAAC,KAAK,IAAI,QAAQ,CAAC,YAAY,CAAC;IAChE,CAAC;SAAM,IAAI,cAAc,EAAE,CAAC;QAC1B,0EAA0E;QAC1E,MAAM,CAAC,GAAG,aAAa,IAAI,KAAK,CAAC,KAAK,IAAI,mBAAmB,CAAC;QAC9D,KAAK,GAAG,CAAC,CAAC;QACV,MAAM,UAAU,GAAG,cAAc,CAAC;QAClC,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,qBAAqB,CAAC,EAAE,KAAK,EAAE,aAAa,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC1E,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;QACjB,QAAQ,GAAG,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9D,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACtC,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,WAAW,EAAE,kBAAkB,CAAC,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC;YACrD,WAAW,EAAE,EAAE,CAAC,YAAsB;SACvC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC,CAAC;QAClF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,MAAM;iBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;iBACjD,IAAI,CAAC,MAAM,CAAC,CAAC;YAChB,MAAM,GAAG,GAAG,MAAM,qBAAqB,OAAO,iBAAiB,CAAC;QAClE,CAAC;IACH,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,GAAG,GAAG,MAAM,mBAAmB,OAAO,eAAe,CAAC;IAC9D,CAAC;IAED,MAAM,QAAQ,GAAwB;QACpC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;KAC5D,CAAC;IACF,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,UAAU,GAA4B,UAAU,CAAC;IACrD,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,IAAI,SAAS,EAAE,CAAC;QACd,SAAS,CAAC,IAAI,CAAC;YACb,SAAS,EAAE,EAAE;YACb,aAAa,EAAE,IAAI;YACnB,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YAC7B,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE;gBACP,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,KAAK;gBACL,aAAa;gBACb,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;aACrC;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,aAAa,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,MAAM,WAAW,GAAG;YAClB,KAAK;YACL,MAAM;YACN,QAAQ;YACR,SAAS,EAAE,IAAI;YACf,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClE,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAEtD,gBAAgB,IAAI,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC;QAC/C,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;QAEjD,MAAM,WAAW,GAAG,WAAW,CAC7B,QAAQ,CAAC,IAAI,EACb,KAAK,EACL,QAAQ,CAAC,KAAK,CAAC,WAAW,EAC1B,QAAQ,CAAC,KAAK,CAAC,YAAY,CAC5B,CAAC;QAEF,IAAI,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,IAAI,CAAC;gBACb,SAAS,EAAE,EAAE;gBACb,aAAa,EAAE,IAAI;gBACnB,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC7B,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;gBAC5C,KAAK;gBACL,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;gBACvC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;gBACzC,OAAO,EAAE,WAAW;aACrB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO;iBACjC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;iBACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrD,IAAI,CAAC;gBACH,MAAM,OAAO,CAAC;oBACZ,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,OAAO,EAAE,WAAW;oBACpB,KAAK;oBACL,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;oBACvC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;oBACzC,OAAO,EAAE,WAAW;iBACrB,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,0CAA0C,EAAE,GAAG,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAClE,IAAI,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3C,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;QAC7B,CAAC;QAED,IAAI,QAAQ,CAAC,UAAU,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,KAAK,eAAe,EAAE,CAAC;YAClF,UAAU,GAAG,QAAQ,CAAC,UAAU,KAAK,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;YACpF,MAAM;QACR,CAAC;QAED,IAAI,QAAQ,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;YACzC,2EAA2E;YAC3E,yEAAyE;YACzE,gDAAgD;YAChD,UAAU,GAAG,YAAY,CAAC;YAC1B,MAAM;QACR,CAAC;QAED,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC5E,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,UAAU,GAAG,UAAU,CAAC;YACxB,MAAM;QACR,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QAEhE,MAAM,gBAAgB,GAAsB,EAAE,CAAC;QAC/C,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YAExC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAEvC,IAAI,SAAS,EAAE,CAAC;gBACd,SAAS,CAAC,IAAI,CAAC;oBACb,SAAS,EAAE,EAAE;oBACb,aAAa,EAAE,IAAI;oBACnB,WAAW,EAAE,IAAI;oBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC7B,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;iBACpD,CAAC,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,MAAe,CAAC;YACpB,IAAI,UAAU,GAAiB,IAAI,CAAC;YACpC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,GAAG,EAAE,KAAK,EAAE,iBAAiB,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC1D,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC7C,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,UAAU,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBACjE,IAAI,GAAG,YAAY,QAAQ,EAAE,CAAC;wBAC5B,MAAM,GAAG;4BACP,KAAK,EAAE,mBAAmB;4BAC1B,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;4BACtB,cAAc,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW;yBAClF,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,MAAM,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAEzC,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,UAAU,EAAE,CAAC;oBACf,SAAS,CAAC,IAAI,CAAC;wBACb,SAAS,EAAE,EAAE;wBACb,aAAa,EAAE,IAAI;wBACnB,WAAW,EAAE,IAAI;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;wBAC7B,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE;wBAC1D,SAAS;qBACV,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,IAAI,CAAC;wBACb,SAAS,EAAE,EAAE;wBACb,aAAa,EAAE,IAAI;wBACnB,WAAW,EAAE,IAAI;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;wBAC7B,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE;4BACP,MAAM,EAAE,KAAK,CAAC,IAAI;4BAClB,MAAM,EAAE,kBAAkB,CAAC,MAAM,CAAC;yBACnC;wBACD,SAAS;qBACV,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACnE,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,KAAK,CAAC,EAAE;gBACnB,OAAO,EAAE,kBAAkB,CAAC,MAAM,CAAC;aACpC,CAAC,CAAC;QACL,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAE3D,IAAI,CAAC,KAAK,aAAa,GAAG,CAAC,EAAE,CAAC;YAC5B,UAAU,GAAG,gBAAgB,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAC9B,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,EAC9E,aAAa,CACd,CAAC;IAEF,IAAI,SAAS,EAAE,CAAC;QACd,SAAS,CAAC,IAAI,CAAC;YACb,SAAS,EAAE,EAAE;YACb,aAAa,EAAE,IAAI;YACnB,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YAC7B,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE;SACrD,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,SAAS;QACT,SAAS;QACT,UAAU,EAAE,eAAe;QAC3B,UAAU;QACV,KAAK,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE,iBAAiB,EAAE;KAC1E,CAAC;AACJ,CAAC"}

package/dist/spec-checker/__fixtures__/mock-provider.d.ts

@@ -0,0 +1,20 @@
+import type { ModelProvider, NormalizedRequest, NormalizedResponse } from "../../provider.js";
+export interface CannedResponse {
+    toolName?: string;
+    toolInput?: unknown;
+    text?: string;
+    usage?: {
+        inputTokens: number;
+        outputTokens: number;
+    };
+}
+export declare function buildToolResponse(c: CannedResponse): NormalizedResponse;
+export interface MockProviderOpts {
+    defaultModel?: string;
+    responder: (req: NormalizedRequest, callNo: number) => NormalizedResponse;
+}
+export interface MockProvider extends ModelProvider {
+    calls: NormalizedRequest[];
+}
+export declare function makeMockProvider(opts: MockProviderOpts): MockProvider;
+//# sourceMappingURL=mock-provider.d.ts.map

package/dist/spec-checker/__fixtures__/mock-provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mock-provider.d.ts","sourceRoot":"","sources":["../../../src/spec-checker/__fixtures__/mock-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAE3B,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CACvD;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,cAAc,GAAG,kBAAkB,CAgBvE;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,CAAC,GAAG,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,KAAK,kBAAkB,CAAC;CAC3E;AAED,MAAM,WAAW,YAAa,SAAQ,aAAa;IACjD,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC5B;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,CAcrE"}

package/dist/spec-checker/__fixtures__/mock-provider.js

@@ -0,0 +1,34 @@
+export function buildToolResponse(c) {
+    const content = [];
+    if (c.text)
+        content.push({ type: "text", text: c.text });
+    if (c.toolName !== undefined) {
+        content.push({
+            type: "tool_use",
+            id: `tu_${Math.random().toString(36).slice(2)}`,
+            name: c.toolName,
+            input: c.toolInput,
+        });
+    }
+    return {
+        content,
+        stopReason: c.toolName ? "tool_use" : "end_turn",
+        usage: c.usage ?? { inputTokens: 10, outputTokens: 5 },
+    };
+}
+export function makeMockProvider(opts) {
+    const calls = [];
+    let n = 0;
+    const provider = {
+        kind: "anthropic",
+        defaultModel: opts.defaultModel ?? "claude-test",
+        calls,
+        async generate(req) {
+            calls.push(req);
+            const callNo = n++;
+            return opts.responder(req, callNo);
+        },
+    };
+    return provider;
+}
+//# sourceMappingURL=mock-provider.js.map

package/dist/spec-checker/__fixtures__/mock-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mock-provider.js","sourceRoot":"","sources":["../../../src/spec-checker/__fixtures__/mock-provider.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,iBAAiB,CAAC,CAAiB;IACjD,MAAM,OAAO,GAAkC,EAAE,CAAC;IAClD,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YAC/C,IAAI,EAAE,CAAC,CAAC,QAAQ;YAChB,KAAK,EAAE,CAAC,CAAC,SAAS;SACnB,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,OAAO;QACP,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;QAChD,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE;KACvD,CAAC;AACJ,CAAC;AAWD,MAAM,UAAU,gBAAgB,CAAC,IAAsB;IACrD,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,QAAQ,GAAiB;QAC7B,IAAI,EAAE,WAAW;QACjB,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,aAAa;QAChD,KAAK;QACL,KAAK,CAAC,QAAQ,CAAC,GAAG;YAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;KACF,CAAC;IACF,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/spec-checker/adversarial.d.ts

@@ -0,0 +1,15 @@
+import type { Diff } from "@keel_flow/core";
+import type { SpecRubric } from "@keel_flow/schema";
+import type { ModelProvider } from "../provider.js";
+export interface AdversarialStats {
+    inputTokens: number;
+    outputTokens: number;
+    costUsd: number;
+}
+export interface AdversarialResult {
+    concerns: string[];
+    raisedPartial: boolean;
+    stats: AdversarialStats;
+}
+export declare function adversarialPass(provider: ModelProvider, model: string, specSummary: string, diff: Diff, rubric: SpecRubric): Promise<AdversarialResult>;
+//# sourceMappingURL=adversarial.d.ts.map

package/dist/spec-checker/adversarial.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial.d.ts","sourceRoot":"","sources":["../../src/spec-checker/adversarial.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAkB,MAAM,gBAAgB,CAAC;AAKpE,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,gBAAgB,CAAC;CACzB;AAwCD,wBAAsB,eAAe,CACnC,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,iBAAiB,CAAC,CAmD5B"}

package/dist/spec-checker/adversarial.js

@@ -0,0 +1,77 @@
+import { z } from "zod";
+import { computeCost } from "../cost.js";
+import { ADVERSARIAL_SYSTEM, ADVERSARIAL_USER } from "./prompts.js";
+import { summarizeDiff } from "./claims.js";
+const ConcernsSchema = z.object({
+    concerns: z.array(z.object({
+        concern: z.string(),
+        severity: z.enum(["low", "medium", "high"]),
+    })),
+});
+const concernsTool = {
+    name: "emit_concerns",
+    description: "Emit identified concerns about whether the diff satisfies the spec. Empty list if none.",
+    inputSchema: {
+        type: "object",
+        properties: {
+            concerns: {
+                type: "array",
+                items: {
+                    type: "object",
+                    properties: {
+                        concern: { type: "string" },
+                        severity: { type: "string", enum: ["low", "medium", "high"] },
+                    },
+                    required: ["concern", "severity"],
+                },
+            },
+        },
+        required: ["concerns"],
+    },
+};
+function rubricToText(rubric) {
+    return rubric.claims
+        .map((c) => `- [${c.weight}] ${c.id}: ${c.text}`)
+        .join("\n");
+}
+export async function adversarialPass(provider, model, specSummary, diff, rubric) {
+    const response = await provider.generate({
+        model,
+        system: ADVERSARIAL_SYSTEM,
+        messages: [
+            {
+                role: "user",
+                content: [
+                    {
+                        type: "text",
+                        text: ADVERSARIAL_USER(specSummary, summarizeDiff(diff), rubricToText(rubric)),
+                    },
+                ],
+            },
+        ],
+        tools: [concernsTool],
+        toolChoice: { name: "emit_concerns" },
+        maxTokens: 1024,
+    });
+    const toolUse = response.content.find((b) => b.type === "tool_use");
+    let concerns = [];
+    if (toolUse && toolUse.type === "tool_use") {
+        const parsed = ConcernsSchema.safeParse(toolUse.input);
+        if (parsed.success) {
+            concerns = parsed.data.concerns
+                .filter((c) => c.severity !== "low")
+                .map((c) => c.concern);
+        }
+    }
+    const costUsd = computeCost(provider.kind, model, response.usage.inputTokens, response.usage.outputTokens);
+    return {
+        concerns,
+        raisedPartial: concerns.length > 0,
+        stats: {
+            inputTokens: response.usage.inputTokens,
+            outputTokens: response.usage.outputTokens,
+            costUsd,
+        },
+    };
+}
+//# sourceMappingURL=adversarial.js.map

package/dist/spec-checker/adversarial.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial.js","sourceRoot":"","sources":["../../src/spec-checker/adversarial.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAc5C,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;KAC5C,CAAC,CACH;CACF,CAAC,CAAC;AAEH,MAAM,YAAY,GAAmB;IACnC,IAAI,EAAE,eAAe;IACrB,WAAW,EACT,yFAAyF;IAC3F,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE;gBACR,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC3B,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE;qBAC9D;oBACD,QAAQ,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;iBAClC;aACF;SACF;QACD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;CACF,CAAC;AAEF,SAAS,YAAY,CAAC,MAAkB;IACtC,OAAO,MAAM,CAAC,MAAM;SACjB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAuB,EACvB,KAAa,EACb,WAAmB,EACnB,IAAU,EACV,MAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;QACvC,KAAK;QACL,MAAM,EAAE,kBAAkB;QAC1B,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,gBAAgB,CACpB,WAAW,EACX,aAAa,CAAC,IAAI,CAAC,EACnB,YAAY,CAAC,MAAM,CAAC,CACrB;qBACF;iBACF;aACF;SACF;QACD,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;QACrC,SAAS,EAAE,IAAI;KAChB,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACpE,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ;iBAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC;iBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CACzB,QAAQ,CAAC,IAAI,EACb,KAAK,EACL,QAAQ,CAAC,KAAK,CAAC,WAAW,EAC1B,QAAQ,CAAC,KAAK,CAAC,YAAY,CAC5B,CAAC;IAEF,OAAO;QACL,QAAQ;QACR,aAAa,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;QAClC,KAAK,EAAE;YACL,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;YACvC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;YACzC,OAAO;SACR;KACF,CAAC;AACJ,CAAC"}

package/dist/spec-checker/aggregate.d.ts

@@ -0,0 +1,17 @@
+import type { SpecRubric, SpecClaimVerdict, SpecCheckResult } from "@keel_flow/schema";
+export declare const CONFIDENCE_FLOOR = 0.6;
+export interface AggregateOpts {
+    rubric: SpecRubric | null;
+    claims: SpecClaimVerdict[];
+    bidirectional?: {
+        divergent: boolean;
+    } | undefined;
+    adversarial?: {
+        raisedPartial: boolean;
+    } | undefined;
+    positionBias?: {
+        disagreements: number;
+    } | undefined;
+}
+export declare function aggregateVerdict({ rubric, claims, bidirectional, }: AggregateOpts): SpecCheckResult["verdict"];
+//# sourceMappingURL=aggregate.d.ts.map

package/dist/spec-checker/aggregate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate.d.ts","sourceRoot":"","sources":["../../src/spec-checker/aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEvF,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAEpC,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,aAAa,CAAC,EAAE;QAAE,SAAS,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAAC;IACnD,WAAW,CAAC,EAAE;QAAE,aAAa,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAAC;IACrD,YAAY,CAAC,EAAE;QAAE,aAAa,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;CACtD;AAED,wBAAgB,gBAAgB,CAAC,EAC/B,MAAM,EACN,MAAM,EACN,aAAa,GACd,EAAE,aAAa,GAAG,eAAe,CAAC,SAAS,CAAC,CA+B5C"}

package/dist/spec-checker/aggregate.js

@@ -0,0 +1,25 @@
+export const CONFIDENCE_FLOOR = 0.6;
+export function aggregateVerdict({ rubric, claims, bidirectional, }) {
+    if (!rubric)
+        return "pending";
+    const weightById = new Map();
+    for (const c of rubric.claims)
+        weightById.set(c.id, c.weight);
+    const mustClaims = claims.filter((c) => weightById.get(c.claimId) === "must");
+    if (mustClaims.length === 0)
+        return "partial";
+    const confidentMustFail = mustClaims.some((c) => c.verdict === "fail" && c.confidence >= CONFIDENCE_FLOOR);
+    if (confidentMustFail)
+        return "fail";
+    const anyMustNotClean = mustClaims.some((c) => c.verdict === "fail" || c.verdict === "partial");
+    if (anyMustNotClean)
+        return "partial";
+    const allMustPass = mustClaims.every((c) => c.verdict === "pass" || c.verdict === "na");
+    if (allMustPass) {
+        if (bidirectional?.divergent)
+            return "partial";
+        return "pass";
+    }
+    return "partial";
+}
+//# sourceMappingURL=aggregate.js.map

package/dist/spec-checker/aggregate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate.js","sourceRoot":"","sources":["../../src/spec-checker/aggregate.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAUpC,MAAM,UAAU,gBAAgB,CAAC,EAC/B,MAAM,EACN,MAAM,EACN,aAAa,GACC;IACd,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqC,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAE9D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,MAAM,CAC5C,CAAC;IAEF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,iBAAiB,GAAG,UAAU,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,IAAI,gBAAgB,CAChE,CAAC;IACF,IAAI,iBAAiB;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,CACvD,CAAC;IACF,IAAI,eAAe;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAClD,CAAC;IAEF,IAAI,WAAW,EAAE,CAAC;QAChB,IAAI,aAAa,EAAE,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/spec-checker/bias.d.ts

@@ -0,0 +1,16 @@
+import type { Diff } from "@keel_flow/core";
+import type { SpecRubric, SpecClaimVerdict } from "@keel_flow/schema";
+import type { ModelProvider } from "../provider.js";
+export interface PositionSwapResult {
+    primary: SpecClaimVerdict;
+    swapped: SpecClaimVerdict;
+    disagreed: boolean;
+    finalVerdict: SpecClaimVerdict;
+    stats: {
+        inputTokens: number;
+        outputTokens: number;
+        costUsd: number;
+    };
+}
+export declare function runWithPositionSwap(provider: ModelProvider, model: string, specSummary: string, claim: SpecRubric["claims"][number], diff: Diff, primary: SpecClaimVerdict): Promise<PositionSwapResult>;
+//# sourceMappingURL=bias.d.ts.map

package/dist/spec-checker/bias.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bias.d.ts","sourceRoot":"","sources":["../../src/spec-checker/bias.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAGpD,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,gBAAgB,CAAC;IAC1B,OAAO,EAAE,gBAAgB,CAAC;IAC1B,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,gBAAgB,CAAC;IAC/B,KAAK,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACvE;AAMD,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,EACnC,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,kBAAkB,CAAC,CAsB7B"}

package/dist/spec-checker/bias.js

@@ -0,0 +1,26 @@
+import { judgeOneClaim } from "./claims.js";
+function disagrees(a, b) {
+    return a.verdict !== b.verdict;
+}
+export async function runWithPositionSwap(provider, model, specSummary, claim, diff, primary) {
+    const swap = await judgeOneClaim(provider, model, specSummary, claim, diff, {
+        swapped: true,
+    });
+    const disagreed = disagrees(primary, swap.verdict);
+    const finalVerdict = disagreed
+        ? {
+            claimId: claim.id,
+            verdict: "partial",
+            confidence: Math.min(primary.confidence, swap.verdict.confidence),
+            evidence: `position-swap disagreement: primary=${primary.verdict}, swap=${swap.verdict.verdict}`,
+        }
+        : primary;
+    return {
+        primary,
+        swapped: swap.verdict,
+        disagreed,
+        finalVerdict,
+        stats: swap.stats,
+    };
+}
+//# sourceMappingURL=bias.js.map

package/dist/spec-checker/bias.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bias.js","sourceRoot":"","sources":["../../src/spec-checker/bias.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAU5C,SAAS,SAAS,CAAC,CAAmB,EAAE,CAAmB;IACzD,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAuB,EACvB,KAAa,EACb,WAAmB,EACnB,KAAmC,EACnC,IAAU,EACV,OAAyB;IAEzB,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE;QAC1E,OAAO,EAAE,IAAI;KACd,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,MAAM,YAAY,GAAqB,SAAS;QAC9C,CAAC,CAAC;YACE,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,OAAO,EAAE,SAAS;YAClB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YACjE,QAAQ,EAAE,uCAAuC,OAAO,CAAC,OAAO,UAAU,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;SACjG;QACH,CAAC,CAAC,OAAO,CAAC;IAEZ,OAAO;QACL,OAAO;QACP,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS;QACT,YAAY;QACZ,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC;AACJ,CAAC"}

package/dist/spec-checker/bidirectional.d.ts

@@ -0,0 +1,21 @@
+import type { Diff } from "@keel_flow/core";
+import type { ModelProvider } from "../provider.js";
+export interface BidirectionalStats {
+    inputTokens: number;
+    outputTokens: number;
+    costUsd: number;
+}
+export interface BidirectionalResult {
+    summary: string;
+    similarity: number;
+    divergent: boolean;
+    stats: BidirectionalStats;
+}
+export interface BidirectionalOpts {
+    threshold?: number;
+    embed?: (text: string) => Promise<number[]>;
+}
+export declare function jaccard(a: string, b: string): number;
+export declare function cosine(a: number[], b: number[]): number;
+export declare function bidirectionalCheck(provider: ModelProvider, model: string, specSummary: string, diff: Diff, opts?: BidirectionalOpts): Promise<BidirectionalResult>;
+//# sourceMappingURL=bidirectional.d.ts.map

package/dist/spec-checker/bidirectional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bidirectional.d.ts","sourceRoot":"","sources":["../../src/spec-checker/bidirectional.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAkB,MAAM,gBAAgB,CAAC;AAKpE,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,kBAAkB,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CAC7C;AAwBD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CASpD;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CAgBvD;AAED,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,IAAI,EACV,IAAI,GAAE,iBAAsB,GAC3B,OAAO,CAAC,mBAAmB,CAAC,CAkD9B"}