agentskeptic 0.1.1

package/dist/quickVerify/postgresCatalog.js

@@ -0,0 +1,107 @@
+/**
+ * Schema introspection for Quick Verify using pg_catalog + privilege checks.
+ * information_schema joins that omit `table_name` can mis-associate constraints across tables
+ * (PostgreSQL allows the same constraint name on different tables). SELECT-only roles also
+ * rely on stable visibility of tables they may read — pg_catalog + has_table_privilege matches that.
+ */
+export class PostgresSchemaCatalog {
+    client;
+    dialect = "postgres";
+    constructor(client) {
+        this.client = client;
+    }
+    async listTables() {
+        const r = await this.client.query(`SELECT c.relname AS table_name
+       FROM pg_catalog.pg_class c
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       WHERE n.nspname = 'public'
+         AND c.relkind = 'r'
+         AND NOT c.relispartition
+         AND pg_catalog.has_table_privilege(c.oid, 'SELECT')
+       ORDER BY c.relname`);
+        return r.rows.map((x) => x.table_name);
+    }
+    async listColumns(table) {
+        const r = await this.client.query(`SELECT a.attname AS column_name
+       FROM pg_catalog.pg_attribute a
+       JOIN pg_catalog.pg_class c ON c.oid = a.attrelid
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       WHERE n.nspname = 'public'
+         AND c.relname = $1
+         AND c.relkind = 'r'
+         AND a.attnum > 0
+         AND NOT a.attisdropped
+       ORDER BY a.attnum`, [table]);
+        return r.rows.map((x) => ({ name: x.column_name }));
+    }
+    async primaryKeyColumns(table) {
+        const r = await this.client.query(`SELECT a.attname AS column_name
+       FROM pg_catalog.pg_class c
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       JOIN pg_catalog.pg_index i ON i.indrelid = c.oid AND i.indisprimary
+       JOIN pg_catalog.pg_attribute a
+         ON a.attrelid = c.oid AND a.attnum = ANY (i.indkey) AND a.attnum > 0 AND NOT a.attisdropped
+       WHERE n.nspname = 'public'
+         AND c.relname = $1
+         AND c.relkind = 'r'`, [table]);
+        return r.rows.map((x) => x.column_name);
+    }
+    async listUniqueConstraints(table) {
+        const r = await this.client.query(`SELECT cn.conname, a.attname, u.ord
+       FROM pg_catalog.pg_constraint cn
+       JOIN pg_catalog.pg_class c ON c.oid = cn.conrelid
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       JOIN LATERAL unnest(cn.conkey) WITH ORDINALITY AS u(attnum, ord) ON true
+       JOIN pg_catalog.pg_attribute a
+         ON a.attrelid = c.oid AND a.attnum = u.attnum AND NOT a.attisdropped
+       WHERE n.nspname = 'public'
+         AND c.relname = $1
+         AND c.relkind = 'r'
+         AND cn.contype = 'u'
+       ORDER BY cn.conname, u.ord`, [table]);
+        const byName = new Map();
+        for (const row of r.rows) {
+            const arr = byName.get(row.conname) ?? [];
+            arr.push(row.attname);
+            byName.set(row.conname, arr);
+        }
+        return [...byName.values()].map((columns) => ({ columns }));
+    }
+    async listFkEdges() {
+        const r = await this.client.query(`SELECT
+         cl.relname AS child_table,
+         a.attname AS child_column,
+         pr.relname AS parent_table,
+         pa.attname AS parent_column
+       FROM pg_catalog.pg_constraint cn
+       JOIN pg_catalog.pg_class cl ON cl.oid = cn.conrelid
+       JOIN pg_catalog.pg_namespace ns ON ns.oid = cl.relnamespace
+       JOIN pg_catalog.pg_class pr ON pr.oid = cn.confrelid AND pr.relkind = 'r'
+       JOIN LATERAL unnest(cn.conkey, cn.confkey) AS u(att_child, att_parent) ON true
+       JOIN pg_catalog.pg_attribute a
+         ON a.attrelid = cl.oid AND a.attnum = u.att_child AND NOT a.attisdropped
+       JOIN pg_catalog.pg_attribute pa
+         ON pa.attrelid = pr.oid AND pa.attnum = u.att_parent AND NOT pa.attisdropped
+       WHERE cn.contype = 'f'
+         AND ns.nspname = 'public'
+         AND pg_catalog.has_table_privilege(cl.oid, 'SELECT')
+         AND pg_catalog.has_table_privilege(pr.oid, 'SELECT')
+       ORDER BY cl.relname, a.attname, pr.relname, pa.attname`);
+        const out = [];
+        const seen = new Set();
+        for (const row of r.rows) {
+            const key = `${row.child_table}.${row.child_column}->${row.parent_table}.${row.parent_column}`;
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            out.push({
+                childTable: row.child_table,
+                childColumn: row.child_column,
+                parentTable: row.parent_table,
+                parentColumn: row.parent_column,
+            });
+        }
+        return out;
+    }
+}
+//# sourceMappingURL=postgresCatalog.js.map

