linter.fugue.selectorOneGoal

all: / all_goals reads as "every branch"; over a single remaining goal there is no branch, and a reader stops to look for the others. One goal, one · bullet.

The check is semantic: the selector's TacticInfo records exactly one goal before it ran.