A tolerance request is not evidence that a lowering meets it. Exact-order,
bounded per-tensor difference, and an approximate state transition are
distinct semantic choices. The latter two require their own conformance
evidence before this planner can admit execution.
18constructor NumericalExactOrderThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.