other random thing about llm driven rewrites is people are going to find out that a passing test suite is a much looser constraint on program behaviour than they think it is
people feel like test suites have high specification power because they break their tests easily. but this is because the tests check for deviations from the original implementation. they don't contain nearly enough information to faithfully generate the program from scratch
