@smartmemory/stratum 0.3.0

package/dist/mcp/server.js

@@ -0,0 +1,370 @@
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { CallToolRequestSchema, ErrorCode, ListToolsRequestSchema, McpError } from "@modelcontextprotocol/sdk/types.js";
+import { randomUUID } from "node:crypto";
+import { readFileSync } from "node:fs";
+import { stat } from "node:fs/promises";
+import { cancelBackgroundRun, pollBackgroundRun, runAgent } from "../connectors/index.js";
+import { CheckpointOperationError, SpecValidationError, StratumEngine } from "../engine/engine.js";
+import { createEvaluator } from "../eval/expr.js";
+import { validateSpec } from "../ir/validate.js";
+import { evaluateJudgedViaCodex } from "../judge/codex_judged.js";
+import { createFixtureJudge } from "../judge/fixture_judged.js";
+import { evaluateJudged } from "../judge/judged.js";
+import { compileSpeckit, SpeckitCompileError } from "../speckit/compiler.js";
+import { assertEvent, assertShape, assertToolRequest, assertToolResponse, mcpSurface, validateShape } from "./contracts.js";
+// Single source of truth for the MCP serverInfo version: the package manifest.
+// `../../package.json` resolves to the package root in both the dev tree
+// (src/mcp/) and the published tree (dist/mcp/), since npm always ships
+// package.json at the package root.
+const SERVER_VERSION = JSON.parse(readFileSync(new URL("../../package.json", import.meta.url), "utf8")).version;
+/**
+ * Judged-ensure backend: explicit via STRATUM_JUDGE_BACKEND, otherwise keyed
+ * to the environment — the OpenAI-API judge can never succeed without
+ * OPENAI_API_KEY, so a keyless host routes through the codex connector
+ * (OAuth), matching the Python judge kernel. Tests can explicitly select the
+ * guarded fixture backend; unknown values fail loudly.
+ */
+export function judgeBackend(env = process.env) {
+    const explicit = env.STRATUM_JUDGE_BACKEND;
+    if (explicit === "openai" || explicit === "codex")
+        return explicit;
+    if (explicit === "fixture") {
+        if (env.NODE_ENV !== "test")
+            throw new Error('STRATUM_JUDGE_BACKEND="fixture" is only allowed when NODE_ENV="test"');
+        return explicit;
+    }
+    if (explicit !== undefined)
+        throw new Error(`STRATUM_JUDGE_BACKEND must be "openai", "codex", or "fixture", got ${JSON.stringify(explicit)}`);
+    return env.OPENAI_API_KEY ? "openai" : "codex";
+}
+function defaultEngine() {
+    const backend = judgeBackend();
+    const judge = backend === "openai"
+        ? (predicate, context) => evaluateJudged(predicate, context)
+        : backend === "codex"
+            ? (predicate, context) => evaluateJudgedViaCodex(predicate, context)
+            : createFixtureJudge();
+    return new StratumEngine({
+        ...(process.env.STRATUM_STATE_ROOT ? { stateRoot: process.env.STRATUM_STATE_ROOT } : {}),
+        evaluator: createEvaluator(),
+        judge,
+    });
+}
+export function createToolDispatcher(dependencies = {}) {
+    const engine = dependencies.engine ?? defaultEngine();
+    const agentRun = dependencies.runAgent ?? runAgent;
+    const agentPoll = dependencies.pollBackgroundRun ?? pollBackgroundRun;
+    const agentCancel = dependencies.cancelBackgroundRun ?? cancelBackgroundRun;
+    return {
+        async call(tool, request, context = {}) {
+            try {
+                await assertToolRequest(tool, request);
+                let response;
+                switch (tool) {
+                    case "stratum_compile_speckit": {
+                        const tasksDir = string(request, "tasks_dir");
+                        const flowName = optionalString(request, "flow_name") ?? "tasks";
+                        try {
+                            if (!(await stat(tasksDir)).isDirectory()) {
+                                response = { status: "error", error_type: "directory_not_found", message: `tasks_dir '${tasksDir}' is not a directory` };
+                                break;
+                            }
+                        }
+                        catch {
+                            response = { status: "error", error_type: "directory_not_found", message: `tasks_dir '${tasksDir}' is not a directory` };
+                            break;
+                        }
+                        try {
+                            const compiled = await compileSpeckit(tasksDir, flowName);
+                            response = { status: "ok", yaml: compiled.yaml, flow_name: compiled.flowName, steps: compiled.steps };
+                        }
+                        catch (error) {
+                            response = speckitErrorEnvelope(error);
+                        }
+                        break;
+                    }
+                    case "stratum_validate": {
+                        const validation = validateSpec(request.spec);
+                        response = validation.ok ? { status: "valid" } : { status: "invalid", errors: validation.errors };
+                        break;
+                    }
+                    case "stratum_plan":
+                        response = await engine.plan(request.spec, request.input, option(request, "workspaceRoot"));
+                        break;
+                    case "stratum_step_done":
+                        response = await engine.stepDone(string(request, "runId"), string(request, "stepId"), record(request, "result"), string(request, "dispatchToken"));
+                        break;
+                    case "stratum_commit":
+                        response = { ...await engine.commit(string(request, "flow_id"), string(request, "label")) };
+                        break;
+                    case "stratum_revert":
+                        response = await engine.revert(string(request, "flow_id"), string(request, "label"));
+                        break;
+                    case "stratum_resume":
+                        response = await engine.resume(string(request, "runId"));
+                        break;
+                    case "stratum_audit":
+                        response = auditResponse(await engine.audit(string(request, "runId")));
+                        break;
+                    case "stratum_gate_resolve":
+                        response = await engine.gateResolve(string(request, "runId"), string(request, "stepId"), string(request, "decision"), string(request, "gateToken"));
+                        break;
+                    case "stratum_flow_poll":
+                        response = flowPollResponse(await engine.flowPoll(string(request, "runId"), optionalNumber(request, "cursor")));
+                        break;
+                    case "stratum_flow_run_bg":
+                        response = await engine.flowRunBg(request.spec, request.input, option(request, "workspaceRoot"));
+                        break;
+                    case "stratum_flow_bg_poll":
+                        response = bgFlowPollResponse(await engine.flowBgPoll(string(request, "runId"), optionalNumber(request, "cursor")));
+                        break;
+                    case "stratum_flow_cancel_bg":
+                        response = await engine.flowCancelBg(string(request, "runId"));
+                        break;
+                    case "stratum_agent_run": {
+                        const model = optionalString(request, "model");
+                        const sandboxMode = optionalString(request, "sandboxMode");
+                        // assertToolRequest (line 72) has already validated allowedTools/disallowedTools
+                        // element types via {"$array":"string"} in the contract — optionalArray() is safe.
+                        // Check Array.isArray() first to distinguish "not provided" from "provided as []".
+                        const allowedTools = Array.isArray(request.allowedTools)
+                            ? optionalArray(request, "allowedTools")
+                            : undefined;
+                        const disallowedTools = Array.isArray(request.disallowedTools)
+                            ? optionalArray(request, "disallowedTools")
+                            : undefined;
+                        const executed = await agentRun({
+                            agent: string(request, "agent"),
+                            prompt: string(request, "prompt"),
+                            cwd: string(request, "cwd"),
+                            // Presence-based forwarding, NOT truthiness: sandboxMode:"" must reach
+                            // runner/background discriminant validation and be rejected there — a
+                            // truthy check silently drops it and the run falls back to the default
+                            // (workspace-write for claude bg), bypassing the caller's intent.
+                            ...(model !== undefined ? { model } : {}),
+                            ...(sandboxMode !== undefined ? { sandboxMode: sandboxMode } : {}),
+                            ...(typeof request.background === "boolean" ? { background: request.background } : {}),
+                            ...(allowedTools !== undefined ? { allowedTools } : {}),
+                            ...(disallowedTools !== undefined ? { disallowedTools } : {}),
+                            ...(context.onAgentEvent !== undefined ? { onEvent: context.onAgentEvent } : {}),
+                        });
+                        response = "status" in executed ? { ...executed } : { status: "complete", ...executed };
+                        break;
+                    }
+                    case "stratum_agent_poll":
+                        response = await agentPoll(string(request, "runId"));
+                        break;
+                    case "stratum_cancel_agent_run":
+                        response = await agentCancel(string(request, "runId"));
+                        break;
+                    case "stratum_guard_register": {
+                        const { registerGuard } = await import("../guard/transition.js");
+                        response = await registerGuard(string(request, "resource_id"), record(request, "graph"), record(request, "edge_predicates"), string(request, "initial"), optionalArray(request, "terminal"), optionalRecord(request, "stakes"), optionalString(request, "workspace_root") ?? null);
+                        break;
+                    }
+                    case "stratum_guard_transition": {
+                        const { guardTransition } = await import("../guard/transition.js");
+                        response = await guardTransition(string(request, "resource_id"), string(request, "from_state"), string(request, "to_state"), {
+                            artifacts: record(request, "artifacts"), modifiedFiles: optionalArray(request, "modified_files"), idempotencyKey: optionalString(request, "idempotency_key") ?? null, resolvedBy: optionalString(request, "resolved_by") ?? "agent",
+                            ...(dependencies.guardJudge !== undefined ? { judge: dependencies.guardJudge } : {}),
+                        });
+                        break;
+                    }
+                    case "stratum_guard_override": {
+                        const { guardOverride } = await import("../guard/transition.js");
+                        response = await guardOverride(string(request, "resource_id"), string(request, "from_state"), string(request, "to_state"), string(request, "override_token"), string(request, "rationale"), optionalString(request, "resolved_by") ?? "human");
+                        break;
+                    }
+                    case "stratum_guard_migrate": {
+                        const { guardMigrate } = await import("../guard/transition.js");
+                        response = await guardMigrate(string(request, "resource_id"), record(request, "new_graph"), record(request, "new_edge_predicates"), string(request, "override_token"), string(request, "rationale"), optionalArray(request, "new_terminal"), optionalRecord(request, "new_stakes"));
+                        break;
+                    }
+                    case "stratum_guard_history": {
+                        const { guardHistory } = await import("../guard/transition.js");
+                        response = guardHistory(string(request, "resource_id"));
+                        break;
+                    }
+                }
+                if ((tool === "stratum_audit" || tool === "stratum_flow_poll" || tool === "stratum_flow_bg_poll") && Array.isArray(response.events)) {
+                    for (const event of response.events)
+                        await assertEvent(event);
+                }
+                await assertToolResponse(tool, response);
+                return response;
+            }
+            catch (error) {
+                if (tool === "stratum_flow_run_bg" && error instanceof SpecValidationError
+                    && error.errors.some((entry) => entry.code === "consumer_dispatch_bg_unsupported")) {
+                    const code = "consumer_dispatch_bg_unsupported";
+                    const data = { code, errors: error.errors };
+                    const declaration = (await mcpSurface()).errors[code];
+                    if (!declaration)
+                        throw new Error(`MCP error registry is missing ${code}`);
+                    assertShape(data, declaration.data, `errors.${code}.data`);
+                    throw new McpError(ErrorCode.InvalidParams, error.message, data);
+                }
+                if ((tool === "stratum_commit" || tool === "stratum_revert") && error instanceof CheckpointOperationError) {
+                    const response = checkpointErrorEnvelope(error);
+                    await assertToolResponse(tool, response);
+                    return response;
+                }
+                if (!tool.startsWith("stratum_guard_"))
+                    throw error;
+                const response = guardErrorEnvelope(error);
+                await assertToolResponse(tool, response);
+                return response;
+            }
+        },
+    };
+}
+export async function createMcpServer(dependencies = {}) {
+    const dispatcher = createToolDispatcher(dependencies);
+    const surface = await mcpSurface();
+    const server = new Server({ name: "stratum-mcp", version: SERVER_VERSION }, { capabilities: { tools: {} } });
+    server.setRequestHandler(ListToolsRequestSchema, async () => ({
+        tools: Object.entries(surface.tools).map(([name, definition]) => ({
+            name,
+            description: definition.description ?? `Stratum ${name.slice("stratum_".length)}`,
+            inputSchema: jsonSchema(definition.request),
+        })),
+    }));
+    const heartbeatMs = dependencies.heartbeatMs ?? 15_000;
+    server.setRequestHandler(CallToolRequestSchema, async (request, extra) => {
+        const progressToken = request.params._meta?.progressToken;
+        let progressSeq = 0;
+        const sendProgress = async (message) => {
+            if (progressToken === undefined)
+                return;
+            progressSeq += 1;
+            try {
+                await extra.sendNotification({
+                    method: "notifications/progress",
+                    params: { progressToken, progress: progressSeq, ...(message !== undefined ? { message } : {}) },
+                });
+            }
+            catch { /* transport gone — the call itself will surface the failure */ }
+        };
+        let heartbeat;
+        if (progressToken !== undefined) {
+            heartbeat = setInterval(() => {
+                void sendProgress();
+            }, heartbeatMs);
+            heartbeat.unref?.();
+        }
+        try {
+            let context;
+            if (request.params.name === "stratum_agent_run" && progressToken !== undefined) {
+                const flowId = randomUUID();
+                let eventSeq = 0;
+                context = {
+                    onAgentEvent: async (event) => {
+                        const message = JSON.stringify({
+                            schema_version: "0.2.7",
+                            flow_id: flowId,
+                            step_id: "_agent_run",
+                            seq: eventSeq,
+                            ts: new Date().toISOString(),
+                            kind: event.kind,
+                            metadata: event.metadata,
+                            reply_required: false,
+                        });
+                        eventSeq += 1;
+                        await sendProgress(message);
+                    },
+                };
+            }
+            const payload = await dispatcher.call(request.params.name, request.params.arguments ?? {}, context);
+            return { content: [{ type: "text", text: JSON.stringify(payload) }], structuredContent: payload };
+        }
+        finally {
+            if (heartbeat !== undefined)
+                clearInterval(heartbeat);
+        }
+    });
+    return server;
+}
+export async function serveStdio() {
+    const engine = defaultEngine();
+    await engine.rehydrateBgFlows();
+    const server = await createMcpServer({ engine });
+    await server.connect(new StdioServerTransport());
+}
+function auditResponse(audit) {
+    return { status: audit.status, runId: audit.runId, events: audit.events, steps: audit.steps, flowSpent: audit.flowSpent, ...(audit.output !== undefined ? { output: audit.output } : {}) };
+}
+function flowPollResponse(response) { return { ...response }; }
+function bgFlowPollResponse(response) {
+    const gateStepId = response.bg.pendingGates[0];
+    return { ...response, bg: { ...response.bg, ...(gateStepId !== undefined ? { gateStepId } : {}) } };
+}
+function option(request, key) { const value = optionalString(request, key); return value ? { workspaceRoot: value } : {}; }
+function string(request, key) { const value = request[key]; if (typeof value !== "string")
+    throw new Error(`${key} must be a string`); return value; }
+function optionalString(request, key) { const value = request[key]; return typeof value === "string" ? value : undefined; }
+function optionalNumber(request, key) { const value = request[key]; return typeof value === "number" ? value : undefined; }
+function record(request, key) { const value = request[key]; if (typeof value !== "object" || value === null || Array.isArray(value))
+    throw new Error(`${key} must be an object`); return value; }
+function optionalArray(request, key) { const value = request[key]; return Array.isArray(value) ? value : []; }
+function optionalRecord(request, key) { const value = request[key]; return typeof value === "object" && value !== null && !Array.isArray(value) ? value : {}; }
+function speckitErrorEnvelope(error) {
+    if (error instanceof SpeckitCompileError)
+        return { status: "error", error_type: error.kind, message: error.message };
+    return { status: "error", error_type: "compile_error", message: error instanceof Error ? error.message : String(error) };
+}
+function guardErrorEnvelope(error) {
+    if (typeof error === "object" && error !== null && "errorType" in error && typeof error.errorType === "string" && "message" in error && typeof error.message === "string") {
+        return { status: "error", error_type: error.errorType, message: error.message };
+    }
+    if (error instanceof Error)
+        return { status: "error", error_type: error.name || "unexpected_error", message: error.message };
+    return { status: "error", error_type: "unexpected_error", message: String(error) };
+}
+function checkpointErrorEnvelope(error) {
+    return {
+        status: "error",
+        error_type: error.errorType,
+        message: error.message,
+        ...(error.available !== undefined ? { available: [...error.available] } : {}),
+    };
+}
+function jsonSchema(shape) {
+    validateShape(shape, "schema");
+    return schemaForValidated(shape);
+}
+export function schemaFor(shape) {
+    validateShape(shape, "schema");
+    return schemaForValidated(shape);
+}
+function schemaForValidated(shape) {
+    if (typeof shape === "string") {
+        if (shape === "any")
+            return {};
+        if (shape === "array")
+            return { type: "array" };
+        if (shape === "object")
+            return { type: "object" };
+        if (shape === "null")
+            return { type: "null" };
+        if (shape.includes("|"))
+            return { anyOf: shape.split("|").map((alternative) => schemaForValidated(alternative)) };
+        return { type: shape };
+    }
+    if ("$array" in shape)
+        return { type: "array", items: schemaForValidated(shape.$array) };
+    if ("$oneOf" in shape) {
+        return { oneOf: shape.$oneOf.map((variant) => schemaForValidated(variant)) };
+    }
+    const properties = {};
+    const required = [];
+    for (const [rawKey, child] of Object.entries(shape)) {
+        const optional = rawKey.endsWith("?");
+        const key = optional ? rawKey.slice(0, -1) : rawKey;
+        properties[key] = schemaForValidated(child);
+        if (!optional)
+            required.push(key);
+    }
+    return { type: "object", properties, ...(required.length ? { required } : {}), additionalProperties: false };
+}
+//# sourceMappingURL=server.js.map

