i think you are asking a pactflow specific question which should belong in #CLS16AVEE
the file is produced however you like, it’s your choice.
you publish a self verification result to say whether the oas matches your impl, that is on you, your team and what tooling you use to test your provider