Agglayer Activates Pessimistic Proofs