Struct EpistemicProbProductionTrace 

pub struct EpistemicProbProductionTrace {

    pub gpu_exact_source_compiles: u64,
    pub gpu_exact_program_compiles: u64,
    pub accepted_world_view_evidence_consumed: u64,
    pub accepted_g91_world_view_evidence_consumed: u64,
    pub accepted_faeel_world_view_evidence_consumed: u64,
    pub accepted_evidence_assumptions_consumed: u64,
    pub accepted_gpu_nonzero_arity_evidence_assumptions_consumed: u64,
    pub accepted_gpu_max_evidence_arity_consumed: u32,
    pub accepted_gpu_tuple_key_column_reads_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_batch_evidence_consumed: u64,
    pub accepted_gpu_batch_component_evidence_consumed: u64,
    pub accepted_incremental_circuit_updates: u64,
    pub gpu_exact_query_evaluations: u64,
    pub gpu_source_exact_query_evaluations: u64,
    pub gpu_program_exact_query_evaluations: u64,
    pub gpu_exact_gradient_evaluations: u64,
    pub gpu_source_exact_gradient_evaluations: u64,
    pub gpu_program_exact_gradient_evaluations: u64,
    pub gpu_source_conditioned_gradient_evaluations: u64,
    pub gpu_program_conditioned_gradient_evaluations: u64,
    pub gpu_pir_graph_uploads: u64,
    pub gpu_source_pir_graph_uploads: u64,
    pub gpu_program_pir_graph_uploads: u64,
    pub gpu_cnf_encodes: u64,
    pub gpu_source_cnf_encodes: u64,
    pub gpu_program_cnf_encodes: u64,
    pub gpu_knowledge_compilation_end_to_end_runs: u64,
    pub accepted_gpu_production_path_events: u64,
    pub gpu_source_knowledge_compilation_end_to_end_runs: u64,
    pub gpu_program_knowledge_compilation_end_to_end_runs: u64,
    pub gpu_conditioned_evidence_facts: u64,
    pub accepted_conditioned_world_view_evidence_consumed: u64,
    pub accepted_source_conditioned_world_view_evidence_consumed: u64,
    pub accepted_program_conditioned_world_view_evidence_consumed: u64,
    pub gpu_conditioned_nonzero_arity_evidence_facts: u64,
    pub gpu_conditioned_max_evidence_arity: u32,
    pub gpu_conditioned_negative_evidence_facts: u64,
    pub gpu_source_conditioned_evidence_facts: u64,
    pub gpu_source_conditioned_nonzero_arity_evidence_facts: u64,
    pub gpu_source_conditioned_max_evidence_arity: u32,
    pub gpu_program_conditioned_evidence_facts: u64,
    pub gpu_program_conditioned_nonzero_arity_evidence_facts: u64,
    pub gpu_program_conditioned_max_evidence_arity: u32,
    pub gpu_source_conditioned_negative_evidence_facts: u64,
    pub gpu_program_conditioned_negative_evidence_facts: u64,
    pub gpu_conditioned_know_evidence_facts: u64,
    pub gpu_conditioned_possible_evidence_facts: u64,
    pub gpu_conditioned_not_known_evidence_facts: u64,
    pub gpu_conditioned_not_possible_evidence_facts: u64,
    pub gpu_source_conditioned_know_evidence_facts: u64,
    pub gpu_source_conditioned_possible_evidence_facts: u64,
    pub gpu_source_conditioned_not_known_evidence_facts: u64,
    pub gpu_source_conditioned_not_possible_evidence_facts: u64,
    pub gpu_program_conditioned_know_evidence_facts: u64,
    pub gpu_program_conditioned_possible_evidence_facts: u64,
    pub gpu_program_conditioned_not_known_evidence_facts: u64,
    pub gpu_program_conditioned_not_possible_evidence_facts: u64,
    pub cpu_only_probability_recomputations: u64,
    pub fixture_circuit_evaluations: u64,
}

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

Fields

gpu_exact_source_compiles: u64

Number of source compiles routed through ExactDdnnfProgram.

gpu_exact_program_compiles: u64

Number of parsed-program compiles routed through ExactDdnnfProgram.

accepted_world_view_evidence_consumed: u64

Number of accepted world-view evidence objects consumed as a gate.

accepted_g91_world_view_evidence_consumed: u64

Number of accepted Gelfond-1991 compatibility-mode GPU world-view evidence objects consumed as a gate.

accepted_faeel_world_view_evidence_consumed: u64

