Module epistemic 

Epistemic mode helpers for compatibility fixtures.

Structs

EpistemicDependencyComponent

One deterministic dependency component for epistemic splitting.

EpistemicDependencyGraph

Deterministic dependency graph used by bounded epistemic splitting.

EpistemicInterpretation

Minimal interpretation used by G91/FAEEL distinction fixtures.

EpistemicSplitExecutableComponent

One split component lowered through the production epistemic GPU plan path.

EpistemicSplitExecutablePlan

Executable split plan whose components reuse the normal epistemic GPU lowering.

EpistemicSplitPlan

Split plan for independently solvable epistemic components.

EpistemicStratifiedPlan

A stratified epistemic execution plan: an ordered sequence of strata.

EpistemicStratum

Split an epistemic program into independently solvable bounded components. One stratum of a stratified epistemic program: a self-contained sub-program whose epistemic heads gate only over EDB/invariant relations OR over the materialized (now-base) outputs of strictly-lower strata.

EpistemicWorld

One stable model in a bounded epistemic world-view fixture.

EpistemicWorldView

Non-empty set of accepted stable models used as the epistemic boundary.

GeneratePropagateTestConfig

Configuration for bounded Generate-Propagate-Test fixture execution.

GeneratePropagateTestOutcome

Result of bounded Generate-Propagate-Test fixture execution.

GeneratePropagateTestTrace

Phase counters emitted by bounded Generate-Propagate-Test execution.

Enums

EpistemicComponentMergeReason

Reason that two source rules were coalesced into the same dependency component.

FaeelCandidateResult

Result of bounded FAEEL candidate evaluation.

FaeelNoModelReason

Typed no-model reason for bounded FAEEL fixtures.

RecursiveEpistemicClass

Structural classification of an epistemic program with respect to ordinary (non-modal) recursion.

TruthValue

Boolean truth value for bounded epistemic fixture evaluation.

Functions

build_epistemic_dependency_graph

Build a deterministic dependency graph for bounded epistemic splitting.

classify_recursive_epistemic_program

Classify an epistemic program’s ordinary recursion as non-recursive or Case A.

compile_epistemic_gpu_execution

Compile an epistemic program into its GPU contract and reduced runtime plan.

compile_epistemic_gpu_execution_with_stats_snapshot

Compile an epistemic program with an optional production statistics snapshot.

compile_epistemic_gpu_split_execution

Compile valid epistemic split components through the production GPU executable path.

compile_epistemic_gpu_split_execution_with_stats_snapshot

Compile valid epistemic split components with an optional production stats snapshot.

evaluate_epistemic_candidate

Evaluate all epistemic literals in a program under a bounded fixture semantics mode.

evaluate_epistemic_literal

Evaluate a single parsed epistemic literal against a bounded interpretation.

evaluate_faeel_candidate

Evaluate all epistemic literals in a program under bounded FAEEL fixture semantics.

plan_epistemic_gpu_execution

Build the production-facing GPU execution contract for an epistemic program.

reduce_case_a_epistemic_program_to_ordinary

Reduce a Case-A recursive epistemic program to an equivalent ordinary recursive program for the existing fixpoint engine.

reduce_epistemic_program_to_ordinary

Return the ordinary runtime program produced after epistemic GPU planning.

reduce_epistemic_program_to_ordinary_for_stratified_schema

Schema-only reduction for the stratified epistemic driver.

run_generate_propagate_test

Run bounded Generate-Propagate-Test execution over explicit candidates.

run_generate_propagate_test_with_mode

Run bounded Generate-Propagate-Test execution over explicit candidates and semantics mode.

split_epistemic_program

Partition an epistemic program into independently-evaluable components.

try_plan_stratified_epistemic_program

Plan a STRATIFIED epistemic execution when the program contains a modal literal over an epistemic-derived head that is itself epistemically DETERMINED.

try_reduce_case_a_recursive_epistemic_program

Validate a Case-A recursive epistemic program and return its ordinary reduction.