Термин halting problem обычно вспоминают как «ту самую» теоретическую границу вычислений: нельзя написать программу, которая для любой другой программы и любого входа заранее решит, завершится ли вычисление или уйдёт в бесконечный цикл. Но если посмотреть на индустриальные системы — от микросервисов до агентных пайплайнов с LLM — то «проблема остановки» неожиданно перестаёт быть абстракцией. Она…