agentskeptic 1.0.4 → 1.1.1

package/dist/regressionArtifact.d.ts

@@ -0,0 +1,63 @@
+import type { CompareRunManifestV1, CertificateProfileV1, OutcomeCertificateRunKindForCompare } from "./compareRunManifest.js";
+import { buildTracePairwisePayload } from "./executionTraceDiff.js";
+import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
+import { type ReliabilityTrend, type RunComparisonReport } from "./runComparison.js";
+import type { WorkflowResult } from "./types.js";
+export type RegressionArtifactV1 = {
+    schemaVersion: 1;
+    artifactSource: "cli_manifest" | "debug_corpus";
+    manifestSha256: string;
+    workflowId: string;
+    certificateProfile: CertificateProfileV1;
+    verification: RunComparisonReport;
+    outcomeCertificates: Array<{
+        runIndex: number;
+        displayLabel: string;
+        outcomeCertificateRunKind: OutcomeCertificateRunKindForCompare;
+        certificateCanonicalDigest: string;
+        certificate: OutcomeCertificateV1;
+    }>;
+    tracePairwise: ReturnType<typeof buildTracePairwisePayload>;
+    narrative: {
+        classification: ReliabilityTrend;
+        whyItMatters: string;
+        headline: string;
+        structural: {
+            introducedLogicalStepKeysCount: number;
+            resolvedLogicalStepKeysCount: number;
+            recurringSignatureCount: number;
+        };
+        traceSummary: {
+            seqTimelineOrderDiverged: boolean;
+            onlyInPriorSeqCount: number;
+            onlyInCurrentSeqCount: number;
+            inBothCount: number;
+            nonToolCountsDiverged: boolean;
+        };
+    };
+    humanText: string;
+    narrativeHtml: string;
+};
+export declare function buildRegressionArtifactFromInputs(options: {
+    artifactSource: "cli_manifest" | "debug_corpus";
+    manifestSha256: string;
+    certificateProfile: CertificateProfileV1;
+    results: WorkflowResult[];
+    displayLabels: string[];
+    /** NDJSON event paths, same order as results */
+    eventPaths: string[];
+}): RegressionArtifactV1;
+export declare function stringifyRegressionArtifact(artifact: RegressionArtifactV1): string;
+export declare function buildRegressionArtifactFromCompareManifest(manifestPath: string): {
+    artifact: RegressionArtifactV1;
+    manifest: CompareRunManifestV1;
+    manifestFileAbs: string;
+};
+/** Debug / corpus: `manifestSha256` = 64x `0` per normative contract. */
+export declare const DEBUG_MANIFEST_SHA256_PLACEHOLDER: string;
+export declare function buildRegressionArtifactFromDebugCorpus(options: {
+    results: WorkflowResult[];
+    runIds: string[];
+    eventPaths: string[];
+}): RegressionArtifactV1;
+//# sourceMappingURL=regressionArtifact.d.ts.map

package/dist/regressionArtifact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regressionArtifact.d.ts","sourceRoot":"","sources":["../src/regressionArtifact.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,mCAAmC,EAAE,MAAM,yBAAyB,CAAC;AAG/H,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAEpE,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAA4B,KAAK,gBAAgB,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAM/G,OAAO,KAAK,EAAwB,cAAc,EAAE,MAAM,YAAY,CAAC;AAUvE,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,cAAc,EAAE,cAAc,GAAG,cAAc,CAAC;IAChD,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,oBAAoB,CAAC;IACzC,YAAY,EAAE,mBAAmB,CAAC;IAClC,mBAAmB,EAAE,KAAK,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC;QACjB,YAAY,EAAE,MAAM,CAAC;QACrB,yBAAyB,EAAE,mCAAmC,CAAC;QAC/D,0BAA0B,EAAE,MAAM,CAAC;QACnC,WAAW,EAAE,oBAAoB,CAAC;KACnC,CAAC,CAAC;IACH,aAAa,EAAE,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC;IAC5D,SAAS,EAAE;QACT,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE;YACV,8BAA8B,EAAE,MAAM,CAAC;YACvC,4BAA4B,EAAE,MAAM,CAAC;YACrC,uBAAuB,EAAE,MAAM,CAAC;SACjC,CAAC;QACF,YAAY,EAAE;YACZ,wBAAwB,EAAE,OAAO,CAAC;YAClC,mBAAmB,EAAE,MAAM,CAAC;YAC5B,qBAAqB,EAAE,MAAM,CAAC;YAC9B,WAAW,EAAE,MAAM,CAAC;YACpB,qBAAqB,EAAE,OAAO,CAAC;SAChC,CAAC;KACH,CAAC;IACF,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AA8EF,wBAAgB,iCAAiC,CAAC,OAAO,EAAE;IACzD,cAAc,EAAE,cAAc,GAAG,cAAc,CAAC;IAChD,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,oBAAoB,CAAC;IACzC,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gDAAgD;IAChD,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,GAAG,oBAAoB,CAyHvB;AA6BD,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,CAElF;AAMD,wBAAgB,0CAA0C,CACxD,YAAY,EAAE,MAAM,GACnB;IAAE,QAAQ,EAAE,oBAAoB,CAAC;IAAC,QAAQ,EAAE,oBAAoB,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CAgE7F;AAED,yEAAyE;AACzE,eAAO,MAAM,iCAAiC,QAAiB,CAAC;AAEhE,wBAAgB,sCAAsC,CACpD,OAAO,EAAE;IACP,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,GACA,oBAAoB,CAYtB"}

package/dist/regressionArtifact.js