package/dist/quickVerify/postgresCatalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgresCatalog.js","sourceRoot":"","sources":["../../src/quickVerify/postgresCatalog.ts"],"names":[],"mappings":"AAGA;;;;;GAKG;AACH,MAAM,OAAO,qBAAqB;IAGH;IAFpB,OAAO,GAAG,UAAmB,CAAC;IAEvC,YAA6B,MAAiB;QAAjB,WAAM,GAAN,MAAM,CAAW;IAAG,CAAC;IAElD,KAAK,CAAC,UAAU;QACd,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B;;;;;;;0BAOoB,CACrB,CAAC;QACF,OAAQ,CAAC,CAAC,IAAiC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACvE,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,KAAa;QAC7B,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B;;;;;;;;;yBASmB,EACnB,CAAC,KAAK,CAAC,CACR,CAAC;QACF,OAAQ,CAAC,CAAC,IAAkC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,iBAAiB,CAAC,KAAa;QACnC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B;;;;;;;;6BAQuB,EACvB,CAAC,KAAK,CAAC,CACR,CAAC;QACF,OAAQ,CAAC,CAAC,IAAkC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC;IAED,KAAK,CAAC,qBAAqB,CAAC,KAAa;QACvC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B;;;;;;;;;;;kCAW4B,EAC5B,CAAC,KAAK,CAAC,CACR,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAA8C,EAAE,CAAC;YACnE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,KAAK,CAAC,WAAW;QACf,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B;;;;;;;;;;;;;;;;;;8DAkBwD,CACzD,CAAC;QACF,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAKjB,EAAE,CAAC;YACJ,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,KAAK,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YAC/F,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC;gBACP,UAAU,EAAE,GAAG,CAAC,WAAW;gBAC3B,WAAW,EAAE,GAAG,CAAC,YAAY;gBAC7B,WAAW,EAAE,GAAG,CAAC,YAAY;gBAC7B,YAAY,EAAE,GAAG,CAAC,aAAa;aAChC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/quickVerify/quickVerifyHumanCopy.d.ts

@@ -0,0 +1,9 @@
+/** Single source for quick-verify user-facing strings (see docs/quick-verify-normative Appendix H). */
+export declare const MSG_NO_TOOL_CALLS: "No tool calls detected in input. This tool only ingests structured tool activity (JSON with tool names and parameters)—not arbitrary logs.";
+export declare const MSG_NO_STRUCTURED_TOOL_ACTIVITY: "No structured tool activity was found. Input must be JSON/NDJSON describing tool calls and parameters that match the ingest model (see docs)—not generic log lines.";
+export declare const HUMAN_REPORT_BEGIN = "=== quick-verify human report ===";
+export declare const HUMAN_REPORT_END = "=== end quick-verify human report ===";
+export declare function verdictLine(verdict: "pass" | "fail" | "uncertain"): string;
+export declare function humanLineForIngestReasonCode(code: string): string;
+export declare function humanFragmentForReasonCode(code: string): string;
+//# sourceMappingURL=quickVerifyHumanCopy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"quickVerifyHumanCopy.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyHumanCopy.ts"],"names":[],"mappings":"AAAA,uGAAuG;AAKvG,eAAO,MAAM,iBAAiB,8IAAkD,CAAC;AACjF,eAAO,MAAM,+BAA+B,uKACsB,CAAC;AAEnE,eAAO,MAAM,kBAAkB,sCAAsC,CAAC;AACtE,eAAO,MAAM,gBAAgB,0CAA0C,CAAC;AAExE,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAE1E;AAUD,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/D"}

