zarr-metadata 0.6.0 → 0.8.0

package/README.md

@@ -78,11 +78,14 @@ format the conformance corpus asserts on.
 
 The structural validators check key presence, value shapes, and fixed
 literals without interpreting extension points, matching the Python
-package's layering. `validateArraySemanticsV3` is a separate,
-TS-only semantic layer on top: it interprets the well-known core extension
-points to enforce the specs' cross-field prose rules (regular chunk grid
-arity, transpose permutations, sharding divisibility, fill_value vs data
-type), skipping unrecognized names — the extension name space is open.
+package's layering. The semantic layer (`validateSemanticsV3` /
+`validateArraySemanticsV3`) is TS-only and sits on top, organized by
+content: `chunk-grids.ts`, `codecs.ts`, and `data-types.ts` each hold the
+syntax (configuration types) and semantics (required members, cross-field
+prose rules — grid arity and sums, transpose permutations, sharding
+divisibility, fill_value vs data type) for the names the package
+interprets, with `semantics.ts` as the document-walking orchestrator.
+Unrecognized names are skipped — the extension name space is open.
 
 Consumers include the
 [Zarr Metadata VS Code extension](https://github.com/d-v-b/vscode-zarr).

package/dist/chunk-grids.d.ts

@@ -0,0 +1,40 @@
+/**
+ * The chunk grids this package interprets: syntax (configuration types) and
+ * semantics (the spec's prose rules) for `regular` and `rectilinear`, in
+ * one place per grid. The structural document layer never reads this
+ * module — extension points are uninterpreted there by spec design.
+ */
+import type { PathedIssue } from "./errors.js";
+/** Configuration of the core `regular` chunk grid. */
+export interface RegularChunkGridConfiguration {
+    chunk_shape: number[];
+}
+/**
+ * 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[];
+}
+/** 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 declare function chunkGridVerdict(rawGrid: unknown, shape: number[] | undefined): ChunkGridVerdict;
+//# sourceMappingURL=chunk-grids.d.ts.map

package/dist/chunk-grids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chunk-grids.d.ts","sourceRoot":"","sources":["../src/chunk-grids.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C,sDAAsD;AACtD,MAAM,WAAW,6BAA6B;IAC5C,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3E,qEAAqE;AACrE,MAAM,WAAW,iCAAiC;IAChD,IAAI,EAAE,QAAQ,CAAC;IACf,YAAY,EAAE,kBAAkB,EAAE,CAAC;CACpC;AAED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB;;;OAGG;IACH,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,SAAS,CAAC;CACpC;AA0GD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,GAAG,gBAAgB,CAQhG"}

package/dist/chunk-grids.js

@@ -0,0 +1,133 @@
+/**
+ * The chunk grids this package interprets: syntax (configuration types) and
+ * semantics (the spec's prose rules) for `regular` and `rectilinear`, in
+ * one place per grid. The structural document layer never reads this
+ * module — extension points are uninterpreted there by spec design.
+ */
+import { configurationMissing, fieldParts, isIntArray, isPlainObject } from "./guards.js";
+function regularIssues(rawGrid, shape) {
+    const issues = [];
+    let chunkSizes;
+    const configuration = fieldParts(rawGrid)?.configuration;
+    if (configurationMissing(rawGrid)) {
+        issues.push({
+            path: [],
+            message: '"regular" requires a configuration with "chunk_shape"',
+            kind: "missing_key",
+        });
+    }
+    else if (configuration !== undefined && !Object.hasOwn(configuration, "chunk_shape")) {
+        issues.push({
+            path: ["configuration", "chunk_shape"],
+            message: "missing required key",
+            kind: "missing_key",
+        });
+    }
+    const configured = configuration?.["chunk_shape"];
+    if (isIntArray(configured)) {
+        if (shape !== undefined && configured.length !== shape.length) {
+            issues.push({
+                path: ["configuration", "chunk_shape"],
+                message: `expected one length per dimension of shape (${shape.length})`,
+                kind: "invalid_value",
+            });
+            // wrong arity: unusable as division context
+        }
+        else {
+            chunkSizes = configured.map((length) => [length]);
+        }
+    }
+    return { issues, chunkSizes };
+}
+function rectilinearIssues(rawGrid, shape) {
+    const issues = [];
+    let chunkSizes;
+    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 = 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: ["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;
+            }
+        }
+    }
+    return { issues, chunkSizes };
+}
+/**
+ * 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, shape) {
+    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 };
+}
+//# sourceMappingURL=chunk-grids.js.map

package/dist/chunk-grids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chunk-grids.js","sourceRoot":"","sources":["../src/chunk-grids.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AA+B1F,SAAS,aAAa,CAAC,OAAgB,EAAE,KAA2B;IAClE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,UAAkC,CAAC;IACvC,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IACzD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,uDAAuD;YAChE,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;QACvF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC,eAAe,EAAE,aAAa,CAAC;YACtC,OAAO,EAAE,sBAAsB;YAC/B,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,EAAE,CAAC,aAAa,CAAC,CAAC;IAClD,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,eAAe,EAAE,aAAa,CAAC;gBACtC,OAAO,EAAE,+CAA+C,KAAK,CAAC,MAAM,GAAG;gBACvE,IAAI,EAAE,eAAe;aACtB,CAAC,CAAC;YACH,4CAA4C;QAC9C,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,KAA2B;IACtE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,UAAkC,CAAC;IACvC,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IACzD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,uEAAuE;YAChF,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,eAAe,EAAE,GAAG,CAAC;oBAC5B,OAAO,EAAE,sBAAsB;oBAC/B,IAAI,EAAE,aAAa;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC,cAAc,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC;gBACvC,OAAO,EAAE,8CAA8C,KAAK,CAAC,MAAM,GAAG;gBACtE,IAAI,EAAE,eAAe;aACtB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAA6B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;gBAC/D,kEAAkE;gBAClE,4CAA4C;gBAC5C,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;oBAAE,OAAQ,IAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,OAAO,SAAS,CAAC,CAAC,4BAA4B;gBACxE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;gBAChC,IAAI,KAAK,GAAG,CAAC,CAAC;gBACd,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;oBACzB,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC5B,KAAK,CAAC,GAAG,CAAC,KAAe,CAAC,CAAC;wBAC3B,KAAK,IAAI,KAAe,CAAC;oBAC3B,CAAC;yBAAM,IACL,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;wBACpB,KAAK,CAAC,MAAM,KAAK,CAAC;wBAClB,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;wBAC1B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC1B,CAAC;wBACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC;wBAC9B,KAAK,IAAK,KAAK,CAAC,CAAC,CAAY,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC;oBACvD,CAAC;yBAAM,CAAC;wBACN,OAAO,SAAS,CAAC,CAAC,6CAA6C;oBACjE,CAAC;gBACH,CAAC;gBACD,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBAC7C,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,CAAC,eAAe,EAAE,cAAc,EAAE,GAAG,CAAC;wBAC5C,OAAO,EAAE,mCAAmC,MAAM,oBAAoB,GAAG,SAAS,KAAK,EAAE;wBACzF,IAAI,EAAE,eAAe;qBACtB,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;YACpB,CAAC,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;gBACjD,UAAU,GAAG,MAAoB,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,KAA2B;IAC5E,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC3D,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,6BAA6B;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAC/C,CAAC"}

package/dist/codecs.d.ts

@@ -0,0 +1,37 @@
+/**
+ * The codecs this package interprets — `transpose` and `sharding_indexed` —
+ * syntax (configuration types) and semantics together, plus the pipeline
+ * walker that threads dimensional context between codecs (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
+ * module 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.
+ *
+ * Other codecs' required fields (blosc, gzip, zstd, ...) are deliberately
+ * NOT known here: they are registry-schema facts enforced by schema-driven
+ * tooling, and a second hardcoded source of truth would drift.
+ */
+import type { PathedIssue } from "./errors.js";
+import { type Path } from "./guards.js";
+/** Configuration of the core `transpose` codec. */
+export interface TransposeCodecConfiguration {
+    order: number[];
+}
+/** Configuration of the core `sharding_indexed` codec. */
+export interface ShardingIndexedCodecConfiguration {
+    chunk_shape: number[];
+    codecs: unknown[];
+    index_codecs: unknown[];
+    index_location?: "start" | "end";
+}
+/**
+ * Walk one codec pipeline. `initialDims` is the array dimensionality at
+ * this point (undefined when unknowable); `initialChunkSizes` 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.
+ */
+export declare function pipelineIssues(pipeline: unknown[], path: Path, initialDims: number | undefined, initialChunkSizes: number[][] | undefined): PathedIssue[];
+//# sourceMappingURL=codecs.d.ts.map

