agentskeptic 0.1.1

package/dist/verificationPolicy.test.js

@@ -0,0 +1,252 @@
+import { describe, expect, it } from "vitest";
+import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
+import { TruthLayerError } from "./truthLayerError.js";
+import { assertValidVerificationPolicy, DEFAULT_VERIFICATION_POLICY, executeVerificationWithPolicyAsync, executeVerificationWithPolicySync, normalizeVerificationPolicy, resolveVerificationPolicyInput, } from "./verificationPolicy.js";
+const baseReq = {
+    kind: "sql_row",
+    table: "t",
+    identityEq: [{ column: "id", value: "1" }],
+    requiredFields: {},
+};
+const unusedRelationalOk = async () => ({
+    status: "verified",
+    reasons: [],
+    evidenceSummary: {},
+});
+const unusedReconcileRowAbsent = async () => ({
+    status: "verified",
+    reasons: [],
+    evidenceSummary: {},
+});
+describe("verificationPolicy", () => {
+    it("normalizeVerificationPolicy forces zeros for strong", () => {
+        expect(normalizeVerificationPolicy({
+            consistencyMode: "strong",
+            verificationWindowMs: 99,
+            pollIntervalMs: 5,
+        })).toEqual({
+            consistencyMode: "strong",
+            verificationWindowMs: 0,
+            pollIntervalMs: 0,
+        });
+    });
+    it("assertValidVerificationPolicy rejects eventual with invalid numbers", () => {
+        expect(() => assertValidVerificationPolicy({
+            consistencyMode: "eventual",
+            verificationWindowMs: 0,
+            pollIntervalMs: 1,
+        })).toThrow(TruthLayerError);
+        expect(() => assertValidVerificationPolicy({
+            consistencyMode: "eventual",
+            verificationWindowMs: 1,
+            pollIntervalMs: 0,
+        })).toThrow(TruthLayerError);
+        expect(() => assertValidVerificationPolicy({
+            consistencyMode: "eventual",
+            verificationWindowMs: 10,
+            pollIntervalMs: 20,
+        })).toThrow(TruthLayerError);
+        expect(() => assertValidVerificationPolicy({
+            consistencyMode: "eventual",
+            verificationWindowMs: 10.5,
+            pollIntervalMs: 5,
+        })).toThrow(TruthLayerError);
+    });
+    it("resolveVerificationPolicyInput accepts DEFAULT", () => {
+        expect(resolveVerificationPolicyInput(undefined)).toEqual(DEFAULT_VERIFICATION_POLICY);
+    });
+    it("executeVerificationWithPolicyAsync strong sql_row calls reconcile once", async () => {
+        let calls = 0;
+        const ctx = {
+            reconcileRow: async () => {
+                calls++;
+                return {
+                    status: "verified",
+                    reasons: [],
+                    evidenceSummary: { rowCount: 1 },
+                };
+            },
+            reconcileRowAbsent: unusedReconcileRowAbsent,
+            reconcileRelationalCheck: unusedRelationalOk,
+        };
+        const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, DEFAULT_VERIFICATION_POLICY, ctx);
+        expect(calls).toBe(1);
+        expect(out.status).toBe("verified");
+    });
+    it("eventual sql_row: missing then verified after one sleep", async () => {
+        let calls = 0;
+        let t = 0;
+        const policy = {
+            consistencyMode: "eventual",
+            verificationWindowMs: 100,
+            pollIntervalMs: 40,
+        };
+        const ctx = {
+            reconcileRow: async () => {
+                calls++;
+                if (calls === 1) {
+                    return {
+                        status: "missing",
+                        reasons: [{ code: "ROW_ABSENT", message: "No row matched key" }],
+                        evidenceSummary: { rowCount: 0 },
+                    };
+                }
+                return {
+                    status: "verified",
+                    reasons: [],
+                    evidenceSummary: { rowCount: 1 },
+                };
+            },
+            reconcileRowAbsent: unusedReconcileRowAbsent,
+            reconcileRelationalCheck: unusedRelationalOk,
+        };
+        const timing = {
+            now: () => t,
+            sleep: async (ms) => {
+                t += ms;
+            },
+        };
+        const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, policy, ctx, timing);
+        expect(calls).toBe(2);
+        expect(out.status).toBe("verified");
+    });
+    it("eventual sql_row: always missing until window yields uncertain with evidence", async () => {
+        let calls = 0;
+        let t = 0;
+        const policy = {
+            consistencyMode: "eventual",
+            verificationWindowMs: 100,
+            pollIntervalMs: 50,
+        };
+        const ctx = {
+            reconcileRow: async () => {
+                calls++;
+                return {
+                    status: "missing",
+                    reasons: [{ code: "ROW_ABSENT", message: "No row matched key" }],
+                    evidenceSummary: { rowCount: 0 },
+                };
+            },
+            reconcileRowAbsent: unusedReconcileRowAbsent,
+            reconcileRelationalCheck: unusedRelationalOk,
+        };
+        const timing = {
+            now: () => t,
+            sleep: async (ms) => {
+                t += ms;
+            },
+        };
+        const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, policy, ctx, timing);
+        expect(out.status).toBe("uncertain");
+        expect(out.reasons[0]?.code).toBe("ROW_NOT_OBSERVED_WITHIN_WINDOW");
+        expect(out.evidenceSummary.attempts).toBe(3);
+        expect(out.evidenceSummary.verificationWindowMs).toBe(100);
+        expect(out.evidenceSummary.pollIntervalMs).toBe(50);
+    });
+    it("eventual sql_row: inconsistent on first tick does not poll again", async () => {
+        let calls = 0;
+        const policy = {
+            consistencyMode: "eventual",
+            verificationWindowMs: 500,
+            pollIntervalMs: 50,
+        };
+        const ctx = {
+            reconcileRow: async () => {
+                calls++;
+                return {
+                    status: "inconsistent",
+                    reasons: [{ code: "VALUE_MISMATCH", message: "m" }],
+                    evidenceSummary: {},
+                };
+            },
+            reconcileRowAbsent: unusedReconcileRowAbsent,
+            reconcileRelationalCheck: unusedRelationalOk,
+        };
+        const timing = {
+            now: () => 0,
+            sleep: async () => {
+                throw new Error("sleep should not be called");
+            },
+        };
+        const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, policy, ctx, timing);
+        expect(calls).toBe(1);
+        expect(out.status).toBe("inconsistent");
+    });
+    it("eventual sql_row: incomplete_verification stops immediately", async () => {
+        let calls = 0;
+        const policy = {
+            consistencyMode: "eventual",
+            verificationWindowMs: 500,
+            pollIntervalMs: 50,
+        };
+        const ctx = {
+            reconcileRow: async () => {
+                calls++;
+                return {
+                    status: "incomplete_verification",
+                    reasons: [{ code: "CONNECTOR_ERROR", message: "x" }],
+                    evidenceSummary: {},
+                };
+            },
+            reconcileRowAbsent: unusedReconcileRowAbsent,
+            reconcileRelationalCheck: unusedRelationalOk,
+        };
+        const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, policy, ctx);
+        expect(calls).toBe(1);
+        expect(out.status).toBe("incomplete_verification");
+    });
+    it("eventual sql_effects: all missing until window yields MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW", async () => {
+        const effects = [
+            { id: "a", request: { ...baseReq, identityEq: [{ column: "id", value: "a" }] } },
+            { id: "b", request: { ...baseReq, identityEq: [{ column: "id", value: "b" }] } },
+        ];
+        let calls = 0;
+        let t = 0;
+        const policy = {
+            consistencyMode: "eventual",
+            verificationWindowMs: 80,
+            pollIntervalMs: 40,
+        };
+        const ctx = {
+            reconcileRow: async () => {
+                calls++;
+                return {
+                    status: "missing",
+                    reasons: [{ code: "ROW_ABSENT", message: "No row matched key" }],
+                    evidenceSummary: { rowCount: 0 },
+                };
+            },
+            reconcileRowAbsent: unusedReconcileRowAbsent,
+            reconcileRelationalCheck: unusedRelationalOk,
+        };
+        const timing = {
+            now: () => t,
+            sleep: async (ms) => {
+                t += ms;
+            },
+        };
+        const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_effects", effects }, policy, ctx, timing);
+        expect(out.status).toBe("uncertain");
+        expect(out.reasons[0]?.code).toBe("MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW");
+        expect(out.evidenceSummary.effectCount).toBe(2);
+        expect(Array.isArray(out.evidenceSummary.effects)).toBe(true);
+    });
+    it("executeVerificationWithPolicySync rejects eventual mode", () => {
+        expect(() => executeVerificationWithPolicySync(null, { ok: true, verificationKind: "sql_row", request: baseReq }, { consistencyMode: "eventual", verificationWindowMs: 10, pollIntervalMs: 5 })).toThrow(TruthLayerError);
+    });
+    it("resolveVerificationPolicyInput throws VERIFICATION_POLICY_INVALID for bad eventual policy", () => {
+        try {
+            resolveVerificationPolicyInput({
+                consistencyMode: "eventual",
+                verificationWindowMs: 5,
+                pollIntervalMs: 10,
+            });
+            expect.fail("expected throw");
+        }
+        catch (e) {
+            expect(e).toBeInstanceOf(TruthLayerError);
+            expect(e.code).toBe(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID);
+        }
+    });
+});
+//# sourceMappingURL=verificationPolicy.test.js.map

