Resolving to The Gate Remembers What It Wants To: Reconstructing Boardings From Smartcard Taps to Audit a Service-Frequency Index…