agentskeptic 0.1.1

package/dist/relationalInvariant.test.js

@@ -0,0 +1,32 @@
+import { describe, expect, it } from "vitest";
+import { buildRelationalScalarSql } from "./relationalInvariant.js";
+const relatedExistsWithMatchEq = {
+    checkKind: "related_exists",
+    id: "chk",
+    childTable: "rel_lines",
+    matchEq: [
+        { column: "order_id", value: "o1" },
+        { column: "sku", value: "sku_a" },
+        { column: "id", value: "l1" },
+    ],
+};
+describe("buildRelationalScalarSql related_exists matchEq", () => {
+    it("buildRelationalScalarSql sqlite: related_exists matchEq uses ? placeholders only", () => {
+        const { text, values } = buildRelationalScalarSql("sqlite", relatedExistsWithMatchEq);
+        expect(values.length).toBe(3);
+        expect(text.split("?").length - 1).toBe(values.length);
+        for (const v of values) {
+            expect(text.includes(v)).toBe(false);
+        }
+        expect(text).toContain("EXISTS");
+    });
+    it("buildRelationalScalarSql postgres: related_exists matchEq uses $1..$N and binds outside text", () => {
+        const { text, values } = buildRelationalScalarSql("postgres", relatedExistsWithMatchEq);
+        expect(values.length).toBe(3);
+        for (const v of values) {
+            expect(text.includes(v)).toBe(false);
+        }
+        expect(text).toMatch(/\$1\b[\s\S]*\$2\b[\s\S]*\$3\b/);
+    });
+});
+//# sourceMappingURL=relationalInvariant.test.js.map

package/dist/relationalInvariant.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationalInvariant.test.js","sourceRoot":"","sources":["../src/relationalInvariant.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAGpE,MAAM,wBAAwB,GAA4B;IACxD,SAAS,EAAE,gBAAgB;IAC3B,EAAE,EAAE,KAAK;IACT,UAAU,EAAE,WAAW;IACvB,OAAO,EAAE;QACP,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE;QACjC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;KAC9B;CACF,CAAC;AAEF,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;QACtF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/remediationConsumptionGuard.test.d.ts

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

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

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

package/dist/remediationConsumptionGuard.test.js

