const PROGRESS_ORDERING: Ordering;Expand description
Relaxed ordering suffices for every progress counter in SsaCycle.
The counters are pure telemetry: they are never read to decide whether a share may be applied, and the supervisor that consumes them keeps its own monotonic maximum and treats a stale snapshot as benign. So no counter needs to be ordered against the reconstruction state it describes, and a snapshot taken while a concurrent batch is mid-flight is allowed to straddle it.