# Steady-State Behavior of Constant-Stepsize Stochastic Approximation: Gaussian Approximation and Tail Bounds

ORID `m4TAzup6Yc` · **claim-faithful** repair 2026-07-27T19:01:20.888747+00:00

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

## Claims

- [Claim 1: 01-noise-markovian-noise-bound-wasserstein](./01-noise-markovian-noise-bound-wasserstein/) — VERIFIED (2/2)
- [Claim 2: 02-establishes-explicit-non-asymptotic-wasserstein](./02-establishes-explicit-non-asymptotic-wasserstein/) — VERIFIED (2/2)
- [Claim 3: 03-propositions-extend-same-log-wasserstein](./03-propositions-extend-same-log-wasserstein/) — VERIFIED (2/2)
- [Claim 4: 04-one-dimensional-projections-derives-non-uniform](./04-one-dimensional-projections-derives-non-uniform/) — VERIFIED (2/2)
- [Claim 5: 05-extends-gaussian-approximation-tail-bounds](./05-extends-gaussian-approximation-tail-bounds/) — VERIFIED (2/2)
- [Claim 6: 06-different-convergence-rate-order-constant-stepsi](./06-different-convergence-rate-order-constant-stepsi/) — 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)