Not every check
means the same thing.

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.

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.

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.

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.

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.