agentskeptic 0.1.1

package/dist/verificationDiagnostics.test.js

@@ -0,0 +1,228 @@
+import { describe, expect, it } from "vitest";
+import { readFileSync } from "fs";
+import path from "path";
+import { fileURLToPath } from "url";
+import { RECONCILER_INCOMPLETE_VERIFICATION_CODES, RESOLVE_FAILURE_CODES, failureDiagnosticForEventSequenceCode, failureDiagnosticForRunLevelCode, failureDiagnosticForStep, formatVerificationTargetSummary, withFailureDiagnostic, } from "./verificationDiagnostics.js";
+import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
+const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
+function step(partial) {
+    return {
+        intendedEffect: { narrative: "" },
+        observedExecution: { paramsCanonical: "{}" },
+        verificationRequest: null,
+        reasons: [],
+        evidenceSummary: {},
+        repeatObservationCount: 1,
+        evaluatedObservationOrdinal: 1,
+        ...partial,
+    };
+}
+describe("failureDiagnosticForStep", () => {
+    it("verified omits property via withFailureDiagnostic", () => {
+        const s = withFailureDiagnostic(step({ seq: 0, toolId: "t", status: "verified" }));
+        expect(s.failureDiagnostic).toBeUndefined();
+    });
+    it("uncertain → observation_uncertainty", () => {
+        expect(failureDiagnosticForStep(step({
+            seq: 0,
+            toolId: "t",
+            status: "uncertain",
+            reasons: [{ code: "ROW_NOT_OBSERVED_WITHIN_WINDOW", message: "m" }],
+        }))).toBe("observation_uncertainty");
+    });
+    it("missing / inconsistent / partially_verified → workflow_execution", () => {
+        expect(failureDiagnosticForStep(step({ seq: 0, toolId: "t", status: "missing", reasons: [{ code: "ROW_ABSENT", message: "m" }] }))).toBe("workflow_execution");
+        expect(failureDiagnosticForStep(step({
+            seq: 0,
+            toolId: "t",
+            status: "inconsistent",
+            reasons: [{ code: "VALUE_MISMATCH", message: "m" }],
+        }))).toBe("workflow_execution");
+        expect(failureDiagnosticForStep(step({
+            seq: 0,
+            toolId: "t",
+            status: "partially_verified",
+            reasons: [{ code: "MULTI_EFFECT_PARTIAL", message: "m" }],
+        }))).toBe("workflow_execution");
+    });
+    it("incomplete RETRY_OBSERVATIONS_DIVERGE → workflow_execution", () => {
+        expect(failureDiagnosticForStep(step({
+            seq: 0,
+            toolId: "t",
+            status: "incomplete_verification",
+            reasons: [{ code: "RETRY_OBSERVATIONS_DIVERGE", message: "m" }],
+        }))).toBe("workflow_execution");
+    });
+    it("incomplete MULTI_EFFECT_INCOMPLETE → verification_setup", () => {
+        expect(failureDiagnosticForStep(step({
+            seq: 0,
+            toolId: "t",
+            status: "incomplete_verification",
+            reasons: [{ code: "MULTI_EFFECT_INCOMPLETE", message: "m" }],
+        }))).toBe("verification_setup");
+    });
+    it("incomplete UNKNOWN_TOOL → verification_setup", () => {
+        expect(failureDiagnosticForStep(step({
+            seq: 0,
+            toolId: "t",
+            status: "incomplete_verification",
+            reasons: [{ code: "UNKNOWN_TOOL", message: "m" }],
+        }))).toBe("verification_setup");
+    });
+    it("incomplete CONNECTOR_ERROR / ROW_SHAPE_MISMATCH / UNREADABLE_VALUE → verification_setup", () => {
+        for (const code of ["CONNECTOR_ERROR", "ROW_SHAPE_MISMATCH", "UNREADABLE_VALUE"]) {
+            expect(failureDiagnosticForStep(step({
+                seq: 0,
+                toolId: "t",
+                status: "incomplete_verification",
+                reasons: [{ code, message: "m" }],
+            }))).toBe("verification_setup");
+        }
+    });
+    it("incomplete with each RESOLVE_FAILURE_CODES representative → verification_setup", () => {
+        for (const code of RESOLVE_FAILURE_CODES) {
+            expect(failureDiagnosticForStep(step({
+                seq: 0,
+                toolId: "t",
+                status: "incomplete_verification",
+                reasons: [{ code, message: "m" }],
+            }))).toBe("verification_setup");
+        }
+    });
+});
+describe("RESOLVE_FAILURE_CODES parity with resolveExpectation.ts", () => {
+    it("every ok:false code literal in resolveExpectation.ts appears in RESOLVE_FAILURE_CODES", () => {
+        const src = readFileSync(path.join(root, "src", "resolveExpectation.ts"), "utf8");
+        const re = /code:\s*"([A-Z][A-Z0-9_]*)"/g;
+        const fromFile = new Set();
+        let m;
+        while ((m = re.exec(src)) !== null) {
+            fromFile.add(m[1]);
+        }
+        const allowedOnWire = new Set([
+            "REGISTRY_DUPLICATE_TOOL_ID",
+            ...RESOLVE_FAILURE_CODES,
+        ]);
+        for (const c of fromFile) {
+            if (!allowedOnWire.has(c)) {
+                throw new Error(`Unexpected code in resolveExpectation.ts not in RESOLVE_FAILURE_CODES: ${c}`);
+            }
+        }
+    });
+});
+describe("RECONCILER_INCOMPLETE_VERIFICATION_CODES", () => {
+    it("is the closed set of reconciler-produced incomplete_verification reason codes", () => {
+        expect([...RECONCILER_INCOMPLETE_VERIFICATION_CODES].sort()).toEqual(["CONNECTOR_ERROR", "ROW_SHAPE_MISMATCH", "UNREADABLE_VALUE"].sort());
+    });
+});
+describe("failureDiagnosticForRunLevelCode / failureDiagnosticForEventSequenceCode", () => {
+    it("run-level catalog codes map to workflow_execution", () => {
+        expect(failureDiagnosticForRunLevelCode("MALFORMED_EVENT_LINE")).toBe("workflow_execution");
+        expect(failureDiagnosticForRunLevelCode("NO_STEPS_FOR_WORKFLOW")).toBe("workflow_execution");
+    });
+    it("event-sequence codes map to workflow_execution", () => {
+        expect(failureDiagnosticForEventSequenceCode("CAPTURE_ORDER_NOT_MONOTONIC_IN_SEQ")).toBe("workflow_execution");
+        expect(failureDiagnosticForEventSequenceCode("TIMESTAMP_NOT_MONOTONIC_WITH_SEQ_SORT_ORDER")).toBe("workflow_execution");
+    });
+});
+describe("formatVerificationTargetSummary", () => {
+    const sqlRowReq = {
+        kind: "sql_row",
+        table: "contacts",
+        identityEq: [{ column: "id", value: "c1" }],
+        requiredFields: { name: "A", status: "ok" },
+    };
+    it("sql_row includes table, identity, sorted field names", () => {
+        const s = formatVerificationTargetSummary(sqlRowReq);
+        expect(s).toContain("table=contacts");
+        expect(s).toContain("identity=[");
+        expect(s).toContain("id=c1");
+        expect(s).toContain("name");
+        expect(s).toContain("status");
+    });
+    it("null request returns null", () => {
+        expect(formatVerificationTargetSummary(null)).toBeNull();
+    });
+    it("sql_relational lists check ids and kinds", () => {
+        const req = {
+            kind: "sql_relational",
+            checks: [
+                {
+                    checkKind: "related_exists",
+                    id: "b",
+                    childTable: "c",
+                    matchEq: [{ column: "k", value: "1" }],
+                },
+                { checkKind: "aggregate", id: "a", table: "t", fn: "COUNT_STAR", whereEq: [], expectOp: "eq", expectValue: 0 },
+            ],
+        };
+        const s = formatVerificationTargetSummary(req);
+        expect(s).toContain("sql_relational count=2");
+        expect(s).toContain("a:aggregate");
+        expect(s).toContain("b:related_exists");
+        expect(s).not.toContain("b:related_exists:m");
+    });
+    it("sql_relational related_exists with composite matchEq uses mN suffix", () => {
+        const req = {
+            kind: "sql_relational",
+            checks: [
+                {
+                    checkKind: "related_exists",
+                    id: "b",
+                    childTable: "c",
+                    matchEq: [
+                        { column: "k", value: "1" },
+                        { column: "a", value: "1" },
+                        { column: "b", value: "2" },
+                    ],
+                },
+            ],
+        };
+        const s = formatVerificationTargetSummary(req);
+        expect(s).toContain("b:related_exists:m3");
+    });
+});
+describe("stderr category parity with JSON failureDiagnostic", () => {
+    it("mixed failing steps: category line matches failureDiagnostic string", async () => {
+        const { formatWorkflowTruthReport } = await import("./workflowTruthReport.js");
+        const vr = {
+            kind: "sql_row",
+            table: "t",
+            identityEq: [{ column: "id", value: "1" }],
+            requiredFields: { a: "b" },
+        };
+        const result = {
+            schemaVersion: 8,
+            workflowId: "w",
+            status: "inconsistent",
+            runLevelReasons: [],
+            verificationPolicy: { consistencyMode: "strong", verificationWindowMs: 0, pollIntervalMs: 0 },
+            eventSequenceIntegrity: { kind: "normal" },
+            verificationRunContext: createEmptyVerificationRunContext(),
+            steps: [
+                withFailureDiagnostic(step({
+                    seq: 0,
+                    toolId: "t1",
+                    status: "missing",
+                    verificationRequest: vr,
+                    reasons: [{ code: "ROW_ABSENT", message: "m" }],
+                })),
+                withFailureDiagnostic(step({
+                    seq: 1,
+                    toolId: "t2",
+                    status: "incomplete_verification",
+                    reasons: [{ code: "UNKNOWN_TOOL", message: "m" }],
+                })),
+            ],
+        };
+        const text = formatWorkflowTruthReport(result);
+        expect(text).toContain("failure_category=workflow_execution");
+        expect(text).toContain("failure_category=verification_setup");
+        expect(text).toContain("expected:");
+        const block0 = text.split("  - seq=0 ")[1].split("  - seq=1 ")[0];
+        expect(block0).toContain(`failure_category=${result.steps[0].failureDiagnostic}`);
+        const block1 = text.split("  - seq=1 ")[1];
+        expect(block1).toContain(`failure_category=${result.steps[1].failureDiagnostic}`);
+    });
+});
+//# sourceMappingURL=verificationDiagnostics.test.js.map

