Struct IlpExactNaryRequest 

pub struct IlpExactNaryRequest<'a> {
    pub body_offset: &'a [u32],
    pub body_len: &'a [u32],
    pub atom_candidate_slot: &'a [u32],
    pub atom_arity: &'a [u32],
    pub atom_binding_offset: &'a [u32],
    pub binding_codes: &'a [u32],
    pub cand_values: &'a [u64],
    pub cand_value_offset: &'a [u32],
    pub cand_rows: &'a [u32],
    pub pos_values: &'a [u64],
    pub neg_values: &'a [u64],
    pub head_arity: u32,
}

Host-slice scoring request: the pattern batch plus candidate relations and example tuples as flat host arrays, exactly as the kernel consumes them (column-major, element units).

Fields

body_offset: &'a [u32]

body_len: &'a [u32]

atom_candidate_slot: &'a [u32]

atom_arity: &'a [u32]

atom_binding_offset: &'a [u32]

binding_codes: &'a [u32]

cand_values: &'a [u64]

Concatenated COLUMN-MAJOR u64 relation values: within a relation, cell (row, position) sits at `cand_value_offset[slot]

• position * cand_rows[slot] + row`. All offsets are u32 ELEMENT indexes, never bytes.

cand_value_offset: &'a [u32]

Element offset of each relation’s first value in cand_values.

cand_rows: &'a [u32]

pos_values: &'a [u64]

COLUMNAR example tuples: position i of example q sits at i * example_count + q; length is a multiple of head_arity.

neg_values: &'a [u64]

head_arity: u32