SLICE_CODEC: NodeSpecCodec<Slice> = ...

A slice: its start and stop, JSON numbers counting rows from 0, the range [start, stop) (D5; that meaning is part of the format). Each is written whenever set, defaults included, and left out only when the user cleared it (PLAN ยง11.4). Any finite number is read; validation reports the rest.