@reillyeon reports in WICG/idle-detection#55 (comment) that browsers retrieve the permission state asynchronously, so use of permission state in specs needs to be 'in parallel'. But https://w3c.github.io/permissions/#dfn-permission-state doesn't have any indication of this fact, so it's easy to write specifications that incorrectly promise to return results an event-loop-turn early.
Ideally this indication would integrate with Strudy's parallel algorithm checking. cc/ @tidoust