Pharma Validated Batch Record

Briefing

Commission a validated pharmaceutical batch reactor. A batch can start only after the recipe, vessel-clean status, door interlock and operator sign-off are confirmed. Heat and agitate until the process model qualifies the temperature hold, require sign-off before discharge, and issue RECORD_COMPLETE only after the vessel is drained. Losing a critical interlock during execution must stop the batch and latch a deviation — the audit events in the model preserve the significant transitions.

Objectives

• Prevent batch start unless recipe, clean-status, door and operator checks are all confirmed
• Heat and agitate only while a qualified batch is active and the hold is incomplete
• Require both HOLD_COMPLETE and OPERATOR_SIGNOFF before opening discharge
• Latch DEVIATION_ALARM when a critical interlock is lost during a running batch
• Set RECORD_COMPLETE only after the signed-off batch has physically drained

I/O Table

Your program will be tested against:

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

1. #1Unqualified batch start is denied

   Missing recipe approval must keep every process output off

2. #2Qualified batch starts

   All release checks allow heating and agitation

3. #3Qualified hold, sign-off and drain complete the record

   The process hold qualifies before discharge and record completion

4. #4Critical interlock loss latches a deviation

   Opening the door during a batch stops the process and latches the deviation