Благодаря подсказке @mikeserv ответ необычайно прост и связан с важностью признания того, что круглые скобки представляют собой особый вид группировки. Круглые скобки создают под-оболочку, и именно поэтому я наблюдал отсутствие того, что я назвал "верхнеуровневым" выходом.
Полное объяснение - здесь, а вот ключевая выдержка:
Размещение списка команд между круглыми скобками приводит к созданию под-оболочки... Размещение списка команд между фигурными скобками приводит к выполнению списка в текущем контексте оболочки.
Однако, что немного неприятно, так это то, что эти два понятия не полностью взаимозаменяемы, и фигурные скобки требуют точку с запятой перед последней фигурной скобкой, а круглые скобки - нет. Синтаксис, на котором я остановился, пытается устранить полутоны и использовать форму "&&":
[ $USER == 'x' ] || { echo "Time to bail" && exit 1 ; }
В общем, скобки выглядят приятнее, чем завитушки, а завитушки с их требованием точки с запятой делают однострочник менее похожим на однострочник.