package/dist/verificationPolicy.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationPolicy.test.js","sourceRoot":"","sources":["../src/verificationPolicy.test.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,EAC3B,kCAAkC,EAClC,iCAAiC,EACjC,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,OAAO,GAAwB;IACnC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,GAAG;IACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC1C,cAAc,EAAE,EAAE;CACnB,CAAC;AAEF,MAAM,kBAAkB,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,UAAmB;IAC3B,OAAO,EAAE,EAAyC;IAClD,eAAe,EAAE,EAAE;CACpB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,EAAE,UAAmB;IAC3B,OAAO,EAAE,EAAyC;IAClD,eAAe,EAAE,EAAE;CACpB,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CACJ,2BAA2B,CAAC;YAC1B,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC;YACR,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,EAAE;SACnB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,IAAI;YAC1B,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,8BAA8B,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,UAAmB;oBAC3B,OAAO,EAAE,EAAyC;oBAClD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,2BAA2B,EAC3B,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,OAAO;wBACL,MAAM,EAAE,SAAkB;wBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;wBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;qBACjC,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,MAAM,EAAE,UAAmB;oBAC3B,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,SAAkB;oBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;oBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,cAAuB;oBAC/B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACnD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAChD,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,yBAAkC;oBAC1C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACpD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;QAC1G,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YAChF,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;SACjF,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,SAAkB;oBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;oBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,OAAO,EAAE,EACtD,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CACV,iCAAiC,CAC/B,IAA+B,EAC/B,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,CAC7E,CACF,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,IAAI,CAAC;YACH,8BAA8B,CAAC;gBAC7B,eAAe,EAAE,UAAU;gBAC3B,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,EAAE;aACnB,CAAC,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC,CAAC,CAAC;AAEL,CAAC,CAAC,CAAC"}

