Checks out, pgrust is mainly an LLM driven rewrite with minimum supervision and guided by 100% test suite conformance.