--- title: Independent result verification | SpinForge url: https://spin-forge.com/solutions/result-verification description: Check a supported candidate or proof against the original model—even when another system produced the answer. Understand what passed, what failed and what… --- [All solution workflows ](https://spin-forge.com/workflows) 01 / ASSURANCE INDEPENDENT RESULT VERIFICATION # Keep your solver. Check the result. Check a supported candidate or proof against the original model—even when another system produced the answer. Understand what passed, what failed and what remains unresolved. [Discuss this workflow](https://spin-forge.com/contact?product=workflow-result-verification&interface=all&brief=SpinForge+solution+request%3A+Independent+result+verification%0A%0ACustomer+objective%3A+%0AExisting+system%3A+%0A%0APlease+scope+the+supported+workflow%2C+selected+products+and+delivery+responsibilities.%0AProducts+to+review%3A+UNISOLVE%2C+GARMO+UCS%2C+SATForge%2C+modalg%2C+GraphForge%0A%0AAcceptance+measures%3A%0A-+Coverage+of+the+agreed+original-model+checks%0A-+Rejection+of+deliberately+invalid+candidates%0A-+Time+and+cost+per+verification%0A-+Correct+separation+of+checked%2C+unproved+and+unresolved+outcomes%0A%0AEligible+software+can+use+the+existing+monthly+plans.+A+custom+producer+adapter%2C+operated+checking+service%2C+larger+proof+budget+or+private+rollout+is+quoted+separately.+Basic+result+labels+and+required+checks+are+not+withheld+as+an+upgrade.) [See what you get](https://spin-forge.com/solutions/result-verification?section=workflow-delivery) Available products. A customer-specific workflow. CLI · MCP · Headless BUILT FOR Optimization teams, engineering-software vendors and integrators that need a second checking path before using a result. THE CHALLENGE / THE RESPONSE ## Start with what needs to change. A useful implementation has a specific job. The scope is built around your original requirements, environment and acceptance criteria. 01 ### The answer arrived without enough evidence. A successful solver run does not, by itself, explain whether the candidate satisfies the original requirements. HOW SPINFORGE HELPS SpinForge checks the supported candidate and objective against the agreed source model and returns a report with separate integrity, solution and mathematical-completion states. 02 ### You want assurance without replacing the engine. Changing an established solving workflow can be a larger project than the checking task itself. HOW SPINFORGE HELPS Start with a read-only checking step. Keep the existing producer and qualify the format and evidence adapter that connects its output to the selected SpinForge checker. 03 ### Different outputs are hard to compare. A changed model, objective convention or numerical assumption can make two apparently similar answers incomparable. HOW SPINFORGE HELPS Bind the evaluation to the original inputs and accepted arithmetic or tolerance rules. Compare candidates on that common basis and retain incomplete outcomes. THE DELIVERY ## Know what you are getting. The final order identifies the selected products, integration work and operating responsibilities. Included components and work are not charged again. 01 ### Original-model checks A defined checking workflow for the admitted model, candidate and evidence combination, with unsupported inputs identified before acceptance. 02 ### A readable decision report Separate integrity, candidate and supported proof results, plus the objective and any limitations that affect interpretation. 03 ### Evidence you can retain Model/revision identity and the selected product’s checking artifacts, with export and retention arrangements agreed for the deployment. 04 ### A repeatable integration CLI, MCP or headless access for the selected product, with an optional adapter and written handover for your environment. AN ILLUSTRATIVE WORKFLOW ## An allocation result needs a second look. Your current solver proposes an allocation. You want to check the original capacity restrictions and objective before a planner uses it. This is an illustrative workflow, not a customer case study. Explanation only—not a live product run or a claimed customer deployment. 01 / 03 ### Bring the original question Provide the supported original model, candidate and available evidence. Agree which properties must be checked and how much verification work is authorized. QUALIFY THE FIT ## Your requirements. An explicit scope. Agree the supported models, execution environment and acceptance measures before committing to the delivery. ### What you bring - Original model and candidate output - Producer format and version, where relevant - Required property and arithmetic/tolerance rules - Checking budget, artifact handling and retention needs ### What we measure - Coverage of the agreed original-model checks - Rejection of deliberately invalid candidates - Time and cost per verification - Correct separation of checked, unproved and unresolved outcomes THE BOUNDARY Compatibility is checked per format and proof class. This is not universal third-party solver certification or an accredited external audit. A checked feasible candidate is not automatically a proven optimum. PRODUCTS TO CONSIDER Choose the relevant capability. Not every workflow needs every product. [UNISOLVE](https://spin-forge.com/unisolve) [GARMO UCS](https://spin-forge.com/ucs) [SATForge](https://spin-forge.com/forge15/satforge) [modalg](https://spin-forge.com/forge15/modalg) [GraphForge](https://spin-forge.com/forge15/graphforge) HOW TO BUY ## Start with one checking workflow. Eligible software can use the existing monthly plans. A custom producer adapter, operated checking service, larger proof budget or private rollout is quoted separately. Basic result labels and required checks are not withheld as an upgrade. [Review existing plans](https://spin-forge.com/plans?plan=standard&items=unisolve§ion=access-configure) [All prices & rights](https://spin-forge.com/pricing) PREPARE YOUR SCOPE Delivery preference Preferred access What should this workflow accomplish? What would make the result acceptable? Prepared locally in your browser. Review the message on the contact page and send it through your email application. No model upload, account activation, job execution or payment occurs here. BEFORE YOU BUY ## A few useful distinctions. **Can we keep our existing solver?**Yes. The engagement can focus only on checking a supported output. An adapter may be needed, and third-party format compatibility is established before work is accepted. **Does a passed check prove the whole business decision is correct?**Only the stated properties of the accepted model are checked. Your team must confirm that the model represents the real requirement and that the evidence is sufficient for its intended use. **Do you verify every kind of optimality proof?**No. The admitted checker and proof class are explicit. Unsupported proofs and incomplete checks are reported, not promoted to a successful proof. **What does the current UNISOLVE release add?**UNISOLVE latest supplied inventory keeps solution, optimality, infeasibility, unboundedness and original-source trust separate. Its configured SCIP/VIPR route applies to exact linear-MIP certificates, not ordinary numerical status. RELATED WORK ## Another way to move forward. Use a capability directly or bring it into a wider workflow. The existing products and commercial agreements remain independently available. [02 ### AI decision checks Check an AI-generated configuration, allocation or plan against approved, explicitly modeled requirements before an authorized system acts.](https://spin-forge.com/solutions/ai-decision-checks) [05 ### Performance & release checks Make performance and quality evaluation a repeatable part of your release process. Compare an agreed workload before a change is accepted into production.](https://spin-forge.com/solutions/release-checks) [View all 17 solution workflows](https://spin-forge.com/workflows) A CONNECTED CUSTOMER PROGRAM ## A useful outcome. A defined delivery. Commission the model, integration and acceptance work needed for your task. Existing products stay independently available. [01 / Scoped customer program ### Explain & repair a constrained plan Commission one supported decision model, a scoped conflict analysis and a comparison of permitted repairs.](https://spin-forge.com/programs/plan-diagnosis) [02 / Scoped customer program ### Maintain a recurring decision Commission a revision-aware workflow that keeps models, assumptions, results and evidence connected as inputs change.](https://spin-forge.com/programs/living-decisions) [Explore decision programs](https://spin-forge.com/decision-systems)