agentskeptic 0.1.1

package/dist/verificationAgainstSystemState.requirements.test.js

@@ -0,0 +1,326 @@
+import { readFileSync, writeFileSync, mkdtempSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { DatabaseSync } from "node:sqlite";
+import { describe, expect, it, beforeAll, afterAll } from "vitest";
+import { loadSchemaValidator } from "./schemaLoad.js";
+import { verifyWorkflow } from "./pipeline.js";
+import { formatWorkflowTruthReportStruct } from "./workflowTruthReport.js";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+const repoRoot = join(__dirname, "..");
+describe("Verification against system state (requirements)", () => {
+    let dir;
+    let dbPath;
+    const eventsPath = join(repoRoot, "examples", "events.ndjson");
+    const registryPath = join(repoRoot, "examples", "tools.json");
+    const noop = () => { };
+    const validateWorkflowResult = loadSchemaValidator("workflow-result");
+    const validateEvent = loadSchemaValidator("event");
+    beforeAll(() => {
+        dir = mkdtempSync(join(tmpdir(), "etl-verify-outcome-"));
+        dbPath = join(dir, "verify.db");
+        const sql = readFileSync(join(repoRoot, "examples", "seed.sql"), "utf8");
+        const db = new DatabaseSync(dbPath);
+        db.exec(sql);
+        db.close();
+    });
+    afterAll(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    const sqliteDb = () => ({ kind: "sqlite", path: dbPath });
+    it("A: verified outcome matches DB", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_complete",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.status).toBe("complete");
+        expect(r.steps[0]?.status).toBe("verified");
+        expect(r.steps[0]?.reasons).toEqual([]);
+        expect(r.workflowTruthReport.steps[0]?.outcomeLabel).toBe("VERIFIED");
+        expect(r.steps[0]?.evidenceSummary?.rowCount).toBe(1);
+        expect(validateWorkflowResult(r)).toBe(true);
+    });
+    it("B: missing record despite capture", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_missing",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.steps[0]?.status).toBe("missing");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("ROW_ABSENT");
+        expect(r.steps[0]?.evidenceSummary?.rowCount).toBe(0);
+        expect(r.workflowTruthReport.steps[0]?.outcomeLabel).toBe("FAILED_ROW_MISSING");
+    });
+    it("AC_10_1_AC_10_2_independent_sql_evidence_not_execution_narrative", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_missing",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.steps[0]?.status).toBe("missing");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("ROW_ABSENT");
+        expect(r.steps[0]?.evidenceSummary?.rowCount).toBe(0);
+        expect(r.workflowTruthReport.steps[0]?.outcomeLabel).toBe("FAILED_ROW_MISSING");
+    });
+    it("C: success-shaped params do not imply verified without row", async () => {
+        const p = join(dir, "verify_fake_ok.ndjson");
+        writeFileSync(p, `${JSON.stringify({
+            schemaVersion: 1,
+            workflowId: "wf_verify_fake_ok",
+            seq: 0,
+            type: "tool_observed",
+            toolId: "crm.upsert_contact",
+            params: {
+                ok: true,
+                recordId: "nope",
+                fields: { name: "x", status: "y" },
+            },
+        })}\n`);
+        const r = await verifyWorkflow({
+            workflowId: "wf_verify_fake_ok",
+            eventsPath: p,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.steps[0]?.status).toBe("missing");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("ROW_ABSENT");
+    });
+    it("D: wrong value vs expected", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_partial",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.steps[0]?.status).toBe("inconsistent");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("VALUE_MISMATCH");
+        expect(r.steps[0]?.evidenceSummary).toMatchObject({
+            expected: expect.any(String),
+            actual: expect.any(String),
+            field: expect.any(String),
+        });
+        expect(r.workflowTruthReport.steps[0]?.outcomeLabel).toBe("FAILED_VALUE_MISMATCH");
+    });
+    it("E: duplicate rows in system state", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_duplicate_rows",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.steps[0]?.status).toBe("inconsistent");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("DUPLICATE_ROWS");
+    });
+    it("F: multi-step — which step failed", async () => {
+        const ev0 = {
+            schemaVersion: 1,
+            workflowId: "wf_verify_twostep",
+            seq: 0,
+            type: "tool_observed",
+            toolId: "crm.upsert_contact",
+            params: { recordId: "c_ok", fields: { name: "Alice", status: "active" } },
+        };
+        const ev1 = {
+            schemaVersion: 1,
+            workflowId: "wf_verify_twostep",
+            seq: 1,
+            type: "tool_observed",
+            toolId: "crm.upsert_contact",
+            params: { recordId: "missing_id", fields: { name: "X", status: "Y" } },
+        };
+        const p = join(dir, "verify_twostep.ndjson");
+        writeFileSync(p, `${JSON.stringify(ev0)}\n${JSON.stringify(ev1)}\n`);
+        const r = await verifyWorkflow({
+            workflowId: "wf_verify_twostep",
+            eventsPath: p,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.steps.length).toBe(2);
+        expect(r.steps[0]?.seq).toBe(0);
+        expect(r.steps[0]?.status).toBe("verified");
+        expect(r.steps[1]?.seq).toBe(1);
+        expect(r.steps[1]?.status).toBe("missing");
+        expect(r.workflowTruthReport.steps[0]?.seq).toBe(0);
+        expect(r.workflowTruthReport.steps[0]?.outcomeLabel).toBe("VERIFIED");
+        expect(r.workflowTruthReport.steps[1]?.seq).toBe(1);
+        expect(r.workflowTruthReport.steps[1]?.outcomeLabel).toBe("FAILED_ROW_MISSING");
+    });
+    it("G: expectations cannot be smuggled on the event", () => {
+        const bad = {
+            schemaVersion: 1,
+            workflowId: "w",
+            seq: 0,
+            type: "tool_observed",
+            toolId: "t",
+            params: {},
+            expectation: {},
+        };
+        expect(validateEvent(bad)).toBe(false);
+    });
+    function multiEvent(workflowId, params) {
+        return `${JSON.stringify({
+            schemaVersion: 1,
+            workflowId,
+            seq: 0,
+            type: "tool_observed",
+            toolId: "crm.upsert_contact_multi",
+            params,
+        })}\n`;
+    }
+    it("H: multi-effect partial — some effects verified, one missing", async () => {
+        const p = join(dir, "multi_partial.ndjson");
+        writeFileSync(p, multiEvent("wf_multi_partial", {
+            primaryRecordId: "c_multi_partial_ok",
+            primaryFields: { name: "PartialPrimary", status: "active" },
+            secondaryRecordId: "c_multi_partial_missing",
+            secondaryFields: { name: "X", status: "y" },
+        }));
+        const r = await verifyWorkflow({
+            workflowId: "wf_multi_partial",
+            eventsPath: p,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.status).toBe("inconsistent");
+        expect(r.steps[0]?.status).toBe("partially_verified");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("MULTI_EFFECT_PARTIAL");
+        const effects = r.steps[0]?.evidenceSummary.effects;
+        expect(effects).toHaveLength(2);
+        const st = new Set(effects.map((e) => e.status));
+        expect(st.has("verified")).toBe(true);
+        expect(st.has("missing")).toBe(true);
+        const truthStep = r.workflowTruthReport.steps[0];
+        expect(truthStep.outcomeLabel).toBe("PARTIALLY_VERIFIED");
+        expect(truthStep.effects).toBeDefined();
+        expect(truthStep.effects.some((e) => e.outcomeLabel === "VERIFIED")).toBe(true);
+        expect(truthStep.effects.some((e) => e.outcomeLabel === "FAILED_ROW_MISSING")).toBe(true);
+        expect(validateWorkflowResult(r)).toBe(true);
+        const human = formatWorkflowTruthReportStruct(r.workflowTruthReport);
+        expect(human).toContain("seq=0 tool=crm.upsert_contact_multi");
+        expect(human).toContain("expected:");
+        expect(human).toContain("effect: id=");
+        expect(human).toContain("reference_code: ROW_ABSENT");
+    });
+    it("I: multi-effect all failed", async () => {
+        const p = join(dir, "multi_all_fail.ndjson");
+        writeFileSync(p, multiEvent("wf_multi_all_fail", {
+            primaryRecordId: "c_multi_fail_a",
+            primaryFields: { name: "X", status: "y" },
+            secondaryRecordId: "c_multi_fail_b",
+            secondaryFields: { name: "X", status: "y" },
+        }));
+        const r = await verifyWorkflow({
+            workflowId: "wf_multi_all_fail",
+            eventsPath: p,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.status).toBe("inconsistent");
+        expect(r.steps[0]?.status).toBe("inconsistent");
+        expect(r.steps[0]?.reasons[0]?.code).toBe("MULTI_EFFECT_ALL_FAILED");
+        const effects = r.steps[0]?.evidenceSummary.effects;
+        expect(effects?.every((e) => e.status === "missing")).toBe(true);
+        expect(validateWorkflowResult(r)).toBe(true);
+    });
+    it("J: multi-effect all verified", async () => {
+        const p = join(dir, "multi_ok.ndjson");
+        writeFileSync(p, multiEvent("wf_multi_ok", {
+            primaryRecordId: "c_multi_pass_a",
+            primaryFields: { name: "Alice2", status: "active" },
+            secondaryRecordId: "c_multi_pass_b",
+            secondaryFields: { name: "Bob2", status: "active" },
+        }));
+        const r = await verifyWorkflow({
+            workflowId: "wf_multi_ok",
+            eventsPath: p,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.status).toBe("complete");
+        expect(r.steps[0]?.status).toBe("verified");
+        expect(r.steps[0]?.reasons).toEqual([]);
+        expect(validateWorkflowResult(r)).toBe(true);
+    });
+    it("K: actionable failure feedback — single-effect missing", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_missing",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.workflowTruthReport.failureAnalysis).not.toBeNull();
+        const fa = r.workflowTruthReport.failureAnalysis;
+        expect(fa.evidence.some((e) => e.scope === "step" && e.seq === 0)).toBe(true);
+        expect(fa.actionableFailure.category).toBe("ambiguous");
+        expect(r.steps[0]?.failureDiagnostic).toBe("workflow_execution");
+        expect(r.workflowTruthReport.steps[0]?.seq).toBe(0);
+        expect(r.workflowTruthReport.steps[0]?.toolId).toBe("crm.upsert_contact");
+        expect(r.workflowTruthReport.steps[0]?.verifyTarget).toContain("contacts");
+        expect(r.workflowTruthReport.steps[0]?.intendedEffect.narrative.length).toBeGreaterThan(0);
+        expect(r.workflowTruthReport.steps[0]?.observedExecution.paramsCanonical.length).toBeGreaterThan(0);
+    });
+    it("L: actionable feedback — multi-effect partial driver", async () => {
+        const p = join(dir, "multi_partial_L.ndjson");
+        writeFileSync(p, multiEvent("wf_multi_partial_L", {
+            primaryRecordId: "c_multi_partial_ok",
+            primaryFields: { name: "PartialPrimary", status: "active" },
+            secondaryRecordId: "c_multi_partial_missing",
+            secondaryFields: { name: "X", status: "y" },
+        }));
+        const r = await verifyWorkflow({
+            workflowId: "wf_multi_partial_L",
+            eventsPath: p,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        const fa = r.workflowTruthReport.failureAnalysis;
+        const scopes = fa.evidence.map((e) => e.scope);
+        expect(scopes.includes("step") && scopes.includes("effect")).toBe(true);
+        expect(fa.evidence.some((e) => e.scope === "effect" && e.effectId === "secondary")).toBe(true);
+        expect(fa.summary).toContain("Multi-effect verification:");
+        expect(fa.summary).toContain("workflowTruthReport.steps[].effects");
+        expect(fa.actionableFailure.category).toBe("ambiguous");
+    });
+    it("Negative: complete workflow has no failure analysis", async () => {
+        const r = await verifyWorkflow({
+            workflowId: "wf_complete",
+            eventsPath,
+            registryPath,
+            database: sqliteDb(),
+            logStep: noop,
+            truthReport: noop,
+        });
+        expect(r.workflowTruthReport.failureAnalysis).toBeNull();
+    });
+});
+//# sourceMappingURL=verificationAgainstSystemState.requirements.test.js.map

package/dist/verificationAgainstSystemState.requirements.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationAgainstSystemState.requirements.test.js","sourceRoot":"","sources":["../src/verificationAgainstSystemState.requirements.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAE3E,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEvC,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAI,GAAW,CAAC;IAChB,IAAI,MAAc,CAAC;IACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IACtB,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAEnD,SAAS,CAAC,GAAG,EAAE;QACb,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACzE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAEnE,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,aAAa;YACzB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;QAC7C,aAAa,CACX,CAAC,EACD,GAAG,IAAI,CAAC,SAAS,CAAC;YAChB,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,mBAAmB;YAC/B,GAAG,EAAE,CAAC;YACN,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE;gBACN,EAAE,EAAE,IAAI;gBACR,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;aACnC;SACF,CAAC,IAAI,CACP,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,mBAAmB;YAC/B,UAAU,EAAE,CAAC;YACb,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,aAAa,CAAC;YAChD,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAC5B,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAC1B,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,mBAAmB;YAC/B,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,GAAG,GAAG;YACV,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,mBAAmB;YAC/B,GAAG,EAAE,CAAC;YACN,IAAI,EAAE,eAAwB;YAC9B,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;SAC1E,CAAC;QACF,MAAM,GAAG,GAAG;YACV,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,mBAAmB;YAC/B,GAAG,EAAE,CAAC;YACN,IAAI,EAAE,eAAwB;YAC9B,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;SACvE,CAAC;QACF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;QAC7C,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,mBAAmB;YAC/B,UAAU,EAAE,CAAC;YACb,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtE,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG;YACV,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,GAAG,EAAE,CAAC;YACN,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,EAAE;YACV,WAAW,EAAE,EAAE;SAChB,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,SAAS,UAAU,CACjB,UAAkB,EAClB,MAA+B;QAE/B,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;YACvB,aAAa,EAAE,CAAC;YAChB,UAAU;YACV,GAAG,EAAE,CAAC;YACN,IAAI,EAAE,eAAwB;YAC9B,MAAM,EAAE,0BAA0B;YAClC,MAAM;SACP,CAAC,IAAI,CAAC;IACT,CAAC;IAED,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;QAC5C,aAAa,CACX,CAAC,EACD,UAAU,CAAC,kBAAkB,EAAE;YAC7B,eAAe,EAAE,oBAAoB;YACrC,aAAa,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE;YAC3D,iBAAiB,EAAE,yBAAyB;YAC5C,eAAe,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;SAC5C,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,kBAAkB;YAC9B,UAAU,EAAE,CAAC;YACb,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,OAAgD,CAAC;QAC7F,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAClD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC1D,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,CAAC,SAAS,CAAC,OAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,SAAS,CAAC,OAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3F,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE7C,MAAM,KAAK,GAAG,+BAA+B,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;QAC7C,aAAa,CACX,CAAC,EACD,UAAU,CAAC,mBAAmB,EAAE;YAC9B,eAAe,EAAE,gBAAgB;YACjC,aAAa,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;YACzC,iBAAiB,EAAE,gBAAgB;YACnC,eAAe,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;SAC5C,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,mBAAmB;YAC/B,UAAU,EAAE,CAAC;YACb,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACrE,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,OAAgD,CAAC;QAC7F,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC;QACvC,aAAa,CACX,CAAC,EACD,UAAU,CAAC,aAAa,EAAE;YACxB,eAAe,EAAE,gBAAgB;YACjC,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnD,iBAAiB,EAAE,gBAAgB;YACnC,eAAe,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE;SACpD,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,aAAa;YACzB,UAAU,EAAE,CAAC;YACb,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,CAAC,CAAC,mBAAmB,CAAC,eAAgB,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjE,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC1E,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAC9C,aAAa,CACX,CAAC,EACD,UAAU,CAAC,oBAAoB,EAAE;YAC/B,eAAe,EAAE,oBAAoB;YACrC,aAAa,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE;YAC3D,iBAAiB,EAAE,yBAAyB;YAC5C,eAAe,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;SAC5C,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,oBAAoB;YAChC,UAAU,EAAE,CAAC;YACb,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,CAAC,CAAC,mBAAmB,CAAC,eAAgB,CAAC;QAClD,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/F,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QACpE,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC;YAC7B,UAAU,EAAE,aAAa;YACzB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,QAAQ,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verificationDiagnostics.d.ts

@@ -0,0 +1,21 @@
+import { RESOLVE_FAILURE_CODES } from "./resolveFailureCodes.js";
+import type { FailureDiagnostic, StepOutcome, StepVerificationRequest } from "./types.js";
+export { RESOLVE_FAILURE_CODES };
+/** Reason codes that produce effect `incomplete_verification` in reconciler.ts (connector + row read). */
+export declare const RECONCILER_INCOMPLETE_VERIFICATION_CODES: ReadonlySet<string>;
+/** Run-level issues are ingest/capture side; unknown codes still classify as workflow_execution (forward compat). */
+export declare function failureDiagnosticForRunLevelCode(_code: string): FailureDiagnostic;
+export declare function failureDiagnosticForEventSequenceCode(code: string): FailureDiagnostic;
+/**
+ * Pinned product classification for non-verified steps. For `verified`, returns `undefined` (omit on wire).
+ */
+export declare function failureDiagnosticForStep(step: Pick<StepOutcome, "status" | "reasons">): FailureDiagnostic | undefined;
+/** One-line summary for human report; truncates like operational messages. */
+export declare function formatVerificationTargetSummary(req: StepVerificationRequest): string | null;
+/**
+ * Attach `failureDiagnostic` per schema v5: omitted when verified, required otherwise.
+ */
+export declare function withFailureDiagnostic(step: StepOutcome): StepOutcome;
+/** Strip and re-apply diagnostic (idempotent). */
+export declare function enrichStepsWithFailureDiagnostics(steps: StepOutcome[]): StepOutcome[];
+//# sourceMappingURL=verificationDiagnostics.d.ts.map

package/dist/verificationDiagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationDiagnostics.d.ts","sourceRoot":"","sources":["../src/verificationDiagnostics.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAU,WAAW,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAElG,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,0GAA0G;AAC1G,eAAO,MAAM,wCAAwC,EAAE,WAAW,CAAC,MAAM,CAIvE,CAAC;AAOH,qHAAqH;AACrH,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAEjF;AAED,wBAAgB,qCAAqC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAKrF;AAuBD;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,GAAG,SAAS,CAAC,GAAG,iBAAiB,GAAG,SAAS,CAYrH;AAsBD,8EAA8E;AAC9E,wBAAgB,+BAA+B,CAAC,GAAG,EAAE,uBAAuB,GAAG,MAAM,GAAG,IAAI,CAoC3F;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAOpE;AAED,kDAAkD;AAClD,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,WAAW,EAAE,CAErF"}

package/dist/verificationDiagnostics.js

@@ -0,0 +1,141 @@
+import { EVENT_SEQUENCE_MESSAGES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, } from "./failureCatalog.js";
+import { compareUtf16Id } from "./resolveExpectation.js";
+import { RESOLVE_FAILURE_CODES } from "./resolveFailureCodes.js";
+export { RESOLVE_FAILURE_CODES };
+/** Reason codes that produce effect `incomplete_verification` in reconciler.ts (connector + row read). */
+export const RECONCILER_INCOMPLETE_VERIFICATION_CODES = new Set([
+    "CONNECTOR_ERROR",
+    "ROW_SHAPE_MISMATCH",
+    "UNREADABLE_VALUE",
+]);
+const EVENT_SEQUENCE_CODES = new Set([
+    ...Object.keys(EVENT_SEQUENCE_MESSAGES),
+    "TIMESTAMP_NOT_MONOTONIC_WITH_SEQ_SORT_ORDER",
+]);
+/** Run-level issues are ingest/capture side; unknown codes still classify as workflow_execution (forward compat). */
+export function failureDiagnosticForRunLevelCode(_code) {
+    return "workflow_execution";
+}
+export function failureDiagnosticForEventSequenceCode(code) {
+    if (!EVENT_SEQUENCE_CODES.has(code)) {
+        throw new Error(`Unknown event-sequence reason code for failure diagnostic map: ${code}`);
+    }
+    return "workflow_execution";
+}
+function failureDiagnosticForIncompleteVerification(reasons) {
+    const C = new Set(reasons.map((r) => r.code));
+    if (C.has("RETRY_OBSERVATIONS_DIVERGE"))
+        return "workflow_execution";
+    if (C.has("MULTI_EFFECT_INCOMPLETE"))
+        return "verification_setup";
+    if (C.has("UNKNOWN_TOOL"))
+        return "verification_setup";
+    for (const c of C) {
+        if (RESOLVE_FAILURE_CODES.has(c))
+            return "verification_setup";
+    }
+    if (C.has("CONNECTOR_ERROR") ||
+        C.has("ROW_SHAPE_MISMATCH") ||
+        C.has("UNREADABLE_VALUE") ||
+        C.has("RELATIONAL_SCALAR_UNUSABLE")) {
+        return "verification_setup";
+    }
+    throw new Error(`Unreachable incomplete_verification classification; add mapping for codes: ${[...C].sort().join(", ")}`);
+}
+/**
+ * Pinned product classification for non-verified steps. For `verified`, returns `undefined` (omit on wire).
+ */
+export function failureDiagnosticForStep(step) {
+    const { status, reasons } = step;
+    if (status === "verified")
+        return undefined;
+    if (status === "uncertain")
+        return "observation_uncertainty";
+    if (status === "missing" || status === "inconsistent" || status === "partially_verified") {
+        return "workflow_execution";
+    }
+    if (status === "incomplete_verification") {
+        return failureDiagnosticForIncompleteVerification(reasons);
+    }
+    const _exhaustive = status;
+    return _exhaustive;
+}
+function sanitizeOneLine(value) {
+    const s = value.replace(/\r\n|\r|\n/g, " ").replace(/ +/g, " ").trim();
+    return formatOperationalMessage(s);
+}
+function fieldNamesSorted(requiredFields) {
+    return Object.keys(requiredFields)
+        .sort((a, b) => a.localeCompare(b))
+        .join(", ");
+}
+function identityEqOneLine(pairs) {
+    const list = Array.isArray(pairs) ? pairs : [];
+    return [...list]
+        .slice()
+        .sort((a, b) => compareUtf16Id(a.column, b.column))
+        .map((p) => `${sanitizeOneLine(p.column)}=${sanitizeOneLine(p.value)}`)
+        .join(", ");
+}
+/** One-line summary for human report; truncates like operational messages. */
+export function formatVerificationTargetSummary(req) {
+    if (req === null)
+        return null;
+    if (typeof req !== "object" || !("kind" in req))
+        return null;
+    if (req.kind === "sql_row") {
+        const keys = fieldNamesSorted(req.requiredFields);
+        const idLine = identityEqOneLine(req.identityEq);
+        const line = `table=${sanitizeOneLine(req.table)} identity=[${idLine}] required_fields=[${keys}]`;
+        return formatOperationalMessage(line);
+    }
+    if (req.kind === "sql_row_absent") {
+        const idLine = identityEqOneLine(req.identityEq);
+        const fLine = identityEqOneLine(req.filterEq);
+        const line = `sql_row_absent table=${sanitizeOneLine(req.table)} identity=[${idLine}] filter=[${fLine}]`;
+        return formatOperationalMessage(line);
+    }
+    if (req.kind === "sql_relational") {
+        const parts = [...req.checks]
+            .sort((a, b) => compareUtf16Id(a.id, b.id))
+            .map((c) => {
+            if (c.checkKind === "related_exists" && (c.matchEq?.length ?? 0) > 1) {
+                return `${c.id}:${sanitizeOneLine(c.checkKind)}:m${c.matchEq.length}`;
+            }
+            return `${c.id}:${sanitizeOneLine(c.checkKind)}`;
+        });
+        const line = `sql_relational count=${req.checks.length} ` + parts.join("; ");
+        const max = OPERATIONAL_MESSAGE_MAX_CHARS;
+        if (line.length <= max)
+            return line;
+        return `${line.slice(0, max - 3)}...`;
+    }
+    const parts = [...req.effects]
+        .sort((a, b) => compareUtf16Id(a.id, b.id))
+        .map((e) => `${e.id}:${sanitizeOneLine(e.table)} identity=[${identityEqOneLine(e.identityEq)}]`);
+    const line = `sql_effects count=${req.effects.length} ` + parts.join("; ");
+    const max = OPERATIONAL_MESSAGE_MAX_CHARS;
+    if (line.length <= max)
+        return line;
+    return `${line.slice(0, max - 3)}...`;
+}
+/**
+ * Attach `failureDiagnostic` per schema v5: omitted when verified, required otherwise.
+ */
+export function withFailureDiagnostic(step) {
+    const fd = failureDiagnosticForStep(step);
+    if (step.status === "verified") {
+        const { failureDiagnostic: _omit, ...rest } = step;
+        return rest;
+    }
+    return { ...step, failureDiagnostic: fd };
+}
+/** Strip and re-apply diagnostic (idempotent). */
+export function enrichStepsWithFailureDiagnostics(steps) {
+    return steps.map((s) => withFailureDiagnostic(stripFailureDiagnostic(s)));
+}
+function stripFailureDiagnostic(step) {
+    const { failureDiagnostic: _o, ...rest } = step;
+    return rest;
+}
+//# sourceMappingURL=verificationDiagnostics.js.map

package/dist/verificationDiagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationDiagnostics.js","sourceRoot":"","sources":["../src/verificationDiagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAGjE,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,0GAA0G;AAC1G,MAAM,CAAC,MAAM,wCAAwC,GAAwB,IAAI,GAAG,CAAC;IACnF,iBAAiB;IACjB,oBAAoB;IACpB,kBAAkB;CACnB,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAS;IAC3C,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC;IACvC,6CAA6C;CAC9C,CAAC,CAAC;AAEH,qHAAqH;AACrH,MAAM,UAAU,gCAAgC,CAAC,KAAa;IAC5D,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,IAAY;IAChE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,0CAA0C,CAAC,OAAiB;IACnE,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACrE,IAAI,CAAC,CAAC,GAAG,CAAC,yBAAyB,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAClE,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,oBAAoB,CAAC;IAChE,CAAC;IACD,IACE,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACzB,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC,EACnC,CAAC;QACD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,KAAK,CACb,8EAA8E,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAA6C;IACpF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACjC,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,yBAAyB,CAAC;IAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;QACzF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,KAAK,yBAAyB,EAAE,CAAC;QACzC,OAAO,0CAA0C,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,WAAW,GAAU,MAAM,CAAC;IAClC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CAAC,cAAuC;IAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SAClC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmE;IAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,GAAG,IAAI,CAAC;SACb,KAAK,EAAE;SACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;SACtE,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,+BAA+B,CAAC,GAA4B;IAC1E,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,MAAM,sBAAsB,IAAI,GAAG,CAAC;QAClG,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,wBAAwB,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,MAAM,aAAa,KAAK,GAAG,CAAC;QACzG,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;aAC1B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,IAAI,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrE,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAQ,CAAC,MAAM,EAAE,CAAC;YACzE,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,CAAC,CAAC,CAAC;QACL,MAAM,IAAI,GAAG,wBAAwB,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,GAAG,GAAG,6BAA6B,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;SAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,qBAAqB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,GAAG,GAAG,6BAA6B,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAiB;IACrD,MAAM,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;QACnD,OAAO,IAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAG,EAAE,CAAC;AAC7C,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iCAAiC,CAAC,KAAoB;IACpE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAiB;IAC/C,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IAChD,OAAO,IAAmB,CAAC;AAC7B,CAAC"}

package/dist/verificationDiagnostics.test.d.ts

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

package/dist/verificationDiagnostics.test.d.ts.map

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