linter.fugue.selectorFirst

A blanket selector (all: / all_goals / any_goals) wrapping a first | … or solve | … with two or more alternatives runs the same search on every goal. Tailor a selector per alternative instead — 1,2,9-14: tac₁ / 3-8: tac₂ / … — so the script says which goal gets which tactic. Nested first/solve inside one alternative is fine.