Despite the “but” that doesn’t change anything I’ve said. The point is that it is the probability of meeting the specification that matters not the probability of the particular path taken to reach it.
Certainly not. The prediction is a valid specification in itself - because it is made with no knowledge of the outcome. It is not just “separable” - it is completely separate.