> This is brilliant, and in hindsight one of those "I can't believe nobody had thought of this yet" sort of things.

Please speak for yourself. We've seen many such ideas here even putting an LLM into a CPU to do branch predictions. Using it to write a (jit) compiler with correctness preserving transformations is not something that didn't occur to most compiler folks.