{
  "handle": "RecursionDive",
  "mechanism": "Execution: the active process of traversing a {{solver_tree}} downwards. Accepts a {{solver_node}}, applies {{decompose}} to its task, and either generates child {{solver_node}}s or reports the node atomic.",
  "gloss": "Vertical traversal of the solution tree",
  "_meta": {
    "tier": 1,
    "ring": 2,
    "related": [
      "sema:SolverNode#mh:SHA-256:d95df25d55378a330e546ae0929a37764c7a3e78f985256faf60d4739af18807"
    ],
    "supersedes": [
      "sema:RecursionDive#mh:SHA-256:cda8342178bffc23bea270e79154d4bc0cb2df2c1bd33d2fa6590ba095f8cd49",
      "sema:RecursionDive#mh:SHA-256:962fe54ff725660cdb05d786dd9ef651d7e020c69eb11a57301bed088aa91d83",
      "sema:RecursionDive#mh:SHA-256:bd1380babbca57f5f1a00721f887c9ecf6fff48d73302a28e735d956134b4921",
      "sema:RecursionDive#mh:SHA-256:7e67260837bfb3fd46b514f9ddfe0b6e6f62657e8af2a626a14e29f77ada285d",
      "sema:RecursionDive#mh:SHA-256:3cb8f2f1f21a09dbc4f4a6de995284bf406c2462d3a861d6215e935205ccfbe2",
      "sema:RecursionDive#mh:SHA-256:54763d3b1a9745e7f4a13d34b68355866c9cad797d786c8c43cb0306a37e78d3"
    ],
    "path": [
      "Mind",
      "Reasoning"
    ]
  },
  "sema_id": "sema:RecursionDive#mh:SHA-256:a86f17bad949a7a5405f04b4bc43a3e6be28c5c31e8328ccf178fa292719d754",
  "sema_ref": "RecursionDive#a86f",
  "sema_stub": "a86f",
  "postconditions": [
    "Either child {{solver_node}}s exist, or the node is marked atomic"
  ],
  "failure_modes": [
    "Ungoverned descent: the depth bound lives in `DepthGovernor` and `MarginalValueRule`, so an ungoverned dive descends until the substrate stops it.",
    "Fan-in re-expanded: the runtime graph is a DAG, so a shared node is expanded once per parent."
  ],
  "dependencies": {
    "composes_with": {
      "decompose": "sema:Decompose#mh:SHA-256:69942e7e0dcdc7781144da58c8f09b2e8a17c247be435dadf3325cb0d0bbb22b"
    },
    "references": {
      "solver_node": "sema:SolverNode#mh:SHA-256:f895214a9b07066f4043d55d3b260e8a788bda0150b9d8fda20eafa91b846116",
      "solver_tree": "sema:SolverTree#mh:SHA-256:e275a01a2ced22c7412f23780f4bfa84ca171e9184f29d65336c24baddcc4052"
    }
  },
  "sema_layer": "Mind",
  "sema_category": "Reasoning",
  "used_by": {
    "references": {
      "DepthGovernor": "sema:DepthGovernor#mh:SHA-256:5b24d810ede53e7e6716e3e20e7c28cf578f171845af2358344c25f0c56b7b75",
      "MarginalValueRule": "sema:MarginalValueRule#mh:SHA-256:661109205c507b2c26d683d091de7f8b782bf2d6c2e9192373b242a9b078ac71"
    },
    "composes_with": {
      "FractalIntelligence": "sema:FractalIntelligence#mh:SHA-256:27f78221851ad25557bc00476e1490f5c35f5c4d27a30deaf52e3c138d8c20c5"
    }
  }
}
