Struct EpistemicGpuPlan 

pub struct EpistemicGpuPlan {
    pub mode: EirEpistemicMode,
    pub epistemic_literals: Vec<EirEpistemicLiteral>,
    pub required_phases: Vec<EpistemicGpuHotPathPhase>,
    pub required_kernel_phases: Vec<EpistemicGpuHotPathPhase>,
    pub required_buffers: Vec<EpistemicGpuBufferKind>,
    pub reductions: Vec<EpistemicReductionPlan>,
    pub tuple_membership_bindings: Vec<EpistemicTupleMembershipBinding>,
    pub constraints: Vec<EpistemicConstraintPlan>,
    pub final_output_columns: Option<Vec<usize>>,
    pub solver_contract: EpistemicSolverServiceContract,
    pub cpu_fallbacks: EpistemicCpuFallbackCounters,
}

Production-facing GPU execution contract for an epistemic program.

Fields

mode: EirEpistemicMode

Selected epistemic semantics mode.

epistemic_literals: Vec<EirEpistemicLiteral>

Epistemic literals preserved from EIR.

required_phases: Vec<EpistemicGpuHotPathPhase>

Coarse Generate-Propagate-Test phases required by the hot path.

required_kernel_phases: Vec<EpistemicGpuHotPathPhase>

Concrete GPU kernel phases required by accepted production execution.

required_buffers: Vec<EpistemicGpuBufferKind>

GPU buffer classes required by the hot path.

reductions: Vec<EpistemicReductionPlan>

Reduced ordinary-program planning summaries.

tuple_membership_bindings: Vec<EpistemicTupleMembershipBinding>

Per-literal stable-model tuple membership bindings.

constraints: Vec<EpistemicConstraintPlan>

World-view integrity constraints lowered for accepted GPU execution.

final_output_columns: Option<Vec<usize>>

Reduced-output columns copied into the public final output. None means identity/all columns; Some([]) is a real zero-arity projection.

solver_contract: EpistemicSolverServiceContract

Solver-service obligations exported by the epistemic semantic plan.

cpu_fallbacks: EpistemicCpuFallbackCounters

Forbidden CPU fallback counters. Release certification must keep these zero.

Implementations

impl EpistemicGpuPlan

pub fn new( mode: EirEpistemicMode, epistemic_literals: Vec<EirEpistemicLiteral>, reductions: Vec<EpistemicReductionPlan>, ) -> Self

Create a plan with the standard GPU hot-path phase and buffer requirements.

pub fn with_tuple_membership_bindings( self, tuple_membership_bindings: Vec<EpistemicTupleMembershipBinding>, ) -> Self

Replace inferred tuple-membership bindings with planner-derived bindings.

pub fn with_constraints(self, constraints: Vec<EpistemicConstraintPlan>) -> Self

Attach world-view integrity constraints lowered for accepted GPU execution.

pub fn with_final_output_columns( self, final_output_columns: Option<Vec<usize>>, ) -> Self

Set the public projection applied after GPU tuple membership row filtering.

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

Validate that every world-view constraint references in-range epistemic literals.

pub fn with_solver_contract( self, solver_contract: EpistemicSolverServiceContract, ) -> Self

Replace inferred solver obligations with planner-derived obligations.

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

Validate that solver obligations match the epistemic semantic boundary.

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

Validate that every epistemic literal has a matching tuple-membership binding.

Trait Implementations

impl Clone for EpistemicGpuPlan

fn clone(&self) -> EpistemicGpuPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuPlan

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuPlan

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

impl StructuralPartialEq for EpistemicGpuPlan