{
  "content": {
    "blocks": [
      {
        "caption": "The substrate cycle and its recursion.",
        "kind": "mermaid",
        "text": "flowchart LR\n    n_existence[\"existence\"]\n    n_difference[\"difference\"]\n    n_relation[\"relation\"]\n    n_structure[\"structure\"]\n    n_transformation[\"transformation\"]\n    n_constraint[\"constraint\"]\n    n_emergence[\"emergence\"]\n    n_existence --> n_difference\n    n_difference --> n_relation\n    n_relation --> n_structure\n    n_structure --> n_transformation\n    n_transformation --> n_constraint\n    n_constraint --> n_emergence\n    n_emergence -.-> n_difference"
      },
      {
        "kind": "text",
        "text": "Recursion · [emergence](/records/reasoning/substrate-node-emergence) → [difference](/records/reasoning/substrate-node-difference)"
      }
    ],
    "icon": "bi-signpost-split",
    "id": "the-substrate",
    "intro": "Beneath the loop lies the generative substrate, meaning the cycle every node passes through, the recursion that turns emergence back into a new difference, and the math types each node yields.",
    "subsections": [
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [set-theory](/records/reasoning/math-type-set-theory)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-existence",
        "title": "Existence"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [logic](/records/reasoning/math-type-logic)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-difference",
        "title": "Difference"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [graph](/records/reasoning/math-type-graph)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-relation",
        "title": "Relation"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [algebra](/records/reasoning/math-type-algebra)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-structure",
        "title": "Structure"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [analysis](/records/reasoning/math-type-analysis)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-transformation",
        "title": "Transformation"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [optimization](/records/reasoning/math-type-optimization)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-constraint",
        "title": "Constraint"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [topology](/records/reasoning/math-type-topology)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-invariant",
        "title": "Invariant"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [probability](/records/reasoning/math-type-probability)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-uncertainty",
        "title": "Uncertainty"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [information-theory](/records/reasoning/math-type-information-theory)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-information",
        "title": "Information"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [computation](/records/reasoning/math-type-computation)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-procedure",
        "title": "Procedure"
      },
      {
        "blocks": [
          {
            "items": [
              "Layer: [Substrate](/records/reasoning/layer-substrate)",
              "Math type: [dynamical-systems](/records/reasoning/math-type-dynamical-systems)"
            ],
            "kind": "list"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every model step, math type, genesis tag and construct that names a substrate node",
                "term": "Checked by"
              },
              {
                "description": "Every model, document construct and genesis tag that names the substrate node",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the substrate or a record that names one of its nodes changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a reference to a substrate node that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a substrate node is a primitive of pattern formation, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: 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",
                "term": "Evidence"
              },
              {
                "description": "The substrate node list, which every step, math type, tag and construct that names a node cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-substrate-node-emergence",
        "title": "Emergence"
      }
    ],
    "title": "The substrate"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/reasoning#the-substrate",
  "number": "197",
  "page": "ontology",
  "ref": "chapter:/ontology/reasoning#the-substrate",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-emergence",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-emergence",
          "label": "Emergence",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-emergence.md",
          "ref": "reasoning:substrate-node-emergence"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-difference",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-difference",
          "label": "Difference",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-difference.md",
          "ref": "reasoning:substrate-node-difference"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-layer-substrate",
          "json": "https://banes-lab.com/json/records/reasoning/layer-substrate",
          "label": "Substrate",
          "markdown": "https://banes-lab.com/records/reasoning/layer-substrate.md",
          "ref": "reasoning:layer-substrate"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-set-theory",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-set-theory",
          "label": "Set Theory",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-set-theory.md",
          "ref": "reasoning:math-type-set-theory"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-logic",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-logic",
          "label": "Logic",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-logic.md",
          "ref": "reasoning:math-type-logic"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-graph",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-graph",
          "label": "Graph",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-graph.md",
          "ref": "reasoning:math-type-graph"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-algebra",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-algebra",
          "label": "Algebra",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-algebra.md",
          "ref": "reasoning:math-type-algebra"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-analysis",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-analysis",
          "label": "Analysis",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-analysis.md",
          "ref": "reasoning:math-type-analysis"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-optimization",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-optimization",
          "label": "Optimization",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-optimization.md",
          "ref": "reasoning:math-type-optimization"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-topology",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-topology",
          "label": "Topology",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-topology.md",
          "ref": "reasoning:math-type-topology"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-probability",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-probability",
          "label": "Probability",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-probability.md",
          "ref": "reasoning:math-type-probability"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-information-theory",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-information-theory",
          "label": "Information Theory",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-information-theory.md",
          "ref": "reasoning:math-type-information-theory"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-computation",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-computation",
          "label": "Computation",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-computation.md",
          "ref": "reasoning:math-type-computation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-dynamical-systems",
          "json": "https://banes-lab.com/json/records/reasoning/math-type-dynamical-systems",
          "label": "Dynamical Systems",
          "markdown": "https://banes-lab.com/records/reasoning/math-type-dynamical-systems.md",
          "ref": "reasoning:math-type-dynamical-systems"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "the-substrate",
  "summary": "Beneath the loop lies the generative substrate, meaning the cycle every node passes through, the recursion that turns emergence back into a new difference, and…",
  "tab": "reasoning",
  "title": "The substrate",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#the-reasoning-layers",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-reasoning-layers",
      "label": "The reasoning layers",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-reasoning-layers.md",
      "ref": "chapter:/ontology/reasoning#the-reasoning-layers"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-loop-derivation-loop",
      "json": "https://banes-lab.com/json/ontology/reasoning/reasoning-loop-derivation-loop",
      "label": "The derivation loop",
      "markdown": "https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md",
      "ref": "chapter:/ontology/reasoning#reasoning-loop-derivation-loop"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/reasoning",
    "json": "https://banes-lab.com/json/api/pages/ontology/reasoning",
    "label": "Ontology · Reasoning",
    "markdown": "https://banes-lab.com/api/pages/ontology/reasoning.md",
    "ref": "api:/ontology/reasoning"
  }
}