Stage TwoTwo centuries into an unbroken lineage of compilers compiling compilers, a ship's engineer revives a forty-year-old bootstrapping trick to ask a question nobody has been able to actually answer: does the binary running the Sabik still say what its source says it does?