CHIBA
返回值不能引用 Callee 局部 Arena
语法
该条目描述 legality 规则，不新增语法。
语义
函数返回值不得保留对已经失效的 callee 局部 arena 数据的悬空引用。
边界
需要单独明确：
- 何时视为间接引用 callee arena
- caller region promotion 是否足以修复
CHIBA / DOCS / LEVEL-1 SPEC
返回值不能引用 Callee 局部 Arena
这里集中展示 CHIBA level-1 specification，覆盖 core language、control flow、memory、patterns、IR lowering 与 package system 等实现边界。
The docs surface keeps CHIBA level-1 specification pages browsable inside the site, with direct paths into language, control flow, memory, pattern, and lowering rules.