zarr-metadata 0.7.0 → 0.9.0

package/dist/semantics.js

@@ -1,432 +1,38 @@
 /**
- * Semantic (cross-field) validation for v3 array metadata.
+ * Semantic (cross-field) validation for v3 array metadata: the
+ * orchestrator. The rules themselves live with their content —
+ * `chunk-grid/`, `codec/`, and `data-type/` hold one module per
+ * interpreted name (grids, codecs, data types), each with its syntax
+ * (types) and semantics (procedures), mirroring how the spec, the Python
+ * reference's type layout, and the zarr-extensions registry are organized. This module only walks
+ * documents: extract shape, ask each content module for its verdicts,
+ * thread the chunk-size context into codec pipelines, and descend into a
+ * group's inline consolidated entries.
  *
- * The structural validators never interpret what an extension point names;
- * this module deliberately interprets a small set of WELL-KNOWN core
- * extension points to enforce the cross-field rules the specs state in
- * prose:
- *
- * - the `regular` chunk grid REQUIRES a configuration with `chunk_shape`,
- *   which has one length per dimension of `shape`;
- * - the `rectilinear` chunk grid requires a configuration with `kind` and
- *   `chunk_shapes`; `chunk_shapes` has one entry per dimension, and each
- *   explicit chunk list (integers and `[size, count]` run-length pairs)
- *   sums exactly to that dimension's length (the bare-integer uniform
- *   shorthand carries no sum constraint, like the regular grid);
- * - a `transpose` codec requires a configuration with `order`, a
- *   permutation of `0..n-1` with one entry per array dimension;
- * - a `sharding_indexed` codec requires a configuration with
- *   `chunk_shape`, `codecs`, and `index_codecs`; its inner `chunk_shape`
- *   matches the array's
- *   dimensionality and evenly divides every chunk it shards — the grid's
- *   chunk at the top level (each distinct per-dimension size, for
- *   rectilinear grids), the parent shard's inner chunk when sharding
- *   nests;
- * - `fill_value` has a JSON shape permitted for the named core data type
- *   (booleans for `bool`, ranged integers for the int types, numbers /
- *   the "NaN"-family sentinels / width-checked "0x…" strings for the
- *   float types, two-element arrays for the complex types).
- *
- * Dimensional context is THREADED through codec pipelines rather than
- * assumed constant (mirroring zarr-python's chunk-spec threading): a valid
- * `transpose` permutes the per-dimension chunk sizes for the codecs after
- * it, and any codec this layer cannot reason about — `reshape` may change
- * a chunk's rank, and unknown codecs may do anything — invalidates the
- * dimensional context for the rest of the pipeline instead of letting
- * stale array-level facts produce false verdicts.
- *
- * Required-configuration rules cover ONLY the names this layer interprets
- * (the two grids, transpose, sharding). Other extensions' required fields
- * are registry-schema facts — the editor's registry layer enforces them
- * from the vendored schemas, and duplicating that knowledge here as
- * hardcoded rules would drift. Unrecognized names are skipped everywhere —
- * the extension name space is open, and a rule that guessed would lie. This layer has no counterpart
+ * Unrecognized names are skipped everywhere — the extension name space is
+ * open, and a rule that guessed would lie. This layer has no counterpart
  * in the Python reference implementation (which stops at structure), so it
  * is covered by this package's own tests rather than the conformance
- * corpus.
+ * corpus. The structural document layer (validation.ts) stays
+ * content-agnostic and corpus-governed; it never reads the content
+ * modules.
  */
+import { chunkGridVerdict } from "./chunk-grid/index.js";
+import { pipelineIssues } from "./codec/index.js";
+import { dataTypeVerdict } from "./data-type/index.js";
 import { treeOf } from "./errors.js";
