作用域注册

English | 中文

scope 包提供身份标识与载体词汇，使一个注册上下文同时表达「按 agent 可见」和「共享生命周期所有权」两层含义。它是一个库级原语，而非 Cordis 服务；agent-scope 运行时设计 RFC 拥有实现动机，包的 README 拥有可调用 API 与过滤语义。

身份标识与分发载体

ScopeKey 是一个不透明的对象标识。已交付的 agent loop 使用活跃的 Agent 对象作为自身的 key，但该原语从不检视该对象。

type ScopeKey = object

Scoped<T> 是 scopeTarget(base, key) 返回的不透明路由接收者上的编译期品牌类型。经作用域过滤的事件声明要求以此载体作为其 this 类型，而真正的事件主体仍作为显式参数传递。

type Scoped<T extends object> = object & { readonly [ScopedBrand]: T }

Scope 将带标签的注册上下文与两个拆卸面配对。rawDispose 保留有序组合副作用所需的精确 Cordis disposer 标识；dispose() 是面向直接调用方和竞争调用方的公共共享静默边界。

interface Scope {
  ctx: Context
  rawDispose: () => Promise<void> | void
  dispose(): Promise<void>
}