package/dist/verificationRunContext.d.ts

@@ -0,0 +1,10 @@
+import type { RunEvent, VerificationRunContext } from "./types.js";
+/** Fill missing fields (for tests and manual partials). */
+export declare function mergeVerificationRunContext(partial: Partial<VerificationRunContext> & Pick<VerificationRunContext, "maxWireSchemaVersion">): VerificationRunContext;
+/** Canonical empty digest for v1-only / legacy inputs. */
+export declare function createEmptyVerificationRunContext(): VerificationRunContext;
+/**
+ * Deterministic digest of run events for one workflow (capture order = array index).
+ */
+export declare function buildVerificationRunContext(runEvents: RunEvent[]): VerificationRunContext;
+//# sourceMappingURL=verificationRunContext.d.ts.map

package/dist/verificationRunContext.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationRunContext.d.ts","sourceRoot":"","sources":["../src/verificationRunContext.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAqB,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAMtF,2DAA2D;AAC3D,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,OAAO,CAAC,sBAAsB,CAAC,GACtC,IAAI,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,GACrD,sBAAsB,CAExB;AAED,0DAA0D;AAC1D,wBAAgB,iCAAiC,IAAI,sBAAsB,CAY1E;AAkBD;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAsEzF"}

package/dist/verificationRunContext.js

@@ -0,0 +1,111 @@
+function isToolObserved(ev) {
+    return ev.type === "tool_observed";
+}
+/** Fill missing fields (for tests and manual partials). */
+export function mergeVerificationRunContext(partial) {
+    return { ...createEmptyVerificationRunContext(), ...partial };
+}
+/** Canonical empty digest for v1-only / legacy inputs. */
+export function createEmptyVerificationRunContext() {
+    return {
+        maxWireSchemaVersion: 1,
+        retrievalEvents: [],
+        controlEvents: [],
+        modelTurnEvents: [],
+        toolSkippedEvents: [],
+        toolObservedIngestIndexBySeq: {},
+        firstToolObservedIngestIndex: null,
+        hasRunCompletedControl: false,
+        lastRunEvent: null,
+    };
+}
+function lastEventSummary(runEvents) {
+    if (runEvents.length === 0)
+        return null;
+    const last = runEvents[runEvents.length - 1];
+    const ingestIndex = runEvents.length - 1;
+    if (last.type === "model_turn" && last.schemaVersion === 2) {
+        return {
+            ingestIndex,
+            type: last.type,
+            modelTurnStatus: last.status,
+        };
+    }
+    return { ingestIndex, type: last.type };
+}
+/**
+ * Deterministic digest of run events for one workflow (capture order = array index).
+ */
+export function buildVerificationRunContext(runEvents) {
+    let maxWire = 1;
+    const retrievalEvents = [];
+    const controlEvents = [];
+    const modelTurnEvents = [];
+    const toolSkippedEvents = [];
+    const toolObservedIngestIndexBySeq = {};
+    let firstToolObservedIngestIndex = null;
+    let hasRunCompletedControl = false;
+    for (let ingestIndex = 0; ingestIndex < runEvents.length; ingestIndex++) {
+        const ev = runEvents[ingestIndex];
+        const sv = ev.schemaVersion;
+        if (sv === 2) {
+            maxWire = 2;
+        }
+        if (ev.type === "retrieval" && ev.schemaVersion === 2) {
+            const row = {
+                ingestIndex,
+                runEventId: ev.runEventId,
+                source: ev.source,
+                status: ev.status,
+            };
+            if (ev.hitCount !== undefined) {
+                row.hitCount = ev.hitCount;
+            }
+            retrievalEvents.push(row);
+        }
+        else if (ev.type === "control" && ev.schemaVersion === 2) {
+            if (ev.controlKind === "run_completed") {
+                hasRunCompletedControl = true;
+            }
+            controlEvents.push({
+                ingestIndex,
+                runEventId: ev.runEventId,
+                controlKind: ev.controlKind,
+                ...(ev.decision !== undefined ? { decision: ev.decision } : {}),
+                ...(ev.label !== undefined ? { label: ev.label } : {}),
+            });
+        }
+        else if (ev.type === "model_turn" && ev.schemaVersion === 2) {
+            modelTurnEvents.push({
+                ingestIndex,
+                runEventId: ev.runEventId,
+                status: ev.status,
+            });
+        }
+        else if (ev.type === "tool_skipped" && ev.schemaVersion === 2) {
+            toolSkippedEvents.push({
+                ingestIndex,
+                toolId: ev.toolId,
+                reason: ev.reason,
+            });
+        }
+        else if (isToolObserved(ev)) {
+            toolObservedIngestIndexBySeq[String(ev.seq)] = ingestIndex;
+            if (firstToolObservedIngestIndex === null || ingestIndex < firstToolObservedIngestIndex) {
+                firstToolObservedIngestIndex = ingestIndex;
+            }
+        }
+    }
+    return {
+        maxWireSchemaVersion: maxWire,
+        retrievalEvents,
+        controlEvents,
+        modelTurnEvents,
+        toolSkippedEvents,
+        toolObservedIngestIndexBySeq,
+        firstToolObservedIngestIndex,
+        hasRunCompletedControl,
+        lastRunEvent: lastEventSummary(runEvents),
+    };
+}
+//# sourceMappingURL=verificationRunContext.js.map

