agentskeptic 0.1.1

package/dist/quickVerify/runQuickVerify.js

@@ -0,0 +1,320 @@
+import { DatabaseSync } from "node:sqlite";
+import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
+import { buildQuickUnitCorrectnessDefinition } from "../correctnessDefinition.js";
+import { TruthLayerError } from "../truthLayerError.js";
+import { loadSchemaValidator } from "../schemaLoad.js";
+import { connectPostgresVerificationClient } from "../sqlReadBackend.js";
+import { canonicalToolsArrayUtf8, stableStringify } from "./canonicalJson.js";
+import { bucketsForAction } from "./decomposeUnits.js";
+import { dedupeActions, ingestActivityUtf8 } from "./ingest.js";
+import { planRowUnit } from "./rowUnit.js";
+import { planRelationalFromFlat } from "./relationalPlan.js";
+import { PostgresSchemaCatalog } from "./postgresCatalog.js";
+import { SqliteSchemaCatalog } from "./sqliteCatalog.js";
+import { exportSqlRowTool } from "./exportTool.js";
+import { verifyRowPostgres, verifyRowSqlite, verifyRelatedExists } from "./verifyExecution.js";
+import { T_EXPORT, MAX_UNITS } from "./thresholds.js";
+import { compareUtf16Id } from "../resolveExpectation.js";
+import { MSG_NO_STRUCTURED_TOOL_ACTIVITY, MSG_NO_TOOL_CALLS } from "./quickVerifyHumanCopy.js";
+import { DEFAULT_QUICK_VERIFY_SCOPE } from "./quickVerifyScope.js";
+import { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, } from "./quickVerifyProductTruth.js";
+import { buildQuickUnitReconciliation } from "../reconciliationPresentation.js";
+function rollupVerdict(units, ingestCodes, hadActions) {
+    if (!hadActions &&
+        (ingestCodes.includes("INGEST_NO_ACTIONS") || ingestCodes.includes("INGEST_NO_STRUCTURED_TOOL_ACTIVITY"))) {
+        return "uncertain";
+    }
+    if (units.length === 0)
+        return "uncertain";
+    if (units.some((u) => u.verdict === "fail"))
+        return "fail";
+    if (units.every((u) => u.verdict === "verified"))
+        return "pass";
+    return "uncertain";
+}
+function buildSummary(verdict, units, ingest) {
+    const parts = [
+        `Inferred provisional check — rollup ${verdict} is not a production-safety or audit-final verdict`,
+        `${units.length} unit(s)`,
+    ];
+    if (ingest.reasonCodes.includes("INGEST_NO_ACTIONS")) {
+        parts.push(MSG_NO_TOOL_CALLS);
+    }
+    else if (ingest.reasonCodes.includes("INGEST_NO_STRUCTURED_TOOL_ACTIVITY")) {
+        parts.push(MSG_NO_STRUCTURED_TOOL_ACTIVITY);
+    }
+    else if (ingest.reasonCodes.length) {
+        parts.push(`ingest: ${ingest.reasonCodes.join(",")}`);
+    }
+    return parts.join(". ") + ".";
+}
+export async function runQuickVerify(opts) {
+    const ingest = ingestActivityUtf8(opts.inputUtf8);
+    const ingestBlock = {
+        reasonCodes: ingest.reasonCodes,
+        malformedLineCount: ingest.malformedLineCount,
+    };
+    if (ingest.inputTooLarge) {
+        const units = [];
+        const report = {
+            schemaVersion: 4,
+            verdict: "uncertain",
+            summary: buildSummary("uncertain", units, ingestBlock),
+            verificationMode: "inferred",
+            scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
+            productTruth: DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH,
+            ingest: ingestBlock,
+            units,
+            exportableRegistry: { tools: [] },
+        };
+        return { report, registryUtf8: canonicalToolsArrayUtf8([]), contractExports: [] };
+    }
+    const { unique, droppedWarnings } = dedupeActions(ingest.actions);
+    const ingestWarnings = droppedWarnings.length
+        ? droppedWarnings.map((code) => ({ code }))
+        : undefined;
+    let catalog;
+    let dialect;
+    let pgClient;
+    let sqliteDb;
+    if (opts.postgresUrl) {
+        pgClient = await connectPostgresVerificationClient(opts.postgresUrl);
+        catalog = new PostgresSchemaCatalog(pgClient);
+        dialect = "postgres";
+    }
+    else if (opts.sqlitePath) {
+        sqliteDb = new DatabaseSync(opts.sqlitePath, { readOnly: true });
+        catalog = new SqliteSchemaCatalog(sqliteDb);
+        dialect = "sqlite";
+    }
+    else {
+        throw new Error("runQuickVerify: postgresUrl or sqlitePath required");
+    }
+    try {
+        const tables = await catalog.listTables();
+        const fkEdges = await catalog.listFkEdges();
+        const units = [];
+        const exportTools = [];
+        const contractExports = [];
+        const runHeaderReasonCodes = [];
+        const relationalSeen = new Set();
+        const pushUnit = (u) => {
+            if (units.length >= MAX_UNITS) {
+                if (!runHeaderReasonCodes.includes("UNIT_CAP_EXCEEDED"))
+                    runHeaderReasonCodes.push("UNIT_CAP_EXCEEDED");
+                return;
+            }
+            units.push(u);
+        };
+        for (let actionIndex = 0; actionIndex < unique.length; actionIndex++) {
+            const action = unique[actionIndex];
+            const sourceAction = { toolName: action.toolName, actionIndex };
+            const bs = bucketsForAction(action.toolName, action.flat, tables);
+            for (const b of bs) {
+                if (units.length >= MAX_UNITS)
+                    break;
+                const plan = await planRowUnit(catalog, b, tables);
+                const uid = `u${units.length}`;
+                if (!plan.request) {
+                    const rc = plan.reasonCodes.length ? plan.reasonCodes : ["MAPPING_FAILED"];
+                    pushUnit({
+                        unitId: uid,
+                        kind: "row",
+                        verdict: "uncertain",
+                        confidence: plan.confidence,
+                        reasonCodes: rc,
+                        sourceAction,
+                        contractEligible: false,
+                        inference: {
+                            table: b.tableName,
+                            rationale: plan.rationale,
+                            alternates: plan.alternates,
+                        },
+                        verification: {},
+                        reconciliation: buildQuickUnitReconciliation({
+                            kind: "row_mapping_failed",
+                            toolName: sourceAction.toolName,
+                            actionIndex,
+                            flat: action.flat,
+                            confidence: plan.confidence,
+                        }),
+                        explanation: plan.rationale.join(" ") || "Could not map row unit.",
+                        correctnessDefinition: buildQuickUnitCorrectnessDefinition({
+                            unitId: uid,
+                            kind: "row",
+                            toolName: sourceAction.toolName,
+                            actionIndex: sourceAction.actionIndex,
+                            table: b.tableName,
+                            reasonCodes: rc,
+                        }),
+                    });
+                    continue;
+                }
+                const rowOut = dialect === "postgres"
+                    ? await verifyRowPostgres(pgClient, plan.request)
+                    : verifyRowSqlite(sqliteDb, plan.request);
+                const exported = plan.confidence >= T_EXPORT;
+                let tid = `quick:${uid}`;
+                if (exported) {
+                    const used = new Set(exportTools.map((t) => t.toolId));
+                    let n = 1;
+                    while (used.has(tid)) {
+                        tid = `quick:${uid}:${n++}`;
+                    }
+                    exportTools.push(exportSqlRowTool(tid, plan.request));
+                    contractExports.push({ toolId: tid, request: plan.request });
+                }
+                const rowReconciliation = rowOut.verdict === "verified"
+                    ? buildQuickUnitReconciliation({
+                        kind: "row_verified",
+                        toolName: sourceAction.toolName,
+                        actionIndex,
+                        flat: action.flat,
+                        table: plan.request.table,
+                        request: plan.request,
+                        verification: rowOut.verification,
+                        verdict: "verified",
+                        confidence: plan.confidence,
+                    })
+                    : buildQuickUnitReconciliation({
+                        kind: "row_fail_or_uncertain",
+                        toolName: sourceAction.toolName,
+                        actionIndex,
+                        flat: action.flat,
+                        table: plan.request.table,
+                        request: plan.request,
+                        verification: rowOut.verification,
+                        verdict: rowOut.verdict,
+                        reasonCodes: rowOut.reasonCodes,
+                        confidence: plan.confidence,
+                    });
+                const rowBase = {
+                    unitId: uid,
+                    kind: "row",
+                    verdict: rowOut.verdict,
+                    confidence: plan.confidence,
+                    reasonCodes: rowOut.reasonCodes,
+                    sourceAction,
+                    contractEligible: exported,
+                    inference: { table: plan.request.table, rationale: plan.rationale },
+                    verification: rowOut.verification,
+                    explanation: rowOut.explanation,
+                    reconciliation: rowReconciliation,
+                };
+                pushUnit(rowOut.verdict === "verified"
+                    ? rowBase
+                    : {
+                        ...rowBase,
+                        correctnessDefinition: buildQuickUnitCorrectnessDefinition({
+                            unitId: uid,
+                            kind: "row",
+                            toolName: sourceAction.toolName,
+                            actionIndex: sourceAction.actionIndex,
+                            table: plan.request.table,
+                            reasonCodes: rowOut.reasonCodes,
+                            sqlRowRequest: plan.request,
+                        }),
+                    });
+            }
+            const rels = planRelationalFromFlat(action.flat, fkEdges);
+            for (const rel of rels) {
+                if (units.length >= MAX_UNITS)
+                    break;
+                const rk = `${rel.childTable}\0${rel.matchEq.map((m) => m.column).join(",")}`;
+                if (relationalSeen.has(rk))
+                    continue;
+                relationalSeen.add(rk);
+                const uid = `u${units.length}`;
+                const rout = dialect === "postgres"
+                    ? await verifyRelatedExists("postgres", pgClient, rel)
+                    : await verifyRelatedExists("sqlite", sqliteDb, rel);
+                const relBase = {
+                    unitId: uid,
+                    kind: "related_exists",
+                    verdict: rout.verdict,
+                    confidence: 0.8,
+                    reasonCodes: rout.reasonCodes,
+                    sourceAction,
+                    contractEligible: false,
+                    inference: { table: rel.childTable, rationale: [`FK ${rel.id}`] },
+                    verification: rout.verification,
+                    explanation: rout.explanation,
+                    reconciliation: buildQuickUnitReconciliation({
+                        kind: "related_exists",
+                        toolName: sourceAction.toolName,
+                        actionIndex,
+                        flat: action.flat,
+                        check: rel,
+                        verdict: rout.verdict,
+                        reasonCodes: rout.reasonCodes,
+                        confidence: 0.8,
+                    }),
+                };
+                pushUnit(rout.verdict === "verified"
+                    ? relBase
+                    : {
+                        ...relBase,
+                        correctnessDefinition: buildQuickUnitCorrectnessDefinition({
+                            unitId: uid,
+                            kind: "related_exists",
+                            toolName: sourceAction.toolName,
+                            actionIndex: sourceAction.actionIndex,
+                            table: rel.childTable,
+                            reasonCodes: rout.reasonCodes,
+                            relationalCheck: rel,
+                        }),
+                    });
+            }
+        }
+        const hadActions = ingest.actions.length > 0;
+        const verdict = rollupVerdict(units, ingest.reasonCodes, hadActions);
+        exportTools.sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
+        contractExports.sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
+        const report = {
+            schemaVersion: 4,
+            verdict,
+            summary: buildSummary(verdict, units, ingestBlock),
+            verificationMode: "inferred",
+            scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
+            productTruth: DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH,
+            ingest: ingestBlock,
+            ...(ingestWarnings ? { ingestWarnings } : {}),
+            ...(runHeaderReasonCodes.length ? { runHeaderReasonCodes } : {}),
+            units,
+            exportableRegistry: { tools: exportTools },
+        };
+        const registryUtf8 = canonicalToolsArrayUtf8(report.exportableRegistry.tools);
+        return { report, registryUtf8, contractExports };
+    }
+    finally {
+        if (pgClient) {
+            try {
+                await pgClient.end();
+            }
+            catch {
+                /* */
+            }
+        }
+        if (sqliteDb) {
+            try {
+                sqliteDb.close();
+            }
+            catch {
+                /* */
+            }
+        }
+    }
+}
+/** For tests: stable single-line report JSON */
+export function quickReportToStdoutLine(report) {
+    return stableStringify(report) + "\n";
+}
+export async function runQuickVerifyToValidatedReport(opts) {
+    const out = await runQuickVerify(opts);
+    const validateQuickReport = loadSchemaValidator("quick-verify-report");
+    if (!validateQuickReport(out.report)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateQuickReport.errors ?? []));
+    }
+    return out;
+}
+//# sourceMappingURL=runQuickVerify.js.map

