When a new version of a pact is published, it generally has a lot of overlap with the previous pact content. The amount of time that the verification takes could be greatly reduced by returning a single "uber pact" that had a unique copy of each interaction, and then fanning out the verification results back into each individual pact on results publication.