This is somewhat apropos of the previous email, but a separate issue.
There needs to be a formal kernel API that exists separately from the APIs provided by the runtime-specific kernels. One easy way of doing it would be to hand-author a .js2doc file describing this API -- that's how we document the special syntactic forms in the LZX chapter of the RefGuide, for example. I think that is better than arbitrarily picking one of the runtime kernels and deriving the API from it, and we could theoretically use the js2doc file to actually check any kernel's conformity to the kernel API.
Any alternatives spring to mind? jim
