pub struct GpuSolverProductionTrace {Show 64 fields
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,
}Expand description
Trace counters proving the production adapter stayed on the GPU CDCL path.
Fields§
§accepted_gpu_candidate_evidence_consumed: u64Number of accepted GPU epistemic candidate evidence records consumed.
accepted_gpu_candidate_state_transitions: u64Number of accepted GPU candidate states passed into solver services.
accepted_gpu_world_view_state_transitions: u64Number of accepted GPU world-view states passed into solver services.
accepted_gpu_candidate_final_output_rows_consumed: u64Logical final-output rows represented by accepted solver evidence.
accepted_gpu_batch_candidate_evidence_consumed: u64Number of accepted split/batch GPU epistemic candidate evidence records consumed.
accepted_gpu_batch_candidate_component_evidence_consumed: u64Number of accepted split/batch GPU epistemic component evidence records consumed.
accepted_g91_gpu_candidate_evidence_consumed: u64Number of accepted Gelfond-1991 compatibility GPU epistemic candidate evidence records consumed.
accepted_faeel_gpu_candidate_evidence_consumed: u64Number of accepted FAEEL GPU epistemic candidate evidence records consumed.
accepted_know_gpu_candidate_evidence_consumed: u64Number of accepted GPU candidate evidence records containing know operators.
accepted_possible_gpu_candidate_evidence_consumed: u64Number of accepted GPU candidate evidence records containing possible operators.
accepted_not_possible_gpu_candidate_evidence_consumed: u64Number of accepted GPU candidate evidence records containing not possible operators.
accepted_not_know_gpu_candidate_evidence_consumed: u64Number of accepted GPU candidate evidence records containing not know operators.
accepted_nonzero_arity_gpu_candidate_evidence_consumed: u64Number of accepted GPU candidate evidence records backed by nonzero-arity tuple keys.
accepted_gpu_candidate_tuple_key_column_reads_consumed: u64Aggregate tuple-key column reads consumed from accepted GPU candidate evidence.
accepted_solver_assumption_bindings_consumed: u64Planner-exported solver assumption bindings consumed from accepted GPU solver evidence.
accepted_solver_required_capabilities_consumed: u64Required solver capabilities consumed from accepted GPU solver evidence.
accepted_solver_required_statuses_consumed: u64Required solver statuses consumed from accepted GPU solver evidence.
accepted_gpu_final_tuple_row_filters_consumed: u64GPU final-tuple row filters consumed from accepted GPU solver evidence.
accepted_gpu_final_tuple_negated_row_filters_consumed: u64Negated GPU final-tuple row filters consumed from accepted GPU solver evidence.
accepted_gpu_row_specific_membership_row_capacity_consumed: u64Row-specific GPU model-slot capacity consumed from accepted GPU solver evidence.
accepted_gpu_row_filter_fallback_row_capacity_consumed: u64Fallback GPU row-filter capacity consumed outside bounded model-slot windows.
accepted_gpu_constraint_relations_checked_consumed: u64Reduced integrity-constraint relations checked before accepted solver work.
accepted_gpu_constraint_row_count_device_reads_consumed: u64Constraint row-count metadata reads consumed before accepted solver work.
accepted_gpu_solver_production_path_events: u64GPU solver production/status events that occurred inside accepted epistemic evidence gates.
gpu_cdcl_sat_solves: u64Number of SAT expectations dispatched through GpuCdclSolver.
gpu_cdcl_unsat_solves: u64Number of UNSAT expectations dispatched through GpuCdclSolver.
gpu_cdcl_workspace_unsat_solves: u64Number of UNSAT expectations dispatched with a reusable GPU workspace.
gpu_assumption_pushes: u64Number of assumption pushes recorded for accepted lifecycle steps.
gpu_assumption_retractions: u64Number of assumption retractions recorded for accepted lifecycle steps.
gpu_lifecycle_workspace_reuses: u64Number of lifecycle UNSAT steps that reused the same GPU CDCL workspace.
gpu_lifecycle_unknown_status_steps: u64Number of lifecycle UNKNOWN statuses propagated without CPU search.
gpu_lifecycle_timeout_status_steps: u64Number of lifecycle TIMEOUT statuses propagated without CPU search.
gpu_learned_clause_arena_publications: u64Number of device learned-clause arenas published by accepted GPU CDCL solves.
gpu_learned_count_buffer_publications: u64Number of device learned-count buffers published with learned-clause arenas.
gpu_learned_clause_imports: u64Number of device learned-clause arenas imported into later GPU CDCL solves.
gpu_learned_clause_reused_solves: u64Number of GPU CDCL solves that reused imported learned clauses.
gpu_learned_clause_reuse_rejections: u64Number of learned-clause imports rejected because candidate CNFs differ.
gpu_maxsat_candidate_solves: u64Number of bounded MaxSAT candidate CNFs dispatched through GPU CDCL.
gpu_maxsat_frontier_certified_candidate_solves: u64Number of MaxSAT candidate solves covered by an encoded frontier upper-bound certificate.
gpu_maxsat_candidate_encodes: u64Number of weighted MaxSAT selections encoded into GPU CNF candidates.
gpu_maxsat_candidate_cnf_data_plane_htod_calls: u64Data-plane host-to-device calls used while uploading encoded MaxSAT CNF candidates.
gpu_maxsat_candidate_cnf_data_plane_htod_bytes: u64Data-plane host-to-device bytes used while uploading encoded MaxSAT CNF candidates.
gpu_maxsat_candidate_cnf_data_plane_dtoh_calls: u64Data-plane device-to-host calls observed while uploading encoded MaxSAT CNF candidates.
gpu_maxsat_candidate_cnf_data_plane_dtoh_bytes: u64Data-plane device-to-host bytes observed while uploading encoded MaxSAT CNF candidates.
gpu_maxsat_candidate_cnf_launch_metadata_htod_calls: u64Launch-metadata host-to-device calls used while uploading encoded MaxSAT CNF candidates.
gpu_maxsat_candidate_cnf_launch_metadata_htod_bytes: u64Launch-metadata host-to-device bytes used while uploading encoded MaxSAT CNF candidates.
gpu_maxsat_frontier_completion_candidate_encodes: u64Number of upper-bound frontier candidates derived before GPU CDCL verification.
gpu_maxsat_frontier_upper_bound_certificates: u64Number of encoded weighted MaxSAT frontiers with a certified optimum upper bound.
gpu_maxsat_scheduler_jobs: u64Number of heterogeneous MaxSAT scheduler jobs dispatched.
gpu_maxsat_scheduler_candidate_set_jobs: u64Number of scheduler candidate-set jobs dispatched.
gpu_maxsat_scheduler_search_jobs: u64Number of scheduler search-pruning jobs dispatched.
gpu_maxsat_scheduler_encoded_search_jobs: u64Number of scheduler encoded-search jobs dispatched.
gpu_maxsat_scheduler_unknown_status_jobs: u64Number of scheduler UNKNOWN statuses propagated without CPU search.
gpu_maxsat_scheduler_timeout_status_jobs: u64Number of scheduler TIMEOUT statuses propagated without CPU search.
gpu_maxsat_unsat_candidate_prunes: u64Number of bounded MaxSAT search candidates pruned as UNSAT by GPU CDCL.
gpu_maxsat_optima: u64Number of bounded MaxSAT optima certified by GPU CDCL candidate solves.
gpu_portfolio_jobs: u64Number of portfolio jobs dispatched by the production adapter.
gpu_portfolio_sat_jobs: u64Number of SAT jobs dispatched through the portfolio adapter.
gpu_portfolio_maxsat_jobs: u64Number of MaxSAT jobs dispatched through the portfolio adapter.
gpu_portfolio_unknown_status_jobs: u64Number of accepted portfolio UNKNOWN statuses propagated without CPU search.
gpu_portfolio_timeout_status_jobs: u64Number of accepted portfolio TIMEOUT statuses propagated without CPU search.
cpu_assignment_enumerations: u64CPU exhaustive assignment enumerations performed by this adapter.
cpu_maxsat_enumerations: u64CPU MaxSAT assignment enumerations performed by this adapter.
cpu_learned_clause_transfers: u64CPU learned-clause transfers performed by this adapter.
Implementations§
Source§impl GpuSolverProductionTrace
impl GpuSolverProductionTrace
Sourcepub fn require_zero_cpu_search(&self) -> Result<()>
pub fn require_zero_cpu_search(&self) -> Result<()>
Require that no CPU search counters were used by the production adapter.
Sourcepub fn require_accepted_gpu_tuple_membership_trace(&self) -> Result<()>
pub fn require_accepted_gpu_tuple_membership_trace(&self) -> Result<()>
Require internally consistent GPU tuple-membership evidence counters.
Sourcepub fn require_accepted_gpu_candidate_evidence_trace(&self) -> Result<()>
pub fn require_accepted_gpu_candidate_evidence_trace(&self) -> Result<()>
Require internally consistent accepted GPU solver evidence counters.
Sourcepub fn require_production_metric_eligibility(&self) -> Result<()>
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§
Source§impl Clone for GpuSolverProductionTrace
impl Clone for GpuSolverProductionTrace
Source§fn clone(&self) -> GpuSolverProductionTrace
fn clone(&self) -> GpuSolverProductionTrace
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for GpuSolverProductionTrace
Source§impl Debug for GpuSolverProductionTrace
impl Debug for GpuSolverProductionTrace
Source§impl Default for GpuSolverProductionTrace
impl Default for GpuSolverProductionTrace
Source§fn default() -> GpuSolverProductionTrace
fn default() -> GpuSolverProductionTrace
impl Eq for GpuSolverProductionTrace
Source§impl PartialEq for GpuSolverProductionTrace
impl PartialEq for GpuSolverProductionTrace
Source§fn eq(&self, other: &GpuSolverProductionTrace) -> bool
fn eq(&self, other: &GpuSolverProductionTrace) -> bool
self and other values to be equal, and is used by ==.