寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈重复访问」之书。
「：文言：初访必检，异组异索不混，歧中之证不出其歧。汉语：验证重复访问证书的编号及保守范围；这是局部分析单元测试，运行时异常另由差分夹具验证。调用图封闭与数组头不可变是上层前提。：」
「术」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「术」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「读」乃化「整数」而化「整数」而化「正则原子」而「正则指令」也。
「读」者会「号」而会「组」而会「位」而「术」于「号」于『豫言_读取引用数组』于（「列」【「正则局部」于「组」，「位」】）也。
「写」乃化「整数」而化「整数」而化「正则原子」而「正则指令」也。
「写」者会「号」而会「组」而会「位」而「术」于「号」于『豫言_写入引用数组』于（「列」【「正则整数」于「七」，「位」，「正则局部」于「组」】）也。
「段」乃化（「列」于「正则指令」）而「正则区域」也。
「段」者会「诸令」而「正则段」于「诸令」于（「正则产出」于「正则单元」）也。
「歧」乃化（「列」于「正则指令」）而化（「列」于「正则指令」）而「正则指令」也。
「歧」者会「甲」而会「乙」而「正则如果」于「二零」于「正则通用值」于（「正则爻」于「阳」）于（「段」于「甲」）于（「段」于「乙」）也。
「验」乃化「字符串」而化（「列」于「正则指令」）而化（「列」于「整数」）而「有」也。
「验」者会「名」而会「诸令」而会「期」而
 虑「函」者（「正则函数」也『重复试』与「阴」与（「列」【「零」，「一」，「二」，「三」】）与（「段」于「诸令」）与「三二」）而
 虑「果」者「求栈重复访问」于「函」而
 若「且」于（「等于」于（「长度」授以「整数」于「果」）于（「长度」授以「整数」于「期」））于（「全部符合」授以「整数」于（会「号」而「存在吗」授以「整数」于（会「另」而「等于」于「号」于「另」）于「果」）于「期」）则「元」否则（「打印行」于「名」；（「发生事故」授以「有」于『重复访问证书错误』））也。
「索」者「正则局部」于「一」也。
「验」于『初访保留』于（「列」【「读」于「一零」于「零」于「索」】）于「罄」。
「验」于『读后读』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「索」】）于（「列」【「一一」】）。
「验」于『读后写』于（「列」【「读」于「一零」于「零」于「索」，「写」于「一一」于「零」于「索」】）于（「列」【「一一」】）。
「验」于『写后读』于（「列」【「写」于「一零」于「零」于「索」，「读」于「一一」于「零」于「索」】）于（「列」【「一一」】）。
「验」于『异组保留』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「二」于「索」】）于「罄」。
「验」于『异索保留』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于（「正则局部」于「三」）】）于「罄」。
「验」于『局部与常数有别』于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于（「正则整数」于「一」）】）于「罄」。
「验」于『相同负常数』于（「列」【「读」于「一零」于「零」于（「正则整数」于（「减」于「零」于「一」）），「读」于「一一」于「零」于（「正则整数」于（「减」于「零」于「一」））】）于（「列」【「一一」】）。
「验」于『不同常数保留』于（「列」【「读」于「一零」于「零」于（「正则整数」于「零」），「读」于「一一」于「零」于（「正则整数」于「一」）】）于「罄」。
「验」于『歧证不外流』于（「列」【「歧」于（「列」【「读」于「一零」于「零」于「索」】）于「罄」，「读」于「一一」于「零」于「索」】）于「罄」。
「验」于『两歧不共享』于（「列」【「歧」于（「列」【「读」于「一零」于「零」于「索」】）于（「列」【「读」于「一一」于「零」于「索」】）】）于「罄」。
「验」于『歧内可去重』于（「列」【「歧」于（「列」【「读」于「一零」于「零」于「索」，「读」于「一一」于「零」于「索」】）于（「列」【「读」于「一二」于「零」于「索」】）】）于（「列」【「一一」】）。
「验」于『父证仅续用于父』于（「列」【「读」于「一零」于「零」于「索」，「歧」于（「列」【「读」于「一一」于「零」于「索」】）于「罄」，「读」于「一二」于「零」于「索」】）于（「列」【「一二」】）。
「打印行」于『栈重复访问十三项通过』。
