implemented the example pact verification in Go