# GOMA construction

## Author claim mapped

GOMA combines two-time-scale optimistic updates with Halpern-type anchoring.

## Scope and source route

- Algorithm: general GOMA update, `eq:goma` in `example_paper.tex`, Section 4.
- Anchor schedule stated there: `beta_k = a/(k+b)` with `b > a >= 0`.
- Source/theorem crosswalk tier: this page locates the method definition; it does not make a mathematical-validity finding.

## Pin

Use the TeX archive SHA-256 in [`../hash_manifest.json`](../hash_manifest.json), then inspect `example_paper.tex`.