package/dist/quickVerify/quickVerifyHumanCopy.js

@@ -0,0 +1,24 @@
+/** Single source for quick-verify user-facing strings (see docs/quick-verify-normative Appendix H). */
+import { INGEST_AND_QUICK_MISC_PHRASES } from "../verificationUserPhrases.js";
+import { userPhraseForReasonCode } from "../verificationUserPhrases.js";
+export const MSG_NO_TOOL_CALLS = INGEST_AND_QUICK_MISC_PHRASES.INGEST_NO_ACTIONS;
+export const MSG_NO_STRUCTURED_TOOL_ACTIVITY = INGEST_AND_QUICK_MISC_PHRASES.INGEST_NO_STRUCTURED_TOOL_ACTIVITY;
+export const HUMAN_REPORT_BEGIN = "=== quick-verify human report ===";
+export const HUMAN_REPORT_END = "=== end quick-verify human report ===";
+export function verdictLine(verdict) {
+    return `Rollup (inferred, provisional): ${verdict}`;
+}
+const INGEST_REASON_MESSAGES = {
+    INGEST_INPUT_TOO_LARGE: INGEST_AND_QUICK_MISC_PHRASES.INGEST_INPUT_TOO_LARGE,
+    INGEST_NO_ACTIONS: MSG_NO_TOOL_CALLS,
+    INGEST_NO_STRUCTURED_TOOL_ACTIVITY: MSG_NO_STRUCTURED_TOOL_ACTIVITY,
+    MALFORMED_LINE: INGEST_AND_QUICK_MISC_PHRASES.MALFORMED_LINE,
+    INGEST_ACTION_CAP: INGEST_AND_QUICK_MISC_PHRASES.INGEST_ACTION_CAP,
+};
+export function humanLineForIngestReasonCode(code) {
+    return INGEST_REASON_MESSAGES[code] ?? `Ingest: ${code}`;
+}
+export function humanFragmentForReasonCode(code) {
+    return userPhraseForReasonCode(code);
+}
+//# sourceMappingURL=quickVerifyHumanCopy.js.map

package/dist/quickVerify/quickVerifyHumanCopy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quickVerifyHumanCopy.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyHumanCopy.ts"],"names":[],"mappings":"AAAA,uGAAuG;AAEvG,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,MAAM,CAAC,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,iBAAiB,CAAC;AACjF,MAAM,CAAC,MAAM,+BAA+B,GAC1C,6BAA6B,CAAC,kCAAkC,CAAC;AAEnE,MAAM,CAAC,MAAM,kBAAkB,GAAG,mCAAmC,CAAC;AACtE,MAAM,CAAC,MAAM,gBAAgB,GAAG,uCAAuC,CAAC;AAExE,MAAM,UAAU,WAAW,CAAC,OAAsC;IAChE,OAAO,mCAAmC,OAAO,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,sBAAsB,GAA2B;IACrD,sBAAsB,EAAE,6BAA6B,CAAC,sBAAsB;IAC5E,iBAAiB,EAAE,iBAAiB;IACpC,kCAAkC,EAAE,+BAA+B;IACnE,cAAc,EAAE,6BAA6B,CAAC,cAAc;IAC5D,iBAAiB,EAAE,6BAA6B,CAAC,iBAAiB;CACnE,CAAC;AAEF,MAAM,UAAU,4BAA4B,CAAC,IAAY;IACvD,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,WAAW,IAAI,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC"}

package/dist/quickVerify/quickVerifyProductTruth.d.ts

@@ -0,0 +1,16 @@
+/**
+ * First-class product truth on every QuickVerifyReport (stdout JSON).
+ * Strings are duplicated in schemas/quick-verify-report.schema.json — keep in sync.
+ */
+export declare const DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH: {
+    readonly doesNotProve: readonly ["Does not prove the tool or action actually executed.", "Does not prove a write or other state change occurred.", "Only proves that current database state matches expectations derived from structured tool activity (quick: inferred expectations)."];
+    readonly layers: {
+        readonly declared: "Declared: tool identity and parameters extracted from ingest (structured tool activity).";
+        readonly expected: "Expected: in quick mode, row and FK checks inferred from declared parameters (provisional, not a signed contract). In contract mode, registry-defined expectations from events.";
+        readonly observed: "Observed: read-only SQL results at verification time.";
+    };
+    readonly quickVerifyProvisional: true;
+    readonly contractReplayPartialCoverage: true;
+};
+export type QuickVerifyProductTruth = typeof DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH;
+//# sourceMappingURL=quickVerifyProductTruth.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"quickVerifyProductTruth.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyProductTruth.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,kCAAkC;;;;;;;;;CAcrC,CAAC;AAEX,MAAM,MAAM,uBAAuB,GAAG,OAAO,kCAAkC,CAAC"}

