agentskeptic 0.1.1

package/dist/quickVerify/thresholds.d.ts

@@ -0,0 +1,11 @@
+export declare const T_TABLE = 0.6;
+export declare const T_COL = 0.5;
+export declare const T_OVERALL = 0.55;
+export declare const T_AMBIGUITY_DELTA = 0.08;
+export declare const T_EXPORT = 0.55;
+export declare const MAX_INPUT_BYTES = 8388608;
+export declare const MAX_ACTIONS = 50;
+export declare const MAX_UNITS = 20;
+export declare const FLATTEN_MAX_DEPTH = 6;
+export declare const FLATTEN_MAX_NODES = 500;
+//# sourceMappingURL=thresholds.d.ts.map

package/dist/quickVerify/thresholds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"thresholds.d.ts","sourceRoot":"","sources":["../../src/quickVerify/thresholds.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,MAAM,CAAC;AAC3B,eAAO,MAAM,KAAK,MAAM,CAAC;AACzB,eAAO,MAAM,SAAS,OAAO,CAAC;AAC9B,eAAO,MAAM,iBAAiB,OAAO,CAAC;AACtC,eAAO,MAAM,QAAQ,OAAO,CAAC;AAC7B,eAAO,MAAM,eAAe,UAAY,CAAC;AACzC,eAAO,MAAM,WAAW,KAAK,CAAC;AAC9B,eAAO,MAAM,SAAS,KAAK,CAAC;AAC5B,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,iBAAiB,MAAM,CAAC"}

package/dist/quickVerify/thresholds.js

@@ -0,0 +1,11 @@
+export const T_TABLE = 0.6;
+export const T_COL = 0.5;
+export const T_OVERALL = 0.55;
+export const T_AMBIGUITY_DELTA = 0.08;
+export const T_EXPORT = 0.55;
+export const MAX_INPUT_BYTES = 8_388_608;
+export const MAX_ACTIONS = 50;
+export const MAX_UNITS = 20;
+export const FLATTEN_MAX_DEPTH = 6;
+export const FLATTEN_MAX_NODES = 500;
+//# sourceMappingURL=thresholds.js.map

package/dist/quickVerify/thresholds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thresholds.js","sourceRoot":"","sources":["../../src/quickVerify/thresholds.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG,GAAG,CAAC;AAC3B,MAAM,CAAC,MAAM,KAAK,GAAG,GAAG,CAAC;AACzB,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC;AAC9B,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AACtC,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC;AAC7B,MAAM,CAAC,MAAM,eAAe,GAAG,SAAS,CAAC;AACzC,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC;AAC9B,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,CAAC;AAC5B,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC"}

package/dist/quickVerify/verifyExecution.d.ts

@@ -0,0 +1,15 @@
+import type { DatabaseSync } from "node:sqlite";
+import type pg from "pg";
+import type { ResolvedRelationalCheck, VerificationRequest } from "../types.js";
+export type RowVerifyOutcome = {
+    verdict: "verified" | "fail" | "uncertain";
+    reasonCodes: string[];
+    verification: Record<string, unknown>;
+    explanation: string;
+};
+export declare function verifyRowSqlite(db: DatabaseSync, req: VerificationRequest): RowVerifyOutcome;
+export declare function verifyRowPostgres(client: pg.Client, req: VerificationRequest): Promise<RowVerifyOutcome>;
+export declare function verifyRelatedExists(dialect: "postgres" | "sqlite", clientOrDb: pg.Client | DatabaseSync, check: ResolvedRelationalCheck & {
+    checkKind: "related_exists";
+}): Promise<RowVerifyOutcome>;
+//# sourceMappingURL=verifyExecution.d.ts.map

package/dist/quickVerify/verifyExecution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyExecution.d.ts","sourceRoot":"","sources":["../../src/quickVerify/verifyExecution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAMzB,OAAO,KAAK,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEhF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;IAC3C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,mBAAmB,GAAG,gBAAgB,CA6B5F;AAED,wBAAsB,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAgC9G;AAED,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,UAAU,GAAG,QAAQ,EAC9B,UAAU,EAAE,EAAE,CAAC,MAAM,GAAG,YAAY,EACpC,KAAK,EAAE,uBAAuB,GAAG;IAAE,SAAS,EAAE,gBAAgB,CAAA;CAAE,GAC/D,OAAO,CAAC,gBAAgB,CAAC,CAoE3B"}

package/dist/quickVerify/verifyExecution.js

