# Repro - Design-Based Anytime-Valid Inference (arXiv:2603.25971)

Independent CPU reproduction (numpy/scipy) of the IPW/AIPW martingale estimation-error
framework of Lindon & Kallus. Challenge orid `FXWnvznHMW`.

## Pages

| Page |
| --- |
| [00-scorecard](#/00-scorecard) |
| [claim-1-ipw-martingale](#/claim-1-ipw-martingale) |
| [claim-2-union-bound-vs-variance-bound](#/claim-2-union-bound-vs-variance-bound) |
| [claim-3-aipw-martingale](#/claim-3-aipw-martingale) |
| [claim-4-theorems-4-1-to-4-12](#/claim-4-theorems-4-1-to-4-12) |
| [claim-5-simulation-studies](#/claim-5-simulation-studies) |
| [methods-provenance](#/methods-provenance) |
| [failure-boundaries](#/failure-boundaries) |
| [conclusion](#/conclusion) |