package/dist/quickVerify/quickVerifyProductTruth.js

@@ -0,0 +1,19 @@
+/**
+ * First-class product truth on every QuickVerifyReport (stdout JSON).
+ * Strings are duplicated in schemas/quick-verify-report.schema.json — keep in sync.
+ */
+export const DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH = {
+    doesNotProve: [
+        "Does not prove the tool or action actually executed.",
+        "Does not prove a write or other state change occurred.",
+        "Only proves that current database state matches expectations derived from structured tool activity (quick: inferred expectations).",
+    ],
+    layers: {
+        declared: "Declared: tool identity and parameters extracted from ingest (structured tool activity).",
+        expected: "Expected: in quick mode, row and FK checks inferred from declared parameters (provisional, not a signed contract). In contract mode, registry-defined expectations from events.",
+        observed: "Observed: read-only SQL results at verification time.",
+    },
+    quickVerifyProvisional: true,
+    contractReplayPartialCoverage: true,
+};
+//# sourceMappingURL=quickVerifyProductTruth.js.map

package/dist/quickVerify/quickVerifyProductTruth.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quickVerifyProductTruth.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyProductTruth.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG;IAChD,YAAY,EAAE;QACZ,sDAAsD;QACtD,wDAAwD;QACxD,oIAAoI;KACrI;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,0FAA0F;QACpG,QAAQ,EACN,iLAAiL;QACnL,QAAQ,EAAE,uDAAuD;KAClE;IACD,sBAAsB,EAAE,IAAa;IACrC,6BAA6B,EAAE,IAAa;CACpC,CAAC"}

package/dist/quickVerify/quickVerifyScope.d.ts

@@ -0,0 +1,12 @@
+/** Machine-readable Quick Verify ICP; must match schemas/quick-verify-report.schema.json and runQuickVerify.ts. */
+export declare const QUICK_VERIFY_VERSION: "1.1.0";
+export declare const QUICK_SCOPE_LIMITATIONS: readonly ["quick_verify_inferred_row_and_related_exists_only", "no_multi_effect_contract", "no_destructive_or_forbidden_row_contract", "contract_replay_export_row_tools_only"];
+export type QuickVerifyScope = {
+    quickVerifyVersion: typeof QUICK_VERIFY_VERSION;
+    capabilities: readonly ["inferred_row", "inferred_related_exists"];
+    limitations: readonly string[];
+    ingestContract: "structured_tool_activity";
+    groundTruth: "read_only_sql";
+};
+export declare const DEFAULT_QUICK_VERIFY_SCOPE: QuickVerifyScope;
+//# sourceMappingURL=quickVerifyScope.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"quickVerifyScope.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyScope.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAEnH,eAAO,MAAM,oBAAoB,EAAG,OAAgB,CAAC;AAErD,eAAO,MAAM,uBAAuB,iLAK1B,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG;IAC7B,kBAAkB,EAAE,OAAO,oBAAoB,CAAC;IAChD,YAAY,EAAE,SAAS,CAAC,cAAc,EAAE,yBAAyB,CAAC,CAAC;IACnE,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,cAAc,EAAE,0BAA0B,CAAC;IAC3C,WAAW,EAAE,eAAe,CAAC;CAC9B,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,gBAMxC,CAAC"}

package/dist/quickVerify/quickVerifyScope.js

@@ -0,0 +1,16 @@
+/** Machine-readable Quick Verify ICP; must match schemas/quick-verify-report.schema.json and runQuickVerify.ts. */
+export const QUICK_VERIFY_VERSION = "1.1.0";
+export const QUICK_SCOPE_LIMITATIONS = [
+    "quick_verify_inferred_row_and_related_exists_only",
+    "no_multi_effect_contract",
+    "no_destructive_or_forbidden_row_contract",
+    "contract_replay_export_row_tools_only",
+];
+export const DEFAULT_QUICK_VERIFY_SCOPE = {
+    quickVerifyVersion: QUICK_VERIFY_VERSION,
+    capabilities: ["inferred_row", "inferred_related_exists"],
+    limitations: [...QUICK_SCOPE_LIMITATIONS],
+    ingestContract: "structured_tool_activity",
+    groundTruth: "read_only_sql",
+};
+//# sourceMappingURL=quickVerifyScope.js.map

