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

「：文言：当拒者须拒，非徒可读。汉语：检查阶段契约的负例，避免把解析成功当作合法中间程序。：」
「须拒绝」乃化（化「有」而「有」）而「有」也。
「须拒绝」者会「事」而
  虑「已拒」者「尝试运行」授以「爻」于（会「无」而「事」于「元」；「阴」）于（会「错误」而「阳」）而
  若「已拒」则「元」否则「发生事故」于『应拒绝的中间产物被接受』也。
「单式」乃化「表达式」而「表达式树组」也。
「单式」者会「式」而「列」【『值』与「阴」与「式」】也。
「须拒绝」于（会「无」而「检查中间树组」于『擦除后形式』于（「单式」于（「绑定变量」于「一」）））。
「须拒绝」于（会「无」而「检查中间树组」于『擦除后形式』于（「单式」于（「自由变量」于『未绑定』）））。
「须拒绝」于（会「无」而「检查中间树组」于『擦除后形式』于（「单式」于（「式节点」于「内联虑」于「罄」）））。
「须拒绝」于（会「无」而「检查中间树组」于『擦除后形式』于（「单式」于（「式节点」于「待定节点」于「罄」）））。
「须拒绝」于（会「无」而
  虑「组」者「中间树组解析」于『闭包形式』于（「中间树组表示」于『擦除后形式』于「罄」）而「元」）。
「须拒绝」于（会「无」而
  虑「组」者「阶段树组反序列化」于『闭包形式』于（「阶段树组序列化」于『擦除后形式』于「罄」）而「元」）。
「检查中间树组」于『检查后对象』于（「单式」于（「绑定」于（「可有」于『值』）于（「绑定变量」于「一」）））。
「打印行」于『中间阶段检查测试通过』。

「：文言：长列两倒复初，空与独项亦然。汉语：线性反转保留空列、单项和五万项列表的顺序语义。：」
「长列」乃「列」于「整数」也。
「长列」者「整数范围」于「零」于「五零零零零」也。
「倒列」乃「列」于「整数」也。
「倒列」者「反转」授以「整数」于「长列」也。
若「列相等」授以「整数」于「等」于「长列」于（「反转」授以「整数」于「倒列」）则「元」否则「发生事故」授以「有」于『长列反转不保序』。
若「列相等」授以「整数」于「等」于（「罄」授以「整数」）于（「反转」授以「整数」于「罄」）则「元」否则「发生事故」授以「有」于『空列反转错误』。
若「列相等」授以「整数」于「等」于（「列」【「四二」】）于（「反转」授以「整数」于（「列」【「四二」】））则「元」否则「发生事故」授以「有」于『单项反转错误』。
「打印行」于『长列反转测试通过』。

「：文言：词与源异，拒之。汉语：防止词法 JSON 中被单独改写的令牌在源码导出时丢失。：」
「须拒绝」于（会「无」而「检查中间树组」于『词法形式』于（「列」【『源码』与「阴」与（「式节点」于（「字符串节点」于『「甲」』）于「罄」），『令牌』与「阴」与（「式节点」于「元组构造节点」于「罄」）】））。
「打印行」于『词法阶段一致性检查通过』。
