---
slug: "SpecializationEdge"
name: "SpecializationEdge"
type: "Data Structures"
layer: "Infrastructure"
ref: "SpecializationEdge#4d20"
sema_id: "sema:SpecializationEdge#mh:SHA-256:4d203b9383c917cc241dc8b4ab9cf6a48eb0113f86b60a0dda5cf3defb8b3017"
tags: ["Infrastructure","Data Structures"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.pages.dev/bootstrap/index.json
url: https://mindscape.pages.dev/bootstrap/SpecializationEdge/
related: ["Hierarchy","ConceptualDecomposition","MandatoryAbstraction","Category","Specialize","Topology","CompositionEdge"]
---

# SpecializationEdge

A link stating that a child concept is a kind or realization of its parent, forming the route by which problems are located

Layer: Infrastructure · Category: Data Structures

## Mechanism

A specialization edge records that one concept is a kind or realization of another: the parent names a genus, and the child is set apart within it by a stated differentia, as a sushi bar is a kind of restaurant. These edges are what a concrete problem climbs to locate itself, from its most specific capability up to the root, and the current topology profile requires them to form a rooted, acyclic kind-of [Hierarchy](https://mindscape.pages.dev/bootstrap/Hierarchy.md). Kinds are open-world: the children under a parent are those found so far, and a sibling search never claims to have found them all. Because the relation belongs to the edge rather than to the node, one concept may be a kind of several parents where the graph allows multi-parent reuse. A part of what makes the parent work is not one of its kinds.

## Invariants

- The child is a kind or realization of the parent, with a stated differentia that distinguishes it within the parent's genus.
- In the current topology profile, specialization edges followed upward reach the root without a cycle.
- A parent's specialization children claim no completeness.

## Failure modes

- Part filed as kind: a contribution to the parent is linked as one of its kinds, so the classification route runs through something that is not a kind.
- Closed-world reading: a parent's recorded kinds are taken as all of them, so a case that fits none is forced into the nearest.
- Missing differentia: a child is attached without stating what distinguishes it from its siblings, so nothing shows it is a separate kind.

## Data schema

```json
{
  "type": "object",
  "required": [
    "parent",
    "child",
    "differentia"
  ],
  "properties": {
    "parent": {
      "type": "string",
      "description": "The genus: the more general concept the child is a kind of"
    },
    "child": {
      "type": "string",
      "description": "The kind or realization"
    },
    "differentia": {
      "type": "string",
      "description": "What sets the child apart from its siblings within the parent's genus"
    },
    "role": {
      "type": "string",
      "description": "Optional role the child plays under this parent; it belongs to the edge, so the same child can play different roles under different parents"
    }
  }
}
```

## Builds on

- [Hierarchy](https://mindscape.pages.dev/bootstrap/Hierarchy.md) (Infrastructure; References)

## Used by

- [ConceptualDecomposition](https://mindscape.pages.dev/bootstrap/ConceptualDecomposition.md) (Mind; References)
- [MandatoryAbstraction](https://mindscape.pages.dev/bootstrap/MandatoryAbstraction.md) (Mind; References)

## Identity

- Sema ID: `sema:SpecializationEdge#mh:SHA-256:4d203b9383c917cc241dc8b4ab9cf6a48eb0113f86b60a0dda5cf3defb8b3017`
- Ref: `SpecializationEdge#4d20`

## Links

- [Pattern page](https://mindscape.pages.dev/bootstrap/SpecializationEdge/)
- [View in the interactive graph](https://mindscape.pages.dev/bootstrap/#SpecializationEdge)
- [JSON](https://mindscape.pages.dev/bootstrap/SpecializationEdge.json)
- [Index of all patterns](https://mindscape.pages.dev/bootstrap/index.json)