World 边界上的对象传递

语法

该条目描述跨 world 数据移动规则，不新增核心 surface syntax。

语义

跨 world 传递必须尊重：

• send
• 引用能力边界
• continuation 约束
• arena 生命周期边界

level-1 保留 world boundary 这一概念，但首发不开放完整的跨 world 数据传递能力。

并行编译要求 level-1 至少固定下面的 world 模型骨架：world 是并行执行、local mutation 与 capture legality 的隔离域。普通值可以跨 world 传递的前提是满足 send；Ref[T] 归属其创建 world；Atomic / unsafe shared handle 是显式跨 world 可共享能力。

当前规则应按保守模式理解：

• continuation 不允许跨 world
• Ref[T] 不允许跨 world
• Array[T] 若 T: send 则可跨 world，因为它没有 safe internal mutability
• Array[Ref[T]] 不允许跨 world
• Atomic capability 可跨 world，但只允许通过 atomic API 读写
• UnsafeRef[T] 作为低级能力可跨 world

Usage

def pass_handle(x: UnsafeRef[File]): () = {
	return ()
}

注释：level-1 不把 world 间对象传递开放成一般能力；UnsafeRef 是少数保留的低级跨界句柄形式。

边界

world 相关更完整的并发与调度语义留待后续层级扩展；但 Ref local、ordinary value immutable、Atomic explicit shared 这三条根规则不应在后续层级被反转。