package/dist/quickVerify/runQuickVerify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runQuickVerify.js","sourceRoot":"","sources":["../../src/quickVerify/runQuickVerify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,mCAAmC,EAAE,MAAM,6BAA6B,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,iCAAiC,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC/F,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,+BAA+B,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE/F,OAAO,EAAE,0BAA0B,EAAyB,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EACL,kCAAkC,GAEnC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AA8ChF,SAAS,aAAa,CACpB,KAAiC,EACjC,WAAqB,EACrB,UAAmB;IAEnB,IACE,CAAC,UAAU;QACX,CAAC,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,oCAAoC,CAAC,CAAC,EACzG,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IAC3C,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3D,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IAChE,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,KAAiC,EAAE,MAAmC;IAC3G,MAAM,KAAK,GAAG;QACZ,uCAAuC,OAAO,oDAAoD;QAClG,GAAG,KAAK,CAAC,MAAM,UAAU;KAC1B,CAAC;IACF,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,CAAC;QAC7E,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC9C,CAAC;SAAM,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;AAChC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAA2B;IAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG;QAClB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC;IAEF,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzB,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAsB;YAChC,aAAa,EAAE,CAAC;YAChB,OAAO,EAAE,WAAW;YACpB,OAAO,EAAE,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC;YACtD,gBAAgB,EAAE,UAAU;YAC5B,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE;YACxC,YAAY,EAAE,kCAAkC;YAChD,MAAM,EAAE,WAAW;YACnB,KAAK;YACL,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;SAClC,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,uBAAuB,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;IACpF,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM;QAC3C,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAEd,IAAI,OAAsB,CAAC;IAC3B,IAAI,OAA8B,CAAC;IACnC,IAAI,QAAmF,CAAC;IACxF,IAAI,QAAkC,CAAC;IAEvC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,QAAQ,GAAG,MAAM,iCAAiC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrE,OAAO,GAAG,IAAI,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAC9C,OAAO,GAAG,UAAU,CAAC;IACvB,CAAC;SAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,QAAQ,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACjE,OAAO,GAAG,IAAI,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAC5C,OAAO,GAAG,QAAQ,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,MAAM,eAAe,GAA0B,EAAE,CAAC;QAClD,MAAM,oBAAoB,GAAa,EAAE,CAAC;QAC1C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QAEzC,MAAM,QAAQ,GAAG,CAAC,CAAgC,EAAE,EAAE;YACpD,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;gBAC9B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,mBAAmB,CAAC;oBAAE,oBAAoB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;gBACxG,OAAO;YACT,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC;QAEF,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;YACrE,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAE,CAAC;YACpC,MAAM,YAAY,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC;YAChE,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS;oBAAE,MAAM;gBACrC,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBACnD,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;oBAC3E,QAAQ,CAAC;wBACP,MAAM,EAAE,GAAG;wBACX,IAAI,EAAE,KAAK;wBACX,OAAO,EAAE,WAAW;wBACpB,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,WAAW,EAAE,EAAE;wBACf,YAAY;wBACZ,gBAAgB,EAAE,KAAK;wBACvB,SAAS,EAAE;4BACT,KAAK,EAAE,CAAC,CAAC,SAAS;4BAClB,SAAS,EAAE,IAAI,CAAC,SAAS;4BACzB,UAAU,EAAE,IAAI,CAAC,UAAU;yBAC5B;wBACD,YAAY,EAAE,EAAE;wBAChB,cAAc,EAAE,4BAA4B,CAAC;4BAC3C,IAAI,EAAE,oBAAoB;4BAC1B,QAAQ,EAAE,YAAY,CAAC,QAAQ;4BAC/B,WAAW;4BACX,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,UAAU,EAAE,IAAI,CAAC,UAAU;yBAC5B,CAAC;wBACF,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,yBAAyB;wBAClE,qBAAqB,EAAE,mCAAmC,CAAC;4BACzD,MAAM,EAAE,GAAG;4BACX,IAAI,EAAE,KAAK;4BACX,QAAQ,EAAE,YAAY,CAAC,QAAQ;4BAC/B,WAAW,EAAE,YAAY,CAAC,WAAW;4BACrC,KAAK,EAAE,CAAC,CAAC,SAAS;4BAClB,WAAW,EAAE,EAAE;yBAChB,CAAC;qBACH,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GACV,OAAO,KAAK,UAAU;oBACpB,CAAC,CAAC,MAAM,iBAAiB,CAAC,QAAS,EAAE,IAAI,CAAC,OAAO,CAAC;oBAClD,CAAC,CAAC,eAAe,CAAC,QAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC;gBAC7C,IAAI,GAAG,GAAG,SAAS,GAAG,EAAE,CAAC;gBACzB,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;oBACvD,IAAI,CAAC,GAAG,CAAC,CAAC;oBACV,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrB,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;oBAC9B,CAAC;oBACD,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;oBACtD,eAAe,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC/D,CAAC;gBACD,MAAM,iBAAiB,GACrB,MAAM,CAAC,OAAO,KAAK,UAAU;oBAC3B,CAAC,CAAC,4BAA4B,CAAC;wBAC3B,IAAI,EAAE,cAAc;wBACpB,QAAQ,EAAE,YAAY,CAAC,QAAQ;wBAC/B,WAAW;wBACX,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;wBACzB,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,YAAY,EAAE,MAAM,CAAC,YAAY;wBACjC,OAAO,EAAE,UAAU;wBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;qBAC5B,CAAC;oBACJ,CAAC,CAAC,4BAA4B,CAAC;wBAC3B,IAAI,EAAE,uBAAuB;wBAC7B,QAAQ,EAAE,YAAY,CAAC,QAAQ;wBAC/B,WAAW;wBACX,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;wBACzB,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,YAAY,EAAE,MAAM,CAAC,YAAY;wBACjC,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,WAAW,EAAE,MAAM,CAAC,WAAW;wBAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;qBAC5B,CAAC,CAAC;gBACT,MAAM,OAAO,GAAG;oBACd,MAAM,EAAE,GAAG;oBACX,IAAI,EAAE,KAAc;oBACpB,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,YAAY;oBACZ,gBAAgB,EAAE,QAAQ;oBAC1B,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE;oBACnE,YAAY,EAAE,MAAM,CAAC,YAAY;oBACjC,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,cAAc,EAAE,iBAAiB;iBAClC,CAAC;gBACF,QAAQ,CACN,MAAM,CAAC,OAAO,KAAK,UAAU;oBAC3B,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC;wBACE,GAAG,OAAO;wBACV,qBAAqB,EAAE,mCAAmC,CAAC;4BACzD,MAAM,EAAE,GAAG;4BACX,IAAI,EAAE,KAAK;4BACX,QAAQ,EAAE,YAAY,CAAC,QAAQ;4BAC/B,WAAW,EAAE,YAAY,CAAC,WAAW;4BACrC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;4BACzB,WAAW,EAAE,MAAM,CAAC,WAAW;4BAC/B,aAAa,EAAE,IAAI,CAAC,OAAO;yBAC5B,CAAC;qBACH,CACN,CAAC;YACJ,CAAC;YAED,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS;oBAAE,MAAM;gBACrC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,UAAU,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9E,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACrC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACvB,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC/B,MAAM,IAAI,GACR,OAAO,KAAK,UAAU;oBACpB,CAAC,CAAC,MAAM,mBAAmB,CAAC,UAAU,EAAE,QAAS,EAAE,GAAG,CAAC;oBACvD,CAAC,CAAC,MAAM,mBAAmB,CAAC,QAAQ,EAAE,QAAS,EAAE,GAAG,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG;oBACd,MAAM,EAAE,GAAG;oBACX,IAAI,EAAE,gBAAyB;oBAC/B,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,UAAU,EAAE,GAAG;oBACf,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,YAAY;oBACZ,gBAAgB,EAAE,KAAK;oBACvB,SAAS,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE;oBACjE,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC/B,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,cAAc,EAAE,4BAA4B,CAAC;wBAC3C,IAAI,EAAE,gBAAgB;wBACtB,QAAQ,EAAE,YAAY,CAAC,QAAQ;wBAC/B,WAAW;wBACX,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,KAAK,EAAE,GAAG;wBACV,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,WAAW,EAAE,IAAI,CAAC,WAAW;wBAC7B,UAAU,EAAE,GAAG;qBAChB,CAAC;iBACH,CAAC;gBACF,QAAQ,CACN,IAAI,CAAC,OAAO,KAAK,UAAU;oBACzB,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC;wBACE,GAAG,OAAO;wBACV,qBAAqB,EAAE,mCAAmC,CAAC;4BACzD,MAAM,EAAE,GAAG;4BACX,IAAI,EAAE,gBAAgB;4BACtB,QAAQ,EAAE,YAAY,CAAC,QAAQ;4BAC/B,WAAW,EAAE,YAAY,CAAC,WAAW;4BACrC,KAAK,EAAE,GAAG,CAAC,UAAU;4BACrB,WAAW,EAAE,IAAI,CAAC,WAAW;4BAC7B,eAAe,EAAE,GAAG;yBACrB,CAAC;qBACH,CACN,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACrE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAsB;YAChC,aAAa,EAAE,CAAC;YAChB,OAAO;YACP,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC;YAClD,gBAAgB,EAAE,UAAU;YAC5B,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE;YACxC,YAAY,EAAE,kCAAkC;YAChD,MAAM,EAAE,WAAW;YACnB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,KAAK;YACL,kBAAkB,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;SAC3C,CAAC;QAEF,MAAM,YAAY,GAAG,uBAAuB,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC9E,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;IACnD,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBACH,MAAM,QAAQ,CAAC,GAAG,EAAE,CAAC;YACvB,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK;YACP,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBACH,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK;YACP,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,uBAAuB,CAAC,MAAyB;IAC/D,OAAO,eAAe,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;AACxC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,+BAA+B,CAAC,IAA2B;IAC/E,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;IACvE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,MAAM,IAAI,EAAE,CAAC,CACjD,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/quickVerify/schemaCatalogTypes.d.ts

