Ok so if it is indeed possible to verify the code after JIT generating it, I still don’t understand why you would assume that in the hypothetical scenario we aren’t doing that verification?
You literally said it can’t be JIT, I’m just saying it seems like it can.
You literally said it can’t be JIT, I’m just saying it seems like it can.