Repository navigation

feat(zarr-metadata): composition rules layer, shape-exact entity validators - #4379

Closed

d-v-b wants to merge 107 commits into

zarr-developers:mainfrom

d-v-b:zarr-metadata/rules-layer

Closed

feat(zarr-metadata): composition rules layer, shape-exact entity validators#4379
d-v-b wants to merge 107 commits into
zarr-developers:mainfrom
d-v-b:zarr-metadata/rules-layer

Commits on Sep 20, 2026
- feat(zarr-metadata): composition rules layer, shape-exact entity validators, create_* factories
  d-v-b
  committed
  252fc55
- chore(zarr-metadata): number changelog fragments for #318
  d-v-b
  committed
  793df00
- fix(zarr-metadata): validate nested data type composition
  d-v-b
  committed
  caf05c9
- fix(zarr-metadata): replace runtime asserts in the rules layer and create_* factories
  
  d-v-b
  and
  claude
  committed
  f2919ba
- chore(zarr-metadata): number changelog fragments for #4379
  
  d-v-b
  and
  claude
  committed
  3f082ab
- refactor(zarr-metadata)!: drop the create_* builder from the rules PR
  
  d-v-b
  and
  claude
  committed
  a63933c
- refactor(zarr-metadata)!: drop the check_* result family
  
  d-v-b
  and
  claude
  committed
  c700919
- refactor(zarr-metadata)!: drop rules.is_*, normalize documents once
  
  d-v-b
  and
  claude
  committed
  25504e0
- refactor(zarr-metadata): trim duplicated and unused rules-layer surface
  
  d-v-b
  and
  claude
  committed
  f16bcea
- refactor(zarr-metadata): one storage classifier for bytes and struct
  
  d-v-b
  and
  claude
  committed
  f0bc51d
- docs(zarr-metadata): commit to strict unknown keys, and test it
  
  d-v-b
  and
  claude
  committed
  a930714
- chore(zarr-metadata): review nits on the trimmed rules branch
  
  d-v-b
  and
  claude
  committed
  744b8f1
- docs(zarr-metadata)!: correct the scope of the unknown-key stance
  
  d-v-b
  and
  claude
  committed
  43d73f7
- fix(zarr-metadata): close five gaps in the composition rules
  
  d-v-b
  and
  claude
  committed
  b963667
- fix(zarr-metadata): sound reads contract, and stop must_understand masking
  
  d-v-b
  and
  claude
  committed
  ec413c3
- refactor(zarr-metadata): model what array a chunk grid governs
  
  d-v-b
  and
  claude
  committed
  be410cb
- refactor(zarr-metadata)!: carry the chunk grid, not a summary of it
  
  d-v-b
  and
  claude
  committed
  ae61957
- test(zarr-metadata): draw codec chains from the codec types
  
  d-v-b
  and
  claude
  committed
  24da793
- fix(zarr-metadata): judge a shard behind an unmodelled codec, and check tests
  
  d-v-b
  and
  claude
  committed
  a6c84ea
- feat(zarr-metadata): judge blosc values, and its conditional typesize
  
  d-v-b
  and
  claude
  committed
  13d5018
- feat(zarr-metadata): judge the zstd compression level
  
  d-v-b
  and
  claude
  committed
  d43d28f
- refactor(zarr-metadata): value constraints belong with the type
  
  d-v-b
  and
  claude
  committed
  aa05d84
- feat(zarr-metadata): canonicalize a document, or report why it cannot be
  
  d-v-b
  and
  claude
  committed
  c0600ee
- feat(zarr-metadata): an entity knows its own shape, values and spelling
  
  d-v-b
  and
  claude
  committed
  3dec64f
- feat(zarr-metadata): the rest of the simple codecs, as entities
  
  d-v-b
  and
  claude
  committed
  bafcb8f
- feat(zarr-metadata): the chunk grids and chunk key encodings, as entities
  
  d-v-b
  and
  claude
  committed
  017126c
- feat(zarr-metadata): the data types, as entities
  
  d-v-b
  and
  claude
  committed
  ca740be
- feat(zarr-metadata): the entities that contain other entities
  
  d-v-b
  and
  claude
  committed
  d3d435b
- feat(zarr-metadata): a data type says what it accepts as a fill value
  
  d-v-b
  and
  claude
  committed
  c48cec2
- feat(zarr-metadata): a codec transforms the array; a grid divides it
  
  d-v-b
  and
  claude
  committed
  edbbeda
- fix(zarr-metadata): narrow the codec kind and drop the grid reader the entities replaced
  
  d-v-b
  and
  claude
  committed
  f4aa344
- feat(zarr-metadata): the composition rules move onto the entities too
  
  d-v-b
  and
  claude
  committed
  906c8cc
- feat(zarr-metadata): validate a v3 array by asking its entities
  
  d-v-b
  and
  claude
  committed
  758b62d
- refactor(zarr-metadata): delete the rule registry the entities replaced
  
  d-v-b
  and
  claude
  committed
  d4ce254
