Module required 

Strict checks for an explicitly required accelerator. Compilation and CPU reference execution cannot substitute for the requested backend’s output.

The operator adapter remains responsible for checked device synchronization: a Vec-returning trait cannot independently attest driver completion. This module catches unwind failures; process aborts require the caller to reject missing/incomplete reports. Neither an op label nor this report proves an unexecuted shape, precision, execution path, model, or performance claim.

Structs

NumericalFailure

NumericalMetrics

RawOutput

Exact IEEE-754 output representation, including non-finite and signed-zero values. Unlike JSON float arrays this does not silently turn NaN into null.

RequiredReport

Enums

RequiredBackend

RequiredStatus

Functions

compare_outputs

Shared pure comparator for live execution and raw-output replay. A finite, positive tolerance is required before observing results; equality to the threshold fails, matching the existing op-diff strict inequality.

run_required

Run the CPU reference and exactly one requested backend. Uncompiled or unavailable backends return NotRun; failed probes, driver/dispatch panics, invalid outputs and excessive error return Failed. No fallback is a pass.