-function isPlainObject(value) {
-    if (typeof value !== "object" || value === null || Array.isArray(value))
-        return false;
-    const proto = Object.getPrototypeOf(value);
-    return proto === null || proto === Object.prototype;
-}
-function isIntArray(value) {
-    return (Array.isArray(value) &&
-        Object.keys(value).length === value.length &&
-        value.every((item) => Number.isInteger(item)));
-}
-/** The `{name, configuration}` of a metadata field, when extractable. */
-function fieldParts(field) {
-    if (typeof field === "string")
-        return { name: field, configuration: undefined };
-    if (isPlainObject(field) && typeof field["name"] === "string") {
-        const configuration = field["configuration"];
-        return {
-            name: field["name"],
-            configuration: isPlainObject(configuration) ? configuration : undefined,
-        };
-    }
-    return undefined;
-}
-// --- fill_value vs data_type ----------------------------------------------
-const INT_RANGES = {
-    int8: [-128, 127],
-    int16: [-32768, 32767],
-    int32: [-2147483648, 2147483647],
-    int64: [-9223372036854775808, 9223372036854775807],
-    uint8: [0, 255],
-    uint16: [0, 65535],
-    uint32: [0, 4294967295],
-    uint64: [0, 18446744073709551615],
-};
-const FLOAT_HEX_DIGITS = {
-    float16: 4,
-    float32: 8,
-    float64: 16,
-};
-/** Hex digit width of each complex type's component floats. */
-const COMPLEX_COMPONENT_HEX_DIGITS = {
-    complex64: 8,
-    complex128: 16,
-};
-function isFloatFill(value, hexDigits) {
-    if (typeof value === "number")
-        return true;
-    if (typeof value !== "string")
-        return false;
-    if (value === "NaN" || value === "Infinity" || value === "-Infinity")
-        return true;
-    return new RegExp(`^0x[0-9a-fA-F]{${hexDigits}}$`).test(value);
-}
-function floatFillMessage(name, hexDigits) {
-    return (`expected a number, "NaN", "Infinity", "-Infinity", or a ` +
-        `${hexDigits}-hex-digit "0x..." string for data type ${JSON.stringify(name)}`);
-}
-/** The fill_value issue for a KNOWN core data type, if any; undefined otherwise. */
-function fillValueIssue(dataTypeName, fill) {
-    if (dataTypeName === "bool") {
-        return typeof fill === "boolean"
-            ? undefined
-            : 'expected a boolean fill value for data type "bool"';
-    }
-    const intRange = INT_RANGES[dataTypeName];
-    if (intRange !== undefined) {
-        const [low, high] = intRange;
-        return Number.isInteger(fill) && fill >= low && fill <= high
-            ? undefined
-            : `expected an integer in [${low}, ${high}] for data type ${JSON.stringify(dataTypeName)}`;
-    }
-    const floatDigits = FLOAT_HEX_DIGITS[dataTypeName];
-    if (floatDigits !== undefined) {
-        return isFloatFill(fill, floatDigits)
-            ? undefined
-            : floatFillMessage(dataTypeName, floatDigits);
-    }
-    const complexDigits = COMPLEX_COMPONENT_HEX_DIGITS[dataTypeName];
-    if (complexDigits !== undefined) {
-        const ok = Array.isArray(fill) &&
-            fill.length === 2 &&
-            fill.every((part) => isFloatFill(part, complexDigits));
-        return ok
-            ? undefined
-            : `expected a two-element [real, imaginary] array for data type ${JSON.stringify(dataTypeName)}`;
-    }
-    return undefined; // unrecognized data type: no verdict
-}
-// --- codec pipelines (transpose / sharding) --------------------------------
-function isPermutation(order) {
-    const seen = new Set(order);
-    return seen.size === order.length && order.every((entry) => entry >= 0 && entry < order.length);
-}
-/**
- * Walk one codec pipeline. `dims` is the array dimensionality at this point
- * (undefined when unknowable); `outerChunkSizes` holds the distinct chunk
- * lengths per dimension this pipeline may encode — what a sharding codec's
- * inner chunks must divide. A regular grid contributes one size per
- * dimension; a rectilinear grid may contribute several.
- */
-function pipelineIssues(pipeline, path, initialDims, initialChunkSizes) {
-    const issues = [];
-    // The dimensional context THREADS through the pipeline: transpose permutes
-    // it, and anything this layer cannot reason about invalidates it for the
-    // remaining codecs.
-    let dims = initialDims;
-    let chunkSizes = initialChunkSizes;
-    const dropContext = () => {
-        dims = undefined;
-        chunkSizes = undefined;
-    };
-    pipeline.forEach((entry, index) => {
-        const parts = fieldParts(entry);
-        if (parts === undefined) {
-            dropContext(); // structurally invalid entry: no further reasoning
-            return;
-        }
-        const { name, configuration } = parts;
-        // Whether the entry genuinely lacks a configuration member (a malformed
-        // one is the structural layer's complaint, not ours).
-        const configMissing = typeof entry === "string" ||
-            (isPlainObject(entry) && !Object.hasOwn(entry, "configuration"));
-        if (name === "transpose") {
-            if (configMissing) {
-                issues.push({
-                    path: [...path, index],
-                    message: '"transpose" requires a configuration with "order"',
-                    kind: "missing_key",
-                });
-                dropContext();
-                return;
-            }
-            if (configuration !== undefined && !Object.hasOwn(configuration, "order")) {
-                issues.push({
-                    path: [...path, index, "configuration", "order"],
-                    message: "missing required key",
-                    kind: "missing_key",
-                });
-                dropContext();
-                return;
-            }
-            const order = configuration?.["order"];
-            if (!isIntArray(order)) {
-                dropContext(); // shape errors are the schema layer's
-                return;
-            }
-            const orderPath = [...path, index, "configuration", "order"];
-            let sound = true;
-            if (!isPermutation(order)) {
-                sound = false;
-                issues.push({
-                    path: orderPath,
-                    message: `expected a permutation of the integers 0..${order.length - 1}`,
-                    kind: "invalid_value",
-                });
-            }
-            if (dims !== undefined && order.length !== dims) {
-                sound = false;
-                issues.push({
-                    path: orderPath,
-                    message: `expected one entry per array dimension (${dims})`,
-                    kind: "invalid_value",
-                });
-            }
-            if (!sound) {
-                dropContext();
-            }
-            else if (chunkSizes !== undefined) {
-                const sizes = chunkSizes;
-                chunkSizes =
-                    order.length === sizes.length
-                        ? order.map((axis) => sizes[axis])
-                        : undefined;
-            }
-        }
-        else if (name === "sharding_indexed") {
-            if (configMissing) {
-                issues.push({
-                    path: [...path, index],
-                    message: '"sharding_indexed" requires a configuration with "chunk_shape", "codecs", and "index_codecs"',
-                    kind: "missing_key",
-                });
-                dropContext();
-                return;
-            }
-            if (configuration !== undefined) {
-                for (const key of ["chunk_shape", "codecs", "index_codecs"]) {
-                    if (!Object.hasOwn(configuration, key)) {
-                        issues.push({
-                            path: [...path, index, "configuration", key],
-                            message: "missing required key",
-                            kind: "missing_key",
-                        });
-                    }
-                }
-            }
-            const chunkShape = configuration?.["chunk_shape"];
-            if (!isIntArray(chunkShape)) {
-                // Still walk a present inner pipeline (entries deserve their own
-                // verdicts) before the context becomes unknowable.
-                const inner = configuration?.["codecs"];
-                if (Array.isArray(inner)) {
-                    issues.push(...pipelineIssues(inner, [...path, index, "configuration", "codecs"], undefined, undefined));
-                }
-                dropContext();
-                return;
-            }
-            const chunkShapePath = [...path, index, "configuration", "chunk_shape"];
-            if (dims !== undefined && chunkShape.length !== dims) {
-                issues.push({
-                    path: chunkShapePath,
-                    message: `expected one length per array dimension (${dims})`,
-                    kind: "invalid_value",
-                });
-            }
-            else if (chunkSizes !== undefined &&
-                chunkShape.length === chunkSizes.length &&
-                chunkShape.every((length) => length > 0)) {
-                let violation;
-                chunkSizes.forEach((sizes, axis) => {
-                    if (violation !== undefined)
-                        return;
-                    const bad = sizes.find((size) => size % chunkShape[axis] !== 0);
-                    if (bad !== undefined)
-                        violation = { axis, size: bad };
-                });
-                if (violation !== undefined) {
-                    const { axis, size } = violation;
-                    const sizesNow = chunkSizes;
-                    const uniform = sizesNow.every((sizes) => sizes.length === 1);
-                    issues.push({
-                        path: chunkShapePath,
-                        message: uniform
-                            ? `expected ${JSON.stringify(chunkShape)} to evenly divide the outer chunk shape ${JSON.stringify(sizesNow.map((sizes) => sizes[0]))}`
-                            : `expected ${JSON.stringify(chunkShape)} to evenly divide every chunk size of the grid (dimension ${axis} has chunk size ${size})`,
-                        kind: "invalid_value",
-                    });
-                }
-            }
-            const inner = configuration?.["codecs"];
-            if (Array.isArray(inner)) {
-                issues.push(...pipelineIssues(inner, [...path, index, "configuration", "codecs"], chunkShape.length, chunkShape.map((length) => [length])));
-            }
-            // index_codecs encode the shard index, whose shape differs from the
-            // array's — no dimensional context applies there. After the
-            // array -> bytes boundary the dimensional context is spent.
-            dropContext();
-        }
-        else {
-            // A codec this layer cannot reason about (reshape may change a
-            // chunk's rank; unknown codecs may do anything): stale array-level
-            // facts must not judge the codecs after it.
-            dropContext();
-        }
-    });
-    return issues;
-}
+import { isIntArray, isPlainObject } from "./guards.js";
 function arraySemanticsIssues(value) {
     if (!isPlainObject(value) || value["node_type"] !== "array")
         return [];
     const issues = [];
     const shape = isIntArray(value["shape"]) ? value["shape"] : undefined;
-    const dims = shape?.length;
-    const rawGrid = value["chunk_grid"];
-    const grid = fieldParts(rawGrid);
-    // Whether the field genuinely lacks a configuration member (a malformed
-    // one — configuration: 5 — is the structural layer's complaint, not ours).
-    const configMissing = typeof rawGrid === "string" ||
-        (isPlainObject(rawGrid) && !Object.hasOwn(rawGrid, "configuration"));
-    let chunkSizes;
-    if (grid?.name === "regular") {
-        if (configMissing) {
-            issues.push({
-                path: ["chunk_grid"],
-                message: '"regular" requires a configuration with "chunk_shape"',
-                kind: "missing_key",
-            });
-        }
-        else if (grid.configuration !== undefined && !Object.hasOwn(grid.configuration, "chunk_shape")) {
-            issues.push({
-                path: ["chunk_grid", "configuration", "chunk_shape"],
-                message: "missing required key",
-                kind: "missing_key",
-            });
-        }
-        const configured = grid.configuration?.["chunk_shape"];
-        if (isIntArray(configured)) {
-            if (dims !== undefined && configured.length !== dims) {
-                issues.push({
-                    path: ["chunk_grid", "configuration", "chunk_shape"],
-                    message: `expected one length per dimension of shape (${dims})`,
-                    kind: "invalid_value",
-                });
-                // wrong arity: unusable as division context
-            }
-            else {
-                chunkSizes = configured.map((length) => [length]);
-            }
-        }
-    }
-    else if (grid?.name === "rectilinear") {
-        if (configMissing) {
-            issues.push({
-                path: ["chunk_grid"],
-                message: '"rectilinear" requires a configuration with "kind" and "chunk_shapes"',
-                kind: "missing_key",
-            });
-        }
-        else if (grid.configuration !== undefined) {
-            for (const key of ["kind", "chunk_shapes"]) {
-                if (!Object.hasOwn(grid.configuration, key)) {
-                    issues.push({
-                        path: ["chunk_grid", "configuration", key],
-                        message: "missing required key",
-                        kind: "missing_key",
-                    });
-                }
-            }
-        }
-        const specs = grid.configuration?.["chunk_shapes"];
-        if (Array.isArray(specs)) {
-            if (dims !== undefined && specs.length !== dims) {
-                issues.push({
-                    path: ["chunk_grid", "configuration", "chunk_shapes"],
-                    message: `expected one entry per dimension of shape (${dims})`,
-                    kind: "invalid_value",
-                });
-            }
-            else {
-                const perDim = specs.map((spec, dim) => {
-                    // Bare integer: uniform shorthand, no sum constraint (edge chunks
-                    // are permitted, as with the regular grid).
-                    if (Number.isInteger(spec))
-                        return spec > 0 ? [spec] : undefined;
-                    if (!Array.isArray(spec))
-                        return undefined; // registry schema's problem
-                    const sizes = new Set();
-                    let total = 0;
-                    for (const entry of spec) {
-                        if (Number.isInteger(entry)) {
-                            sizes.add(entry);
-                            total += entry;
-                        }
-                        else if (Array.isArray(entry) &&
-                            entry.length === 2 &&
-                            Number.isInteger(entry[0]) &&
-                            Number.isInteger(entry[1])) {
-                            sizes.add(entry[0]);
-                            total += entry[0] * entry[1];
-                        }
-                        else {
-                            return undefined; // malformed entry: registry schema's problem
-                        }
-                    }
-                    const extent = shape?.[dim];
-                    if (extent !== undefined && total !== extent) {
-                        issues.push({
-                            path: ["chunk_grid", "configuration", "chunk_shapes", dim],
-                            message: `expected chunk sizes summing to ${extent} along dimension ${dim}, got ${total}`,
-                            kind: "invalid_value",
-                        });
-                    }
-                    return [...sizes];
-                });
-                if (perDim.every((sizes) => sizes !== undefined)) {
-                    chunkSizes = perDim;
-                }
-            }
-        }
-    }
-    const dataType = fieldParts(value["data_type"]);
-    if (dataType !== undefined && "fill_value" in value) {
-        const message = fillValueIssue(dataType.name, value["fill_value"]);
-        if (message !== undefined) {
-            issues.push({ path: ["fill_value"], message, kind: "invalid_value" });
-        }
-    }
+    const grid = chunkGridVerdict(value["chunk_grid"], shape);
+    issues.push(...grid.issues.map((issue) => ({ ...issue, path: ["chunk_grid", ...issue.path] })));
+    issues.push(...dataTypeVerdict(value["data_type"], "fill_value" in value, value["fill_value"]));
     const codecs = value["codecs"];
     if (Array.isArray(codecs)) {
-        issues.push(...pipelineIssues(codecs, ["codecs"], dims, chunkSizes));
+        issues.push(...pipelineIssues(codecs, ["codecs"], shape?.length, grid.chunkSizes));
     }
     return issues;
 }