@@ -0,0 +1,80 @@
+import { readdirSync, readFileSync } from "node:fs";
+import { basename, dirname, join, relative } from "node:path";
+import { fileURLToPath } from "node:url";
+import { describe, expect, it } from "vitest";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+const repoRoot = join(__dirname, "..");
+const PROPERTY_ACCESS_ALLOWLIST = new Set([
+    "src/types.ts",
+    "src/actionableFailure.ts",
+    "src/correctnessDefinition.ts",
+    "src/operationalDisposition.ts",
+    "src/workflowTruthReport.ts",
+    "src/runComparison.ts",
+]);
+const propAccessRecommended = /\.(\s*)recommendedAction\b/;
+const propAccessSafe = /\.(\s*)automationSafe\b/;
+function listProductionTsFiles(dir, out = []) {
+    for (const ent of readdirSync(dir, { withFileTypes: true })) {
+        const p = join(dir, ent.name);
+        if (ent.isDirectory()) {
+            listProductionTsFiles(p, out);
+        }
+        else if (ent.isFile() && ent.name.endsWith(".ts") && !ent.name.endsWith(".test.ts")) {
+            out.push(p);
+        }
+    }
+    return out;
+}
+describe("remediationConsumptionGuard (Module C)", () => {
+    it("C1: property access on recommendedAction / automationSafe is allowlisted only", () => {
+        const srcDir = join(repoRoot, "src");
+        for (const abs of listProductionTsFiles(srcDir)) {
+            const rel = relative(repoRoot, abs).replace(/\\/g, "/");
+            const text = readFileSync(abs, "utf8");
+            if (propAccessRecommended.test(text) || propAccessSafe.test(text)) {
+                expect(PROPERTY_ACCESS_ALLOWLIST.has(rel), rel).toBe(true);
+            }
+        }
+    });
+    it("C2: no switch on recommendedAction or automationSafe", () => {
+        const srcDir = join(repoRoot, "src");
+        let combined = "";
+        for (const abs of listProductionTsFiles(srcDir)) {
+            combined += readFileSync(abs, "utf8");
+        }
+        const badRec = /switch\s*\([^)]*\brecommendedAction\b/;
+        const badSafe = /switch\s*\([^)]*\bautomationSafe\b/;
+        expect(badRec.test(combined)).toBe(false);
+        expect(badSafe.test(combined)).toBe(false);
+    });
+    it("C3: no remediation executor entrypoints", () => {
+        const srcDir = join(repoRoot, "src");
+        const exportBad = /^\s*export\s+(async\s+)?function\s+(remediate|executeRemediation|applyRecommendedAction|runRemediation)\b/m;
+        for (const abs of listProductionTsFiles(srcDir)) {
+            const bn = basename(abs);
+            const badBasename = bn.toLowerCase() === "remediationexecutor.ts" ||
+                /^execute.*remediation\.ts$/i.test(bn) ||
+                /^remediation.*executor\.ts$/i.test(bn);
+            expect(badBasename, bn).toBe(false);
+            const text = readFileSync(abs, "utf8");
+            expect(exportBad.test(text), abs).toBe(false);
+        }
+    });
+    it("C4: core pipeline does not import remediation runners", () => {
+        const fromClause = /\bfrom\s+["']([^"']+)["']/g;
+        const badPath = /remediation.*exec|remediationExecutor/i;
+        for (const rel of ["src/pipeline.ts", "src/cli.ts", "src/reconciler.ts"]) {
+            const abs = join(repoRoot, rel);
+            const text = readFileSync(abs, "utf8");
+            let m;
+            const re = new RegExp(fromClause.source, "g");
+            while ((m = re.exec(text)) !== null) {
+                const spec = m[1];
+                const leaf = basename(spec.replace(/\.(js|ts)$/, ""));
+                expect(badPath.test(leaf), `${rel}: from "${spec}"`).toBe(false);
+            }
+        }
+    });
+});
+//# sourceMappingURL=remediationConsumptionGuard.test.js.map

package/dist/remediationConsumptionGuard.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remediationConsumptionGuard.test.js","sourceRoot":"","sources":["../src/remediationConsumptionGuard.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,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,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,cAAc;IACd,0BAA0B;IAC1B,8BAA8B;IAC9B,+BAA+B;IAC/B,4BAA4B;IAC5B,sBAAsB;CACvB,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,4BAA4B,CAAC;AAC3D,MAAM,cAAc,GAAG,yBAAyB,CAAC;AAEjD,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAgB,EAAE;IAC5D,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;YACtB,qBAAqB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,QAAQ,IAAI,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,MAAM,GAAG,uCAAuC,CAAC;QACvD,MAAM,OAAO,GAAG,oCAAoC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,SAAS,GACb,4GAA4G,CAAC;QAC/G,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,WAAW,GACf,EAAE,CAAC,WAAW,EAAE,KAAK,wBAAwB;gBAC7C,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,8BAA8B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,UAAU,GAAG,4BAA4B,CAAC;QAChD,MAAM,OAAO,GAAG,wCAAwC,CAAC;QACzD,KAAK,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,YAAY,EAAE,mBAAmB,CAAC,EAAE,CAAC;YACzE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,IAAI,CAAyB,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC9C,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;gBACnB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC;gBACtD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,WAAW,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/remediationWireSurfaceGuard.test.d.ts

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

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

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

package/dist/remediationWireSurfaceGuard.test.js

