[erik_seaberg]

By construction, there's at least one program whose behavior is undecidable. But there's a big subset of all possible programs that always halt (and others that never do), and we can choose to only ship decidable programs and avoid the weird edge cases as unreliable.