package/dist/mcp/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../../src/mcp/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,SAAS,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AACxH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAE1F,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,aAAa,EAAwF,MAAM,qBAAqB,CAAC;AACzL,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,UAAU,EAAE,aAAa,EAA+B,MAAM,gBAAgB,CAAC;AAEzJ,+EAA+E;AAC/E,yEAAyE;AACzE,wEAAwE;AACxE,oCAAoC;AACpC,MAAM,cAAc,GAAW,IAAI,CAAC,KAAK,CACvC,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CACrE,CAAC,OAAO,CAAC;AA+BV;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC/D,MAAM,QAAQ,GAAG,GAAG,CAAC,qBAAqB,CAAC;IAC3C,IAAI,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC;IACnE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QACrH,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9I,OAAO,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;AACjD,CAAC;AAED,SAAS,aAAa;IACpB,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,KAAK,QAAQ;QAChC,CAAC,CAAC,CAAC,SAA+C,EAAE,OAA6C,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC;QACxI,CAAC,CAAC,OAAO,KAAK,OAAO;YACnB,CAAC,CAAC,CAAC,SAA+C,EAAE,OAA6C,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC;YAChJ,CAAC,CAAC,kBAAkB,EAAE,CAAC;IAC3B,OAAO,IAAI,aAAa,CAAC;QACvB,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,SAAS,EAAE,eAAe,EAAE;QAC5B,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,eAAgC,EAAE;IACrE,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,IAAI,QAAQ,CAAC;IACnD,MAAM,SAAS,GAAG,YAAY,CAAC,iBAAiB,IAAI,iBAAiB,CAAC;IACtE,MAAM,WAAW,GAAG,YAAY,CAAC,mBAAmB,IAAI,mBAAmB,CAAC;IAC5E,OAAO;QACL,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,EAAE;YACpC,IAAI,CAAC;gBACH,MAAM,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACvC,IAAI,QAAiC,CAAC;gBACtC,QAAQ,IAAI,EAAE,CAAC;oBACf,KAAK,yBAAyB,CAAC,CAAC,CAAC;wBAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;wBAC9C,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC;wBACjE,IAAI,CAAC;4BACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gCAC1C,QAAQ,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,OAAO,EAAE,cAAc,QAAQ,sBAAsB,EAAE,CAAC;gCACzH,MAAM;4BACR,CAAC;wBACH,CAAC;wBAAC,MAAM,CAAC;4BACP,QAAQ,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,OAAO,EAAE,cAAc,QAAQ,sBAAsB,EAAE,CAAC;4BACzH,MAAM;wBACR,CAAC;wBACD,IAAI,CAAC;4BACH,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;4BAC1D,QAAQ,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;wBACxG,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;wBACzC,CAAC;wBACD,MAAM;oBACR,CAAC;oBACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;wBACxB,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBAC9C,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;wBAClG,MAAM;oBACR,CAAC;oBACD,KAAK,cAAc;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACxH,KAAK,mBAAmB;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACpL,KAAK,gBAAgB;wBAAE,QAAQ,GAAG,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;wBAAC,MAAM;oBAC1H,KAAK,gBAAgB;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACnH,KAAK,gBAAgB;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACvF,KAAK,eAAe;wBAAE,QAAQ,GAAG,aAAa,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACpG,KAAK,sBAAsB;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAkC,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACzN,KAAK,mBAAmB;wBAAE,QAAQ,GAAG,gBAAgB,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACjJ,KAAK,qBAAqB;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACpI,KAAK,sBAAsB;wBAAE,QAAQ,GAAG,kBAAkB,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACxJ,KAAK,wBAAwB;wBAAE,QAAQ,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACrG,KAAK,mBAAmB,CAAC,CAAC,CAAC;wBACzB,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;wBAC/C,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;wBAC3D,iFAAiF;wBACjF,mFAAmF;wBACnF,mFAAmF;wBACnF,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC;4BACtD,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,cAAc,CAAC;4BACxC,CAAC,CAAC,SAAS,CAAC;wBACd,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;4BAC5D,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,iBAAiB,CAAC;4BAC3C,CAAC,CAAC,SAAS,CAAC;wBACd,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC;4BAC9B,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAuB;4BACrD,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;4BACjC,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC;4BAC3B,uEAAuE;4BACvE,sEAAsE;4BACtE,uEAAuE;4BACvE,kEAAkE;4BAClE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,WAA8C,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BACrG,GAAG,CAAC,OAAO,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BACtF,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BACvD,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC7D,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACjF,CAAC,CAAC;wBACH,QAAQ,GAAG,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,CAAC;wBACxF,MAAM;oBACR,CAAC;oBACD,KAAK,oBAAoB;wBAAE,QAAQ,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;wBAAC,MAAM;oBACvF,KAAK,0BAA0B;wBAAE,QAAQ,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;wBAAC,MAAM;oBAC/F,KAAK,wBAAwB,CAAC,CAAC,CAAC;wBAC9B,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;wBACjE,QAAQ,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAA6B,EAAE,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAmD,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,gBAAgB,CAAC,IAAI,IAAI,CAAC,CAAC;wBACjW,MAAM;oBACR,CAAC;oBACD,KAAK,0BAA0B,CAAC,CAAC,CAAC;wBAChC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;wBACnE,QAAQ,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE;4BAC3H,SAAS,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAA2B,EAAE,aAAa,EAAE,aAAa,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,cAAc,EAAE,cAAc,CAAC,OAAO,EAAE,iBAAiB,CAAC,IAAI,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,OAAO;4BAC7P,GAAG,CAAC,YAAY,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACrF,CAAC,CAAC;wBACH,MAAM;oBACR,CAAC;oBACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;wBAC9B,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;wBACjE,QAAQ,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,OAAO,CAAC,CAAC;wBAC/O,MAAM;oBACR,CAAC;oBACD,KAAK,uBAAuB,CAAC,CAAC,CAAC;wBAC7B,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;wBAChE,QAAQ,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAA6B,EAAE,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAmD,EAAE,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;wBAClW,MAAM;oBACR,CAAC;oBACD,KAAK,uBAAuB,CAAC,CAAC,CAAC;wBAC7B,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;wBAChE,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;wBACxD,MAAM;oBACR,CAAC;gBACH,CAAC;gBACC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,mBAAmB,IAAI,IAAI,KAAK,sBAAsB,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBACpI,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM;wBAAE,MAAM,WAAW,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC;gBACD,MAAM,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC;YAClB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,IAAI,KAAK,qBAAqB,IAAI,KAAK,YAAY,mBAAmB;uBACrE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,kCAAkC,CAAC,EAAE,CAAC;oBACrF,MAAM,IAAI,GAAG,kCAAkC,CAAC;oBAChD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5C,MAAM,WAAW,GAAG,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACtD,IAAI,CAAC,WAAW;wBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAC;oBAC3E,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,IAAI,OAAO,CAAC,CAAC;oBAC3D,MAAM,IAAI,QAAQ,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACnE,CAAC;gBACD,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,gBAAgB,CAAC,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;oBAC1G,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;oBAChD,MAAM,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;oBACzC,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC;oBAAE,MAAM,KAAK,CAAC;gBACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBAC3C,MAAM,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,eAAgC,EAAE;IACtE,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,UAAU,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7G,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5D,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;YAChE,IAAI;YACJ,WAAW,EAAG,UAA2D,CAAC,WAAW,IAAI,WAAW,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;YACnI,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC;SAC5C,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,YAAY,CAAC,WAAW,IAAI,MAAM,CAAC;IACvD,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;QACvE,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC;QAC1D,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,MAAM,YAAY,GAAG,KAAK,EAAE,OAAgB,EAAiB,EAAE;YAC7D,IAAI,aAAa,KAAK,SAAS;gBAAE,OAAO;YACxC,WAAW,IAAI,CAAC,CAAC;YACjB,IAAI,CAAC;gBACH,MAAM,KAAK,CAAC,gBAAgB,CAAC;oBAC3B,MAAM,EAAE,wBAAwB;oBAChC,MAAM,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;iBAChG,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC,CAAC,+DAA+D,CAAC,CAAC;QAC7E,CAAC,CAAC;QACF,IAAI,SAAqC,CAAC;QAC1C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE;gBAC3B,KAAK,YAAY,EAAE,CAAC;YACtB,CAAC,EAAE,WAAW,CAAC,CAAC;YAChB,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QACtB,CAAC;QACD,IAAI,CAAC;YACH,IAAI,OAAoC,CAAC;YACzC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC/E,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;gBAC5B,IAAI,QAAQ,GAAG,CAAC,CAAC;gBACjB,OAAO,GAAG;oBACR,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;wBAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;4BAC7B,cAAc,EAAE,OAAO;4BACvB,OAAO,EAAE,MAAM;4BACf,OAAO,EAAE,YAAY;4BACrB,GAAG,EAAE,QAAQ;4BACb,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;4BAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;4BACxB,cAAc,EAAE,KAAK;yBACtB,CAAC,CAAC;wBACH,QAAQ,IAAI,CAAC,CAAC;wBACd,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;oBAC9B,CAAC;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;YAChH,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC;QACpG,CAAC;gBAAS,CAAC;YACT,IAAI,SAAS,KAAK,SAAS;gBAAE,aAAa,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU;IAC9B,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,MAAM,CAAC,gBAAgB,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,oBAAoB,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CAAC,KAAiB;IACtC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC7L,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA0B,IAA6B,OAAO,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC;AAC1G,SAAS,kBAAkB,CAAC,QAA4B;IACtD,MAAM,UAAU,GAAG,QAAQ,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;AACtG,CAAC;AACD,SAAS,MAAM,CAAC,OAAgC,EAAE,GAAW,IAAgC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxL,SAAS,MAAM,CAAC,OAAgC,EAAE,GAAW,IAAY,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ;IAAE,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC;AAC/L,SAAS,cAAc,CAAC,OAAgC,EAAE,GAAW,IAAwB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAChL,SAAS,cAAc,CAAC,OAAgC,EAAE,GAAW,IAAwB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAChL,SAAS,MAAM,CAAC,OAAgC,EAAE,GAAW,IAA6B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAAE,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,OAAO,KAAgC,CAAC,CAAC,CAAC;AACtR,SAAS,aAAa,CAAC,OAAgC,EAAE,GAAW,IAAc,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrK,SAAS,cAAc,CAAC,OAAgC,EAAE,GAAW,IAA4B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAA+B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClP,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,YAAY,mBAAmB;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IACrH,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC3H,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC1K,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAClF,CAAC;IACD,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,IAAI,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7H,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,SAAS,uBAAuB,CAAC,KAA+B;IAC9D,OAAO;QACL,MAAM,EAAE,OAAO;QACf,UAAU,EAAE,KAAK,CAAC,SAAS;QAC3B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAA8B;IAChD,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/B,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AACD,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/B,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAY;IACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,KAAK,KAAK,KAAK;YAAE,OAAO,EAAE,CAAC;QAC/B,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAChD,IAAI,KAAK,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAClD,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;QAClH,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,QAAQ,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACzF,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,KAAK,EAAG,KAAoB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IAC/F,CAAC;IAED,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACpD,UAAU,CAAC,GAAG,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;AAC/G,CAAC"}