package/dist/quickVerify/quickVerifyScope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quickVerifyScope.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyScope.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAEnH,MAAM,CAAC,MAAM,oBAAoB,GAAG,OAAgB,CAAC;AAErD,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,mDAAmD;IACnD,0BAA0B;IAC1B,0CAA0C;IAC1C,uCAAuC;CAC/B,CAAC;AAUX,MAAM,CAAC,MAAM,0BAA0B,GAAqB;IAC1D,kBAAkB,EAAE,oBAAoB;IACxC,YAAY,EAAE,CAAC,cAAc,EAAE,yBAAyB,CAAC;IACzD,WAAW,EAAE,CAAC,GAAG,uBAAuB,CAAC;IACzC,cAAc,EAAE,0BAA0B;IAC1C,WAAW,EAAE,eAAe;CAC7B,CAAC"}

package/dist/quickVerify/relationalPlan.d.ts

@@ -0,0 +1,10 @@
+import type { FlatScalar } from "./ingest.js";
+import type { FkEdge } from "./schemaCatalogTypes.js";
+import type { ResolvedRelationalCheck } from "../types.js";
+/**
+ * Emit related_exists checks for FK edges when flat keys map to child column with sufficient score.
+ */
+export declare function planRelationalFromFlat(flat: Record<string, FlatScalar>, edges: FkEdge[]): Array<ResolvedRelationalCheck & {
+    checkKind: "related_exists";
+}>;
+//# sourceMappingURL=relationalPlan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relationalPlan.d.ts","sourceRoot":"","sources":["../../src/quickVerify/relationalPlan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAG3D;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EAChC,KAAK,EAAE,MAAM,EAAE,GACd,KAAK,CAAC,uBAAuB,GAAG;IAAE,SAAS,EAAE,gBAAgB,CAAA;CAAE,CAAC,CA4BlE"}

package/dist/quickVerify/relationalPlan.js

@@ -0,0 +1,37 @@
+import { T_COL, columnScore } from "./tableScoring.js";
+/**
+ * Emit related_exists checks for FK edges when flat keys map to child column with sufficient score.
+ */
+export function planRelationalFromFlat(flat, edges) {
+    const keys = Object.keys(flat);
+    const out = [];
+    const seen = new Set();
+    for (const e of edges) {
+        const key = `${e.childTable}.${e.childColumn}`;
+        if (seen.has(key))
+            continue;
+        let bestK = "";
+        let bestS = -1;
+        for (const k of keys) {
+            const s = columnScore(k, e.childColumn);
+            if (s > bestS) {
+                bestS = s;
+                bestK = k;
+            }
+        }
+        if (bestS < T_COL)
+            continue;
+        const v = flat[bestK];
+        if (v === null || v === undefined)
+            continue;
+        seen.add(key);
+        out.push({
+            checkKind: "related_exists",
+            id: `fk:${e.childTable}.${e.childColumn}`,
+            childTable: e.childTable,
+            matchEq: [{ column: e.childColumn, value: String(v) }],
+        });
+    }
+    return out;
+}
+//# sourceMappingURL=relationalPlan.js.map

package/dist/quickVerify/relationalPlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationalPlan.js","sourceRoot":"","sources":["../../src/quickVerify/relationalPlan.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAgC,EAChC,KAAe;IAEf,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAqE,EAAE,CAAC;IACjF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;YACxC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;gBACd,KAAK,GAAG,CAAC,CAAC;gBACV,KAAK,GAAG,CAAC,CAAC;YACZ,CAAC;QACH,CAAC;QACD,IAAI,KAAK,GAAG,KAAK;YAAE,SAAS;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC;YACP,SAAS,EAAE,gBAAgB;YAC3B,EAAE,EAAE,MAAM,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE;YACzC,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/quickVerify/rowUnit.d.ts

