---
slug: "MandatoryAbstraction"
name: "MandatoryAbstraction"
type: "Reasoning"
layer: "Mind"
ref: "MandatoryAbstraction#ac44"
sema_id: "sema:MandatoryAbstraction#mh:SHA-256:ac445b08b6e335a966b8ac1e72d2481daaf3078c92295ebed1c66f864935ef04"
tags: ["Mind","Reasoning"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.world/scapes/bootstrap.json
url: https://mindscape.world/bootstrap/MandatoryAbstraction/
related: ["CompositionEdge","MarginalValueRule","RootSolver","SolverDecomposition","SpecializationEdge","StepBack","WhyClimb","OntologyAdapt","ProblemFramer"]
---

# MandatoryAbstraction

Before decomposing a concrete problem, locate it by climbing specialization links to the root, then retrace the route

Layer: Mind · Category: Reasoning

## Mechanism

A concrete problem is located before it is decomposed. The ascent starts at the most specific reusable capability that frames the problem and follows adjacent [SpecializationEdge](https://mindscape.world/scapes/bootstrap/SpecializationEdge.md) links upward until it reaches the [RootSolver](https://mindscape.world/scapes/bootstrap/RootSolver.md). At every proposed attachment, existing and plausible siblings are searched, without any claim to have found them all, and the record states the parent's genus, the child's differentia, how the higher frame changes the later carve, whether the contracts fit, and whether an informative intermediate parent was omitted. An intermediate is inserted or reused only when it changes routing, exposes a reusable invariant or changes the dimensions visible below. The route is then traversed in exact reverse order, and only after it reaches the specific subject is that capability carved by [SolverDecomposition](https://mindscape.world/scapes/bootstrap/SolverDecomposition.md) into children bound by [CompositionEdge](https://mindscape.world/scapes/bootstrap/CompositionEdge.md) links. The ascent is mandatory for every case, while further downward depth stays governed by the [MarginalValueRule](https://mindscape.world/scapes/bootstrap/MarginalValueRule.md). Locating a case on an existing route is distinct from adding a new higher parent, which needs evidence such as sibling comparison, recurrence or a frame error.

## Invariants

- Every case is located by an ascent of specialization links from its most specific reusable capability to the root before it is decomposed.
- Each attachment records the parent's genus, the child's differentia, the sibling search, the effect on the later carve, contract fit and the search for an omitted intermediate.
- The descent before the carve retraces the ascent's route in exact reverse order.
- The ascent is mandatory for locating a case; downward depth after the carve is set by [MarginalValueRule](https://mindscape.world/scapes/bootstrap/MarginalValueRule.md).

## Failure modes

- Carve in place: the problem is decomposed where it was stated, so the carve inherits the stated framing rather than a located one.
- Umbrella attachment: a case is hung under a broad parent although an informative intermediate would change its routing or later carve.
- Route mismatch: the descent does not retrace the ascent exactly, so the carve is made under a frame the ascent did not establish.
- Record read as truth: a complete, valid route record is taken to show that its parents are insightful or true.
- Location read as accommodation: locating a case is taken as licence to add new higher parents without the evidence a topology change needs.

## Builds on

- [CompositionEdge](https://mindscape.world/scapes/bootstrap/CompositionEdge.md) (Infrastructure; References)
- [MarginalValueRule](https://mindscape.world/scapes/bootstrap/MarginalValueRule.md) (Mind; References)
- [RootSolver](https://mindscape.world/scapes/bootstrap/RootSolver.md) (Mind; References)
- [SolverDecomposition](https://mindscape.world/scapes/bootstrap/SolverDecomposition.md) (Mind; References)
- [SpecializationEdge](https://mindscape.world/scapes/bootstrap/SpecializationEdge.md) (Infrastructure; References)

## Used by

—

## Identity

- Sema ID: `sema:MandatoryAbstraction#mh:SHA-256:ac445b08b6e335a966b8ac1e72d2481daaf3078c92295ebed1c66f864935ef04`
- Ref: `MandatoryAbstraction#ac44`
- Supersedes:
  - `sema:MandatoryAbstraction#mh:SHA-256:e1726e448efa1a6f74c76dcf11156068995de6eb2661bff59b2ac1c3c7575acc`

## Links

- [Pattern page](https://mindscape.world/bootstrap/MandatoryAbstraction/)
- [View in the interactive graph](https://mindscape.world/bootstrap/#MandatoryAbstraction)
- [JSON](https://mindscape.world/scapes/bootstrap/MandatoryAbstraction.json)
- [Index of all patterns](https://mindscape.world/scapes/bootstrap.json)