Содержание слайдов

1. 1. Агент после сбоя

   Восстановление, повторы и идемпотентность — на примере CI

2. 2. После сбоя нужны разные гарантии

   Продолжить выполнение, установить исход, безопасно повторить

3. 3. Опыт не подтверждает завершение операции

   Продолжение деки о памяти и выпуска №42 об оценках

4. 4. Тайм-аут оставляет исход неизвестным

   Atlas · commit c3 · Node 22 · запрос проверки op-17

5. 5. Пустой ответ ещё не доказывает отсутствие

   Три скрытых исхода при одинаковом тайм-ауте

6. 6. LIMBO сравнивает действия в одинаковых мирах

   Jiapeng Li · Microsoft · arXiv v1 · 24 сентября 2026

7. 7. Код ошибки не раскрывает побочный эффект

   Потеря ответа, поздняя запись и повторная доставка

8. 8. Отмена дубля не отменяет его появления

   Итоговое состояние и история эффектов проверяются отдельно

9. 9. Поздний эффект меняет картину ошибок

   E1 · шесть frontier-моделей · доля эпизодов с дублем

10. 10. Ключи помогают там, где сервис их соблюдает

    E2 / E2k · четыре модели · дубли, %

11. 11. Ожидание зависит от границ задержки

    E5 · задержки 40 с–2 ч · модельное время

12. 12. Контракт важен в пределах этого эксперимента

    Симулированные сервисы, общий шлюз и ограниченные инструменты

13. 13. Восстановлению нужны и диалог, и файлы

    Moe Abadi · Temporal · 8 октября 2026

14. 14. Намерение не равно подтверждённому результату

    Перед вызовом — claim; после возврата — результат

15. 15. Старый исполнитель может закончить действие позже

    Отозвать право записи в журнал недостаточно для внешнего API

16. 16. Ключ обозначает намерение, а не аргументы

    Повтор op-17 и новый запуск op-18 могут иметь один SHA

17. 17. Ключ и эффект должны согласованно фиксироваться

    Локальная отметка не превращает чужой API в транзакцию

18. 18. Повторы разных слоёв умножают нагрузку

    Пять уровней по три попытки: до 243 обращений

19. 19. Разброс задержек снижает одновременные повторы

    Ограничить попытки, увеличить паузу, разнести клиентов

20. 20. Неизвестный исход требует отдельной ветки

    Восстановление op-17 после потери ответа

21. 21. Проверяем эффекты на границах сбоя

    Одинаковые задачи и сбои для сравниваемых политик

22. 22. Продолжение работы не гарантирует единственный эффект

    Состояние исполнителя, контракт сервиса и доказательство результата

23. 23. Неопределённость должна пережить перезапуск

    Что намеревались сделать, что произошло, что можно повторить?