Mind · Strategy

Solver

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

Definition

Mechanism

The abstract Trait exposing the five-surface Solver Contract — Manifest (what can you do?), Execute (perform the Task), Consult (cost/quality/rationale), Verify (post-execution assurance), and Feedback (emits a typed PerformanceSignal — 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. Solver is an interface, not a class: any Agent 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

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

Risks

Failure modes

None stated.

Relationships

Builds on

Accepts

Infrastructure

Task

The atomic unit of intent

References

Agent

Autonomous Goal-Directed Entity

Infrastructure

PerformanceSignal

Typed artifact emitted by a Solver's Feedback surface — downstream evaluation that feeds Pathway Memory

Infrastructure

Trait

Named surface set that implementers must provide

Yields

Infrastructure

Solution

The fractal unit of completed work

Used by

References

Society

Award

Acceptance of bid and contract creation

Society

Bid

Binding offer from solver to execute task

DiscoveryProtocol

Population-based discovery: Generate (parallel diverse solvers) + Reduce (composition-aware selection) behind hard boundaries

PolymorphicSolver

Solver implementing the five-surface contract (polymorphic across substrates)

SolverDecomposition

Breaking a concept into solver-contract-bound sub-concepts — the move that enables fractal recursion

Infrastructure

SolverManifest

Typed solver identity and capability declaration

Society

Workflow

Directed graph of operations

Reference

Signature

  • Trait(Task)

Identity

Ref
Solver#a447
Sema ID
sema:Solver#mh:SHA-256:a4478611882cced1b069f8dc551d401c74b35cefe02ed67d37d1aa135e19825b
Ring
0
Tier
0
Updated
2026-11-11
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