Struct AcceptedWorldViewEvidence 

pub struct AcceptedWorldViewEvidence { /* private fields */ }

Evidence derived from an accepted epistemic world view.

Implementations

impl AcceptedWorldViewEvidence

pub fn new( world_view: &EpistemicWorldView, assumptions: Vec<EpistemicAssumption>, ) -> Result<Self>

Construct evidence from a non-empty accepted world view.

pub fn from_gpu_execution_result( provider: &CudaKernelProvider, result: &EpistemicGpuExecutionResult, assumptions: Vec<EpistemicAssumption>, ) -> Result<Self>

Construct evidence from an accepted GPU epistemic execution result.

This is the production boundary used by probabilistic adapters: it accepts only results that used timed GPU candidate-generation, propagation, validation, stable-model tuple membership, world-view, accepted-candidate, final-result, and final-tuple kernels, zero hot-path host transfers, and a non-empty device final output.

pub fn world_count(&self) -> usize

Number of worlds used to validate this evidence.

pub fn assumptions(&self) -> &[EpistemicAssumption]

Accepted epistemic assumptions represented by this evidence.

pub fn gpu_epistemic_mode(&self) -> Option<EirEpistemicMode>

Epistemic mode reported by the accepted GPU runtime evidence, when present.

pub fn assumption_count(&self) -> usize

Number of accepted epistemic assumptions represented by this evidence.

pub fn nonzero_arity_assumption_count(&self) -> usize

Accepted nonzero-arity epistemic assumptions represented by this evidence.

pub fn max_assumption_arity(&self) -> usize

Maximum accepted epistemic assumption arity represented by this evidence.

pub fn gpu_tuple_key_column_reads(&self) -> usize

Tuple-key device column reads used while staging accepted GPU tuple evidence.

pub fn gpu_final_tuple_row_filters(&self) -> usize

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

pub fn gpu_final_tuple_negated_row_filters(&self) -> usize

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

pub fn gpu_row_specific_membership_row_capacity(&self) -> usize

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

pub fn gpu_row_filter_fallback_row_capacity(&self) -> usize

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

pub fn gpu_checked_constraint_relations(&self) -> usize

Reduced integrity-constraint relations checked by accepted GPU execution.

pub fn gpu_constraint_row_count_device_reads(&self) -> usize

Constraint row-count metadata reads used by accepted GPU execution.

Trait Implementations

impl Clone for AcceptedWorldViewEvidence

fn clone(&self) -> AcceptedWorldViewEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AcceptedWorldViewEvidence

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

Formats the value using the given formatter.

impl PartialEq for AcceptedWorldViewEvidence

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

impl StructuralPartialEq for AcceptedWorldViewEvidence