寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编索引证明」之书。
「：文言：验其初不省，复乃省，支路不相借。汉语：覆盖首次访问、重复访问、不同索引、兄弟分支和分支合流，防止未经支配的检查被省略。：」
「读」乃化「整数」而化「整数」而「正则指令」也。
「读」者会「号」而会「位」而「正则运算」于「号」于「正则通用值」于（「正则原语」于『豫言_读取引用数组』）于（「列」【「正则局部」于「零」，「正则局部」于「位」】）也。
「段」乃化（「列」于「正则指令」）而「正则区域」也。
「段」者会「令」而「正则段」于「令」于（「正则产出」于（「正则整数」于「零」））也。
「验」乃化「整数」而化「爻」而「有」也。
「验」者会「号」而会「期」而若「等于」于（若「读数组引用」授以「爻」于（「读引用」于「重复索引表」）于「号」则「一」否则「零」）于（若「期」则「一」否则「零」）则「元」否则「发生事故」授以「有」于『索引证明失败』也。
「函」乃「正则函数」也。
「函」者『索引』与「阴」与（「列」【「零」，「一」，「二」】）与（「段」于（「列」【
 「读」于「三」于「一」，「读」于「四」于「一」，「读」于「五」于「二」，
 「正则如果」于「一二」于「正则通用值」于（「正则爻」于「阳」）于（「段」于（「列」【「读」于「六」于「一」，「读」于「七」于「一」】））于（「段」于（「列」【「读」于「八」于「一」，「读」于「九」于「一」】）），
 「读」于（「加」于「九」于「一」）于「一」，「读」于「一一」于「一」】））与「一六」也。
「证明重复索引」于「函」。
「验」于「三」于「阴」。「验」于「四」于「阳」。「验」于「五」于「阴」。
「验」于「六」于「阴」。「验」于「七」于「阳」。「验」于「八」于「阴」。「验」于「九」于「阳」。
「验」于（「加」于「九」于「一」）于「阴」。「验」于「一一」于「阳」。
「打印行」于『索引证明通过』。
