As it turns out, there's a section in the manual that says
"Upon termination, employees will be paid for accrued but unused PTO. If accrued PTO has a negative balance, that time will be deducted from employee’s final pay. "
drawn to design, designed to draw