agentskeptic 0.2.1 → 1.0.1

package/dist/verificationConnections.js

@@ -0,0 +1,190 @@
+import { BigQuery } from "@google-cloud/bigquery";
+import mysql from "mysql2/promise";
+import mssql from "mssql";
+import { ConnectorError } from "./sqlConnector.js";
+import { connectPostgresVerificationClient, createPostgresSqlReadBackend } from "./sqlReadBackend.js";
+import { executeRowAbsentRemote } from "./reconciler.js";
+import { reconcileRelationalMysql2, reconcileRelationalMssql, reconcileRelationalPostgres, } from "./relationalInvariant.js";
+import { nextPlaceholderSqlRow, quoteBigQueryTableId, quoteIdent } from "./sqlDialect.js";
+import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+function lowerRows(rows) {
+    return rows.map((row) => Object.fromEntries(Object.entries(row).map(([k, v]) => [k.toLowerCase(), v])));
+}
+function buildSelectByIdentitySqlMysql(req) {
+    const dialect = "mysql";
+    const table = quoteIdent(dialect, req.table);
+    const conds = [];
+    const values = [];
+    let p = 1;
+    for (const pair of req.identityEq) {
+        conds.push(`${table}.${quoteIdent(dialect, pair.column)} = ${nextPlaceholderSqlRow(dialect, p++)}`);
+        values.push(String(pair.value));
+    }
+    return {
+        text: `SELECT * FROM ${table} WHERE ${conds.join(" AND ")} LIMIT 2`,
+        values,
+    };
+}
+function buildSelectByIdentitySqlMssql(req) {
+    const dialect = "mssql";
+    const table = quoteIdent(dialect, req.table);
+    const conds = [];
+    const values = [];
+    let p = 1;
+    for (const pair of req.identityEq) {
+        conds.push(`${table}.${quoteIdent(dialect, pair.column)} = ${nextPlaceholderSqlRow(dialect, p++)}`);
+        values.push(String(pair.value));
+    }
+    return {
+        text: `SELECT TOP 2 * FROM ${table} WHERE ${conds.join(" AND ")}`,
+        values,
+    };
+}
+function buildSelectByIdentitySqlBigQuery(req) {
+    const table = quoteBigQueryTableId(req.table);
+    const conds = [];
+    const params = {};
+    let i = 1;
+    for (const pair of req.identityEq) {
+        const name = `p${i}`;
+        conds.push(`${table}.${quoteIdent("bigquery", pair.column)} = @${name}`);
+        params[name] = String(pair.value);
+        i++;
+    }
+    return {
+        text: `SELECT * FROM ${table} WHERE ${conds.join(" AND ")} LIMIT 2`,
+        params,
+    };
+}
+function parseBigQueryConnectionString(cs) {
+    const u = cs.replace(/^bigquery:\/\//i, "");
+    const projectId = u.split("/")[0]?.trim() ?? "";
+    if (!projectId) {
+        throw new Error("bigquery:// URL must start with bigquery://projectId/...");
+    }
+    return { projectId };
+}
+export async function openVerificationSqlTarget(database) {
+    if (database.kind === "postgres") {
+        const client = await connectPostgresVerificationClient(database.connectionString);
+        const sqlRead = createPostgresSqlReadBackend(client);
+        return {
+            sqlRead,
+            reconcileRelationalCheck: (check) => reconcileRelationalPostgres(client, check),
+            close: async () => {
+                try {
+                    await client.end();
+                }
+                catch {
+                    /* ignore */
+                }
+            },
+        };
+    }
+    if (database.kind === "mysql") {
+        const pool = await mysql.createPool(database.connectionString);
+        const sqlRead = {
+            async fetchRows(req) {
+                const { text, values } = buildSelectByIdentitySqlMysql(req);
+                try {
+                    const [rows] = await pool.query(text, values);
+                    return lowerRows(rows);
+                }
+                catch (e) {
+                    throw new ConnectorError(e instanceof Error ? e.message : String(e), { cause: e });
+                }
+            },
+            async reconcileRowAbsent(req) {
+                return executeRowAbsentRemote("mysql", async (t, v) => {
+                    const [rows] = await pool.query(t, v);
+                    return { rows: rows };
+                }, req);
+            },
+        };
+        return {
+            sqlRead,
+            reconcileRelationalCheck: (check) => reconcileRelationalMysql2(pool, check),
+            close: async () => {
+                await pool.end();
+            },
+        };
+    }
+    if (database.kind === "sqlserver") {
+        const pool = await mssql.connect(database.connectionString);
+        const sqlRead = {
+            async fetchRows(req) {
+                const { text, values } = buildSelectByIdentitySqlMssql(req);
+                try {
+                    const rq = pool.request();
+                    for (let i = 0; i < values.length; i++) {
+                        rq.input(`p${i + 1}`, mssql.NVarChar(mssql.MAX), values[i]);
+                    }
+                    const res = await rq.query(text);
+                    return lowerRows(res.recordset);
+                }
+                catch (e) {
+                    throw new ConnectorError(e instanceof Error ? e.message : String(e), { cause: e });
+                }
+            },
+            async reconcileRowAbsent(req) {
+                return executeRowAbsentRemote("mssql", async (t, v) => {
+                    const rq = pool.request();
+                    for (let i = 0; i < v.length; i++) {
+                        rq.input(`p${i + 1}`, mssql.NVarChar(mssql.MAX), v[i]);
+                    }
+                    const res = await rq.query(t);
+                    return { rows: res.recordset };
+                }, req);
+            },
+        };
+        return {
+            sqlRead,
+            reconcileRelationalCheck: (check) => reconcileRelationalMssql(pool, check),
+            close: async () => {
+                await pool.close();
+            },
+        };
+    }
+    if (database.kind === "bigquery") {
+        const { projectId } = parseBigQueryConnectionString(database.connectionString);
+        const bq = new BigQuery({ projectId });
+        const sqlRead = {
+            async fetchRows(req) {
+                const { text, params } = buildSelectByIdentitySqlBigQuery(req);
+                try {
+                    const [rows] = await bq.query({ query: text, params, useLegacySql: false });
+                    return lowerRows(rows);
+                }
+                catch (e) {
+                    throw new ConnectorError(e instanceof Error ? e.message : String(e), { cause: e });
+                }
+            },
+            async reconcileRowAbsent(req) {
+                return executeRowAbsentRemote("bigquery", async (t, v) => {
+                    const params = {};
+                    for (let i = 0; i < v.length; i++) {
+                        params[`p${i + 1}`] = v[i];
+                    }
+                    const [rows] = await bq.query({ query: t, params, useLegacySql: false });
+                    return { rows: rows };
+                }, req);
+            },
+        };
+        return {
+            sqlRead,
+            reconcileRelationalCheck: () => Promise.resolve({
+                status: "incomplete_verification",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_UNSUPPORTED_DIALECT,
+                        message: "sql_relational is not supported for BigQuery verification targets",
+                    },
+                ],
+                evidenceSummary: {},
+            }),
+            close: async () => { },
+        };
+    }
+    throw new Error(`openVerificationSqlTarget: unsupported database kind ${database.kind}`);
+}
+//# sourceMappingURL=verificationConnections.js.map

