Readiness gate for service health probing.
The atomic type is swapped for loom’s equivalent under cfg(loom) (see loom_tests) so the Release/Acquire discipline is model-checked.
cfg(loom)
loom_tests