slop/2026-02-16-solver/gto-solver/include/ui