- docs(zarr-metadata): changelog describes what ships, not the route there
  
  d-v-b
  and
  claude
  committed
  27a0bd9
- fix(zarr-metadata): judge a nested metadata field like a top-level one
  
  d-v-b
  and
  claude
  committed
  ca4368c
- fix(zarr-metadata): absence is UNSET, and a bad member hides less
  
  d-v-b
  and
  claude
  committed
  4fcb5d7
- fix(zarr-metadata): the hygiene the review turned up
  
  d-v-b
  and
  claude
  committed
  4cf0455
- feat(zarr-metadata): a public door to the extension layer
  
  d-v-b
  and
  claude
  committed
  0870f89
- docs(zarr-metadata): record what the review changed, and what it did not
  
  d-v-b
  and
  claude
  committed
  cb4e2b0
- docs(zarr-metadata): the narrow configuration type is sound, not a compromise
  
  d-v-b
  and
  claude
  committed
  0500a37
- fix(zarr-metadata): silence unused-class on the two guard tests
  
  d-v-b
  and
  claude
  committed
  457ca1b
- feat(zarr-metadata): a real union at every extension point, and a reader's door
  
  d-v-b
  and
  claude
  committed
  2c9e0fa
- refactor(zarr-metadata): serializing is not canonicalizing
  
  d-v-b
  and
  claude
  committed
  61fa11e
- refactor(zarr-metadata): an entity cannot exist with values the spec forbids
  
  d-v-b
  and
  claude
  committed
  bfa109c
- fix(zarr-metadata): a required member has no default
  
  d-v-b
  and
  claude
  committed
  4e51814
- fix(zarr-metadata): must_understand: false is refused at every depth
  
  d-v-b
  and
  claude
  committed
  0e43ef6
- fix(zarr-metadata): to_json hands back nothing the entity still holds
  
  d-v-b
  and
  claude
  committed
  24fe9e4
- refactor(zarr-metadata): a table of entities knows which point it is
  
  d-v-b
  and
  claude
  committed
  a6a62de
- refactor(zarr-metadata): a codec declares its kind, so no table does
  
  d-v-b
  and
  claude
  committed
  a71de2c
- refactor(zarr-metadata): a value routine says which members it judges
  
  d-v-b
  and
  claude
  committed
  a0e1038
- build(zarr-metadata): typecheck on the current pyright
  
  d-v-b
  and
  claude
  committed
  ac213b2
- feat(zarr-metadata): an entity is checked when it is declared
  
  d-v-b
  and
  claude
  committed
  55608d7
- refactor(zarr-metadata): an entity claims its own names
  
  d-v-b
  and
  claude
  committed
  4746900
- docs(zarr-metadata): to_json is faithful to the members it models
  
  d-v-b
  and
  claude
  committed
  945f33c
- docs(zarr-metadata): regenerate the differential against the current tree
  
  d-v-b
  and
  claude
  committed
  87e4f4b
- Merge branch 'main' into zarr-metadata/rules-layer
  d-v-b
  authored
  634fd4c
Commits on Sep 21, 2026
- refactor(zarr-metadata): a configuration says its own member types
  
  d-v-b
  and
  claude
  committed
  35e5ede
- refactor(zarr-metadata): an entity's fields are the schema
  
  d-v-b
  and
  claude
  committed
  fa24b71
- refactor(zarr-metadata): an entity that contains entities writes nothing for it
  
  d-v-b
  and
  claude
  committed
  6d0e000
- refactor(zarr-metadata): a bound on a value is written on the field
  
  d-v-b
  and
  claude
  committed
  872855a
- feat(zarr-metadata): a rule about one member is a @validates rule
  
  d-v-b
  and
  claude
  committed
  4791d9f
- feat(zarr-metadata): the shapes the compiler reads are open
  
  d-v-b
  and
  claude
  committed
  3c08c40
- fix(zarr-metadata): read a class's annotations the way 3.14 hands them out
  
  d-v-b
  and
  claude
  committed
  955b01e
- refactor(zarr-metadata): the modules that had stopped earning their place
  
  d-v-b
  and
  claude
  committed
  4ba53d4
- refactor(zarr-metadata): the document owns its canonical form; rules is a door
  
  d-v-b
  and
  claude
  committed
  6975236
- refactor(zarr-metadata): the base module is three modules
  
  d-v-b
  and
  claude
  committed
  799cea3
- build(zarr-metadata): just test-versions runs the oldest and newest interpreters
  
  d-v-b
  and
  claude
  committed
  a055e6c
- refactor(zarr-metadata): to_json is typed by the entity's own JSON type
  
  d-v-b
  and
  claude
  committed
  79e65c4
- refactor(zarr-metadata): canonical is the walk, then the entity's own rewrite
  
  d-v-b
  and
  claude
  committed
  6431320
- refactor(zarr-metadata): the member table is compiled, never declared
  
  d-v-b
  and
  claude
  committed
  fa61fff
- refactor(zarr-metadata): class creation is a compile step and a list of invariants
  
  d-v-b
  and
  claude
  committed
  e852d1a