package/dist/verificationConnections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationConnections.js","sourceRoot":"","sources":["../src/verificationConnections.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,KAAK,MAAM,gBAAgB,CAAC;AACnC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iCAAiC,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACtG,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,OAAO,EACL,yBAAyB,EACzB,wBAAwB,EACxB,2BAA2B,GAC5B,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,UAAU,EAAsB,MAAM,iBAAiB,CAAC;AAC9G,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAQrE,SAAS,SAAS,CAAC,IAA+B;IAChD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,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,CAAC;AAC1G,CAAC;AAED,SAAS,6BAA6B,CAAC,GAAwB;IAC7D,MAAM,OAAO,GAAkB,OAAO,CAAC;IACvC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,qBAAqB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,iBAAiB,KAAK,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;QACnE,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,GAAwB;IAC7D,MAAM,OAAO,GAAkB,OAAO,CAAC;IACvC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,qBAAqB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,uBAAuB,KAAK,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;QACjE,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CAAC,GAAwB;IAChE,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO;QACL,IAAI,EAAE,iBAAiB,KAAK,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;QACnE,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,EAAU;IAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,QAA8B;IAC5E,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,iCAAiC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;QACrD,OAAO;YACL,OAAO;YACP,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC;YAC/E,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,IAAI,CAAC;oBACH,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC;gBACrB,CAAC;gBAAC,MAAM,CAAC;oBACP,YAAY;gBACd,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAmB;YAC9B,KAAK,CAAC,SAAS,CAAC,GAAwB;gBACtC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC;gBAC5D,IAAI,CAAC;oBACH,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC9C,OAAO,SAAS,CAAC,IAAiC,CAAC,CAAC;gBACtD,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,MAAM,IAAI,cAAc,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;YACD,KAAK,CAAC,kBAAkB,CAAC,GAAiC;gBACxD,OAAO,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;oBACpD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACtC,OAAO,EAAE,IAAI,EAAE,IAAiC,EAAE,CAAC;gBACrD,CAAC,EAAE,GAAG,CAAC,CAAC;YACV,CAAC;SACF,CAAC;QACF,OAAO;YACL,OAAO;YACP,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC;YAC3E,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;YACnB,CAAC;SACF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAmB;YAC9B,KAAK,CAAC,SAAS,CAAC,GAAwB;gBACtC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC;gBAC5D,IAAI,CAAC;oBACH,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBACvC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;oBAC/D,CAAC;oBACD,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACjC,OAAO,SAAS,CAAC,GAAG,CAAC,SAAsC,CAAC,CAAC;gBAC/D,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,MAAM,IAAI,cAAc,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;YACD,KAAK,CAAC,kBAAkB,CAAC,GAAiC;gBACxD,OAAO,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;oBACpD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAClC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;oBAC1D,CAAC;oBACD,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC9B,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,SAAsC,EAAE,CAAC;gBAC9D,CAAC,EAAE,GAAG,CAAC,CAAC;YACV,CAAC;SACF,CAAC;QACF,OAAO;YACL,OAAO;YACP,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC;YAC1E,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YACrB,CAAC;SACF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,EAAE,SAAS,EAAE,GAAG,6BAA6B,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAC/E,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;QACvC,MAAM,OAAO,GAAmB;YAC9B,KAAK,CAAC,SAAS,CAAC,GAAwB;gBACtC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,gCAAgC,CAAC,GAAG,CAAC,CAAC;gBAC/D,IAAI,CAAC;oBACH,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC5E,OAAO,SAAS,CAAC,IAAiC,CAAC,CAAC;gBACtD,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,MAAM,IAAI,cAAc,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;YACD,KAAK,CAAC,kBAAkB,CAAC,GAAiC;gBACxD,OAAO,sBAAsB,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;oBACvD,MAAM,MAAM,GAA2B,EAAE,CAAC;oBAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAClC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;oBAC9B,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;oBACzE,OAAO,EAAE,IAAI,EAAE,IAAiC,EAAE,CAAC;gBACrD,CAAC,EAAE,GAAG,CAAC,CAAC;YACV,CAAC;SACF,CAAC;QACF,OAAO;YACL,OAAO;YACP,wBAAwB,EAAE,GAAG,EAAE,CAC7B,OAAO,CAAC,OAAO,CAAC;gBACd,MAAM,EAAE,yBAAkC;gBAC1C,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;wBAClE,OAAO,EAAE,mEAAmE;qBAC7E;iBACF;gBACD,eAAe,EAAE,EAAE;aACpB,CAAC;YACJ,KAAK,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;SACtB,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,wDAAyD,QAAiC,CAAC,IAAI,EAAE,CAAC,CAAC;AACrH,CAAC"}

