12.8 切片 6：FUNCTION 与 CALL，冻结调用约定。

- 调用约定（冻结进 isa 规格与 12.8 文档）：结果 r0、参数 r1..r7（最多 7 输入、函数内只读）、
  变量与临时全部从 r8 起；CALL/RET 时 VM 复制 r0..r7（12.9 实现）
- 调用点：实参求值到 r8+ 临时 → MOVE r(1+i) → CALL fn_id → MOVE rd, r0
- 函数名赋值 = 写 r0（结果）；写函数输入 → codegen error
- codegen_test：134 断言（用例 13 两函数 CALL 序列；既有用例帧基址迁移 r8 起），ctest 9/9

Doc/isa/指令与映像.md

@@ -47,6 +47,14 @@ CMake 目标：`isa`（`STATIC`），无依赖。公开头：`isa/include/isa/`
 | 寄存器 | 下标 0..255；每函数实际个数写在函数头 `nregs` |
 | 跳转 | 相对 offset，单位是**指令条数**，不是字节 |
 | `CALL` | 立即数 `fn_id`（u16），无函数指针 |
+
+### 调用约定（冻结，compiler 12.8 与 VM 12.9 共同遵守）
+
+- 结果寄存器 **r0**；参数寄存器 **r1..r7**（最多 7 个输入，按声明序）
+- 变量与表达式临时**全部从 r8 起**（调用约定区 r0..r7 不受用户数据占用）
+- `CALL`：VM 复制当前帧 r0..r7 到新帧 r0..r7
+- `RET`：VM 复制当前帧 r0..r7 回调用方帧 r0..r7（r0 = 结果；r1..r7 原样返回）
+- 函数输入在函数体内只读（compiler 拒绝写入）
 | 映像魔数 | `STSC`，版本 `1` |
 | 工程哈希 | 源文件路径排序后对内容做 FNV-1a 64（非密码学） |
 | I/O 绑定 | **不进映像**；编译期把 `var` 收成槽号，channel/bit 由 STCompiler 写进 sidecar（`.runtime.toml`），BytecodeExecutor 读 sidecar 采样 |