[throwaway982736]

"So it's not true that Tlon can't just say $user's compute node is hereby expelled?"

Correct, this is untrue.