cordis_py

Cordis 的 Python 实现：面向动态系统的时空可组合性（spatiotemporal composability）元框架。

当前已实现

• Context / Fiber：插件运行时实例、生命周期状态机、依赖驱动的自动加载/卸载。
• Effect 追踪：ctx.effect() 支持 disposer、同步/异步 iterable，卸载时 LIFO 清理。
• 服务与依赖注入：ctx.provide()、ctx.get()、ctx.set()、inject 声明。
• 响应式依赖：先加载消费者再加载提供者也能自动激活；提供者卸载后消费者自动退出。
• 事件系统：on / once / emit / parallel / serial / bail / waterfall。
• Service 基类：继承 Service 并调用 super().__init__(ctx, name) 自动注册服务。
• Per-realm 隔离：ctx.isolate(name, realm) 可隔离同名服务。
• Intercept 配置拦截：ctx.intercept(name, config) 沿上下文链合并服务级配置（祖先条目先应用、就近覆盖），插件 inject 声明中的非空配置自动并入，Service.resolve_config() 可读取合并结果。
• 契约校验：Service.version / ctx.provide(version=) 声明版本，@require 声明 PEP 440 版本约束或接口谓词（不满足时软等待，fiber.unsatisfied 可诊断）；插件 Config 属性支持 callable 与 pydantic（可选）配置校验。
• 配置 overlay：internal/config waterfall——插件 config 激活前经父链监听器改写（只对注册者的后代生效），配合 deep_merge 实现分层合并与租户派生；改写结果再进入 Config 校验。
• 同步/异步双模式：有运行事件循环时后台异步调度；无事件循环时生命周期内联驱动（dispose_sync / restart_sync / update_sync），遇到需要事件循环的操作抛出 AsyncRequiredError。
• 声明式 Loader：支持 JSON/YAML/TOML 配置、增量 reconcile、disable/enable。
• HMR 依赖图分类：追踪模块导入边（运行时追踪 + AST 补全），对变更模块计算 accepted/declined 分类，自动找出并事务式重载受影响条目（reload_file / reload_module / reload_entry），失败时回滚到旧代码与旧插件；HMR.watch() 监听源码目录自动触发（可选依赖 watchdog）。
• 作用域隔离：Context.filtered() 监听器过滤 + create_scope / scope_target 作用域路由——不可信插件的监听器对可信派发不可见（事件只向上流，不向下），global_ 监听器显式放行；服务侧由 isolate / realm 隔离。

安装

PyPI 发布名为 cordis-python，Python 导入名仍为 cordis_py：

pip install cordis-python

快速开始

import asyncio
from cordis_py import Context, Service, inject


class Greeter(Service):
    def __init__(self, ctx: Context):
        super().__init__(ctx, "greeter")

    def hello(self, name: str) -> str:
        return f"Hello, {name}!"


@inject("greeter")
def greeter_plugin(ctx: Context, config: dict):
    ctx.on("app/ready", lambda msg: print(ctx.greeter.hello(msg)))
    return None


async def main():
    root = Context()
    await root.plugin(Greeter)
    await root.plugin(greeter_plugin)

    root.emit("app/ready", "Cordis")
    await root.fiber.dispose()


asyncio.run(main())

同步模式

没有运行事件循环时，生命周期转换会内联完成，配合 dispose_sync 等同步 API 使用：

from cordis_py import Context, inject


@inject("greeter")
def greet_plugin(ctx: Context, config: dict):
    print(ctx.greeter.hello("world"))


root = Context()
root.plugin(Greeter)
root.plugin(greet_plugin)
root.fiber.dispose_sync()

若同步调用链中遇到需要事件循环的操作（异步插件、异步效果、异步事件监听器），会抛出 AsyncRequiredError，提示改用异步 API。

契约校验

提供方声明版本，消费方用 @require 声明约束；约束不满足时消费者保持等待（软等待），提供方变化后自动重新评估：

from cordis_py import Context, Service, inject, require


class Model(Service):
    version = "1.0.0"

    def __init__(self, ctx):
        super().__init__(ctx, "model")


@inject("model")
@require("model", ">=1.0,<2.0")                    # PEP 440 版本约束
@require("model", lambda svc: hasattr(svc, "hello"))  # 接口谓词
def consumer(ctx: Context, config: dict):
    print(ctx.model)

配置校验：给插件挂 Config 属性（callable 校验/转换，或可选安装 pydantic 后用模型类）。

配置 overlay / 租户派生

插件配置在激活前经过 internal/config 瀑布链（先改写、后 Config 校验），监听器只对注册者的后代生效：

from cordis_py import Context, deep_merge


async def tenant_overlay(fiber, config, next):
    tenant = fiber.ctx._isolation.get("tenant")   # 目标 fiber 的上下文标记
    return deep_merge(await next(), {"tenant": tenant})


root = Context()
root.on("internal/config", tenant_overlay)        # 对后代插件全体生效
root.plugin(some_plugin)                          # 其 config 自动叠加租户层

HMR 热重载

开发期修改插件或共享依赖的源码后，只重载实际受影响的条目；也可监听源码目录自动触发：

from cordis_py import HMR

hmr = HMR(loader)                              # 启用模块依赖图追踪
watcher = hmr.watch(["src"])                   # 监听源码目录，保存文件后自动重载
await hmr.reload_file("src/plugins/worker.py")  # 或手动触发：变更文件 → 事务式重载
await hmr.reload_module("myapp.helpers")        # 或按模块名
await watcher.stop()
hmr.dispose()                                  # 退出时卸载追踪器

文件监听依赖 watchdog（pip install cordis-python[watch]）；不安装时 HMR 核心与手动触发不受影响。

作用域隔离（协调式边界）

不可信插件的监听器对“可信接收者”派发默认不可见；事件只向上流，不向下：

from cordis_py import Context, create_scope, scope_target

root = Context()
untrusted = create_scope(root, "market/plugin-x")
trusted = create_scope(root, "trusted/area")

untrusted.ctx.on("cloud/update", on_event)   # 恶意监听：可信派发时被过滤
root.emit("cloud/update", "1", receiver=scope_target(root, "trusted/area"))

await untrusted.dispose()

这是协调式隔离（Cordis 语义：事件与服务可见性边界），不是恶意代码的真实安全边界；OS 级资源沙箱（子解释器 / subprocess / 文件系统限制）属宿主职责。

文档

• 开发流程
• 介绍与实现思路（HTML）
• 应用领域与设计优化分析（HTML）

参考

• 论文：A Programming Paradigm for Spatiotemporal Composability
• Node.js 版：Cordis v4 / DeepSeek Harness vendor