Finite experiments on countable substrates

This is the controller-support discipline emphasized in VII-G CheungVIIG. Initially correlated resources are permissible in the general channel model only when their interfaces are declared. The product-default coarse model introduced later has a narrower preparation convention.