package/dist/verificationDatabaseUrl.d.ts

@@ -0,0 +1,11 @@
+import type { RelationalSqlDialect } from "./sqlDialect.js";
+import type { VerificationDatabase } from "./types.js";
+/**
+ * Map CLI `--db` / decision gate `databaseUrl` to a verification database descriptor.
+ * Relative paths resolve under `projectRoot` (SQLite file mode).
+ */
+export declare function parseVerificationDatabaseUrl(databaseUrl: string, projectRoot: string): VerificationDatabase;
+export declare function relationalSqlDialectForDatabase(db: VerificationDatabase): RelationalSqlDialect;
+/** BigQuery does not support `sql_relational` in v1 (row-level verification only). */
+export declare function isBigQueryDatabase(db: VerificationDatabase): boolean;
+//# sourceMappingURL=verificationDatabaseUrl.d.ts.map

package/dist/verificationDatabaseUrl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationDatabaseUrl.d.ts","sourceRoot":"","sources":["../src/verificationDatabaseUrl.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAOvD;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,oBAAoB,CAe3G;AAED,wBAAgB,+BAA+B,CAAC,EAAE,EAAE,oBAAoB,GAAG,oBAAoB,CAM9F;AAED,sFAAsF;AACtF,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,oBAAoB,GAAG,OAAO,CAEpE"}

