{
    "check": {
        "by": ["the ontology resolution gate over the nodes and structured-document constructs that name the representation"],
        "population": "every node and document construct that names the representation",
        "freshness": "a verdict stands until the representations or a record that names one changes",
        "refusal": "the gate fails on a node or construct that names a representation that does not exist",
        "observation": "none: a representation is a form of encoding, and nothing observes it while a run executes",
        "evidence": "fires-and-accepts: a suite plants a node that names a missing representation, and the bundled references resolve",
        "authority": "the representation list, which every node and construct that names a representation cites"
    },
    "records": [
        {"id": "symbolic",
            "expression": "equations, formulas, notation"},
        {"id": "logic",
            "label": "logical",
            "expression": "statements, predicates, proofs"},
        {"id": "number",
            "label": "numerical",
            "expression": "numbers, quantities, measurements"},
        {"id": "algebra",
            "label": "algebraic",
            "expression": "operations, groups, fields"},
        {"id": "geometry",
            "label": "geometric",
            "expression": "shapes, coordinates, spaces"},
        {"id": "topology",
            "label": "topological",
            "expression": "connectivity, continuity"},
        {"id": "graph",
            "label": "graphical",
            "expression": "diagrams, graphs, networks"},
        {"id": "matrix",
            "expression": "linear transformations"},
        {"id": "function",
            "label": "functional",
            "expression": "mappings between spaces"},
        {
            "id": "information-theory",
            "label": "information-theoretic",
            "expression": "entropy, encoding, compression"
        },
        {"id": "probability",
            "label": "probabilistic",
            "expression": "distributions and likelihoods"},
        {"id": "dynamical-systems",
            "label": "dynamical",
            "expression": "state transitions"},
        {"id": "computation",
            "label": "computational",
            "expression": "algorithms and programs"},
        {"id": "category-theory",
            "label": "categorical",
            "expression": "objects and morphisms"}
    ]
}