寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈表示证明」之书。
「：文言：整、爻、元、址各有位，不得相冒。汉语：覆盖整数、布尔、单元与数组表示的传播、调用、分支以及非法混用，验证失败时没有证书。：」
「造」乃化（「列」于「正则指令」）而化「正则原子」而「正则函数」也。
「造」者会「令」而会「果」而『试』与「阴」与（「列」【「零」，「一」】）与（「正则段」于「令」于（「正则产出」于「果」））与「八」也。
「术」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「术」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「查」乃化「字符串」而「栈表示签」也。
「查」者会「名」而若「串相等」于「名」于『读』则（「列」【「四」，「一」】）与「一」否则（「罄」授以「整数」）与「零」也。
「验」乃化「字符串」而化「栈表示签」而化「整数」而化「正则函数」而化「爻」而「有」也。
「验」者会「名」而会「签」而会「根」而会「函」而会「期」而
 虑「果」者鉴（「验栈表示」于「查」于「签」于「根」于「函」）而有（「可有」于「表」）则「阳」或有「可无」则「阴」而
 若「爻相等」于「果」于「期」则「元」否则（「打印行」于「名」；（「发生事故」授以「有」于『栈表示测试失败』））也。
「组签」者（「栈表示签」也（（「列」【「四」，「一」】）与「一」））也。
「写签」者（「栈表示签」也（（「列」【「四」，「一」】）与「三」））也。
「根签」者（「栈表示签」也（（「列」【「一」，「一」】）与「一」））也。
「负一」者「减」于「零」于「一」也。
「数组」者「正则局部」于「零」也。
「索引」者「正则局部」于「一」也。
「读取」者「术」于「二」于『豫言_读取引用数组』于（「列」【「数组」，「索引」】）也。
「写入」者「术」于「二」于『豫言_写入引用数组』于（「列」【「正则整数」于「七」，「索引」，「数组」】）也。
「验」于『读取』于「组签」于「负一」于（「造」于（「列」【「读取」】）于（「正则局部」于「二」））于「阳」。
「验」于『写入为单元』于「写签」于「负一」于（「造」于（「列」【「写入」】）于（「正则局部」于「二」））于「阳」。
「验」于『单元不可冒整数』于「组签」于「负一」于（「造」于（「列」【「写入」】）于（「正则局部」于「二」））于「阴」。
「验」于『引用不得写入数值栈』于「写签」于「负一」于（「造」于（「列」【「术」于「二」于『豫言_写入引用数组』于（「列」【「数组」，「索引」，「数组」】）】）于（「正则局部」于「二」））于「阴」。
「验」于『数组不能当索引』于「组签」于「负一」于（「造」于（「列」【「术」于「二」于『豫言_读取引用数组』于（「列」【「数组」，「数组」】）】）于（「正则局部」于「二」））于「阴」。
「验」于『数组不能返回整数入口』于「组签」于「负一」于（「造」于「罄」于「数组」）于「阴」。
「比较」者「术」于「二」于『豫言_整数大于』于（「列」【「索引」，「正则整数」于「零」】）也。
「分支」乃化「正则原子」而化「正则原子」而「正则指令」也。
「分支」者会「条件」而会「假值」而「正则如果」于「三」于「正则通用值」于「条件」于（「正则段」于「罄」于（「正则产出」于（「正则整数」于「一」）））于（「正则段」于「罄」于（「正则产出」于「假值」））也。
「验」于『布尔分支』于「组签」于「负一」于（「造」于（「列」【「比较」，「分支」于（「正则局部」于「二」）于（「正则整数」于「零」）】）于（「正则局部」于「三」））于「阳」。
「验」于『分支不同表示』于「组签」于「负一」于（「造」于（「列」【「比较」，「分支」于（「正则局部」于「二」）于「正则单元」】）于（「正则局部」于「三」））于「阴」。
「验」于『整数不能假定为布尔』于「组签」于「负一」于（「造」于（「列」【「分支」于「索引」于（「正则整数」于「零」）】）于（「正则局部」于「三」））于「阴」。
「验」于『布尔不能参与整数加法』于「组签」于「负一」于（「造」于（「列」【「比较」，「术」于「三」于『豫言_整数加』于（「列」【「正则局部」于「二」，「索引」】）】）于（「正则局部」于「三」））于「阴」。
「调用」乃化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「调用」者会「名」而会「参」而「正则运算」于「二」于「正则通用值」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」）也。
「验」于『静态调用』于「组签」于「负一」于（「造」于（「列」【「调用」于『读』于（「列」【「数组」，「索引」】）】）于（「正则局部」于「二」））于「阳」。
「验」于『调用缺参』于「组签」于「负一」于（「造」于（「列」【「调用」于『读』于（「列」【「数组」】）】）于（「正则局部」于「二」））于「阴」。
「验」于『调用错类』于「组签」于「负一」于（「造」于（「列」【「调用」于『读』于（「列」【「索引」，「数组」】）】）于（「正则局部」于「二」））于「阴」。
「验」于『未知调用』于「组签」于「负一」于（「造」于（「列」【「调用」于『未知』于（「列」【「数组」，「索引」】）】）于（「正则局部」于「二」））于「阴」。
「创建」者「术」于「二」于『豫言_新建引用数组』于（「列」【「正则整数」于「零」，「索引」】）也。
「根体」者「造」于（「列」【「创建」，「术」于「三」于『豫言_读取引用数组』于（「列」【「正则局部」于「二」，「正则整数」于「零」】）】）于（「正则局部」于「三」）也。
「验」于『指定根创建』于「根签」于「二」于「根体」于「阳」。
「验」于『拒绝子创建』于「根签」于「负一」于「根体」于「阴」。
「验」于『拒绝错误根』于「根签」于「三」于「根体」于「阴」。
「验」于『入口签名缺参』于（（「列」【「一」】）与「一」）于「二」于「根体」于「阴」。
「验」于『非数值初值』于「根签」于「二」于（「造」于（「列」【「术」于「二」于『豫言_新建引用数组』于（「列」【「正则字符串」于『不可放入栈』，「索引」】）】）于「索引」）于「阴」。
鉴（「验栈表示」于「查」于「组签」于「负一」于（「造」于（「列」【「比较」】）于（「正则局部」于「二」）））而有（「可有」于「表」）则「发生事故」授以「有」于『错误返回表示被接受』或有「可无」则「元」。
「打印行」于『栈表示二十项通过』。