package/dist/verificationRunContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationRunContext.js","sourceRoot":"","sources":["../src/verificationRunContext.ts"],"names":[],"mappings":"AAEA,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,2BAA2B,CACzC,OACsD;IAEtD,OAAO,EAAE,GAAG,iCAAiC,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;AAChE,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,iCAAiC;IAC/C,OAAO;QACL,oBAAoB,EAAE,CAAC;QACvB,eAAe,EAAE,EAAE;QACnB,aAAa,EAAE,EAAE;QACjB,eAAe,EAAE,EAAE;QACnB,iBAAiB,EAAE,EAAE;QACrB,4BAA4B,EAAE,EAAE;QAChC,4BAA4B,EAAE,IAAI;QAClC,sBAAsB,EAAE,KAAK;QAC7B,YAAY,EAAE,IAAI;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAqB;IAErB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IAC9C,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO;YACL,WAAW;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,eAAe,EAAE,IAAI,CAAC,MAAM;SAC7B,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CAAC,SAAqB;IAC/D,IAAI,OAAO,GAAG,CAAU,CAAC;IACzB,MAAM,eAAe,GAA8C,EAAE,CAAC;IACtE,MAAM,aAAa,GAA4C,EAAE,CAAC;IAClE,MAAM,eAAe,GAA8C,EAAE,CAAC;IACtE,MAAM,iBAAiB,GAAgD,EAAE,CAAC;IAC1E,MAAM,4BAA4B,GAA2B,EAAE,CAAC;IAChE,IAAI,4BAA4B,GAAkB,IAAI,CAAC;IACvD,IAAI,sBAAsB,GAAG,KAAK,CAAC;IAEnC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;QACxE,MAAM,EAAE,GAAG,SAAS,CAAC,WAAW,CAAE,CAAC;QACnC,MAAM,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC;QAC5B,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACb,OAAO,GAAG,CAAC,CAAC;QACd,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YACtD,MAAM,GAAG,GAAsD;gBAC7D,WAAW;gBACX,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,MAAM,EAAE,EAAE,CAAC,MAAM;aAClB,CAAC;YACF,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC9B,GAAG,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;YAC7B,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YAC3D,IAAI,EAAE,CAAC,WAAW,KAAK,eAAe,EAAE,CAAC;gBACvC,sBAAsB,GAAG,IAAI,CAAC;YAChC,CAAC;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,WAAW;gBACX,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,GAAG,CAAC,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,GAAG,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YAC9D,eAAe,CAAC,IAAI,CAAC;gBACnB,WAAW;gBACX,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,MAAM,EAAE,EAAE,CAAC,MAAM;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YAChE,iBAAiB,CAAC,IAAI,CAAC;gBACrB,WAAW;gBACX,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,MAAM,EAAE,EAAE,CAAC,MAAM;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,4BAA4B,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC;YAC3D,IAAI,4BAA4B,KAAK,IAAI,IAAI,WAAW,GAAG,4BAA4B,EAAE,CAAC;gBACxF,4BAA4B,GAAG,WAAW,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,oBAAoB,EAAE,OAAO;QAC7B,eAAe;QACf,aAAa;QACb,eAAe;QACf,iBAAiB;QACjB,4BAA4B;QAC5B,4BAA4B;QAC5B,sBAAsB;QACtB,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC;KAC1C,CAAC;AACJ,CAAC"}

package/dist/verificationUserPhrases.d.ts

