One doc tagged with "specification"

Formal specification for extensibility categories (extensible, semi-extensible, not-extensible) and context injection blocks