ppad-censor-0.6.0: Anytime-valid sequential constant-time testing.
A pure Haskell framework for sequential constant-time testing via anytime-valid e-processes.
Declare a constant-time hypothesis (an IO action plus two input
samplers); the driver times the action on paired inputs from the two
classes, in random order, and tests them with a hedged mixture of
ppad-eproc e-processes, halting as soon as the evidence suffices.
Provides dudect-style fix-vs-random hypotheses, A/A and B/B negative controls, wall-clock and Linux hardware-counter meters, foreign targets via FFI or a dlopen CLI, and anytime-valid p-values and effect-size intervals.