Each of these ran green, or printed a confident message, while the thing it claimed to check had not been examined. Change the world state below and compare what each sensor said against what was actually true. The failure is not that a check went red; it is that a check went green without looking.