Strongly agree with titotal's comments, Zachary Robinson's comments, etc. Has anyone with relevant background reviewed Caroline's code commits and comments that Austin linked to in the post yet? An LLM I pointed it at found various issues with it and some of them seemed potentially serious. I don't think that evidence of serious bugs would change Austin's mind at this point, but maybe it could be helpful for others to know about.