package/dist/verificationDatabaseUrl.js

@@ -0,0 +1,41 @@
+import path from "node:path";
+const POSTGRES_URL_RE = /^postgres(ql)?:\/\//i;
+const MYSQL_URL_RE = /^mysql(2)?:\/\//i;
+const BIGQUERY_URL_RE = /^bigquery:\/\//i;
+const SQLSERVER_URL_RE = /^(sqlserver|mssql):\/\//i;
+/**
+ * Map CLI `--db` / decision gate `databaseUrl` to a verification database descriptor.
+ * Relative paths resolve under `projectRoot` (SQLite file mode).
+ */
+export function parseVerificationDatabaseUrl(databaseUrl, projectRoot) {
+    const trimmed = databaseUrl.trim();
+    if (POSTGRES_URL_RE.test(trimmed)) {
+        return { kind: "postgres", connectionString: trimmed };
+    }
+    if (MYSQL_URL_RE.test(trimmed)) {
+        return { kind: "mysql", connectionString: trimmed };
+    }
+    if (BIGQUERY_URL_RE.test(trimmed)) {
+        return { kind: "bigquery", connectionString: trimmed };
+    }
+    if (SQLSERVER_URL_RE.test(trimmed)) {
+        return { kind: "sqlserver", connectionString: trimmed };
+    }
+    return { kind: "sqlite", path: path.resolve(projectRoot, trimmed) };
+}
+export function relationalSqlDialectForDatabase(db) {
+    if (db.kind === "sqlite")
+        return "sqlite";
+    if (db.kind === "postgres")
+        return "postgresql";
+    if (db.kind === "mysql")
+        return "mysql";
+    if (db.kind === "sqlserver")
+        return "mssql";
+    return "postgresql";
+}
+/** BigQuery does not support `sql_relational` in v1 (row-level verification only). */
+export function isBigQueryDatabase(db) {
+    return db.kind === "bigquery";
+}
+//# sourceMappingURL=verificationDatabaseUrl.js.map

package/dist/verificationDatabaseUrl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationDatabaseUrl.js","sourceRoot":"","sources":["../src/verificationDatabaseUrl.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAI7B,MAAM,eAAe,GAAG,sBAAsB,CAAC;AAC/C,MAAM,YAAY,GAAG,kBAAkB,CAAC;AACxC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAC1C,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAAC,WAAmB,EAAE,WAAmB;IACnF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,EAAwB;IACtE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC1C,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,YAAY,CAAC;IAChD,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACxC,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,OAAO,CAAC;IAC5C,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,kBAAkB,CAAC,EAAwB;IACzD,OAAO,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC;AAChC,CAAC"}