@@ -0,0 +1,15 @@
+import type { VerificationRequest } from "../types.js";
+import type { SchemaCatalog } from "./schemaCatalogTypes.js";
+import type { ActionBucket } from "./decomposeUnits.js";
+export type RowUnitPlan = {
+    request: VerificationRequest | null;
+    confidence: number;
+    reasonCodes: string[];
+    rationale: string[];
+    alternates?: Array<{
+        table: string;
+        score: number;
+    }>;
+};
+export declare function planRowUnit(catalog: SchemaCatalog, b: ActionBucket, allTables: string[]): Promise<RowUnitPlan>;
+//# sourceMappingURL=rowUnit.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rowUnit.d.ts","sourceRoot":"","sources":["../../src/quickVerify/rowUnit.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAsB,MAAM,aAAa,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAoBxD,MAAM,MAAM,WAAW,GAAG;IACxB,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACtD,CAAC;AAEF,wBAAsB,WAAW,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAgHpH"}

package/dist/quickVerify/rowUnit.js

@@ -0,0 +1,132 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
+import { mappingKeyForPath } from "./decomposeUnits.js";
+import { T_AMBIGUITY_DELTA, T_COL, T_OVERALL, columnScore, tableScoreAction } from "./tableScoring.js";
+function toScalar(v) {
+    if (v === null)
+        return null;
+    if (typeof v === "boolean")
+        return v;
+    if (typeof v === "number")
+        return Number.isFinite(v) ? v : undefined;
+    if (typeof v === "string")
+        return v;
+    return undefined;
+}
+function scalarToIdentityString(v) {
+    if (v === null)
+        return "null";
+    if (typeof v === "boolean")
+        return v ? "true" : "false";
+    if (typeof v === "number")
+        return String(v);
+    return v;
+}
+export async function planRowUnit(catalog, b, allTables) {
+    const rationale = [];
+    const reasonCodes = [];
+    const scores = allTables
+        .map((t) => ({ table: t, score: tableScoreAction(b.toolName, t) }))
+        .sort((a, b) => b.score - a.score || compareUtf16Id(a.table, b.table));
+    const s1 = scores[0]?.score ?? 0;
+    const s2 = scores[1]?.score ?? 0;
+    const top = scores[0]?.table ?? b.tableName;
+    const second = scores[1]?.table;
+    if (b.bucketKey === "__global__") {
+        if (s1 < T_OVERALL) {
+            reasonCodes.push("MAPPING_LOW_CONFIDENCE");
+            rationale.push(`Best table score ${s1.toFixed(3)} < T_OVERALL ${T_OVERALL}`);
+        }
+        if (second !== undefined && s1 - s2 <= T_AMBIGUITY_DELTA && compareUtf16Id(top, second) !== 0) {
+            reasonCodes.push("MAPPING_AMBIGUOUS");
+            rationale.push(`Top tables within ambiguity delta: ${top} vs ${second}`);
+            return {
+                request: null,
+                confidence: s1,
+                reasonCodes,
+                rationale,
+                alternates: [
+                    { table: top, score: s1 },
+                    { table: second, score: s2 },
+                ],
+            };
+        }
+    }
+    const tableName = b.tableName;
+    const cols = await catalog.listColumns(tableName);
+    const colNames = cols.map((c) => c.name).sort(compareUtf16Id);
+    let pk = await catalog.primaryKeyColumns(tableName);
+    if (pk.length === 0) {
+        const uniques = await catalog.listUniqueConstraints(tableName);
+        const sorted = [...uniques].sort((a, b) => a.columns.length - b.columns.length || compareUtf16Id(a.columns.join(","), b.columns.join(",")));
+        pk = sorted[0]?.columns ?? [];
+    }
+    if (pk.length === 0) {
+        reasonCodes.push("MAPPING_NO_UNIQUE_KEY");
+        rationale.push(`No primary or unique key on ${tableName}`);
+        return { request: null, confidence: 0, reasonCodes, rationale };
+    }
+    const mkEntries = b.paths.map((path) => ({
+        path,
+        mk: mappingKeyForPath(path, b.bucketKey),
+        value: b.flat[path],
+    }));
+    const identityEq = [];
+    let minIdScore = 1;
+    for (const col of [...pk].sort(compareUtf16Id)) {
+        let bestMk = "";
+        let bestS = -1;
+        for (const e of mkEntries) {
+            const s = columnScore(e.mk, col);
+            if (s > bestS || (s === bestS && compareUtf16Id(e.mk, bestMk) < 0)) {
+                bestS = s;
+                bestMk = e.mk;
+            }
+        }
+        if (bestS < T_COL) {
+            reasonCodes.push("MAPPING_NO_UNIQUE_KEY");
+            rationale.push(`PK column ${col} has no param match >= T_COL`);
+            return { request: null, confidence: 0, reasonCodes, rationale };
+        }
+        minIdScore = Math.min(minIdScore, bestS);
+        const sc = toScalar(mkEntries.find((x) => x.mk === bestMk)?.value ?? null);
+        if (sc === undefined) {
+            reasonCodes.push("MAPPING_NO_UNIQUE_KEY");
+            rationale.push(`PK ${col} mapped value not a verification scalar`);
+            return { request: null, confidence: 0, reasonCodes, rationale };
+        }
+        identityEq.push({
+            column: col,
+            value: scalarToIdentityString(sc),
+        });
+    }
+    const pkSet = new Set(pk);
+    const rf = {};
+    for (const col of colNames) {
+        if (pkSet.has(col))
+            continue;
+        let picked = null;
+        for (const e of mkEntries) {
+            const s = columnScore(e.mk, col);
+            if (s < T_COL)
+                continue;
+            const vs = toScalar(e.value);
+            if (vs === undefined)
+                continue;
+            if (picked === null || s > picked.s)
+                picked = { s, v: vs };
+        }
+        if (picked)
+            rf[col] = picked.v;
+    }
+    const segScore = tableScoreAction(b.toolName, tableName);
+    const confidence = Math.min(1, (segScore + minIdScore + s1) / 3);
+    const request = {
+        kind: "sql_row",
+        table: tableName,
+        identityEq,
+        requiredFields: rf,
+    };
+    rationale.push(`Table ${tableName}, PK [${pk.join(",")}], ${Object.keys(rf).length} field(s) compared`);
+    return { request, confidence, reasonCodes, rationale };
+}
+//# sourceMappingURL=rowUnit.js.map

