Found one of those wall mount GFCI devices on a garage door opener circuit today.
No garage outlets or exterior outlets on that circuit, just the opener.
Those all had proper GFCI protection.
Could it be an AHJ’s strict interpretation of the code since the ceiling outlet is a duplex instead of a dedicated single outlet?
I told my client to keep his house key with him…