What happens when the development team disappears? We formalized the software industry's 'bus factor' problem into five rigorous acceptance criteria — and built a medical system that passes all of them.