@@ -0,0 +1,290 @@
+import { createHash } from "node:crypto";
+import { existsSync, readFileSync } from "node:fs";
+import path from "node:path";
+import { loadCompareRunManifest } from "./compareRunManifest.js";
+import { certificateCanonicalDigestHex } from "./certificateDigest.js";
+import { buildTracePairwisePayload } from "./executionTraceDiff.js";
+import { buildExecutionTraceView } from "./executionTrace.js";
+import { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, } from "./outcomeCertificate.js";
+import { buildRunComparisonReport } from "./runComparison.js";
+import { loadEventsForWorkflow } from "./loadEvents.js";
+import { loadSchemaValidator } from "./schemaLoad.js";
+import { stringifyWithSortedKeys } from "./sortedJsonStringify.js";
+import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
+import { TruthLayerError } from "./truthLayerError.js";
+import { normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
+import { isV9RunLevelCodesInconsistent } from "./workflowRunLevelConsistency.js";
+import { COMPARE_INPUT_RUN_LEVEL_INCONSISTENT_MESSAGE } from "./runLevelDriftMessages.js";
+const DEBUG_CORPUS_PROFILE = {
+    mode: "uniform",
+    outcomeCertificateRunKind: "contract_sql",
+};
+function escapeHtml(s) {
+    return String(s)
+        .replace(/&/g, "&")
+        .replace(/</g, "&lt;")
+        .replace(/>/g, "&gt;")
+        .replace(/"/g, "&quot;");
+}
+function getRunKindForIndex(profile, runIndex) {
+    if (profile.mode === "uniform") {
+        return profile.outcomeCertificateRunKind;
+    }
+    const ent = profile.entries.find((e) => e.runIndex === runIndex);
+    if (!ent) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, `regression: missing certificateProfile entry for runIndex ${runIndex}`);
+    }
+    return ent.outcomeCertificateRunKind;
+}
+function buildCertificateFor(r, kind) {
+    try {
+        if (kind === "contract_sql") {
+            return buildOutcomeCertificateFromWorkflowResult(r, "contract_sql");
+        }
+        return buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(r);
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_CERTIFICATE_BUILD_FAILED, msg);
+    }
+}
+function buildWhyItMatters(ra, traceSummary, structural) {
+    const { windowTrend, pairwiseTrend, headlineVerdict } = ra;
+    const introducedN = structural.introducedLogicalStepKeysCount;
+    const { seqTimelineOrderDiverged, nonToolCountsDiverged } = traceSummary;
+    if (headlineVerdict === "worsening") {
+        let s = `Overall reliability worsened over the run window: window=${windowTrend}, pairwise hop=${pairwiseTrend}.`;
+        if (introducedN > 0)
+            s += " There are introduced verification failures.";
+        if (nonToolCountsDiverged)
+            s += " Control-path event counts differ between runs.";
+        if (seqTimelineOrderDiverged)
+            s += " Tool step order changed between runs.";
+        return s;
+    }
+    if (headlineVerdict === "improving") {
+        let s = `Overall reliability improved over the run window: window=${windowTrend}, pairwise hop=${pairwiseTrend}.`;
+        if (introducedN > 0)
+            s += " There are introduced verification failures.";
+        if (nonToolCountsDiverged)
+            s += " Control-path event counts differ between runs.";
+        if (seqTimelineOrderDiverged)
+            s += " Tool step order changed between runs.";
+        return s;
+    }
+    if (headlineVerdict === "unchanged") {
+        let s = `No headline shift in the reliability assessment: window=${windowTrend}, pairwise=${pairwiseTrend}.`;
+        if (introducedN > 0)
+            s += " There are introduced verification failures.";
+        if (nonToolCountsDiverged)
+            s += " Control-path event counts differ between runs.";
+        if (seqTimelineOrderDiverged)
+            s += " Tool step order changed between runs.";
+        return s;
+    }
+    return `Mixed signal: window=${windowTrend}, pairwise=${pairwiseTrend}; see headline rationale in narrative.headline.`;
+}
+function nonToolCountsDiverged(a, b) {
+    return stringifyWithSortedKeys(a) !== stringifyWithSortedKeys(b);
+}
+export function buildRegressionArtifactFromInputs(options) {
+    const { artifactSource, manifestSha256, certificateProfile, results, displayLabels, eventPaths } = options;
+    if (results.length !== displayLabels.length || results.length !== eventPaths.length) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, "regression: results, displayLabels, eventPaths length mismatch");
+    }
+    if (displayLabels.length < 2) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_INSUFFICIENT_RUNS, "At least two runs required for compare");
+    }
+    if (artifactSource === "debug_corpus" && JSON.stringify(certificateProfile) !== JSON.stringify(DEBUG_CORPUS_PROFILE)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, "regression: debug_corpus must use contract_sql uniform profile");
+    }
+    const verification = buildRunComparisonReport(results, displayLabels);
+    const ra = verification.reliabilityAssessment;
+    const ch = verification.compareHighlights;
+    const priorIdx = verification.pairwise.priorRunIndex;
+    const currentIdx = verification.pairwise.currentRunIndex;
+    const outcomeCertificates = results.map((r, i) => {
+        const k = getRunKindForIndex(certificateProfile, i);
+        const cert = buildCertificateFor(r, k);
+        return {
+            runIndex: i,
+            displayLabel: displayLabels[i],
+            outcomeCertificateRunKind: k,
+            certificateCanonicalDigest: certificateCanonicalDigestHex(cert),
+            certificate: cert,
+        };
+    });
+    let priorLoad;
+    let currentLoad;
+    try {
+        priorLoad = loadEventsForWorkflow(eventPaths[priorIdx], results[priorIdx].workflowId);
+        currentLoad = loadEventsForWorkflow(eventPaths[currentIdx], results[currentIdx].workflowId);
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_EVENTS_LOAD_FAILED, msg);
+    }
+    const priorView = buildExecutionTraceView({
+        workflowId: results[priorIdx].workflowId,
+        runEvents: priorLoad.runEvents,
+        malformedEventLineCount: priorLoad.malformedEventLineCount,
+        workflowResult: results[priorIdx],
+    });
+    const currentView = buildExecutionTraceView({
+        workflowId: results[currentIdx].workflowId,
+        runEvents: currentLoad.runEvents,
+        malformedEventLineCount: currentLoad.malformedEventLineCount,
+        workflowResult: results[currentIdx],
+    });
+    const traceDiff = buildTracePairwisePayload({
+        priorView,
+        currentView,
+        priorRunIndex: priorIdx,
+        currentRunIndex: currentIdx,
+    });
+    const ntd = nonToolCountsDiverged(traceDiff.nonToolEventCounts.prior, traceDiff.nonToolEventCounts.current);
+    const onlyInPrior = traceDiff.bySeq.filter((r) => r.class === "only_in_prior").length;
+    const onlyInCurrent = traceDiff.bySeq.filter((r) => r.class === "only_in_current").length;
+    const inBoth = traceDiff.bySeq.filter((r) => r.class === "in_both").length;
+    const structural = {
+        introducedLogicalStepKeysCount: ch.introducedLogicalStepKeys.length,
+        resolvedLogicalStepKeysCount: ch.resolvedLogicalStepKeys.length,
+        recurringSignatureCount: verification.recurrence.patterns.length,
+    };
+    const traceSummary = {
+        seqTimelineOrderDiverged: traceDiff.seqTimelineOrderDiverged,
+        onlyInPriorSeqCount: onlyInPrior,
+        onlyInCurrentSeqCount: onlyInCurrent,
+        inBothCount: inBoth,
+        nonToolCountsDiverged: ntd,
+    };
+    const whyItMatters = buildWhyItMatters(ra, traceSummary, structural);
+    const narrative = {
+        classification: ra.headlineVerdict,
+        whyItMatters,
+        headline: ra.headlineRationale,
+        structural,
+        traceSummary,
+    };
+    const tracePairwise = traceDiff;
+    const workflowId = verification.workflowId;
+    const artifact = {
+        schemaVersion: 1,
+        artifactSource,
+        manifestSha256,
+        workflowId,
+        certificateProfile,
+        verification,
+        outcomeCertificates,
+        tracePairwise,
+        narrative,
+        humanText: "",
+        narrativeHtml: "",
+    };
+    artifact.humanText = buildRegressionArtifactHumanText(artifact);
+    artifact.narrativeHtml = buildRegressionArtifactNarrativeHtml(artifact);
+    const validate = loadSchemaValidator("regression-artifact-v1");
+    if (!validate(artifact)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_REGRESSION_ARTIFACT_INVALID, JSON.stringify(validate.errors ?? []));
+    }
+    return artifact;
+}
+function buildRegressionArtifactHumanText(a) {
+    const lines = [];
+    lines.push(`regression_artifact: workflowId=${a.workflowId} classification=${a.narrative.classification}`);
+    lines.push(`headline: ${a.narrative.headline}`);
+    lines.push(`why_it_matters: ${a.narrative.whyItMatters}`);
+    lines.push("outcome_certificates:");
+    for (const c of a.outcomeCertificates) {
+        lines.push(`  run ${c.runIndex} label=${c.displayLabel} kind=${c.outcomeCertificateRunKind} digest=${c.certificateCanonicalDigest} state=${c.certificate.stateRelation}`);
+    }
+    lines.push("trace_pairwise: priorRunIndex=" + String(a.tracePairwise.priorRunIndex) + " currentRunIndex=" + String(a.tracePairwise.currentRunIndex));
+    lines.push("verification: embedded in JSON field `verification` (RunComparisonReport v4).");
+    return lines.join("\n");
+}
+function buildRegressionArtifactNarrativeHtml(a) {
+    const ra = a.narrative;
+    return [
+        `<section data-etl-section="regression-artifact">`,
+        `<h2 data-etl-regression-classification>Classification: ${escapeHtml(ra.classification)}</h2>`,
+        `<p data-etl-regression-headline>${escapeHtml(ra.headline)}</p>`,
+        `<p data-etl-why-matters>${escapeHtml(ra.whyItMatters)}</p>`,
+        `</section>`,
+    ].join("");
+}
+export function stringifyRegressionArtifact(artifact) {
+    return stringifyWithSortedKeys(artifact);
+}
+function sha256FileHex(absPath) {
+    return createHash("sha256").update(readFileSync(absPath)).digest("hex");
+}
+export function buildRegressionArtifactFromCompareManifest(manifestPath) {
+    const { manifest, baseDirAbs, manifestFileAbs } = loadCompareRunManifest(manifestPath);
+    const validateCompareInput = loadSchemaValidator("workflow-result-compare-input");
+    const results = [];
+    const eventPaths = [];
+    for (const run of manifest.runs) {
+        const wrAbs = path.resolve(baseDirAbs, run.workflowResult);
+        const evAbs = path.resolve(baseDirAbs, run.events);
+        if (!existsSync(wrAbs) || !existsSync(evAbs)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_RESOLVE_PATH_FAILED, `Missing file: ${!existsSync(wrAbs) ? wrAbs : evAbs}`);
+        }
+        const raw = readFileSync(wrAbs, "utf8");
+        let parsed;
+        try {
+            parsed = JSON.parse(raw);
+        }
+        catch (e) {
+            const m = e instanceof Error ? e.message : String(e);
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_INPUT_JSON_SYNTAX, m);
+        }
+        if (isV9RunLevelCodesInconsistent(parsed)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_INPUT_RUN_LEVEL_INCONSISTENT, COMPARE_INPUT_RUN_LEVEL_INCONSISTENT_MESSAGE);
+        }
+        if (!validateCompareInput(parsed)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_INPUT_SCHEMA_INVALID, JSON.stringify(validateCompareInput.errors ?? []));
+        }
+        try {
+            results.push(normalizeToEmittedWorkflowResult(parsed));
+        }
+        catch (e) {
+            if (e instanceof TruthLayerError)
+                throw e;
+            const msg = e instanceof Error ? e.message : String(e);
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, msg);
+        }
+        eventPaths.push(evAbs);
+    }
+    const wf0 = results[0].workflowId;
+    for (const r of results) {
+        if (r.workflowId !== wf0) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_WORKFLOW_ID_MISMATCH, "All WorkflowResult inputs must share the same workflowId.");
+        }
+    }
+    const dig = sha256FileHex(manifestFileAbs);
+    const artifact = buildRegressionArtifactFromInputs({
+        artifactSource: "cli_manifest",
+        manifestSha256: dig,
+        certificateProfile: manifest.certificateProfile,
+        results,
+        displayLabels: manifest.runs.map((r) => r.displayLabel),
+        eventPaths,
+    });
+    return { artifact, manifest, manifestFileAbs };
+}
+/** Debug / corpus: `manifestSha256` = 64x `0` per normative contract. */
+export const DEBUG_MANIFEST_SHA256_PLACEHOLDER = "0".repeat(64);
+export function buildRegressionArtifactFromDebugCorpus(options) {
+    if (options.results.length !== options.runIds.length || options.results.length !== options.eventPaths.length) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, "regression: debug length mismatch");
+    }
+    return buildRegressionArtifactFromInputs({
+        artifactSource: "debug_corpus",
+        manifestSha256: DEBUG_MANIFEST_SHA256_PLACEHOLDER,
+        certificateProfile: DEBUG_CORPUS_PROFILE,
+        results: options.results,
+        displayLabels: options.runIds,
+        eventPaths: options.eventPaths,
+    });
+}
+//# sourceMappingURL=regressionArtifact.js.map