@@ -0,0 +1,22 @@
+export type ColumnInfo = {
+    name: string;
+};
+export type UniqueConstraint = {
+    columns: string[];
+};
+/** Single-column FK edge (multi-column FK omitted in v1). */
+export type FkEdge = {
+    childTable: string;
+    childColumn: string;
+    parentTable: string;
+    parentColumn: string;
+};
+export interface SchemaCatalog {
+    readonly dialect: "postgres" | "sqlite";
+    listTables(): Promise<string[]>;
+    listColumns(table: string): Promise<ColumnInfo[]>;
+    primaryKeyColumns(table: string): Promise<string[]>;
+    listUniqueConstraints(table: string): Promise<UniqueConstraint[]>;
+    listFkEdges(): Promise<FkEdge[]>;
+}
+//# sourceMappingURL=schemaCatalogTypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schemaCatalogTypes.d.ts","sourceRoot":"","sources":["../../src/quickVerify/schemaCatalogTypes.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1C,MAAM,MAAM,gBAAgB,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAErD,6DAA6D;AAC7D,MAAM,MAAM,MAAM,GAAG;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,QAAQ,CAAC;IACxC,UAAU,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAChC,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAClD,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAClE,WAAW,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CAClC"}

package/dist/quickVerify/schemaCatalogTypes.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=schemaCatalogTypes.js.map

