Struct GpuSolverProductionTrace 

pub struct GpuSolverProductionTrace {

    pub accepted_gpu_candidate_evidence_consumed: u64,
    pub accepted_gpu_candidate_state_transitions: u64,
    pub accepted_gpu_world_view_state_transitions: u64,
    pub accepted_gpu_candidate_final_output_rows_consumed: u64,
    pub accepted_gpu_batch_candidate_evidence_consumed: u64,
    pub accepted_gpu_batch_candidate_component_evidence_consumed: u64,
    pub accepted_g91_gpu_candidate_evidence_consumed: u64,
    pub accepted_faeel_gpu_candidate_evidence_consumed: u64,
    pub accepted_know_gpu_candidate_evidence_consumed: u64,
    pub accepted_possible_gpu_candidate_evidence_consumed: u64,
    pub accepted_not_possible_gpu_candidate_evidence_consumed: u64,
    pub accepted_not_know_gpu_candidate_evidence_consumed: u64,
    pub accepted_nonzero_arity_gpu_candidate_evidence_consumed: u64,
    pub accepted_gpu_candidate_tuple_key_column_reads_consumed: u64,
    pub accepted_solver_assumption_bindings_consumed: u64,
    pub accepted_solver_required_capabilities_consumed: u64,
    pub accepted_solver_required_statuses_consumed: u64,
    pub accepted_gpu_final_tuple_row_filters_consumed: u64,
    pub accepted_gpu_final_tuple_negated_row_filters_consumed: u64,
    pub accepted_gpu_row_specific_membership_row_capacity_consumed: u64,
    pub accepted_gpu_row_filter_fallback_row_capacity_consumed: u64,
    pub accepted_gpu_constraint_relations_checked_consumed: u64,
    pub accepted_gpu_constraint_row_count_device_reads_consumed: u64,
    pub accepted_gpu_solver_production_path_events: u64,
    pub gpu_cdcl_sat_solves: u64,
    pub gpu_cdcl_unsat_solves: u64,
    pub gpu_cdcl_workspace_unsat_solves: u64,
    pub gpu_assumption_pushes: u64,
    pub gpu_assumption_retractions: u64,
    pub gpu_lifecycle_workspace_reuses: u64,
    pub gpu_lifecycle_unknown_status_steps: u64,
    pub gpu_lifecycle_timeout_status_steps: u64,
    pub gpu_learned_clause_arena_publications: u64,
    pub gpu_learned_count_buffer_publications: u64,
    pub gpu_learned_clause_imports: u64,
    pub gpu_learned_clause_reused_solves: u64,
    pub gpu_learned_clause_reuse_rejections: u64,
    pub gpu_maxsat_candidate_solves: u64,
    pub gpu_maxsat_frontier_certified_candidate_solves: u64,
    pub gpu_maxsat_candidate_encodes: u64,
    pub gpu_maxsat_candidate_cnf_data_plane_htod_calls: u64,
    pub gpu_maxsat_candidate_cnf_data_plane_htod_bytes: u64,
    pub gpu_maxsat_candidate_cnf_data_plane_dtoh_calls: u64,
    pub gpu_maxsat_candidate_cnf_data_plane_dtoh_bytes: u64,
    pub gpu_maxsat_candidate_cnf_launch_metadata_htod_calls: u64,
    pub gpu_maxsat_candidate_cnf_launch_metadata_htod_bytes: u64,
    pub gpu_maxsat_frontier_completion_candidate_encodes: u64,
    pub gpu_maxsat_frontier_upper_bound_certificates: u64,
    pub gpu_maxsat_scheduler_jobs: u64,
    pub gpu_maxsat_scheduler_candidate_set_jobs: u64,
    pub gpu_maxsat_scheduler_search_jobs: u64,
    pub gpu_maxsat_scheduler_encoded_search_jobs: u64,
    pub gpu_maxsat_scheduler_unknown_status_jobs: u64,
    pub gpu_maxsat_scheduler_timeout_status_jobs: u64,
    pub gpu_maxsat_unsat_candidate_prunes: u64,
    pub gpu_maxsat_optima: u64,
    pub gpu_portfolio_jobs: u64,
    pub gpu_portfolio_sat_jobs: u64,
    pub gpu_portfolio_maxsat_jobs: u64,
    pub gpu_portfolio_unknown_status_jobs: u64,
    pub gpu_portfolio_timeout_status_jobs: u64,
    pub cpu_assignment_enumerations: u64,
    pub cpu_maxsat_enumerations: u64,
    pub cpu_learned_clause_transfers: u64,
}

Trace counters proving the production adapter stayed on the GPU CDCL path.

Fields

accepted_gpu_candidate_evidence_consumed: u64

