В основном да (хотя либертарианцы в Нью-Гемпшире вроде пробили отмену). Но как я понимю - mistrial это и есть "по формально процессуальным причинам". И отменяются - в РФ так же - другое дело что отмену решения в силу известной специфики системы через суд провести прокурору проще.

Критерий все-таки скорее в соотношении формальных и содержательных критериев.

Собственно функция присяжных с инструментальной точки зрения основная - не выяснение юридической истины, а устранение субъективного фактора (точнее вынос его на уровень примитивной и трудноманипулруемой подсистемы)