@typed-sql/conformance 2.0.0 → 2.1.0-rc.1

package/dist/packages/conformance/src/v2/contracts.js

@@ -0,0 +1,97 @@
+import { CONFORMANCE_VERSION, } from "./types.js";
+const probeIdPattern = /^[a-z][a-z0-9]*(?:[.-][a-z][a-z0-9]*)+$/u;
+const featureIdPattern = /^[a-z][a-z0-9]*(?:[.-][a-z][a-z0-9]*)+$/u;
+const repositoryPathPattern = /^(?!\/)(?!.*(?:^|\/)\.\.?\/)[a-zA-Z0-9_.@/-]+$/u;
+function freeze(value, seen = new Set()) {
+    if (typeof value !== "object" || value === null || seen.has(value))
+        return value;
+    seen.add(value);
+    for (const child of Object.values(value))
+        freeze(child, seen);
+    return Object.freeze(value);
+}
+function validateSelector(selector, label) {
+    if (selector.databaseVersion !== undefined &&
+        (selector.minimumDatabaseVersion !== undefined || selector.maximumDatabaseVersion !== undefined)) {
+        throw new TypeError(`${label} cannot combine an exact database version with a version range`);
+    }
+    if (selector.minimumDatabaseVersion !== undefined &&
+        selector.maximumDatabaseVersion !== undefined &&
+        selector.minimumDatabaseVersion.localeCompare(selector.maximumDatabaseVersion, undefined, { numeric: true }) > 0) {
+        throw new TypeError(`${label} has an inverted database version range`);
+    }
+}
+export function defineConformanceProbe(probe) {
+    if (probe.version !== CONFORMANCE_VERSION)
+        throw new TypeError("Unsupported conformance probe version");
+    if (!probeIdPattern.test(probe.id))
+        throw new TypeError(`Invalid conformance probe id ${JSON.stringify(probe.id)}`);
+    if (!featureIdPattern.test(probe.featureId))
+        throw new TypeError(`Invalid feature id ${JSON.stringify(probe.featureId)}`);
+    if (probe.grammar.length === 0)
+        throw new TypeError("Conformance probe grammar must not be empty");
+    if (probe.source.length === 0)
+        throw new TypeError("Conformance probe SQL must not be empty");
+    if (!repositoryPathPattern.test(probe.schemaFixture))
+        throw new TypeError("schemaFixture must be a repository path");
+    if (probe.targets.length === 0 || probe.expected.length === 0) {
+        throw new TypeError("Conformance probes require targets and expected outcomes");
+    }
+    for (const [index, target] of probe.targets.entries()) {
+        if (target.grammar !== probe.grammar)
+            throw new TypeError(`${probe.id}.targets[${index}] uses another grammar`);
+    }
+    for (const [index, outcome] of probe.expected.entries())
+        validateSelector(outcome.target, `${probe.id}.expected[${index}]`);
+    if (probe.quarantine !== undefined && Date.parse(probe.quarantine.expires) <= Date.now()) {
+        throw new TypeError(`${probe.id} quarantine expired`);
+    }
+    return freeze({ ...probe });
+}
+export function defineConformanceSuite(suite, ledger) {
+    if (suite.version !== CONFORMANCE_VERSION)
+        throw new TypeError("Unsupported conformance suite version");
+    if (suite.name.length === 0)
+        throw new TypeError("Conformance suite name must not be empty");
+    const probes = suite.probes.map(defineConformanceProbe);
+    if (new Set(probes.map(({ id }) => id)).size !== probes.length)
+        throw new TypeError("Conformance probe IDs must be unique");
+    if (ledger !== undefined) {
+        const features = new Set(ledger.entries.map(({ id }) => id));
+        for (const probe of probes) {
+            if (!features.has(probe.featureId))
+                throw new TypeError(`${probe.id} references unknown feature ${probe.featureId}`);
+        }
+    }
+    return freeze({ ...suite, probes });
+}
+function capabilitiesMatch(required, actual) {
+    if (required === undefined)
+        return true;
+    return Object.entries(required).every(([name, value]) => actual?.[name] === value);
+}
+export function targetMatches(selector, target) {
+    if (selector.grammarVersion !== undefined && selector.grammarVersion !== target.grammarVersion)
+        return false;
+    if (selector.databaseVersion !== undefined && selector.databaseVersion !== target.databaseVersion)
+        return false;
+    if (selector.minimumDatabaseVersion !== undefined &&
+        (target.databaseVersion === undefined ||
+            target.databaseVersion.localeCompare(selector.minimumDatabaseVersion, undefined, { numeric: true }) < 0)) {
+        return false;
+    }
+    if (selector.maximumDatabaseVersion !== undefined &&
+        (target.databaseVersion === undefined ||
+            target.databaseVersion.localeCompare(selector.maximumDatabaseVersion, undefined, { numeric: true }) > 0)) {
+        return false;
+    }
+    return capabilitiesMatch(selector.capabilities, target.capabilities);
+}
+export function selectExpectedOutcome(probe, target) {
+    const matches = probe.expected.filter(({ target: selector }) => targetMatches(selector, target));
+    if (matches.length !== 1) {
+        throw new TypeError(`${probe.id} expected exactly one outcome for ${target.grammar}@${target.databaseVersion ?? "static"}`);
+    }
+    return matches[0];
+}
+//# sourceMappingURL=contracts.js.map

