The arbiter may possibly take away GNT# at any time. A tool that loses GNT# may well full its present transaction, but may well not start off a single (by asserting Body#) Until it observes GNT# asserted the cycle right before it starts. You may also request your own facts https://nathanlabsadvisory.com/isaiec/