Module certify

The two-tier driver: interval filter first, exact fallback second.

Enums

ExactError

Why an exact computation was refused.

Traits

SignExpr

A sign question, written once and evaluable in any Arith.

Functions

certify

The proven sign: filter, then exact arithmetic if the filter was undecided.

filter

The interval filter alone, so escalation can be observed and measured.

require_finite

Refuse NaN and infinities before any arithmetic runs.