package/dist/verificationDiagnostics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationDiagnostics.test.js","sourceRoot":"","sources":["../src/verificationDiagnostics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EACL,wCAAwC,EACxC,qBAAqB,EACrB,qCAAqC,EACrC,gCAAgC,EAChC,wBAAwB,EACxB,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAGhF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE3E,SAAS,IAAI,CACX,OAA8E;IAE9E,OAAO;QACL,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,mBAAmB,EAAE,IAAI;QACzB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE,EAAE;QACnB,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;QAC9B,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,aAAa,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACpE,CAAC,CACH,CACF,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACtI,oBAAoB,CACrB,CAAC;QACF,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACpD,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC7B,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAC1D,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAChE,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAC7D,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAClD,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAU,EAAE,CAAC;YAC1F,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;YACzC,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC;QAClF,MAAM,EAAE,GAAG,8BAA8B,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACtB,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;YAC5B,4BAA4B;YAC5B,GAAG,qBAAqB;SACzB,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,CAAC,GAAG,wCAAwC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAClE,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAC,IAAI,EAAE,CACrE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACxF,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,gCAAgC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC5F,MAAM,CAAC,gCAAgC,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,qCAAqC,CAAC,oCAAoC,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/G,MAAM,CAAC,qCAAqC,CAAC,6CAA6C,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,MAAM,SAAS,GAA4B;QACzC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3C,cAAc,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;KAC5C,CAAC;IAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,+BAA+B,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAA4B;YACnC,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG;oBACP,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;iBACvC;gBACD,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE;aAC/G;SACF,CAAC;QACF,MAAM,CAAC,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,GAAG,GAA4B;YACnC,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG;oBACP,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE;wBACP,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC3B,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC3B,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;qBAC5B;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,EAAE,yBAAyB,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC/E,MAAM,EAAE,GAA4B;YAClC,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,GAAG;YACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1C,cAAc,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE;SAC3B,CAAC;QACF,MAAM,MAAM,GAAG;YACb,aAAa,EAAE,CAAU;YACzB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,cAAuB;YAC/B,eAAe,EAAE,EAAyC;YAC1D,kBAAkB,EAAE,EAAE,eAAe,EAAE,QAAiB,EAAE,oBAAoB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;YACtG,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE;YACnD,sBAAsB,EAAE,iCAAiC,EAAE;YAC3D,KAAK,EAAE;gBACL,qBAAqB,CACnB,IAAI,CAAC;oBACH,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,SAAS;oBACjB,mBAAmB,EAAE,EAAE;oBACvB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;iBAChD,CAAC,CACH;gBACD,qBAAqB,CACnB,IAAI,CAAC;oBACH,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;iBAClD,CAAC,CACH;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verificationPolicy.d.ts

