Portable Programmatic Evaluation Framework - Claim-driven, deterministic evaluation for experiments
Partitioned Elias-Fano encoding for sequences of nondecreasing integers