package/dist/semantics.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantics.js","sourceRoot":"","sources":["../src/semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,EAAE,MAAM,EAAoC,MAAM,aAAa,CAAC;AAIvE,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,KAAK,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC1C,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,UAAU,CACjB,KAAc;IAEd,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IAChF,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC;YACnB,aAAa,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SACxE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6EAA6E;AAE7E,MAAM,UAAU,GAA8C;IAC5D,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,KAAK,EAAE,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;IACf,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC;IAClB,MAAM,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,EAAE,oBAAoB,CAAC;CAClC,CAAC;AAEF,MAAM,gBAAgB,GAA2B;IAC/C,OAAO,EAAE,CAAC;IACV,OAAO,EAAE,CAAC;IACV,OAAO,EAAE,EAAE;CACZ,CAAC;AAEF,+DAA+D;AAC/D,MAAM,4BAA4B,GAA2B;IAC3D,SAAS,EAAE,CAAC;IACZ,UAAU,EAAE,EAAE;CACf,CAAC;AAEF,SAAS,WAAW,CAAC,KAAc,EAAE,SAAiB;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAClF,OAAO,IAAI,MAAM,CAAC,kBAAkB,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,SAAiB;IACvD,OAAO,CACL,0DAA0D;QAC1D,GAAG,SAAS,2CAA2C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAC9E,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,cAAc,CAAC,YAAoB,EAAE,IAAa;IACzD,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,OAAO,IAAI,KAAK,SAAS;YAC9B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,oDAAoD,CAAC;IAC3D,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;IAC1C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC;QAC7B,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAK,IAAe,IAAI,GAAG,IAAK,IAAe,IAAI,IAAI;YAClF,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,2BAA2B,GAAG,KAAK,IAAI,mBAAmB,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACnD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC;YACnC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,gBAAgB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,aAAa,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;IACjE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,EAAE,GACN,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACnB,IAAI,CAAC,MAAM,KAAK,CAAC;YACjB,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE;YACP,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,gEAAgE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;IACrG,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,qCAAqC;AACzD,CAAC;AAED,8EAA8E;AAE9E,SAAS,aAAa,CAAC,KAAe;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;AAClG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CACrB,QAAmB,EACnB,IAAU,EACV,WAA+B,EAC/B,iBAAyC;IAEzC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,2EAA2E;IAC3E,yEAAyE;IACzE,oBAAoB;IACpB,IAAI,IAAI,GAAG,WAAW,CAAC;IACvB,IAAI,UAAU,GAAG,iBAAiB,CAAC;IACnC,MAAM,WAAW,GAAG,GAAS,EAAE;QAC7B,IAAI,GAAG,SAAS,CAAC;QACjB,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC,CAAC;IACF,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,WAAW,EAAE,CAAC,CAAC,mDAAmD;YAClE,OAAO;QACT,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;QACtC,wEAAwE;QACxE,sDAAsD;QACtD,MAAM,aAAa,GACjB,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;QACnE,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC;oBACtB,OAAO,EAAE,mDAAmD;oBAC5D,IAAI,EAAE,aAAa;iBACpB,CAAC,CAAC;gBACH,WAAW,EAAE,CAAC;gBACd,OAAO;YACT,CAAC;YACD,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC1E,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC;oBAChD,OAAO,EAAE,sBAAsB;oBAC/B,IAAI,EAAE,aAAa;iBACpB,CAAC,CAAC;gBACH,WAAW,EAAE,CAAC;gBACd,OAAO;YACT,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,WAAW,EAAE,CAAC,CAAC,sCAAsC;gBACrD,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAI,KAAK,GAAG,IAAI,CAAC;YACjB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,KAAK,GAAG,KAAK,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,6CAA6C,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;oBACxE,IAAI,EAAE,eAAe;iBACtB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAChD,KAAK,GAAG,KAAK,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,2CAA2C,IAAI,GAAG;oBAC3D,IAAI,EAAE,eAAe;iBACtB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,WAAW,EAAE,CAAC;YAChB,CAAC;iBAAM,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,UAAU,CAAC;gBACzB,UAAU;oBACR,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;wBAC3B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;wBAC9C,CAAC,CAAC,SAAS,CAAC;YAClB,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACvC,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC;oBACtB,OAAO,EACL,8FAA8F;oBAChG,IAAI,EAAE,aAAa;iBACpB,CAAC,CAAC;gBACH,WAAW,EAAE,CAAC;gBACd,OAAO;YACT,CAAC;YACD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC;oBAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC;wBACvC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,CAAC;4BAC5C,OAAO,EAAE,sBAAsB;4BAC/B,IAAI,EAAE,aAAa;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,UAAU,GAAG,aAAa,EAAE,CAAC,aAAa,CAAC,CAAC;YAClD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC5B,iEAAiE;gBACjE,mDAAmD;gBACnD,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;gBACxC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,CACT,GAAG,cAAc,CACf,KAAK,EACL,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,CAAC,EAC3C,SAAS,EACT,SAAS,CACV,CACF,CAAC;gBACJ,CAAC;gBACD,WAAW,EAAE,CAAC;gBACd,OAAO;YACT,CAAC;YACD,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;YACxE,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBACrD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,4CAA4C,IAAI,GAAG;oBAC5D,IAAI,EAAE,eAAe;iBACtB,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,UAAU,KAAK,SAAS;gBACxB,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;gBACvC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,EACxC,CAAC;gBACD,IAAI,SAAqD,CAAC;gBAC1D,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;oBACjC,IAAI,SAAS,KAAK,SAAS;wBAAE,OAAO;oBACpC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAI,UAAU,CAAC,IAAI,CAAY,KAAK,CAAC,CAAC,CAAC;oBAC5E,IAAI,GAAG,KAAK,SAAS;wBAAE,SAAS,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gBACzD,CAAC,CAAC,CAAC;gBACH,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;oBACjC,MAAM,QAAQ,GAAG,UAAU,CAAC;oBAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;oBAC9D,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,cAAc;wBACpB,OAAO,EAAE,OAAO;4BACd,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,2CAA2C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;4BACtI,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,6DAA6D,IAAI,mBAAmB,IAAI,GAAG;wBACrI,IAAI,EAAE,eAAe;qBACtB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CACT,GAAG,cAAc,CACf,KAAK,EACL,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,CAAC,EAC3C,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CACrC,CACF,CAAC;YACJ,CAAC;YACD,oEAAoE;YACpE,4DAA4D;YAC5D,4DAA4D;YAC5D,WAAW,EAAE,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,mEAAmE;YACnE,4CAA4C;YAC5C,WAAW,EAAE,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IACvE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,IAAI,GAAG,KAAK,EAAE,MAAM,CAAC;IAE3B,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACjC,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,aAAa,GACjB,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;IACvE,IAAI,UAAkC,CAAC;IACvC,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,YAAY,CAAC;gBACpB,OAAO,EAAE,uDAAuD;gBAChE,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;YACjG,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,aAAa,CAAC;gBACpD,OAAO,EAAE,sBAAsB;gBAC/B,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,aAAa,CAAC,CAAC;QACvD,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3B,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBACrD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,aAAa,CAAC;oBACpD,OAAO,EAAE,+CAA+C,IAAI,GAAG;oBAC/D,IAAI,EAAE,eAAe;iBACtB,CAAC,CAAC;gBACH,4CAA4C;YAC9C,CAAC;iBAAM,CAAC;gBACN,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,EAAE,IAAI,KAAK,aAAa,EAAE,CAAC;QACxC,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,YAAY,CAAC;gBACpB,OAAO,EAAE,uEAAuE;gBAChF,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC5C,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,CAAC;wBAC1C,OAAO,EAAE,sBAAsB;wBAC/B,IAAI,EAAE,aAAa;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,CAAC;oBACrD,OAAO,EAAE,8CAA8C,IAAI,GAAG;oBAC9D,IAAI,EAAE,eAAe;iBACtB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAA6B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;oBAC/D,kEAAkE;oBAClE,4CAA4C;oBAC5C,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;wBAAE,OAAO,IAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBACrF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;wBAAE,OAAO,SAAS,CAAC,CAAC,4BAA4B;oBACxE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;oBAChC,IAAI,KAAK,GAAG,CAAC,CAAC;oBACd,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;wBACzB,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC5B,KAAK,CAAC,GAAG,CAAC,KAAe,CAAC,CAAC;4BAC3B,KAAK,IAAI,KAAe,CAAC;wBAC3B,CAAC;6BAAM,IACL,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;4BACpB,KAAK,CAAC,MAAM,KAAK,CAAC;4BAClB,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;4BAC1B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC1B,CAAC;4BACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC;4BAC9B,KAAK,IAAK,KAAK,CAAC,CAAC,CAAY,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC;wBACvD,CAAC;6BAAM,CAAC;4BACN,OAAO,SAAS,CAAC,CAAC,6CAA6C;wBACjE,CAAC;oBACH,CAAC;oBACD,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;oBAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;wBAC7C,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG,CAAC;4BAC1D,OAAO,EAAE,mCAAmC,MAAM,oBAAoB,GAAG,SAAS,KAAK,EAAE;4BACzF,IAAI,EAAE,eAAe;yBACtB,CAAC,CAAC;oBACL,CAAC;oBACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;gBACpB,CAAC,CAAC,CAAC;gBACH,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;oBACjD,UAAU,GAAG,MAAoB,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,OAAO,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,0EAA0E;AAC1E,iEAAiE;AACjE,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAElC,SAAS,sBAAsB,CAAC,KAAc,EAAE,KAAa;IAC3D,IAAI,KAAK,IAAI,sBAAsB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,OAAO;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACpD,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CACT,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1D,GAAG,KAAK;YACR,IAAI,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;SAChE,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,OAAO,MAAM,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}
+{"version":3,"file":"semantics.js","sourceRoot":"","sources":["../src/semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAoC,MAAM,aAAa,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAExD,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IACvE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEtE,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,MAAM,CAAC,IAAI,CACT,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CACnF,CAAC;IAEF,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,YAAY,IAAI,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAEhG,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,OAAO,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,0EAA0E;AAC1E,iEAAiE;AACjE,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAElC,SAAS,sBAAsB,CAAC,KAAc,EAAE,KAAa;IAC3D,IAAI,KAAK,IAAI,sBAAsB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,OAAO;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACpD,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CACT,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1D,GAAG,KAAK;YACR,IAAI,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;SAChE,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,OAAO,MAAM,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zarr-metadata",
-  "version": "0.7.0",
+  "version": "0.9.0",
   "description": "Spec-defined metadata types and validators for Zarr v2 and v3.",
   "license": "MIT",
   "type": "module",
@@ -34,7 +34,8 @@
     "clean": "rm -rf dist",
     "prepack": "npm run clean && npm run build",
     "test": "vitest run",
-    "typecheck": "tsc -p tsconfig.json --noEmit && tsc -p tsconfig.test.json"
+    "typecheck": "tsc -p tsconfig.json --noEmit && tsc -p tsconfig.test.json",
+    "docs": "typedoc"
   },
   "keywords": [
     "zarr",
@@ -45,6 +46,7 @@
     "@changesets/cli": "^3.0.1",
     "@standard-schema/spec": "^1.1.0",
     "@types/node": "^26.4.0",
+    "typedoc": "^0.28.20",
     "typescript": "^5.6.0",
     "vitest": "^3.0.0"
   }

package/src/chunk-grid/index.ts

@@ -0,0 +1,40 @@
+/**
+ * The chunk grids this package interprets, one module per grid, assembled
+ * into the dispatch the semantic layer uses. The structural document layer
+ * never reads these modules — extension points are uninterpreted there by
+ * spec design.
+ */
+import type { PathedIssue } from "../errors.js";
+import { fieldParts, isPlainObject } from "../guards.js";
+import { regularIssues } from "./regular.js";
+import { rectilinearIssues } from "./rectilinear.js";
+
+export type { RegularChunkGridConfiguration } from "./regular.js";
+export type { RectilinearChunkGridConfiguration, RectilinearDimSpec } from "./rectilinear.js";
+
+/** What interpreting a chunk grid yields for the rest of the semantic layer. */
+export interface ChunkGridVerdict {
+  /** Issues, pathed relative to the `chunk_grid` field. */
+  issues: PathedIssue[];
+  /**
+   * Distinct chunk lengths per dimension — the division context a
+   * sharding codec's inner chunks must satisfy — when derivable.
+   */
+  chunkSizes: number[][] | undefined;
+}
+
+/**
+ * Interpret a document's `chunk_grid` field: required members, cross-field
+ * rules against `shape`, and the division context for codec pipelines.
+ * Unrecognized grid names yield no issues and no context — the extension
+ * name space is open.
+ */
+export function chunkGridVerdict(rawGrid: unknown, shape: number[] | undefined): ChunkGridVerdict {
+  if (!isPlainObject(rawGrid) && typeof rawGrid !== "string") {
+    return { issues: [], chunkSizes: undefined }; // structural layer's problem
+  }
+  const name = fieldParts(rawGrid)?.name;
+  if (name === "regular") return regularIssues(rawGrid, shape);
+  if (name === "rectilinear") return rectilinearIssues(rawGrid, shape);
+  return { issues: [], chunkSizes: undefined };
+}

package/src/chunk-grid/rectilinear.ts

@@ -0,0 +1,88 @@
+/** The zarr-extensions `rectilinear` chunk grid: syntax and semantics. */
+import type { PathedIssue } from "../errors.js";
+import { configurationMissing, fieldParts, isIntArray } from "../guards.js";
+import type { ChunkGridVerdict } from "./index.js";
+
+/**
+ * One dimension's spec in a rectilinear grid: a bare integer (uniform
+ * shorthand, no sum constraint) or a list of chunk sizes and
+ * `[size, count]` run-length pairs that must sum to the dimension length.
+ */
+export type RectilinearDimSpec = number | Array<number | [number, number]>;
+
+/** Configuration of the zarr-extensions `rectilinear` chunk grid. */
+export interface RectilinearChunkGridConfiguration {
+  kind: "inline";
+  chunk_shapes: RectilinearDimSpec[];
+}
+
+export function rectilinearIssues(rawGrid: unknown, shape: number[] | undefined): ChunkGridVerdict {
+  const issues: PathedIssue[] = [];
+  let chunkSizes: number[][] | undefined;
+  const configuration = fieldParts(rawGrid)?.configuration;
+  if (configurationMissing(rawGrid)) {
+    issues.push({
+      path: [],
+      message: '"rectilinear" requires a configuration with "kind" and "chunk_shapes"',
+      kind: "missing_key",
+    });
+  } else if (configuration !== undefined) {
+    for (const key of ["kind", "chunk_shapes"]) {
+      if (!Object.hasOwn(configuration, key)) {
+        issues.push({
+          path: ["configuration", key],
+          message: "missing required key",
+          kind: "missing_key",
+        });
+      }
+    }
+  }
+  const specs = configuration?.["chunk_shapes"];
+  if (Array.isArray(specs)) {
+    if (shape !== undefined && specs.length !== shape.length) {
+      issues.push({
+        path: ["configuration", "chunk_shapes"],
+        message: `expected one entry per dimension of shape (${shape.length})`,
+        kind: "invalid_value",
+      });
+    } else {
+      const perDim: (number[] | undefined)[] = specs.map((spec, dim) => {
+        // Bare integer: uniform shorthand, no sum constraint (edge chunks
+        // are permitted, as with the regular grid).
+        if (Number.isInteger(spec)) return (spec as number) > 0 ? [spec as number] : undefined;
+        if (!Array.isArray(spec)) return undefined; // registry schema's problem
+        const sizes = new Set<number>();
+        let total = 0;
+        for (const entry of spec) {
+          if (Number.isInteger(entry)) {
+            sizes.add(entry as number);
+            total += entry as number;
+          } else if (
+            Array.isArray(entry) &&
+            entry.length === 2 &&
+            Number.isInteger(entry[0]) &&
+            Number.isInteger(entry[1])
+          ) {
+            sizes.add(entry[0] as number);
+            total += (entry[0] as number) * (entry[1] as number);
+          } else {
+            return undefined; // malformed entry: registry schema's problem
+          }
+        }
+        const extent = shape?.[dim];
+        if (extent !== undefined && total !== extent) {
+          issues.push({
+            path: ["configuration", "chunk_shapes", dim],
+            message: `expected chunk sizes summing to ${extent} along dimension ${dim}, got ${total}`,
+            kind: "invalid_value",
+          });
+        }
+        return [...sizes];
+      });
+      if (perDim.every((sizes) => sizes !== undefined)) {
+        chunkSizes = perDim as number[][];
+      }
+    }
+  }
+  return { issues, chunkSizes };
+}