Number of accepted FAEEL GPU world-view evidence objects consumed as a gate.

accepted_evidence_assumptions_consumed: u64

Number of accepted epistemic assumptions consumed from world-view evidence.

accepted_gpu_nonzero_arity_evidence_assumptions_consumed: u64

Number of accepted nonzero-arity epistemic assumptions consumed from GPU evidence.

accepted_gpu_max_evidence_arity_consumed: u32

Maximum accepted GPU evidence tuple arity consumed by this adapter.

accepted_gpu_tuple_key_column_reads_consumed: u64

GPU tuple-key column reads consumed from accepted world-view evidence.

accepted_gpu_final_tuple_row_filters_consumed: u64

GPU final-tuple row filters consumed from accepted world-view evidence.

accepted_gpu_final_tuple_negated_row_filters_consumed: u64

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

accepted_gpu_row_specific_membership_row_capacity_consumed: u64

Row-specific GPU model-slot capacity consumed from accepted world-view 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 by accepted GPU evidence.

accepted_gpu_constraint_row_count_device_reads_consumed: u64

Constraint row-count metadata reads consumed from accepted GPU evidence.

accepted_gpu_batch_evidence_consumed: u64

Number of accepted GPU batch evidence records consumed as a gate.

accepted_gpu_batch_component_evidence_consumed: u64

Number of accepted GPU batch components consumed as individual evidence records.

accepted_incremental_circuit_updates: u64

Number of accepted evidence applications that updated caller-owned incremental circuits.

This is fixture coverage only and is intentionally excluded from production path events.

gpu_exact_query_evaluations: u64

Number of GPU exact query evaluations routed through ExactDdnnfProgram.

gpu_source_exact_query_evaluations: u64

Number of source GPU exact query evaluations routed through ExactDdnnfProgram.

gpu_program_exact_query_evaluations: u64

Number of parsed-program GPU exact query evaluations routed through ExactDdnnfProgram.

gpu_exact_gradient_evaluations: u64

Number of GPU gradient evaluations routed through ExactDdnnfProgram.

gpu_source_exact_gradient_evaluations: u64

Number of source GPU gradient evaluations routed through ExactDdnnfProgram.

gpu_program_exact_gradient_evaluations: u64

Number of parsed-program GPU gradient evaluations routed through ExactDdnnfProgram.

gpu_source_conditioned_gradient_evaluations: u64

Number of source-conditioned GPU gradient evaluations routed through ExactDdnnfProgram.

gpu_program_conditioned_gradient_evaluations: u64

Number of parsed-program-conditioned GPU gradient evaluations routed through ExactDdnnfProgram.

gpu_pir_graph_uploads: u64

Number of accepted PIR graphs uploaded through the existing GPU PIR layout.

gpu_source_pir_graph_uploads: u64

Number of source accepted PIR graphs uploaded through the existing GPU PIR layout.

gpu_program_pir_graph_uploads: u64

Number of parsed-program accepted PIR graphs uploaded through the existing GPU PIR layout.

gpu_cnf_encodes: u64

Number of accepted PIR root sets encoded through the existing GPU CNF encoder.

gpu_source_cnf_encodes: u64

Number of source accepted PIR root sets encoded through the existing GPU CNF encoder.

gpu_program_cnf_encodes: u64

Number of parsed-program accepted PIR root sets encoded through the existing GPU CNF encoder.

gpu_knowledge_compilation_end_to_end_runs: u64

Number of accepted compile-and-evaluate runs through the GPU exact path.

accepted_gpu_production_path_events: u64

GPU exact/provenance/PIR/CNF/knowledge-compilation events that occurred inside accepted evidence gates.

gpu_source_knowledge_compilation_end_to_end_runs: u64

Number of accepted source compile-and-evaluate runs through the GPU exact path.

gpu_program_knowledge_compilation_end_to_end_runs: u64

Number of accepted parsed-program compile-and-evaluate runs through the GPU exact path.

gpu_conditioned_evidence_facts: u64

Number of accepted assumptions compiled as exact evidence facts.

accepted_conditioned_world_view_evidence_consumed: u64

Number of accepted world-view evidence objects compiled into conditioned exact evidence.

accepted_source_conditioned_world_view_evidence_consumed: u64

Number of source-conditioned accepted world-view evidence objects compiled as exact evidence.

accepted_program_conditioned_world_view_evidence_consumed: u64

Number of parsed-program-conditioned accepted world-view evidence objects compiled as exact evidence.

