Direct dynamic proofs for classical compatibility