---
slug: "RigorousSolver"
name: "RigorousSolver"
type: "Strategy"
layer: "Mind"
ref: "RigorousSolver#2203"
sema_id: "sema:RigorousSolver#mh:SHA-256:2203568438553dc7e6331a7336e2bf488fc99de0a39c601ca3f63ba3e8849038"
tags: ["Mind","Strategy"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.pages.dev/bootstrap/index.json
url: https://mindscape.pages.dev/bootstrap/RigorousSolver/
related: ["Feedback","Probe","PolymorphicSolver","SocraticLoop","OptimisticSolver"]
---

# RigorousSolver

High-reliability, high-latency System 2 solver

Layer: Mind · Category: Strategy

## Mechanism

A high-reliability, high-latency implementation of [PolymorphicSolver](https://mindscape.pages.dev/bootstrap/PolymorphicSolver.md) that mandates the full five-surface Solver Contract (Manifest, Execute, Consult, Verify, Feedback) with non-compensatory acceptance gates — every declared invariant must pass before a Result becomes a Solution; partial success is not permitted to propagate. Uses [Probe](https://mindscape.pages.dev/bootstrap/Probe.md) to verify reality alignment and [SocraticLoop](https://mindscape.pages.dev/bootstrap/SocraticLoop.md) to disambiguate intent before action. Incorporates [Feedback](https://mindscape.pages.dev/bootstrap/Feedback.md) to improve future reliability. Trades speed for assurance (System 2).

## Invariants

- Lifecycle Completeness: Must complete all 5 stages including Verification.
- Mandatory Verification: Cannot skip Probe step.

## Failure modes

—

## Builds on

- [Feedback](https://mindscape.pages.dev/bootstrap/Feedback.md) (Infrastructure; Composes with)
- [Probe](https://mindscape.pages.dev/bootstrap/Probe.md) (Infrastructure; Composes with)
- [PolymorphicSolver](https://mindscape.pages.dev/bootstrap/PolymorphicSolver.md) (Mind; References)
- [SocraticLoop](https://mindscape.pages.dev/bootstrap/SocraticLoop.md) (Mind; References)
- [PolymorphicSolver](https://mindscape.pages.dev/bootstrap/PolymorphicSolver.md) (Mind; Extends)

## Used by

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

## Identity

- Sema ID: `sema:RigorousSolver#mh:SHA-256:2203568438553dc7e6331a7336e2bf488fc99de0a39c601ca3f63ba3e8849038`
- Ref: `RigorousSolver#2203`
- Supersedes:
  - `sema:RigorousSolver#mh:SHA-256:169f46575554787f8f6be182014bd4f008264153fb30c33ddfd03da1c5dea507`
  - `sema:RigorousSolver#mh:SHA-256:f041fba32fa393375adb1b0334f1536546914c8e76fb6262f8288390aa375268`
  - `sema:RigorousSolver#mh:SHA-256:b75d4b063fc8f90f4a1361ef08c8dac02fbf147f0c8f122ca390fdbde74d39cd`
  - `sema:RigorousSolver#mh:SHA-256:1275832b5bb4e2ad2e682f32326f8a02f105df57d582be23afd1fb1a7cfae921`
  - `sema:RigorousSolver#mh:SHA-256:93b824003c5454397626a8c2afe22a03c0b5dae890b8a7bc2158f8139825bd96`
  - `sema:RigorousSolver#mh:SHA-256:9034894bb7da496602aa81afd2ea44e893a822002b1888daddb28fad4164135c`

## Links

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