package/dist/quickVerify/rowUnit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rowUnit.js","sourceRoot":"","sources":["../../src/quickVerify/rowUnit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAI1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAEvG,SAAS,QAAQ,CAAC,CAAa;IAC7B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAqB;IACnD,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACxD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC;AACX,CAAC;AAUD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAsB,EAAE,CAAe,EAAE,SAAmB;IAC5F,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,MAAM,MAAM,GAAG,SAAS;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SAClE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAEhC,IAAI,CAAC,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;QACjC,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC;YACnB,WAAW,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,SAAS,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,IAAI,iBAAiB,IAAI,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9F,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACtC,SAAS,CAAC,IAAI,CAAC,sCAAsC,GAAG,OAAO,MAAM,EAAE,CAAC,CAAC;YACzE,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,UAAU,EAAE,EAAE;gBACd,WAAW;gBACX,SAAS;gBACT,UAAU,EAAE;oBACV,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE;oBACzB,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE;iBAC7B;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;IAC9B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9D,IAAI,EAAE,GAAG,MAAM,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAC1G,CAAC;QACF,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC1C,SAAS,CAAC,IAAI,CAAC,+BAA+B,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IAClE,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI;QACJ,EAAE,EAAE,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC;QACxC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KACpB,CAAC,CAAC,CAAC;IAEJ,MAAM,UAAU,GAAsC,EAAE,CAAC;IACzD,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC/C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,CAAC;gBACV,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAC1C,SAAS,CAAC,IAAI,CAAC,aAAa,GAAG,8BAA8B,CAAC,CAAC;YAC/D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;QAClE,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC;QAC3E,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAC1C,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,yCAAyC,CAAC,CAAC;YACnE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;QAClE,CAAC;QACD,UAAU,CAAC,IAAI,CAAC;YACd,MAAM,EAAE,GAAG;YACX,KAAK,EAAE,sBAAsB,CAAC,EAAE,CAAC;SAClC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAuC,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,IAAI,MAAM,GAAgD,IAAI,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,KAAK;gBAAE,SAAS;YACxB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YAC/B,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAAE,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QAC7D,CAAC;QACD,IAAI,MAAM;YAAE,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,GAAG,UAAU,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAwB;QACnC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,SAAS;QAChB,UAAU;QACV,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,SAAS,CAAC,IAAI,CAAC,SAAS,SAAS,SAAS,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,oBAAoB,CAAC,CAAC;IACxG,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AACzD,CAAC"}