package/dist/quickVerify/schemaCatalogTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaCatalogTypes.js","sourceRoot":"","sources":["../../src/quickVerify/schemaCatalogTypes.ts"],"names":[],"mappings":""}

package/dist/quickVerify/sqliteCatalog.d.ts

@@ -0,0 +1,13 @@
+import { DatabaseSync } from "node:sqlite";
+import type { ColumnInfo, FkEdge, SchemaCatalog, UniqueConstraint } from "./schemaCatalogTypes.js";
+export declare class SqliteSchemaCatalog implements SchemaCatalog {
+    private readonly db;
+    readonly dialect: "sqlite";
+    constructor(db: DatabaseSync);
+    listTables(): Promise<string[]>;
+    listColumns(table: string): Promise<ColumnInfo[]>;
+    primaryKeyColumns(table: string): Promise<string[]>;
+    listUniqueConstraints(_table: string): Promise<UniqueConstraint[]>;
+    listFkEdges(): Promise<FkEdge[]>;
+}
+//# sourceMappingURL=sqliteCatalog.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sqliteCatalog.d.ts","sourceRoot":"","sources":["../../src/quickVerify/sqliteCatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEnG,qBAAa,mBAAoB,YAAW,aAAa;IAG3C,OAAO,CAAC,QAAQ,CAAC,EAAE;IAF/B,QAAQ,CAAC,OAAO,EAAG,QAAQ,CAAU;gBAER,EAAE,EAAE,YAAY;IAEvC,UAAU,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAQ/B,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IAMjD,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAMnD,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;IAIlE,WAAW,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;CAqBvC"}