gpu_conditioned_nonzero_arity_evidence_facts: u64

Number of accepted nonzero-arity assumptions compiled as exact evidence facts.

gpu_conditioned_max_evidence_arity: u32

Maximum accepted exact evidence tuple arity observed across conditioned paths.

gpu_conditioned_negative_evidence_facts: u64

Number of false accepted assumptions compiled as exact evidence facts.

gpu_source_conditioned_evidence_facts: u64

Number of source-conditioned accepted assumptions compiled as exact evidence facts.

gpu_source_conditioned_nonzero_arity_evidence_facts: u64

Number of source-conditioned nonzero-arity assumptions compiled as exact evidence facts.

gpu_source_conditioned_max_evidence_arity: u32

Maximum source-conditioned accepted exact evidence tuple arity observed.

gpu_program_conditioned_evidence_facts: u64

Number of parsed-program-conditioned accepted assumptions compiled as exact evidence facts.

gpu_program_conditioned_nonzero_arity_evidence_facts: u64

Number of parsed-program-conditioned nonzero-arity assumptions compiled as exact evidence facts.

gpu_program_conditioned_max_evidence_arity: u32

Maximum parsed-program-conditioned accepted exact evidence tuple arity observed.

gpu_source_conditioned_negative_evidence_facts: u64

Number of false source-conditioned assumptions compiled as exact evidence facts.

gpu_program_conditioned_negative_evidence_facts: u64

Number of false parsed-program-conditioned assumptions compiled as exact evidence facts.

gpu_conditioned_know_evidence_facts: u64

Number of true know assumptions compiled as exact evidence facts.

gpu_conditioned_possible_evidence_facts: u64

Number of true possible assumptions compiled as exact evidence facts.

gpu_conditioned_not_known_evidence_facts: u64

Number of false know assumptions compiled as exact evidence facts.

gpu_conditioned_not_possible_evidence_facts: u64

Number of false possible assumptions compiled as exact evidence facts.

gpu_source_conditioned_know_evidence_facts: u64

Number of source-conditioned true know assumptions compiled as exact evidence facts.

gpu_source_conditioned_possible_evidence_facts: u64

Number of source-conditioned true possible assumptions compiled as exact evidence facts.

gpu_source_conditioned_not_known_evidence_facts: u64

Number of source-conditioned false know assumptions compiled as exact evidence facts.

gpu_source_conditioned_not_possible_evidence_facts: u64

Number of source-conditioned false possible assumptions compiled as exact evidence facts.

gpu_program_conditioned_know_evidence_facts: u64

Number of parsed-program-conditioned true know assumptions compiled as exact evidence facts.

gpu_program_conditioned_possible_evidence_facts: u64

Number of parsed-program-conditioned true possible assumptions compiled as exact evidence facts.

gpu_program_conditioned_not_known_evidence_facts: u64

Number of parsed-program-conditioned false know assumptions compiled as exact evidence facts.

gpu_program_conditioned_not_possible_evidence_facts: u64

Number of parsed-program-conditioned false possible assumptions compiled as exact evidence facts.

cpu_only_probability_recomputations: u64

CPU-only probability recomputations performed by this adapter.

fixture_circuit_evaluations: u64

Fixture EpistemicCircuit evaluations performed by this adapter.

Implementations

impl EpistemicProbProductionTrace

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

Require that no CPU-only probability recomputation counters were used.

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

Require internally consistent GPU tuple-membership evidence counters.

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

Require internally consistent accepted GPU world-view evidence counters.

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

Require internally consistent conditioned exact-evidence counters.

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

Require that this trace is eligible for v0.9 production probability metrics.

This gate only proves fixture containment for an accepted probabilistic path. It does not claim the broader probabilistic production goal is complete.

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

Require the stricter metric subset for accepted world-view evidence conditioning.

General production eligibility proves fixture containment plus GPU exact/PIR/CNF/ knowledge-compilation reuse. This gate additionally proves at least one accepted world view was compiled into exact evidence facts rather than only used as a production-path admission gate.

Trait Implementations

impl Clone for EpistemicProbProductionTrace

fn clone(&self) -> EpistemicProbProductionTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicProbProductionTrace

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

Formats the value using the given formatter.

impl Default for EpistemicProbProductionTrace

fn default() -> EpistemicProbProductionTrace

Returns the “default value” for a type.

impl PartialEq for EpistemicProbProductionTrace

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

impl Eq for EpistemicProbProductionTrace

impl StructuralPartialEq for EpistemicProbProductionTrace