Horizen L3 withdrawals and cross-domain proofs can be delayed by an OP Stack challenge window. Treat high-value actions as non-instant final.