The satellite’s software had been assembled and vetted by three hundred humorless, white-shirt-wearing, avionics-software drones in Clear Lake City, Texas. The KH-13 had three different onboard control computers, each of them independently running 420,000 lines of code. It was belt, plus suspenders, plus a straitjacket.