Before the theorem prover: verification is older than the alphabet

the checksum, the audit, the acceptance test and the signed certificate are all older than the twentieth century — seven museum objects, and what the twentieth century actually added