package/dist/quickVerify/sqliteCatalog.js

@@ -0,0 +1,48 @@
+export class SqliteSchemaCatalog {
+    db;
+    dialect = "sqlite";
+    constructor(db) {
+        this.db = db;
+    }
+    async listTables() {
+        const stmt = this.db.prepare(`SELECT name FROM sqlite_master WHERE type='table' AND name NOT LIKE 'sqlite_%' ORDER BY name`);
+        const rows = stmt.all();
+        return rows.map((r) => r.name);
+    }
+    async listColumns(table) {
+        const stmt = this.db.prepare(`PRAGMA table_info("${table.replace(/"/g, '""')}")`);
+        const rows = stmt.all();
+        return rows.map((r) => ({ name: r.name }));
+    }
+    async primaryKeyColumns(table) {
+        const stmt = this.db.prepare(`PRAGMA table_info("${table.replace(/"/g, '""')}")`);
+        const rows = stmt.all();
+        return rows.filter((r) => r.pk > 0).map((r) => r.name);
+    }
+    async listUniqueConstraints(_table) {
+        return [];
+    }
+    async listFkEdges() {
+        const tables = await this.listTables();
+        const out = [];
+        const seen = new Set();
+        for (const t of tables) {
+            const stmt = this.db.prepare(`PRAGMA foreign_key_list("${t.replace(/"/g, '""')}")`);
+            const rows = stmt.all();
+            for (const row of rows) {
+                const key = `${t}.${row.from}->${row.table}.${row.to}`;
+                if (seen.has(key))
+                    continue;
+                seen.add(key);
+                out.push({
+                    childTable: t,
+                    childColumn: row.from,
+                    parentTable: row.table,
+                    parentColumn: row.to,
+                });
+            }
+        }
+        return out;
+    }
+}
+//# sourceMappingURL=sqliteCatalog.js.map

