linter.fugue.seqSolveBracket

t <;> solve | s₁ | … | sₙ with pairwise-distinct scripts runs a search on each of t's goals when the author already knows which goal gets which script. t <;> [s₁ | … | sₙ] (the project's pipe form) says so positionally. All-equal scripts ⇒ one shared script ⇒ keep <;> solve | s.