agentskeptic 0.1.1

package/dist/commercial/licensePreflight.test.js

@@ -0,0 +1,123 @@
+import { afterEach, beforeEach, describe, expect, it, vi } from "vitest";
+import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
+import { TruthLayerError } from "../truthLayerError.js";
+import { runLicensePreflightIfNeeded } from "./licensePreflight.js";
+vi.mock("../generated/commercialBuildFlags.js", () => ({
+    LICENSE_PREFLIGHT_ENABLED: true,
+    LICENSE_API_BASE_URL: "https://license.example.com",
+}));
+describe("runLicensePreflightIfNeeded", () => {
+    const keyNames = ["AGENTSKEPTIC_API_KEY", "WORKFLOW_VERIFIER_API_KEY"];
+    const orig = {};
+    beforeEach(() => {
+        for (const k of keyNames)
+            orig[k] = process.env[k];
+        vi.stubGlobal("fetch", vi.fn());
+    });
+    afterEach(() => {
+        vi.unstubAllGlobals();
+        vi.resetModules();
+        for (const k of keyNames) {
+            if (orig[k] === undefined)
+                delete process.env[k];
+            else
+                process.env[k] = orig[k];
+        }
+    });
+    it("throws LICENSE_KEY_MISSING when key unset", async () => {
+        delete process.env.AGENTSKEPTIC_API_KEY;
+        delete process.env.WORKFLOW_VERIFIER_API_KEY;
+        await expect(runLicensePreflightIfNeeded()).rejects.toMatchObject({
+            code: CLI_OPERATIONAL_CODES.LICENSE_KEY_MISSING,
+        });
+    });
+    it("returns when server allows", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({ allowed: true, plan: "starter", limit: 100, used: 1 }), {
+            status: 200,
+            headers: { "Content-Type": "application/json" },
+        }));
+        await runLicensePreflightIfNeeded("verify");
+        expect(fetch).toHaveBeenCalled();
+        const init = vi.mocked(fetch).mock.calls[0][1];
+        expect(JSON.parse(init.body)).toMatchObject({ intent: "verify" });
+    });
+    it("sends intent enforce when requested", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({ allowed: true, plan: "team", limit: 100, used: 1 }), {
+            status: 200,
+            headers: { "Content-Type": "application/json" },
+        }));
+        await runLicensePreflightIfNeeded("enforce");
+        const init = vi.mocked(fetch).mock.calls[0][1];
+        expect(JSON.parse(init.body)).toMatchObject({ intent: "enforce" });
+    });
+    it("throws VERIFICATION_REQUIRES_SUBSCRIPTION when server returns that code", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({
+            allowed: false,
+            code: "VERIFICATION_REQUIRES_SUBSCRIPTION",
+            message: "Subscribe first.",
+            upgrade_url: "https://example.com/pricing",
+        }), { status: 403, headers: { "Content-Type": "application/json" } }));
+        await expect(runLicensePreflightIfNeeded("verify")).rejects.toSatisfy((e) => e instanceof TruthLayerError &&
+            e.code === CLI_OPERATIONAL_CODES.VERIFICATION_REQUIRES_SUBSCRIPTION &&
+            e.message.includes("https://example.com/pricing"));
+    });
+    it("throws LICENSE_DENIED with upgrade_url for SUBSCRIPTION_INACTIVE", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({
+            allowed: false,
+            code: "SUBSCRIPTION_INACTIVE",
+            message: "Subscription is not active.",
+            upgrade_url: "https://example.com/pricing",
+        }), { status: 403, headers: { "Content-Type": "application/json" } }));
+        await expect(runLicensePreflightIfNeeded("verify")).rejects.toSatisfy((e) => e instanceof TruthLayerError &&
+            e.code === CLI_OPERATIONAL_CODES.LICENSE_DENIED &&
+            e.message.includes("https://example.com/pricing"));
+    });
+    it("throws LICENSE_DENIED for BILLING_PRICE_UNMAPPED with deployment wording", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({
+            allowed: false,
+            code: "BILLING_PRICE_UNMAPPED",
+            message: "This deployment does not recognize Stripe price id price_x. Align STRIPE_PRICE_* environment variables with your Stripe prices, redeploy, or contact the site operator.",
+            upgrade_url: "https://example.com/pricing",
+        }), { status: 403, headers: { "Content-Type": "application/json" } }));
+        await expect(runLicensePreflightIfNeeded("verify")).rejects.toSatisfy((e) => e instanceof TruthLayerError &&
+            e.code === CLI_OPERATIONAL_CODES.LICENSE_DENIED &&
+            e.message.includes("STRIPE_PRICE_") &&
+            e.message.includes("https://example.com/pricing") &&
+            !/portal|manage billing|\/account/i.test(e.message));
+    });
+    it("throws ENFORCEMENT_REQUIRES_PAID_PLAN when server returns that code", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({
+            allowed: false,
+            code: "ENFORCEMENT_REQUIRES_PAID_PLAN",
+            message: "Enforcing correctness in workflows requires a paid plan.",
+            upgrade_url: "https://example.com/pricing",
+        }), { status: 403, headers: { "Content-Type": "application/json" } }));
+        await expect(runLicensePreflightIfNeeded("enforce")).rejects.toSatisfy((e) => e instanceof TruthLayerError &&
+            e.code === CLI_OPERATIONAL_CODES.ENFORCEMENT_REQUIRES_PAID_PLAN &&
+            e.message.includes("https://example.com/pricing"));
+    });
+    it("throws LICENSE_DENIED on 403 body", async () => {
+        process.env.AGENTSKEPTIC_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({ allowed: false, code: "QUOTA_EXCEEDED", message: "Cap hit" }), { status: 403, headers: { "Content-Type": "application/json" } }));
+        await expect(runLicensePreflightIfNeeded("verify")).rejects.toSatisfy((e) => e instanceof TruthLayerError &&
+            e.code === CLI_OPERATIONAL_CODES.LICENSE_DENIED &&
+            e.message.includes("Cap hit"));
+    });
+    it("accepts legacy WORKFLOW_VERIFIER_API_KEY when AGENTSKEPTIC_API_KEY unset", async () => {
+        delete process.env.AGENTSKEPTIC_API_KEY;
+        process.env.WORKFLOW_VERIFIER_API_KEY = "wf_sk_live_test";
+        vi.mocked(fetch).mockResolvedValue(new Response(JSON.stringify({ allowed: true, plan: "starter", limit: 100, used: 1 }), {
+            status: 200,
+            headers: { "Content-Type": "application/json" },
+        }));
+        await runLicensePreflightIfNeeded("verify");
+        expect(fetch).toHaveBeenCalled();
+    });
+});
+//# sourceMappingURL=licensePreflight.test.js.map

