Enum CarrierBufferId 

pub enum CarrierBufferId {
    Domains,
    Scores,
    Constraints,
    ArgumentArities,
    Outputs,
    FeasibleSets,
    LogicalCounts,
    MapResults,
    SolveStatus,
}

The carrier buffers addressable through the outward export surface, in the carrier’s stable column order plus the device-resident logical-counts buffer.

Variants

Domains

Entity sort-domain bitsets, entities x domain_lanes u64.

Scores

Relation candidate scores, candidates x labels f32.

Constraints

Padded candidate entity arguments, candidates x max_arity u32.

ArgumentArities

Declared active argument count for each candidate, candidates u32.

Outputs

Per-candidate feasible label counts, candidates u32.

FeasibleSets

Per-candidate feasible label bitmasks, candidates x ceil(labels/64) u64.

LogicalCounts

Device-resident logical batch state, 4 u32: [logical_entities, logical_candidates, logical_edges, overflow_flag]. Producers write it on device; a nonzero overflow flag marks a producer that ran past capacity.

MapResults

Per-candidate exact top-two results, candidates x 4 u32: [best_label, ambiguous_flag, best_score_bits, margin_bits] (f32 stored as raw bits). Authoritative as a global max-marginal ONLY for single-candidate components; a set ambiguity flag must never emit as a unique MAP label.

SolveStatus

Per-candidate solve authority, candidates u32: 2 = exact by complete enumeration, 4 = exact by device-discovered chain DP, 5 = exact by general branch-and-bound, 3 = refused on fuel, 0xFFFFFFFF = poisoned. Rows no component stage touched keep their prior top-two authority; status 6 is internal escalation and must be consumed before this method returns.

Trait Implementations

impl Clone for CarrierBufferId

fn clone(&self) -> CarrierBufferId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CarrierBufferId

impl Debug for CarrierBufferId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for CarrierBufferId

impl PartialEq for CarrierBufferId

fn eq(&self, other: &CarrierBufferId) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CarrierBufferId