package/dist/regressionArtifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regressionArtifact.js","sourceRoot":"","sources":["../src/regressionArtifact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EACL,yCAAyC,EACzC,iEAAiE,GAElE,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAmD,MAAM,oBAAoB,CAAC;AAC/G,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAE,4CAA4C,EAAE,MAAM,4BAA4B,CAAC;AAE1F,MAAM,oBAAoB,GAAyB;IACjD,IAAI,EAAE,SAAS;IACf,yBAAyB,EAAE,cAAc;CACjC,CAAC;AAsCX,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,MAAM,CAAC,CAAC,CAAC;SACb,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA6B,EAC7B,QAAgB;IAEhB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,yBAAyB,CAAC;IAC3C,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACjE,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,6DAA6D,QAAQ,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC,yBAAyB,CAAC;AACvC,CAAC;AAED,SAAS,mBAAmB,CAC1B,CAAiB,EACjB,IAAyC;IAEzC,IAAI,CAAC;QACH,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;YAC5B,OAAO,yCAAyC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,iEAAiE,CAAC,CAAC,CAAC,CAAC;IAC9E,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,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,gCAAgC,EAAE,GAAG,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAgD,EAChD,YAA+D,EAC/D,UAA2D;IAE3D,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;IAC3D,MAAM,WAAW,GAAG,UAAU,CAAC,8BAA8B,CAAC;IAC9D,MAAM,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,GAAG,YAAY,CAAC;IACzE,IAAI,eAAe,KAAK,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,4DAA4D,WAAW,kBAAkB,aAAa,GAAG,CAAC;QAClH,IAAI,WAAW,GAAG,CAAC;YAAE,CAAC,IAAI,8CAA8C,CAAC;QACzE,IAAI,qBAAqB;YAAE,CAAC,IAAI,iDAAiD,CAAC;QAClF,IAAI,wBAAwB;YAAE,CAAC,IAAI,wCAAwC,CAAC;QAC5E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,eAAe,KAAK,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,4DAA4D,WAAW,kBAAkB,aAAa,GAAG,CAAC;QAClH,IAAI,WAAW,GAAG,CAAC;YAAE,CAAC,IAAI,8CAA8C,CAAC;QACzE,IAAI,qBAAqB;YAAE,CAAC,IAAI,iDAAiD,CAAC;QAClF,IAAI,wBAAwB;YAAE,CAAC,IAAI,wCAAwC,CAAC;QAC5E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,eAAe,KAAK,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,2DAA2D,WAAW,cAAc,aAAa,GAAG,CAAC;QAC7G,IAAI,WAAW,GAAG,CAAC;YAAE,CAAC,IAAI,8CAA8C,CAAC;QACzE,IAAI,qBAAqB;YAAE,CAAC,IAAI,iDAAiD,CAAC;QAClF,IAAI,wBAAwB;YAAE,CAAC,IAAI,wCAAwC,CAAC;QAC5E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,wBAAwB,WAAW,cAAc,aAAa,iDAAiD,CAAC;AACzH,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAyB,EAAE,CAAyB;IACjF,OAAO,uBAAuB,CAAC,CAAC,CAAC,KAAK,uBAAuB,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,OAQjD;IACC,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAC3G,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QACpF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,gEAAgE,CACjE,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,yBAAyB,EAC/C,wCAAwC,CACzC,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,KAAK,cAAc,IAAI,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACrH,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,gEAAgE,CACjE,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACtE,MAAM,EAAE,GAAG,YAAY,CAAC,qBAAqB,CAAC;IAC9C,MAAM,EAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC;IAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC;IACrD,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,eAAe,CAAC;IAEzD,MAAM,mBAAmB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/C,MAAM,CAAC,GAAG,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,YAAY,EAAE,aAAa,CAAC,CAAC,CAAE;YAC/B,yBAAyB,EAAE,CAAC;YAC5B,0BAA0B,EAAE,6BAA6B,CAAC,IAAI,CAAC;YAC/D,WAAW,EAAE,IAAI;SAClB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,SAAmD,CAAC;IACxD,IAAI,WAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,QAAQ,CAAE,EAAE,OAAO,CAAC,QAAQ,CAAE,CAAC,UAAU,CAAC,CAAC;QACxF,WAAW,GAAG,qBAAqB,CAAC,UAAU,CAAC,UAAU,CAAE,EAAE,OAAO,CAAC,UAAU,CAAE,CAAC,UAAU,CAAC,CAAC;IAChG,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,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,0BAA0B,EAAE,GAAG,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC;QACxC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAE,CAAC,UAAU;QACzC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,uBAAuB,EAAE,SAAS,CAAC,uBAAuB;QAC1D,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAE;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,uBAAuB,CAAC;QAC1C,UAAU,EAAE,OAAO,CAAC,UAAU,CAAE,CAAC,UAAU;QAC3C,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,uBAAuB,EAAE,WAAW,CAAC,uBAAuB;QAC5D,cAAc,EAAE,OAAO,CAAC,UAAU,CAAE;KACrC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,yBAAyB,CAAC;QAC1C,SAAS;QACT,WAAW;QACX,aAAa,EAAE,QAAQ;QACvB,eAAe,EAAE,UAAU;KAC5B,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,qBAAqB,CAC/B,SAAS,CAAC,kBAAkB,CAAC,KAAK,EAClC,SAAS,CAAC,kBAAkB,CAAC,OAAO,CACrC,CAAC;IACF,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,eAAe,CAAC,CAAC,MAAM,CAAC;IACtF,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,iBAAiB,CAAC,CAAC,MAAM,CAAC;IAC1F,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC3E,MAAM,UAAU,GAAG;QACjB,8BAA8B,EAAE,EAAE,CAAC,yBAAyB,CAAC,MAAM;QACnE,4BAA4B,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM;QAC/D,uBAAuB,EAAE,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM;KACjE,CAAC;IACF,MAAM,YAAY,GAAsD;QACtE,wBAAwB,EAAE,SAAS,CAAC,wBAAwB;QAC5D,mBAAmB,EAAE,WAAW;QAChC,qBAAqB,EAAE,aAAa;QACpC,WAAW,EAAE,MAAM;QACnB,qBAAqB,EAAE,GAAG;KAC3B,CAAC;IACF,MAAM,YAAY,GAAG,iBAAiB,CAAC,EAAE,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IACrE,MAAM,SAAS,GAAsC;QACnD,cAAc,EAAE,EAAE,CAAC,eAAe;QAClC,YAAY;QACZ,QAAQ,EAAE,EAAE,CAAC,iBAAiB;QAC9B,UAAU;QACV,YAAY;KACb,CAAC;IAEF,MAAM,aAAa,GAA0C,SAAS,CAAC;IAEvE,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;IAC3C,MAAM,QAAQ,GAAyB;QACrC,aAAa,EAAE,CAAC;QAChB,cAAc;QACd,cAAc;QACd,UAAU;QACV,kBAAkB;QAClB,YAAY;QACZ,mBAAmB;QACnB,aAAa;QACb,SAAS;QACT,SAAS,EAAE,EAAE;QACb,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,QAAQ,CAAC,SAAS,GAAG,gCAAgC,CAAC,QAAQ,CAAC,CAAC;IAChE,QAAQ,CAAC,aAAa,GAAG,oCAAoC,CAAC,QAAQ,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,CAAC,QAA6B,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,mCAAmC,EACzD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CACtC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,gCAAgC,CAAC,CAAuB;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,UAAU,mBAAmB,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC,CAAC;IAC3G,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,SAAS,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,YAAY,SAAS,CAAC,CAAC,yBAAyB,WAAW,CAAC,CAAC,0BAA0B,UAAU,CAAC,CAAC,WAAW,CAAC,aAAa,EAAE,CAC9J,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,gCAAgC,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,GAAG,mBAAmB,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACrJ,KAAK,CAAC,IAAI,CAAC,+EAA+E,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,oCAAoC,CAAC,CAAuB;IACnE,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC;IACvB,OAAO;QACL,kDAAkD;QAClD,0DAA0D,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO;QAC9F,mCAAmC,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM;QAChE,2BAA2B,UAAU,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM;QAC5D,YAAY;KACb,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACb,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,QAA8B;IACxE,OAAO,uBAAuB,CAAC,QAAQ,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,0CAA0C,CACxD,YAAoB;IAEpB,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACvF,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,+BAA+B,CAAC,CAAC;IAClF,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CACtD,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QACtC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,oCAAoC,EAC1D,4CAA4C,CAC7C,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,4BAA4B,EAClD,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,MAAM,IAAI,EAAE,CAAC,CAClD,CAAC;QACJ,CAAC;QACD,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CACV,gCAAgC,CAAC,MAA+C,CAAC,CAClF,CAAC;QACJ,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,eAAe;gBAAE,MAAM,CAAC,CAAC;YAC1C,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;QACvE,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;YACzB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,4BAA4B,EAClD,2DAA2D,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,iCAAiC,CAAC;QACjD,cAAc,EAAE,cAAc;QAC9B,cAAc,EAAE,GAAG;QACnB,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;QAC/C,OAAO;QACP,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;QACvD,UAAU;KACX,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;AACjD,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEhE,MAAM,UAAU,sCAAsC,CACpD,OAIC;IAED,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC7G,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,cAAc,EAAE,mCAAmC,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,iCAAiC,CAAC;QACvC,cAAc,EAAE,cAAc;QAC9B,cAAc,EAAE,iCAAiC;QACjD,kBAAkB,EAAE,oBAAoB;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,UAAU,EAAE,OAAO,CAAC,UAAU;KAC/B,CAAC,CAAC;AACL,CAAC"}

