Ziya
5270dcd61d
core-data-structures 18 篇（core.md 因超长仍在产出、随后补）、 postmortem 3 篇与 RFC 前门 README 配对；流水线 + 二遍校验产出。 生成文件 docs/rfc/INDEX.md（gen-rfc-index 产物）列入排除。中文侧 页内锚点统一指向英文侧锚名，满足配对门禁的链接目标一致规则。
34 lines
1.6 KiB
Markdown
34 lines
1.6 KiB
Markdown
# 作用域注册
|
|
|
|
[English](scope.md) | 中文
|
|
|
|
[scope 包](../../packages/core/scope)提供身份标识与载体词汇，使一个注册上下文同时表达「按 agent 可见」和「共享生命周期所有权」两层含义。它是一个库级原语，而非 Cordis 服务；[agent-scope 运行时设计 RFC](../rfc/implemented/architecture/2026-07-12-agent-scope-runtime-design.md#scope-routing-one-opaque-key-selects-one-layer) 拥有实现动机，包的 [README](../../packages/core/scope/README.md) 拥有可调用 API 与过滤语义。
|
|
|
|
源码：[`packages/core/scope/src/index.ts`](../../packages/core/scope/src/index.ts)。
|
|
|
|
## 身份标识与分发载体
|
|
|
|
`ScopeKey` 是一个不透明的对象标识。已交付的 agent loop 使用活跃的 `Agent` 对象作为自身的 key，但该原语从不检视该对象。
|
|
|
|
```ts type-equiv
|
|
type ScopeKey = object
|
|
```
|
|
|
|
`Scoped<T>` 是 `scopeTarget(base, key)` 返回的不透明路由接收者上的编译期品牌类型。经作用域过滤的事件声明要求以此载体作为其 `this` 类型，而真正的事件主体仍作为显式参数传递。
|
|
|
|
```ts type-equiv
|
|
type Scoped<T extends object> = object & { readonly [ScopedBrand]: T }
|
|
```
|
|
|
|
## 拥有所有权的注册上下文
|
|
|
|
`Scope` 将带标签的注册上下文与两个拆卸面配对。`rawDispose` 保留有序组合副作用所需的精确 Cordis disposer 标识；`dispose()` 是面向直接调用方和竞争调用方的公共共享静默边界。
|
|
|
|
```ts type-equiv
|
|
interface Scope {
|
|
ctx: Context
|
|
rawDispose: () => Promise<void> | void
|
|
dispose(): Promise<void>
|
|
}
|
|
```
|