agentskeptic 0.1.1

package/dist/registryValidation.test.js

@@ -0,0 +1,186 @@
+import { describe, expect, it } from "vitest";
+import { readFileSync, mkdtempSync, writeFileSync, rmSync } from "fs";
+import { join } from "path";
+import { tmpdir } from "os";
+import { fileURLToPath } from "url";
+import { dirname } from "path";
+import { loadSchemaValidator } from "./schemaLoad.js";
+import { formatNoStepsForWorkflowMessage } from "./noStepsMessage.js";
+import { loadEventsForWorkflow } from "./loadEvents.js";
+import { TruthLayerError } from "./truthLayerError.js";
+import { structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
+const root = join(dirname(fileURLToPath(import.meta.url)), "..");
+describe("registryValidation", () => {
+    it("structuralIssuesFromToolsRegistryAjv sorts by instancePath then keyword", () => {
+        const v = loadSchemaValidator("tools-registry");
+        const bad = [{}];
+        expect(v(bad)).toBe(false);
+        const issues = structuralIssuesFromToolsRegistryAjv(v.errors ?? null);
+        expect(issues.length).toBeGreaterThan(0);
+        expect(issues.every((i) => i.kind === "json_schema")).toBe(true);
+    });
+    it("validateToolsRegistry throws when eventsPath without workflowId", () => {
+        const dir = mkdtempSync(join(tmpdir(), "etl-rv-"));
+        try {
+            const reg = join(dir, "r.json");
+            writeFileSync(reg, readFileSync(join(root, "examples", "tools.json"), "utf8"));
+            expect(() => validateToolsRegistry({ registryPath: reg, eventsPath: join(root, "examples", "events.ndjson") })).toThrow(TruthLayerError);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("rejects empty registry array (json_schema)", () => {
+        const dir = mkdtempSync(join(tmpdir(), "etl-rv-"));
+        try {
+            const reg = join(dir, "r.json");
+            writeFileSync(reg, "[]");
+            const r = validateToolsRegistry({ registryPath: reg });
+            expect(r.valid).toBe(false);
+            expect(r.structuralIssues.some((s) => s.kind === "json_schema")).toBe(true);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("duplicate toolId → structural duplicate_tool_id", () => {
+        const dir = mkdtempSync(join(tmpdir(), "etl-rv-"));
+        try {
+            const reg = join(dir, "r.json");
+            const one = JSON.parse(readFileSync(join(root, "examples", "tools.json"), "utf8"))[0];
+            writeFileSync(reg, JSON.stringify([one, one]));
+            const r = validateToolsRegistry({ registryPath: reg });
+            expect(r.valid).toBe(false);
+            expect(r.structuralIssues.some((s) => s.kind === "duplicate_tool_id")).toBe(true);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("sql_relational duplicate check id → structural", () => {
+        const dir = mkdtempSync(join(tmpdir(), "etl-rv-rel-"));
+        try {
+            const reg = join(dir, "r.json");
+            const payload = [
+                {
+                    toolId: "t.rel.dup",
+                    effectDescriptionTemplate: "x",
+                    verification: {
+                        kind: "sql_relational",
+                        checks: [
+                            {
+                                checkKind: "related_exists",
+                                id: "same",
+                                childTable: { const: "c" },
+                                matchEq: [{ column: { const: "p" }, value: { const: "1" } }],
+                            },
+                            {
+                                checkKind: "aggregate",
+                                id: "same",
+                                table: { const: "t" },
+                                fn: "COUNT_STAR",
+                                expect: { op: "eq", value: { const: 0 } },
+                            },
+                        ],
+                    },
+                },
+            ];
+            writeFileSync(reg, JSON.stringify(payload));
+            const r = validateToolsRegistry({ registryPath: reg });
+            expect(r.valid).toBe(false);
+            expect(r.structuralIssues[0].kind).toBe("sql_relational_duplicate_check_id");
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("sql_effects duplicate effect id → structural", () => {
+        const dir = mkdtempSync(join(tmpdir(), "etl-rv-"));
+        try {
+            const reg = join(dir, "r.json");
+            const payload = [
+                {
+                    toolId: "t.multi",
+                    effectDescriptionTemplate: "x",
+                    verification: {
+                        kind: "sql_effects",
+                        effects: [
+                            {
+                                id: "a",
+                                table: { const: "t1" },
+                                identityEq: [{ column: { const: "id" }, value: { const: "1" } }],
+                                requiredFields: { pointer: "/f" },
+                            },
+                            {
+                                id: "a",
+                                table: { const: "t2" },
+                                identityEq: [{ column: { const: "id" }, value: { const: "2" } }],
+                                requiredFields: { pointer: "/f" },
+                            },
+                        ],
+                    },
+                },
+            ];
+            writeFileSync(reg, JSON.stringify(payload));
+            const r = validateToolsRegistry({ registryPath: reg });
+            expect(r.valid).toBe(false);
+            expect(r.structuralIssues.some((s) => s.kind === "sql_effects_duplicate_effect_id")).toBe(true);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("NO_STEPS_FOR_WORKFLOW when no events for workflow id", () => {
+        const dir = mkdtempSync(join(tmpdir(), "etl-rv-"));
+        try {
+            const reg = join(dir, "r.json");
+            writeFileSync(reg, readFileSync(join(root, "examples", "tools.json"), "utf8"));
+            const r = validateToolsRegistry({
+                registryPath: reg,
+                eventsPath: join(root, "examples", "events.ndjson"),
+                workflowId: "wf_nonexistent___",
+            });
+            expect(r.valid).toBe(false);
+            expect(r.resolutionIssues).toHaveLength(1);
+            expect(r.resolutionIssues[0].code).toBe("NO_STEPS_FOR_WORKFLOW");
+            const { eventFileAggregateCounts } = loadEventsForWorkflow(join(root, "examples", "events.ndjson"), "wf_nonexistent___");
+            const expected = formatNoStepsForWorkflowMessage("wf_nonexistent___", eventFileAggregateCounts);
+            expect(r.resolutionIssues[0].message).toBe(expected);
+            expect(r.resolutionIssues[0].seq).toBeNull();
+            expect(r.resolutionIssues[0].toolId).toBeNull();
+            expect(r.eventLoad?.malformedEventLineCount).toBe(0);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("divergent retry → resolutionSkipped, valid true", () => {
+        const r = validateToolsRegistry({
+            registryPath: join(root, "examples", "tools.json"),
+            eventsPath: join(root, "examples", "events.ndjson"),
+            workflowId: "wf_divergent_retry",
+        });
+        expect(r.valid).toBe(true);
+        expect(r.resolutionSkipped).toHaveLength(1);
+        expect(r.resolutionSkipped[0].code).toBe("RETRY_OBSERVATIONS_DIVERGE");
+    });
+    it("unknown tool in events → resolution issue", () => {
+        const r = validateToolsRegistry({
+            registryPath: join(root, "examples", "tools.json"),
+            eventsPath: join(root, "examples", "events.ndjson"),
+            workflowId: "wf_unknown_tool",
+        });
+        expect(r.valid).toBe(false);
+        expect(r.resolutionIssues.some((i) => i.code === "UNKNOWN_TOOL")).toBe(true);
+    });
+    it("wf_complete + bundled registry → valid", () => {
+        const r = validateToolsRegistry({
+            registryPath: join(root, "examples", "tools.json"),
+            eventsPath: join(root, "examples", "events.ndjson"),
+            workflowId: "wf_complete",
+        });
+        expect(r.valid).toBe(true);
+        expect(r.eventLoad?.workflowId).toBe("wf_complete");
+    });
+});
+//# sourceMappingURL=registryValidation.test.js.map

package/dist/registryValidation.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registryValidation.test.js","sourceRoot":"","sources":["../src/registryValidation.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,oCAAoC,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/E,MAAM,CAAC,GAAG,EAAE,CACV,qBAAqB,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,EAAE,CAAC,CAClG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC7B,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,qBAAqB,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,GAAG,qBAAqB,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG;gBACd;oBACE,MAAM,EAAE,WAAW;oBACnB,yBAAyB,EAAE,GAAG;oBAC9B,YAAY,EAAE;wBACZ,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE;4BACN;gCACE,SAAS,EAAE,gBAAgB;gCAC3B,EAAE,EAAE,MAAM;gCACV,UAAU,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;gCAC1B,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;6BAC7D;4BACD;gCACE,SAAS,EAAE,WAAW;gCACtB,EAAE,EAAE,MAAM;gCACV,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;gCACrB,EAAE,EAAE,YAAY;gCAChB,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;6BAC1C;yBACF;qBACF;iBACF;aACF,CAAC;YACF,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,qBAAqB,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAChF,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG;gBACd;oBACE,MAAM,EAAE,SAAS;oBACjB,yBAAyB,EAAE,GAAG;oBAC9B,YAAY,EAAE;wBACZ,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE;4BACP;gCACE,EAAE,EAAE,GAAG;gCACP,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;gCACtB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;gCAChE,cAAc,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;6BAClC;4BACD;gCACE,EAAE,EAAE,GAAG;gCACP,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;gCACtB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;gCAChE,cAAc,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;6BAClC;yBACF;qBACF;iBACF;aACF,CAAC;YACF,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,qBAAqB,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iCAAiC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClG,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/E,MAAM,CAAC,GAAG,qBAAqB,CAAC;gBAC9B,YAAY,EAAE,GAAG;gBACjB,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC;gBACnD,UAAU,EAAE,mBAAmB;aAChC,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAClE,MAAM,EAAE,wBAAwB,EAAE,GAAG,qBAAqB,CACxD,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,EACvC,mBAAmB,CACpB,CAAC;YACF,MAAM,QAAQ,GAAG,+BAA+B,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;YAChG,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9C,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjD,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,qBAAqB,CAAC;YAC9B,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC;YAClD,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC;YACnD,UAAU,EAAE,oBAAoB;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,qBAAqB,CAAC;YAC9B,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC;YAClD,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC;YACnD,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,qBAAqB,CAAC;YAC9B,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC;YAClD,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC;YACnD,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/relationalInvariant.d.ts

@@ -0,0 +1,28 @@
+import type { DatabaseSync } from "node:sqlite";
+import type { ResolvedRelationalCheck } from "./types.js";
+import type { ReconcileOutput } from "./reconciler.js";
+/** Exported for tests: EXISTS SQL shape for `related_exists` (single-column match). */
+export declare function buildRelatedExistsSql(dialect: "sqlite" | "postgres", childTable: string, fkColumn: string): {
+    text: string;
+};
+export declare function buildRelationalScalarSql(dialect: "sqlite" | "postgres", check: ResolvedRelationalCheck): {
+    text: string;
+    values: string[];
+};
+/** Sample SELECT for anti_join failures (anchor columns only). */
+export declare function buildAntiJoinSampleSql(dialect: "sqlite" | "postgres", check: ResolvedRelationalCheck & {
+    checkKind: "anti_join";
+}): {
+    text: string;
+    values: string[];
+};
+export declare function reconcileRelationalRow(row: Record<string, unknown> | undefined, check: ResolvedRelationalCheck): ReconcileOutput;
+export declare function reconcileRelationalSqlite(db: DatabaseSync, check: ResolvedRelationalCheck): ReconcileOutput;
+type PgClientLike = {
+    query: (text: string, values: string[]) => Promise<{
+        rows: Record<string, unknown>[];
+    }>;
+};
+export declare function reconcileRelationalPostgres(client: PgClientLike, check: ResolvedRelationalCheck): Promise<ReconcileOutput>;
+export {};
+//# sourceMappingURL=relationalInvariant.d.ts.map

package/dist/relationalInvariant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationalInvariant.d.ts","sourceRoot":"","sources":["../src/relationalInvariant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAG1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAMvD,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAQlB;AAMD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,KAAK,EAAE,uBAAuB,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAgFpC;AAED,kEAAkE;AAClE,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,KAAK,EAAE,uBAAuB,GAAG;IAAE,SAAS,EAAE,WAAW,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAsBpC;AA2BD,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EACxC,KAAK,EAAE,uBAAuB,GAC7B,eAAe,CAiIjB;AAYD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,uBAAuB,GAAG,eAAe,CAqC3G;AAED,KAAK,YAAY,GAAG;IAAE,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC;AAEhH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,eAAe,CAAC,CAoC1B"}

package/dist/relationalInvariant.existsSql.test.d.ts

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

package/dist/relationalInvariant.existsSql.test.d.ts.map

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

package/dist/relationalInvariant.existsSql.test.js

@@ -0,0 +1,12 @@
+import { describe, expect, it } from "vitest";
+import { buildRelatedExistsSql } from "./relationalInvariant.js";
+describe("buildRelatedExistsSql", () => {
+    it("emits EXISTS for both dialects and never COUNT(*)", () => {
+        for (const dialect of ["sqlite", "postgres"]) {
+            const { text } = buildRelatedExistsSql(dialect, "child", "fk");
+            expect(text).toContain("EXISTS (");
+            expect(text).not.toMatch(/COUNT\s*\(\s*\*\s*\)/i);
+        }
+    });
+});
+//# sourceMappingURL=relationalInvariant.existsSql.test.js.map

package/dist/relationalInvariant.existsSql.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationalInvariant.existsSql.test.js","sourceRoot":"","sources":["../src/relationalInvariant.existsSql.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAU,EAAE,CAAC;YACtD,MAAM,EAAE,IAAI,EAAE,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/relationalInvariant.js

@@ -0,0 +1,347 @@
+import { formatOperationalMessage } from "./failureCatalog.js";
+import { compareUtf16Id } from "./resolveExpectation.js";
+import { MAX_VERIFICATION_SAMPLE_ROWS } from "./reconciler.js";
+import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+function quoteIdent(id) {
+    return `"${id.replace(/"/g, '""')}"`;
+}
+/** Exported for tests: EXISTS SQL shape for `related_exists` (single-column match). */
+export function buildRelatedExistsSql(dialect, childTable, fkColumn) {
+    const { text } = buildRelationalScalarSql(dialect, {
+        checkKind: "related_exists",
+        id: "_",
+        childTable,
+        matchEq: [{ column: fkColumn, value: "_" }],
+    });
+    return { text };
+}
+function nextPlaceholder(dialect, p) {
+    return dialect === "postgres" ? `$${p.n++}` : "?";
+}
+export function buildRelationalScalarSql(dialect, check) {
+    if (check.checkKind === "related_exists") {
+        const t = quoteIdent(check.childTable);
+        const conds = [];
+        const values = [];
+        const p = { n: 1 };
+        for (const w of check.matchEq) {
+            conds.push(`${t}.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+            values.push(w.value);
+        }
+        const text = `SELECT EXISTS (SELECT 1 FROM ${t} WHERE ${conds.join(" AND ")} LIMIT 1) AS v`;
+        return { text, values };
+    }
+    if (check.checkKind === "anti_join") {
+        const at = quoteIdent(check.anchorTable);
+        const lt = quoteIdent(check.lookupTable);
+        const condsOn = [];
+        const values = [];
+        const p = { n: 1 };
+        condsOn.push(`A.${quoteIdent(check.anchorColumn)} = L.${quoteIdent(check.lookupColumn)}`);
+        for (const w of check.filterEqLookup) {
+            condsOn.push(`L.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+            values.push(w.value);
+        }
+        const whereParts = [`L.${quoteIdent(check.lookupPresenceColumn)} IS NULL`];
+        for (const w of check.filterEqAnchor) {
+            whereParts.push(`A.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+            values.push(w.value);
+        }
+        const text = `SELECT COUNT(*) AS v FROM ${at} AS A LEFT JOIN ${lt} AS L ON ${condsOn.join(" AND ")} WHERE ${whereParts.join(" AND ")}`;
+        return { text, values };
+    }
+    if (check.checkKind === "aggregate") {
+        const tbl = quoteIdent(check.table);
+        let selectPart;
+        if (check.fn === "COUNT_STAR") {
+            selectPart = `SELECT COUNT(*) AS v FROM ${tbl}`;
+        }
+        else {
+            const col = check.sumColumn;
+            if (!col) {
+                throw new Error("SUM requires sumColumn");
+            }
+            selectPart = `SELECT COALESCE(SUM(${quoteIdent(col)}), 0) AS v FROM ${tbl}`;
+        }
+        if (check.whereEq.length === 0) {
+            return { text: selectPart, values: [] };
+        }
+        const conds = check.whereEq.map((w, i) => {
+            const ph = dialect === "postgres" ? `$${i + 1}` : "?";
+            return `${tbl}.${quoteIdent(w.column)} = ${ph}`;
+        });
+        return {
+            text: `${selectPart} WHERE ${conds.join(" AND ")}`,
+            values: check.whereEq.map((w) => w.value),
+        };
+    }
+    if (check.checkKind === "join_count") {
+        const lt = quoteIdent(check.leftTable);
+        const rt = quoteIdent(check.rightTable);
+        const base = `SELECT COUNT(*) AS v FROM ${lt} AS L INNER JOIN ${rt} AS R ON L.${quoteIdent(check.leftJoinColumn)} = R.${quoteIdent(check.rightJoinColumn)}`;
+        if (check.whereEq.length === 0) {
+            return { text: base, values: [] };
+        }
+        const conds = check.whereEq.map((w, i) => {
+            const ph = dialect === "postgres" ? `$${i + 1}` : "?";
+            const alias = w.side === "left" ? "L" : "R";
+            return `${alias}.${quoteIdent(w.column)} = ${ph}`;
+        });
+        return {
+            text: `${base} WHERE ${conds.join(" AND ")}`,
+            values: check.whereEq.map((w) => w.value),
+        };
+    }
+    const _exhaustive = check;
+    return _exhaustive;
+}
+/** Sample SELECT for anti_join failures (anchor columns only). */
+export function buildAntiJoinSampleSql(dialect, check) {
+    const at = quoteIdent(check.anchorTable);
+    const lt = quoteIdent(check.lookupTable);
+    const condsOn = [];
+    const values = [];
+    const p = { n: 1 };
+    condsOn.push(`A.${quoteIdent(check.anchorColumn)} = L.${quoteIdent(check.lookupColumn)}`);
+    for (const w of check.filterEqLookup) {
+        condsOn.push(`L.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+        values.push(w.value);
+    }
+    const whereParts = [`L.${quoteIdent(check.lookupPresenceColumn)} IS NULL`];
+    for (const w of check.filterEqAnchor) {
+        whereParts.push(`A.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+        values.push(w.value);
+    }
+    const anchorColSet = new Set([check.anchorColumn]);
+    for (const w of check.filterEqAnchor)
+        anchorColSet.add(w.column);
+    const proj = [...anchorColSet].sort((a, b) => compareUtf16Id(a, b));
+    const selectList = proj.map((c) => `A.${quoteIdent(c)}`).join(", ");
+    const text = `SELECT ${selectList} FROM ${at} AS A LEFT JOIN ${lt} AS L ON ${condsOn.join(" AND ")} WHERE ${whereParts.join(" AND ")} LIMIT ${MAX_VERIFICATION_SAMPLE_ROWS}`;
+    return { text, values };
+}
+function normalizeNumericActual(raw, ctx) {
+    if (raw === null || raw === undefined) {
+        return { ok: false };
+    }
+    if (typeof raw === "boolean") {
+        return { ok: true, n: raw ? 1 : 0 };
+    }
+    if (typeof raw === "number" && Number.isFinite(raw)) {
+        return { ok: true, n: raw };
+    }
+    if (typeof raw === "bigint") {
+        if (raw >= BigInt(Number.MIN_SAFE_INTEGER) && raw <= BigInt(Number.MAX_SAFE_INTEGER)) {
+            return { ok: true, n: Number(raw) };
+        }
+        return { ok: false };
+    }
+    return { ok: false };
+}
+function compareExpect(actual, op, expected) {
+    if (op === "eq")
+        return actual === expected;
+    if (op === "gte")
+        return actual >= expected;
+    return actual <= expected;
+}
+export function reconcileRelationalRow(row, check) {
+    const id = check.id;
+    if (row === undefined) {
+        return {
+            status: "incomplete_verification",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE,
+                    message: formatOperationalMessage(`Relational check ${id}: no result row`),
+                },
+            ],
+            evidenceSummary: { checkId: id, checkKind: check.checkKind },
+        };
+    }
+    const vRaw = row.v ?? row.V;
+    if (check.checkKind === "related_exists") {
+        const norm = normalizeNumericActual(vRaw, id);
+        if (!norm.ok || (norm.n !== 0 && norm.n !== 1)) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE,
+                        message: formatOperationalMessage(`Relational check ${id}: EXISTS result not boolean/0/1`),
+                    },
+                ],
+                evidenceSummary: { checkId: id, checkKind: check.checkKind, raw: vRaw },
+            };
+        }
+        if (norm.n === 1) {
+            return { status: "verified", reasons: [], evidenceSummary: { checkId: id, checkKind: check.checkKind, v: 1 } };
+        }
+        return {
+            status: "missing",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.RELATED_ROWS_ABSENT,
+                    message: formatOperationalMessage(`Relational check ${id}: related row does not exist`),
+                },
+            ],
+            evidenceSummary: { checkId: id, checkKind: check.checkKind, v: 0 },
+        };
+    }
+    if (check.checkKind === "anti_join") {
+        const norm = normalizeNumericActual(vRaw, id);
+        if (!norm.ok) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE,
+                        message: formatOperationalMessage(`Relational check ${id}: non-numeric anti_join count`),
+                    },
+                ],
+                evidenceSummary: { checkId: id, checkKind: check.checkKind, raw: vRaw },
+            };
+        }
+        if (norm.n === 0) {
+            return {
+                status: "verified",
+                reasons: [],
+                evidenceSummary: { checkId: id, checkKind: check.checkKind, orphanRowCount: 0 },
+            };
+        }
+        return {
+            status: "inconsistent",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.ORPHAN_ROW_DETECTED,
+                    message: formatOperationalMessage(`Relational check ${id}: ${norm.n} orphan row(s)`),
+                },
+            ],
+            evidenceSummary: {
+                checkId: id,
+                checkKind: check.checkKind,
+                orphanRowCount: norm.n,
+            },
+        };
+    }
+    const norm = normalizeNumericActual(vRaw, id);
+    if (!norm.ok) {
+        return {
+            status: "incomplete_verification",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE,
+                    message: formatOperationalMessage(`Relational check ${id}: non-numeric aggregate result`),
+                },
+            ],
+            evidenceSummary: { checkId: id, checkKind: check.checkKind, raw: vRaw },
+        };
+    }
+    const ok = compareExpect(norm.n, check.expectOp, check.expectValue);
+    if (!ok) {
+        return {
+            status: "inconsistent",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_EXPECTATION_MISMATCH,
+                    message: formatOperationalMessage(`Relational check ${id}: expected ${check.expectOp} ${check.expectValue} but actual ${norm.n}`),
+                },
+            ],
+            evidenceSummary: {
+                checkId: id,
+                checkKind: check.checkKind,
+                actual: norm.n,
+                expected: check.expectValue,
+                op: check.expectOp,
+            },
+        };
+    }
+    return {
+        status: "verified",
+        reasons: [],
+        evidenceSummary: {
+            checkId: id,
+            checkKind: check.checkKind,
+            actual: norm.n,
+            expected: check.expectValue,
+            op: check.expectOp,
+        },
+    };
+}
+function mergeAntiJoinSamples(base, sampleRows) {
+    return {
+        ...base,
+        evidenceSummary: {
+            ...base.evidenceSummary,
+            sampleRows,
+        },
+    };
+}
+export function reconcileRelationalSqlite(db, check) {
+    const { text, values } = buildRelationalScalarSql("sqlite", check);
+    try {
+        const stmt = db.prepare(text);
+        const row = stmt.get(...values);
+        const lowered = row === undefined
+            ? undefined
+            : Object.fromEntries(Object.entries(row).map(([k, v]) => [k.toLowerCase(), v]));
+        let out = reconcileRelationalRow(lowered, check);
+        if (check.checkKind === "anti_join" &&
+            out.status === "inconsistent" &&
+            out.reasons[0]?.code === SQL_VERIFICATION_OUTCOME_CODE.ORPHAN_ROW_DETECTED) {
+            const { text: st, values: sv } = buildAntiJoinSampleSql("sqlite", check);
+            const sampleStmt = db.prepare(st);
+            const sampleRaw = sampleStmt.all(...sv);
+            const sampleRows = sampleRaw.map((r) => Object.fromEntries(Object.entries(r).map(([k, v]) => [k.toLowerCase(), v])));
+            out = mergeAntiJoinSamples(out, sampleRows);
+        }
+        return out;
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR,
+                    message: formatOperationalMessage(msg),
+                },
+            ],
+            evidenceSummary: { checkId: check.id, checkKind: check.checkKind, error: true },
+        };
+    }
+}
+export async function reconcileRelationalPostgres(client, check) {
+    const { text, values } = buildRelationalScalarSql("postgres", check);
+    try {
+        const r = await client.query(text, values);
+        const row0 = r.rows[0];
+        const lowered = row0 === undefined
+            ? undefined
+            : Object.fromEntries(Object.entries(row0).map(([k, v]) => [k.toLowerCase(), v]));
+        let out = reconcileRelationalRow(lowered, check);
+        if (check.checkKind === "anti_join" &&
+            out.status === "inconsistent" &&
+            out.reasons[0]?.code === SQL_VERIFICATION_OUTCOME_CODE.ORPHAN_ROW_DETECTED) {
+            const { text: st, values: sv } = buildAntiJoinSampleSql("postgres", check);
+            const sr = await client.query(st, sv);
+            const sampleRows = sr.rows.map((row) => Object.fromEntries(Object.entries(row).map(([k, v]) => [k.toLowerCase(), v])));
+            out = mergeAntiJoinSamples(out, sampleRows);
+        }
+        return out;
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR,
+                    message: formatOperationalMessage(msg),
+                },
+            ],
+            evidenceSummary: { checkId: check.id, checkKind: check.checkKind, error: true },
+        };
+    }
+}
+//# sourceMappingURL=relationalInvariant.js.map

package/dist/relationalInvariant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationalInvariant.js","sourceRoot":"","sources":["../src/relationalInvariant.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAGrE,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACvC,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,OAA8B,EAC9B,UAAkB,EAClB,QAAgB;IAEhB,MAAM,EAAE,IAAI,EAAE,GAAG,wBAAwB,CAAC,OAAO,EAAE;QACjD,SAAS,EAAE,gBAAgB;QAC3B,EAAE,EAAE,GAAG;QACP,UAAU;QACV,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAC5C,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CAAC,OAA8B,EAAE,CAAgB;IACvE,OAAO,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAA8B,EAC9B,KAA8B;IAE9B,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,IAAI,GAAG,gCAAgC,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAC5F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC1F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,UAAU,GAAa,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACrF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,IAAI,GAAG,6BAA6B,EAAE,mBAAmB,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvI,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,UAAkB,CAAC;QACvB,IAAI,KAAK,CAAC,EAAE,KAAK,YAAY,EAAE,CAAC;YAC9B,UAAU,GAAG,6BAA6B,GAAG,EAAE,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;YAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;YAC5C,CAAC;YACD,UAAU,GAAG,uBAAuB,UAAU,CAAC,GAAG,CAAC,mBAAmB,GAAG,EAAE,CAAC;QAC9E,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC1C,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,EAAE,GAAG,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACtD,OAAO,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,GAAG,UAAU,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAClD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,IAAI,GACR,6BAA6B,EAAE,oBAAoB,EAAE,cAAc,UAAU,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,UAAU,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QACjJ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,EAAE,GAAG,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACtD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC5C,OAAO,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,GAAG,IAAI,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAC5C,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAU,KAAK,CAAC;IACjC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,sBAAsB,CACpC,OAA8B,EAC9B,KAA2D;IAE3D,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACnB,OAAO,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,UAAU,GAAa,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;IACrF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc;QAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,UAAU,UAAU,SAAS,EAAE,mBAAmB,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,4BAA4B,EAAE,CAAC;IAC7K,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAY,EAAE,GAAW;IACvD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,EAAwB,EAAE,QAAgB;IAC/E,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,MAAM,KAAK,QAAQ,CAAC;IAC5C,IAAI,EAAE,KAAK,KAAK;QAAE,OAAO,MAAM,IAAI,QAAQ,CAAC;IAC5C,OAAO,MAAM,IAAI,QAAQ,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,GAAwC,EACxC,KAA8B;IAE9B,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;IACpB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;iBAC3E;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,iCAAiC,CAAC;qBAC3F;iBACF;gBACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;aACxE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjH,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,mBAAmB;oBACvD,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,8BAA8B,CAAC;iBACxF;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE;SACnE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;qBACzF;iBACF;gBACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;aACxE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,UAAU;gBAClB,OAAO,EAAE,EAAE;gBACX,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC,EAAE;aAChF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,mBAAmB;oBACvD,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,KAAK,IAAI,CAAC,CAAC,gBAAgB,CAAC;iBACrF;aACF;YACD,eAAe,EAAE;gBACf,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,cAAc,EAAE,IAAI,CAAC,CAAC;aACvB;SACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,gCAAgC,CAAC;iBAC1F;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;SACxE,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACpE,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;oBACnE,OAAO,EAAE,wBAAwB,CAC/B,oBAAoB,EAAE,cAAc,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,eAAe,IAAI,CAAC,CAAC,EAAE,CAC/F;iBACF;aACF;YACD,eAAe,EAAE;gBACf,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,IAAI,CAAC,CAAC;gBACd,QAAQ,EAAE,KAAK,CAAC,WAAW;gBAC3B,EAAE,EAAE,KAAK,CAAC,QAAQ;aACnB;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE;YACf,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,MAAM,EAAE,IAAI,CAAC,CAAC;YACd,QAAQ,EAAE,KAAK,CAAC,WAAW;YAC3B,EAAE,EAAE,KAAK,CAAC,QAAQ;SACnB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,UAAqC;IACxF,OAAO;QACL,GAAG,IAAI;QACP,eAAe,EAAE;YACf,GAAG,IAAI,CAAC,eAAe;YACvB,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB,EAAE,KAA8B;IACxF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAwC,CAAC;QACvE,MAAM,OAAO,GACX,GAAG,KAAK,SAAS;YACf,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,KAAK,CAAC,SAAS,KAAK,WAAW;YAC/B,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,mBAAmB,EAC1E,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAA8B,CAAC;YACrE,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;YACF,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,eAAe;oBACnD,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;iBACvC;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;SAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,MAAoB,EACpB,KAA8B;IAE9B,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GACX,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,IAAI,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,KAAK,CAAC,SAAS,KAAK,WAAW;YAC/B,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,mBAAmB,EAC1E,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC3E,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;YACF,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,eAAe;oBACnD,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;iBACvC;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;SAChF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/relationalInvariant.test.d.ts

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

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

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