OnBytes/Guard/Program.lean calls fifteen guard commands when the library is built. This page says what each checks, why, what to do when it rejects, and what it does ...