package/dist/packages/conformance/src/v2/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../../../src/v2/contracts.ts"],"names":[],"mappings":"AACA,OAAO,EACL,mBAAmB,GAMpB,MAAM,YAAY,CAAC;AAEpB,MAAM,cAAc,GAAG,0CAA0C,CAAC;AAClE,MAAM,gBAAgB,GAAG,0CAA0C,CAAC;AACpE,MAAM,qBAAqB,GAAG,iDAAiD,CAAC;AAEhF,SAAS,MAAM,CAAQ,KAAY,EAAE,IAAI,GAAG,IAAI,GAAG,EAAU;IAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAmC,EAAE,KAAa;IAC1E,IACE,QAAQ,CAAC,eAAe,KAAK,SAAS;QACtC,CAAC,QAAQ,CAAC,sBAAsB,KAAK,SAAS,IAAI,QAAQ,CAAC,sBAAsB,KAAK,SAAS,CAAC,EAChG,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,gEAAgE,CAAC,CAAC;IAChG,CAAC;IACD,IACE,QAAQ,CAAC,sBAAsB,KAAK,SAAS;QAC7C,QAAQ,CAAC,sBAAsB,KAAK,SAAS;QAC7C,QAAQ,CAAC,sBAAsB,CAAC,aAAa,CAAC,QAAQ,CAAC,sBAAsB,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAChH,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,yCAAyC,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAuB;IAC5D,IAAI,KAAK,CAAC,OAAO,KAAK,mBAAmB;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACxG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,gCAAgC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACpH,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC/E,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACnG,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IAC9F,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACrH,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,EAAE,YAAY,KAAK,wBAAwB,CAAC,CAAC;IAClH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE;QACrD,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,aAAa,KAAK,GAAG,CAAC,CAAC;IACrE,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACzF,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAuB,EAAE,MAA6B;IAC3F,IAAI,KAAK,CAAC,OAAO,KAAK,mBAAmB;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACxG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACxD,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAC5D,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;gBAChC,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,EAAE,+BAA+B,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAmD,EACnD,MAAyC;IAEzC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAmC,EAAE,MAAyB;IAC1F,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IAC7G,IAAI,QAAQ,CAAC,eAAe,KAAK,SAAS,IAAI,QAAQ,CAAC,eAAe,KAAK,MAAM,CAAC,eAAe;QAAE,OAAO,KAAK,CAAC;IAChH,IACE,QAAQ,CAAC,sBAAsB,KAAK,SAAS;QAC7C,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS;YACnC,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,QAAQ,CAAC,sBAAsB,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAC1G,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,QAAQ,CAAC,sBAAsB,KAAK,SAAS;QAC7C,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS;YACnC,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,QAAQ,CAAC,sBAAsB,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAC1G,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAuB,EAAE,MAAyB;IACtF,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,SAAS,CACjB,GAAG,KAAK,CAAC,EAAE,qCAAqC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,eAAe,IAAI,QAAQ,EAAE,CACvG,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC;AACrB,CAAC"}

