{
    "check": {
        "by": ["the ontology resolution gate over every ground that names the pattern type"],
        "population": "every construct and record that grounds the pattern type",
        "freshness": "a verdict stands until the pattern types or a record that names one changes",
        "refusal": "the gate fails on a ground that names a pattern type that does not exist",
        "observation": "none: a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
        "evidence": "fires-and-accepts: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
        "authority": "the pattern type list, which every ground that names a type cites"
    },
    "records": [
        {"id": "symbolic",
            "viewpoint": "formal systems and equations"},
        {"id": "number",
            "label": "numerical",
            "viewpoint": "quantity and arithmetic"},
        {"id": "algebra",
            "label": "algebraic",
            "viewpoint": "operations and transformations"},
        {"id": "geometry",
            "label": "geometric",
            "viewpoint": "shape and space"},
        {"id": "topology",
            "label": "topological",
            "viewpoint": "connectivity and invariance"},
        {"id": "logic",
            "label": "logical",
            "viewpoint": "truth and implication"},
        {"id": "combinatorics",
            "label": "combinatorial",
            "viewpoint": "possible arrangements"},
        {"id": "statistical",
            "viewpoint": "distribution and variation"},
        {"id": "probability",
            "label": "probabilistic",
            "viewpoint": "randomness and uncertainty"},
        {"id": "information",
            "viewpoint": "compression and complexity"},
        {"id": "dynamical-systems",
            "label": "dynamical",
            "viewpoint": "change over time"},
        {"id": "computation",
            "label": "computational",
            "viewpoint": "procedures and algorithms"},
        {"id": "category-theory",
            "label": "categorical",
            "viewpoint": "relationships between structures"},
        {"id": "fractal",
            "viewpoint": "recursive self-similarity"}
    ]
}