---
title: UNISOLVE verification | SpinForge
url: https://spin-forge.com/unisolve/verification
description: Integrity, checked candidates, optimality, infeasibility, unboundedness and original-source trust are distinct. The current release keeps those meanings…
---

UNISOLVE / VERIFICATION

# Know what
passed.

Integrity, checked candidates, optimality, infeasibility, unboundedness and original-source trust are distinct. The current release keeps those meanings separate.

Current source G: UNISOLVE 0.16.1, 82 profiles, 65 entry functions, 133 Python exports, 38 CLI operations and nine stdio MCP tools. All profiles were exercised through the installed-package campaign; optional declines and incomplete outcomes remain explicit. [Current evidence ](https://spin-forge.com/unisolve/validation)

READ THE RESULT

## Separate properties.
Separate evidence.

Six illustrative explanations—not live solver output, a certificate upload or an exact schema for every profile.

integrity_verified

### Payload integrity

The retained payload matches its recorded identity.

No

solution_verified

### Checked candidate

A candidate passes its applicable original-model checks.

No

optimality_verified

### Checked optimum

A supported independent optimum claim passes.

No

infeasibility_verified

### Checked infeasibility

The supported original-model infeasibility claim passes.

No

unbounded_verified

### Checked unboundedness

The supported original-model unboundedness claim passes.

No

valid

### No contradictory claim

The performed checks find no contradictory claim; this is not synonymous with solved.

No

INTERPRETATION / ILLUSTRATION

###

Original-source and trust flags remain separate as well. A valid-but-incomplete state is not admitted as a complete answer when --require-optimal applies. Exact field combinations depend on the selected result and profile.

CURRENT INVENTORY

## Check the answer.
Keep its meaning.

Every accepted solve-any answer receives a solver-specific check and generic certificate verification.

01

### Durable result evidence

Large certificates are stored as durable files; the response returns a digest and verification reports. They can be inspected independently of the selecting engine.

02

### Exact values remain exact

Supported irrational optima retain algebraic witness, objective and bound fields. Ordinary numeric fields stay null rather than misrepresenting an irrational value.

03

### Exact linear-MIP path

A specifically configured SCIP/VIPR route supplies original-model certificates for exact linear MIP. Ordinary SCIP, HiGHS or other numerical statuses are not promoted to independent proof.

04

### Proof-preserving revisions

A parent bound transfers only after independent replay and preservation of every parent domain, objective and row. A fresh current-original witness must attain it before a new optimum is granted.

BEFORE ACCEPTANCE

## What the proof
does not say.

**Does --require-optimal guarantee a result by the deadline?**No. It restricts acceptance to an independently checked complete decision or global optimum. Unsupported cases, exhausted budgets and unknown outcomes retain their boundaries.

**Does parser availability establish full language coverage?**No. Frontends admit defined subsets. Optional reader output and high-level compiler translation retain their own trust boundaries.

**Does a regional proof establish the global optimum?**No. Fixed-outside regional optimality applies only to that restricted problem unless an original-model global proof independently closes the claim.

**Are all external solvers native UNISOLVE engines?**No. Optional integrations are explicit. GCG decomposition/column generation, Concorde, Gurobi and Kissat are not native UNISOLVE engines in this update.

**Does a checked mathematical model certify the business request?**No. The customer must validate the model and interpretation of its requirements. Proof acceptance covers the admitted original model and theorem.

ORIGINAL MODEL / RESULT SCOPE

## A checked answer.
The right conclusion.

Keep a feasible solution, a checked bound, a regional optimum, an epsilon gap and a complete original optimum separate. Infeasibility and unboundedness have their own proof obligations. A checksum or a numerical backend status grants no global proof authority.

FINAL PROOF CHECK

### GT2 optimum 21,166

Retained independently checked original-model result with an explicit 20-million-work checker allowance. A larger checking allowance is part of the disclosed result.

FRESH REPLAY

### The checker is not a rerun

Fresh proof tests block solver constructors, while hostile certificate changes are tested separately. Accepted solve_any answers need both solver-specific and generic certificate verification.

SCOPE

### Completion is not guaranteed

--require-optimal accepts only a checked complete decision or global result. It cannot force an unfinished search to produce one.