paper README

The project's README from github.com/cordiverse/paper. As one markdown file: README.md.

A Programming Paradigm for Spatiotemporal Composability

Read the paper on arXiv · arXiv:2608.25512 [cs.PL]

This is a preprint under active revision. The arXiv page above always serves the latest version; please cite accordingly.

Abstract

Modern software—from plugin systems to self-evolving agent harnesses—increasingly requires dynamic composition, yet its formal foundations remain underdeveloped. We identify two orthogonal dimensions of the problem: temporal composability, the ability to completely revert a component's side effects upon removal, and spatial composability, the ability to declare and reactively manage inter-component dependencies. We address the two dimensions by lifting classical effect and coeffect concepts to runtime mechanisms. In particular, we formalize revertible effects, in which every context transformation carries an inverse that the runtime holds, establishing temporal composability local to one component. We formalize reactive coeffects, in which every context change is classified against a component's coeffect specification to drive its activation and deactivation, establishing spatial composability local to one component. We then unify the effect context and the coeffect context into a single context type and mediate every effect and coeffect through it, yielding a discipline we call the context paradigm; the mediation induces an observational equivalence up to which the effects of distinct components interleave without disturbing one another. Combining these mechanisms into the notion of a component, we give a calculus of dynamic composition whose metatheory carries spatiotemporal composability from a single component to a whole system of interleaved components. We implement these ideas in Cordis, a meta-framework of spatiotemporal composability that provides a core library with effect tracking and coeffect resolution, as well as a declarative component loader with configuration reconciliation and hot module replacement.

Citation

@misc{shi2026cordis,
  title         = {A Programming Paradigm for Spatiotemporal Composability},
  author        = {Shi, Yifan and Zhang, Wei and Cui, Tianyi},
  year          = {2026},
  eprint        = {2608.25512},
  archivePrefix = {arXiv},
  primaryClass  = {cs.PL},
  url           = {https://arxiv.org/abs/2608.25512},
}

Acknowledgments

We thank @TZZheng and @thwfhk for their feedback and corrections on earlier drafts of this paper.

Contact

Questions, comments, and corrections about the paper are welcome by email: [email protected].

paper (cordiverse/paper)

Searching Database…

3K ·GitHub
Paper
Что это?Это академический препринт (arXiv:2608.25512 [cs.PL]), предлагающий формальную парадигму программирования под названием «контекстная парадигма» для построения ПО, которое может динамически добавлять, удалять и чередовать компоненты (например, плагины или саморазвивающиеся agent harness), не ломая друг друга.
Это научная статья или то, что можно запустить как код?Это сама статья (текст и сведения для цитирования), а не запускаемый проект. Идеи отдельно реализованы во фреймворке под названием Cordis.
Где именно читать статью?Читайте её на arXiv по ссылке в README (arXiv:2608.25512); версия на arXiv поддерживается актуальной с последними редакциями.
Статья завершена или содержание ещё может измениться?Он явно помечен как препринт в активной доработке, поэтому детали могут меняться между версиями; цитируйте версию на arXiv, а не этот репозиторий.
Для кого написана эта статья?Для исследователей языков программирования и авторов фреймворков, работающих над системами плагинов, hot module replacement или динамическими многокомпонентными архитектурами (включая agent harness для ИИ), которым нужна строгая модель безопасной композиции.
Что такое Cordis?Cordis — мета-фреймворк, реализующий идеи статьи на практике: библиотека ядра с отслеживанием эффектов и разрешением коэффектов, плюс декларативный загрузчик компонентов с согласованием конфигураций и hot module replacement.
Что такое revertible-эффекты?Это преобразования контекста, при которых рантайм хранит обратную операцию для каждого изменения, вносимого компонентом, поэтому удаление компонента может полностью отменить его побочные эффекты. Это даёт «временную компонуемость», локальную для одного компонента.
Что такое реактивные коэффекты?Это механизм, при котором каждое изменение контекста сверяется с объявленной коэффект-спецификацией компонента, автоматически определяя, когда этот компонент активируется или деактивируется. Это даёт «пространственную компонуемость» между компонентами.
Почему это важно для agent harness ИИ-агентов?Саморазвивающиеся agent harness и системы плагинов постоянно добавляют и удаляют возможности в рантайме; контекстная парадигма из статьи даёт формальную гарантию, что эти динамические изменения можно чисто компоновывать и откатывать без взаимных помех компонентов.
What are similar projects?context-language-models, dsh-explore, Attention-Residuals, Tiersense, KISS-Knowledge-Infrastructure-for-Scientific-Simulation, Deepgraph, MSA, XRAG
Which topics is it in?software-architecture, declarative, arxiv, paper, programming-language, academic, architecture, harness, plugin-system, computer-science, academic-research, agents
Creator
cordiverse
Size
1.8 MB
Stars
3K
Updated
CommitAug 28
Age
2mo
Commits · 90 Days