Expand description
Kernel function names in the GPU-resident Datalog/MC engine module.
Constantsยง
- MC_
RESIDENT_ ENGINE - Single megakernel: evaluates all MC worlds to fixpoint and counts query/evidence satisfaction with zero host interaction in-region.