Can you elaborate on this?
Could you also provide examples of the types of bad state changes that would be provable on-chain? The main attack vector against Minimal Viable Plasma is creating an “out of thin air UTXO” and withholding the block (but still publishing to the main chain). This appears to be a valid state transition and is the reason why we need the priority queue.
What happens if the POA marks a spent UTXO as retired and attempts to withdraw?
I reposted some of my notes re: Exit Delegation here Plasma (+ Delegated Exits), feedback is welcome.