Struct EpistemicProbProductionTrace

Source

pub struct EpistemicProbProductionTrace {Show 70 fields
    pub gpu_exact_source_compiles: u64,
    pub gpu_exact_program_compiles: u64,
    pub gpu_conditioned_circuit_reuses: u64,
    pub gpu_conditioned_circuit_preparation_compiles: u64,
    pub gpu_conditioned_circuit_materializations: u64,
    pub gpu_conditioned_circuit_disk_cache_restores: u64,
    pub gpu_conditioned_circuit_gpu_cache_hits: u64,
    pub gpu_conditioned_circuit_generation: u64,
    pub gpu_conditioned_circuit_cache_slot: 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,
}

Expand description

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.

§gpu_conditioned_circuit_reuses: u64

Number of evaluations routed through an already compiled conditioned circuit.

§gpu_conditioned_circuit_preparation_compiles: u64

Actual GPU circuit-compiler invocations performed while preparing this handle.

§gpu_conditioned_circuit_materializations: u64

Successful exact-circuit materializations performed while preparing this handle.

§gpu_conditioned_circuit_disk_cache_restores: u64

Verified disk-cache restorations used while preparing this handle.

§gpu_conditioned_circuit_gpu_cache_hits: u64

GPU circuit-cache hits used while preparing this handle.

§gpu_conditioned_circuit_generation: u64

Process-local immutable generation of the exact circuit used by this evaluation.

§gpu_conditioned_circuit_cache_slot: u64

Device-cache slot held by the exact circuit used by this evaluation.

§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.

Implementations§

Source §

impl EpistemicProbProductionTrace

Source

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

Require internally consistent GPU tuple-membership evidence counters.

Source

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

Require internally consistent accepted GPU world-view evidence counters.

Source

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

Require internally consistent conditioned exact-evidence counters.

Source

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

Require that this trace is eligible for production probability metrics.

This gate proves accepted-evidence admission and fixture containment for this adapter path. It does not establish that every epistemic execution route produces a compatible evidence record or that accepted assumptions conditioned the probabilistic model.

Source

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.