Formal specifications for how mathematical content is structured, validated, and organized within an Agential Semioverse Repository.
- Mathematical Agential Semioverse Repository — content types, typed relations, and validation shapes for mathematical knowledge