Every unit of this project carries a record of its last verification, and each record pins the configuration it was checked against by hashing it. If the configuration changes, the pin no longer reproduces and the record goes stale, which is exactly what you want: a verification result that quietly outlives its inputs is worse than no result. One afternoon I added a six-line block to that configuration file. It described a new component and touched nothing else. Fifteen units went stale. E...