That QPF verification is neat to see. As I believe you implied, QPF is likely the best, accessible option for verification at this point and what you posted above certainly supports that. Going to be interesting to see what kind of consistency the AI models can bring over time. Thanks for putting this thread together and updating it.