The arbiter might take out GNT# Anytime. A tool that loses GNT# might entire its current transaction, but may well not start just one (by asserting Body#) unless it observes GNT# asserted the cycle ahead of it starts. Our target to clarify Laptop terminology in a way that is simple https://nathanlabsadvisory.com/open-source-scanning-oss/