slop/2026-02-16-solver-opus/include/solver