what if the compiler understood the application as a whole instead of just transforming source files

Presolve is a compiler-founded web framework for static HTML, exact browser updates, and resumable application artifacts.