基线与实现依据
此篇记规范所据，供审阅维护。正文须足述算法与接口；源码可溯，不代其则。
据一：基线
所定提交 4cdeca11600fed16338793a494b6eecaae94485a。语言之义、验类之界、目标 ABI 各别；实现可异，而二模块相施必守同目标之值、调用、回收之约。
ABI 同，不须优化器、临名、机器字节悉同；须使受者不辨作者，仍可读值、施术、受返，历异常与迁堆而无失。
据二：所据
| 所述 | 源码 | 所核 |
|---|---|---|
| 词法 | 词法解析 | 状态、空白、注释、转义 |
| 数 | 整数小数解析 | 逐位、分隔、原小数文 |
| 结合 | 文言符集 | 六十八关系与后备次序 |
| 声明 | 抽象语法分析 | 配对、递归、自由名 |
| 名称 | 名称解析 | 诸次序、后观、默认导入所展多文名之投影 |
| 成类 | 类型类型检查 | 形状与应用之限 |
| 双向检查 | 类型检查工具、对象检查 | 合成与检查、错误 |
| 隐参 | 隐参合成 | 预读、期望、足数 |
| 名义等 | 结构比较 | 文件及名定身份，非运行号 |
| 调用降级 | 隐参擦除 | 源足数而机逐施 |
| 闭包 | 闭包转换 | self、代码、捕获 |
| 递归 | 递归转换 | 单槽自指之次 |
| 符号 | 过程工具 | 身份转义与名称 |
| WasmGC | 统一网页汇编、运行时 | 引用、逐参、表号、动态退出 |
据三：读 ABI 之例
只以文述，不另造程序。甲为二参数源函数之闭包：源 甲 于 a 于 b 先验足数；机取甲之代码项，以（甲，a）施之，得中间闭包乙；再取乙之代码项，以（乙，b）施之，乃得终果。
源拒偏应用，机用中间闭包，不相悖也。一为接受之则，一为 ABI。若易甲为一次受两参而不易公共之名，旧者不能用之。
据四：文档之完备
每句形有构树与拒绝，每核心式有类型与求值，每跨模块接口有位、宽、参数次序、寿命及双方之责。缺陷兼记事实与保证之界。
审其尚须猜者：验类与运行参组可混乎，源路与符号有漏乎，GC 可迁手持之引用乎，内建之声与宿主导入守实之原语与边界之签乎。双语同条件，不省限制而成异约。