Module gpu_d4 

GPU-native Decision-DNNF knowledge compilation.

This module provides the configuration and kernel-facing utilities needed to compile a device-resident CNF into a device-resident XGCF circuit.

Primary spec: docs/design/2026-01-22-gpu-native-compilation-design.md (Section 5.2.4).

Structs

GpuCompileConfig

Configuration for GPU-native Decision-DNNF knowledge compilation plus GPU CDCL verification.

Functions

compile_gpu_d4_gated

Compile a device-resident CNF into a device-resident XGCF circuit, skipping work on the device when compile_needed is 0.

compute_free_var_mask_gpu

Compute free-variable mask on device (vars absent from CNF and circuit).

validate_cnf_gpu

Validate GpuCnf CSR invariants on the GPU (fail-fast trap on invalid input).