Struct InduceExactRequest 

pub struct InduceExactRequest<'a> {
    pub head_rel_idx: RelId,
    pub candidates: &'a [(RelId, &'a CudaBuffer)],
    pub positives: &'a CudaBuffer,
    pub negatives: Option<&'a CudaBuffer>,
    pub config: ExactInductionConfig,
}

Inputs to one induce_exact call.

Each candidate is a (RelId, &CudaBuffer) pair: the RelId is a label that flows through to every ScoredCandidate produced from that buffer, and the CudaBuffer carries the relation’s current binary-pair facts.

positives and negatives are themselves binary-pair buffers (arity 2, column type U64). Name-to-RelId resolution and relation-store lookup happen at the pyxlog boundary — the engine only sees indices + handles.

Fields

head_rel_idx: RelId

candidates: &'a [(RelId, &'a CudaBuffer)]

positives: &'a CudaBuffer

negatives: Option<&'a CudaBuffer>

config: ExactInductionConfig