package/dist/codecs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codecs.d.ts","sourceRoot":"","sources":["../src/codecs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAgD,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAEtF,mDAAmD;AACnD,MAAM,WAAW,2BAA2B;IAC1C,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,0DAA0D;AAC1D,MAAM,WAAW,iCAAiC;IAChD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,cAAc,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC;CAClC;AAOD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,OAAO,EAAE,EACnB,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,iBAAiB,EAAE,MAAM,EAAE,EAAE,GAAG,SAAS,GACxC,WAAW,EAAE,CAoKf"}

package/dist/codecs.js

@@ -0,0 +1,182 @@
+/**
+ * The codecs this package interprets — `transpose` and `sharding_indexed` —
+ * syntax (configuration types) and semantics together, plus the pipeline
+ * walker that threads dimensional context between codecs (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
+ * module 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.
+ *
+ * Other codecs' required fields (blosc, gzip, zstd, ...) are deliberately
+ * NOT known here: they are registry-schema facts enforced by schema-driven
+ * tooling, and a second hardcoded source of truth would drift.
+ */
+import { configurationMissing, fieldParts, isIntArray } from "./guards.js";
+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. `initialDims` is the array dimensionality at
+ * this point (undefined when unknowable); `initialChunkSizes` 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.
+ */
+export function pipelineIssues(pipeline, path, initialDims, initialChunkSizes) {
+    const issues = [];
+    // The dimensional context THREADS through the pipeline: transpose permutes
+    // it, and anything this module 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;
+        const configMissing = configurationMissing(entry);
+        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 module 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;
+}
+//# sourceMappingURL=codecs.js.map

