The system says it's in stock, the shelf says it isn't, and an emergency purchase happens every month.
Receipts always originate from checked receiving, and issues carry a reason and a recipient: the system balance becomes the real balance, with periodic stocktakes to keep it that way.