fix(indexing): validate index-array bounds during JSON loading

[d-v-b]

This AI-authored zarr-indexing PR ensures that we respect bounded coordinate domains.

🤖 AI text below 🤖

JSON loading must enforce index_array_bounds instead of ignoring them. Both IndexTransform.from_json and output_index_map_from_json now validate every supplied raw index value against the inclusive interval before offset, stride, or map simplification.

Valid finite and one-sided bounds are accepted. Values outside the interval raise NdselError("invalid_json", ...) immediately, including for singleton arrays and zero-stride maps. Empty arrays satisfy any well-formed, ordered interval. Both loaders validate the interval's syntax and ordering, sharing the message layer's validator. Omitted or explicitly unbounded intervals avoid an additional value scan.

The validation is eager: a map containing an invalid entry is rejected even if a subsequent selection would avoid that position. Once the index coordinates have been validated and stored immutably, bounds need not be carried through later map operations. Serialization emits unconstrained bounds for non-degenerate maps; message normalization preserves the supplied bounds. This does not provide deferred, per-position validation or exact preservation of constraint metadata through engine round trips.

TensorStore's bounds documentation explicitly permits omitting bounds after indices have been validated.

Validation:

• 1,663 package tests and doctests passed.
• 140 bounds cases cover both loaders, inclusive endpoints, finite and one-sided intervals, empty/singleton/multidimensional arrays, negative and zero strides, malformed/reversed bounds, integer extremes, serialization, and subsequent selection and translation.
• Strict MkDocs build and applicable repository hooks passed.
• Pyright: zero errors, 90 warnings.

Corresponding fork review: d-v-b#335.

[read-the-docs-community]

Documentation build overview

📚 zarr-indexing | 🛠️ Build #34546555 | 📁 Comparing 92e0051 against latest (ba883a5)

  🔍 Preview build  

24 files changed · ± 24 modified

± Modified

• index.html
• api/index.html
• design-notes/index.html
• guide/index.html
• ndsel/index.html
• api/boundary/index.html
• api/chunk_resolution/index.html
• api/domain/index.html
• api/errors/index.html
• api/grid/index.html
• and 14 more...