package/dist/quickVerify/runQuickVerify.d.ts

@@ -0,0 +1,65 @@
+import type { CorrectnessDefinitionV1, ToolRegistryEntry } from "../types.js";
+import type { QuickContractExport } from "./buildQuickContractEventsNdjson.js";
+import { type QuickVerifyScope } from "./quickVerifyScope.js";
+import { type QuickVerifyProductTruth } from "./quickVerifyProductTruth.js";
+export type QuickVerifyReport = {
+    schemaVersion: 4;
+    verdict: "pass" | "fail" | "uncertain";
+    summary: string;
+    verificationMode: "inferred";
+    scope: QuickVerifyScope;
+    productTruth: QuickVerifyProductTruth;
+    ingest: {
+        reasonCodes: string[];
+        malformedLineCount: number;
+    };
+    ingestWarnings?: Array<{
+        code: string;
+        actionKey?: string;
+    }>;
+    runHeaderReasonCodes?: string[];
+    units: Array<{
+        unitId: string;
+        kind: "row" | "related_exists";
+        verdict: "verified" | "fail" | "uncertain";
+        confidence: number;
+        reasonCodes: string[];
+        sourceAction: {
+            toolName: string;
+            actionIndex: number;
+        };
+        contractEligible: boolean;
+        inference: {
+            table: string;
+            rationale: string[];
+            alternates?: unknown[];
+        };
+        verification: Record<string, unknown>;
+        explanation: string;
+        reconciliation: {
+            declared: string;
+            expected: string;
+            observed_database: string;
+            verification_verdict: string;
+        };
+        correctnessDefinition?: CorrectnessDefinitionV1;
+    }>;
+    exportableRegistry: {
+        tools: ToolRegistryEntry[];
+    };
+};
+export type RunQuickVerifyOptions = {
+    inputUtf8: string;
+    postgresUrl?: string;
+    sqlitePath?: string;
+};
+export type RunQuickVerifyResult = {
+    report: QuickVerifyReport;
+    registryUtf8: string;
+    contractExports: QuickContractExport[];
+};
+export declare function runQuickVerify(opts: RunQuickVerifyOptions): Promise<RunQuickVerifyResult>;
+/** For tests: stable single-line report JSON */
+export declare function quickReportToStdoutLine(report: QuickVerifyReport): string;
+export declare function runQuickVerifyToValidatedReport(opts: RunQuickVerifyOptions): Promise<RunQuickVerifyResult>;
+//# sourceMappingURL=runQuickVerify.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runQuickVerify.d.ts","sourceRoot":"","sources":["../../src/quickVerify/runQuickVerify.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAAuB,MAAM,aAAa,CAAC;AAenG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAA8B,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,8BAA8B,CAAC;AAGtC,MAAM,MAAM,iBAAiB,GAAG;IAC9B,aAAa,EAAE,CAAC,CAAC;IACjB,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,UAAU,CAAC;IAC7B,KAAK,EAAE,gBAAgB,CAAC;IACxB,YAAY,EAAE,uBAAuB,CAAC;IACtC,MAAM,EAAE;QAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAAC,kBAAkB,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9D,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7D,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,KAAK,EAAE,KAAK,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,KAAK,GAAG,gBAAgB,CAAC;QAC/B,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;QAC3C,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,YAAY,EAAE;YAAE,QAAQ,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QACxD,gBAAgB,EAAE,OAAO,CAAC;QAC1B,SAAS,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAA;SAAE,CAAC;QAC1E,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE;YACd,QAAQ,EAAE,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC;YACjB,iBAAiB,EAAE,MAAM,CAAC;YAC1B,oBAAoB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,qBAAqB,CAAC,EAAE,uBAAuB,CAAC;KACjD,CAAC,CAAC;IACH,kBAAkB,EAAE;QAAE,KAAK,EAAE,iBAAiB,EAAE,CAAA;KAAE,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,mBAAmB,EAAE,CAAC;CACxC,CAAC;AAkCF,wBAAsB,cAAc,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAyQ/F;AAED,gDAAgD;AAChD,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAEzE;AAED,wBAAsB,+BAA+B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAUhH"}