Function verify_csr_action_against 

pub fn verify_csr_action_against(
    matrix: &CsrMatrix,
    input: &[f64],
    reference: &[f64],
    device_ordinal: u16,
    policy: SparseActionPolicy,
    tolerance: SparseActionTolerance,
) -> Result<CudaCsrActionResult, Diagnostic>

Execute one finalized f64 CSR action on CUDA and compare it with an explicitly supplied independent reference vector.

This boundary is useful when the reference action is produced outside the CUDA call, for example so evidence tooling can order and time the host and device actions independently. The caller remains responsible for the provenance of reference; Eqiora still rejects the result unless every device value agrees under tolerance.

Errors

Returns a stable diagnostic for an invalid reference, unavailable runtime/library/device, unsupported shape/index conversion, transfer or cuSPARSE failure, non-finite data, or disagreement with the reference.