Fernando Rosas comments on AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing