How does this passive loop work? Is it a function everybody can call that processes all exits which are due.
Pretty much. Or rather, an “anyone can call” function that looks at the top exit in the queue, checks that it is eligible for withdrawal, and if so pops it from the queue and sends the recipient their funds.