@hackage / ppad-eproc

Anytime-valid sequential testing via e-processes.

Latest0.4.1

Changelog

Changelog

  • 0.4.1 (2026-07-04)

    • Fixes a bug that made confidence sequences needlessly conservative.

  • 0.4.0 (2026-07-03)

    • Adds calibrated evidence accessors to every test module: 'log_evalue', 'log_evalue_sup', and the anytime-valid 'p_value'.
    • Adds Numeric.Eproc.Mixture: uniform convex mixtures of e-processes, for testing a null against a union of qualitatively different alternatives at a single Ville threshold.
    • Adds Numeric.Eproc.ConfSeq: anytime-valid confidence sequences for bounded means, via the hedged-capital construction of Waudby-Smith & Ramdas (2024).
    • Adds InvalidComponentCount and InvalidGridSize to ConfigError.

  • 0.3.0 (2026-07-02)

    • Introduces a breaking API change: 'log_wealth' now returns the current log-wealth, whereas the supremum-thus-far statistic is exposed as 'log_wealth_sup'.

  • 0.2.2 (2026-07-02)

    • Adds a Numeric.Eproc.Bernoulli.TwoSided module for a two-sided Bernoulli rate test.

  • 0.2.1 (2026-07-02)

    • Two-sided bounded-mean tests now reject faster, or at least never later.

  • 0.2.0 (2026-06-28)

    • Introduces several breaking API changes, along with various internal refinements:

      • config functions now return 'Either ConfigError Config' and reject invalid parameters.

      • the 'Bernoulli.config' argument order changed from (a, p, b) to (p, a, b), for consistency with other modules.

      • log_wealth now returns the supremum, not the current value.

  • 0.1.0 (2026-06-03)

    • Initial release, supporting anytime-valid sequential testing via e-processes: bounded-mean, Bernoulli, and paired two-sample tests, with fixed-lambda, aGRAPA, and ONS bettors.