package/dist/verificationDatabaseUrl.test.d.ts

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

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

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

package/dist/verificationDatabaseUrl.test.js

@@ -0,0 +1,66 @@
+import { describe, expect, it } from "vitest";
+import { tmpdir } from "node:os";
+import path from "node:path";
+import { isBigQueryDatabase, parseVerificationDatabaseUrl, relationalSqlDialectForDatabase, } from "./verificationDatabaseUrl.js";
+describe("parseVerificationDatabaseUrl", () => {
+    const root = tmpdir();
+    it("maps postgres and postgresql URLs", () => {
+        expect(parseVerificationDatabaseUrl("postgres://h/db", root)).toEqual({
+            kind: "postgres",
+            connectionString: "postgres://h/db",
+        });
+        expect(parseVerificationDatabaseUrl("postgresql://h/db", root)).toEqual({
+            kind: "postgres",
+            connectionString: "postgresql://h/db",
+        });
+    });
+    it("maps mysql and mysql2 URLs", () => {
+        expect(parseVerificationDatabaseUrl("mysql://u@h/db", root)).toEqual({
+            kind: "mysql",
+            connectionString: "mysql://u@h/db",
+        });
+        expect(parseVerificationDatabaseUrl("mysql2://u@h/db", root)).toEqual({
+            kind: "mysql",
+            connectionString: "mysql2://u@h/db",
+        });
+    });
+    it("maps bigquery:// URLs", () => {
+        expect(parseVerificationDatabaseUrl("bigquery://project/x", root)).toEqual({
+            kind: "bigquery",
+            connectionString: "bigquery://project/x",
+        });
+    });
+    it("maps sqlserver and mssql URLs", () => {
+        expect(parseVerificationDatabaseUrl("sqlserver://s;Database=db", root)).toEqual({
+            kind: "sqlserver",
+            connectionString: "sqlserver://s;Database=db",
+        });
+        expect(parseVerificationDatabaseUrl("mssql://s;Database=db", root)).toEqual({
+            kind: "sqlserver",
+            connectionString: "mssql://s;Database=db",
+        });
+    });
+    it("resolves relative paths as sqlite under projectRoot", () => {
+        const rel = "data/demo.sqlite";
+        expect(parseVerificationDatabaseUrl(rel, root)).toEqual({
+            kind: "sqlite",
+            path: path.resolve(root, rel),
+        });
+    });
+});
+describe("relationalSqlDialectForDatabase", () => {
+    it("returns dialect per engine", () => {
+        expect(relationalSqlDialectForDatabase({ kind: "sqlite", path: "/x" })).toBe("sqlite");
+        expect(relationalSqlDialectForDatabase({ kind: "postgres", connectionString: "postgresql://x" })).toBe("postgresql");
+        expect(relationalSqlDialectForDatabase({ kind: "mysql", connectionString: "mysql://x" })).toBe("mysql");
+        expect(relationalSqlDialectForDatabase({ kind: "sqlserver", connectionString: "mssql://x" })).toBe("mssql");
+        expect(relationalSqlDialectForDatabase({ kind: "bigquery", connectionString: "bigquery://p" })).toBe("postgresql");
+    });
+});
+describe("isBigQueryDatabase", () => {
+    it("is true only for bigquery kind", () => {
+        expect(isBigQueryDatabase({ kind: "bigquery", connectionString: "bigquery://p" })).toBe(true);
+        expect(isBigQueryDatabase({ kind: "mysql", connectionString: "mysql://x" })).toBe(false);
+    });
+});
+//# sourceMappingURL=verificationDatabaseUrl.test.js.map