package/dist/codecs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codecs.js","sourceRoot":"","sources":["../src/codecs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,UAAU,EAAa,MAAM,aAAa,CAAC;AAetF,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,MAAM,UAAU,cAAc,CAC5B,QAAmB,EACnB,IAAU,EACV,WAA+B,EAC/B,iBAAyC;IAEzC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,2EAA2E;IAC3E,0EAA0E;IAC1E,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,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAClD,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,gEAAgE;YAChE,mEAAmE;YACnE,4CAA4C;YAC5C,WAAW,EAAE,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/data-types.d.ts

@@ -0,0 +1,12 @@
+/**
+ * The core data types this package interprets: fill-value syntax per type,
+ * in one place per family. Extension data types are skipped — their shapes
+ * are registry-schema facts, and the name space is open.
+ */
+/** A float fill value: a JSON number, a non-finite sentinel, or a hex string. */
+export type FloatFillValue = number | "NaN" | "Infinity" | "-Infinity" | string;
+/** A complex fill value: `[real, imaginary]`, each a float fill form. */
+export type ComplexFillValue = [FloatFillValue, FloatFillValue];
+/** The fill_value issue for a KNOWN core data type, if any; undefined otherwise. */
+export declare function fillValueIssue(dataTypeName: string, fill: unknown): string | undefined;
+//# sourceMappingURL=data-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"data-types.d.ts","sourceRoot":"","sources":["../src/data-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,iFAAiF;AACjF,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,KAAK,GAAG,UAAU,GAAG,WAAW,GAAG,MAAM,CAAC;AAEhF,yEAAyE;AACzE,MAAM,MAAM,gBAAgB,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;AAuChE,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CA8BtF"}

package/dist/data-types.js

@@ -0,0 +1,70 @@
+/**
+ * The core data types this package interprets: fill-value syntax per type,
+ * in one place per family. Extension data types are skipped — their shapes
+ * are registry-schema facts, and the name space is open.
+ */
+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. */
+export 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
+}
+//# sourceMappingURL=data-types.js.map

