Module validation 

GPU-native equivalence validation (φ ≡ C) using the GPU CDCL verifier.

Structs

GpuEquivalenceConfig

Configuration for GPU-native equivalence verification (phi equiv C).

GpuEquivalenceQueries

GPU-resident equivalence queries + device metadata required to solve them without host reads.

Functions

build_equivalence_queries_gpu

Build the two equivalence-check queries on GPU:

validate_equivalence_gpu

Proves source-CNF and circuit equivalence with the GPU CDCL verifier.

validate_equivalence_gpu_gated

Proves equivalence only when the device-resident compilation gate is set.