package/dist/packages/conformance/src/v2/fixtures.d.ts

@@ -0,0 +1,4 @@
+import { type ConformanceProbe, type ConformanceSuite } from "./types.js";
+export declare function discoverConformanceFixtures(root: string): Promise<ConformanceSuite>;
+export declare function minimizeConformanceSource(probe: ConformanceProbe, preservesFailure: (candidate: ConformanceProbe) => boolean | Promise<boolean>): Promise<ConformanceProbe>;
+//# sourceMappingURL=fixtures.d.ts.map

package/dist/packages/conformance/src/v2/fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../../../../src/v2/fixtures.ts"],"names":[],"mappings":"AAGA,OAAO,EAAuB,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAa/F,wBAAsB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiBzF;AAED,wBAAsB,yBAAyB,CAC7C,KAAK,EAAE,gBAAgB,EACvB,gBAAgB,EAAE,CAAC,SAAS,EAAE,gBAAgB,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAC5E,OAAO,CAAC,gBAAgB,CAAC,CAkB3B"}

package/dist/packages/conformance/src/v2/fixtures.js

@@ -0,0 +1,58 @@
+import { readdir, readFile } from "node:fs/promises";
+import { extname, join, relative } from "node:path";
+import { defineConformanceProbe, defineConformanceSuite } from "./contracts.js";
+import { CONFORMANCE_VERSION } from "./types.js";
+async function fixturePaths(root, directory = root) {
+    const entries = await readdir(directory, { withFileTypes: true });
+    const paths = [];
+    for (const entry of entries.sort((left, right) => left.name.localeCompare(right.name))) {
+        const path = join(directory, entry.name);
+        if (entry.isDirectory())
+            paths.push(...(await fixturePaths(root, path)));
+        else if (entry.isFile() && extname(entry.name) === ".json" && entry.name.endsWith(".probe.json"))
+            paths.push(path);
+    }
+    return paths;
+}
+export async function discoverConformanceFixtures(root) {
+    const paths = await fixturePaths(root);
+    const probes = [];
+    for (const path of paths) {
+        let value;
+        try {
+            value = JSON.parse(await readFile(path, "utf8"));
+        }
+        catch (error) {
+            throw new TypeError(`Invalid conformance fixture ${relative(root, path)}: ${String(error)}`);
+        }
+        try {
+            probes.push(defineConformanceProbe(value));
+        }
+        catch (error) {
+            throw new TypeError(`Invalid conformance fixture ${relative(root, path)}: ${String(error)}`);
+        }
+    }
+    return defineConformanceSuite({ version: CONFORMANCE_VERSION, name: root, probes });
+}
+export async function minimizeConformanceSource(probe, preservesFailure) {
+    let tokens = probe.source.match(/\S+\s*/gu) ?? [];
+    let width = Math.max(1, Math.floor(tokens.length / 2));
+    while (width >= 1) {
+        let reduced = false;
+        for (let start = 0; start + width <= tokens.length; start += 1) {
+            const source = [...tokens.slice(0, start), ...tokens.slice(start + width)].join("").trim();
+            if (source.length === 0)
+                continue;
+            const candidate = Object.freeze({ ...probe, source });
+            if (await preservesFailure(candidate)) {
+                tokens = candidate.source.match(/\S+\s*/gu) ?? [];
+                reduced = true;
+                break;
+            }
+        }
+        if (!reduced)
+            width = Math.floor(width / 2);
+    }
+    return defineConformanceProbe({ ...probe, source: tokens.join("").trim() });
+}
+//# sourceMappingURL=fixtures.js.map