- test(zarr-metadata): restore the two canonical tests the tombstone cut removed
  
  d-v-b
  and
  claude
  committed
  4a13605
- refactor(zarr-metadata): refinements are __post_init__; the compiler reads JSON shapes only
  
  d-v-b
  and
  claude
  committed
  aee137c
- fix(zarr-metadata): the first block from the adversarial review
  
  d-v-b
  and
  claude
  committed
  3e310ae
- docs(zarr-metadata): the door is the guide its example claimed to be
  
  d-v-b
  and
  claude
  committed
  64d2c32
- chore(zarr-metadata): every suppression names a pyright rule, or goes
  
  d-v-b
  and
  claude
  committed
  eea42d5
- refactor(zarr-metadata): a class is not written to after its definition
  
  d-v-b
  and
  claude
  committed
  6a473ab
- refactor(zarr-metadata): what a kind must answer is abstract on it
  
  d-v-b
  and
  claude
  committed
  a5f41a4
- refactor(zarr-metadata): the tables are cached reads of the fields, not a record
  
  d-v-b
  and
  claude
  committed
  9ce8d00
- refactor(zarr-metadata): coerce type-checks the configuration against the fields as it reads
  
  d-v-b
  and
  claude
  committed
  48d0dfd
- refactor(zarr-metadata): a scope holds entities by kind; the document names its fields
  
  d-v-b
  and
  claude
  committed
  e6e3f94
- refactor(zarr-metadata): to_json is abstract; each entity writes a literal of its own JSON type
  
  d-v-b
  and
  claude
  committed
  3421940
- refactor(zarr-metadata): the entity base is not generic
  
  d-v-b
  and
  claude
  committed
  f31f9da
- refactor(zarr-metadata): one parser over the fields; canonical and the nested walks are the entity's own
  
  d-v-b
  and
  claude
  committed
  b8bd176
- refactor(zarr-metadata): an entity's rules are a function of the instance that yields problems
  
  d-v-b
  and
  claude
  committed
  c8b7132
- fix(zarr-metadata): what three reviews of the entity layer found
  
  d-v-b
  and
  claude
  committed
  6e5053d
- perf(zarr-metadata): a parser is compiled once per class; the reading is an argument
  
  d-v-b
  and
  claude
  committed
  01cb435
- refactor(zarr-metadata): the unchecked record is a public `create_unchecked`
  
  d-v-b
  and
  claude
  committed
  9725a4f
- refactor(zarr-metadata): to_json is written once, from the fields
  
  d-v-b
  and
  claude
  committed
  e4db40f
- refactor(zarr-metadata): an entity is a name and a configuration record
  
  d-v-b
  and
  claude
  committed
  db3beae
- refactor(zarr-metadata): the rules are the configuration record's own
  
  d-v-b
  and
  claude
  committed
  c156049
- refactor(zarr-metadata): `Configured`, the half of an entity that has a configuration
  
  d-v-b
  and
  claude
  committed
  848d700
- docs(zarr-metadata): the fragments describe the configuration record
  
  d-v-b
  and
  claude
  committed
  764cdc9
- fix(zarr-metadata): what the adversarial review of the entity layer found
  
  d-v-b
  and
  claude
  committed
  917a641
Commits on Sep 22, 2026
- fix(zarr-metadata): the document writer puts the envelope back as it was written
  
  d-v-b
  and
  claude
  committed
  1e53667
- refactor(zarr-metadata): every entity is a name and a record; Configured is gone
  
  d-v-b
  and
  claude
  committed
  9b4665f
- refactor(zarr-metadata): a member is read from the record; the property lifts are gone
  
  d-v-b
  and
  claude
  committed
  60c01c3
- fix(zarr-metadata): a record's constructor refuses a member of the wrong type
  
  d-v-b
  and
  claude
  committed
  06faf55
- fix(zarr-metadata): an entity holds its own record, and every reader-built value checks itself
  
  d-v-b
  and
  claude
  committed
  36fd99a
- perf(zarr-metadata): the reader builds through create_unchecked, having checked
  
  d-v-b
  and
  claude
  committed
  722c667
- refactor(zarr-metadata): resolve reads a field; a scope is a value; the class owns its routine
  
  d-v-b
  and
  claude
  committed
  6deae48
- feat(zarr-metadata): three layers of reading, and the third produces the resolved pipeline
  
  d-v-b
  and
  claude
  committed
  9c844e2
- fix(zarr-metadata): attributes are user data, and may hold a non-finite number
  
  d-v-b
  and
  claude
  committed
  bc69fe6
- feat(zarr-metadata): the read document names the fields a reader must understand
  
  d-v-b
  and
  claude
  committed
  afb7551
- fix(zarr-metadata): scale_offset's scalars are fill values of the type it receives
  
  d-v-b
  and
  claude
  committed
  6e5c3c7
- docs(zarr-metadata): the differential numbers, re-derived at this head
  
  d-v-b
  and
  claude
  committed
  cea8fbd

Commits

Commits on Sep 20, 2026

Commits on Sep 21, 2026

Commits on Sep 22, 2026