diff --git a/src/dsl/verifier/types.ts b/src/dsl/verifier/types.ts
index 8be9a3356..ca5c930da 100644
--- a/src/dsl/verifier/types.ts
+++ b/src/dsl/verifier/types.ts
@@ -14,5 +14,9 @@ export type PactNodeVerificationExcludedOptions = Pick<
 >;
 
 export type VerifierOptions = PactNodeVerificationExcludedOptions &
-  ProxyOptions &
-  Partial<MessageProviderOptions>;
+  Omit<ProxyOptions, 'stateHandlers'> &
+  Omit<Partial<MessageProviderOptions>, 'stateHandlers'> & {
+    stateHandlers?:
+      | MessageProviderOptions['stateHandlers']
+      | ProxyOptions['stateHandlers'];
+  };