@@ -0,0 +1,153 @@
+import { fetchRowsForVerification } from "../sqlConnector.js";
+import { buildSelectByIdentitySqlPostgres } from "../sqlReadBackend.js";
+import { reconcileFromRows } from "../reconciler.js";
+import { buildRelationalScalarSql } from "../relationalInvariant.js";
+import { ConnectorError } from "../sqlConnector.js";
+export function verifyRowSqlite(db, req) {
+    try {
+        const rows = fetchRowsForVerification(db, req);
+        const out = reconcileFromRows(rows, req);
+        if (out.status === "verified") {
+            return {
+                verdict: "verified",
+                reasonCodes: [],
+                verification: { ...out.evidenceSummary, rowCount: rows.length },
+                explanation: "Row matched identity and required fields.",
+            };
+        }
+        const codes = out.reasons.map((r) => r.code);
+        const expl = out.reasons.map((r) => r.message).join("; ");
+        return {
+            verdict: out.status === "missing" || out.status === "inconsistent" ? "fail" : "uncertain",
+            reasonCodes: codes,
+            verification: { ...out.evidenceSummary },
+            explanation: expl,
+        };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            verdict: "uncertain",
+            reasonCodes: ["CONNECTOR_ERROR"],
+            verification: {},
+            explanation: msg,
+        };
+    }
+}
+export async function verifyRowPostgres(client, req) {
+    try {
+        const { text, values } = buildSelectByIdentitySqlPostgres(req);
+        const r = await client.query(text, values);
+        const rows = r.rows.map((row) => Object.fromEntries(Object.entries(row).map(([k, v]) => [k.toLowerCase(), v])));
+        const out = reconcileFromRows(rows, req);
+        if (out.status === "verified") {
+            return {
+                verdict: "verified",
+                reasonCodes: [],
+                verification: { ...out.evidenceSummary, rowCount: rows.length },
+                explanation: "Row matched identity and required fields.",
+            };
+        }
+        const codes = out.reasons.map((r) => r.code);
+        return {
+            verdict: out.status === "missing" || out.status === "inconsistent" ? "fail" : "uncertain",
+            reasonCodes: codes,
+            verification: { ...out.evidenceSummary },
+            explanation: out.reasons.map((x) => x.message).join("; "),
+        };
+    }
+    catch (e) {
+        const msg = e instanceof ConnectorError ? e.message : e instanceof Error ? e.message : String(e);
+        return {
+            verdict: "uncertain",
+            reasonCodes: ["CONNECTOR_ERROR"],
+            verification: {},
+            explanation: msg,
+        };
+    }
+}
+export async function verifyRelatedExists(dialect, clientOrDb, check) {
+    const { text, values } = buildRelationalScalarSql(dialect, check);
+    try {
+        if (dialect === "postgres") {
+            const client = clientOrDb;
+            const r = await client.query(text, values);
+            const row = r.rows[0];
+            const v = row?.v ?? row?.V;
+            const ok = normalizeExistsScalar(v);
+            if (!ok.ok) {
+                return {
+                    verdict: "uncertain",
+                    reasonCodes: ["RELATIONAL_SCALAR_UNUSABLE"],
+                    verification: {},
+                    explanation: "EXISTS scalar unusable",
+                };
+            }
+            if (ok.val === 1) {
+                return {
+                    verdict: "verified",
+                    reasonCodes: [],
+                    verification: {},
+                    explanation: "Related row exists.",
+                };
+            }
+            return {
+                verdict: "fail",
+                reasonCodes: ["RELATED_ROWS_ABSENT"],
+                verification: {},
+                explanation: "No matching related row.",
+            };
+        }
+        const db = clientOrDb;
+        const stmt = db.prepare(text);
+        const row = stmt.get(...values);
+        const v = row?.v ?? row?.V;
+        const ok = normalizeExistsScalar(v);
+        if (!ok.ok) {
+            return {
+                verdict: "uncertain",
+                reasonCodes: ["RELATIONAL_SCALAR_UNUSABLE"],
+                verification: {},
+                explanation: "EXISTS scalar unusable",
+            };
+        }
+        if (ok.val === 1) {
+            return {
+                verdict: "verified",
+                reasonCodes: [],
+                verification: {},
+                explanation: "Related row exists.",
+            };
+        }
+        return {
+            verdict: "fail",
+            reasonCodes: ["RELATED_ROWS_ABSENT"],
+            verification: {},
+            explanation: "No matching related row.",
+        };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            verdict: "uncertain",
+            reasonCodes: ["CONNECTOR_ERROR"],
+            verification: {},
+            explanation: msg,
+        };
+    }
+}
+function normalizeExistsScalar(raw) {
+    if (raw === true || raw === 1)
+        return { ok: true, val: 1 };
+    if (raw === false || raw === 0)
+        return { ok: true, val: 0 };
+    if (typeof raw === "string") {
+        const l = raw.toLowerCase();
+        if (l === "t" || l === "true" || l === "1")
+            return { ok: true, val: 1 };
+        if (l === "f" || l === "false" || l === "0")
+            return { ok: true, val: 0 };
+    }
+    return { ok: false };
+}
+//# sourceMappingURL=verifyExecution.js.map