package/dist/verificationDatabaseUrl.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationDatabaseUrl.test.js","sourceRoot":"","sources":["../src/verificationDatabaseUrl.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,+BAA+B,GAChC,MAAM,8BAA8B,CAAC;AAEtC,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;IAEtB,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,4BAA4B,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,IAAI,EAAE,UAAU;YAChB,gBAAgB,EAAE,iBAAiB;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtE,IAAI,EAAE,UAAU;YAChB,gBAAgB,EAAE,mBAAmB;SACtC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,4BAA4B,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACnE,IAAI,EAAE,OAAO;YACb,gBAAgB,EAAE,gBAAgB;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,IAAI,EAAE,OAAO;YACb,gBAAgB,EAAE,iBAAiB;SACpC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,4BAA4B,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACzE,IAAI,EAAE,UAAU;YAChB,gBAAgB,EAAE,sBAAsB;SACzC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,4BAA4B,CAAC,2BAA2B,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YAC9E,IAAI,EAAE,WAAW;YACjB,gBAAgB,EAAE,2BAA2B;SAC9C,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,uBAAuB,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1E,IAAI,EAAE,WAAW;YACjB,gBAAgB,EAAE,uBAAuB;SAC1C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,kBAAkB,CAAC;QAC/B,MAAM,CAAC,4BAA4B,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAC9B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,+BAA+B,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvF,MAAM,CAAC,+BAA+B,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACrH,MAAM,CAAC,+BAA+B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxG,MAAM,CAAC,+BAA+B,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5G,MAAM,CAAC,+BAA+B,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,MAAM,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verificationDiagnostics.d.ts.map

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

package/dist/verificationDiagnostics.js

@@ -1,7 +1,10 @@
 import { EVENT_SEQUENCE_MESSAGES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, } from "./failureCatalog.js";
-import { compareUtf16Id } from "./resolveExpectation.js";
 import { RESOLVE_FAILURE_CODES } from "./resolveFailureCodes.js";
 export { RESOLVE_FAILURE_CODES };