package/dist/packages/conformance/src/v2/fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../../../../src/v2/fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,mBAAmB,EAAgD,MAAM,YAAY,CAAC;AAE/F,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,SAAS,GAAG,IAAI;IACxD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;aACpE,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAAC,IAAY;IAC5D,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,SAAS,CAAC,+BAA+B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,KAAyB,CAAC,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,SAAS,CAAC,+BAA+B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,sBAAsB,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,KAAuB,EACvB,gBAA6E;IAE7E,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;IAClD,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAClC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACtD,IAAI,MAAM,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBAClD,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,sBAAsB,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAC9E,CAAC"}

package/dist/packages/conformance/src/v2/index.d.ts

@@ -0,0 +1,9 @@
+export { defineConformanceProbe, defineConformanceSuite, selectExpectedOutcome, targetMatches, } from "./contracts.js";
+export { discoverConformanceFixtures, minimizeConformanceSource, } from "./fixtures.js";
+export { adaptGrammarConformanceV1, runAdaptedGrammarConformanceV1, } from "./legacy.js";
+export { formatConformanceReport, serializeConformanceReport } from "./reporters.js";
+export { createConformanceReproductionBundle, serializeConformanceReproductionBundle, } from "./reproduction.js";
+export { assertExactConformance, CONFORMANCE_LAYERS, createConformanceReport, runLiveConformanceProbe, runStaticConformanceProbe, } from "./runner.js";
+export type { ConformanceDifference, ConformanceEnvironment, ConformanceLayer, ConformanceLayerResult, ConformanceLayerStatus, ConformanceLiveAdapter, ConformanceLiveRequest, ConformanceNativeField, ConformanceParserResult, ConformancePreparedEvidence, ConformanceProbe, ConformanceProbeResult, ConformanceReport, ConformanceReproductionBundle, ConformanceServerErrorClass, ConformanceSkipReason, ConformanceStaticContext, ConformanceSuite, ConformanceSupport, ConformanceTarget, ConformanceTargetSelector, ConformanceTypeNormalizer, ExpectedColumn, ExpectedCompileResult, ExpectedDiagnostic, ExpectedOutcome, ExpectedParameter, ExpectedRenderedQuery, LiveProbePolicy, } from "./types.js";
+export { CONFORMANCE_REPORT_FORMAT_VERSION, CONFORMANCE_VERSION } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/packages/conformance/src/v2/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/v2/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,uBAAuB,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AACrF,OAAO,EACL,mCAAmC,EACnC,sCAAsC,GACvC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,uBAAuB,EACvB,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,EAC3B,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,6BAA6B,EAC7B,2BAA2B,EAC3B,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iCAAiC,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC"}

package/dist/packages/conformance/src/v2/index.js

@@ -0,0 +1,8 @@
+export { defineConformanceProbe, defineConformanceSuite, selectExpectedOutcome, targetMatches, } from "./contracts.js";
+export { discoverConformanceFixtures, minimizeConformanceSource, } from "./fixtures.js";
+export { adaptGrammarConformanceV1, runAdaptedGrammarConformanceV1, } from "./legacy.js";
+export { formatConformanceReport, serializeConformanceReport } from "./reporters.js";
+export { createConformanceReproductionBundle, serializeConformanceReproductionBundle, } from "./reproduction.js";
+export { assertExactConformance, CONFORMANCE_LAYERS, createConformanceReport, runLiveConformanceProbe, runStaticConformanceProbe, } from "./runner.js";
+export { CONFORMANCE_REPORT_FORMAT_VERSION, CONFORMANCE_VERSION } from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/packages/conformance/src/v2/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/v2/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,uBAAuB,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AACrF,OAAO,EACL,mCAAmC,EACnC,sCAAsC,GACvC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,uBAAuB,EACvB,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,aAAa,CAAC;AAgCrB,OAAO,EAAE,iCAAiC,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC"}

package/dist/packages/conformance/src/v2/legacy.d.ts

