Hey Adam, thanks for taking a look.
this would be used in the bi-directional flow only, whereby matchers, and providers states are not supported, as the verification would be performed against an OAS, rather than using a Pact verifier against the running provider.
So they wouldn't get as strong guarantees as CDCT but enables them to reuse existing Wiremock implementations.
Feedback on the DSL is good though 👍 I can see how that could cause additional confusion. I've already seen a couple of cases of people using the alternate modes of Pact file generation (adapters, not native Pact implementations) with CDCT, and they've seen the issues that matchers/provider states were designed to prevent.
Will make sure when we get this added to the docs, that we get some additional notes around that.