@@ -0,0 +1,33 @@
+import type { DatabaseSync } from "node:sqlite";
+import type { ResolveResult } from "./resolveExpectation.js";
+import { type ReconcileOutput } from "./reconciler.js";
+import type { Reason, ResolvedRelationalCheck, RowAbsentVerificationRequest, StepStatus, StepVerificationRequest, VerificationPolicy, VerificationRequest } from "./types.js";
+export declare const DEFAULT_VERIFICATION_POLICY: VerificationPolicy;
+export type TimingDeps = {
+    now: () => number;
+    sleep: (ms: number) => Promise<void>;
+};
+export type PolicyReconcileContext = {
+    reconcileRow: (req: VerificationRequest) => Promise<ReconcileOutput>;
+    reconcileRowAbsent: (req: RowAbsentVerificationRequest) => Promise<ReconcileOutput>;
+    reconcileRelationalCheck: (check: ResolvedRelationalCheck) => Promise<ReconcileOutput>;
+};
+export type PolicyExecutionOutput = {
+    verificationRequest: StepVerificationRequest;
+    status: StepStatus;
+    reasons: Reason[];
+    evidenceSummary: Record<string, unknown>;
+};
+type ResolvedOk = Extract<ResolveResult, {
+    ok: true;
+}>;
+export declare function normalizeVerificationPolicy(policy: VerificationPolicy): VerificationPolicy;
+export declare function assertValidVerificationPolicy(policy: VerificationPolicy): void;
+/** Normalize, validate, and return policy (throws TruthLayerError if invalid). */
+export declare function resolveVerificationPolicyInput(input?: VerificationPolicy): VerificationPolicy;
+/** Strong mode only. Throws if policy is not strong after normalization. */
+export declare function executeVerificationWithPolicySync(db: DatabaseSync, resolved: ResolvedOk, policy: VerificationPolicy): PolicyExecutionOutput;
+export declare function executeVerificationWithPolicyAsync(resolved: ResolvedOk, policy: VerificationPolicy, ctx: PolicyReconcileContext, timing?: Partial<TimingDeps>): Promise<PolicyExecutionOutput>;
+export declare function createSqlitePolicyContext(db: DatabaseSync): PolicyReconcileContext;
+export {};
+//# sourceMappingURL=verificationPolicy.d.ts.map

