We're not that far off from each other. > Just have the checker check the templates that the baseline JIT is stitching together Sure, from my second paragraph

We're not that far off from each other. > Just have the checker check the templates that the baseline JIT is stitching together Sure, from my second paragraph, the templates it's using could be opaque things it got from requesting the static compiler generate a template from a first class function ref (at compile time), in which case the verification has already been done.