feat: добавить Cordis (spatiotemporal composability) в главу 22

- Новая подсекция §22.6: обратимость как свойство рантайма (revertible effects, reactive coeffects)
- Связь с self-evolving agent harness и классификацией tools
- Статья Shi, Zhang, Cui 2026 (Peking University + DeepSeek-AI) добавлена в статьи/ и Источники

book/22_durable_orchestration_and_agent_lifecycle.md

@@ -213,6 +213,21 @@ execution_packet:
 
 Эта классификация определяет, где ставить approval gates и как проектировать recovery.
 
+### Обратимость как свойство рантайма, а не дисциплина команды
+
+Классификация выше — инженерная эвристика: команда договорилась, какие tools обратимы. Но у этого подхода есть потолок: обратимость, зависящая от человеческой дисциплины, ломается именно тогда, когда она нужнее всего — при спешке, при рефакторинге, при смене владельца модуля.
+
+Работа **Cordis** (Shi, Zhang, Cui, 2026; Peking University + DeepSeek-AI) предлагает поднять обратимость с уровня договорённости на уровень рантайма. Авторы формализуют два ортогональных измерения динамической композиции:
+
+- **Temporal composability (revertible effects)** — каждый эффект компонента несёт *обратный*: runtime отслеживает эффекты и умеет полностью откатить side effects компонента при его удалении. Это обобщение Saga: не отдельные compensating actions, прописанные вручную, а структурное свойство каждого контекстного преобразования.
+- **Spatial composability (reactive coeffects)** — зависимости между компонентами декларируются, и каждое изменение контекста оповещает компонент в соответствии с его coeffect-спецификацией. Это формализация того, что в GRACE-паттернах из §22.6 называется reconciliation: изменение в одном модуле должно проактивно отразиться в зависимых.
+
+Ключевой результат — метатеория, которая переносит свойства композируемости с одного компонента на всю систему из чередующихся компонентов. Обратимость и реактивность *компонуются*: если каждый плагин можно откатить, то и произвольную конфигурацию плагинов можно откатить целиком.
+
+Для агентных систем важен мотивирующий сценарий самой работы — **self-evolving agent harness**: агент, который генерирует и деплоит модификации собственных компонентов, не прекращая обслуживать запросы. Именно такой режим описан в [Главе 24](24_landscape_2026.md) для MiniMax M2.7 и в §10.6 для long-horizon агентов. Когда модификации происходят непрерывно и без постоянного надзора человека, revertible effects перестают быть опцией: каждый автогенерированный компонент обязан уметь себя откатить, а его зависимости — реактивно перестроиться.
+
+Практический вывод: при проектировании agent harness, который агент может менять сам, требования к обратимости выше, чем для обычного микросервиса. Классификация tools по обратимости (§22.6) — минимальный первый шаг; следующий — инверсия: чтобы каждый эффект нёс обратный в самом интерфейсе, а не в голове интегратора. Пока это research frontier (Cordis — мета-фреймворк с hot module replacement и configuration reconciliation), но направление ясное: обратимость станет свойством платформы, а не кодексом команды.
+
 ## 22.7. Fault tolerance и recovery
 
 Агент может упасть в произвольный момент: OOM, server restart, LLM-провайдер вернул 503, network partition, истёк timeout.
@@ -304,6 +319,7 @@ Long-running agent может потратить сотни тысяч токе
 - Garcia-Molina, H. & Salem, K. (1987). "Sagas." ACM SIGMOD Record, 16(3).
 - Laban, P., Hayashi, H., Zhou, Y., & Neville, J. (2025). "LLMs Get Lost In Multi-Turn Conversation." arXiv:2505.06120 / ICLR 2026.
 - Ivanov, V. `osovv/grace-marketplace`: `grace-multiagent-execute`, `grace-refresh`, `grace-refactor`, `grace-reviewer` (2026). Controller-owned shared truth, ExecutionPacket, GraphDelta/VerificationDelta, targeted vs full refresh.
+- Shi, Y., Zhang, W., Cui, T. (2026). "Cordis: A Programming Paradigm for Spatiotemporal Composability." Peking University + DeepSeek-AI. Revertible effects, reactive coeffects, self-evolving agent harnesses.
 - Anthropic. "Subagents." Claude Code docs (2026). Отдельные context windows и focused subagents как аргумент в пользу свежих воркеров на bounded scope.
 
 ---