Struct McDeviceResult 

pub struct McDeviceResult {
    pub query_counts: TrackedCudaSlice<u32>,
    pub evidence_count: TrackedCudaSlice<u32>,
    pub total_samples: usize,
    pub seed: u64,
    pub confidence: f64,
    pub nonmonotone_sccs: usize,
    pub nonmonotone_cycles: usize,
    pub nonmonotone_iteration_limit_hits: usize,
    pub sampling_method: McSamplingMethod,
    pub hot_loop_transfers: McHotLoopTransfers,
    pub no_host: McNoHostStats,
}

Device-resident Monte Carlo result counts.

Fields

query_counts: TrackedCudaSlice<u32>

Device count of evidence-satisfying worlds that also satisfy each query.

evidence_count: TrackedCudaSlice<u32>

Device count of worlds satisfying all evidence.

total_samples: usize

Number of sampled worlds.

seed: u64

Random seed used for sampling.

confidence: f64

Confidence level requested for result materialization.

nonmonotone_sccs: usize

Number of non-monotone strongly connected components evaluated.

nonmonotone_cycles: usize

Number of detected non-monotone evaluation cycles.

nonmonotone_iteration_limit_hits: usize

Number of non-monotone components that reached the iteration limit.

sampling_method: McSamplingMethod

Evidence-sampling method used for the run.

hot_loop_transfers: McHotLoopTransfers

Legacy back-compat field: tracked transfers measured around the resident engine’s measured region (zero). The authoritative no-host contract is McNoHostStats on McResidentResult; see McHotLoopTransfers.

no_host: McNoHostStats

Authoritative no-host counters for the resident engine measured region.