Expand description
GPU-native epistemic execution planning contracts.
Structs§
- Epistemic
Constraint Plan - World-view integrity constraint lowered for accepted GPU execution.
- Epistemic
CpuFallback Counters - CPU fallback counters that must remain zero on the accepted hot path.
- Epistemic
Executable Plan - Production-facing executable plan for accepted epistemic lowering.
- Epistemic
GpuPlan - Production-facing GPU execution contract for an epistemic program.
- Epistemic
Reduction Plan - One epistemic rule’s reduced ordinary-program planning summary.
- Epistemic
Solver Assumption Binding - Binding from an epistemic literal to a solver assumption obligation.
- Epistemic
Solver Service Contract - Solver-service contract exported from the epistemic semantic plan.
- Epistemic
Tuple Membership Binding - Binding from an epistemic literal to reduced stable-model tuple evidence.
Enums§
- Epistemic
GpuBuffer Kind - GPU-resident buffer category required by accepted epistemic execution.
- Epistemic
GpuHot Path Phase - Generate-Propagate-Test hot-path phase that must execute on GPU.
- Epistemic
Solver Capability - Solver production capability required by accepted epistemic execution.
- Epistemic
Solver Status Kind - Solver status kind that must cross the epistemic boundary distinctly.
- Epistemic
Wcoj Reduction Status - WCOJ status for a reduced ordinary program.