package/dist/quickVerify/sqliteCatalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqliteCatalog.js","sourceRoot":"","sources":["../../src/quickVerify/sqliteCatalog.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,mBAAmB;IAGD;IAFpB,OAAO,GAAG,QAAiB,CAAC;IAErC,YAA6B,EAAgB;QAAhB,OAAE,GAAF,EAAE,CAAc;IAAG,CAAC;IAEjD,KAAK,CAAC,UAAU;QACd,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,8FAA8F,CAC/F,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAwB,CAAC;QAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,KAAa;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAwB,CAAC;QAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,iBAAiB,CAAC,KAAa;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAoC,CAAC;QAC1D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IAED,KAAK,CAAC,qBAAqB,CAAC,MAAc;QACxC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,KAAK,CAAC,WAAW;QACf,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACpF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAmD,CAAC;YACzE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;gBACvD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,GAAG,CAAC,IAAI,CAAC;oBACP,UAAU,EAAE,CAAC;oBACb,WAAW,EAAE,GAAG,CAAC,IAAI;oBACrB,WAAW,EAAE,GAAG,CAAC,KAAK;oBACtB,YAAY,EAAE,GAAG,CAAC,EAAE;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/quickVerify/tableScoring.d.ts

@@ -0,0 +1,24 @@
+import { T_AMBIGUITY_DELTA, T_COL, T_OVERALL, T_TABLE } from "./thresholds.js";
+export declare function englishSingular(v1: string): string;
+export declare function englishPlural(v1: string): string;
+export declare function variants(T: string): string[];
+export declare function levenshteinRatio(a: string, b: string): number;
+export declare function tokenMatchScore(s: string, v: string): number;
+export declare function scoreSegmentToTable(seg0: string, tableName: string): number;
+export declare function tokens(toolName: string): string[];
+export declare function tableScoreAction(toolName: string, T: string): number;
+export declare function argmaxTableSegment(seg0: string, tables: string[]): {
+    table: string;
+    score: number;
+};
+export declare function argmaxTableAction(toolName: string, tables: string[]): {
+    table: string;
+    score: number;
+};
+export declare function columnScore(paramKey: string, colName: string): number;
+export declare function bestColumnForParam(paramKey: string, columns: string[]): {
+    col: string;
+    score: number;
+};
+export { T_TABLE, T_COL, T_OVERALL, T_AMBIGUITY_DELTA };
+//# sourceMappingURL=tableScoring.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tableScoring.d.ts","sourceRoot":"","sources":["../../src/quickVerify/tableScoring.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/E,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAOlD;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAQhD;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAO5C;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAmB7D;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAK5D;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAO3E;AAED,wBAAgB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAKjD;AAED,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CASpE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAcnG;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAWtG;AAgBD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAOrE;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAWtG;AAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC"}