package/dist/quickVerify/verifyExecution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyExecution.js","sourceRoot":"","sources":["../../src/quickVerify/verifyExecution.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAUpD,MAAM,UAAU,eAAe,CAAC,EAAgB,EAAE,GAAwB;IACxE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,wBAAwB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO;gBACL,OAAO,EAAE,UAAU;gBACnB,WAAW,EAAE,EAAE;gBACf,YAAY,EAAE,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;gBAC/D,WAAW,EAAE,2CAA2C;aACzD,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,OAAO;YACL,OAAO,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW;YACzF,WAAW,EAAE,KAAK;YAClB,YAAY,EAAE,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE;YACxC,WAAW,EAAE,IAAI;SAClB,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,OAAO,EAAE,WAAW;YACpB,WAAW,EAAE,CAAC,iBAAiB,CAAC;YAChC,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,GAAG;SACjB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,MAAiB,EAAE,GAAwB;IACjF,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,gCAAgC,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC9B,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;QACF,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO;gBACL,OAAO,EAAE,UAAU;gBACnB,WAAW,EAAE,EAAE;gBACf,YAAY,EAAE,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;gBAC/D,WAAW,EAAE,2CAA2C;aACzD,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO;YACL,OAAO,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW;YACzF,WAAW,EAAE,KAAK;YAClB,YAAY,EAAE,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE;YACxC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAC1D,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjG,OAAO;YACL,OAAO,EAAE,WAAW;YACpB,WAAW,EAAE,CAAC,iBAAiB,CAAC;YAChC,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,GAAG;SACjB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAA8B,EAC9B,UAAoC,EACpC,KAAgE;IAEhE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,UAAuB,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAwC,CAAC;YAC7D,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACX,OAAO;oBACL,OAAO,EAAE,WAAW;oBACpB,WAAW,EAAE,CAAC,4BAA4B,CAAC;oBAC3C,YAAY,EAAE,EAAE;oBAChB,WAAW,EAAE,wBAAwB;iBACtC,CAAC;YACJ,CAAC;YACD,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;gBACjB,OAAO;oBACL,OAAO,EAAE,UAAU;oBACnB,WAAW,EAAE,EAAE;oBACf,YAAY,EAAE,EAAE;oBAChB,WAAW,EAAE,qBAAqB;iBACnC,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,OAAO,EAAE,MAAM;gBACf,WAAW,EAAE,CAAC,qBAAqB,CAAC;gBACpC,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,0BAA0B;aACxC,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,UAA0B,CAAC;QACtC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAwC,CAAC;QACvE,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACX,OAAO;gBACL,OAAO,EAAE,WAAW;gBACpB,WAAW,EAAE,CAAC,4BAA4B,CAAC;gBAC3C,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,wBAAwB;aACtC,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO;gBACL,OAAO,EAAE,UAAU;gBACnB,WAAW,EAAE,EAAE;gBACf,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,qBAAqB;aACnC,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,MAAM;YACf,WAAW,EAAE,CAAC,qBAAqB,CAAC;YACpC,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,0BAA0B;SACxC,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,OAAO,EAAE,WAAW;YACpB,WAAW,EAAE,CAAC,iBAAiB,CAAC;YAChC,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,GAAG;SACjB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAY;IACzC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC3D,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC5D,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvB,CAAC"}

package/dist/reconciler.d.ts

@@ -0,0 +1,25 @@
+import type { SqlReadBackend } from "./sqlReadBackend.js";
+import type { DatabaseSync } from "node:sqlite";
+import type { Reason, RowAbsentVerificationRequest, StepStatus, VerificationRequest } from "./types.js";
+export type ReconcileOutput = {
+    status: StepStatus;
+    reasons: Reason[];
+    evidenceSummary: Record<string, unknown>;
+};
+/** Max rows returned in `sampleRows` for absent / orphan failures (normative). */
+export declare const MAX_VERIFICATION_SAMPLE_ROWS = 3;
+/** Parameterized COUNT + SELECT for `sql_row_absent` (shared SQLite / Postgres). */
+export declare function buildRowAbsentSqlPlan(dialect: "sqlite" | "postgres", req: RowAbsentVerificationRequest): {
+    countSql: string;
+    sampleSql: string;
+    values: string[];
+};
+/** Pure rule table after rows are fetched (shared by SQLite and Postgres paths). */
+export declare function reconcileFromRows(rows: Record<string, unknown>[], req: VerificationRequest): ReconcileOutput;
+export declare function reconcileSqlRow(db: DatabaseSync, req: VerificationRequest): ReconcileOutput;
+export declare function reconcileSqlRowAsync(backend: SqlReadBackend, req: VerificationRequest): Promise<ReconcileOutput>;
+export declare function reconcileSqlRowAbsent(db: DatabaseSync, req: RowAbsentVerificationRequest): ReconcileOutput;
+export declare function executeRowAbsentPostgres(query: (text: string, values: string[]) => Promise<{
+    rows: Record<string, unknown>[];
+}>, req: RowAbsentVerificationRequest): Promise<ReconcileOutput>;
+//# sourceMappingURL=reconciler.d.ts.map

