Interpretación del artículo CordisSpatiotemporal Composability

Interpretación en español de "A Programming Paradigm for Spatiotemporal Composability": cómo los Revertible Effects y los Reactive Coeffects permiten que el sistema de plugins de DeepSeek Harness soporte recarga en caliente, reversión de efectos secundarios y Agentes autoevolutivos.

Empezar a leer →

Revertible Effects

Reactive Coeffects

Repositorio del artículo

Dos dimensiones ortogonales

Temporal Composability (revertir completamente los efectos secundarios al eliminar un componente) y Spatial Composability (ajustar automáticamente los ciclos de vida cuando cambian las dependencias), elevando el clásico effect/coeffect a mecanismos en tiempo de ejecución.

Arquitectura DeepSeek Harness

DeepSeek Harness se construye sobre el núcleo de Cordis y convierte Tools/Skills/Sessions/Sandboxes/Storage/Loops/sub-Agentes/UI en plugins de Cordis, realizando "Everything is a Plugin".

Seis teoremas formales

Preservation, Recovery Exactness, Ordering, Resolution Coherence, Progress, Confluence — elevan "la historia dinámica no deja rastro" de la práctica de ingeniería a una garantía metateórica.

Tres proyectos, no confundir

Cordis (meta-framework, Shigma y otros), Koishi (framework de chatbot construido sobre Cordis, 4000+ plugins), DeepSeek Harness (un Agent Harness construido sobre Cordis) — los tres comparten origen pero son proyectos distintos.

Versiones fijadas y trazables

Cada conclusión clave se anota con el número de sección (§) y el número de teorema (Thm); la versión del artículo se fija en el commit 948a07b (2026-08-13).

Sitio de estudio no oficial

Interpretación del artículo impulsada por la comunidad; no sustituye al artículo original. El contenido en profundidad remite al original cordiverse/paper. Autores del artículo: Yifan Shi, Wei Zhang (Universidad de Pekín) y Tianyi Cui (DeepSeek-AI, es decir, el autor de Koishi, Shigma).