@@ -0,0 +1,6 @@
+import type { SchemaSnapshot } from "@typed-sql/core";
+import type { GrammarConformanceFixture } from "../types.js";
+import { type ConformanceProbeResult, type ConformanceSuite } from "./types.js";
+export declare function adaptGrammarConformanceV1<Snapshot extends SchemaSnapshot, Policy>(fixture: GrammarConformanceFixture<Snapshot, Policy>): ConformanceSuite;
+export declare function runAdaptedGrammarConformanceV1<Snapshot extends SchemaSnapshot, Policy>(fixture: GrammarConformanceFixture<Snapshot, Policy>): readonly ConformanceProbeResult[];
+//# sourceMappingURL=legacy.d.ts.map

package/dist/packages/conformance/src/v2/legacy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy.d.ts","sourceRoot":"","sources":["../../../../../src/v2/legacy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAwB,yBAAyB,EAAwB,MAAM,aAAa,CAAC;AAGzG,OAAO,EAGL,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EAGtB,MAAM,YAAY,CAAC;AA8CpB,wBAAgB,yBAAyB,CAAC,QAAQ,SAAS,cAAc,EAAE,MAAM,EAC/E,OAAO,EAAE,yBAAyB,CAAC,QAAQ,EAAE,MAAM,CAAC,GACnD,gBAAgB,CAmBlB;AAED,wBAAgB,8BAA8B,CAAC,QAAQ,SAAS,cAAc,EAAE,MAAM,EACpF,OAAO,EAAE,yBAAyB,CAAC,QAAQ,EAAE,MAAM,CAAC,GACnD,SAAS,sBAAsB,EAAE,CAenC"}

package/dist/packages/conformance/src/v2/legacy.js

@@ -0,0 +1,75 @@
+import { defineConformanceProbe, defineConformanceSuite } from "./contracts.js";
+import { runStaticConformanceProbe } from "./runner.js";
+import { CONFORMANCE_VERSION, } from "./types.js";
+const legacyFeatures = Object.freeze({
+    select: "statement.select",
+    parameters: "expression.operator",
+    nullability: "resolver.catalog",
+    joins: "query.join",
+    ctes: "query.cte",
+    functions: "expression.function.call",
+    dml: "statement.update",
+});
+function expectedOutcome(fixture, probe) {
+    const analysis = fixture.dialect.analyze(probe.sql, fixture.snapshot);
+    return {
+        target: { grammarVersion: fixture.dialect.grammarVersion },
+        support: "exact",
+        rows: analysis.columns.map(({ name, tsType, nullable, databaseType, range }) => ({
+            name,
+            tsType,
+            nullable,
+            ...(databaseType === undefined ? {} : { databaseType }),
+            range,
+        })),
+        parameters: analysis.parameters.map(({ index, tsType, nullable, databaseType }) => ({
+            index,
+            tsType,
+            nullable,
+            ...(databaseType === undefined ? {} : { databaseType }),
+        })),
+        diagnostics: analysis.diagnostics.map(({ code, severity, range }) => ({ code, severity, range })),
+        resultKind: analysis.resultKind ?? "rows",
+        skips: {
+            "lex-parse": "grammar-parser-private",
+            compile: "no-compiler-source",
+            render: "no-runtime-query",
+            prepare: "no-live-adapter",
+            execute: "no-live-adapter",
+            plan: "no-live-adapter",
+        },
+    };
+}
+export function adaptGrammarConformanceV1(fixture) {
+    const target = Object.freeze({
+        grammar: fixture.dialect.id,
+        grammarVersion: fixture.dialect.grammarVersion,
+    });
+    const probes = Object.entries(fixture.probes).map(([name, probe]) => {
+        const requiredName = name;
+        return defineConformanceProbe({
+            version: CONFORMANCE_VERSION,
+            id: `${fixture.dialect.id}.legacy.${name}`,
+            featureId: legacyFeatures[requiredName],
+            grammar: fixture.dialect.id,
+            targets: [target],
+            source: probe.sql,
+            schemaFixture: `legacy/${fixture.dialect.id}/schema.json`,
+            expected: [expectedOutcome(fixture, probe)],
+        });
+    });
+    return defineConformanceSuite({ version: CONFORMANCE_VERSION, name: `${fixture.name}-legacy-v2`, probes });
+}
+export function runAdaptedGrammarConformanceV1(fixture) {
+    const suite = adaptGrammarConformanceV1(fixture);
+    const target = Object.freeze({
+        grammar: fixture.dialect.id,
+        grammarVersion: fixture.dialect.grammarVersion,
+    });
+    return Object.freeze(suite.probes.map((probe) => runStaticConformanceProbe(probe, target, {
+        dialect: fixture.dialect,
+        snapshot: fixture.snapshot,
+        renderer: fixture.renderer,
+    })));
+}
+//# sourceMappingURL=legacy.js.map

