[Correction: This log was for a successful connection by the same user on a different device; I mixed up the MAC addresses. See below.]
Sorry about the lack of attachment yesterday. It showed as having uploaded before I posted. Hopefully it will work this time.
As I mentioned, the Aruba Logs show successful authentication, association, and assignment to the correct VLAN based on server rules. I will have to check the NPS logs for audit successes; I know there were no audit failure entries.