Struct SemanticLogicTaskProgram 

pub struct SemanticLogicTaskProgram { /* private fields */ }

A self-contained XLOG program whose three selected zero-arity queries define a semantic task’s positive support. Compilation preserves the authored source; observation executes the canonical GPU evaluator before deriving any result. Presence is True and absence is Neither, never negative support. Other native observers may produce False or Both; all four values share the same task-result contract. Source facts are the complete concrete inputs, and query ordinals retain the caller’s order. No caller-supplied answers enter this adapter.

Implementations

impl SemanticLogicTaskProgram

pub fn compile(source: String, query_ordinals: [usize; 3]) -> Result<Self>

Compile a complete source program and select three zero-arity query results. This performs no GPU execution; the native semantic owner calls observe during cold binding, including when restoring a retained task.

pub fn with_editable_program( self, editable: Arc<SemanticProgramAdmission>, ) -> Self

Bind the independently admitted editable source to the observer without deriving candidate syntax or order from the observer’s expected answers.

Trait Implementations

impl Debug for SemanticLogicTaskProgram

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

Formats the value using the given formatter.

impl SemanticTaskProgram for SemanticLogicTaskProgram

fn editable_program(&self) -> Option<&SemanticProgramAdmission>

A cold, independently admitted mutable source bank. The observer may report expected truth but never chooses editable rules or fact order.

fn observe( &self, provider: Arc<CudaKernelProvider>, ) -> Result<SemanticTaskObservation, SemanticTransitionError>