Number of accepted GPU epistemic candidate evidence records consumed.

accepted_gpu_candidate_state_transitions: u64

Number of accepted GPU candidate states passed into solver services.

accepted_gpu_world_view_state_transitions: u64

Number of accepted GPU world-view states passed into solver services.

accepted_gpu_candidate_final_output_rows_consumed: u64

Logical final-output rows represented by accepted solver evidence.

accepted_gpu_batch_candidate_evidence_consumed: u64

Number of accepted split/batch GPU epistemic candidate evidence records consumed.

accepted_gpu_batch_candidate_component_evidence_consumed: u64

Number of accepted split/batch GPU epistemic component evidence records consumed.

accepted_g91_gpu_candidate_evidence_consumed: u64

Number of accepted Gelfond-1991 compatibility GPU epistemic candidate evidence records consumed.

accepted_faeel_gpu_candidate_evidence_consumed: u64

Number of accepted FAEEL GPU epistemic candidate evidence records consumed.

accepted_know_gpu_candidate_evidence_consumed: u64

Number of accepted GPU candidate evidence records containing know operators.

accepted_possible_gpu_candidate_evidence_consumed: u64

Number of accepted GPU candidate evidence records containing possible operators.

accepted_not_possible_gpu_candidate_evidence_consumed: u64

Number of accepted GPU candidate evidence records containing not possible operators.

accepted_not_know_gpu_candidate_evidence_consumed: u64

Number of accepted GPU candidate evidence records containing not know operators.

accepted_nonzero_arity_gpu_candidate_evidence_consumed: u64

Number of accepted GPU candidate evidence records backed by nonzero-arity tuple keys.

accepted_gpu_candidate_tuple_key_column_reads_consumed: u64

Aggregate tuple-key column reads consumed from accepted GPU candidate evidence.

accepted_solver_assumption_bindings_consumed: u64

Planner-exported solver assumption bindings consumed from accepted GPU solver evidence.

accepted_solver_required_capabilities_consumed: u64

Required solver capabilities consumed from accepted GPU solver evidence.

accepted_solver_required_statuses_consumed: u64

Required solver statuses consumed from accepted GPU solver evidence.

accepted_gpu_final_tuple_row_filters_consumed: u64

GPU final-tuple row filters consumed from accepted GPU solver evidence.

accepted_gpu_final_tuple_negated_row_filters_consumed: u64

Negated GPU final-tuple row filters consumed from accepted GPU solver evidence.

accepted_gpu_row_specific_membership_row_capacity_consumed: u64

Row-specific GPU model-slot capacity consumed from accepted GPU solver evidence.

accepted_gpu_row_filter_fallback_row_capacity_consumed: u64

Fallback GPU row-filter capacity consumed outside bounded model-slot windows.

accepted_gpu_constraint_relations_checked_consumed: u64

Reduced integrity-constraint relations checked before accepted solver work.

accepted_gpu_constraint_row_count_device_reads_consumed: u64

Constraint row-count metadata reads consumed before accepted solver work.

accepted_gpu_solver_production_path_events: u64

GPU solver production/status events that occurred inside accepted epistemic evidence gates.

gpu_cdcl_sat_solves: u64

Number of SAT expectations dispatched through GpuCdclSolver.

gpu_cdcl_unsat_solves: u64

Number of UNSAT expectations dispatched through GpuCdclSolver.

gpu_cdcl_workspace_unsat_solves: u64

Number of UNSAT expectations dispatched with a reusable GPU workspace.

gpu_assumption_pushes: u64

Number of assumption pushes recorded for accepted lifecycle steps.

gpu_assumption_retractions: u64

Number of assumption retractions recorded for accepted lifecycle steps.

gpu_lifecycle_workspace_reuses: u64

Number of lifecycle UNSAT steps that reused the same GPU CDCL workspace.

gpu_lifecycle_unknown_status_steps: u64

Number of lifecycle UNKNOWN statuses propagated without CPU search.

gpu_lifecycle_timeout_status_steps: u64

Number of lifecycle TIMEOUT statuses propagated without CPU search.

gpu_learned_clause_arena_publications: u64

Number of device learned-clause arenas published by accepted GPU CDCL solves.

gpu_learned_count_buffer_publications: u64

Number of device learned-count buffers published with learned-clause arenas.

gpu_learned_clause_imports: u64

Number of device learned-clause arenas imported into later GPU CDCL solves.

gpu_learned_clause_reused_solves: u64

Number of GPU CDCL solves that reused imported learned clauses.

gpu_learned_clause_reuse_rejections: u64

Number of learned-clause imports rejected because candidate CNFs differ.

gpu_maxsat_candidate_solves: u64

Number of bounded MaxSAT candidate CNFs dispatched through GPU CDCL.

