Injected time превращает race в contract
Freshness и lease действуют при `now < deadline`; equality означает expiry. Fresh data выигрывает независимо от lease, а stale live lease различает owner и foreign caller. Явная модель даёт воспроизводимый диагноз.