package/dist/relationalInvariant.d.ts

@@ -1,16 +1,19 @@
 import type { DatabaseSync } from "node:sqlite";
+import type { Pool as Mysql2Pool } from "mysql2/promise";
+import sql from "mssql";
 import type { ResolvedRelationalCheck } from "./types.js";
 import type { ReconcileOutput } from "./reconciler.js";
+import { type RelationalSqlDialect } from "./sqlDialect.js";
 /** Exported for tests: EXISTS SQL shape for `related_exists` (single-column match). */
-export declare function buildRelatedExistsSql(dialect: "sqlite" | "postgres", childTable: string, fkColumn: string): {
+export declare function buildRelatedExistsSql(dialect: RelationalSqlDialect, childTable: string, fkColumn: string): {
     text: string;
 };
-export declare function buildRelationalScalarSql(dialect: "sqlite" | "postgres", check: ResolvedRelationalCheck): {
+export declare function buildRelationalScalarSql(dialect: RelationalSqlDialect, check: ResolvedRelationalCheck): {
     text: string;
     values: string[];
 };
 /** Sample SELECT for anti_join failures (anchor columns only). */
-export declare function buildAntiJoinSampleSql(dialect: "sqlite" | "postgres", check: ResolvedRelationalCheck & {
+export declare function buildAntiJoinSampleSql(dialect: RelationalSqlDialect, check: ResolvedRelationalCheck & {
     checkKind: "anti_join";
 }): {
     text: string;
@@ -18,11 +21,18 @@ export declare function buildAntiJoinSampleSql(dialect: "sqlite" | "postgres", c
 };
 export declare function reconcileRelationalRow(row: Record<string, unknown> | undefined, check: ResolvedRelationalCheck): ReconcileOutput;
 export declare function reconcileRelationalSqlite(db: DatabaseSync, check: ResolvedRelationalCheck): ReconcileOutput;
+type RowsQuery = (text: string, values: string[]) => Promise<{
+    rows: Record<string, unknown>[];
+}>;
+export declare function reconcileRelationalQuery(dialect: RelationalSqlDialect, query: RowsQuery, check: ResolvedRelationalCheck): Promise<ReconcileOutput>;
 type PgClientLike = {
     query: (text: string, values: string[]) => Promise<{
         rows: Record<string, unknown>[];
     }>;
 };
 export declare function reconcileRelationalPostgres(client: PgClientLike, check: ResolvedRelationalCheck): Promise<ReconcileOutput>;
+export declare function reconcileRelationalMysql2(pool: Mysql2Pool, check: ResolvedRelationalCheck): Promise<ReconcileOutput>;
+type MssqlConnectionPool = Awaited<ReturnType<typeof sql.connect>>;
+export declare function reconcileRelationalMssql(pool: MssqlConnectionPool, check: ResolvedRelationalCheck): Promise<ReconcileOutput>;
 export {};
 //# sourceMappingURL=relationalInvariant.d.ts.map

package/dist/relationalInvariant.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relationalInvariant.d.ts","sourceRoot":"","sources":["../src/relationalInvariant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAG1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAMvD,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAQlB;AAMD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,KAAK,EAAE,uBAAuB,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAgFpC;AAED,kEAAkE;AAClE,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,QAAQ,GAAG,UAAU,EAC9B,KAAK,EAAE,uBAAuB,GAAG;IAAE,SAAS,EAAE,WAAW,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAsBpC;AA2BD,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EACxC,KAAK,EAAE,uBAAuB,GAC7B,eAAe,CAiIjB;AAYD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,uBAAuB,GAAG,eAAe,CAqC3G;AAED,KAAK,YAAY,GAAG;IAAE,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC;AAEhH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,eAAe,CAAC,CAoC1B"}
+{"version":3,"file":"relationalInvariant.d.ts","sourceRoot":"","sources":["../src/relationalInvariant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,GAAG,MAAM,OAAO,CAAC;AAGxB,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAG1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAA8D,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAMxH,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,oBAAoB,EAC7B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAQlB;AAED,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,uBAAuB,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAkFpC;AAED,kEAAkE;AAClE,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,uBAAuB,GAAG;IAAE,SAAS,EAAE,WAAW,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAsBpC;AA2BD,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EACxC,KAAK,EAAE,uBAAuB,GAC7B,eAAe,CAiIjB;AAYD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,uBAAuB,GAAG,eAAe,CAqC3G;AAED,KAAK,SAAS,GAAG,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,CAAC;AAElG,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,SAAS,EAChB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,eAAe,CAAC,CAoC1B;AAED,KAAK,YAAY,GAAG;IAAE,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC;AAEhH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,eAAe,CAAC,CAE1B;AAED,wBAAsB,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,uBAAuB,GAAG,OAAO,CAAC,eAAe,CAAC,CAK1H;AAED,KAAK,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AAEnE,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,mBAAmB,EACzB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,eAAe,CAAC,CAS1B"}

package/dist/relationalInvariant.existsSql.test.js

@@ -2,7 +2,7 @@ import { describe, expect, it } from "vitest";
 import { buildRelatedExistsSql } from "./relationalInvariant.js";
 describe("buildRelatedExistsSql", () => {
     it("emits EXISTS for both dialects and never COUNT(*)", () => {
-        for (const dialect of ["sqlite", "postgres"]) {
+        for (const dialect of ["sqlite", "postgresql"]) {
             const { text } = buildRelatedExistsSql(dialect, "child", "fk");
             expect(text).toContain("EXISTS (");
             expect(text).not.toMatch(/COUNT\s*\(\s*\*\s*\)/i);

package/dist/relationalInvariant.existsSql.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"relationalInvariant.existsSql.test.js","sourceRoot":"","sources":["../src/relationalInvariant.existsSql.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAU,EAAE,CAAC;YACtD,MAAM,EAAE,IAAI,EAAE,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"relationalInvariant.existsSql.test.js","sourceRoot":"","sources":["../src/relationalInvariant.existsSql.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAU,EAAE,CAAC;YACxD,MAAM,EAAE,IAAI,EAAE,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/relationalInvariant.js

@@ -1,9 +1,11 @@
+import sql from "mssql";
 import { formatOperationalMessage } from "./failureCatalog.js";
 import { compareUtf16Id } from "./resolveExpectation.js";
 import { MAX_VERIFICATION_SAMPLE_ROWS } from "./reconciler.js";
 import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
-function quoteIdent(id) {
-    return `"${id.replace(/"/g, '""')}"`;
+import { nextPlaceholderRelational, quoteIdent as quoteIdentDialect } from "./sqlDialect.js";
+function qid(dialect, id) {
+    return quoteIdentDialect(dialect, id);
 }
 /** Exported for tests: EXISTS SQL shape for `related_exists` (single-column match). */
 export function buildRelatedExistsSql(dialect, childTable, fkColumn) {
@@ -15,43 +17,40 @@ export function buildRelatedExistsSql(dialect, childTable, fkColumn) {
     });
     return { text };
 }
-function nextPlaceholder(dialect, p) {
-    return dialect === "postgres" ? `$${p.n++}` : "?";
-}
 export function buildRelationalScalarSql(dialect, check) {
     if (check.checkKind === "related_exists") {
-        const t = quoteIdent(check.childTable);
+        const t = qid(dialect, check.childTable);
         const conds = [];
         const values = [];
-        const p = { n: 1 };
+        let pn = 1;
         for (const w of check.matchEq) {
-            conds.push(`${t}.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+            conds.push(`${t}.${qid(dialect, w.column)} = ${nextPlaceholderRelational(dialect, pn++)}`);
             values.push(w.value);
         }
         const text = `SELECT EXISTS (SELECT 1 FROM ${t} WHERE ${conds.join(" AND ")} LIMIT 1) AS v`;
         return { text, values };
     }
     if (check.checkKind === "anti_join") {
-        const at = quoteIdent(check.anchorTable);
-        const lt = quoteIdent(check.lookupTable);
+        const at = qid(dialect, check.anchorTable);
+        const lt = qid(dialect, check.lookupTable);
         const condsOn = [];
         const values = [];
-        const p = { n: 1 };
-        condsOn.push(`A.${quoteIdent(check.anchorColumn)} = L.${quoteIdent(check.lookupColumn)}`);
+        let pn = 1;
+        condsOn.push(`A.${qid(dialect, check.anchorColumn)} = L.${qid(dialect, check.lookupColumn)}`);
         for (const w of check.filterEqLookup) {
-            condsOn.push(`L.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+            condsOn.push(`L.${qid(dialect, w.column)} = ${nextPlaceholderRelational(dialect, pn++)}`);
             values.push(w.value);
         }
-        const whereParts = [`L.${quoteIdent(check.lookupPresenceColumn)} IS NULL`];
+        const whereParts = [`L.${qid(dialect, check.lookupPresenceColumn)} IS NULL`];
         for (const w of check.filterEqAnchor) {
-            whereParts.push(`A.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+            whereParts.push(`A.${qid(dialect, w.column)} = ${nextPlaceholderRelational(dialect, pn++)}`);
             values.push(w.value);
         }
         const text = `SELECT COUNT(*) AS v FROM ${at} AS A LEFT JOIN ${lt} AS L ON ${condsOn.join(" AND ")} WHERE ${whereParts.join(" AND ")}`;
         return { text, values };
     }
     if (check.checkKind === "aggregate") {
-        const tbl = quoteIdent(check.table);
+        const tbl = qid(dialect, check.table);
         let selectPart;
         if (check.fn === "COUNT_STAR") {
             selectPart = `SELECT COUNT(*) AS v FROM ${tbl}`;
@@ -61,14 +60,15 @@ export function buildRelationalScalarSql(dialect, check) {
             if (!col) {
                 throw new Error("SUM requires sumColumn");
             }
-            selectPart = `SELECT COALESCE(SUM(${quoteIdent(col)}), 0) AS v FROM ${tbl}`;
+            selectPart = `SELECT COALESCE(SUM(${qid(dialect, col)}), 0) AS v FROM ${tbl}`;
         }
         if (check.whereEq.length === 0) {
             return { text: selectPart, values: [] };
         }
-        const conds = check.whereEq.map((w, i) => {
-            const ph = dialect === "postgres" ? `$${i + 1}` : "?";
-            return `${tbl}.${quoteIdent(w.column)} = ${ph}`;
+        let pn = 1;
+        const conds = check.whereEq.map((w) => {
+            const ph = nextPlaceholderRelational(dialect, pn++);
+            return `${tbl}.${qid(dialect, w.column)} = ${ph}`;
         });
         return {
             text: `${selectPart} WHERE ${conds.join(" AND ")}`,
@@ -76,16 +76,17 @@ export function buildRelationalScalarSql(dialect, check) {
         };
     }
     if (check.checkKind === "join_count") {
-        const lt = quoteIdent(check.leftTable);
-        const rt = quoteIdent(check.rightTable);
-        const base = `SELECT COUNT(*) AS v FROM ${lt} AS L INNER JOIN ${rt} AS R ON L.${quoteIdent(check.leftJoinColumn)} = R.${quoteIdent(check.rightJoinColumn)}`;
+        const lt = qid(dialect, check.leftTable);
+        const rt = qid(dialect, check.rightTable);
+        const base = `SELECT COUNT(*) AS v FROM ${lt} AS L INNER JOIN ${rt} AS R ON L.${qid(dialect, check.leftJoinColumn)} = R.${qid(dialect, check.rightJoinColumn)}`;
         if (check.whereEq.length === 0) {
             return { text: base, values: [] };
         }
-        const conds = check.whereEq.map((w, i) => {
-            const ph = dialect === "postgres" ? `$${i + 1}` : "?";
+        let pn = 1;
+        const conds = check.whereEq.map((w) => {
+            const ph = nextPlaceholderRelational(dialect, pn++);
             const alias = w.side === "left" ? "L" : "R";
-            return `${alias}.${quoteIdent(w.column)} = ${ph}`;
+            return `${alias}.${qid(dialect, w.column)} = ${ph}`;
         });
         return {
             text: `${base} WHERE ${conds.join(" AND ")}`,
@@ -97,26 +98,26 @@ export function buildRelationalScalarSql(dialect, check) {
 }
 /** Sample SELECT for anti_join failures (anchor columns only). */
 export function buildAntiJoinSampleSql(dialect, check) {
-    const at = quoteIdent(check.anchorTable);
-    const lt = quoteIdent(check.lookupTable);
+    const at = qid(dialect, check.anchorTable);
+    const lt = qid(dialect, check.lookupTable);
     const condsOn = [];
     const values = [];
-    const p = { n: 1 };
-    condsOn.push(`A.${quoteIdent(check.anchorColumn)} = L.${quoteIdent(check.lookupColumn)}`);
+    let pn = 1;
+    condsOn.push(`A.${qid(dialect, check.anchorColumn)} = L.${qid(dialect, check.lookupColumn)}`);
     for (const w of check.filterEqLookup) {
-        condsOn.push(`L.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+        condsOn.push(`L.${qid(dialect, w.column)} = ${nextPlaceholderRelational(dialect, pn++)}`);
         values.push(w.value);
     }
-    const whereParts = [`L.${quoteIdent(check.lookupPresenceColumn)} IS NULL`];
+    const whereParts = [`L.${qid(dialect, check.lookupPresenceColumn)} IS NULL`];
     for (const w of check.filterEqAnchor) {
-        whereParts.push(`A.${quoteIdent(w.column)} = ${nextPlaceholder(dialect, p)}`);
+        whereParts.push(`A.${qid(dialect, w.column)} = ${nextPlaceholderRelational(dialect, pn++)}`);
         values.push(w.value);
     }
     const anchorColSet = new Set([check.anchorColumn]);
     for (const w of check.filterEqAnchor)
         anchorColSet.add(w.column);
     const proj = [...anchorColSet].sort((a, b) => compareUtf16Id(a, b));
-    const selectList = proj.map((c) => `A.${quoteIdent(c)}`).join(", ");
+    const selectList = proj.map((c) => `A.${qid(dialect, c)}`).join(", ");
     const text = `SELECT ${selectList} FROM ${at} AS A LEFT JOIN ${lt} AS L ON ${condsOn.join(" AND ")} WHERE ${whereParts.join(" AND ")} LIMIT ${MAX_VERIFICATION_SAMPLE_ROWS}`;
     return { text, values };
 }
@@ -311,10 +312,10 @@ export function reconcileRelationalSqlite(db, check) {
         };
     }
 }
-export async function reconcileRelationalPostgres(client, check) {
-    const { text, values } = buildRelationalScalarSql("postgres", check);
+export async function reconcileRelationalQuery(dialect, query, check) {
+    const { text, values } = buildRelationalScalarSql(dialect, check);
     try {
-        const r = await client.query(text, values);
+        const r = await query(text, values);
         const row0 = r.rows[0];
         const lowered = row0 === undefined
             ? undefined
@@ -323,8 +324,8 @@ export async function reconcileRelationalPostgres(client, check) {
         if (check.checkKind === "anti_join" &&
             out.status === "inconsistent" &&
             out.reasons[0]?.code === SQL_VERIFICATION_OUTCOME_CODE.ORPHAN_ROW_DETECTED) {
-            const { text: st, values: sv } = buildAntiJoinSampleSql("postgres", check);
-            const sr = await client.query(st, sv);
+            const { text: st, values: sv } = buildAntiJoinSampleSql(dialect, check);
+            const sr = await query(st, sv);
             const sampleRows = sr.rows.map((row) => Object.fromEntries(Object.entries(row).map(([k, v]) => [k.toLowerCase(), v])));
             out = mergeAntiJoinSamples(out, sampleRows);
         }
@@ -344,4 +345,23 @@ export async function reconcileRelationalPostgres(client, check) {
         };
     }
 }
+export async function reconcileRelationalPostgres(client, check) {
+    return reconcileRelationalQuery("postgresql", (t, v) => client.query(t, v), check);
+}
+export async function reconcileRelationalMysql2(pool, check) {
+    return reconcileRelationalQuery("mysql", async (t, v) => {
+        const [rows] = await pool.query(t, v);
+        return { rows: rows };
+    }, check);
+}
+export async function reconcileRelationalMssql(pool, check) {
+    return reconcileRelationalQuery("mssql", async (t, v) => {
+        const req = pool.request();
+        for (let i = 0; i < v.length; i++) {
+            req.input(`p${i + 1}`, sql.NVarChar(sql.MAX), v[i]);
+        }
+        const res = await req.query(t);
+        return { rows: res.recordset };
+    }, check);
+}
 //# sourceMappingURL=relationalInvariant.js.map