package/dist/commercial/licensePreflight.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"licensePreflight.test.js","sourceRoot":"","sources":["../../src/commercial/licensePreflight.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,EAAE,CAAC,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE,CAAC,CAAC;IACrD,yBAAyB,EAAE,IAAI;IAC/B,oBAAoB,EAAE,6BAA6B;CACpD,CAAC,CAAC,CAAC;AAEJ,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,QAAQ,GAAG,CAAC,sBAAsB,EAAE,2BAA2B,CAAU,CAAC;IAChF,MAAM,IAAI,GAAmE,EAAE,CAAC;IAEhF,UAAU,CAAC,GAAG,EAAE;QACd,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,EAAE,CAAC,gBAAgB,EAAE,CAAC;QACtB,EAAE,CAAC,YAAY,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;;gBAC5C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,OAAO,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC;QACxC,OAAO,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;QAC7C,MAAM,MAAM,CAAC,2BAA2B,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;YAChE,IAAI,EAAE,qBAAqB,CAAC,mBAAmB;SAChD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE;YACpF,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;SAChD,CAAC,CACH,CAAC;QACF,MAAM,2BAA2B,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAgB,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE;YACjF,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;SAChD,CAAC,CACH,CAAC;QACF,MAAM,2BAA2B,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAgB,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,oCAAoC;YAC1C,OAAO,EAAE,kBAAkB;YAC3B,WAAW,EAAE,6BAA6B;SAC3C,CAAC,EACF,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,CACjE,CACF,CAAC;QACF,MAAM,MAAM,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACnE,CAAC,CAAU,EAAE,EAAE,CACb,CAAC,YAAY,eAAe;YAC5B,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,kCAAkC;YACnE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CACpD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,6BAA6B;YACtC,WAAW,EAAE,6BAA6B;SAC3C,CAAC,EACF,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,CACjE,CACF,CAAC;QACF,MAAM,MAAM,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACnE,CAAC,CAAU,EAAE,EAAE,CACb,CAAC,YAAY,eAAe;YAC5B,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,cAAc;YAC/C,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CACpD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EACL,yKAAyK;YAC3K,WAAW,EAAE,6BAA6B;SAC3C,CAAC,EACF,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,CACjE,CACF,CAAC;QACF,MAAM,MAAM,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACnE,CAAC,CAAU,EAAE,EAAE,CACb,CAAC,YAAY,eAAe;YAC5B,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,cAAc;YAC/C,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC;YACjD,CAAC,kCAAkC,CAAC,IAAI,CAAE,CAAqB,CAAC,OAAO,CAAC,CAC3E,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,gCAAgC;YACtC,OAAO,EAAE,0DAA0D;YACnE,WAAW,EAAE,6BAA6B;SAC3C,CAAC,EACF,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,CACjE,CACF,CAAC;QACF,MAAM,MAAM,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACpE,CAAC,CAAU,EAAE,EAAE,CACb,CAAC,YAAY,eAAe;YAC5B,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,8BAA8B;YAC/D,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CACpD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;QACrD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAC9E,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,CACjE,CACF,CAAC;QACF,MAAM,MAAM,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACnE,CAAC,CAAU,EAAE,EAAE,CACb,CAAC,YAAY,eAAe;YAC5B,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,cAAc;YAC/C,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAChC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,OAAO,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,yBAAyB,GAAG,iBAAiB,CAAC;QAC1D,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAChC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE;YACpF,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;SAChD,CAAC,CACH,CAAC;QACF,MAAM,2BAA2B,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/compare.acceptance.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=compare.acceptance.test.d.ts.map

package/dist/compare.acceptance.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compare.acceptance.test.d.ts","sourceRoot":"","sources":["../src/compare.acceptance.test.ts"],"names":[],"mappings":""}

package/dist/compare.acceptance.test.js

@@ -0,0 +1,80 @@
+import { readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { describe, expect, it } from "vitest";
+import { buildRunComparisonReport } from "./runComparison.js";
+import { loadSchemaValidator } from "./schemaLoad.js";
+import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
+import { finalizeEmittedWorkflowResult } from "./workflowTruthReport.js";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+const root = join(__dirname, "..");
+function sqlRowStep(seq, toolId, keyValue, verified) {
+    return {
+        seq,
+        toolId,
+        intendedEffect: { narrative: "" },
+        observedExecution: { paramsCanonical: "{}" },
+        verificationRequest: {
+            kind: "sql_row",
+            table: "contacts",
+            identityEq: [{ column: "id", value: keyValue }],
+            requiredFields: {},
+        },
+        status: verified ? "verified" : "missing",
+        reasons: verified ? [] : [{ code: "ROW_ABSENT", message: "absent" }],
+        evidenceSummary: verified ? {} : { rowCount: 0 },
+        repeatObservationCount: 1,
+        evaluatedObservationOrdinal: 1,
+        ...(verified ? {} : { failureDiagnostic: "workflow_execution" }),
+    };
+}
+function wf(steps, id = "wf_compare_ac") {
+    const bad = steps.some((s) => s.status !== "verified");
+    const engine = {
+        schemaVersion: 8,
+        workflowId: id,
+        status: bad ? "inconsistent" : "complete",
+        runLevelReasons: [],
+        verificationPolicy: {
+            consistencyMode: "strong",
+            verificationWindowMs: 0,
+            pollIntervalMs: 0,
+        },
+        eventSequenceIntegrity: { kind: "normal" },
+        verificationRunContext: createEmptyVerificationRunContext(),
+        steps,
+    };
+    return finalizeEmittedWorkflowResult(engine);
+}
+describe("Run comparison acceptance tests", () => {
+    const v = loadSchemaValidator("run-comparison-report");
+    it("AC_9_1_multi_run_compare_emits_schema_v4", () => {
+        const r0 = wf([sqlRowStep(0, "t", "a", true)]);
+        const r1 = wf([sqlRowStep(0, "t", "a", true)]);
+        const r2 = wf([sqlRowStep(0, "t", "a", true)]);
+        const report = buildRunComparisonReport([r0, r1, r2], ["r0", "r1", "r2"]);
+        expect(report.schemaVersion).toBe(4);
+        expect(report.runs).toHaveLength(3);
+        expect(v(report)).toBe(true);
+    });
+    it("AC_9_2_compareHighlights_match_fixture", () => {
+        const r0 = wf([sqlRowStep(0, "t1", "a", true), sqlRowStep(1, "t1", "b", true)]);
+        const r1 = wf([sqlRowStep(0, "t1", "b", true), sqlRowStep(1, "t1", "a", false)]);
+        const report = buildRunComparisonReport([r0, r1], ["r0", "r1"]);
+        expect(v(report)).toBe(true);
+        expect(report.compareHighlights.introducedLogicalStepKeys).toContain("sql_row|contacts|id=a");
+        expect(report.compareHighlights.resolvedLogicalStepKeys.length).toBeGreaterThanOrEqual(0);
+    });
+    it("AC_9_4_headlineVerdict_window_pairwise_divergence", () => {
+        const r0 = wf([sqlRowStep(0, "t", "a", true)]);
+        const r1 = wf([sqlRowStep(0, "t", "a", false)]);
+        const r2 = wf([sqlRowStep(0, "t", "a", true)]);
+        const report = buildRunComparisonReport([r0, r1, r2], ["r0", "r1", "r2"]);
+        expect(report.reliabilityAssessment.windowTrend).toBe("unchanged");
+        expect(report.reliabilityAssessment.pairwiseTrend).toBe("improving");
+        const golden = JSON.parse(readFileSync(join(root, "test/fixtures/debug-ui-compare/headline-ac-9-4.json"), "utf8"));
+        expect(report.reliabilityAssessment.headlineVerdict).toBe(golden.headlineVerdict);
+        expect(report.reliabilityAssessment.headlineRationale).toBe(golden.headlineRationale);
+    });
+});
+//# sourceMappingURL=compare.acceptance.test.js.map

package/dist/compare.acceptance.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compare.acceptance.test.js","sourceRoot":"","sources":["../src/compare.acceptance.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnC,SAAS,UAAU,CACjB,GAAW,EACX,MAAc,EACd,QAAgB,EAChB,QAAiB;IAEjB,OAAO;QACL,GAAG;QACH,MAAM;QACN,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,mBAAmB,EAAE;YACnB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,UAAU;YACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAC/C,cAAc,EAAE,EAAE;SACnB;QACD,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QACzC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACpE,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;QAChD,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;QAC9B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,oBAA6B,EAAE,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,SAAS,EAAE,CAAC,KAAoB,EAAE,EAAE,GAAG,eAAe;IACpD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACvD,MAAM,MAAM,GAAyB;QACnC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU;QACzC,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE;YAClB,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB;QACD,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,KAAK;KACN,CAAC;IACF,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,MAAM,CAAC,GAAG,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;IAEvD,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,yBAAyB,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QAC9F,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,qDAAqD,CAAC,EAAE,MAAM,CAAC,CAC9B,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/correctnessDefinition.d.ts

@@ -0,0 +1,23 @@
+import type { VerificationRequest } from "./types.js";
+import type { ResolvedRelationalCheck } from "./types.js";
+import type { CorrectnessDefinitionV1, FailureAnalysis, FailureExplanationV1, WorkflowEngineResult, WorkflowTruthStep } from "./types.js";
+export type CorrectnessDefinitionInvariantCode = "CORRECTNESS_PRIMARY_SCOPE_MISSING" | "CORRECTNESS_RUN_CONTEXT_INDEX_MISSING" | "CORRECTNESS_UNKNOWN_RUN_CONTEXT_CODE";
+export declare class CorrectnessDefinitionInvariantError extends Error {
+    readonly code: CorrectnessDefinitionInvariantCode;
+    constructor(code: CorrectnessDefinitionInvariantCode, message: string);
+}
+/** Batch / contract verification path: non-null iff `failureExplanation` is non-null. */
+export declare function buildWorkflowCorrectnessDefinition(engine: WorkflowEngineResult, fe: FailureExplanationV1, fa: FailureAnalysis, truthSteps: WorkflowTruthStep[]): CorrectnessDefinitionV1;
+export declare function buildQuickUnitCorrectnessDefinition(opts: {
+    unitId: string;
+    kind: "row" | "related_exists";
+    toolName: string;
+    actionIndex: number;
+    table: string;
+    reasonCodes: string[];
+    sqlRowRequest?: VerificationRequest;
+    relationalCheck?: ResolvedRelationalCheck & {
+        checkKind: "related_exists";
+    };
+}): CorrectnessDefinitionV1;
+//# sourceMappingURL=correctnessDefinition.d.ts.map

package/dist/correctnessDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctnessDefinition.d.ts","sourceRoot":"","sources":["../src/correctnessDefinition.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EACV,uBAAuB,EACvB,eAAe,EACf,oBAAoB,EAGpB,oBAAoB,EACpB,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAoBpB,MAAM,MAAM,kCAAkC,GAC1C,mCAAmC,GACnC,uCAAuC,GACvC,sCAAsC,CAAC;AAE3C,qBAAa,mCAAoC,SAAQ,KAAK;IAC5D,QAAQ,CAAC,IAAI,EAAE,kCAAkC,CAAC;gBACtC,IAAI,EAAE,kCAAkC,EAAE,OAAO,EAAE,MAAM;CAKtE;AAmFD,yFAAyF;AACzF,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,oBAAoB,EAC5B,EAAE,EAAE,oBAAoB,EACxB,EAAE,EAAE,eAAe,EACnB,UAAU,EAAE,iBAAiB,EAAE,GAC9B,uBAAuB,CAuLzB;AAED,wBAAgB,mCAAmC,CAAC,IAAI,EAAE;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,KAAK,GAAG,gBAAgB,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,CAAC,EAAE,mBAAmB,CAAC;IACpC,eAAe,CAAC,EAAE,uBAAuB,GAAG;QAAE,SAAS,EAAE,gBAAgB,CAAA;KAAE,CAAC;CAC7E,GAAG,uBAAuB,CAgF1B"}

package/dist/correctnessDefinition.docParity.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=correctnessDefinition.docParity.test.d.ts.map

package/dist/correctnessDefinition.docParity.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctnessDefinition.docParity.test.d.ts","sourceRoot":"","sources":["../src/correctnessDefinition.docParity.test.ts"],"names":[],"mappings":""}

package/dist/correctnessDefinition.docParity.test.js

@@ -0,0 +1,22 @@
+import { readFileSync } from "node:fs";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import { describe, expect, it } from "vitest";
+import { CD_DOC_ANCHORS, CORRECTNESS_ENFORCEMENT_KINDS } from "./correctnessDefinitionTemplates.js";
+const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
+const normativePath = path.join(root, "docs", "correctness-definition-normative.md");
+describe("correctness definition normative doc parity", () => {
+    it("docs/correctness-definition-normative.md lists every CD_DOC_ANCHORS id", () => {
+        const doc = readFileSync(normativePath, "utf8");
+        for (const id of CD_DOC_ANCHORS) {
+            expect(doc, `missing anchor ${id}`).toContain(id);
+        }
+    });
+    it("docs/correctness-definition-normative.md mentions every enforcementKind literal", () => {
+        const doc = readFileSync(normativePath, "utf8");
+        for (const kind of CORRECTNESS_ENFORCEMENT_KINDS) {
+            expect(doc, `missing enforcementKind ${kind}`).toContain(kind);
+        }
+    });
+});
+//# sourceMappingURL=correctnessDefinition.docParity.test.js.map

package/dist/correctnessDefinition.docParity.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctnessDefinition.docParity.test.js","sourceRoot":"","sources":["../src/correctnessDefinition.docParity.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,6BAA6B,EAAE,MAAM,qCAAqC,CAAC;AAEpG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3E,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,qCAAqC,CAAC,CAAC;AAErF,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAG,YAAY,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,EAAE,kBAAkB,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,GAAG,GAAG,YAAY,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,6BAA6B,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,EAAE,2BAA2B,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/correctnessDefinition.js

@@ -0,0 +1,283 @@
+import { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
+import { policyFragment } from "./failureExplanation.js";
+import { formatOperationalMessage } from "./failureCatalog.js";
+import { templateEventCaptureEnforceAs, templateEventCaptureMustHold, templatePlanTransitionEnforceAs, templatePlanTransitionMustHold, templateQuickGapEnforceAs, templateQuickGapMustHold, templateQuickRelEnforceAs, templateQuickRelMustHold, templateQuickRowEnforceAs, templateQuickRowMustHold, templateRunContextEnforceAs, templateRunContextMustHold, templateRunIngestEnforceAs, templateRunIngestMustHold, templateStepSqlEnforceAs, templateStepSqlMustHold, } from "./correctnessDefinitionTemplates.js";
+export class CorrectnessDefinitionInvariantError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "CorrectnessDefinitionInvariantError";
+    }
+}
+function factMap(fe) {
+    return new Map(fe.knownFacts.map((k) => [k.id, k.value]));
+}
+function sortUniqueCodes(codes) {
+    return [...new Set(codes)].sort((a, b) => a.localeCompare(b));
+}
+function mapRunContextCodeToContract(code) {
+    switch (code) {
+        case "RETRIEVAL_ERROR":
+            return "retrieval_ok_before_observation";
+        case "MODEL_TURN_ERROR":
+        case "MODEL_TURN_ABORTED":
+        case "MODEL_TURN_INCOMPLETE":
+            return "model_turn_completed_before_observation";
+        case "CONTROL_INTERRUPT":
+            return "no_interrupt_before_observation";
+        case "CONTROL_BRANCH_SKIPPED":
+            return "branch_not_skipped_before_observation";
+        case "CONTROL_GATE_SKIPPED":
+            return "gate_not_skipped_before_observation";
+        case "TOOL_SKIPPED":
+            return "tool_not_skipped_before_observation";
+        default:
+            throw new CorrectnessDefinitionInvariantError("CORRECTNESS_UNKNOWN_RUN_CONTEXT_CODE", `Unknown run_context primary code for correctness contract: ${code}`);
+    }
+}
+function quickRemediationAlignment(sortedReasonCodes) {
+    const c = sortedReasonCodes[0] ?? "";
+    if (c === "CONNECTOR_ERROR") {
+        return { recommendedAction: "improve_read_connectivity", automationSafe: false };
+    }
+    if (c === "MAPPING_FAILED" ||
+        c.startsWith("RESOLVE_") ||
+        c.includes("REGISTRY") ||
+        c === "UNKNOWN_TOOL") {
+        return { recommendedAction: "correct_verification_inputs", automationSafe: false };
+    }
+    if (c === "ROW_ABSENT" ||
+        c === "VALUE_MISMATCH" ||
+        c === "DUPLICATE_ROWS" ||
+        c === "RELATIONAL_EXPECTATION_MISMATCH" ||
+        c === "RELATIONAL_SCALAR_UNUSABLE" ||
+        c === "ROW_PRESENT_WHEN_FORBIDDEN") {
+        return { recommendedAction: "reconcile_downstream_state", automationSafe: false };
+    }
+    return { recommendedAction: "manual_review", automationSafe: false };
+}
+/** Batch / contract verification path: non-null iff `failureExplanation` is non-null. */
+export function buildWorkflowCorrectnessDefinition(engine, fe, fa, truthSteps) {
+    const m = factMap(fe);
+    const scopeRaw = m.get("primary_scope");
+    if (scopeRaw === undefined) {
+        throw new CorrectnessDefinitionInvariantError("CORRECTNESS_PRIMARY_SCOPE_MISSING", "failureExplanation.knownFacts missing primary_scope");
+    }
+    const P = policyFragment(engine);
+    const workflowId = engine.workflowId;
+    const e0 = fa.evidence[0];
+    const codesArr = sortUniqueCodes(e0.codes ?? []);
+    const codesStr = codesArr.join(",");
+    const remediationAlignment = {
+        recommendedAction: fa.actionableFailure.recommendedAction,
+        automationSafe: fa.actionableFailure.automationSafe,
+    };
+    if (scopeRaw === "step" && codesArr.includes("NO_STEPS_FOR_WORKFLOW")) {
+        const projection = {
+            projectionKind: "run_ingest_integrity",
+            workflowId,
+            verificationPolicyFragment: P,
+            primaryFailureCodes: codesArr,
+            ingestContractRequirement: "non_empty_tool_observed_steps",
+        };
+        const [a0, a1] = templateRunIngestEnforceAs(codesStr);
+        return {
+            schemaVersion: 1,
+            enforcementKind: "run_ingest_integrity",
+            mustAlwaysHold: formatOperationalMessage(templateRunIngestMustHold({ workflowId, P, codes: codesStr, nonEmptySteps: true })),
+            enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+            enforceableProjection: projection,
+            remediationAlignment,
+        };
+    }
+    if (scopeRaw === "run_level") {
+        const projection = {
+            projectionKind: "run_ingest_integrity",
+            workflowId,
+            verificationPolicyFragment: P,
+            primaryFailureCodes: codesArr,
+            ingestContractRequirement: "no_run_level_failures",
+        };
+        const [a0, a1] = templateRunIngestEnforceAs(codesStr);
+        return {
+            schemaVersion: 1,
+            enforcementKind: "run_ingest_integrity",
+            mustAlwaysHold: formatOperationalMessage(templateRunIngestMustHold({ workflowId, P, codes: codesStr, nonEmptySteps: false })),
+            enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+            enforceableProjection: projection,
+            remediationAlignment,
+        };
+    }
+    if (scopeRaw === "event_sequence") {
+        const projection = {
+            projectionKind: "event_capture_integrity",
+            workflowId,
+            verificationPolicyFragment: P,
+            forbiddenEventSequenceCodes: codesArr,
+        };
+        const [a0, a1] = templateEventCaptureEnforceAs(codesStr);
+        return {
+            schemaVersion: 1,
+            enforcementKind: "event_capture_integrity",
+            mustAlwaysHold: formatOperationalMessage(templateEventCaptureMustHold({ workflowId, P, codes: codesStr })),
+            enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+            enforceableProjection: projection,
+            remediationAlignment,
+        };
+    }
+    if (scopeRaw === "run_context") {
+        if (e0.ingestIndex === undefined) {
+            throw new CorrectnessDefinitionInvariantError("CORRECTNESS_RUN_CONTEXT_INDEX_MISSING", "run_context correctness requires ingestIndex on primary evidence");
+        }
+        const primaryCode = codesArr[0] ?? "";
+        const contract = mapRunContextCodeToContract(primaryCode);
+        const projection = {
+            projectionKind: "run_context_fairness",
+            workflowId,
+            verificationPolicyFragment: P,
+            ingestIndex: e0.ingestIndex,
+            requiredUpstreamContract: contract,
+            primaryRunContextCodes: codesArr,
+        };
+        const I = String(e0.ingestIndex);
+        const C = contract;
+        const [a0, a1] = templateRunContextEnforceAs(C);
+        return {
+            schemaVersion: 1,
+            enforcementKind: "run_context_fairness",
+            mustAlwaysHold: formatOperationalMessage(templateRunContextMustHold({ workflowId, P, I, C, codes: codesStr })),
+            enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+            enforceableProjection: projection,
+            remediationAlignment,
+        };
+    }
+    if (scopeRaw === "step") {
+        if (e0.seq === undefined || e0.toolId === undefined) {
+            throw new CorrectnessDefinitionInvariantError("CORRECTNESS_PRIMARY_SCOPE_MISSING", "step correctness requires seq and toolId on primary evidence");
+        }
+        const driver = engine.steps.find((s) => s.seq === e0.seq && s.toolId === e0.toolId);
+        if (driver === undefined) {
+            throw new CorrectnessDefinitionInvariantError("CORRECTNESS_PRIMARY_SCOPE_MISSING", "step correctness driver not found in engine.steps");
+        }
+        const ts = truthSteps.find((s) => s.seq === e0.seq && s.toolId === e0.toolId);
+        if (ts === undefined) {
+            throw new CorrectnessDefinitionInvariantError("CORRECTNESS_PRIMARY_SCOPE_MISSING", "step correctness truth step not found");
+        }
+        const S = String(e0.seq);
+        const T = e0.toolId;
+        const W = workflowId;
+        if (workflowId === PLAN_TRANSITION_WORKFLOW_ID) {
+            const projection = {
+                projectionKind: "plan_transition_expectation",
+                workflowId: W,
+                verificationPolicyFragment: P,
+                seq: e0.seq,
+                toolId: T,
+                verifyTarget: ts.verifyTarget,
+                primaryCodes: codesArr,
+            };
+            const [a0, a1] = templatePlanTransitionEnforceAs();
+            return {
+                schemaVersion: 1,
+                enforcementKind: "plan_transition_expectation",
+                mustAlwaysHold: formatOperationalMessage(templatePlanTransitionMustHold({ W, S, T, P, codes: codesStr })),
+                enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+                enforceableProjection: projection,
+                remediationAlignment,
+            };
+        }
+        const projection = {
+            projectionKind: "step_sql_expectation",
+            workflowId: W,
+            verificationPolicyFragment: P,
+            seq: e0.seq,
+            toolId: T,
+            verificationRequest: driver.verificationRequest,
+        };
+        const [a0, a1] = templateStepSqlEnforceAs(S);
+        return {
+            schemaVersion: 1,
+            enforcementKind: "step_sql_expectation",
+            mustAlwaysHold: formatOperationalMessage(templateStepSqlMustHold({ W, S, T, P })),
+            enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+            enforceableProjection: projection,
+            remediationAlignment,
+        };
+    }
+    throw new CorrectnessDefinitionInvariantError("CORRECTNESS_PRIMARY_SCOPE_MISSING", `Unsupported primary_scope for correctness: ${scopeRaw}`);
+}
+export function buildQuickUnitCorrectnessDefinition(opts) {
+    const sortedRc = sortUniqueCodes(opts.reasonCodes);
+    const rcStr = sortedRc.join(",");
+    const ra = quickRemediationAlignment(sortedRc);
+    if (opts.kind === "row") {
+        if (opts.sqlRowRequest !== undefined) {
+            const [a0, a1] = templateQuickRowEnforceAs(opts.table);
+            return {
+                schemaVersion: 1,
+                enforcementKind: "quick_inferred_sql_row",
+                mustAlwaysHold: formatOperationalMessage(templateQuickRowMustHold({
+                    toolName: opts.toolName,
+                    A: String(opts.actionIndex),
+                    table: opts.table,
+                })),
+                enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+                enforceableProjection: {
+                    projectionKind: "quick_inferred_sql_row",
+                    quickProvisional: true,
+                    unitId: opts.unitId,
+                    toolName: opts.toolName,
+                    actionIndex: opts.actionIndex,
+                    table: opts.table,
+                    sqlRowRequest: opts.sqlRowRequest,
+                },
+                remediationAlignment: ra,
+            };
+        }
+        const [a0, a1] = templateQuickGapEnforceAs();
+        return {
+            schemaVersion: 1,
+            enforcementKind: "quick_mapping_gap",
+            mustAlwaysHold: formatOperationalMessage(templateQuickGapMustHold({
+                toolName: opts.toolName,
+                A: String(opts.actionIndex),
+                codes: rcStr,
+            })),
+            enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+            enforceableProjection: {
+                projectionKind: "quick_mapping_gap",
+                quickProvisional: true,
+                toolName: opts.toolName,
+                actionIndex: opts.actionIndex,
+                reasonCodes: sortedRc,
+                table: opts.table === "" ? null : opts.table || null,
+            },
+            remediationAlignment: ra,
+        };
+    }
+    const rel = opts.relationalCheck;
+    const [a0, a1] = templateQuickRelEnforceAs(rel.childTable);
+    return {
+        schemaVersion: 1,
+        enforcementKind: "quick_inferred_relational",
+        mustAlwaysHold: formatOperationalMessage(templateQuickRelMustHold({
+            toolName: opts.toolName,
+            A: String(opts.actionIndex),
+            T: rel.childTable,
+        })),
+        enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
+        enforceableProjection: {
+            projectionKind: "quick_inferred_relational",
+            quickProvisional: true,
+            unitId: opts.unitId,
+            toolName: opts.toolName,
+            actionIndex: opts.actionIndex,
+            childTable: rel.childTable,
+            checkId: rel.id,
+            matchEq: rel.matchEq.map((p) => ({ column: p.column, value: p.value })),
+        },
+        remediationAlignment: ra,
+    };
+}
+//# sourceMappingURL=correctnessDefinition.js.map

package/dist/correctnessDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctnessDefinition.js","sourceRoot":"","sources":["../src/correctnessDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAY/D,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,+BAA+B,EAC/B,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,qCAAqC,CAAC;AAO7C,MAAM,OAAO,mCAAoC,SAAQ,KAAK;IACnD,IAAI,CAAqC;IAClD,YAAY,IAAwC,EAAE,OAAe;QACnE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;IACpD,CAAC;CACF;AAyBD,SAAS,OAAO,CAAC,EAAwB;IACvC,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,eAAe,CAAC,KAAe;IACtC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAY;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,uBAAuB;YAC1B,OAAO,yCAAyC,CAAC;QACnD,KAAK,mBAAmB;YACtB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,wBAAwB;YAC3B,OAAO,uCAAuC,CAAC;QACjD,KAAK,sBAAsB;YACzB,OAAO,qCAAqC,CAAC;QAC/C,KAAK,cAAc;YACjB,OAAO,qCAAqC,CAAC;QAC/C;YACE,MAAM,IAAI,mCAAmC,CAC3C,sCAAsC,EACtC,8DAA8D,IAAI,EAAE,CACrE,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,iBAA2B;IAC5D,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,IAAI,CAAC,KAAK,iBAAiB,EAAE,CAAC;QAC5B,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACnF,CAAC;IACD,IACE,CAAC,KAAK,gBAAgB;QACtB,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QACxB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QACtB,CAAC,KAAK,cAAc,EACpB,CAAC;QACD,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACrF,CAAC;IACD,IACE,CAAC,KAAK,YAAY;QAClB,CAAC,KAAK,gBAAgB;QACtB,CAAC,KAAK,gBAAgB;QACtB,CAAC,KAAK,iCAAiC;QACvC,CAAC,KAAK,4BAA4B;QAClC,CAAC,KAAK,4BAA4B,EAClC,CAAC;QACD,OAAO,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACvE,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kCAAkC,CAChD,MAA4B,EAC5B,EAAwB,EACxB,EAAmB,EACnB,UAA+B;IAE/B,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,qDAAqD,CACtD,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,oBAAoB,GAAoC;QAC5D,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,CAAC,iBAAiB;QACzD,cAAc,EAAE,EAAE,CAAC,iBAAiB,CAAC,cAAc;KACpD,CAAC;IAEF,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACtE,MAAM,UAAU,GAAwB;YACtC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,mBAAmB,EAAE,QAAQ;YAC7B,yBAAyB,EAAE,+BAA+B;SAC3D,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CACnF;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAwB;YACtC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,mBAAmB,EAAE,QAAQ;YAC7B,yBAAyB,EAAE,uBAAuB;SACnD,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CACpF;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,UAAU,GAA2B;YACzC,cAAc,EAAE,yBAAyB;YACzC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,2BAA2B,EAAE,QAAQ;SACtC,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,6BAA6B,CAAC,QAAQ,CAAC,CAAC;QACzD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,yBAAyB;YAC1C,cAAc,EAAE,wBAAwB,CAAC,4BAA4B,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC1G,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,mCAAmC,CAC3C,uCAAuC,EACvC,kEAAkE,CACnE,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAyB;YACvC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,WAAW,EAAE,EAAE,CAAC,WAAW;YAC3B,wBAAwB,EAAE,QAAQ;YAClC,sBAAsB,EAAE,QAAQ;SACjC,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,QAAQ,CAAC;QACnB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,0BAA0B,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CACrE;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,8DAA8D,CAC/D,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QACpF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,mDAAmD,CACpD,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QAC9E,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,uCAAuC,CACxC,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;QACpB,MAAM,CAAC,GAAG,UAAU,CAAC;QAErB,IAAI,UAAU,KAAK,2BAA2B,EAAE,CAAC;YAC/C,MAAM,UAAU,GAA6B;gBAC3C,cAAc,EAAE,6BAA6B;gBAC7C,UAAU,EAAE,CAAC;gBACb,0BAA0B,EAAE,CAAC;gBAC7B,GAAG,EAAE,EAAE,CAAC,GAAG;gBACX,MAAM,EAAE,CAAC;gBACT,YAAY,EAAE,EAAE,CAAC,YAAY;gBAC7B,YAAY,EAAE,QAAQ;aACvB,CAAC;YACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,+BAA+B,EAAE,CAAC;YACnD,OAAO;gBACL,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,6BAA6B;gBAC9C,cAAc,EAAE,wBAAwB,CACtC,8BAA8B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAChE;gBACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;gBACvE,qBAAqB,EAAE,UAAU;gBACjC,oBAAoB;aACrB,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAsB;YACpC,cAAc,EAAE,sBAAsB;YACtC,UAAU,EAAE,CAAC;YACb,0BAA0B,EAAE,CAAC;YAC7B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,CAAC;YACT,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;SAChD,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjF,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,8CAA8C,QAAQ,EAAE,CACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,IASnD;IACC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAE/C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,OAAO;gBACL,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,wBAAwB;gBACzC,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;oBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;oBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CACH;gBACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;gBACvE,qBAAqB,EAAE;oBACrB,cAAc,EAAE,wBAAwB;oBACxC,gBAAgB,EAAE,IAAI;oBACtB,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,aAAa,EAAE,IAAI,CAAC,aAAa;iBAClC;gBACD,oBAAoB,EAAE,EAAE;aACzB,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,EAAE,CAAC;QAC7C,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,mBAAmB;YACpC,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC3B,KAAK,EAAE,KAAK;aACb,CAAC,CACH;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE;gBACrB,cAAc,EAAE,mBAAmB;gBACnC,gBAAgB,EAAE,IAAI;gBACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,WAAW,EAAE,QAAQ;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI;aACrD;YACD,oBAAoB,EAAE,EAAE;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,eAAgB,CAAC;IAClC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,2BAA2B;QAC5C,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;YAC3B,CAAC,EAAE,GAAG,CAAC,UAAU;SAClB,CAAC,CACH;QACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;QACvE,qBAAqB,EAAE;YACrB,cAAc,EAAE,2BAA2B;YAC3C,gBAAgB,EAAE,IAAI;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,OAAO,EAAE,GAAG,CAAC,EAAE;YACf,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;SACxE;QACD,oBAAoB,EAAE,EAAE;KACzB,CAAC;AACJ,CAAC"}