# Asymptotically Optimal Sequential Testing with Markovian Data

ORID `YEckWPoS09` · **claim-faithful** repair 2026-07-27T19:05:54.276412+00:00

Paper-style claim pages with **inline numbers** and linked `evidence/` artifacts.

## Claims

- [Claim 1: 01-gives-non-asymptotic-instance-dependent-lower-bo](./01-gives-non-asymptotic-instance-dependent-lower-bo/) — VERIFIED (2/2)
- [Claim 2: 02-bounds-poisson-equation-solution-constant-via](./02-bounds-poisson-equation-solution-constant-via/) — VERIFIED (2/2)
- [Claim 3: 03-proposed-sequential-markov-chain-test](./03-proposed-sequential-markov-chain-test/) — VERIFIED (2/2)
- [Claim 4: 04-proposed-test-alpha-correct-asymptotically-optim](./04-proposed-test-alpha-correct-asymptotically-optim/) — VERIFIED (2/2)
- [Claim 5: 05-extends-one-sided-asymptotic-optimality-result](./05-extends-one-sided-asymptotic-optimality-result/) — VERIFIED (2/2)
- [Claim 6: 06-framework-applied-detect-mcmc-transition-kernel](./06-framework-applied-detect-mcmc-transition-kernel/) — VERIFIED (2/2)
- [Conclusion](./conclusion/)

## Artifacts

- [`evidence/claim_1.json`](../evidence/claim_1.json)
- [`evidence/claim_2.json`](../evidence/claim_2.json)
- [`evidence/claim_3.json`](../evidence/claim_3.json)
- [`evidence/claim_4.json`](../evidence/claim_4.json)
- [`evidence/claim_5.json`](../evidence/claim_5.json)
- [`evidence/claim_6.json`](../evidence/claim_6.json)