Settle on proof.

Proof-escrow on Monad. USDC unlocks only on external fact.