package/dist/reconciler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciler.d.ts","sourceRoot":"","sources":["../src/reconciler.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGxG,MAAM,MAAM,eAAe,GAAG;IAC5B,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAyB9C,oFAAoF;AACpF,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,GAAG,EAAE,4BAA4B,GAChC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAuB3D;AAcD,oFAAoF;AACpF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,mBAAmB,GAAG,eAAe,CAuE5G;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,mBAAmB,GAAG,eAAe,CAiB3F;AAED,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,cAAc,EACvB,GAAG,EAAE,mBAAmB,GACvB,OAAO,CAAC,eAAe,CAAC,CAiB1B;AAED,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,4BAA4B,GAAG,eAAe,CAgD1G;AAED,wBAAsB,wBAAwB,CAC5C,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;CAAE,CAAC,EACvF,GAAG,EAAE,4BAA4B,GAChC,OAAO,CAAC,eAAe,CAAC,CAkD1B"}

package/dist/reconciler.js

@@ -0,0 +1,266 @@
+import { formatOperationalMessage } from "./failureCatalog.js";
+import { compareUtf16Id } from "./resolveExpectation.js";
+import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+import { ConnectorError, fetchRowsForVerification } from "./sqlConnector.js";
+import { verificationScalarsEqual } from "./valueVerification.js";
+/** Max rows returned in `sampleRows` for absent / orphan failures (normative). */
+export const MAX_VERIFICATION_SAMPLE_ROWS = 3;
+function quoteIdent(id) {
+    return `"${id.replace(/"/g, '""')}"`;
+}
+function rowKeyContext(req) {
+    const t = formatOperationalMessage(req.table);
+    const parts = req.identityEq.map((p) => `${formatOperationalMessage(p.column)}=${formatOperationalMessage(p.value)}`);
+    return `table=${t} ${parts.join(" ")}`;
+}
+function absentKeyContext(req) {
+    const t = formatOperationalMessage(req.table);
+    const idParts = req.identityEq.map((p) => `${formatOperationalMessage(p.column)}=${formatOperationalMessage(p.value)}`);
+    const fParts = req.filterEq.map((p) => `${formatOperationalMessage(p.column)}=${formatOperationalMessage(p.value)}`);
+    return `table=${t} identity=[${idParts.join(" ")}]${fParts.length ? ` filter=[${fParts.join(" ")}]` : ""}`;
+}
+/** Parameterized COUNT + SELECT for `sql_row_absent` (shared SQLite / Postgres). */
+export function buildRowAbsentSqlPlan(dialect, req) {
+    const table = quoteIdent(req.table);
+    const conds = [];
+    const vals = [];
+    let p = 1;
+    const nextPh = () => (dialect === "postgres" ? `$${p++}` : "?");
+    for (const pair of req.identityEq) {
+        conds.push(`${table}.${quoteIdent(pair.column)} = ${nextPh()}`);
+        vals.push(pair.value);
+    }
+    for (const pair of req.filterEq) {
+        conds.push(`${table}.${quoteIdent(pair.column)} = ${nextPh()}`);
+        vals.push(pair.value);
+    }
+    const whereClause = conds.join(" AND ");
+    const countSql = `SELECT COUNT(*) AS v FROM ${table} WHERE ${whereClause}`;
+    const projSet = new Set();
+    for (const x of req.identityEq)
+        projSet.add(x.column);
+    for (const x of req.filterEq)
+        projSet.add(x.column);
+    const projCols = [...projSet].sort((a, b) => compareUtf16Id(a, b));
+    const selectList = projCols.map((c) => `${table}.${quoteIdent(c)}`).join(", ");
+    const sampleSql = `SELECT ${selectList} FROM ${table} WHERE ${whereClause} LIMIT ${MAX_VERIFICATION_SAMPLE_ROWS}`;
+    return { countSql, sampleSql, values: vals };
+}
+function normalizeCountV(raw) {
+    if (raw === null || raw === undefined)
+        return null;
+    if (typeof raw === "bigint") {
+        if (raw >= BigInt(Number.MIN_SAFE_INTEGER) && raw <= BigInt(Number.MAX_SAFE_INTEGER)) {
+            return Number(raw);
+        }
+        return null;
+    }
+    if (typeof raw === "number" && Number.isFinite(raw))
+        return raw;
+    return null;
+}
+/** Pure rule table after rows are fetched (shared by SQLite and Postgres paths). */
+export function reconcileFromRows(rows, req) {
+    const n = rows.length;
+    const ctx = rowKeyContext(req);
+    if (n === 0) {
+        return {
+            status: "missing",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.ROW_ABSENT, message: `No row matched key (${ctx})` }],
+            evidenceSummary: { rowCount: 0 },
+        };
+    }
+    if (n >= 2) {
+        return {
+            status: "inconsistent",
+            reasons: [
+                { code: SQL_VERIFICATION_OUTCOME_CODE.DUPLICATE_ROWS, message: `More than one row matched key (${ctx})` },
+            ],
+            evidenceSummary: { rowCount: n },
+        };
+    }
+    const row = rows[0];
+    const keys = Object.keys(req.requiredFields).sort((a, b) => a.localeCompare(b));
+    for (const k of keys) {
+        const col = k.toLowerCase();
+        if (!(col in row)) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    { code: SQL_VERIFICATION_OUTCOME_CODE.ROW_SHAPE_MISMATCH, message: `Column not in row: ${k} (${ctx})` },
+                ],
+                evidenceSummary: { rowCount: 1, rowKeys: Object.keys(row) },
+            };
+        }
+        const actual = row[col];
+        if (typeof actual === "object" && actual !== null && !(actual instanceof Date)) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.UNREADABLE_VALUE,
+                        message: `Non-scalar value for ${k} (${ctx})`,
+                        field: k,
+                    },
+                ],
+                evidenceSummary: { rowCount: 1, field: k },
+            };
+        }
+        const expectedVal = req.requiredFields[k];
+        const cmp = verificationScalarsEqual(expectedVal, actual);
+        if (!cmp.ok) {
+            const message = `Expected ${cmp.expected} but found ${cmp.actual} for field ${k} (${ctx})`;
+            return {
+                status: "inconsistent",
+                reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.VALUE_MISMATCH, message, field: k }],
+                evidenceSummary: {
+                    rowCount: 1,
+                    field: k,
+                    expected: cmp.expected,
+                    actual: cmp.actual,
+                },
+            };
+        }
+    }
+    return {
+        status: "verified",
+        reasons: [],
+        evidenceSummary: { rowCount: 1 },
+    };
+}
+export function reconcileSqlRow(db, req) {
+    let rows;
+    try {
+        rows = fetchRowsForVerification(db, req);
+    }
+    catch (e) {
+        if (e instanceof ConnectorError) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    { code: SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR, message: formatOperationalMessage(e.message) },
+                ],
+                evidenceSummary: { rowCount: null, error: true },
+            };
+        }
+        throw e;
+    }
+    return reconcileFromRows(rows, req);
+}
+export async function reconcileSqlRowAsync(backend, req) {
+    let rows;
+    try {
+        rows = await backend.fetchRows(req);
+    }
+    catch (e) {
+        if (e instanceof ConnectorError) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    { code: SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR, message: formatOperationalMessage(e.message) },
+                ],
+                evidenceSummary: { rowCount: null, error: true },
+            };
+        }
+        throw e;
+    }
+    return reconcileFromRows(rows, req);
+}
+export function reconcileSqlRowAbsent(db, req) {
+    const ctx = absentKeyContext(req);
+    const plan = buildRowAbsentSqlPlan("sqlite", req);
+    try {
+        const countRow = db.prepare(plan.countSql).get(...plan.values);
+        const vRaw = countRow === undefined ? undefined : countRow.v ?? countRow.V;
+        const cnt = normalizeCountV(vRaw);
+        if (cnt === null) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE,
+                        message: formatOperationalMessage(`Absent check: unusable count (${ctx})`),
+                    },
+                ],
+                evidenceSummary: { rowCount: null, raw: vRaw },
+            };
+        }
+        if (cnt === 0) {
+            return { status: "verified", reasons: [], evidenceSummary: { matchedRowCount: 0 } };
+        }
+        const sampleStmt = db.prepare(plan.sampleSql);
+        const sampleRaw = sampleStmt.all(...plan.values);
+        const sampleRows = sampleRaw.map((r) => Object.fromEntries(Object.entries(r).map(([k, v]) => [k.toLowerCase(), v])));
+        return {
+            status: "inconsistent",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.ROW_PRESENT_WHEN_FORBIDDEN,
+                    message: formatOperationalMessage(`Row present when forbidden (${ctx}); matched ${cnt}`),
+                },
+            ],
+            evidenceSummary: {
+                matchedRowCount: cnt,
+                sampleRows,
+            },
+        };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR, message: formatOperationalMessage(msg) }],
+            evidenceSummary: { error: true },
+        };
+    }
+}
+export async function executeRowAbsentPostgres(query, req) {
+    const ctx = absentKeyContext(req);
+    const plan = buildRowAbsentSqlPlan("postgres", req);
+    try {
+        const r = await query(plan.countSql, plan.values);
+        const row0 = r.rows[0];
+        const lowered = row0 === undefined ? undefined : Object.fromEntries(Object.entries(row0).map(([k, v]) => [k.toLowerCase(), v]));
+        const vRaw = lowered?.v;
+        const cnt = normalizeCountV(vRaw);
+        if (cnt === null) {
+            return {
+                status: "incomplete_verification",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE,
+                        message: formatOperationalMessage(`Absent check: unusable count (${ctx})`),
+                    },
+                ],
+                evidenceSummary: { rowCount: null, raw: vRaw },
+            };
+        }
+        if (cnt === 0) {
+            return { status: "verified", reasons: [], evidenceSummary: { matchedRowCount: 0 } };
+        }
+        const sr = await query(plan.sampleSql, plan.values);
+        const sampleRows = sr.rows.map((row) => Object.fromEntries(Object.entries(row).map(([k, v]) => [k.toLowerCase(), v])));
+        return {
+            status: "inconsistent",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.ROW_PRESENT_WHEN_FORBIDDEN,
+                    message: formatOperationalMessage(`Row present when forbidden (${ctx}); matched ${cnt}`),
+                },
+            ],
+            evidenceSummary: {
+                matchedRowCount: cnt,
+                sampleRows,
+            },
+        };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR, message: formatOperationalMessage(msg) }],
+            evidenceSummary: { error: true },
+        };
+    }
+}
+//# sourceMappingURL=reconciler.js.map

