> it may be good to know that it is not fully rigorous
What is the problem with A|B=b being a random variable? (Apart from you unfamiliarity with the concept, I mean.)
Edit: I don’t say there are no problems, I ask what do you think the problem is? There is no problem in the discrete case. In the continuous setting things are indeed more complicated (but if the limiting process is well defined there are no issues).
Note that the same lack of rigour that you find in conditional ramdom variables affects conditional probabilities. If you can accept the latter there is no reason to reject the former.