docs(规格): 函数值 / Lambda / callable 设计规格（846 行·提案档·零实现）

[dslsdzc]

这是什么

docs/superpowers/specs/2026-09-23-fn-value-lambda-design.md（846 行）——函数值 / Lambda / callable 设计规格（提案档 · 零实现）。

来源：维护者四块设计输入（自动推导清单 · 语言表面 4 项 · 能推/不能推分类 · 对表示方案的裁决）逐字落成形式化展开 + 仓库锚定。

核心

语义统一 callable；CPU realization 暂用 (code, env) —— 维护者裁「甲 + 限定」：

• 语言/CIR 层：fn(T...) -> R 是统一 callable 类型，由「可调用实体 + 可选 capture environment」构成；不规定机器内存布局。
• 当前 CPU 后端：无 capture → {code, 0}；有 capture → {code, env}；允许后端在证明 env 不需要时消除第二字。
• fn.foo（typed callable value）与 @addr(foo)（raw machine address，仍是现有 int 语义）两者不能互相等价。
• 现有 sched_go(@addr(f), arg) 不反向决定函数值的类型模型。

自动推导（不新增用户标记）：Fn/FnMut/FnOnce 类能力 · closure environment/object · capture 集合与方式 · callable signature/capability。
不加入：currying · higher-kinded function abstraction · operator sections · 专门函数组合语法（partial application 视使用频率再定）。

四段施工

① 函数类型 ② fn.name ③ Lambda + 推导 ④ 间接调用 + 后端 —— 一份计划，分四段一次做完。

⚠ 待维护者裁定（4 条，档内已标出）

#	待裁
T-1	两字 {code, env} 在 IR 值层怎么承载（硬约束：不得写回 TYP_FN 行槽）
T-2	TYP_FN 槽分配（提案：照 TYP_TUPLE 先例 + 返回型在链首，与 sh_func_sig_term 一致）
T-10	flow 函数被当作 fn.counter 取用时，其类型身份是什么
T-11	flow fn name() 与 flow name() 的规范拼写

已由 team-lead 转述并获维护者确认的三件

1. capture 默认按引用（与现有 region/borrow 一致），环境放外层栈帧；逃逸由 region 分析判定，判不了就报错，不猜、不偷偷堆分配。
2. 函数类型 kind 取 TYP_* 表的空位 5。
3. 「无法推导」新诊断码，单独一类——它是「我们不知道，请你写」，不是类型错。

侦察读数（写手已在 develop@origin 复核）

T_FN 关键字已有（lexer.cr:72）· FunctionDecl 产生式已有 · TYP_* 表无函数类型 kind（0/1/2/3/4/7/8/9/10/11/12/13，5、6 空）· IR_CALL 是直接调用（ast.cr:558）· IR_CALL_PTR/CALL_INDIRECT/IR_INVOKE 全仓 0 · IR_FNADDR（ast.cr:601）· @addr(fn) 类型是 int（checker.cr:4189）· grammar core.ebnf 里无 FunctionType/FunctionRef/Lambda 产生式。

零行为

纯文档：新增 1 档，零代码、零行为、零构建面影响。