@ggts-sh/spec 0.43.0

package/dist/validate-schema-shape.js

@@ -0,0 +1,156 @@
+/**
+ * Tier-1 schema shape walk: discriminator-aware layer branches + plot shell.
+ *
+ * Shared geom branch lookup (`GEOM_BRANCHES`) is also used by validate() to
+ * recognise known geoms for the tier-2 structural gate. Branch validity for
+ * that gate comes from the compiled plot check (valid path) or from this
+ * walk's per-layer `Value.Errors` result (invalid path) — not a second
+ * interpreted `Value.Check` per layer (#1279).
+ *
+ * Orchestrator: validate.ts. Error mapping: validate-map-errors.ts.
+ */
+import { Value } from "typebox/value";
+import { AreaLayerSchema, BarLayerSchema, BoxplotLayerSchema, ColLayerSchema, DensityLayerSchema, Density2dLayerSchema, Density2dFilledLayerSchema, DotplotLayerSchema, ErrorbarLayerSchema, LinerangeLayerSchema, PointrangeLayerSchema, CrossbarLayerSchema, HistogramLayerSchema, FreqpolyLayerSchema, HlineLayerSchema, JitterLayerSchema, LineLayerSchema, PathLayerSchema, PlotSpecSchema, PointLayerSchema, RasterLayerSchema, HexLayerSchema, RectLayerSchema, RibbonLayerSchema, SegmentLayerSchema, CountLayerSchema, ViolinLayerSchema, FunctionLayerSchema, PolygonLayerSchema, AblineLayerSchema, CurveLayerSchema, MapLayerSchema, BlankLayerSchema, SfLayerSchema, SfTextLayerSchema, SfLabelLayerSchema, SpokeLayerSchema, RugLayerSchema, StepLayerSchema, QqLayerSchema, QqLineLayerSchema, RuleLayerSchema, QuantileLayerSchema, ContourLayerSchema, SmoothLayerSchema, TextLayerSchema, LabelLayerSchema, TileLayerSchema, Bin2dLayerSchema, VlineLayerSchema, } from "./schema.js";
+import { mapValueErrors, unknownGeomError } from "./validate-map-errors.js";
+/** Known geom → layer schema for branch-selected tier-1 walks and tier-2 eligibility. */
+export const GEOM_BRANCHES = {
+    point: PointLayerSchema,
+    line: LineLayerSchema,
+    path: PathLayerSchema,
+    col: ColLayerSchema,
+    bar: BarLayerSchema,
+    histogram: HistogramLayerSchema,
+    freqpoly: FreqpolyLayerSchema,
+    area: AreaLayerSchema,
+    ribbon: RibbonLayerSchema,
+    segment: SegmentLayerSchema,
+    count: CountLayerSchema,
+    violin: ViolinLayerSchema,
+    function: FunctionLayerSchema,
+    polygon: PolygonLayerSchema,
+    abline: AblineLayerSchema,
+    curve: CurveLayerSchema,
+    map: MapLayerSchema,
+    blank: BlankLayerSchema,
+    sf: SfLayerSchema,
+    sf_text: SfTextLayerSchema,
+    sf_label: SfLabelLayerSchema,
+    spoke: SpokeLayerSchema,
+    rug: RugLayerSchema,
+    step: StepLayerSchema,
+    qq: QqLayerSchema,
+    qq_line: QqLineLayerSchema,
+    rule: RuleLayerSchema,
+    hline: HlineLayerSchema,
+    vline: VlineLayerSchema,
+    jitter: JitterLayerSchema,
+    text: TextLayerSchema,
+    label: LabelLayerSchema,
+    smooth: SmoothLayerSchema,
+    quantile: QuantileLayerSchema,
+    contour: ContourLayerSchema,
+    boxplot: BoxplotLayerSchema,
+    density: DensityLayerSchema,
+    density_2d: Density2dLayerSchema,
+    density_2d_filled: Density2dFilledLayerSchema,
+    dotplot: DotplotLayerSchema,
+    errorbar: ErrorbarLayerSchema,
+    linerange: LinerangeLayerSchema,
+    pointrange: PointrangeLayerSchema,
+    crossbar: CrossbarLayerSchema,
+    rect: RectLayerSchema,
+    tile: TileLayerSchema,
+    bin_2d: Bin2dLayerSchema,
+    raster: RasterLayerSchema,
+    hex: HexLayerSchema,
+};
+function isRecord(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+/** Discriminator-aware layer walk — one layer's tier-1 shape errors. */
+function mapLayerShapeErrors(layer, layerPath) {
+    if (!isRecord(layer)) {
+        return {
+            branchOk: false,
+            errors: [
+                {
+                    code: "invalid-layer",
+                    path: layerPath,
+                    message: `Each layer must be an object with a "geom" (got ${typeof layer}).`,
+                    fix: { description: "Replace with a layer object.", example: { geom: "point" } },
+                },
+            ],
+        };
+    }
+    const geom = layer["geom"];
+    // Own-key check: `in` walks the prototype chain, so a geom named
+    // "constructor" would pass this guard and hand Value.Errors a function
+    // instead of a schema — reporting invalid-type rather than the did-you-mean.
+    if (typeof geom !== "string" || !Object.hasOwn(GEOM_BRANCHES, geom)) {
+        return { branchOk: false, errors: [unknownGeomError(geom, layerPath)] };
+    }
+    const branch = GEOM_BRANCHES[geom];
+    const raw = Value.Errors(branch, layer);
+    return {
+        branchOk: raw.length === 0,
+        errors: mapValueErrors(raw, {
+            schema: branch,
+            value: layer,
+            pathPrefix: layerPath,
+        }),
+    };
+}
+/**
+ * Tier-1 schema walk (caller must set TypeBox Settings for the process).
+ * Layer branch walk + plot-level shell so layer noise is not double-reported.
+ */
+export function collectSchemaShapeErrors(input) {
+    const errors = [];
+    const branchOkLayerIndices = new Set();
+    const layers = input["layers"];
+    if (!Array.isArray(layers)) {
+        errors.push({
+            code: "missing-layers",
+            path: "/layers",
+            message: `"layers" must be an array of layer objects (got ${layers === undefined ? "nothing" : typeof layers}).`,
+            fix: {
+                description: "Add a layers array with at least one layer.",
+                example: [{ geom: "point" }],
+            },
+        });
+    }
+    else if (layers.length === 0) {
+        errors.push({
+            code: "empty-layers",
+            path: "/layers",
+            message: '"layers" must contain at least one layer.',
+            fix: { description: "Add a layer.", example: [{ geom: "point" }] },
+        });
+    }
+    else {
+        for (let i = 0; i < layers.length; i++) {
+            const layerResult = mapLayerShapeErrors(layers[i], `/layers/${i}`);
+            if (layerResult.branchOk)
+                branchOkLayerIndices.add(i);
+            errors.push(...layerResult.errors);
+        }
+    }
+    // Plot-level walk with a known-valid layer shell so layer noise is not
+    // re-reported alongside the branch-selected layer walk above.
+    const shell = { ...input, layers: [{ geom: "point" }] };
+    errors.push(...mapValueErrors(Value.Errors(PlotSpecSchema, shell), {
+        schema: PlotSpecSchema,
+        value: shell,
+        pathPrefix: "",
+    }));
+    if (errors.length === 0) {
+        // Compiled plot Check failed but neither walk produced a mapped error.
+        errors.push({
+            code: "invalid-type",
+            path: "",
+            message: "The spec does not match the schema.",
+        });
+    }
+    return { errors, branchOkLayerIndices };
+}
+//# sourceMappingURL=validate-schema-shape.js.map

package/dist/validate-schema-shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-schema-shape.js","sourceRoot":"","sources":["../src/validate-schema-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,OAAO,EACL,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,oBAAoB,EACpB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5E,yFAAyF;AACzF,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,KAAK,EAAE,gBAAgB;IACvB,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,eAAe;IACrB,GAAG,EAAE,cAAc;IACnB,GAAG,EAAE,cAAc;IACnB,SAAS,EAAE,oBAAoB;IAC/B,QAAQ,EAAE,mBAAmB;IAC7B,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,iBAAiB;IACzB,OAAO,EAAE,kBAAkB;IAC3B,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,iBAAiB;IACzB,QAAQ,EAAE,mBAAmB;IAC7B,OAAO,EAAE,kBAAkB;IAC3B,MAAM,EAAE,iBAAiB;IACzB,KAAK,EAAE,gBAAgB;IACvB,GAAG,EAAE,cAAc;IACnB,KAAK,EAAE,gBAAgB;IACvB,EAAE,EAAE,aAAa;IACjB,OAAO,EAAE,iBAAiB;IAC1B,QAAQ,EAAE,kBAAkB;IAE5B,KAAK,EAAE,gBAAgB;IACvB,GAAG,EAAE,cAAc;IACnB,IAAI,EAAE,eAAe;IACrB,EAAE,EAAE,aAAa;IACjB,OAAO,EAAE,iBAAiB;IAC1B,IAAI,EAAE,eAAe;IACrB,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,iBAAiB;IACzB,IAAI,EAAE,eAAe;IACrB,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,iBAAiB;IACzB,QAAQ,EAAE,mBAAmB;IAC7B,OAAO,EAAE,kBAAkB;IAC3B,OAAO,EAAE,kBAAkB;IAC3B,OAAO,EAAE,kBAAkB;IAC3B,UAAU,EAAE,oBAAoB;IAChC,iBAAiB,EAAE,0BAA0B;IAC7C,OAAO,EAAE,kBAAkB;IAC3B,QAAQ,EAAE,mBAAmB;IAC7B,SAAS,EAAE,oBAAoB;IAC/B,UAAU,EAAE,qBAAqB;IACjC,QAAQ,EAAE,mBAAmB;IAC7B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,gBAAgB;IACxB,MAAM,EAAE,iBAAiB;IACzB,GAAG,EAAE,cAAc;CACX,CAAC;AAEX,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;AASD,wEAAwE;AACxE,SAAS,mBAAmB,CAAC,KAAc,EAAE,SAAiB;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,mDAAmD,OAAO,KAAK,IAAI;oBAC5E,GAAG,EAAE,EAAE,WAAW,EAAE,8BAA8B,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;iBACjF;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3B,iEAAiE;IACjE,uEAAuE;IACvE,6EAA6E;IAC7E,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;QACpE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAkC,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACxC,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM,EAAE,cAAc,CAAC,GAAG,EAAE;YAC1B,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,KAAK;YACZ,UAAU,EAAE,SAAS;SACtB,CAAC;KACH,CAAC;AACJ,CAAC;AAaD;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA8B;IACrE,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,mDAAmD,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,MAAM,IAAI;YAChH,GAAG,EAAE;gBACH,WAAW,EAAE,6CAA6C;gBAC1D,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;aAC7B;SACF,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,2CAA2C;YACpD,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE;SACnE,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;YACnE,IAAI,WAAW,CAAC,QAAQ;gBAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,KAAK,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACxD,MAAM,CAAC,IAAI,CACT,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,KAAK,CAAC,EAAE;QACrD,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,EAAE;KACf,CAAC,CACH,CAAC;IAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,uEAAuE;QACvE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,qCAAqC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;AAC1C,CAAC"}

package/dist/validate-schema-walk.d.ts

@@ -0,0 +1,34 @@
+/**
+ * TypeBox Cyclic schema / instance-path inspection helpers for tier-1 error mapping.
+ *
+ * JSON-pointer reads against the validated value, `$defs`/`$ref` walking along
+ * instancePath and schemaPath, union-member inspection, and small schema-shape
+ * queries. Used only by validate-map-errors.ts — not public package surface.
+ */
+export declare function isRecord(v: unknown): v is Record<string, unknown>;
+export declare function lastSegment(path: string): string;
+export declare function pathSegments(path: string): string[];
+/** JSON-pointer get (instancePath form: `/a/b/0`). */
+export declare function pointerGet(root: unknown, path: string): unknown;
+/**
+ * Walk a Cyclic schema along an instance path, returning the schema that
+ * describes the value at that path (after following $refs).
+ */
+export declare function schemaAtInstancePath(rootSchema: unknown, instancePath: string): unknown;
+/**
+ * Resolve a TypeBox-relative schemaPath (`#/properties/x/anyOf/0`) against
+ * the schema that applies at `instancePath`'s parent object context.
+ * For Cyclic validation, `#` is relative to the nearest $ref target; we
+ * approximate by resolving at the instancePath node, then walking the path.
+ */
+export declare function schemaAtSchemaPath(rootSchema: unknown, instancePath: string, schemaPath: string): unknown;
+export interface UnionMemberInfo {
+    refs: string[];
+    consts: string[];
+    allConst: boolean;
+}
+export declare function unionMembers(schema: unknown): UnionMemberInfo;
+export declare function additionalPropertiesIsClosed(objectSchema: unknown): boolean;
+export declare function objectPropertyNames(schema: unknown): string[];
+export declare function numberBounds(schema: unknown): string[];
+//# sourceMappingURL=validate-schema-walk.d.ts.map

package/dist/validate-schema-walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-schema-walk.d.ts","sourceRoot":"","sources":["../src/validate-schema-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEjE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAEnD;AAED,sDAAsD;AACtD,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAc/D;AA6BD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAmCvF;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,OAAO,EACnB,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,GACjB,OAAO,CA0CT;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,GAAG,eAAe,CAyB7D;AAED,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,OAAO,GAAG,OAAO,CAO3E;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAI7D;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAUtD"}

package/dist/validate-schema-walk.js

@@ -0,0 +1,216 @@
+/**
+ * TypeBox Cyclic schema / instance-path inspection helpers for tier-1 error mapping.
+ *
+ * JSON-pointer reads against the validated value, `$defs`/`$ref` walking along
+ * instancePath and schemaPath, union-member inspection, and small schema-shape
+ * queries. Used only by validate-map-errors.ts — not public package surface.
+ */
+export function isRecord(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+export function lastSegment(path) {
+    const i = path.lastIndexOf("/");
+    return i === -1 ? path : path.slice(i + 1);
+}
+export function pathSegments(path) {
+    return path.split("/").filter((s) => s.length > 0);
+}
+/** JSON-pointer get (instancePath form: `/a/b/0`). */
+export function pointerGet(root, path) {
+    if (path === "" || path === "/")
+        return root;
+    let cur = root;
+    for (const seg of pathSegments(path)) {
+        if (cur === null || cur === undefined)
+            return undefined;
+        if (Array.isArray(cur)) {
+            const i = Number(seg);
+            cur = Number.isInteger(i) ? cur[i] : undefined;
+            continue;
+        }
+        if (!isRecord(cur))
+            return undefined;
+        cur = cur[seg];
+    }
+    return cur;
+}
+/** Resolve the root object schema of a TypeBox Cyclic (`$defs` + `$ref`). */
+function cyclicRootSchema(schema) {
+    if (!isRecord(schema))
+        return null;
+    const defs = schema["$defs"];
+    const ref = schema["$ref"];
+    if (isRecord(defs) && typeof ref === "string" && isRecord(defs[ref])) {
+        return defs[ref];
+    }
+    return isRecord(schema) ? schema : null;
+}
+function resolveRef(node, defs) {
+    const ref = node["$ref"];
+    if (typeof ref !== "string" || defs === null)
+        return node;
+    // TypeBox emits bare names ("PointParams") and sometimes JSON pointers.
+    const name = ref.startsWith("#/$defs/")
+        ? ref.slice("#/$defs/".length)
+        : ref.startsWith("#/")
+            ? null
+            : ref;
+    if (name !== null && isRecord(defs[name]))
+        return defs[name];
+    return node;
+}
+/**
+ * Walk a Cyclic schema along an instance path, returning the schema that
+ * describes the value at that path (after following $refs).
+ */
+export function schemaAtInstancePath(rootSchema, instancePath) {
+    const root = cyclicRootSchema(rootSchema);
+    if (root === null)
+        return null;
+    const defs = isRecord(rootSchema) && isRecord(rootSchema["$defs"]) ? rootSchema["$defs"] : null;
+    let node = root;
+    for (const seg of pathSegments(instancePath)) {
+        node = resolveRef(node, defs);
+        const props = node["properties"];
+        if (isRecord(props) && isRecord(props[seg])) {
+            node = props[seg];
+            continue;
+        }
+        // Array index: follow `items` (object or tuple entry).
+        if (/^\d+$/.test(seg)) {
+            const items = node["items"];
+            if (isRecord(items)) {
+                node = items;
+                continue;
+            }
+            if (Array.isArray(items)) {
+                const entry = items[Number(seg)];
+                if (isRecord(entry)) {
+                    node = entry;
+                    continue;
+                }
+            }
+        }
+        // additionalProperties / patternProperties value schemas
+        if (isRecord(node["additionalProperties"])) {
+            node = node["additionalProperties"];
+            continue;
+        }
+        return null;
+    }
+    return resolveRef(node, defs);
+}
+/**
+ * Resolve a TypeBox-relative schemaPath (`#/properties/x/anyOf/0`) against
+ * the schema that applies at `instancePath`'s parent object context.
+ * For Cyclic validation, `#` is relative to the nearest $ref target; we
+ * approximate by resolving at the instancePath node, then walking the path.
+ */
+export function schemaAtSchemaPath(rootSchema, instancePath, schemaPath) {
+    // Most useful cases: `#` means the schema of the instance node itself
+    // (e.g. additionalProperties on PointParams when instancePath is /params).
+    const base = schemaAtInstancePath(rootSchema, instancePath);
+    if (schemaPath === "#" || schemaPath === "")
+        return base;
+    const defs = isRecord(rootSchema) && isRecord(rootSchema["$defs"]) ? rootSchema["$defs"] : null;
+    const parts = schemaPath
+        .replace(/^#\/?/, "")
+        .split("/")
+        .filter((p) => p.length > 0);
+    // If walking from base fails, fall back to walking from cyclic root def.
+    const tryWalk = (start) => {
+        let cur = start;
+        for (const p of parts) {
+            if (cur === null || cur === undefined)
+                return null;
+            if (Array.isArray(cur) && /^\d+$/.test(p)) {
+                cur = cur[Number(p)];
+                continue;
+            }
+            if (!isRecord(cur))
+                return null;
+            const rec = resolveRef(cur, defs);
+            cur = rec[p];
+        }
+        return isRecord(cur) ? resolveRef(cur, defs) : cur;
+    };
+    const fromBase = tryWalk(base);
+    if (fromBase !== null && fromBase !== undefined)
+        return fromBase;
+    const fromRoot = tryWalk(cyclicRootSchema(rootSchema));
+    if (fromRoot !== null && fromRoot !== undefined)
+        return fromRoot;
+    // TypeBox 1 schemaPath is often relative to a $defs member (e.g. DataValues),
+    // not the Cyclic plot root — try each def as a base.
+    if (defs !== null) {
+        for (const def of Object.values(defs)) {
+            if (!isRecord(def))
+                continue;
+            const hit = tryWalk(def);
+            if (hit !== null && hit !== undefined)
+                return hit;
+        }
+    }
+    return null;
+}
+export function unionMembers(schema) {
+    const info = { refs: [], consts: [], allConst: true };
+    const anyOf = isRecord(schema) && Array.isArray(schema["anyOf"]) ? schema["anyOf"] : [];
+    for (const member of anyOf) {
+        if (!isRecord(member))
+            continue;
+        const ref = member["$ref"];
+        if (typeof ref === "string")
+            info.refs.push(ref.replace(/^#\/\$defs\//, ""));
+        const c = member["const"];
+        if (typeof c === "string" || typeof c === "number" || typeof c === "boolean") {
+            info.consts.push(String(c));
+        }
+        else {
+            // nested anyOf of literals still counts as all-const if every branch is const
+            if (Array.isArray(member["anyOf"])) {
+                const nested = unionMembers(member);
+                if (nested.allConst && nested.consts.length > 0) {
+                    info.consts.push(...nested.consts);
+                    continue;
+                }
+            }
+            info.allConst = false;
+        }
+    }
+    if (anyOf.length === 0)
+        info.allConst = false;
+    return info;
+}
+export function additionalPropertiesIsClosed(objectSchema) {
+    if (!isRecord(objectSchema))
+        return true;
+    const ap = objectSchema["additionalProperties"];
+    // Explicit schema (object / boolean true) means keys are allowed; false/absent = closed.
+    if (ap === false || ap === undefined)
+        return true;
+    if (ap === true)
+        return false;
+    return typeof ap !== "object" || ap === null;
+}
+export function objectPropertyNames(schema) {
+    if (!isRecord(schema))
+        return [];
+    const props = schema["properties"];
+    return isRecord(props) ? Object.keys(props) : [];
+}
+export function numberBounds(schema) {
+    if (!isRecord(schema))
+        return [];
+    const bounds = [];
+    if (typeof schema["minimum"] === "number")
+        bounds.push(`>= ${schema["minimum"]}`);
+    if (typeof schema["exclusiveMinimum"] === "number")
+        bounds.push(`> ${schema["exclusiveMinimum"]}`);
+    if (typeof schema["maximum"] === "number")
+        bounds.push(`<= ${schema["maximum"]}`);
+    if (typeof schema["exclusiveMaximum"] === "number")
+        bounds.push(`< ${schema["exclusiveMaximum"]}`);
+    return bounds;
+}
+//# sourceMappingURL=validate-schema-walk.js.map

package/dist/validate-schema-walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-schema-walk.js","sourceRoot":"","sources":["../src/validate-schema-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,UAAU,QAAQ,CAAC,CAAU;IACjC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,UAAU,CAAC,IAAa,EAAE,IAAY;IACpD,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACtB,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACrC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6EAA6E;AAC7E,SAAS,gBAAgB,CAAC,MAAe;IACvC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CACjB,IAA6B,EAC7B,IAAoC;IAEpC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1D,wEAAwE;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YACpB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,GAAG,CAAC;IACV,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAmB,EAAE,YAAoB;IAC5E,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,IAAI,IAAI,GAA4B,IAAI,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7C,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;QACjC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC5C,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,uDAAuD;QACvD,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;YAC5B,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,IAAI,GAAG,KAAK,CAAC;gBACb,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAY,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpB,IAAI,GAAG,KAAK,CAAC;oBACb,SAAS;gBACX,CAAC;YACH,CAAC;QACH,CAAC;QACD,yDAAyD;QACzD,IAAI,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC;YAC3C,IAAI,GAAG,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAmB,EACnB,YAAoB,EACpB,UAAkB;IAElB,sEAAsE;IACtE,2EAA2E;IAC3E,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC5D,IAAI,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEzD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEhG,MAAM,KAAK,GAAG,UAAU;SACrB,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SACpB,KAAK,CAAC,GAAG,CAAC;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/B,yEAAyE;IACzE,MAAM,OAAO,GAAG,CAAC,KAAc,EAAW,EAAE;QAC1C,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACnD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;QACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrD,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACjE,8EAA8E;IAC9E,qDAAqD;IACrD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAQD,MAAM,UAAU,YAAY,CAAC,MAAe;IAC1C,MAAM,IAAI,GAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvE,MAAM,KAAK,GACT,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,OAAO,CAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QAChC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,8EAA8E;YAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAChD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;oBACnC,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;IAC9C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,YAAqB;IAChE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,EAAE,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;IAChD,yFAAyF;IACzF,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9B,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAe;IACjD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACnC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAe;IAC1C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAClF,IAAI,OAAO,MAAM,CAAC,kBAAkB,CAAC,KAAK,QAAQ;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAClF,IAAI,OAAO,MAAM,CAAC,kBAAkB,CAAC,KAAK,QAAQ;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/validate-structure-facet.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Data-free structural checks for facet wrap XOR grid form.
+ * Layer grammar: validate-structure-layers.ts (+ layer-rule/ribbon/computed-y). Color schemes: validate-structure-scales.ts.
+ */
+import type { SpecError } from "./errors.js";
+export declare function coordFacetStructuralErrors(input: Record<string, unknown>): SpecError[];
+export declare function facetStructuralErrors(facet: Record<string, unknown>): SpecError[];
+//# sourceMappingURL=validate-structure-facet.d.ts.map

package/dist/validate-structure-facet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-structure-facet.d.ts","sourceRoot":"","sources":["../src/validate-structure-facet.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAAE,CA8BtF;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAAE,CAqCjF"}

package/dist/validate-structure-facet.js

@@ -0,0 +1,67 @@
+export function coordFacetStructuralErrors(input) {
+    const coord = input["coord"];
+    const facet = input["facet"];
+    if (typeof coord !== "object" ||
+        coord === null ||
+        Array.isArray(coord) ||
+        typeof facet !== "object" ||
+        facet === null ||
+        Array.isArray(facet)) {
+        return [];
+    }
+    const coordType = coord["type"];
+    if (coordType !== "fixed" && coordType !== "sf" && coordType !== "radial")
+        return [];
+    const scales = facet["scales"];
+    if (scales === undefined || scales === "fixed")
+        return [];
+    const coordName = coordType === "sf" ? "coord_sf" : coordType === "radial" ? "coord_radial" : "coord_fixed";
+    return [
+        {
+            code: "coord-fixed-free-scales",
+            path: "/facet/scales",
+            message: `${coordName} cannot use facet scales ${JSON.stringify(scales)} because panels would imply unequal physical data-unit lengths.`,
+            fix: {
+                description: `Use facet.scales = "fixed", or remove the ${coordName} coordinate.`,
+                example: "fixed",
+            },
+        },
+    ];
+}
+export function facetStructuralErrors(facet) {
+    const errors = [];
+    const hasWrap = facet["wrap"] !== undefined;
+    const hasGrid = facet["rows"] !== undefined || facet["cols"] !== undefined;
+    if (hasWrap && hasGrid) {
+        errors.push({
+            code: "facet-form-ambiguous",
+            path: "/facet",
+            message: "This facet mixes the wrap form (facet.wrap) with the grid form (facet.rows/facet.cols). Use wrap OR rows/cols, never both.",
+            fix: {
+                description: "Keep facet.wrap (and drop rows/cols), or keep rows/cols (and drop wrap).",
+                example: { wrap: { field: "group" }, ncol: 3 },
+            },
+        });
+    }
+    else if (!hasWrap && !hasGrid) {
+        errors.push({
+            code: "facet-form-missing",
+            path: "/facet",
+            message: "This facet sets neither wrap nor rows/cols — there is no field to partition panels by.",
+            fix: {
+                description: "Set facet.wrap (wrap form) or facet.rows/facet.cols (grid form).",
+                example: { wrap: { field: "group" } },
+            },
+        });
+    }
+    if (facet["ncol"] !== undefined && !hasWrap) {
+        errors.push({
+            code: "facet-ncol-without-wrap",
+            path: "/facet/ncol",
+            message: "facet.ncol only applies to the wrap form; the grid form's columns come from facet.cols' distinct values.",
+            fix: { description: "Remove ncol, or switch to the wrap form." },
+        });
+    }
+    return errors;
+}
+//# sourceMappingURL=validate-structure-facet.js.map

package/dist/validate-structure-facet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-structure-facet.js","sourceRoot":"","sources":["../src/validate-structure-facet.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,0BAA0B,CAAC,KAA8B;IACvE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EACpB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,SAAS,GAAI,KAAiC,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,SAAS,KAAK,OAAO,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACrF,MAAM,MAAM,GAAI,KAAiC,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,SAAS,GACb,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC;IAC5F,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,GAAG,SAAS,4BAA4B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,iEAAiE;YACxI,GAAG,EAAE;gBACH,WAAW,EAAE,6CAA6C,SAAS,cAAc;gBACjF,OAAO,EAAE,OAAO;aACjB;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAA8B;IAClE,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;IAC3E,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,QAAQ;YACd,OAAO,EACL,4HAA4H;YAC9H,GAAG,EAAE;gBACH,WAAW,EAAE,0EAA0E;gBACvF,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,QAAQ;YACd,OAAO,EACL,wFAAwF;YAC1F,GAAG,EAAE;gBACH,WAAW,EAAE,kEAAkE;gBAC/E,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;aACtC;SACF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE,aAAa;YACnB,OAAO,EACL,0GAA0G;YAC5G,GAAG,EAAE,EAAE,WAAW,EAAE,0CAA0C,EAAE;SACjE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/validate-structure-layer-computed-y.d.ts

@@ -0,0 +1,14 @@
+/**
+ * computed-y-mapped structural checks for geoms/stats that own y.
+ * Orchestrated by validate-structure-layers.ts.
+ *
+ * Each geom/stat family is checked independently (same as the pre-split
+ * sequential ifs) so an odd pairing can still emit more than one error.
+ */
+import type { SpecError } from "./errors.js";
+import type { ChannelName, ChannelValue } from "./schema.js";
+/** Reject data-mapped y when the geom/stat computes y. */
+export declare function computedYMappedErrors(geom: string, stat: string, layerPath: string, 
+/** Same shape as `effectiveChannel` — null unset already collapsed to undefined. */
+mapped: (channel: ChannelName) => Exclude<ChannelValue, null> | undefined): SpecError[];
+//# sourceMappingURL=validate-structure-layer-computed-y.d.ts.map

package/dist/validate-structure-layer-computed-y.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-structure-layer-computed-y.d.ts","sourceRoot":"","sources":["../src/validate-structure-layer-computed-y.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE7D,0DAA0D;AAC1D,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM;AACjB,oFAAoF;AACpF,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,SAAS,GACxE,SAAS,EAAE,CA4Eb"}

package/dist/validate-structure-layer-computed-y.js

@@ -0,0 +1,70 @@
+/** Reject data-mapped y when the geom/stat computes y. */
+export function computedYMappedErrors(geom, stat, layerPath, 
+/** Same shape as `effectiveChannel` — null unset already collapsed to undefined. */
+mapped) {
+    const errors = [];
+    const y = mapped("y");
+    // Unmapped or after_stat form ({ stat }) is fine; data-mapped y is not.
+    if (y === undefined || "stat" in y)
+        return errors;
+    if (geom === "bar" ||
+        geom === "histogram" ||
+        geom === "freqpoly" ||
+        (geom === "line" && stat === "bin")) {
+        errors.push({
+            code: "computed-y-mapped",
+            path: `${layerPath}/aes/y`,
+            message: `The ${geom} geom computes y with the ${stat} stat, so aes.y must not map data. Use geom "col" for pre-computed heights, or unset y with null.`,
+            fix: {
+                description: 'Switch the layer to geom "col" (identity stat) to draw mapped y values.',
+                example: { geom: "col" },
+            },
+        });
+    }
+    if (geom === "density") {
+        errors.push({
+            code: "computed-y-mapped",
+            path: `${layerPath}/aes/y`,
+            message: "The density geom computes y with the density stat, so aes.y must not map data. Map only x, or unset y with null.",
+            fix: {
+                description: "Remove the y mapping (or unset an inherited one with null).",
+                example: { geom: "density", aes: { y: null } },
+            },
+        });
+    }
+    if (geom === "function" || stat === "function") {
+        errors.push({
+            code: "computed-y-mapped",
+            path: `${layerPath}/aes/y`,
+            message: "The function geom/stat computes y from the named function, so aes.y must not map data. Unset y with null.",
+            fix: {
+                description: "Remove the y mapping (or unset an inherited one with null).",
+                example: { geom: "function", aes: { y: null }, params: { fun: "dnorm", xlim: [-3, 3] } },
+            },
+        });
+    }
+    if (geom === "dotplot" || stat === "bindot") {
+        errors.push({
+            code: "computed-y-mapped",
+            path: `${layerPath}/aes/y`,
+            message: "The dotplot geom computes y stack positions with the bindot stat, so aes.y must not map data. Map only x, or unset y with null.",
+            fix: {
+                description: "Remove the y mapping (or unset an inherited one with null).",
+                example: { geom: "dotplot", aes: { y: null } },
+            },
+        });
+    }
+    if (geom === "line" && stat === "ecdf") {
+        errors.push({
+            code: "computed-y-mapped",
+            path: `${layerPath}/aes/y`,
+            message: 'The ecdf stat computes y (cumulative proportion), so aes.y must not map data. Map only x, or use y: { stat: "ecdf" }.',
+            fix: {
+                description: 'Remove the y mapping (or set y: { stat: "ecdf" }).',
+                example: { geom: "line", stat: "ecdf", aes: { y: null } },
+            },
+        });
+    }
+    return errors;
+}
+//# sourceMappingURL=validate-structure-layer-computed-y.js.map

package/dist/validate-structure-layer-computed-y.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-structure-layer-computed-y.js","sourceRoot":"","sources":["../src/validate-structure-layer-computed-y.ts"],"names":[],"mappings":"AAUA,0DAA0D;AAC1D,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,IAAY,EACZ,SAAiB;AACjB,oFAAoF;AACpF,MAAyE;IAEzE,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,wEAAwE;IACxE,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IAElD,IACE,IAAI,KAAK,KAAK;QACd,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,UAAU;QACnB,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,GAAG,SAAS,QAAQ;YAC1B,OAAO,EAAE,OAAO,IAAI,6BAA6B,IAAI,mGAAmG;YACxJ,GAAG,EAAE;gBACH,WAAW,EAAE,yEAAyE;gBACtF,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;aACzB;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,GAAG,SAAS,QAAQ;YAC1B,OAAO,EACL,kHAAkH;YACpH,GAAG,EAAE;gBACH,WAAW,EAAE,6DAA6D;gBAC1E,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,GAAG,SAAS,QAAQ;YAC1B,OAAO,EACL,2GAA2G;YAC7G,GAAG,EAAE;gBACH,WAAW,EAAE,6DAA6D;gBAC1E,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;aACzF;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,GAAG,SAAS,QAAQ;YAC1B,OAAO,EACL,iIAAiI;YACnI,GAAG,EAAE;gBACH,WAAW,EAAE,6DAA6D;gBAC1E,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,GAAG,SAAS,QAAQ;YAC1B,OAAO,EACL,uHAAuH;YACzH,GAAG,EAAE;gBACH,WAAW,EAAE,oDAAoD;gBACjE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;aAC1D;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/validate-structure-layer-ribbon.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Ribbon geom structural form checks (orientation contracts).
+ * Orchestrated by validate-structure-layers.ts.
+ */
+import type { SpecError } from "./errors.js";
+import type { ChannelName } from "./schema.js";
+export declare function ribbonStructuralErrors(layer: Record<string, unknown>, layerPath: string, mapped: (channel: ChannelName) => unknown): SpecError[];
+//# sourceMappingURL=validate-structure-layer-ribbon.d.ts.map

package/dist/validate-structure-layer-ribbon.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-structure-layer-ribbon.d.ts","sourceRoot":"","sources":["../src/validate-structure-layer-ribbon.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,OAAO,GACxC,SAAS,EAAE,CA4Cb"}