package/dist/data-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-types.js","sourceRoot":"","sources":["../src/data-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAQH,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,MAAM,UAAU,cAAc,CAAC,YAAoB,EAAE,IAAa;IAChE,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"}

package/dist/guards.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Shared value guards for the content modules (chunk grids, codecs, data
+ * types) and the semantics orchestrator. The structural document layer
+ * (validation.ts) keeps its own copies deliberately: it is the
+ * corpus-governed layer and stays self-contained.
+ */
+export type Path = ReadonlyArray<string | number>;
+export declare function isPlainObject(value: unknown): value is Record<string, unknown>;
+export declare function isIntArray(value: unknown): value is number[];
+/** The `{name, configuration}` of a metadata field, when extractable. */
+export declare function fieldParts(field: unknown): {
+    name: string;
+    configuration: Record<string, unknown> | undefined;
+} | undefined;
+/**
+ * Whether a metadata field genuinely lacks a `configuration` member (a
+ * malformed one — `configuration: 5` — is the structural layer's
+ * complaint, not the semantic layer's).
+ */
+export declare function configurationMissing(field: unknown): boolean;
+//# sourceMappingURL=guards.d.ts.map

package/dist/guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../src/guards.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAElD,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAI9E;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,EAAE,CAM5D;AAED,yEAAyE;AACzE,wBAAgB,UAAU,CACxB,KAAK,EAAE,OAAO,GACb;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;CAAE,GAAG,SAAS,CAUlF;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAI5D"}

package/dist/guards.js

@@ -0,0 +1,39 @@
+/**
+ * Shared value guards for the content modules (chunk grids, codecs, data
+ * types) and the semantics orchestrator. The structural document layer
+ * (validation.ts) keeps its own copies deliberately: it is the
+ * corpus-governed layer and stays self-contained.
+ */
+export 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;
+}
+export 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. */
+export 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;
+}
+/**
+ * Whether a metadata field genuinely lacks a `configuration` member (a
+ * malformed one — `configuration: 5` — is the structural layer's
+ * complaint, not the semantic layer's).
+ */
+export function configurationMissing(field) {
+    return (typeof field === "string" || (isPlainObject(field) && !Object.hasOwn(field, "configuration")));
+}
+//# sourceMappingURL=guards.js.map

package/dist/guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guards.js","sourceRoot":"","sources":["../src/guards.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,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,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,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,MAAM,UAAU,UAAU,CACxB,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;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAC9F,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -7,6 +7,9 @@
  */
 export type { JSONValue, ZarrV3MetadataFieldJSON, ZarrV3NamedConfigJSON } from "./common.js";
 export { flattenTree, formatTree, isEmptyTree, MetadataValidationError, treeOf, type ErrorTree, type Issue, type IssueKind, type IssuePath, type ParseResult, type PathedIssue, } from "./errors.js";
+export type { ChunkGridVerdict, RectilinearChunkGridConfiguration, RectilinearDimSpec, RegularChunkGridConfiguration, } from "./chunk-grids.js";
+export type { ShardingIndexedCodecConfiguration, TransposeCodecConfiguration, } from "./codecs.js";
+export type { ComplexFillValue, FloatFillValue } from "./data-types.js";
 export * from "./schemas.js";
 export * from "./semantics.js";
 export type { StandardSchemaV1 } from "./standard-schema.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EAAE,SAAS,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAC7F,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,uBAAuB,EACvB,MAAM,EACN,KAAK,SAAS,EACd,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,aAAa,CAAC;AACrB,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,YAAY,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EAAE,SAAS,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAC7F,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,uBAAuB,EACvB,MAAM,EACN,KAAK,SAAS,EACd,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,gBAAgB,EAChB,iCAAiC,EACjC,kBAAkB,EAClB,6BAA6B,GAC9B,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACxE,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,YAAY,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC"}

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,uBAAuB,EACvB,MAAM,GAOP,MAAM,aAAa,CAAC;AACrB,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAE/B,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,uBAAuB,EACvB,MAAM,GAOP,MAAM,aAAa,CAAC;AAYrB,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAE/B,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC"}