寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈长度复用」之书。
「：文言：首检记长，省检非源，歧证不出其歧。汉语：逐槽验证长度来源，包括已省检查的排除、不同数组与分支隔离。加载时序另由生成产物及运行时差分验证，调用图封闭与数组头不可变是上层前提。：」
「术」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「术」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「读」乃化「整数」而化「整数」而化「正则原子」而「正则指令」也。
「读」者会「号」而会「组」而会「位」而「术」于「号」于『豫言_读取引用数组』于（「列」【「正则局部」于「组」，「位」】）也。
「写」乃化「整数」而化「整数」而化「正则原子」而「正则指令」也。
「写」者会「号」而会「组」而会「位」而「术」于「号」于『豫言_写入引用数组』于（「列」【「正则整数」于「七」，「位」，「正则局部」于「组」】）也。
「段」乃化（「列」于「正则指令」）而「正则区域」也。
「段」者会「诸令」而「正则段」于「诸令」于（「正则产出」于「正则单元」）也。
「歧」乃化（「列」于「正则指令」）而化（「列」于「正则指令」）而「正则指令」也。
「歧」者会「甲」而会「乙」而「正则如果」于「二零」于「正则通用值」于（「正则爻」于「阳」）于（「段」于「甲」）于（「段」于「乙」）也。
「验」乃化「字符串」而化（「列」于「正则指令」）而化（「列」于「整数」）而化（「列」于（「整数」合「整数」））而「有」也。
「验」者会「名」而会「诸令」而会「省号」而会「期」而
 虑「函」者（「正则函数」也『长度试』与「阴」与（「列」【「零」，「一」，「二」，「三」】）与（「段」于「诸令」）与「三二」）而
 虑「果」者「求栈长度复用」于「函」于（会「号」而「存在吗」授以「整数」于（会「另」而「等于」于「号」于「另」）于「省号」）而
 虑「准」者「新数组引用」授以「整数」于（「减」于「零」于「一」）于「三二」而
 虑「无」者「态射」授以（「整数」合「整数」）授以「有」于「期」于（会「项」而「写数组引用」授以「整数」于「准」于（「项」中「零」）于（「项」中「一」））而
 若「全部符合」授以「整数」于（会「号」而「等于」于（「读数组引用」授以「整数」于「果」于「号」）于（「读数组引用」授以「整数」于「准」于「号」））于（「整数范围」于「零」于「三二」）则「元」否则（「打印行」于「名」；（「发生事故」授以「有」于『长度来源证书错误』））也。
「索」者「正则局部」于「一」也。
「另索」者「正则局部」于「三」也。
「验」于『单检不设槽』于（「列」【「读」于「一零」于「零」于「索」】）于「罄」于「罄」。
「验」于『同组两检』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「另索」】）于「罄」于（「列」【「一零」与「一零」，「一一」与「一零」】）。
「验」于『异组不共享』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「二」于「另索」】）于「罄」于「罄」。
「验」于『省去首检则取次检』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「另索」，「读」于「一二」于「零」于（「正则整数」于「零」）】）于（「列」【「一零」】）于（「列」【「一一」与「一一」，「一二」与「一一」】）。
「验」于『省去中检不作来源』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「另索」，「读」于「一二」于「零」于（「正则整数」于「零」）】）于（「列」【「一一」】）于（「列」【「一零」与「一零」，「一二」与「一零」】）。
「验」于『只剩一检不设槽』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「另索」】）于（「列」【「一一」】）于「罄」。
「验」于『全省不设槽』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「另索」】）于（「列」【「一零」，「一一」】）于「罄」。
「验」于『两歧不共享』于（「列」【「歧」于（「列」【「读」于「一零」于「零」于「索」】）于（「列」【「读」于「一一」于「零」于「另索」】）】）于「罄」于「罄」。
「验」于『两歧各取首检』于（「列」【「歧」于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「另索」】）于（「列」【「读」于「一二」于「零」于「索」，「读」于「一三」于「零」于「另索」】）】）于「罄」于（「列」【「一零」与「一零」，「一一」与「一零」，「一二」与「一二」，「一三」与「一二」】）。
「验」于『歧证不外流』于（「列」【「歧」于（「列」【「读」于「一零」于「零」于「索」】）于「罄」，「读」于「一一」于「零」于「另索」】）于「罄」于「罄」。
「验」于『父段自行复用』于（「列」【「读」于「一零」于「零」于「索」，「歧」于（「列」【「读」于「一一」于「零」于「另索」】）于「罄」，「读」于「一二」于「零」于「另索」】）于「罄」于（「列」【「一零」与「一零」，「一二」与「一零」】）。
「验」于『读写共享长度』于（「列」【「读」于「一零」于「零」于「索」，「写」于「一一」于「零」于「另索」】）于「罄」于（「列」【「一零」与「一零」，「一一」与「一零」】）。
「验」于『负索来源仍在原指令』于（「列」【「读」于「一零」于「零」于（「正则整数」于（「减」于「零」于「一」）），「读」于「一一」于「零」于「另索」】）于「罄」于（「列」【「一零」与「一零」，「一一」与「一零」】）。
「打印行」于『栈长度来源十三项通过』。