package/dist/reconciler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciler.js","sourceRoot":"","sources":["../src/reconciler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAI7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAQlE,kFAAkF;AAClF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC;AAE9C,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACvC,CAAC;AAED,SAAS,aAAa,CAAC,GAAwB;IAC7C,MAAM,CAAC,GAAG,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,wBAAwB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CACpF,CAAC;IACF,OAAO,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAiC;IACzD,MAAM,CAAC,GAAG,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,wBAAwB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CACpF,CAAC;IACF,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,wBAAwB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CACpF,CAAC;IACF,OAAO,SAAS,CAAC,cAAc,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC7G,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,qBAAqB,CACnC,OAA8B,EAC9B,GAAiC;IAEjC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,MAAM,EAAE,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,MAAM,EAAE,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,6BAA6B,KAAK,UAAU,WAAW,EAAE,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,UAAU,UAAU,SAAS,KAAK,UAAU,WAAW,UAAU,4BAA4B,EAAE,CAAC;IAClH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,GAAY;IACnC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACrF,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAChE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,iBAAiB,CAAC,IAA+B,EAAE,GAAwB;IACzF,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,OAAO,EAAE,uBAAuB,GAAG,GAAG,EAAE,CAAC;YACrG,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SACjC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,cAAc,EAAE,OAAO,EAAE,kCAAkC,GAAG,GAAG,EAAE;aAC1G;YACD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SACjC,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACrB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,EAAE,sBAAsB,CAAC,KAAK,GAAG,GAAG,EAAE;iBACxG;gBACD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;aAC5D,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,YAAY,IAAI,CAAC,EAAE,CAAC;YAC/E,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB;wBACpD,OAAO,EAAE,wBAAwB,CAAC,KAAK,GAAG,GAAG;wBAC7C,KAAK,EAAE,CAAC;qBACT;iBACF;gBACD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;aAC3C,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,wBAAwB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,YAAY,GAAG,CAAC,QAAQ,cAAc,GAAG,CAAC,MAAM,cAAc,CAAC,KAAK,GAAG,GAAG,CAAC;YAC3F,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,cAAc,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACpF,eAAe,EAAE;oBACf,QAAQ,EAAE,CAAC;oBACX,KAAK,EAAE,CAAC;oBACR,QAAQ,EAAE,GAAG,CAAC,QAAQ;oBACtB,MAAM,EAAE,GAAG,CAAC,MAAM;iBACnB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;KACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAgB,EAAE,GAAwB;IACxE,IAAI,IAA+B,CAAC;IACpC,IAAI,CAAC;QACH,IAAI,GAAG,wBAAwB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,cAAc,EAAE,CAAC;YAChC,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,eAAe,EAAE,OAAO,EAAE,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE;iBACtG;gBACD,eAAe,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aACjD,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAuB,EACvB,GAAwB;IAExB,IAAI,IAA+B,CAAC;IACpC,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,cAAc,EAAE,CAAC;YAChC,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,eAAe,EAAE,OAAO,EAAE,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE;iBACtG;gBACD,eAAe,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aACjD,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,EAAgB,EAAE,GAAiC;IACvF,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAwC,CAAC;QACtG,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,iCAAiC,GAAG,GAAG,CAAC;qBAC3E;iBACF;gBACD,eAAe,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;aAC/C,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACd,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACtF,CAAC;QACD,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAA8B,CAAC;QAC9E,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;QACF,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,+BAA+B,GAAG,cAAc,GAAG,EAAE,CAAC;iBACzF;aACF;YACD,eAAe,EAAE;gBACf,eAAe,EAAE,GAAG;gBACpB,UAAU;aACX;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,eAAe,EAAE,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1G,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;SACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,KAAuF,EACvF,GAAiC;IAEjC,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GACX,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,iCAAiC,GAAG,GAAG,CAAC;qBAC3E;iBACF;gBACD,eAAe,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;aAC/C,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACd,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACtF,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;QACF,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,+BAA+B,GAAG,cAAc,GAAG,EAAE,CAAC;iBACzF;aACF;YACD,eAAe,EAAE;gBACf,eAAe,EAAE,GAAG;gBACpB,UAAU;aACX;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,eAAe,EAAE,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1G,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;SACjC,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/reconciliationPresentation.d.ts

