Struct GpuSolverAcceptedCandidateState 

pub struct GpuSolverAcceptedCandidateState {

    pub evidence_records: u64,
    pub accepted_candidate_indices: Vec<usize>,
    pub accepted_candidates: u64,
    pub accepted_world_views: u64,
    pub final_output_rows: u64,
    pub epistemic_literals: u64,
    pub tuple_membership_bindings: u64,
    pub solver_assumption_bindings: u64,
    pub solver_required_capabilities: u64,
    pub solver_required_statuses: u64,
    pub g91_mode: bool,
    pub faeel_mode: bool,
    pub has_know_operator: bool,
    pub has_possible_operator: bool,
    pub has_not_possible_operator: bool,
    pub has_not_know_operator: bool,
    pub tuple_key_column_reads: u64,
    pub has_nonzero_arity_tuple_keys: bool,
    pub final_tuple_row_filters: u64,
    pub final_tuple_negated_row_filters: u64,
    pub row_specific_membership_row_capacity: u64,
    pub row_filter_fallback_row_capacity: u64,
    pub checked_constraint_relations: u64,
    pub constraint_row_count_device_reads: u64,
}

Solver-facing state derived from an accepted GPU epistemic execution result.

This is the production boundary between the epistemic candidate state machine and solver services. It is built only after the GPU semantic trace, final output, and hot-path counters have passed accepted-path validation.

Fields

evidence_records: u64

Number of accepted GPU execution records represented by this state.

accepted_candidate_indices: Vec<usize>

Device candidate indices accepted by world-view validation.

accepted_candidates: u64

Number of accepted candidate states entering solver services.

accepted_world_views: u64

Number of accepted world views represented by accepted candidates.

final_output_rows: u64

Logical final-output rows materialized by the accepted GPU execution.

epistemic_literals: u64

Epistemic literal count in the accepted GPU plan.

tuple_membership_bindings: u64

Tuple-membership bindings consumed by the accepted GPU plan.

solver_assumption_bindings: u64

Solver assumption bindings exported by the accepted semantic plan.

solver_required_capabilities: u64

Solver production capabilities required by the accepted semantic plan.

solver_required_statuses: u64

Solver statuses that must cross the accepted semantic boundary distinctly.

g91_mode: bool

Whether the accepted evidence came from Gelfond-1991 compatibility mode.

faeel_mode: bool

Whether the accepted evidence came from FAEEL mode.

has_know_operator: bool

Whether accepted evidence contains know operators.

has_possible_operator: bool

Whether accepted evidence contains possible operators.

has_not_possible_operator: bool

Whether accepted evidence contains not possible operators.

has_not_know_operator: bool

Whether accepted evidence contains not know operators.

tuple_key_column_reads: u64

Tuple-key column reads performed while staging accepted tuple evidence.

has_nonzero_arity_tuple_keys: bool

Whether accepted evidence includes nonzero-arity tuple keys.

final_tuple_row_filters: u64

GPU final-tuple row filters used to materialize variable-bound evidence.

final_tuple_negated_row_filters: u64

Negated GPU final-tuple row filters used to materialize variable-bound evidence.

row_specific_membership_row_capacity: u64

Final-output row capacity checked against row-specific GPU model slots.

row_filter_fallback_row_capacity: u64

Final-output row capacity checked by fallback GPU row filters outside model slots.

checked_constraint_relations: u64

Reduced integrity-constraint relations checked before entering solver services.

constraint_row_count_device_reads: u64

Constraint row-count metadata reads used before entering solver services.

Trait Implementations

impl Clone for GpuSolverAcceptedCandidateState

fn clone(&self) -> GpuSolverAcceptedCandidateState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuSolverAcceptedCandidateState

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

Formats the value using the given formatter.

impl PartialEq for GpuSolverAcceptedCandidateState

fn eq(&self, other: &GpuSolverAcceptedCandidateState) -> 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 Eq for GpuSolverAcceptedCandidateState

impl StructuralPartialEq for GpuSolverAcceptedCandidateState