寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「中间语言」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「癸象工具」之「总集」之书。

「：文言：重读须复其形，名与注亦同。汉语：检查绑定遮蔽、匿名绑定、自由变量、顺序、公开性、转义及前端元数据的精确往返。：」
「检查往返」乃化「表达式树组」而「有」也。
「检查往返」者会「组」而
  虑「文」者「中间树组表示」于『测试』于「组」而
  虑「后组」者「中间树组解析」于『测试』于「文」而
  虑「前象」者「癸象表示」于（「表达式树组序列化」于「组」）而
  虑「后象」者「癸象表示」于（「表达式树组序列化」于「后组」）而
  若「串相等」于「前象」于「后象」则「元」否则「发生事故」于（『中间文本往返失败：』附「文」）也。

「特殊串」乃「字符串」也。
「特殊串」者『前』附『「』附『：』附『「：』：」』附『「：换行：」』附『「：制表：」』附（「字节转字符串」于「一三」）附『\"尾』也。
「绑定式」乃「表达式」也。
「绑定式」者「绑定」于（「可有」于『同名』）于（「绑定」于（「可有」于『同名』）于（「绑定」于「可无」于
  （「式节点」于「元组构造节点」于（「列」【「绑定变量」于「零」，「绑定变量」于「二」，「自由变量」于『同名』】））））也。
「范围」乃「源码范围」也。
「范围」者『源。豫』与「零」与「一」与「二」与「三」也。
「节点们」乃「列」于「节点名称」也。
「节点们」者「列」【
  「源码范围标注节点」于「范围」，「源码绑定范围标注节点」于「范围」，
  「带注释节点」于（「列」【「特殊串」】）于（「列」【『后』】），「顶层注释节点」于「罄」于（「列」【「特殊串」】），
  「词法注释节点」于「特殊串」于「后置注释」，「具体字符节点」于『。』，
  「元组解构节点等待元组值」于「三」，「拉姆达抽象」于（「尾多参数形」于「三」），
  「文件定义引用节点」于『/甲/乙。豫』于『同名』于「二」，「函数调用续延」于『续甲』，
  「局部指针更新节点」于『局甲』，
  「整数节点」于（「减」于「零」于「四二」），
  「小数节点」于（「小数操作」之「理解小数」于『0.12345678901234567』）于（『0』与『10000000000000001』）
】也。
「检查往返」于「罄」。
「检查往返」于（「列」【『遮蔽』与「阳」与「绑定式」，『字符串』与「阴」与（「式节点」于（「字符串节点」于「特殊串」）于「罄」）】）。
「检查往返」于（「态射」授以「节点名称」授以（「字符串」合「爻」合「表达式」）于「节点们」于（会「名」而『节点』与「阴」与（「式节点」于「名」于（「列」【「绑定式」】））））。
「检查往返」于（「列」【『词法』与「阴」与（「式节点」于「元组构造节点」于（「词法解析顶层」于『「甲」者会「乙」而「乙」也。』））】）。
「打印行」于『中间语言往返测试通过』。

「：文言：源码之形可读，手书亦可重入。汉语：验证自然函数及文件引用扩展，并直接解析手写阶段源码。：」
「源码样例」乃「表达式树组」也。
「源码样例」者「列」【『恒等』与「阳」与（「式节点」于（「拉姆达抽象」于「显式」）于（「列」【「绑定」于（「可有」于『参数』）于（「绑定变量」于「一」）】）），『引用』与「阴」与（「式节点」于（「文件定义引用节点」于『文件。豫』于『参数』于「二」）于「罄」）】也。
「检查往返」于「源码样例」。
「源码文」乃「字符串」也。
「源码文」者「中间树组表示」于『测试』于「源码样例」也。
若「且」于（「是子字符串吗」于『（会「参数」而 「参数」）』于「源码文」）于（「是子字符串吗」于『「《《文件定义引用》》」【』于「源码文」）则「打印行」于『自然源码与扩展列测试通过』否则「发生事故」授以「有」于「源码文」。
「打印行」于「源码文」。

「：文言：手书之文亦可入，非独印本可回。汉语：独立手写源码必须解析为预期绑定结构，避免只验证打印器自身的约定。：」
「手写源码」乃「字符串」也。
「手写源码」者『（「《《阶段源码》》」【『二「：』：」，『测试「：』：」，（「《《串列》》」【『阴「：』：」】），（「《《串列》》」【『值「：』：」】）】）。
「手写」者（会「甲」而（虑「乙」者「甲」而（「乙」于（『值「：』：」））））也。』也。
「手写后」乃「表达式树组」也。
「手写后」者「中间树组解析」于『测试』于「手写源码」也。
鉴「手写后」而
  有（「列」【『手写』与「公开性」与（「式节点」于（「拉姆达抽象」于「显式」）于（「列」【「绑定」于（「可有」于『甲』）于（「式节点」于「内联虑」于（「列」【「绑定变量」于「一」，「绑定」于（「可有」于『乙』）于「调用」】））】））】）则「打印行」于『手写源码作用域测试通过』
  或有「其他」则「发生事故」授以「有」于『手写源码的绑定结构不符』。

「：文言：词法之文即原书，空白与注皆不失。汉语：词法文本保留原始源码，去掉阶段标头后重词法，连空文件和原文已有同名注释也必须精确往返。：」
「检查词法往返」乃化「字符串」而「有」也。
「检查词法往返」者会「源码」而
  虑「前」者「词法源码恢复」于「源码」而
  虑「文」者「中间树组表示」于『词法形式』于「前」而
  虑「后」者「中间树组解析」于『词法形式』于「文」而
  若「串相等」于（「癸象表示」于（「阶段树组序列化」于『词法形式』于「前」））于（「癸象表示」于（「阶段树组序列化」于『词法形式』于「后」））则「元」否则「发生事故」于『词法源码往返失败』也。
「检查词法往返」于『』。
「检查词法往返」于『「甲」者会「乙」而「乙」也。』。
「检查词法往返」于（「词法源码标头」附『「：换行：」「甲」者会「乙」而「乙」也。』）。
「打印行」于『原始词法源码往返通过』。
