Путь разделяет гонки данных в памяти Go, логические TOCTOU и аномалии БД. Вы воспроизведёте многократное начисление одноразового промокода и lost update при параллельных покупках, затем построите полные атомарные границы, оцените, выберете и обоснуете proof-план для нескольких pod, retry и сбоев и подберёте доказательный тест для каждого класса гонки.
Отличаем конфликтующие доступы к памяти Go от логических и DB-гонок.
Разбираем, как параллельные запросы многократно начисляют бонус по одному промокоду, и связываем marker и credit одной транзакцией.
Сопоставляем Read → Check → stale absolute Write из практики с отдельным дефектом относительного UPDATE и строим атомарную транзакцию debit+order.
Используем Go Race Detector только для исполненных memory accesses, затем разбираем multi-pod locking, fencing и durable idempotency.
Собираем таксономию, чек-лист и доказательные проверки, затем переносим их на незнакомый reservation/outbox-сценарий с бизнес-инвариантом и отказами.