{
    "cycle": [
        "existence",
        "difference",
        "relation",
        "structure",
        "transformation",
        "constraint",
        "emergence"
    ],
    "recursion": {"from": "emergence",
        "to": "difference"},
    "check": {
        "by": ["the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node"],
        "population": "every model, document construct and genesis tag that names the substrate node",
        "freshness": "a verdict stands until the substrate or a record that names one of its nodes changes",
        "refusal": "the gate fails on a reference to a substrate node that does not exist",
        "observation": "none: a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
        "evidence": "fires-and-accepts: one suite plants a step outside its model's step kind, another plants a ground whose kind exists and whose id does not, and the bundled data validates clean",
        "authority": "the substrate node list, which every step, math type, tag and construct that names a node cites"
    },
    "nodes": [
        {"id": "existence",
            "name": "Existence",
            "layer": "substrate",
            "mathType": "set-theory"},
        {"id": "difference",
            "name": "Difference",
            "layer": "substrate",
            "mathType": "logic"},
        {"id": "relation",
            "name": "Relation",
            "layer": "substrate",
            "mathType": "graph"},
        {"id": "structure",
            "name": "Structure",
            "layer": "substrate",
            "mathType": "algebra"},
        {"id": "transformation",
            "name": "Transformation",
            "layer": "substrate",
            "mathType": "analysis"},
        {"id": "constraint",
            "name": "Constraint",
            "layer": "substrate",
            "mathType": "optimization"},
        {"id": "invariant",
            "name": "Invariant",
            "layer": "substrate",
            "mathType": "topology"},
        {"id": "uncertainty",
            "name": "Uncertainty",
            "layer": "substrate",
            "mathType": "probability"},
        {"id": "information",
            "name": "Information",
            "layer": "substrate",
            "mathType": "information-theory"},
        {"id": "procedure",
            "name": "Procedure",
            "layer": "substrate",
            "mathType": "computation"},
        {"id": "emergence",
            "name": "Emergence",
            "layer": "substrate",
            "mathType": "dynamical-systems"}
    ]
}