Function is_valid 

pub const fn is_valid(n: u32, m: i32) -> bool

Whether (n, m) names a real Zernike mode: $|m| \le n$ with $n - |m|$ even.

Every evaluator here returns zero for a pair that fails this, rather than an arbitrary value from a recurrence run outside its range.