gpu_maxsat_frontier_certified_candidate_solves: u64

Number of MaxSAT candidate solves covered by an encoded frontier upper-bound certificate.

gpu_maxsat_candidate_encodes: u64

Number of weighted MaxSAT selections encoded into GPU CNF candidates.

gpu_maxsat_candidate_cnf_data_plane_htod_calls: u64

Data-plane host-to-device calls used while uploading encoded MaxSAT CNF candidates.

gpu_maxsat_candidate_cnf_data_plane_htod_bytes: u64

Data-plane host-to-device bytes used while uploading encoded MaxSAT CNF candidates.

gpu_maxsat_candidate_cnf_data_plane_dtoh_calls: u64

Data-plane device-to-host calls observed while uploading encoded MaxSAT CNF candidates.

gpu_maxsat_candidate_cnf_data_plane_dtoh_bytes: u64

Data-plane device-to-host bytes observed while uploading encoded MaxSAT CNF candidates.

gpu_maxsat_candidate_cnf_launch_metadata_htod_calls: u64

Launch-metadata host-to-device calls used while uploading encoded MaxSAT CNF candidates.

gpu_maxsat_candidate_cnf_launch_metadata_htod_bytes: u64

Launch-metadata host-to-device bytes used while uploading encoded MaxSAT CNF candidates.

gpu_maxsat_frontier_completion_candidate_encodes: u64

Number of upper-bound frontier candidates derived before GPU CDCL verification.

gpu_maxsat_frontier_upper_bound_certificates: u64

Number of encoded weighted MaxSAT frontiers with a certified optimum upper bound.

gpu_maxsat_scheduler_jobs: u64

Number of heterogeneous MaxSAT scheduler jobs dispatched.

gpu_maxsat_scheduler_candidate_set_jobs: u64

Number of scheduler candidate-set jobs dispatched.

gpu_maxsat_scheduler_search_jobs: u64

Number of scheduler search-pruning jobs dispatched.

gpu_maxsat_scheduler_encoded_search_jobs: u64

Number of scheduler encoded-search jobs dispatched.

gpu_maxsat_scheduler_unknown_status_jobs: u64

Number of scheduler UNKNOWN statuses propagated without CPU search.

gpu_maxsat_scheduler_timeout_status_jobs: u64

Number of scheduler TIMEOUT statuses propagated without CPU search.

gpu_maxsat_unsat_candidate_prunes: u64

Number of bounded MaxSAT search candidates pruned as UNSAT by GPU CDCL.

gpu_maxsat_optima: u64

Number of bounded MaxSAT optima certified by GPU CDCL candidate solves.

gpu_portfolio_jobs: u64

Number of portfolio jobs dispatched by the production adapter.

gpu_portfolio_sat_jobs: u64

Number of SAT jobs dispatched through the portfolio adapter.

gpu_portfolio_maxsat_jobs: u64

Number of MaxSAT jobs dispatched through the portfolio adapter.

gpu_portfolio_unknown_status_jobs: u64

Number of accepted portfolio UNKNOWN statuses propagated without CPU search.

gpu_portfolio_timeout_status_jobs: u64

Number of accepted portfolio TIMEOUT statuses propagated without CPU search.

cpu_assignment_enumerations: u64

CPU exhaustive assignment enumerations performed by this adapter.

cpu_maxsat_enumerations: u64

CPU MaxSAT assignment enumerations performed by this adapter.

cpu_learned_clause_transfers: u64

CPU learned-clause transfers performed by this adapter.

Implementations

impl GpuSolverProductionTrace

pub fn require_zero_cpu_search(&self) -> Result<()>

Require that no CPU search counters were used by the production adapter.

pub fn require_accepted_gpu_tuple_membership_trace(&self) -> Result<()>

Require internally consistent GPU tuple-membership evidence counters.

pub fn require_accepted_gpu_candidate_evidence_trace(&self) -> Result<()>

Require internally consistent accepted GPU solver evidence counters.

pub fn require_production_metric_eligibility(&self) -> Result<()>

Require that this trace is eligible for production solver metrics.

This is an accepted-path containment gate, not a release-close claim: the CPU semantic-oracle facade may still exist for fixtures, but it cannot satisfy production metric evidence.

Trait Implementations

impl Clone for GpuSolverProductionTrace

fn clone(&self) -> GpuSolverProductionTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuSolverProductionTrace

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

Formats the value using the given formatter.

impl Default for GpuSolverProductionTrace

fn default() -> GpuSolverProductionTrace

Returns the “default value” for a type.

impl PartialEq for GpuSolverProductionTrace

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

impl Eq for GpuSolverProductionTrace

impl StructuralPartialEq for GpuSolverProductionTrace