ppad-censor-0.6.0: Anytime-valid sequential constant-time testing.

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.

Modules