package/dist/migrate/check.js

@@ -0,0 +1,164 @@
+import { parseDocument } from "yaml";
+// This is intentionally a usage classifier, not a transformation registry. The
+// prose mirrors the v0.x -> v1 table in STRAT-TS-PORT/design.md so each report
+// remains useful even when a legacy document is only partially valid.
+const GUIDANCE = [
+    { id: "function-infer", python: "function decl mode: infer + step", v1: "task (agent from step; inline declaration)", note: "agent-dispatched", status: "supported" },
+    { id: "function-compute", python: "function decl mode: compute + step", v1: "task (agent-dispatched)", note: "Python compute is dispatched; do not map it to set", status: "supported" },
+    { id: "function-gate", python: "function decl mode: gate + step", v1: "gate construct", note: "carry routing fields", status: "supported" },
+    { id: "inline", python: "inline step", v1: "task", note: "", status: "supported" },
+    { id: "judge-fold", python: "judge deterministic/judged predicates", v1: "ensures on its single antecedent", note: "zero or multiple antecedents need a diagnostic", status: "diagnostic" },
+    { id: "judge-unsupported", python: "judge verified/applied_gate/budgets", v1: "UNSUPPORTED", note: "fold manually or keep on Python", status: "unsupported" },
+    { id: "iterate", python: "max_iterations + exit_criterion", v1: "iterate: { max, until }", note: "", status: "supported" },
+    { id: "score-accumulate", python: "score_expr/accumulate/accumulate_key", v1: "UNSUPPORTED", note: "", status: "unsupported" },
+    { id: "decompose", python: "decompose without task depends_on", v1: "task contract tasks: T[] plus fanout", note: "TaskGraph uses .tasks", status: "supported" },
+    { id: "decompose-dependencies", python: "TaskGraph tasks with depends_on", v1: "UNSUPPORTED", note: "v1 fanout has no cross-item dependencies", status: "unsupported" },
+    { id: "parallel-dispatch", python: "parallel_dispatch", v1: "fanout", note: "source/intent/concurrency/worktree-none/require/merge map by re-authoring", status: "supported" },
+    { id: "parallel-unsupported", python: "branch/manual/reference pre_merge/certificates/timeouts/diff/deferred", v1: "UNSUPPORTED", note: "", status: "unsupported" },
+    { id: "pipeline-when", python: "pipeline stages with when", v1: "fanout steps with when", note: "", status: "supported" },
+    { id: "pipeline-nested", python: "pipeline stages with nested fanout/join regions", v1: "UNSUPPORTED", note: "flatten the region or keep on Python", status: "unsupported" },
+    { id: "pipeline-exit", python: "pipeline exit_when", v1: "UNSUPPORTED", note: "not iterate.until", status: "unsupported" },
+    { id: "subflow", python: "flow step", v1: "subflow run", note: "non-recursive", status: "supported" },
+    { id: "max-rounds", python: "flow max_rounds", v1: "flow max_rounds", note: "same revise budget", status: "supported" },
+    { id: "missing-max-rounds", python: "revise gate without flow max_rounds", v1: "explicit max_rounds", note: "start at 3; v1 forbids unlimited revision", status: "diagnostic" },
+    { id: "depends-on", python: "depends_on", v1: "refs plus after", note: "retain dependencies not implied by refs", status: "supported" },
+    { id: "skip-if", python: "skip_if", v1: "when", note: "invert its sense", status: "supported" },
+    { id: "next", python: "next", v1: "DAG edges and gate routing", note: "irreducible jumps need a diagnostic", status: "diagnostic" },
+    { id: "on-fail", python: "on_fail", v1: "on_fail to a topologically later step", note: "backward graphs are unsupported", status: "diagnostic" },
+    { id: "ensure-expressions", python: "ensure/exit_criterion expressions", v1: "v1 expression grammar", note: "untranslatable expressions need a diagnostic", status: "diagnostic" },
+    { id: "contracts", python: "contracts/output_schema", v1: "contract language", note: "only the enumerated type subset maps", status: "diagnostic" },
+    { id: "flow-output", python: "route-dependent final output", v1: "output: { from, contract }", note: "requires a unique static terminal producer", status: "diagnostic" },
+];
+const guidanceById = new Map(GUIDANCE.map((item) => [item.id, item]));
+function record(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function collectTaskDepends(value) {
+    if (Array.isArray(value))
+        return value.some((item) => record(item) && Array.isArray(item.depends_on) && item.depends_on.length > 0 || collectTaskDepends(item));
+    if (!record(value))
+        return false;
+    return Object.entries(value).some(([key, child]) => key !== "depends_on" && collectTaskDepends(child));
+}
+/** Classify a parsed Python-era IR without validating or translating it. */
+export function checkLegacySpec(input) {
+    const found = new Map();
+    const add = (id, path) => {
+        const paths = found.get(id) ?? [];
+        paths.push(path);
+        found.set(id, paths);
+    };
+    if (!record(input)) {
+        return { findings: [{ id: "unreadable", python: "legacy document", v1: "none", note: "YAML root must be a mapping", status: "diagnostic", paths: ["root"] }] };
+    }
+    const version = typeof input.version === "string" || typeof input.version === "number" ? String(input.version) : undefined;
+    if (version !== "0.1" && version !== "0.2" && version !== "0.3")
+        add("unreadable", "version");
+    if (record(input.contracts))
+        add("contracts", "contracts");
+    const functions = record(input.functions) ? input.functions : {};
+    for (const [name, definition] of Object.entries(functions)) {
+        if (!record(definition))
+            continue;
+        const mode = definition.mode;
+        if (mode === "infer")
+            add("function-infer", `functions.${name}.mode`);
+        if (mode === "compute")
+            add("function-compute", `functions.${name}.mode`);
+        if (mode === "gate")
+            add("function-gate", `functions.${name}.mode`);
+        if (Array.isArray(definition.ensure))
+            add("ensure-expressions", `functions.${name}.ensure`);
+    }
+    const flows = record(input.flows) ? input.flows : {};
+    for (const [name, flow] of Object.entries(flows)) {
+        if (!record(flow))
+            continue;
+        const flowPath = `flows.${name}`;
+        if (flow.max_rounds !== undefined)
+            add("max-rounds", `${flowPath}.max_rounds`);
+        if (flow.output !== undefined)
+            add("flow-output", `${flowPath}.output`);
+        const steps = Array.isArray(flow.steps) ? flow.steps : [];
+        for (const [index, step] of steps.entries()) {
+            if (!record(step))
+                continue;
+            const stepPath = `${flowPath}.steps[${index}]`;
+            const type = step.type;
+            if (type === "inline" || step.intent !== undefined && step.function === undefined && step.flow === undefined)
+                add("inline", stepPath);
+            if (type === "flow" || step.flow !== undefined)
+                add("subflow", stepPath);
+            if (type === "decompose")
+                add(collectTaskDepends(step) ? "decompose-dependencies" : "decompose", stepPath);
+            if (type === "parallel_dispatch") {
+                add("parallel-dispatch", stepPath);
+                if (step.isolation === "branch" || step.merge === "manual" || typeof step.pre_merge_verify === "string" || step.reasoning_template !== undefined || step.task_reasoning_template !== undefined || step.task_timeout !== undefined || step.capture_diff === true || step.defer_advance === true)
+                    add("parallel-unsupported", stepPath);
+            }
+            if (type === "pipeline") {
+                const stages = Array.isArray(step.stages) ? step.stages : [];
+                if (stages.some((stage) => record(stage) && stage.when !== undefined))
+                    add("pipeline-when", `${stepPath}.stages`);
+                if (stages.some((stage) => record(stage) && stage.exit_when !== undefined))
+                    add("pipeline-exit", `${stepPath}.stages`);
+                if (stages.some((stage) => record(stage) && (stage.fanout !== undefined || stage.join !== undefined)))
+                    add("pipeline-nested", `${stepPath}.stages`);
+            }
+            if (record(step.judge)) {
+                const predicates = Array.isArray(step.judge.predicates) ? step.judge.predicates : [];
+                if (predicates.some((predicate) => record(predicate) && (predicate.type === "deterministic" || predicate.type === "judged")))
+                    add("judge-fold", `${stepPath}.judge.predicates`);
+                if (step.judge.budget !== undefined || predicates.some((predicate) => record(predicate) && (predicate.type === "verified" || predicate.applied_gate !== undefined)))
+                    add("judge-unsupported", `${stepPath}.judge`);
+            }
+            if (step.max_iterations !== undefined || step.exit_criterion !== undefined)
+                add("iterate", stepPath);
+            if (step.exit_criterion !== undefined || Array.isArray(step.ensure))
+                add("ensure-expressions", stepPath);
+            if (step.score_expr !== undefined || step.accumulate !== undefined || step.accumulate_key !== undefined)
+                add("score-accumulate", stepPath);
+            if (Array.isArray(step.depends_on) && step.depends_on.length)
+                add("depends-on", `${stepPath}.depends_on`);
+            if (step.skip_if !== undefined)
+                add("skip-if", `${stepPath}.skip_if`);
+            if (step.next !== undefined)
+                add("next", `${stepPath}.next`);
+            if (step.on_fail !== undefined)
+                add("on-fail", `${stepPath}.on_fail`);
+            if (step.output_schema !== undefined || step.output_contract !== undefined)
+                add("contracts", stepPath);
+            if (step.on_revise !== undefined && flow.max_rounds === undefined)
+                add("missing-max-rounds", `${stepPath}.on_revise`);
+        }
+    }
+    const findings = [...found.entries()].map(([id, paths]) => {
+        if (id === "unreadable")
+            return { id, python: "legacy document", v1: "none", note: "expected version 0.1, 0.2, or 0.3", status: "diagnostic", paths };
+        const item = guidanceById.get(id);
+        return { ...item, paths };
+    });
+    return { ...(version ? { version } : {}), findings };
+}
+/** Parse YAML only; any parse failure is a report diagnostic, never an exception. */
+export function checkLegacyYaml(source) {
+    const document = parseDocument(source, { prettyErrors: false });
+    if (document.errors.length > 0) {
+        return { findings: [{ id: "unreadable", python: "legacy document", v1: "none", note: document.errors.map((error) => error.message).join("; "), status: "diagnostic", paths: ["root"] }] };
+    }
+    return checkLegacySpec(document.toJS());
+}
+export function renderCompatReport(report) {
+    const heading = `stratum migrate --check${report.version ? ` (v${report.version})` : ""}`;
+    const lines = [heading, "report-only: no YAML was emitted or translated"];
+    if (report.findings.length === 0)
+        lines.push("No mapped legacy constructs found.");
+    for (const finding of report.findings) {
+        lines.push(`- [${finding.status.toUpperCase()}] ${finding.python} -> ${finding.v1}`);
+        if (finding.note)
+            lines.push(`  ${finding.note}`);
+        lines.push(`  at: ${finding.paths.join(", ")}`);
+    }
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=check.js.map

package/dist/migrate/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/migrate/check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AA0BrC,+EAA+E;AAC/E,+EAA+E;AAC/E,sEAAsE;AACtE,MAAM,QAAQ,GAAe;IAC3B,EAAE,EAAE,EAAE,gBAAgB,EAAE,MAAM,EAAE,kCAAkC,EAAE,EAAE,EAAE,4CAA4C,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,WAAW,EAAE;IACrK,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,oCAAoC,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,oDAAoD,EAAE,MAAM,EAAE,WAAW,EAAE;IACxL,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,iCAAiC,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,WAAW,EAAE;IAC3I,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;IAClF,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,uCAAuC,EAAE,EAAE,EAAE,kCAAkC,EAAE,IAAI,EAAE,gDAAgD,EAAE,MAAM,EAAE,YAAY,EAAE;IAC3L,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,qCAAqC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,iCAAiC,EAAE,MAAM,EAAE,aAAa,EAAE;IAC7J,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,iCAAiC,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;IAC1H,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,sCAAsC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE;IAC9H,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,mCAAmC,EAAE,EAAE,EAAE,sCAAsC,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,WAAW,EAAE;IAChK,EAAE,EAAE,EAAE,wBAAwB,EAAE,MAAM,EAAE,iCAAiC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,0CAA0C,EAAE,MAAM,EAAE,aAAa,EAAE;IACvK,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,2EAA2E,EAAE,MAAM,EAAE,WAAW,EAAE;IAC9K,EAAE,EAAE,EAAE,sBAAsB,EAAE,MAAM,EAAE,uEAAuE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE;IACnK,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,2BAA2B,EAAE,EAAE,EAAE,wBAAwB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;IACzH,EAAE,EAAE,EAAE,iBAAiB,EAAE,MAAM,EAAE,iDAAiD,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,sCAAsC,EAAE,MAAM,EAAE,aAAa,EAAE;IAC5K,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,oBAAoB,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,aAAa,EAAE;IAC1H,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE;IACrG,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,WAAW,EAAE;IACvH,EAAE,EAAE,EAAE,oBAAoB,EAAE,MAAM,EAAE,qCAAqC,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,2CAA2C,EAAE,MAAM,EAAE,YAAY,EAAE;IAC/K,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,yCAAyC,EAAE,MAAM,EAAE,WAAW,EAAE;IACvI,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,WAAW,EAAE;IAC/F,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,4BAA4B,EAAE,IAAI,EAAE,qCAAqC,EAAE,MAAM,EAAE,YAAY,EAAE;IACnI,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,uCAAuC,EAAE,IAAI,EAAE,iCAAiC,EAAE,MAAM,EAAE,YAAY,EAAE;IAChJ,EAAE,EAAE,EAAE,oBAAoB,EAAE,MAAM,EAAE,mCAAmC,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,8CAA8C,EAAE,MAAM,EAAE,YAAY,EAAE;IAClL,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,yBAAyB,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,sCAAsC,EAAE,MAAM,EAAE,YAAY,EAAE;IACnJ,EAAE,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,8BAA8B,EAAE,EAAE,EAAE,4BAA4B,EAAE,IAAI,EAAE,4CAA4C,EAAE,MAAM,EAAE,YAAY,EAAE;CAC1K,CAAC;AAEF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAGtE,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IAChK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,YAAY,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;AACzG,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACvB,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;IACjK,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3H,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK;QAAE,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC9F,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;QAAE,GAAG,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,SAAS;QAClC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;QAC7B,IAAI,IAAI,KAAK,OAAO;YAAE,GAAG,CAAC,gBAAgB,EAAE,aAAa,IAAI,OAAO,CAAC,CAAC;QACtE,IAAI,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,IAAI,OAAO,CAAC,CAAC;QAC1E,IAAI,IAAI,KAAK,MAAM;YAAE,GAAG,CAAC,eAAe,EAAE,aAAa,IAAI,OAAO,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,IAAI,SAAS,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5B,MAAM,QAAQ,GAAG,SAAS,IAAI,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;YAAE,GAAG,CAAC,YAAY,EAAE,GAAG,QAAQ,aAAa,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,aAAa,EAAE,GAAG,QAAQ,SAAS,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5B,MAAM,QAAQ,GAAG,GAAG,QAAQ,UAAU,KAAK,GAAG,CAAC;YAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACtI,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,IAAI,KAAK,WAAW;gBAAE,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YAC3G,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACjC,GAAG,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,gBAAgB,KAAK,QAAQ,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,IAAI,IAAI,CAAC,uBAAuB,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI;oBAAE,GAAG,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC;YACxU,CAAC;YACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7D,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;oBAAE,GAAG,CAAC,eAAe,EAAE,GAAG,QAAQ,SAAS,CAAC,CAAC;gBAClH,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;oBAAE,GAAG,CAAC,eAAe,EAAE,GAAG,QAAQ,SAAS,CAAC,CAAC;gBACvH,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;oBAAE,GAAG,CAAC,iBAAiB,EAAE,GAAG,QAAQ,SAAS,CAAC,CAAC;YACtJ,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;oBAAE,GAAG,CAAC,YAAY,EAAE,GAAG,QAAQ,mBAAmB,CAAC,CAAC;gBAChL,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC;oBAAE,GAAG,CAAC,mBAAmB,EAAE,GAAG,QAAQ,QAAQ,CAAC,CAAC;YACrN,CAAC;YACD,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;gBAAE,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACrG,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,GAAG,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAAC;YACzG,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;gBAAE,GAAG,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;YAC3I,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM;gBAAE,GAAG,CAAC,YAAY,EAAE,GAAG,QAAQ,aAAa,CAAC,CAAC;YAC1G,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,GAAG,CAAC,SAAS,EAAE,GAAG,QAAQ,UAAU,CAAC,CAAC;YACtE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,MAAM,EAAE,GAAG,QAAQ,OAAO,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,GAAG,CAAC,SAAS,EAAE,GAAG,QAAQ,UAAU,CAAC,CAAC;YACtE,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS;gBAAE,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACvG,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,GAAG,CAAC,oBAAoB,EAAE,GAAG,QAAQ,YAAY,CAAC,CAAC;QACxH,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE;QACxD,IAAI,EAAE,KAAK,YAAY;YAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,mCAAmC,EAAE,MAAM,EAAE,YAAqB,EAAE,KAAK,EAAE,CAAC;QAC/J,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACnC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;IAC5L,CAAC;IACD,OAAO,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,MAAM,OAAO,GAAG,0BAA0B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC1F,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,gDAAgD,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACnF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,MAAM,OAAO,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,IAAI,OAAO,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/parallel/certificate.js

@@ -0,0 +1,37 @@
+/**
+ * Port of executor.validate_certificate.
+ *
+ * Validates required headings and, when requested, premise citations in the
+ * final (conclusion) section.
+ */
+export function validateCertificate(template, result) {
+    const artifact = firstNonEmptyString(result.artifact, result.reasoning);
+    const violations = [];
+    const sections = template.sections ?? [];
+    for (const section of sections) {
+        const heading = `## ${section.label}`;
+        if (!artifact.includes(heading)) {
+            violations.push(`certificate missing section: ${section.label}`);
+        }
+    }
+    if (template.require_citations && violations.length === 0) {
+        if (sections.length === 0)
+            return violations;
+        const conclusion = sections[sections.length - 1];
+        if (!conclusion)
+            return violations;
+        const conclusionIndex = artifact.indexOf(`## ${conclusion.label}`);
+        if (conclusionIndex >= 0 && !/\[P\d+\]/.test(artifact.slice(conclusionIndex))) {
+            violations.push("certificate violation: conclusion contains no premise citations [P<n>]");
+        }
+    }
+    return violations;
+}
+function firstNonEmptyString(...values) {
+    for (const value of values) {
+        if (typeof value === "string" && value.length > 0)
+            return value;
+    }
+    return "";
+}
+//# sourceMappingURL=certificate.js.map