@@ -0,0 +1,83 @@
+import type { ResolvedRelationalCheck, StepOutcome, VerificationRequest } from "./types.js";
+/** Stable dimension IDs: JSON keys, data-etl-dimension, and logical identity. */
+export declare const RECONCILIATION_DIMENSION_DECLARED: "declared";
+export declare const RECONCILIATION_DIMENSION_EXPECTED: "expected";
+export declare const RECONCILIATION_DIMENSION_OBSERVED_DATABASE: "observed_database";
+export declare const RECONCILIATION_DIMENSION_VERIFICATION_VERDICT: "verification_verdict";
+/** HTML <th> text (exact). */
+export declare const RECONCILIATION_TITLE_DECLARED = "Declared";
+export declare const RECONCILIATION_TITLE_EXPECTED = "Expected";
+export declare const RECONCILIATION_TITLE_OBSERVED_DATABASE = "Observed (database)";
+export declare const RECONCILIATION_TITLE_VERIFICATION_VERDICT = "Verification verdict";
+/** Stderr / human line prefixes (exact, including trailing space). */
+export declare const LINE_PREFIX_DECLARED = "declared: ";
+export declare const LINE_PREFIX_EXPECTED = "expected: ";
+export declare const LINE_PREFIX_OBSERVED_DATABASE = "observed_database: ";
+export declare const LINE_PREFIX_VERIFICATION_VERDICT = "verification_verdict: ";
+export declare const EXPECTED_NONE_NO_SQL = "(none \u2014 no resolvable SQL expectation)";
+export declare const QUICK_OBSERVED_MAPPING_FAILED = "No database observation (verification not run).";
+export declare const QUICK_OBSERVED_CONNECTOR_EMPTY = "No database observation recorded (query did not return evidence).";
+export declare const QUICK_OBSERVED_CONNECTOR_ERROR = "Connector error (no observation payload).";
+export declare const QUICK_RELATED_EXISTS_PRESENT = "Related-exists scalar: present (1).";
+export declare const QUICK_RELATED_EXISTS_ABSENT = "Related-exists scalar: absent (0).";
+export declare const QUICK_RELATED_EXISTS_UNUSABLE = "Related-exists scalar: unusable.";
+/**
+ * Batch observed database/git evidence summary for truth JSON and trust UI.
+ * Ported from legacy trust-panel logic; result is operational-message normalized.
+ */
+export declare function formatBatchObservedStateSummary(step: StepOutcome): string;
+/** Format quick row verification object like batch row evidence (read-only summary). */
+export declare function formatQuickRowObservedDatabase(verification: Record<string, unknown>): string;
+export type QuickUnitReconciliationInput = {
+    kind: "row_mapping_failed";
+    toolName: string;
+    actionIndex: number;
+    flat: Record<string, unknown>;
+    confidence: number;
+} | {
+    kind: "row_verified";
+    toolName: string;
+    actionIndex: number;
+    flat: Record<string, unknown>;
+    table: string;
+    request: VerificationRequest;
+    verification: Record<string, unknown>;
+    verdict: "verified";
+    confidence: number;
+} | {
+    kind: "row_fail_or_uncertain";
+    toolName: string;
+    actionIndex: number;
+    flat: Record<string, unknown>;
+    table: string;
+    request: VerificationRequest;
+    verification: Record<string, unknown>;
+    verdict: "fail" | "uncertain";
+    reasonCodes: string[];
+    confidence: number;
+} | {
+    kind: "related_exists";
+    toolName: string;
+    actionIndex: number;
+    flat: Record<string, unknown>;
+    check: ResolvedRelationalCheck & {
+        checkKind: "related_exists";
+    };
+    verdict: "verified" | "fail" | "uncertain";
+    reasonCodes: string[];
+    confidence: number;
+};
+export type QuickUnitReconciliation = {
+    declared: string;
+    expected: string;
+    observed_database: string;
+    verification_verdict: string;
+};
+export declare function buildQuickUnitReconciliation(input: QuickUnitReconciliationInput): QuickUnitReconciliation;
+/** Batch stderr `declared:` value (single operational line). */
+export declare function formatBatchDeclaredStderrValue(toolId: string, intentNarrative: string, paramsCanonical: string): string;
+/** Batch stderr `expected:` value. */
+export declare function formatBatchExpectedStderrValue(verifyTarget: string | null): string;
+/** Batch stderr `verification_verdict:` value. */
+export declare function formatBatchVerificationVerdictStderrValue(outcomeLabel: string, humanPhrase: string, failureCategory?: string): string;
+//# sourceMappingURL=reconciliationPresentation.d.ts.map

