How the JSON one version of a program wrote is read by the next, by kind of stored value. Each kind is a pure
function from the JSON a version wrote to the JSON the one after it reads, and a kind left out is unchanged. It
works on the JSON, not on decoded values, because every schema encodes to what JSON holds (decision 0030): the
types and schemas of the version before do not live on in the code (decision 0036).
How the JSON one version of a program wrote is read by the next, by kind of stored value. Each kind is a pure function from the JSON a version wrote to the JSON the one after it reads, and a kind left out is unchanged. It works on the JSON, not on decoded values, because every schema encodes to what JSON holds (decision 0030): the types and schemas of the version before do not live on in the code (decision 0036).