Function induce_exact_nary 

pub fn induce_exact_nary(
    provider: &CudaKernelProvider,
    request: &InduceExactNaryRequest<'_>,
) -> Result<NaryInductionResult>

Run exact n-ary induction against one request.

The provider owns the kernel launcher and is also used to materialize the short-lived empty negatives buffer when request.negatives is None — the same normalization the binary engine performs.

Diagnostic asymmetry, stated rather than left to be discovered: the EMPTY-CANDIDATES early-out returns a fully default result (zero example counts) because it precedes buffer validation — with no candidate there is nothing whose arity the examples must agree with. Every other trivial early-out (k == 0, zero positives) validates first and therefore reports the real positive_count / negative_count.