I don't think the intent is that that invalidated flag is exposed to JavaScript. It's a flag internal to the implementation. This seems to imply that there's no real way to verify that the extension was disassociated from the WebGLRenderingContext upon context loss except checking that a subsequent call to getExtension returns a different object than the first time. That should be fairly easy.