Plan — next steps (from v0.25.0)

Status: IDE complete through v0.25.0, distributables fresh at v0.24.0 (AppImage + deb in gitignored apps/electron/dist/). Tree clean except this file; all tags local.

Done since the last plan

v0.25.0 builtin-type colors (semantic type tokens for predeclared identifiers; user shadowing still wins, GUI-verified teal).

Next, in priority order

WITH hover support (recommended) — hover and go-to-definition for bare field names inside WITH bodies (checker side done in v0.23.0).

Also pending (undecided)

Push commits + tags to origin (all local so far, through v0.25.0).
Clean superseded artifacts from apps/electron/dist/.
Coco/R grammar differential testing against gm2.
Right-click context menu visual check (CDP cannot open context menus).