package/dist/quickVerify/tableScoring.js

@@ -0,0 +1,156 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
+import { T_AMBIGUITY_DELTA, T_COL, T_OVERALL, T_TABLE } from "./thresholds.js";
+export function englishSingular(v1) {
+    if (v1.length >= 4 && v1.endsWith("ies"))
+        return v1.slice(0, -3) + "y";
+    if (v1.endsWith("ses") || v1.endsWith("xes") || v1.endsWith("ches") || v1.endsWith("shes")) {
+        if (v1.length >= 3)
+            return v1.slice(0, -2);
+    }
+    if (v1.endsWith("s") && !v1.endsWith("ss") && v1.length > 1)
+        return v1.slice(0, -1);
+    return v1;
+}
+export function englishPlural(v1) {
+    const n = v1.length;
+    if (n === 0)
+        return v1;
+    const prev = v1[n - 2] ?? "";
+    const vowel = /[aeiou]/i.test(prev);
+    if (v1.endsWith("y") && n >= 2 && !vowel)
+        return v1.slice(0, -1) + "ies";
+    if (v1.endsWith("s"))
+        return v1;
+    return v1 + "s";
+}
+export function variants(T) {
+    const v0 = T;
+    const v1 = v0.replace(/A-Z/g, (c) => String.fromCharCode(c.charCodeAt(0) + 32));
+    const v2 = englishSingular(v1);
+    const v3 = englishPlural(v1);
+    const set = new Set([v0, v1, v2, v3]);
+    return [...set].sort(compareUtf16Id);
+}
+export function levenshteinRatio(a, b) {
+    if (a === b)
+        return 1;
+    const m = a.length;
+    const n = b.length;
+    if (m === 0 || n === 0)
+        return 0;
+    const dp = Array(n + 1);
+    for (let j = 0; j <= n; j++)
+        dp[j] = j;
+    for (let i = 1; i <= m; i++) {
+        let prev = dp[0];
+        dp[0] = i;
+        for (let j = 1; j <= n; j++) {
+            const tmp = dp[j];
+            const cost = a[i - 1] === b[j - 1] ? 0 : 1;
+            dp[j] = Math.min(dp[j] + 1, dp[j - 1] + 1, prev + cost);
+            prev = tmp;
+        }
+    }
+    const d = dp[n];
+    return 1 - d / Math.max(m, n);
+}
+export function tokenMatchScore(s, v) {
+    if (s === v)
+        return 1.0;
+    if (s.includes(v) || v.includes(s))
+        return 0.75;
+    const r = levenshteinRatio(s, v);
+    return r >= 0.85 ? 0.7 : 0;
+}
+export function scoreSegmentToTable(seg0, tableName) {
+    const s = seg0.replace(/A-Z/g, (c) => String.fromCharCode(c.charCodeAt(0) + 32));
+    let best = 0;
+    for (const v of variants(tableName)) {
+        best = Math.max(best, tokenMatchScore(s, v));
+    }
+    return best;
+}
+export function tokens(toolName) {
+    return toolName
+        .split(/[^a-zA-Z0-9]+/)
+        .filter((x) => x.length > 0)
+        .map((t) => t.replace(/A-Z/g, (c) => String.fromCharCode(c.charCodeAt(0) + 32)));
+}
+export function tableScoreAction(toolName, T) {
+    const toks = tokens(toolName);
+    let best = 0;
+    for (const t of toks) {
+        for (const v of variants(T)) {
+            best = Math.max(best, tokenMatchScore(t, v));
+        }
+    }
+    return best;
+}
+export function argmaxTableSegment(seg0, tables) {
+    let bestT = tables[0] ?? "";
+    let bestS = -1;
+    const scored = [];
+    for (const T of tables) {
+        const s = scoreSegmentToTable(seg0, T);
+        scored.push({ t: T, s, vMatched: "" });
+        if (s > bestS || (s === bestS && compareUtf16Id(T, bestT) < 0)) {
+            bestS = s;
+            bestT = T;
+        }
+    }
+    if (bestS < 0)
+        bestS = 0;
+    return { table: bestT, score: bestS };
+}
+export function argmaxTableAction(toolName, tables) {
+    let bestT = tables[0] ?? "";
+    let bestS = -1;
+    for (const T of tables) {
+        const s = tableScoreAction(toolName, T);
+        if (s > bestS || (s === bestS && compareUtf16Id(T, bestT) < 0)) {
+            bestS = s;
+            bestT = T;
+        }
+    }
+    return { table: bestT, score: Math.max(0, bestS) };
+}
+function normalizeSnakeCamel(a, b) {
+    const na = a.toLowerCase().replace(/_/g, "");
+    const nb = b.toLowerCase().replace(/_/g, "");
+    return na === nb;
+}
+function stripIdSuffix(k, col) {
+    const kl = k.toLowerCase();
+    const cl = col.toLowerCase();
+    if (kl.endsWith("id") && kl.slice(0, -2) === cl)
+        return true;
+    if (kl.endsWith("_id") && kl.slice(0, -3) === cl)
+        return true;
+    return false;
+}
+export function columnScore(paramKey, colName) {
+    if (paramKey === colName)
+        return 1.0;
+    if (paramKey.toLowerCase() === colName.toLowerCase())
+        return 0.95;
+    if (normalizeSnakeCamel(paramKey, colName))
+        return 0.9;
+    if (stripIdSuffix(paramKey, colName))
+        return 0.85;
+    const r = levenshteinRatio(paramKey.toLowerCase(), colName.toLowerCase());
+    return r >= 0.8 ? r : 0;
+}
+export function bestColumnForParam(paramKey, columns) {
+    let best = columns[0] ?? "";
+    let bestS = -1;
+    for (const c of columns) {
+        const s = columnScore(paramKey, c);
+        if (s > bestS || (s === bestS && compareUtf16Id(c, best) < 0)) {
+            bestS = s;
+            best = c;
+        }
+    }
+    return { col: best, score: Math.max(0, bestS) };
+}
+export { T_TABLE, T_COL, T_OVERALL, T_AMBIGUITY_DELTA };
+//# sourceMappingURL=tableScoring.js.map