package/dist/packages/conformance/src/v2/legacy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy.js","sourceRoot":"","sources":["../../../../../src/v2/legacy.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EACL,mBAAmB,GAMpB,MAAM,YAAY,CAAC;AAEpB,MAAM,cAAc,GAAmD,MAAM,CAAC,MAAM,CAAC;IACnF,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,qBAAqB;IACjC,WAAW,EAAE,kBAAkB;IAC/B,KAAK,EAAE,YAAY;IACnB,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,0BAA0B;IACrC,GAAG,EAAE,kBAAkB;CACxB,CAAC,CAAC;AAEH,SAAS,eAAe,CACtB,OAAoD,EACpD,KAA2B;IAE3B,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtE,OAAO;QACL,MAAM,EAAE,EAAE,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE;QAC1D,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC/E,IAAI;YACJ,MAAM;YACN,QAAQ;YACR,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;YACvD,KAAK;SACN,CAAC,CAAC;QACH,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;YAClF,KAAK;YACL,MAAM;YACN,QAAQ;YACR,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;SACxD,CAAC,CAAC;QACH,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACjG,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,MAAM;QACzC,KAAK,EAAE;YACL,WAAW,EAAE,wBAAwB;YACrC,OAAO,EAAE,oBAAoB;YAC7B,MAAM,EAAE,kBAAkB;YAC1B,OAAO,EAAE,iBAAiB;YAC1B,OAAO,EAAE,iBAAiB;YAC1B,IAAI,EAAE,iBAAiB;SACxB;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAoD;IAEpD,MAAM,MAAM,GAAsB,MAAM,CAAC,MAAM,CAAC;QAC9C,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE;QAC3B,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc;KAC/C,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;QAClE,MAAM,YAAY,GAAG,IAA4B,CAAC;QAClD,OAAO,sBAAsB,CAAC;YAC5B,OAAO,EAAE,mBAAmB;YAC5B,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,WAAW,IAAI,EAAE;YAC1C,SAAS,EAAE,cAAc,CAAC,YAAY,CAAC;YACvC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE;YAC3B,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,MAAM,EAAE,KAAK,CAAC,GAAG;YACjB,aAAa,EAAE,UAAU,OAAO,CAAC,OAAO,CAAC,EAAE,cAAc;YACzD,QAAQ,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;SAC5C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,sBAAsB,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7G,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAAoD;IAEpD,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAsB,MAAM,CAAC,MAAM,CAAC;QAC9C,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE;QAC3B,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc;KAC/C,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAClB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAuB,EAAE,EAAE,CAC3C,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE;QACvC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}

package/dist/packages/conformance/src/v2/reporters.d.ts

@@ -0,0 +1,4 @@
+import type { ConformanceReport } from "./types.js";
+export declare function serializeConformanceReport(report: ConformanceReport): string;
+export declare function formatConformanceReport(report: ConformanceReport): string;
+//# sourceMappingURL=reporters.d.ts.map

package/dist/packages/conformance/src/v2/reporters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporters.d.ts","sourceRoot":"","sources":["../../../../../src/v2/reporters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAE5E;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAczE"}

package/dist/packages/conformance/src/v2/reporters.js

