Можно ли уверенно сказать, что все задачи в очереди будут обрабатываться одним потокам без исключений?

В iOS, если речь идет о последовательной (serial) очереди DispatchQueue, то можно с уверенностью сказать, что все задачи в этой очереди будут выполняться одним потоком последовательно, без параллельного исполнения. Однако поток, на котором выполняются задачи, не обязательно всегда один и тот же — система может менять поток между задачами, но задачи не будут выполняться одновременно.

Если же очередь — параллельная (concurrent), то задачи могут выполняться одновременно на разных потоках.

Исключения могут возникать, если внутри задач создаются дополнительные потоки или используются другие механизмы многопоточности. Но в рамках самой serial DispatchQueue задачи выполняются последовательно одним потоком за раз.