---
title: Forge15 verification | SpinForge
url: https://spin-forge.com/forge15/verification
description: Independent checking is the family principle. The property established by the check is specific to the tool and the experiment.
---

FORGE15 / VERIFICATION [The full offering](https://spin-forge.com/platform)

# Not every check
means the same thing.

Independent checking is the family principle. The property established by the check is specific to the tool and the experiment.

[Explore all 15 tools](https://spin-forge.com/forge15)

01

EXACT ARITHMETIC

## The stated integer or algebraic result

modalg provides exact-arithmetic results. LatForge checks the stated basis-reduction properties. The required evidence remains specific to each claim; an exact value alone is not a proof of a different property.

[LatForge](https://spin-forge.com/forge15/latforge) [modalg](https://spin-forge.com/forge15/modalg)

02

FEASIBILITY & OPTIMALITY

## A satisfying assignment is not the same as a proven optimum

SATForge rechecks clauses for a returned satisfying assignment. bnb_certified can close the supported knapsack proof to gap zero. Sinkhorn marginal checks assess transport feasibility, not unregularized optimality.

[SATForge](https://spin-forge.com/forge15/satforge) [bnb_certified](https://spin-forge.com/forge15/bnb-certified) [sinkhorn_ot](https://spin-forge.com/forge15/sinkhorn-ot)

03

NUMERICAL CONSISTENCY

## A residual or tolerance tied to the original problem

krylov_scale recomputes a true residual. SpectralForge uses round-trip, energy and reference checks. TomoForge checks data fit. Residual size, forward error and reconstruction quality are different properties.

[krylov_scale](https://spin-forge.com/forge15/krylov-scale) [SpectralForge](https://spin-forge.com/forge15/spectralforge) [TomoForge](https://spin-forge.com/forge15/tomoforge) [ValueForge](https://spin-forge.com/forge15/valueforge)

04

REFERENCE COMPARISONS

## The evaluated dataset and model still matter

ANNForge measures recall against exact-search references. GraphForge uses algorithm-specific graph checks. enkf_scale reports comparison with an exact Kalman-filter reference on its qualification cases.

[ANNForge](https://spin-forge.com/forge15/annforge) [GraphForge](https://spin-forge.com/forge15/graphforge) [enkf_scale](https://spin-forge.com/forge15/enkf-scale)

05

STATISTICAL UNCERTAINTY

## Coverage is probabilistic, not an absolute promise

certmc and certcount report uncertainty intervals under their method assumptions. sketchstream reports sketch-specific error behaviour. An interval contains the truth with its stated coverage, not with certainty on every run.

[certmc](https://spin-forge.com/forge15/certmc) [certcount](https://spin-forge.com/forge15/certcount) [sketchstream](https://spin-forge.com/forge15/sketchstream)

EXECUTION EVIDENCE

## The GPU path.
And the path actually tested.

Forge15 targets fast GPU execution with a separate checker. The supplied campaign did not exercise TomoForge’s matrix-free path on GPU; do not read the family label as a claim that it did.

[TomoForge campaign scope](https://spin-forge.com/forge15/tomoforge) [Results & evidence](https://spin-forge.com/results) [Request evaluation artifacts](https://spin-forge.com/contact?product=forge15)

UNISOLVE VERIFICATION

## A different package.
The same precision.

Explore source-bound integrity, candidate and mathematical-completion checks in UNISOLVE. These do not replace Forge15’s tool-specific exact, numerical and statistical checks.

[Read the verification guide](https://spin-forge.com/unisolve/verification)