It would be great to be able to verify Pact implementations against specifications, in order to ascertain feature parity, completeness and to help aid in testing cross language issues.