Which counter example. can you post a link to the repository please?

I dont have any special entries there. Only localhost. Maybe try reinstall docker? The ping also times out for me

Works for me. Which version of solana-verify are you using? : Found docker image for Solana version 1.18.26 Unable to find image 'solanafoundation/solana-verifiable-build@sha256:f3d3a4adaa8‌​008644fc4535373c6818‌​275c7e35a0b07660890b‌​4a95ef434221e' locally docker.io/solanafoundation/solana-verifiable-build@sha256:f3‌​d3a4adaa8008644fc453‌​5373c6818275c7e35a0b‌​07660890b4a95ef43422‌​1e: Pulling from solanafoundation/solana-verifiable-build

They run fine for me if i set test = "yarn test" i also updated the answer to include more info an resources. The errors are: "Missing signature for public key" in the first one and "Missing signature for public key(s)" in the second one

No you would extract pause thread into its own function and call it from both instructions

Oh i used solana keygen. I forwarded to luscher he probably knows