Module properties 

Property-based tests for CUDA kernel correctness.

Uses proptest to verify kernel properties with randomized inputs.

Properties tested:

• Sort stability: Equal keys preserve relative order
• Join correctness: Result equals set of matching pairs
• Filter idempotence: filter(filter(x)) = filter(x)
• Dedup determinism: Same input produces same output

Usage

cargo test -p xlog-cuda-tests --test properties --release -- --nocapture

Functions

prop_dedup_determinism

Property: Dedup produces the same output for the same input.

prop_filter_idempotence

Property: Applying the same filter twice produces the same result.

prop_join_correctness

Property: Hash join result equals the set of all matching pairs.

prop_sort_stability

Property: When sorting by key, rows with equal keys maintain their original relative order (stability).