"inside the event horizon" can't be made rigorous, if only because the notion of event horizon( assuming it can be made rigorous) is no more rigorous than the notion of BH interior since an event horizon is an asymptotic limit of future null infinity. In the usual OpSnyVolk representation of...