Struct IsNumericallyCorrect 

pub struct IsNumericallyCorrect;

A linear GPU kernel produces the numerically correct output under the DeepReinforce exact-match protocol.

The protocol restricts kernel inputs to binary {0, 1} values so that floating-point associativity holds exactly within the FP16 integer range [0, 2048]. A FP32 CPU reference is then compared against the GPU output with bit-exact equality at every position where the reference value is at or below the threshold.

This is a runtime verification property: the obligation records that a numerical check has been specified, but the actual check runs in the consumer crate (e.g., Borsalino’s verify_numerical()).

Limitations

Only applies to linear kernels. Non-linear operations (log, exp, tanh) produce irrational outputs that cannot be checked with exact match.

Reference: https://deep-reinforce.com/correctness_check.html

Trait Implementations

impl Property for IsNumericallyCorrect

const NAME: &'static str = "IsNumericallyCorrect"

Human-readable name of the property.