2. When I failed in a provider verification, and then, I fixed the contract by changing the code in consumer. In this case, am I need to re-verify the consumer-side contracts of the consumer?

Thanks for the great diagram. The answer is “no” unless the Consumer X v3 contract test is somehow dependent on the others.

So, if we don't change consumer side contract of

Consumer X

, we don't need to reverify

Parent consumer P

, right?