@@ -0,0 +1,39 @@
+import { readdirSync, readFileSync } from "node:fs";
+import { dirname, join, relative } from "node:path";
+import { fileURLToPath } from "node:url";
+import { describe, expect, it } from "vitest";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+const repoRoot = join(__dirname, "..");
+const ALLOWLIST = new Set([
+    "src/types.ts",
+    "src/actionableFailure.ts",
+    "src/correctnessDefinition.ts",
+    "src/operationalDisposition.ts",
+    "src/workflowTruthReport.ts",
+    "src/runComparison.ts",
+]);
+function listProductionTsFiles(dir, out = []) {
+    for (const ent of readdirSync(dir, { withFileTypes: true })) {
+        const p = join(dir, ent.name);
+        if (ent.isDirectory()) {
+            listProductionTsFiles(p, out);
+        }
+        else if (ent.isFile() && ent.name.endsWith(".ts") && !ent.name.endsWith(".test.ts")) {
+            out.push(p);
+        }
+    }
+    return out;
+}
+describe("remediationWireSurfaceGuard (Module B)", () => {
+    it("only allowlisted src/**/*.ts (non-test) may contain the identifier recommendedAction", () => {
+        const srcDir = join(repoRoot, "src");
+        for (const abs of listProductionTsFiles(srcDir)) {
+            const rel = relative(repoRoot, abs).replace(/\\/g, "/");
+            const text = readFileSync(abs, "utf8");
+            if (!text.includes("recommendedAction"))
+                continue;
+            expect(ALLOWLIST.has(rel), rel).toBe(true);
+        }
+    });
+});
+//# sourceMappingURL=remediationWireSurfaceGuard.test.js.map

package/dist/remediationWireSurfaceGuard.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remediationWireSurfaceGuard.test.js","sourceRoot":"","sources":["../src/remediationWireSurfaceGuard.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAY,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,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,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,cAAc;IACd,0BAA0B;IAC1B,8BAA8B;IAC9B,+BAA+B;IAC/B,4BAA4B;IAC5B,sBAAsB;CACvB,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAgB,EAAE;IAC5D,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;YACtB,qBAAqB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC;gBAAE,SAAS;YAClD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/resolveExpectation.d.ts

@@ -0,0 +1,28 @@
+import type { ResolvedEffect, ResolvedRelationalCheck, RowAbsentVerificationRequest, ToolRegistryEntry, VerificationRequest } from "./types.js";
+/** UTF-16 code unit lexicographic order (same as `canonicalJsonForParams` object key sort). */
+export declare function compareUtf16Id(a: string, b: string): number;
+export type ResolveResult = {
+    ok: true;
+    verificationKind: "sql_row";
+    request: VerificationRequest;
+} | {
+    ok: true;
+    verificationKind: "sql_row_absent";
+    request: RowAbsentVerificationRequest;
+} | {
+    ok: true;
+    verificationKind: "sql_effects";
+    effects: ResolvedEffect[];
+} | {
+    ok: true;
+    verificationKind: "sql_relational";
+    checks: ResolvedRelationalCheck[];
+} | {
+    ok: false;
+    code: string;
+    message: string;
+};
+export declare function renderIntendedEffect(template: string, params: Record<string, unknown>): string;
+export declare function resolveVerificationRequest(entry: ToolRegistryEntry, params: Record<string, unknown>): ResolveResult;
+export declare function buildRegistryMap(entries: ToolRegistryEntry[]): Map<string, ToolRegistryEntry>;
+//# sourceMappingURL=resolveExpectation.d.ts.map

package/dist/resolveExpectation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolveExpectation.d.ts","sourceRoot":"","sources":["../src/resolveExpectation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAGV,cAAc,EACd,uBAAuB,EACvB,4BAA4B,EAI5B,iBAAiB,EACjB,mBAAmB,EAEpB,MAAM,YAAY,CAAC;AAOpB,+FAA+F;AAC/F,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,MAAM,MAAM,aAAa,GACrB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,gBAAgB,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,GACvE;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,4BAA4B,CAAA;CAAE,GACvF;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,gBAAgB,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,cAAc,EAAE,CAAA;CAAE,GACxE;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,uBAAuB,EAAE,CAAA;CAAE,GACnF;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAwlBjD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAM9F;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,aAAa,CA0DnH;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAY7F"}