zarr-metadata 0.8.0 → 0.9.0

package/dist/chunk-grids.d.ts

@@ -1,40 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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

@@ -1,37 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,182 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,12 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,70 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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/src/codecs.ts

@@ -1,214 +0,0 @@
-/**
- * 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 { configurationMissing, fieldParts, isIntArray, 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";
-}
-
-function isPermutation(order: number[]): boolean {
-  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: unknown[],
-  path: Path,
-  initialDims: number | undefined,
-  initialChunkSizes: number[][] | undefined,
-): PathedIssue[] {
-  const issues: PathedIssue[] = [];
-  // 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 = (): void => {
-    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] as number[])
-            : 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: { axis: number; size: number } | undefined;
-        chunkSizes.forEach((sizes, axis) => {
-          if (violation !== undefined) return;
-          const bad = sizes.find((size) => size % (chunkShape[axis] as number) !== 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;
-}