What's missing is identifying scopes. They do identify variables today, they just only identify global symbols. Not locals or heap properties. This critically

What's missing is identifying scopes. They do identify variables today, they just only identify global symbols. Not locals or heap properties. This critically used in a large number of Google products to huge extent. We globally trap all unhandled exceptions, and deobfuscate those exceptions using sourcemaps before they go into an automated bug triage system. The issue of handling locals and properties can be fixed without overhauling the format. Storing the debugging information in the JS itself would remove the ability to ship stripped binaries and be a non-starter for production apps.