Contractions seem a bit colloquial for a formal specification.
I wasn't sure if you wish to cut down on markup overhead by eliminating links to the glossary from the checkpoints, so I didn't list those links. For many of the checkpoints, glossary items are anchors without class .dfn-instance markup. For example, in 2. 1, 6.1 Note, and 3. 1.2 Help orient the user - list item 1 stalled, etc.