Mind · Strategy
RigorousSolver
High-reliability, high-latency System 2 solver
Definition
Mechanism
A high-reliability, high-latency implementation of PolymorphicSolver 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 to verify reality alignment and SocraticLoop to disambiguate intent before action. Incorporates Feedback 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.
Risks
Failure modes
None stated.
Relationships
Builds on
Composes with
References
Solver implementing the five-surface contract (polymorphic across substrates)
Clarification before generation
Extends
Solver implementing the five-surface contract (polymorphic across substrates)
Used by
References
Society
High-velocity solver requiring parallel runtime
Reference