pactverify
