Just a suggestion:
I think the following might be helpful in Figure 7.14 [ page 269 ] under the Association Request and Association Response lines respectively:
(MDIE, FTIE[R0KH-ID, R1-KH-ID])
The MDIE and FTIE are mentioned in the text, but it may help to have the above mentioned on the diagram to ?discriminate? between ?regular old? association request and response frames and the FT types.
Re Figure 7.15 [ p270 ]: Figure 11A4 of the 802.11r spec shows a ?MIC? element included in the FTIE of the Reassociation Request and Reassociation Response frames.
The Figure shows the GTK as being ?outside? the FTIE in the Reassociation Response Frame ???. ROKH-ID ], GTK.
I think it is actually included in the FTIE via the Optional Parameters field [ Subelement ID 2 ?GTK? ].
In Figure 7.16, I think that the ?Anonce? is missing from The FT Action Response frame under the FTIE element.
Similar ?MIC? element in FTIE as per Figure 7.15.