Punch

To record your visit to a control. The term derives from the use of “pin punches” that made patterns of holes in a paper-based control card – these days we use electronic timing chips instead.