package/dist/quickVerify/tableScoring.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableScoring.js","sourceRoot":"","sources":["../../src/quickVerify/tableScoring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/E,MAAM,UAAU,eAAe,CAAC,EAAU;IACxC,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IACvE,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IACzE,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,EAAE,GAAG,GAAG,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAS;IAChC,MAAM,EAAE,GAAG,CAAC,CAAC;IACb,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAS,EAAE,CAAS;IACnD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjC,MAAM,EAAE,GAAa,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC;YACxD,IAAI,GAAG,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,CAAS,EAAE,CAAS;IAClD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACxB,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,SAAiB;IACjE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjF,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,QAAgB;IACrC,OAAO,QAAQ;SACZ,KAAK,CAAC,eAAe,CAAC;SACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,CAAS;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,MAAgB;IAC/D,IAAI,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,MAAM,MAAM,GAAsD,EAAE,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/D,KAAK,GAAG,CAAC,CAAC;YACV,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC;QAAE,KAAK,GAAG,CAAC,CAAC;IACzB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,MAAgB;IAClE,IAAI,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/D,KAAK,GAAG,CAAC,CAAC;YACV,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAS,EAAE,CAAS;IAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,CAAS,EAAE,GAAW;IAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,OAAe;IAC3D,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC;IACrC,IAAI,QAAQ,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,WAAW,EAAE;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAE,OAAO,GAAG,CAAC;IACvD,IAAI,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1E,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,OAAiB;IACpE,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9D,KAAK,GAAG,CAAC,CAAC;YACV,IAAI,GAAG,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC"}