class LavaWindow

One window's worth of the frame loop: its layout tree, its draw arena, its slice of framework state, and the input → invalidate → body → layout → emit → present pipeline that connects them.

This is the half of LavaApp.run that was per window all along and only looked global because there was one of them. What stays in LavaApp is the part that genuinely belongs to the process: the GLFW wait, the agent server, MainQueue, FrameTasks, and deciding when the app is over.

Every public entry point runs its body with scope current, which is what lets a widget keep calling ViewInvalidation.markNeedsRedraw() or FocusManager.focus(…) with no window in scope and still land in the right one. See WindowScope.