branches

One branch per outcome with its probability and the posterior after seeing it. Bayes over integers: joint = prior times likelihood, then largest-remainder normalization, so both the probabilities and each posterior sum to exactly 1_000_000. An outcome no hypothesis can produce has probability 0 and leaves the prior unchanged.