---
slug: "Solver"
name: "Solver"
type: "Strategy"
layer: "Mind"
ref: "Solver#a447"
sema_id: "sema:Solver#mh:SHA-256:a4478611882cced1b069f8dc551d401c74b35cefe02ed67d37d1aa135e19825b"
tags: ["Mind","Strategy"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.world/scapes/bootstrap.json
url: https://mindscape.world/bootstrap/Solver/
related: ["Task","Agent","PerformanceSignal","Trait","Solution","Award","Bid","DiscoveryProtocol","PolymorphicSolver","SolverDecomposition","SolverManifest","Workflow"]
---

# Solver

Abstract five-surface contract: Manifest, Execute, Consult, Verify, Feedback

Layer: Mind · Category: Strategy

## Mechanism

The abstract [Trait](https://mindscape.world/scapes/bootstrap/Trait.md) exposing the five-surface Solver Contract — Manifest (what can you do?), Execute (perform the [Task](https://mindscape.world/scapes/bootstrap/Task.md)), Consult (cost/quality/rationale), Verify (post-execution assurance), and Feedback (emits a typed [PerformanceSignal](https://mindscape.world/scapes/bootstrap/PerformanceSignal.md) — structured evaluation, or a FrameError escalation). Manifest and Execute are mandatory; Consult/Verify/Feedback are optional but strongly recommended at hard seams. Accepts a typed Task and yields a typed [Solution](https://mindscape.world/scapes/bootstrap/Solution.md). Solver is an interface, not a class: any [Agent](https://mindscape.world/scapes/bootstrap/Agent.md) can take on the role of a Solver for the duration of a Task. The "[descriptor]Solver" naming convention is the library's construction pattern — DiagnosticSolver, PlanningSolver, ReduceSolver, PUREOptimizationSolver, and so on are all minted by appending "Solver" to a domain descriptor, each specialising the contract. The same agent can wear many solver roles simultaneously or sequentially; lightweight roles (Manifest + Execute only) scale up to permanent instances as tasks compound. Recursion follows naturally: when a Solver decomposes its Task, it becomes the root of a sub-tree whose children are themselves Solvers — the mechanism that gives the UniversalSolverTree its fractal shape.

## Invariants

- Every surface it declares is callable; Manifest and Execute are mandatory.
- A declared surface reports its own unavailability rather than failing silently.

## Failure modes

—

## Signature

- `Trait(Task)`

## Builds on

- [Task](https://mindscape.world/scapes/bootstrap/Task.md) (Infrastructure; Accepts)
- [Agent](https://mindscape.world/scapes/bootstrap/Agent.md) (Mind; References)
- [PerformanceSignal](https://mindscape.world/scapes/bootstrap/PerformanceSignal.md) (Infrastructure; References)
- [Trait](https://mindscape.world/scapes/bootstrap/Trait.md) (Infrastructure; References)
- [Solution](https://mindscape.world/scapes/bootstrap/Solution.md) (Infrastructure; Yields)

## Used by

- [Award](https://mindscape.world/scapes/bootstrap/Award.md) (Society; References)
- [Bid](https://mindscape.world/scapes/bootstrap/Bid.md) (Society; References)
- [DiscoveryProtocol](https://mindscape.world/scapes/bootstrap/DiscoveryProtocol.md) (Mind; References)
- [PolymorphicSolver](https://mindscape.world/scapes/bootstrap/PolymorphicSolver.md) (Mind; References)
- [SolverDecomposition](https://mindscape.world/scapes/bootstrap/SolverDecomposition.md) (Mind; References)
- [SolverManifest](https://mindscape.world/scapes/bootstrap/SolverManifest.md) (Infrastructure; References)
- [Workflow](https://mindscape.world/scapes/bootstrap/Workflow.md) (Society; References)

## Identity

- Sema ID: `sema:Solver#mh:SHA-256:a4478611882cced1b069f8dc551d401c74b35cefe02ed67d37d1aa135e19825b`
- Ref: `Solver#a447`
- Supersedes:
  - `sema:Solver#mh:SHA-256:1c9beeb5cffc0c686b5291439d830a2104225589f91a66bd0a83038f1a0a8982`
  - `sema:Solver#mh:SHA-256:b7f9e18fec50d288ea829a21a59de02f65cf1ffe3eef07142389d659bd421d02`
  - `sema:Solver#mh:SHA-256:04b58c815005971905e3d430112a06fb76b727882204a80fe58ace79b066a1d6`
  - `sema:Solver#mh:SHA-256:a9ecf615e1964f937986b1972f498ad6d00137dd8b069ddeaf4106704845f054`
  - `sema:Solver#mh:SHA-256:1f06eef94b1ee0c75628274a0f80d3348b6def7cdf42ae072ec203346c3d9241`

## Links

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