package/dist/verificationPolicy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationPolicy.d.ts","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAShD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAG7D,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EACV,MAAM,EAEN,uBAAuB,EACvB,4BAA4B,EAC5B,UAAU,EACV,uBAAuB,EACvB,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAIpB,eAAO,MAAM,2BAA2B,EAAE,kBAIzC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,GAAG,EAAE,MAAM,MAAM,CAAC;IAClB,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACtC,CAAC;AAOF,MAAM,MAAM,sBAAsB,GAAG;IACnC,YAAY,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACrE,kBAAkB,EAAE,CAAC,GAAG,EAAE,4BAA4B,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACpF,wBAAwB,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;CACxF,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,mBAAmB,EAAE,uBAAuB,CAAC;IAC7C,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAEF,KAAK,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AASvD,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,CAa1F;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAsB9E;AAED,kFAAkF;AAClF,wBAAgB,8BAA8B,CAAC,KAAK,CAAC,EAAE,kBAAkB,GAAG,kBAAkB,CAK7F;AAsZD,4EAA4E;AAC5E,wBAAgB,iCAAiC,CAC/C,EAAE,EAAE,YAAY,EAChB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,GACzB,qBAAqB,CAqDvB;AAED,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,EAC1B,GAAG,EAAE,sBAAsB,EAC3B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC3B,OAAO,CAAC,qBAAqB,CAAC,CAmEhC;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,GAAG,sBAAsB,CAMlF"}