Registers, basis, and externally supplied source family

This assumption prevents an expectation-value oracle from being hidden in the notation. If a simulator prepares (eq:source) from a known numerical value of $\theta$, the same theorem is a sampling or validation theorem for that simulator; it is not acquisition of previously unknown Galactic information. This is the token-versus-acquisition distinction recorded in XIX-C CheungXIXC.