Formal Enclave Room Escape