I would like to understand why the spec includes a Abstract store interface section and ask if this section should be clarified as descriptive, not normative.

Why should the spec care what interface and implementation chooses for the Store abstraction? So long as the store does the right thing, surely the implementation is free to choose a different abstract interface?