@@ -0,0 +1,22 @@
+/**
+ * User-facing phrases for stable machine reason codes (Quick human output + workflow truth report user_meaning).
+ * Ingest banner strings remain in quickVerifyHumanCopy.ts per normative Appendix H.
+ */
+import { REGISTRY_RESOLVER_CODE, SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+/** Reconciler / SQL outcome codes — user-oriented wording. */
+export declare const SQL_VERIFICATION_PHRASES: Record<(typeof SQL_VERIFICATION_OUTCOME_CODE)[keyof typeof SQL_VERIFICATION_OUTCOME_CODE], string>;
+/** Registry resolver failures — short explanations for operators. */
+export declare const REGISTRY_RESOLVER_PHRASES: Record<(typeof REGISTRY_RESOLVER_CODE)[keyof typeof REGISTRY_RESOLVER_CODE], string>;
+/** Ingest / quick misc (not SQL or registry resolver). */
+export declare const INGEST_AND_QUICK_MISC_PHRASES: {
+    readonly INGEST_NO_ACTIONS: "No tool calls detected in input. This tool only ingests structured tool activity (JSON with tool names and parameters)—not arbitrary logs.";
+    readonly INGEST_NO_STRUCTURED_TOOL_ACTIVITY: "No structured tool activity was found. Input must be JSON/NDJSON describing tool calls and parameters that match the ingest model (see docs)—not generic log lines.";
+    readonly INGEST_INPUT_TOO_LARGE: "Input exceeded the maximum allowed size.";
+    readonly INGEST_ACTION_CAP: "Action limit reached; extra tool calls were ignored.";
+    readonly MALFORMED_LINE: "One or more lines could not be parsed as JSON.";
+};
+/** Run-context codes referenced by `failureAnalysis` P1–P3 (failure explanation divergence lines). */
+export declare const RUN_CONTEXT_FAILURE_PHRASES: Record<string, string>;
+export declare function userPhraseForReasonCode(code: string): string;
+export declare function isFallbackUserPhrase(phrase: string): boolean;
+//# sourceMappingURL=verificationUserPhrases.d.ts.map

package/dist/verificationUserPhrases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationUserPhrases.d.ts","sourceRoot":"","sources":["../src/verificationUserPhrases.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC9B,MAAM,sBAAsB,CAAC;AAI9B,8DAA8D;AAC9D,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAC3C,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,OAAO,6BAA6B,CAAC,EAClF,MAAM,CAsBP,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAC5C,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,OAAO,sBAAsB,CAAC,EACpE,MAAM,CAsBP,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,6BAA6B;;;;;;CAQhC,CAAC;AAEX,sGAAsG;AACtG,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAS9D,CAAC;AAYF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiB5D;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE5D"}

package/dist/verificationUserPhrases.js

@@ -0,0 +1,99 @@
+/**
+ * User-facing phrases for stable machine reason codes (Quick human output + workflow truth report user_meaning).
+ * Ingest banner strings remain in quickVerifyHumanCopy.ts per normative Appendix H.
+ */
+import { EVENT_SEQUENCE_MESSAGES, RUN_LEVEL_MESSAGES } from "./failureCatalog.js";
+const TIMESTAMP_NOT_MONOTONIC_CODE = "TIMESTAMP_NOT_MONOTONIC_WITH_SEQ_SORT_ORDER";
+/** Reconciler / SQL outcome codes — user-oriented wording. */
+export const SQL_VERIFICATION_PHRASES = {
+    ROW_ABSENT: "Success was implied, but no matching row was found in the database.",
+    DUPLICATE_ROWS: "Duplicate or conflicting rows matched the same key.",
+    ROW_SHAPE_MISMATCH: "The row’s shape or columns did not match what verification expected.",
+    UNREADABLE_VALUE: "A stored value could not be read or compared reliably.",
+    VALUE_MISMATCH: "Wrong value in the database for a required field.",
+    CONNECTOR_ERROR: "Database query failed during verification.",
+    MULTI_EFFECT_INCOMPLETE: "Not all intended effects for this step could be verified.",
+    MULTI_EFFECT_ALL_FAILED: "All intended effects for this step failed verification.",
+    MULTI_EFFECT_PARTIAL: "Some intended effects matched; others did not.",
+    ROW_NOT_OBSERVED_WITHIN_WINDOW: "The expected row did not show up within the verification window.",
+    MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW: "Effects could not be fully confirmed within the verification window.",
+    UNKNOWN_TOOL: "The tool is not defined in the registry (or could not be resolved).",
+    RETRY_OBSERVATIONS_DIVERGE: "Multiple observations for this sequence do not agree.",
+    RELATED_ROWS_ABSENT: "A related row required by the check is missing.",
+    RELATIONAL_EXPECTATION_MISMATCH: "A relational check did not match the database.",
+    RELATIONAL_SCALAR_UNUSABLE: "A relational scalar value could not be used for comparison.",
+    ROW_PRESENT_WHEN_FORBIDDEN: "A row is still present when verification expected it to be gone.",
+    ORPHAN_ROW_DETECTED: "An orphan or unexpected related row was detected.",
+    FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW: "Rows that should have been removed were still present within the verification window.",
+};
+/** Registry resolver failures — short explanations for operators. */
+export const REGISTRY_RESOLVER_PHRASES = {
+    CONST_STRING_EMPTY: "Registry constant string is empty.",
+    STRING_SPEC_POINTER_MISSING: "Registry string spec is missing a JSON Pointer path.",
+    STRING_SPEC_TYPE: "Registry string spec has an invalid type.",
+    STRING_SPEC_EMPTY: "Registry string spec resolved to an empty value.",
+    KEY_VALUE_POINTER_MISSING: "Registry key/value spec is missing a pointer.",
+    KEY_VALUE_NOT_SCALAR: "Registry key/value pointer did not resolve to a scalar.",
+    KEY_VALUE_SPEC_INVALID: "Registry key/value spec is invalid.",
+    TABLE_POINTER_INVALID: "Registry table pointer is invalid.",
+    TABLE_SPEC_INVALID: "Registry table spec is invalid.",
+    INVALID_IDENTIFIER: "Registry contains an invalid SQL identifier.",
+    REQUIRED_FIELDS_POINTER_MISSING: "Registry required-fields pointer is missing.",
+    REQUIRED_FIELDS_NOT_OBJECT: "Registry required-fields did not resolve to an object.",
+    REQUIRED_FIELDS_VALUE_UNDEFINED: "A required field value is undefined in the registry.",
+    REQUIRED_FIELDS_VALUE_NOT_SCALAR: "A required field value is not a scalar.",
+    UNSUPPORTED_VERIFICATION_KIND: "This verification kind is not supported for the tool.",
+    DUPLICATE_EFFECT_ID: "Duplicate effect id in the registry.",
+    RELATIONAL_EXPECT_VALUE_INVALID: "Relational expectation value in the registry is invalid.",
+    RELATIONAL_SUM_COLUMN_REQUIRED: "Relational sum check requires a column in the registry.",
+    EQUALITY_DUPLICATE_COLUMN: "Duplicate column in an equality spec.",
+    FILTER_EQ_OVERLAPS_IDENTITY: "Filter equality overlaps identity columns.",
+};
+/** Ingest / quick misc (not SQL or registry resolver). */
+export const INGEST_AND_QUICK_MISC_PHRASES = {
+    INGEST_NO_ACTIONS: "No tool calls detected in input. This tool only ingests structured tool activity (JSON with tool names and parameters)—not arbitrary logs.",
+    INGEST_NO_STRUCTURED_TOOL_ACTIVITY: "No structured tool activity was found. Input must be JSON/NDJSON describing tool calls and parameters that match the ingest model (see docs)—not generic log lines.",
+    INGEST_INPUT_TOO_LARGE: "Input exceeded the maximum allowed size.",
+    INGEST_ACTION_CAP: "Action limit reached; extra tool calls were ignored.",
+    MALFORMED_LINE: "One or more lines could not be parsed as JSON.",
+};
+/** Run-context codes referenced by `failureAnalysis` P1–P3 (failure explanation divergence lines). */
+export const RUN_CONTEXT_FAILURE_PHRASES = {
+    RETRIEVAL_ERROR: "A retrieval step failed before the failing tool observation.",
+    MODEL_TURN_ERROR: "A model turn reported an error before the failing tool observation.",
+    MODEL_TURN_ABORTED: "A model turn was aborted before the failing tool observation.",
+    MODEL_TURN_INCOMPLETE: "A model turn was incomplete before the failing tool observation.",
+    CONTROL_INTERRUPT: "An interrupt control event occurred before the failing tool observation.",
+    CONTROL_BRANCH_SKIPPED: "A branch was skipped before the failing tool observation.",
+    CONTROL_GATE_SKIPPED: "A gate was skipped before the failing tool observation.",
+    TOOL_SKIPPED: "A tool was skipped before the failing tool observation.",
+};
+const RUN_AND_EVENT_PHRASES = {
+    ...RUN_LEVEL_MESSAGES,
+    ...EVENT_SEQUENCE_MESSAGES,
+    ...RUN_CONTEXT_FAILURE_PHRASES,
+    [TIMESTAMP_NOT_MONOTONIC_CODE]: "Timestamps decreased between steps in sequence order (ordering may be unreliable).",
+};
+const FALLBACK_PREFIX = "Verification issue (code ";
+export function userPhraseForReasonCode(code) {
+    if (Object.prototype.hasOwnProperty.call(SQL_VERIFICATION_PHRASES, code)) {
+        return SQL_VERIFICATION_PHRASES[code];
+    }
+    if (Object.prototype.hasOwnProperty.call(REGISTRY_RESOLVER_PHRASES, code)) {
+        return REGISTRY_RESOLVER_PHRASES[code];
+    }
+    if (Object.prototype.hasOwnProperty.call(INGEST_AND_QUICK_MISC_PHRASES, code)) {
+        return INGEST_AND_QUICK_MISC_PHRASES[code];
+    }
+    if (Object.prototype.hasOwnProperty.call(RUN_AND_EVENT_PHRASES, code)) {
+        return RUN_AND_EVENT_PHRASES[code];
+    }
+    if (code.startsWith("MAPPING_")) {
+        return `Mapping: ${code.slice("MAPPING_".length).toLowerCase().replace(/_/g, " ")}.`;
+    }
+    return `${FALLBACK_PREFIX}${code}).`;
+}
+export function isFallbackUserPhrase(phrase) {
+    return phrase.startsWith(FALLBACK_PREFIX);
+}
+//# sourceMappingURL=verificationUserPhrases.js.map

package/dist/verificationUserPhrases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationUserPhrases.js","sourceRoot":"","sources":["../src/verificationUserPhrases.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAMlF,MAAM,4BAA4B,GAAG,6CAAsD,CAAC;AAE5F,8DAA8D;AAC9D,MAAM,CAAC,MAAM,wBAAwB,GAGjC;IACF,UAAU,EAAE,qEAAqE;IACjF,cAAc,EAAE,qDAAqD;IACrE,kBAAkB,EAAE,sEAAsE;IAC1F,gBAAgB,EAAE,wDAAwD;IAC1E,cAAc,EAAE,mDAAmD;IACnE,eAAe,EAAE,4CAA4C;IAC7D,uBAAuB,EAAE,2DAA2D;IACpF,uBAAuB,EAAE,yDAAyD;IAClF,oBAAoB,EAAE,gDAAgD;IACtE,8BAA8B,EAAE,kEAAkE;IAClG,oCAAoC,EAAE,sEAAsE;IAC5G,YAAY,EAAE,qEAAqE;IACnF,0BAA0B,EAAE,uDAAuD;IACnF,mBAAmB,EAAE,iDAAiD;IACtE,+BAA+B,EAAE,gDAAgD;IACjF,0BAA0B,EAAE,6DAA6D;IACzF,0BAA0B,EAAE,kEAAkE;IAC9F,mBAAmB,EAAE,mDAAmD;IACxE,0CAA0C,EACxC,uFAAuF;CAC1F,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAGlC;IACF,kBAAkB,EAAE,oCAAoC;IACxD,2BAA2B,EAAE,sDAAsD;IACnF,gBAAgB,EAAE,2CAA2C;IAC7D,iBAAiB,EAAE,kDAAkD;IACrE,yBAAyB,EAAE,+CAA+C;IAC1E,oBAAoB,EAAE,yDAAyD;IAC/E,sBAAsB,EAAE,qCAAqC;IAC7D,qBAAqB,EAAE,oCAAoC;IAC3D,kBAAkB,EAAE,iCAAiC;IACrD,kBAAkB,EAAE,8CAA8C;IAClE,+BAA+B,EAAE,8CAA8C;IAC/E,0BAA0B,EAAE,wDAAwD;IACpF,+BAA+B,EAAE,sDAAsD;IACvF,gCAAgC,EAAE,yCAAyC;IAC3E,6BAA6B,EAAE,uDAAuD;IACtF,mBAAmB,EAAE,sCAAsC;IAC3D,+BAA+B,EAAE,0DAA0D;IAC3F,8BAA8B,EAAE,yDAAyD;IACzF,yBAAyB,EAAE,uCAAuC;IAClE,2BAA2B,EAAE,4CAA4C;CAC1E,CAAC;AAEF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,iBAAiB,EACf,4IAA4I;IAC9I,kCAAkC,EAChC,qKAAqK;IACvK,sBAAsB,EAAE,0CAA0C;IAClE,iBAAiB,EAAE,sDAAsD;IACzE,cAAc,EAAE,gDAAgD;CACxD,CAAC;AAEX,sGAAsG;AACtG,MAAM,CAAC,MAAM,2BAA2B,GAA2B;IACjE,eAAe,EAAE,8DAA8D;IAC/E,gBAAgB,EAAE,qEAAqE;IACvF,kBAAkB,EAAE,+DAA+D;IACnF,qBAAqB,EAAE,kEAAkE;IACzF,iBAAiB,EAAE,0EAA0E;IAC7F,sBAAsB,EAAE,2DAA2D;IACnF,oBAAoB,EAAE,yDAAyD;IAC/E,YAAY,EAAE,yDAAyD;CACxE,CAAC;AAEF,MAAM,qBAAqB,GAA2B;IACpD,GAAG,kBAAkB;IACrB,GAAG,uBAAuB;IAC1B,GAAG,2BAA2B;IAC9B,CAAC,4BAA4B,CAAC,EAC5B,oFAAoF;CACvF,CAAC;AAEF,MAAM,eAAe,GAAG,2BAAoC,CAAC;AAE7D,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,wBAAwB,CAAC,IAA6C,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,yBAAyB,EAAE,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,yBAAyB,CAAC,IAA8C,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,6BAA6B,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,6BAA6B,CAAC,IAAkD,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,qBAAqB,EAAE,IAAI,CAAC,EAAE,CAAC;QACtE,OAAO,qBAAqB,CAAC,IAAI,CAAE,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;IACvF,CAAC;IACD,OAAO,GAAG,eAAe,GAAG,IAAI,IAAI,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;AAC5C,CAAC"}

package/dist/verificationUserPhrases.test.d.ts

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

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

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

package/dist/verificationUserPhrases.test.js

@@ -0,0 +1,47 @@
+import { describe, expect, it } from "vitest";
+import { ACTION_INPUT_REASON_CODES, RECONCILER_STEP_REASON_CODES } from "./executionPathFindings.js";
+import { EVENT_SEQUENCE_MESSAGES, RUN_LEVEL_MESSAGES } from "./failureCatalog.js";
+import { INGEST_AND_QUICK_MISC_PHRASES, isFallbackUserPhrase, REGISTRY_RESOLVER_PHRASES, SQL_VERIFICATION_PHRASES, userPhraseForReasonCode, } from "./verificationUserPhrases.js";
+import { REGISTRY_RESOLVER_CODE, SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+describe("verificationUserPhrases", () => {
+    it("defines a phrase for every SQL_VERIFICATION_OUTCOME_CODE", () => {
+        for (const c of Object.values(SQL_VERIFICATION_OUTCOME_CODE)) {
+            expect(SQL_VERIFICATION_PHRASES[c].length).toBeGreaterThan(0);
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+    });
+    it("defines a phrase for every REGISTRY_RESOLVER_CODE", () => {
+        for (const c of Object.values(REGISTRY_RESOLVER_CODE)) {
+            expect(REGISTRY_RESOLVER_PHRASES[c].length).toBeGreaterThan(0);
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+    });
+    it("defines ingest/misc phrases", () => {
+        for (const c of Object.keys(INGEST_AND_QUICK_MISC_PHRASES)) {
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+    });
+    it("covers run-level and event-sequence codes used in truth report", () => {
+        for (const c of Object.keys(RUN_LEVEL_MESSAGES)) {
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+        for (const c of Object.keys(EVENT_SEQUENCE_MESSAGES)) {
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+        expect(isFallbackUserPhrase(userPhraseForReasonCode("TIMESTAMP_NOT_MONOTONIC_WITH_SEQ_SORT_ORDER"))).toBe(false);
+    });
+    it("reconciler and action-input step codes never use fallback", () => {
+        for (const c of RECONCILER_STEP_REASON_CODES) {
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+        for (const c of ACTION_INPUT_REASON_CODES) {
+            expect(isFallbackUserPhrase(userPhraseForReasonCode(c))).toBe(false);
+        }
+    });
+    it("MAPPING_* uses template without fallback", () => {
+        expect(userPhraseForReasonCode("MAPPING_LOW_CONFIDENCE")).toBe("Mapping: low confidence.");
+        expect(userPhraseForReasonCode("MAPPING_FAILED")).toBe("Mapping: failed.");
+        expect(isFallbackUserPhrase(userPhraseForReasonCode("MAPPING_FOO"))).toBe(false);
+    });
+});
+//# sourceMappingURL=verificationUserPhrases.test.js.map

package/dist/verificationUserPhrases.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationUserPhrases.test.js","sourceRoot":"","sources":["../src/verificationUserPhrases.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AACrG,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,EACpB,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAE7F,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,6BAA6B,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC9D,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC/D,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAmD,EAAE,CAAC;YAC7G,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAwC,EAAE,CAAC;YACvF,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAA6C,EAAE,CAAC;YACjG,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,6CAA6C,CAAC,CAAC,CAAC,CAAC,IAAI,CACvG,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,KAAK,MAAM,CAAC,IAAI,4BAA4B,EAAE,CAAC;YAC7C,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,yBAAyB,EAAE,CAAC;YAC1C,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,uBAAuB,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC3F,MAAM,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC3E,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verifyRunBundleSignature.d.ts

@@ -0,0 +1,14 @@
+import { type BundleSignatureCode } from "./bundleSignatureCodes.js";
+export type RunBundleSignatureResult = {
+    ok: true;
+} | {
+    ok: false;
+    code: BundleSignatureCode;
+    message: string;
+};
+/**
+ * Normative verify order (1–9): manifest parse + dispatch; events hash; wr hash; sig hash; sidecar parse+schema;
+ * signedContentSha256Hex vs manifest; PEM equality; crypto.verify.
+ */
+export declare function verifyRunBundleSignature(runDir: string, ed25519PublicKeyPemPath: string): RunBundleSignatureResult;
+//# sourceMappingURL=verifyRunBundleSignature.d.ts.map

package/dist/verifyRunBundleSignature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyRunBundleSignature.d.ts","sourceRoot":"","sources":["../src/verifyRunBundleSignature.ts"],"names":[],"mappings":"AAGA,OAAO,EAUL,KAAK,mBAAmB,EACzB,MAAM,2BAA2B,CAAC;AAWnC,MAAM,MAAM,wBAAwB,GAChC;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAS9D;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,uBAAuB,EAAE,MAAM,GAC9B,wBAAwB,CAgJ1B"}