Neat - didn't know about the miri tool.

Will definitely use that going forward

Didn't find anything on my existing vibecoded rust projects but can't hurt