Bottle Labeler

Briefing

A rotary label applicator detects bottles, triggers a print-and-apply cycle, and verifies label placement with a vision camera. If the camera rejects a label, a pusher diverts the bottle to a reject chute. The machine runs continuously while START is held and LABEL_PRESENT is true.

Objectives

• On BOTTLE_PRESENT + LABEL_PRESENT + START_PB: trigger PRINT_TRIGGER
• After PRINT_OK, activate LABEL_APPLY
• After LABEL_APPLY, trigger VERIFY_CAMERA
• If VERIFY_OK: reset for next bottle
• If NOT VERIFY_OK: pulse REJECT_PUSHER (500ms) to eject bottle
• READY_LAMP on when machine is idle and ready (not in mid-cycle)

I/O Table

Your program will be tested against:

All test cases run automatically when you submit. Assertions are hidden until you pass.

1. #1PRINT_TRIGGER fires on bottle + label + start

   All conditions met -> PRINT_TRIGGER energises

2. #2LABEL_APPLY fires after PRINT_OK

   PRINT_OK confirms print -> LABEL_APPLY energises

3. #3Good label passes camera verify

   VERIFY_OK after VERIFY_CAMERA -> no reject, READY_LAMP on

4. #4Bad label triggers REJECT_PUSHER

   VERIFY_OK=false -> REJECT_PUSHER pulses