@@ -0,0 +1,17 @@
+export function serializeConformanceReport(report) {
+    return `${JSON.stringify(report, null, 2)}\n`;
+}
+export function formatConformanceReport(report) {
+    const lines = [
+        `${report.suite}: ${report.summary.pass} passed, ${report.summary.fail} failed, ${report.summary.skip} skipped, ${report.summary.quarantined} quarantined`,
+        `target ${report.environment.grammar}@${report.environment.grammarVersion}${report.environment.databaseVersion === undefined ? "" : ` / database ${report.environment.databaseVersion}`}`,
+    ];
+    for (const result of report.results.filter(({ status }) => status !== "pass")) {
+        lines.push(`${result.status.toUpperCase()} ${result.probeId} (${result.featureId})`);
+        for (const layer of result.layers.filter(({ status }) => status !== "pass")) {
+            lines.push(`  ${layer.layer}: ${layer.status}${layer.skipReason === undefined ? "" : ` (${layer.skipReason})`}`);
+        }
+    }
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=reporters.js.map

package/dist/packages/conformance/src/v2/reporters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporters.js","sourceRoot":"","sources":["../../../../../src/v2/reporters.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,0BAA0B,CAAC,MAAyB;IAClE,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAyB;IAC/D,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,OAAO,CAAC,IAAI,YAAY,MAAM,CAAC,OAAO,CAAC,IAAI,YAAY,MAAM,CAAC,OAAO,CAAC,IAAI,aAAa,MAAM,CAAC,OAAO,CAAC,WAAW,cAAc;QAC1J,UAAU,MAAM,CAAC,WAAW,CAAC,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,cAAc,GACvE,MAAM,CAAC,WAAW,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,MAAM,CAAC,WAAW,CAAC,eAAe,EAC3G,EAAE;KACH,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAC9E,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;QACrF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5E,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/packages/conformance/src/v2/reproduction.d.ts

@@ -0,0 +1,4 @@
+import type { ConformanceEnvironment, ConformanceProbe, ConformanceProbeResult, ConformanceReproductionBundle, ConformanceTarget, ExpectedOutcome } from "./types.js";
+export declare function createConformanceReproductionBundle(probe: ConformanceProbe, target: ConformanceTarget, environment: ConformanceEnvironment, expected: ExpectedOutcome, actual: ConformanceProbeResult): ConformanceReproductionBundle;
+export declare function serializeConformanceReproductionBundle(bundle: ConformanceReproductionBundle): string;
+//# sourceMappingURL=reproduction.d.ts.map

package/dist/packages/conformance/src/v2/reproduction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproduction.d.ts","sourceRoot":"","sources":["../../../../../src/v2/reproduction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,gBAAgB,EAChB,sBAAsB,EACtB,6BAA6B,EAC7B,iBAAiB,EACjB,eAAe,EAChB,MAAM,YAAY,CAAC;AAmBpB,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,iBAAiB,EACzB,WAAW,EAAE,sBAAsB,EACnC,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,sBAAsB,GAC7B,6BAA6B,CAc/B;AAED,wBAAgB,sCAAsC,CAAC,MAAM,EAAE,6BAA6B,GAAG,MAAM,CAEpG"}

package/dist/packages/conformance/src/v2/reproduction.js

@@ -0,0 +1,35 @@
+function redactOutcome(outcome) {
+    return Object.freeze({
+        ...outcome,
+        ...(outcome.rendered === undefined
+            ? {}
+            : {
+                rendered: Object.freeze({
+                    ...outcome.rendered,
+                    values: Object.freeze(outcome.rendered.values.map(() => "[redacted]")),
+                }),
+            }),
+        ...(outcome.decodedRows === undefined
+            ? {}
+            : { decodedRows: Object.freeze(outcome.decodedRows.map(() => "[redacted]")) }),
+    });
+}
+export function createConformanceReproductionBundle(probe, target, environment, expected, actual) {
+    const databaseArgument = target.databaseVersion === undefined ? "" : ` --database-version ${target.databaseVersion}`;
+    return Object.freeze({
+        formatVersion: 1,
+        probeId: probe.id,
+        featureId: probe.featureId,
+        source: probe.source,
+        schemaFixture: probe.schemaFixture,
+        target,
+        environment,
+        expected: redactOutcome(expected),
+        actual,
+        command: `pnpm conformance:v2 -- --probe ${probe.id} --grammar ${probe.grammar}${databaseArgument}`,
+    });
+}
+export function serializeConformanceReproductionBundle(bundle) {
+    return `${JSON.stringify(bundle, null, 2)}\n`;
+}
+//# sourceMappingURL=reproduction.js.map

package/dist/packages/conformance/src/v2/reproduction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproduction.js","sourceRoot":"","sources":["../../../../../src/v2/reproduction.ts"],"names":[],"mappings":"AASA,SAAS,aAAa,CAAC,OAAwB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,OAAO;QACV,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS;YAChC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;oBACtB,GAAG,OAAO,CAAC,QAAQ;oBACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC;iBACvE,CAAC;aACH,CAAC;QACN,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS;YACnC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;KACjF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,KAAuB,EACvB,MAAyB,EACzB,WAAmC,EACnC,QAAyB,EACzB,MAA8B;IAE9B,MAAM,gBAAgB,GAAG,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,uBAAuB,MAAM,CAAC,eAAe,EAAE,CAAC;IACrH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,MAAM;QACN,WAAW;QACX,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;QACjC,MAAM;QACN,OAAO,EAAE,kCAAkC,KAAK,CAAC,EAAE,cAAc,KAAK,CAAC,OAAO,GAAG,gBAAgB,EAAE;KACpG,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sCAAsC,CAAC,MAAqC;IAC1F,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC"}

package/dist/packages/conformance/src/v2/runner.d.ts

@@ -0,0 +1,9 @@
+import { type SchemaSnapshot } from "@typed-sql/core";
+import { type ConformanceEnvironment, type ConformanceLiveAdapter, type ConformanceProbe, type ConformanceProbeResult, type ConformanceReport, type ConformanceStaticContext, type ConformanceTarget, type ConformanceTypeNormalizer } from "./types.js";
+declare const allLayers: readonly ["lex-parse", "resolve", "compile", "render", "prepare", "execute", "plan"];
+export declare function runStaticConformanceProbe<Snapshot extends SchemaSnapshot, Policy>(probe: ConformanceProbe, target: ConformanceTarget, context: ConformanceStaticContext<Snapshot, Policy>): ConformanceProbeResult;
+export declare function runLiveConformanceProbe(probe: ConformanceProbe, target: ConformanceTarget, adapter: ConformanceLiveAdapter, normalizer: ConformanceTypeNormalizer, staticResult?: ConformanceProbeResult): Promise<ConformanceProbeResult>;
+export declare function createConformanceReport(suite: string, environment: ConformanceEnvironment, results: readonly ConformanceProbeResult[], generatedAt?: Date): ConformanceReport;
+export declare function assertExactConformance(report: ConformanceReport): void;
+export { allLayers as CONFORMANCE_LAYERS };
+//# sourceMappingURL=runner.d.ts.map

package/dist/packages/conformance/src/v2/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../../../src/v2/runner.ts"],"names":[],"mappings":"AAGA,OAAO,EAA2B,KAAK,cAAc,EAAoB,MAAM,iBAAiB,CAAC;AAEjG,OAAO,EAIL,KAAK,sBAAsB,EAG3B,KAAK,sBAAsB,EAG3B,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EAEtB,KAAK,wBAAwB,EAC7B,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAK/B,MAAM,YAAY,CAAC;AAEpB,QAAA,MAAM,SAAS,sFAQkC,CAAC;AAmKlD,wBAAgB,yBAAyB,CAAC,QAAQ,SAAS,cAAc,EAAE,MAAM,EAC/E,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC,GAClD,sBAAsB,CAsGxB;AAkCD,wBAAsB,uBAAuB,CAC3C,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,sBAAsB,EAC/B,UAAU,EAAE,yBAAyB,EACrC,YAAY,CAAC,EAAE,sBAAsB,GACpC,OAAO,CAAC,sBAAsB,CAAC,CA6DjC;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,sBAAsB,EACnC,OAAO,EAAE,SAAS,sBAAsB,EAAE,EAC1C,WAAW,OAAa,GACvB,iBAAiB,CAsBnB;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAOtE;AAED,OAAO,EAAE,SAAS,IAAI,kBAAkB,EAAE,CAAC"}