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.
20constructor NumericalBoundedDifferenceThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.