jofrn wrote: > Does this sound like a viable approach? Yes, it does sound like a good idea. Just added the implementation of `registerVerifierCallbacks`. https://github.com/llvm/llvm-project/pull/123609