I don't think that actually works. At most, you've reduced the measure increase by the inverse-exponential length of the shortest program that rewrites in a way that undoes the impossibility. What kind of serial fiction extrapolating simulator lacks that as a builtin feature, but still works?

But as others have pointed out, that just indicates that that section of Hogwarts is negatively curved. Of course, you say "at least one", so...