feat(zarr-metadata): check, JSON against a TypedDict as the typing spec reads it - #4432

Merged

d-v-b merged 9 commits into

zarr-developers:mainfrom

d-v-b:feat/zarr-metadata-typed-json-check

Sep 26, 2026

Commits on Sep 26, 2026

feat(zarr-metadata): the checker: parsers and writers compiled from annotations

d-v-b
and
claude
committed
200fb7d
docs(zarr-metadata): the fragment for the checker

d-v-b
and
claude
committed
0f1488a
fix(zarr-metadata): the checker reads a TypedDict as the typing spec defines it

d-v-b
and
claude
committed
572ae79
feat(zarr-metadata): check, the checker as a public tool

d-v-b
and
claude
committed
83491e0
build(zarr-metadata): hypothesis for the checker's property tests

d-v-b
and
claude
committed
7386ad9
docs(zarr-metadata): problem() says what a caller does with it

d-v-b
and
claude
committed
5341ead
fix(zarr-metadata): check refuses null

d-v-b
and
claude
committed
bf48950
refactor(zarr-metadata): JSON and its problems below the model
d-v-b
committed
d29adaf
docs(zarr-metadata): the checker's fragment takes this PR's number
d-v-b
committed
d564657