The current text in 8.6.9.4.16 states “A Boolean variable, set to TRUE ... at one nanosecond intervals”. This is “factual” language and not “normative” language, as it is missing a “... shall be set ...”. The NOTE at the bottom of same clause seems to indicate that the boolean variable is actually not set at “one nanosecond intervals” at all, but rather at TickGranularity intervals. This is in contrast to what is stated earlier and in contrast to the “List Execute state machine” in Figure 8-17 of clause 8.6.9.2.
Furthermore TickGranularity has units of 1/10s nanoseconds and can therefore not be accurately subtracted from ExitTimer, which is in full nanoseconds.
Furthermore there is a conflict between 8.6.9.4.16 and 12.29, which the NOTE points out. NOTEs cannot contain normative text, so there is no way that the NOTE can override the preceding text nor arbitrate between it and 12.29.
There is no descriptive or normative clause for TickGranularity, it is therefore unclear what the expected behaviour is.