Comment by Timmah

sampling inspection. Not a hard software check: `assert ( numWelds == 30);`

Or a camera that takes a picture of each vehicles undercarriage. They probably thought that was unnecessary until now.