I was writing my question in the context of
https://docs.pact.io/consumer#use-pact-for-contract-testing-not-functional-testing-of-the-provider, avoiding the pitfall of having the consumer testing the provider API. The goal of the consumer is not to discover
bugs in the provider (though this might come up as a by-product).
So, it is clear that the functional testing of the provider API goes beyond a specific Pact written by a specific customer. So, from a Venn diagram perspective the "provider functional testing scope" is certainly not included in the "consumers contract testing scope".
The fact that discovering
bugs in the provider [...] might come up as a by-product, makes it clear that there is a non-empty intersection between the "consumers contract testing scope" and the "provider functional testing scope".
Then, the last question is if the "consumers contract testing scope" is fully included in the "provider functional testing scope", or if there are tests in the "consumers contract testing scope" that are not in the "provider functional testing scope".
My answer is
"eventually no". Let me explain... The goal of the "provider functional testing" is to
ensure that the provider does the right thing with a request, coming for
any/all consumers! So, it's a "no". However, there is a dynamic. When the provider first defines its functional tests, you cannot expect him to cover all possible requests, and the contract tests from the consumers can enrich its functional tests. So, a contract test will be either already included within the "provider functional testing scope", or the provider will extend its functional tests in order to have it eventually included.
So, as shown in the diagram below, I would see the "provider functional testing scope" successively expanding with new contract tests to eventually cover the "consumers contract testing scope". Note that, ideally, at each "iteration" the intersection is bigger making the needed expansion smaller/easier and smaller/easier.