+/** Local UTF-16 comparator to avoid runtime coupling on resolveExpectation exports. */
+function compareUtf16Id(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
 /** Reason codes that produce effect `incomplete_verification` in reconciler.ts (connector + row read). */
 export const RECONCILER_INCOMPLETE_VERIFICATION_CODES = new Set([
     "CONNECTOR_ERROR",
@@ -40,6 +43,12 @@ function failureDiagnosticForIncompleteVerification(reasons) {
         C.has("RELATIONAL_SCALAR_UNUSABLE")) {
         return "verification_setup";
     }
+    if (C.has("STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE") ||
+        C.has("STATE_WITNESS_SETUP_ERROR") ||
+        C.has("VECTOR_PROVIDER_ERROR") ||
+        C.has("HTTP_WITNESS_NETWORK_ERROR")) {
+        return "verification_setup";
+    }
     throw new Error(`Unreachable incomplete_verification classification; add mapping for codes: ${[...C].sort().join(", ")}`);
 }
 /**
@@ -110,14 +119,29 @@ export function formatVerificationTargetSummary(req) {
             return line;
         return `${line.slice(0, max - 3)}...`;
     }
-    const parts = [...req.effects]
-        .sort((a, b) => compareUtf16Id(a.id, b.id))
-        .map((e) => `${e.id}:${sanitizeOneLine(e.table)} identity=[${identityEqOneLine(e.identityEq)}]`);
-    const line = `sql_effects count=${req.effects.length} ` + parts.join("; ");
-    const max = OPERATIONAL_MESSAGE_MAX_CHARS;
-    if (line.length <= max)
-        return line;
-    return `${line.slice(0, max - 3)}...`;
+    if (req.kind === "sql_effects") {
+        const parts = [...req.effects]
+            .sort((a, b) => compareUtf16Id(a.id, b.id))
+            .map((e) => `${e.id}:${sanitizeOneLine(e.table)} identity=[${identityEqOneLine(e.identityEq)}]`);
+        const line = `sql_effects count=${req.effects.length} ` + parts.join("; ");
+        const maxEf = OPERATIONAL_MESSAGE_MAX_CHARS;
+        if (line.length <= maxEf)
+            return line;
+        return `${line.slice(0, maxEf - 3)}...`;
+    }
+    if (req.kind === "vector_document") {
+        return formatOperationalMessage(`vector_document provider=${req.provider} index=${sanitizeOneLine(req.indexName)} id=${sanitizeOneLine(req.documentId)}`);
+    }
+    if (req.kind === "object_storage_object") {
+        return formatOperationalMessage(`object_storage bucket=${sanitizeOneLine(req.bucket)} key=${sanitizeOneLine(req.key)}`);
+    }
+    if (req.kind === "http_witness") {
+        return formatOperationalMessage(`http_witness ${req.method} ${sanitizeOneLine(req.url)} expect=${req.expectedStatus}`);
+    }
+    if (req.kind === "mongo_document") {
+        return formatOperationalMessage(`mongo_document collection=${sanitizeOneLine(req.collection)}`);
+    }
+    return null;
 }
 /**
  * Attach `failureDiagnostic` per schema v5: omitted when verified, required otherwise.

package/dist/verificationDiagnostics.js.map

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

package/dist/verificationDiagnostics.test.js

@@ -79,6 +79,21 @@ describe("failureDiagnosticForStep", () => {
             }))).toBe("verification_setup");
         }
     });
+    it("incomplete state-witness / provider transport codes → verification_setup", () => {
+        for (const code of [
+            "STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE",
+            "STATE_WITNESS_SETUP_ERROR",
+            "VECTOR_PROVIDER_ERROR",
+            "HTTP_WITNESS_NETWORK_ERROR",
+        ]) {
+            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({

package/dist/verificationDiagnostics.test.js.map

@@ -1 +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"}
+{"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,0EAA0E,EAAE,GAAG,EAAE;QAClF,KAAK,MAAM,IAAI,IAAI;YACjB,+CAA+C;YAC/C,2BAA2B;YAC3B,uBAAuB;YACvB,4BAA4B;SACpB,EAAE,CAAC;YACX,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

@@ -1,7 +1,7 @@
 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";
+import type { Reason, ResolvedRelationalCheck, RowAbsentVerificationRequest, StateWitnessRequest, StepStatus, StepVerificationRequest, VerificationPolicy, VerificationRequest } from "./types.js";
 export declare const DEFAULT_VERIFICATION_POLICY: VerificationPolicy;
 export type TimingDeps = {
     now: () => number;
@@ -11,6 +11,7 @@ export type PolicyReconcileContext = {
     reconcileRow: (req: VerificationRequest) => Promise<ReconcileOutput>;
     reconcileRowAbsent: (req: RowAbsentVerificationRequest) => Promise<ReconcileOutput>;
     reconcileRelationalCheck: (check: ResolvedRelationalCheck) => Promise<ReconcileOutput>;
+    reconcileStateWitness: (req: StateWitnessRequest) => Promise<ReconcileOutput>;
 };
 export type PolicyExecutionOutput = {
     verificationRequest: StepVerificationRequest;

package/dist/verificationPolicy.d.ts.map

@@ -1 +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"}
+{"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,mBAAmB,EACnB,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;IACvF,qBAAqB,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;CAC/E,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,CAqB1F;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CA8B9E;AAED,kFAAkF;AAClF,wBAAgB,8BAA8B,CAAC,KAAK,CAAC,EAAE,kBAAkB,GAAG,kBAAkB,CAK7F;AA2cD,4EAA4E;AAC5E,wBAAgB,iCAAiC,CAC/C,EAAE,EAAE,YAAY,EAChB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,GACzB,qBAAqB,CAwEvB;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,CAyFhC;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,GAAG,sBAAsB,CAiBlF"}