A failure-path comparison of Bitcoin programmability: why unilateral, Bitcoin-enforceable exits matter more than happy-path features—and why Lightning and Ark remain closest to that standard.