How do I use Reactor’s StepVerifier to verify a Mono is empty?

Simply use verifyComplete(). If the Mono emits any data, it will fail the stepverifier as it doesn’t expect an onNext signal at this point.