@ggts-sh/spec 0.43.0

package/dist/validate-data-evidence.js

@@ -0,0 +1,329 @@
+import { inferTemporalColumn } from "./temporal-column.js";
+// ---------------------------------------------------------------------------
+// Channel helper (shared by structure checks, data checks, and lint)
+// ---------------------------------------------------------------------------
+/** The channel a layer effectively sees (layer wins; null unsets). */
+export function effectiveChannel(plotAes, layerAes, channel) {
+    const own = layerAes?.[channel];
+    if (own === null)
+        return undefined;
+    const chosen = own ?? plotAes?.[channel];
+    return chosen ?? undefined;
+}
+// ---------------------------------------------------------------------------
+// Type inference + profile / inline resolution
+// ---------------------------------------------------------------------------
+function isRecord(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+const PROFILE_TYPES = new Set([
+    "quantitative",
+    "temporal",
+    "ordinal",
+    "nominal",
+]);
+function inferProfileType(column) {
+    const temporal = inferTemporalColumn(column);
+    if (temporal.status === "temporal")
+        return { type: "temporal", temporal };
+    let sawNumber = false;
+    let sawValue = false;
+    for (const value of column) {
+        if (value === null)
+            continue;
+        sawValue = true;
+        if (typeof value === "boolean" || typeof value === "string") {
+            return { type: "nominal", temporal };
+        }
+        if (typeof value === "number")
+            sawNumber = true;
+    }
+    return { type: sawNumber ? "quantitative" : sawValue ? "nominal" : null, temporal };
+}
+function badProfile(message) {
+    return [
+        {
+            code: "invalid-data-profile",
+            path: "",
+            message: `Invalid DataProfile: ${message}`,
+            fix: {
+                description: 'Provide { fields: [{ name, type: "quantitative"|"temporal"|"ordinal"|"nominal" }], rowCount? }.',
+                example: { fields: [{ name: "displ", type: "quantitative" }], rowCount: 234 },
+            },
+        },
+    ];
+}
+function profileErrors(profile) {
+    if (!isRecord(profile))
+        return badProfile("expected an object.");
+    if (!Array.isArray(profile["fields"]))
+        return badProfile('"fields" must be an array.');
+    for (const field of profile["fields"]) {
+        if (!isRecord(field) || typeof field["name"] !== "string") {
+            return badProfile('every field needs a string "name".');
+        }
+        if (typeof field["type"] !== "string" || !PROFILE_TYPES.has(field["type"])) {
+            return badProfile(`field "${field["name"]}" has type ${JSON.stringify(field["type"])}; allowed: quantitative, temporal, ordinal, nominal.`);
+        }
+    }
+    if (profile["rowCount"] !== undefined && typeof profile["rowCount"] !== "number") {
+        return badProfile('"rowCount" must be a number when present.');
+    }
+    return [];
+}
+/**
+ * Resolve inline columns from a data ref against optional named datasets.
+ * Named refs that are not present in datasets return null (runtime-only data).
+ */
+function columnsFromDataRef(data, datasets) {
+    let ref = data;
+    if (isRecord(ref) && typeof ref["name"] === "string") {
+        ref = isRecord(datasets) ? datasets[ref["name"]] : undefined;
+    }
+    if (!isRecord(ref))
+        return null;
+    if (Array.isArray(ref["values"])) {
+        const rows = ref["values"];
+        const columns = {};
+        for (const row of rows) {
+            if (!isRecord(row))
+                continue;
+            for (const key of Object.keys(row))
+                columns[key] ??= [];
+        }
+        for (const key of Object.keys(columns)) {
+            const column = columns[key];
+            for (const row of rows)
+                column.push(isRecord(row) ? (row[key] ?? null) : null);
+        }
+        return columns;
+    }
+    if (isRecord(ref["columns"])) {
+        return ref["columns"];
+    }
+    return null;
+}
+/** Resolve the spec's plot-level inline columns ({values}, {columns}, or named). */
+function inlineColumns(spec) {
+    return columnsFromDataRef(spec["data"], spec["datasets"]);
+}
+function evidenceFromColumns(columns) {
+    const fields = new Map();
+    for (const name of Object.keys(columns)) {
+        const column = columns[name];
+        const inferred = inferProfileType(column);
+        fields.set(name, {
+            type: inferred.type,
+            allNull: column.length > 0 && inferred.type === null,
+            values: column,
+            temporal: inferred.temporal,
+        });
+    }
+    return fields;
+}
+/**
+ * Per-layer field evidence (#589). Each layer inherits plot-level evidence
+ * unless it supplies its own inline/named-inline data.
+ * Layers with only unresolved named (runtime) data get `null` (skip type checks).
+ */
+export function resolveLayerFieldEvidence(spec, options, limits) {
+    if (options.profile !== undefined) {
+        return evidenceFromProfile(options.profile, spec);
+    }
+    const datasets = spec["datasets"];
+    const plotColumns = inlineColumns(spec);
+    let totalRows = 0;
+    let totalBytes = 0;
+    const countedTables = new Set();
+    const countTable = (key, columns) => {
+        if (countedTables.has(key))
+            return;
+        countedTables.add(key);
+        const names = Object.keys(columns);
+        const rowCount = names.length === 0 ? 0 : (columns[names[0]]?.length ?? 0);
+        totalRows += rowCount;
+        totalBytes += estimateBytes(columns, rowCount);
+    };
+    if (plotColumns !== null) {
+        // Prefer name: key so plot-level { name } matching a layer named ref is not
+        // double-counted toward maxRows (same embedded/named dataset once).
+        const plotData = spec["data"];
+        const plotKey = isRecord(plotData) && typeof plotData["name"] === "string"
+            ? `name:${plotData["name"]}`
+            : "__plot__";
+        countTable(plotKey, plotColumns);
+    }
+    const layers = Array.isArray(spec["layers"]) ? spec["layers"] : [];
+    // Several layers commonly name one dataset. Pivoting {values} rows into
+    // columns is O(rows x columns), so resolve each name once rather than once
+    // per reference. Inline data keeps its own table: equal content is not the
+    // same table.
+    const columnsByName = new Map();
+    const plotData = spec["data"];
+    const plotName = isRecord(plotData) && typeof plotData["name"] === "string" ? plotData["name"] : null;
+    // The plot's own table seeds it, so a layer naming the plot's dataset reuses
+    // that pivot instead of building a second one.
+    if (plotColumns !== null && plotName !== null)
+        columnsByName.set(plotName, plotColumns);
+    const { layerColumns, layerNames } = resolveLayerColumns(layers, datasets, columnsByName, countTable);
+    if (plotColumns === null && layerColumns.every((c) => c === null || c === "runtime")) {
+        return { status: "none" };
+    }
+    if (totalRows > limits.maxRows) {
+        return {
+            status: "errors",
+            errors: [
+                {
+                    code: "validation-limit",
+                    path: "/data",
+                    message: `Inline data has ${totalRows} rows across plot/layers, more than the documented maxRows limit (${limits.maxRows}); data-aware checks skipped. Validate with a DataProfile instead.`,
+                },
+            ],
+        };
+    }
+    if (totalBytes > limits.maxBytes) {
+        return {
+            status: "errors",
+            errors: [
+                {
+                    code: "validation-limit",
+                    path: "/data",
+                    message: `Inline data exceeds the documented maxBytes limit (${limits.maxBytes} bytes, estimated across plot/layers); data-aware checks skipped. Validate with a DataProfile instead.`,
+                },
+            ],
+        };
+    }
+    const plot = plotColumns === null ? null : evidenceFromColumns(plotColumns);
+    // Type inference walks every value of every column, so it too runs once per
+    // named dataset. The plot's own table seeds it, matching the row accounting
+    // above, which already treats a name the plot and a layer share as one table.
+    const evidenceByName = new Map();
+    if (plot !== null && plotName !== null)
+        evidenceByName.set(plotName, plot);
+    const layerMaps = layerColumns.map((cols, index) => {
+        if (cols === "runtime")
+            return null;
+        if (cols === null)
+            return plot;
+        const name = layerNames[index] ?? null;
+        if (name === null)
+            return evidenceFromColumns(cols);
+        const cached = evidenceByName.get(name);
+        if (cached !== undefined)
+            return cached;
+        const built = evidenceFromColumns(cols);
+        evidenceByName.set(name, built);
+        return built;
+    });
+    return { status: "ok", plot, layers: layerMaps };
+}
+function evidenceFromProfile(profile, spec) {
+    const bad = profileErrors(profile);
+    if (bad.length > 0)
+        return { status: "errors", errors: bad };
+    const fields = new Map();
+    for (const field of profile.fields) {
+        fields.set(field.name, { type: field.type, allNull: false, values: null, temporal: null });
+    }
+    const layers = Array.isArray(spec["layers"]) ? spec["layers"] : [];
+    return { status: "ok", plot: fields, layers: layers.map(() => fields) };
+}
+function resolveLayerColumns(layers, datasets, columnsByName, countTable) {
+    const layerColumns = [];
+    const layerNames = [];
+    for (const layer of layers) {
+        if (!isRecord(layer) || layer["data"] === undefined) {
+            layerColumns.push(null);
+            layerNames.push(null);
+            continue;
+        }
+        const data = layer["data"];
+        const name = isRecord(data) && typeof data["name"] === "string" ? data["name"] : null;
+        let columns = name === null ? undefined : columnsByName.get(name);
+        if (columns === undefined) {
+            const resolved = columnsFromDataRef(data, datasets);
+            if (resolved === null) {
+                layerColumns.push("runtime");
+                layerNames.push(null);
+                continue;
+            }
+            columns = resolved;
+            if (name !== null)
+                columnsByName.set(name, columns);
+        }
+        const key = name === null ? `inline:${layerColumns.length}` : `name:${name}`;
+        countTable(key, columns);
+        layerColumns.push(columns);
+        layerNames.push(name);
+    }
+    return { layerColumns, layerNames };
+}
+function estimateBytes(columns, rowCount) {
+    // Estimate from a bounded sample so the limit check itself stays cheap.
+    const sample = Math.min(rowCount, 100);
+    if (sample === 0)
+        return 0;
+    let sampleBytes = 0;
+    for (const column of Object.values(columns)) {
+        sampleBytes += JSON.stringify(column.slice(0, sample))?.length ?? 0;
+    }
+    return Math.round((sampleBytes / sample) * rowCount);
+}
+/**
+ * Resolve profile or inline data into a field evidence map (one pivot + type
+ * inference pass). Shared by dataChecks and lintSpec via validate().
+ */
+export function resolveFieldEvidence(spec, options, limits) {
+    if (options.profile !== undefined) {
+        const bad = profileErrors(options.profile);
+        if (bad.length > 0)
+            return { status: "errors", errors: bad };
+        const fields = new Map();
+        for (const f of options.profile.fields) {
+            fields.set(f.name, { type: f.type, allNull: false, values: null, temporal: null });
+        }
+        return { status: "ok", fields };
+    }
+    const columns = inlineColumns(spec);
+    if (columns === null)
+        return { status: "none" };
+    const names = Object.keys(columns);
+    const rowCount = names.length === 0 ? 0 : (columns[names[0]]?.length ?? 0);
+    if (rowCount > limits.maxRows) {
+        return {
+            status: "errors",
+            errors: [
+                {
+                    code: "validation-limit",
+                    path: "/data",
+                    message: `Inline data has ${rowCount} rows, more than the documented maxRows limit (${limits.maxRows}); data-aware checks skipped. Validate with a DataProfile instead.`,
+                },
+            ],
+        };
+    }
+    if (estimateBytes(columns, rowCount) > limits.maxBytes) {
+        return {
+            status: "errors",
+            errors: [
+                {
+                    code: "validation-limit",
+                    path: "/data",
+                    message: `Inline data exceeds the documented maxBytes limit (${limits.maxBytes} bytes, estimated); data-aware checks skipped. Validate with a DataProfile instead.`,
+                },
+            ],
+        };
+    }
+    const fields = new Map();
+    for (const name of names) {
+        const column = columns[name];
+        const inferred = inferProfileType(column);
+        fields.set(name, {
+            type: inferred.type,
+            allNull: column.length > 0 && inferred.type === null,
+            values: column,
+            temporal: inferred.temporal,
+        });
+    }
+    return { status: "ok", fields };
+}
+//# sourceMappingURL=validate-data-evidence.js.map

package/dist/validate-data-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-data-evidence.js","sourceRoot":"","sources":["../src/validate-data-evidence.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,mBAAmB,EAAyB,MAAM,sBAAsB,CAAC;AAyClF,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E,sEAAsE;AACtE,MAAM,UAAU,gBAAgB,CAC9B,OAAwB,EACxB,QAAyB,EACzB,OAAoB;IAEpB,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACnC,MAAM,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,MAAM,IAAI,SAAS,CAAC;AAC7B,CAAC;AAED,8EAA8E;AAC9E,+CAA+C;AAC/C,8EAA8E;AAE9E,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,cAAc;IACd,UAAU;IACV,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,MAA4B;IAIpD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;IAC1E,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,QAAQ,GAAG,IAAI,CAAC;QAChB,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QACvC,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,SAAS,GAAG,IAAI,CAAC;IAClD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,wBAAwB,OAAO,EAAE;YAC1C,GAAG,EAAE;gBACH,WAAW,EACT,iGAAiG;gBACnG,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE;aAC9E;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB;IACrC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,UAAU,CAAC,qBAAqB,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;IACvF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAc,EAAE,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1D,OAAO,UAAU,CAAC,oCAAoC,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC3E,OAAO,UAAU,CACf,UAAU,KAAK,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sDAAsD,CACzH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,QAAQ,EAAE,CAAC;QACjF,OAAO,UAAU,CAAC,2CAA2C,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CACzB,IAAa,EACb,QAAiB;IAEjB,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;QACrD,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAgC,CAAC;QAC1D,MAAM,OAAO,GAAgC,EAAE,CAAC;QAChD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC7B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QAC1D,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAE,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,IAAI;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,CAAC,SAAS,CAAyC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,IAA6B;IAClD,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAAC,OAA6C;IACxE,MAAM,MAAM,GAAqB,IAAI,GAAG,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI;YACpD,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,QAAQ,CAAC,QAAQ;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA6B,EAC7B,OAAwB,EACxB,MAAsB;IAEtB,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,OAA6C,EAAE,EAAE;QAChF,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QACnC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;QAC5E,SAAS,IAAI,QAAQ,CAAC;QACtB,UAAU,IAAI,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,4EAA4E;QAC5E,oEAAoE;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,OAAO,GACX,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,QAAQ;YACxD,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,CAAC,EAAE;YAC5B,CAAC,CAAC,UAAU,CAAC;QACjB,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,QAAQ,CAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,wEAAwE;IACxE,2EAA2E;IAC3E,2EAA2E;IAC3E,cAAc;IACd,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgD,CAAC;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,QAAQ,GACZ,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,6EAA6E;IAC7E,+CAA+C;IAC/C,IAAI,WAAW,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACxF,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,mBAAmB,CACtD,MAAM,EACN,QAAQ,EACR,aAAa,EACb,UAAU,CACX,CAAC;IAEF,IAAI,WAAW,KAAK,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;QACrF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IAED,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,mBAAmB,SAAS,qEAAqE,MAAM,CAAC,OAAO,oEAAoE;iBAC7L;aACF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QACjC,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,sDAAsD,MAAM,CAAC,QAAQ,wGAAwG;iBACvL;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,cAAc,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC3D,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAmC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACjF,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;QACvC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACxC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgD,EAChD,IAA6B;IAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAqB,IAAI,GAAG,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,QAAQ,CAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAiB,EACjB,QAAiB,EACjB,aAAgE,EAChE,UAAgF;IAKhF,MAAM,YAAY,GAAmE,EAAE,CAAC;IACxF,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YACpD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,IAAI,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,OAAO,GAAG,QAAQ,CAAC;YACnB,IAAI,IAAI,KAAK,IAAI;gBAAE,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;QAC7E,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACzB,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,aAAa,CAAC,OAA6C,EAAE,QAAgB;IACpF,wEAAwE;IACxE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,WAAW,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,GAAG,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAA6B,EAC7B,OAAwB,EACxB,MAAsB;IAEtB,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAqB,IAAI,GAAG,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAEhD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,mBAAmB,QAAQ,kDAAkD,MAAM,CAAC,OAAO,oEAAoE;iBACzK;aACF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,sDAAsD,MAAM,CAAC,QAAQ,qFAAqF;iBACpK;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAqB,IAAI,GAAG,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI;YACpD,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,QAAQ,CAAC,QAAQ;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC"}

package/dist/validate-data.d.ts

@@ -0,0 +1,73 @@
+/**
+ * Tier-2 validation public contract and re-exports.
+ *
+ * Plan: "Tier-2 accepts inline data OR a defined DataProfile". Runs when
+ * validate() receives an options argument.
+ *
+ * Implementation is split:
+ *  - validate-data-evidence.ts — FieldEvidenceMap construction + effectiveChannel
+ *  - validate-data-checks.ts — dataChecks orchestrator (evidence → walk → checkers)
+ *  - validate-data-checks-layer.ts — geom/stat rules + field walk + channel collection
+ *  - validate-data-checks-temporal.ts — shared temporalDecisionForField memoization
+ *  - validate-data-checks-position.ts — pre-evidence temporal config + x/y scale types
+ *  - validate-data-checks-color.ts — color/fill scale types + manual domain/range
+ *  - validate-data-checks-color-temporal.ts — temporal censor recovery lattice
+ *  - validate-data-checks-style.ts — shape/linetype + size/linewidth/alpha (finite + numeric modules)
+ *
+ * Style and color scale checks use per-layer evidenceForUse like position
+ * (#609 / #844) so multi-table same-name fields keep independent type views.
+ *
+ * Checks:
+ *  - field existence: every { field } channel must name an available field
+ *    (with a did-you-mean suggestion against the available names);
+ *  - all-null columns (inline data only) are tier-2 errors;
+ *  - { stat } channels must name a column the layer's stat generates
+ *    (identity generates none; count generates "count");
+ *  - scale/type compatibility: scales.*.type "time" needs temporal fields,
+ *    "log"/"linear" refuse nominal/ordinal fields, color/fill "sequential"
+ *    needs quantitative fields.
+ *
+ * Input limits (DEFAULT_VALIDATE_LIMITS — documented, overridable): agent-
+ * facing validation must not be resource-abusable. Over-limit inputs get a
+ * `validation-limit` diagnostic and the data-aware checks are skipped;
+ * diagnostics themselves are capped by maxDiagnostics (enforced in validate()).
+ */
+import type { JSONValue } from "./portability.js";
+/** Field type vocabulary shared with agents (Vega-Lite-compatible names). */
+export type ProfileFieldType = "quantitative" | "temporal" | "ordinal" | "nominal";
+export interface DataProfileField {
+    name: string;
+    type: ProfileFieldType;
+    /** Optional example values (used in error messages, never validated). */
+    examples?: JSONValue[];
+}
+/** A description of out-of-band data, for validating specs without the data. */
+export interface DataProfile {
+    fields: DataProfileField[];
+    rowCount?: number;
+}
+/** Documented input limits for validate(). */
+export interface ValidateLimits {
+    /** Max inline-data rows examined (default 100_000). */
+    maxRows: number;
+    /** Max estimated inline-data bytes examined (default 20 MB). */
+    maxBytes: number;
+    /** Max JSON nesting depth of the spec (default 32). */
+    maxDepth: number;
+    /** Max diagnostics returned per run (default 100). */
+    maxDiagnostics: number;
+}
+export declare const DEFAULT_VALIDATE_LIMITS: ValidateLimits;
+export interface ValidateOptions {
+    /** Describe out-of-band data instead of inlining it. Wins over inline data. */
+    profile?: DataProfile;
+    /** Override the documented input limits. */
+    limits?: Partial<ValidateLimits>;
+    /** Also run lintSpec() and attach its advisories to the result (lint.ts). */
+    lint?: boolean;
+}
+/** Depth of a JSON-ish value, short-circuiting at `cap + 1`. */
+export declare function jsonDepth(value: unknown, cap: number): number;
+export { effectiveChannel, resolveFieldEvidence, resolveLayerFieldEvidence, type FieldEvidenceEntry, type FieldEvidenceMap, } from "./validate-data-evidence.js";
+export { dataChecks, STAT_COLUMNS } from "./validate-data-checks.js";
+//# sourceMappingURL=validate-data.d.ts.map

package/dist/validate-data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-data.d.ts","sourceRoot":"","sources":["../src/validate-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAMlD,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAEnF,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,yEAAyE;IACzE,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;CACxB;AAED,gFAAgF;AAChF,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,8CAA8C;AAC9C,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,sDAAsD;IACtD,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,eAAO,MAAM,uBAAuB,EAAE,cAKrC,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,+EAA+E;IAC/E,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,4CAA4C;IAC5C,MAAM,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IACjC,6EAA6E;IAC7E,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAMD,gEAAgE;AAChE,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAU7D;AAMD,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,EACzB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,GACtB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/validate-data.js

@@ -0,0 +1,30 @@
+export const DEFAULT_VALIDATE_LIMITS = {
+    maxRows: 100_000,
+    maxBytes: 20 * 1024 * 1024,
+    maxDepth: 32,
+    maxDiagnostics: 100,
+};
+// ---------------------------------------------------------------------------
+// Helpers owned by the public contract surface
+// ---------------------------------------------------------------------------
+/** Depth of a JSON-ish value, short-circuiting at `cap + 1`. */
+export function jsonDepth(value, cap) {
+    if (typeof value !== "object" || value === null)
+        return 0;
+    let max = 0;
+    const entries = Array.isArray(value) ? value : Object.values(value);
+    for (const child of entries) {
+        const d = jsonDepth(child, cap - 1);
+        if (d >= cap)
+            return d + 1; // short-circuit: already too deep
+        if (d > max)
+            max = d;
+    }
+    return max + 1;
+}
+// ---------------------------------------------------------------------------
+// Focused modules (re-exported so internal imports stay on this barrel)
+// ---------------------------------------------------------------------------
+export { effectiveChannel, resolveFieldEvidence, resolveLayerFieldEvidence, } from "./validate-data-evidence.js";
+export { dataChecks, STAT_COLUMNS } from "./validate-data-checks.js";
+//# sourceMappingURL=validate-data.js.map

package/dist/validate-data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-data.js","sourceRoot":"","sources":["../src/validate-data.ts"],"names":[],"mappings":"AAoEA,MAAM,CAAC,MAAM,uBAAuB,GAAmB;IACrD,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;IAC1B,QAAQ,EAAE,EAAE;IACZ,cAAc,EAAE,GAAG;CACpB,CAAC;AAWF,8EAA8E;AAC9E,+CAA+C;AAC/C,8EAA8E;AAE9E,gEAAgE;AAChE,MAAM,UAAU,SAAS,CAAC,KAAc,EAAE,GAAW;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,GAAG;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,kCAAkC;QAC9D,IAAI,CAAC,GAAG,GAAG;YAAE,GAAG,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,GAAG,CAAC,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,wEAAwE;AACxE,8EAA8E;AAE9E,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,GAG1B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/validate-map-errors.d.ts

@@ -0,0 +1,32 @@
+/**
+ * TypeBox 1.x validation errors → agent SpecError mapping (tier-1).
+ *
+ * TypeBox 1.x (`typebox`) reports JSON-Schema-style errors (`keyword`,
+ * `instancePath`, `params`) rather than 0.x `ValueErrorType` + embedded
+ * schema/value. Discriminator-aware union classification (channel forms,
+ * data refs, const enums) is reconstructed from keywords + schema lookup
+ * against the Cyclic root being validated.
+ *
+ * Schema / path inspection: validate-schema-walk.ts.
+ * Channel/data form classification: validate-map-forms.ts.
+ * Union path mapping: validate-map-path-unions.ts.
+ * Keyword path mapping: validate-map-path-keywords.ts.
+ * Used only by validate() — not part of the package public surface.
+ */
+import type { TLocalizedValidationError } from "typebox/error";
+import type { SpecError } from "./errors.js";
+export interface MapErrorsContext {
+    /** Schema root passed to Value.Errors (Cyclic `$defs`+`$ref`). */
+    schema: unknown;
+    /** Value that was validated (for reading failing values via instancePath). */
+    value: unknown;
+    /** Path prefix prepended to each instancePath (e.g. `/layers/0`). */
+    pathPrefix: string;
+}
+/**
+ * Map a batch of TypeBox 1.x validation errors into agent SpecErrors.
+ * Groups const/anyOf noise so enum and channel unions surface as one error.
+ */
+export declare function mapValueErrors(rawErrors: readonly TLocalizedValidationError[], ctx: MapErrorsContext): SpecError[];
+export declare function unknownGeomError(geom: unknown, layerPath: string): SpecError;
+//# sourceMappingURL=validate-map-errors.d.ts.map

package/dist/validate-map-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-map-errors.d.ts","sourceRoot":"","sources":["../src/validate-map-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAO7C,MAAM,WAAW,gBAAgB;IAC/B,kEAAkE;IAClE,MAAM,EAAE,OAAO,CAAC;IAChB,8EAA8E;IAC9E,KAAK,EAAE,OAAO,CAAC;IACf,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,SAAS,yBAAyB,EAAE,EAC/C,GAAG,EAAE,gBAAgB,GACpB,SAAS,EAAE,CAgBb;AA2CD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,CA0B5E"}

package/dist/validate-map-errors.js

@@ -0,0 +1,76 @@
+import { didYouMean } from "./errors.js";
+import { KNOWN_GEOMS } from "./schema-catalog.js";
+import { lastSegment, pointerGet } from "./validate-schema-walk.js";
+import { mapKeywordPathGroup } from "./validate-map-path-keywords.js";
+import { mapUnionPathGroup } from "./validate-map-path-unions.js";
+/**
+ * Map a batch of TypeBox 1.x validation errors into agent SpecErrors.
+ * Groups const/anyOf noise so enum and channel unions surface as one error.
+ */
+export function mapValueErrors(rawErrors, ctx) {
+    if (rawErrors.length === 0)
+        return [];
+    // Group by instancePath so multi-const anyOf enums collapse.
+    const byPath = new Map();
+    for (const err of rawErrors) {
+        const list = byPath.get(err.instancePath) ?? [];
+        list.push(err);
+        byPath.set(err.instancePath, list);
+    }
+    const out = [];
+    for (const [instancePath, group] of byPath) {
+        out.push(...mapPathGroup(instancePath, group, ctx));
+    }
+    return out;
+}
+function mapPathGroup(instancePath, group, ctx) {
+    const path = ctx.pathPrefix + instancePath;
+    const key = lastSegment(instancePath);
+    const valueAtPath = pointerGet(ctx.value, instancePath);
+    if (group.some((error) => error.keyword === "pattern") &&
+        /^\/scales\/(?:color|fill)\/range\/\d+$/.test(path) &&
+        typeof valueAtPath === "string") {
+        return [
+            {
+                code: "scale-range-color",
+                path,
+                message: `The color stop "${valueAtPath}" is not a supported hex color.`,
+                fix: {
+                    description: "Use #rgb or #rrggbb syntax for custom color ranges.",
+                    example: "#ff0000",
+                },
+            },
+        ];
+    }
+    const union = mapUnionPathGroup(instancePath, group, ctx, path, key, valueAtPath);
+    if (union.status === "done")
+        return union.errors;
+    return mapKeywordPathGroup(instancePath, group, ctx, path, key, valueAtPath, union.activeFormKeys);
+}
+export function unknownGeomError(geom, layerPath) {
+    const allowed = [...KNOWN_GEOMS];
+    if (typeof geom !== "string") {
+        return {
+            code: "missing-geom",
+            path: `${layerPath}/geom`,
+            message: `Every layer needs a "geom" discriminator. Allowed geoms: ${allowed.map((g) => `"${g}"`).join(", ")}.`,
+            allowed,
+            fix: {
+                description: "Add a geom to the layer.",
+                example: { geom: "point" },
+            },
+        };
+    }
+    const suggestion = didYouMean(geom, allowed);
+    return {
+        code: "unknown-geom",
+        path: `${layerPath}/geom`,
+        message: `Unknown geom "${geom}". Allowed geoms: ${allowed.map((g) => `"${g}"`).join(", ")}.` +
+            (suggestion === undefined ? "" : ` Did you mean "${suggestion}"?`),
+        allowed,
+        ...(suggestion !== undefined && {
+            fix: { description: `Set geom to "${suggestion}".`, example: { geom: suggestion } },
+        }),
+    };
+}
+//# sourceMappingURL=validate-map-errors.js.map

package/dist/validate-map-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-map-errors.js","sourceRoot":"","sources":["../src/validate-map-errors.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAWlE;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,SAA+C,EAC/C,GAAqB;IAErB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,6DAA6D;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC9D,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CACnB,YAAoB,EACpB,KAA2C,EAC3C,GAAqB;IAErB,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,GAAG,YAAY,CAAC;IAC3C,MAAM,GAAG,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAExD,IACE,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;QAClD,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnD,OAAO,WAAW,KAAK,QAAQ,EAC/B,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI;gBACJ,OAAO,EAAE,mBAAmB,WAAW,iCAAiC;gBACxE,GAAG,EAAE;oBACH,WAAW,EAAE,qDAAqD;oBAClE,OAAO,EAAE,SAAS;iBACnB;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAClF,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAEjD,OAAO,mBAAmB,CACxB,YAAY,EACZ,KAAK,EACL,GAAG,EACH,IAAI,EACJ,GAAG,EACH,WAAW,EACX,KAAK,CAAC,cAAc,CACrB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAa,EAAE,SAAiB;IAC/D,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,GAAG,SAAS,OAAO;YACzB,OAAO,EAAE,4DAA4D,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC/G,OAAO;YACP,GAAG,EAAE;gBACH,WAAW,EAAE,0BAA0B;gBACvC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;aAC3B;SACF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,GAAG,SAAS,OAAO;QACzB,OAAO,EACL,iBAAiB,IAAI,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpF,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,UAAU,IAAI,CAAC;QACpE,OAAO;QACP,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI;YAC9B,GAAG,EAAE,EAAE,WAAW,EAAE,gBAAgB,UAAU,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE;SACpF,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/validate-map-forms.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Channel and DataRef form classification for TypeBox 1.x error mapping.
+ * Path/schema walk: validate-schema-walk.ts. SpecError mapping: validate-map-errors.ts.
+ */
+import type { TLocalizedValidationError } from "typebox/error";
+import { type UnionMemberInfo } from "./validate-schema-walk.js";
+export declare const CHANNEL_FIX_EXAMPLE: {
+    field: string;
+};
+/** True only for the channel node itself (`…/aes/<channel>`), not nested paths. */
+export declare function isChannelPath(path: string): boolean;
+/**
+ * DataRef / InlineData union roots only:
+ * `/data`, `/datasets/<name>`, or `/layers/<n>/data`.
+ * Nested paths under a data container must keep their own diagnostics.
+ */
+export declare function isDataUnionPath(path: string): boolean;
+/** Canonical channel object form (or null); bare strings are handled separately. */
+export declare function looksLikeChannelForm(v: unknown): boolean;
+/** Already a data container shape — do not suggest re-wrapping as `{ values: [...] }`. */
+export declare function looksLikeDataContainer(v: unknown): boolean;
+export declare function isScalarValue(v: unknown): boolean;
+/** Exclusive data form discriminators (exactly one allowed per DataRef). */
+declare const DATA_DISCRIMINATORS: readonly ["values", "columns", "name"];
+/**
+ * True when an additionalProperties failure lists a key that is *not* in
+ * `ignoreKeys`. Used to ignore competing-branch noise (e.g. Columns rejecting
+ * `values`) while still surfacing typos and form-illegal keys.
+ */
+export declare function additionalPropertyNames(group: readonly TLocalizedValidationError[], ignoreKeys?: ReadonlySet<string>): string[];
+export declare function hasActionableAddlNoise(group: readonly TLocalizedValidationError[], ignoreKeys: ReadonlySet<string>): boolean;
+export declare function channelDiscriminatorKeys(v: Record<string, unknown>): string[];
+export declare function dataDiscriminatorKeys(v: Record<string, unknown>, allowed?: readonly (typeof DATA_DISCRIMINATORS)[number][]): string[];
+export declare function dataDiscriminatorsForUnion(members: UnionMemberInfo, path: string): readonly (typeof DATA_DISCRIMINATORS)[number][];
+/**
+ * Keys legal on the single present channel form, or null when forms are mixed
+ * / absent. FieldRef = {field}; ValueRef = {value, scale?}; StatRef = {stat}.
+ */
+export declare function allowedKeysForPresentChannelForm(v: Record<string, unknown>): Set<string> | null;
+/** Keys legal on the single present data form, or null when forms are mixed. */
+export declare function allowedKeysForPresentDataForm(v: Record<string, unknown>, allowedDiscriminators: readonly (typeof DATA_DISCRIMINATORS)[number][]): Set<string> | null;
+export {};
+//# sourceMappingURL=validate-map-forms.d.ts.map

package/dist/validate-map-forms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-map-forms.d.ts","sourceRoot":"","sources":["../src/validate-map-forms.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAG/D,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAEzF,eAAO,MAAM,mBAAmB;;CAA2B,CAAC;AAQ5D,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAKnD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAcrD;AAED,oFAAoF;AACpF,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAIxD;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAG1D;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEjD;AAID,4EAA4E;AAC5E,QAAA,MAAM,mBAAmB,wCAAyC,CAAC;AAEnE;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,SAAS,yBAAyB,EAAE,EAC3C,UAAU,GAAE,WAAW,CAAC,MAAM,CAAa,GAC1C,MAAM,EAAE,CAYV;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,yBAAyB,EAAE,EAC3C,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,OAAO,CAET;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,EAAE,CAE7E;AAED,wBAAgB,qBAAqB,CACnC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC1B,OAAO,GAAE,SAAS,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAwB,GAC7E,MAAM,EAAE,CAEV;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,MAAM,GACX,SAAS,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE,CAOjD;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAa/F;AAED,gFAAgF;AAChF,wBAAgB,6BAA6B,CAC3C,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC1B,qBAAqB,EAAE,SAAS,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE,GACrE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAIpB"}