Resolving to Displayed, Not Metered: Auditing a Residence-Hall Laundry App's Credit Balance Against Machine-Metered Wash Cycles Across a Payment-System Migration