CHIBA
局部 def
语法
局部 def 指在 block 或函数体内部定义函数。
语义
它为局部抽象与递归辅助函数提供语法承载。
边界
需要单独明确：
- 局部
def是否形成 closure - 与 let-bound lambda 的职责边界
CHIBA / DOCS / LEVEL-1 SPEC
局部 `def`
这里集中展示 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.