Yes, and seems pretty clear you can now backpressure the rewrite with tools like miri to have Claude Code automatically improve it.