A claims guard in the build
HYPOTHESIS
A number that stops being true will otherwise live on a website forever.
BUILD
A guard that fails the build if a retired proof number appears anywhere in the repository.
MEASUREMENT
Builds failed by the guard.
RESULT
In force. The number on this site is the number in the repository.
DECISION
Adopted, and extended to this website.