Full-cock notch

The notch on the tumbler that the sear catches to hold the lock at full cock.