package/dist/reconciliationPresentation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliationPresentation.d.ts","sourceRoot":"","sources":["../src/reconciliationPresentation.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,uBAAuB,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAG5F,iFAAiF;AACjF,eAAO,MAAM,iCAAiC,EAAG,UAAmB,CAAC;AACrE,eAAO,MAAM,iCAAiC,EAAG,UAAmB,CAAC;AACrE,eAAO,MAAM,0CAA0C,EAAG,mBAA4B,CAAC;AACvF,eAAO,MAAM,6CAA6C,EAAG,sBAA+B,CAAC;AAE7F,8BAA8B;AAC9B,eAAO,MAAM,6BAA6B,aAAa,CAAC;AACxD,eAAO,MAAM,6BAA6B,aAAa,CAAC;AACxD,eAAO,MAAM,sCAAsC,wBAAwB,CAAC;AAC5E,eAAO,MAAM,yCAAyC,yBAAyB,CAAC;AAEhF,sEAAsE;AACtE,eAAO,MAAM,oBAAoB,eAAe,CAAC;AACjD,eAAO,MAAM,oBAAoB,eAAe,CAAC;AACjD,eAAO,MAAM,6BAA6B,wBAAwB,CAAC;AACnE,eAAO,MAAM,gCAAgC,2BAA2B,CAAC;AAEzE,eAAO,MAAM,oBAAoB,gDAA2C,CAAC;AAE7E,eAAO,MAAM,6BAA6B,oDAAoD,CAAC;AAC/F,eAAO,MAAM,8BAA8B,sEAAsE,CAAC;AAClH,eAAO,MAAM,8BAA8B,8CAA8C,CAAC;AAC1F,eAAO,MAAM,4BAA4B,wCAAwC,CAAC;AAClF,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,6BAA6B,qCAAqC,CAAC;AAShF;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAwCzE;AAED,wFAAwF;AACxF,wBAAgB,8BAA8B,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAiB5F;AAOD,MAAM,MAAM,4BAA4B,GACpC;IACE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,mBAAmB,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,OAAO,EAAE,UAAU,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,mBAAmB,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC;IAC9B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,KAAK,EAAE,uBAAuB,GAAG;QAAE,SAAS,EAAE,gBAAgB,CAAA;KAAE,CAAC;IACjE,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;IAC3C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEN,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oBAAoB,EAAE,MAAM,CAAC;CAC9B,CAAC;AAOF,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,4BAA4B,GAAG,uBAAuB,CA2DzG;AAED,gEAAgE;AAChE,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,GACtB,MAAM,CAOR;AAED,sCAAsC;AACtC,wBAAgB,8BAA8B,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAKlF;AAED,kDAAkD;AAClD,wBAAgB,yCAAyC,CACvD,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,eAAe,CAAC,EAAE,MAAM,GACvB,MAAM,CAMR"}