DROP_CODEC: NodeSpecCodec<Drop> = ...

A drop: its size, a JSON number. The size is written whenever the node has one, the default 10 included, and left out only when the user cleared it, so a cleared size reads back cleared (PLAN ยง11.4). Any finite number is read; validation reports one that isn't a positive whole number.