Oracle Proof PCAPs