寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编初始化证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编虚组消费」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编虚组调用链」之书。
「：文言：读可取，写与外传不可取；别名须于调用处复验。汉语：消费者的只读证明与分配点的新鲜性、参数绑定共同验证；不能把新数组传入两个参数而仍假设其余参数无别名。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『虚组调用链证明失败』也。
「造读函」乃化「字符串」而化（「列」于「正则指令」）而化「正则原子」而「正则函数」也。
「造读函」者会「名」而会「令」而会「果」而「名」与「阴」与（「列」【「零」，「一」】）与（「正则段」于「令」于（「正则产出」于「果」））与「八」也。
「读令」乃「正则指令」也。
「读令」者「正则运算」于「二」于「正则通用值」于（「正则原语」于『豫言_读取引用数组』）于（「列」【「正则局部」于「零」，「正则局部」于「一」】）也。
「读函」者「造读函」于『读』于（「列」【「读令」】）于（「正则局部」于「二」）也。
「写函」者「造读函」于『写』于（「列」【「正则运算」于「二」于「正则单元值」于（「正则原语」于『豫言_写入引用数组』）于（「列」【「正则整数」于「一」，「正则局部」于「一」，「正则局部」于「零」】）】）于「正则单元」也。
「返别参」者「造读函」于『返别参』于「罄」于（「正则局部」于「一」）也。
「验」于（「验虚组只读」于「读函」于「零」）。
「验」于（「非」于（「验虚组只读」于「写函」于「零」））。
「验」于（「非」于（「验虚组只读」于（「造读函」于『返组』于「罄」于（「正则局部」于「零」））于「零」））。
「验」于（「验虚组只读」于「返别参」于「零」）。
「验」于（「非」于（「验虚组只读」于（「造读函」于『外传』于（「列」【「正则运算」于「二」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『外』，「正则局部」于「零」】）】）于（「正则局部」于「二」））于「零」））。
「验」于（「非」于（「验虚组只读」于（「造读函」于『捕获』于（「列」【「正则运算」于「二」于「正则对象值」于「正则造元组」于（「列」【「正则局部」于「零」】）】）于（「正则局部」于「二」））于「零」））。
「递函」乃化「正则原子」而化「正则原子」而「正则函数」也。
「递函」者会「首」而会「次」而「造读函」于『递』于（「列」【「正则运算」于「二」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『递』，「首」，「次」】）】）于（「正则局部」于「二」）也。
「验」于（「验虚组只读」于（「递函」于（「正则局部」于「零」）于（「正则局部」于「一」））于「零」）。
「验」于（「非」于（「验虚组只读」于（「递函」于（「正则局部」于「零」）于（「正则局部」于「零」））于「零」））。
「验」于（「非」于（「验虚组只读」于（「递函」于（「正则局部」于「一」）于（「正则局部」于「零」））于「零」））。
「填函」乃「正则函数」也。
「填函」者『填』与「阴」与（「列」【「零」，「一」】）与（「正则段」于（「列」【
 「正则运算」于「二」于「正则爻值」于（「正则原语」于『豫言_整数大于』）于（「列」【「正则局部」于「一」，「正则整数」于「零」】），
 「正则如果」于「七」于「正则通用值」于（「正则局部」于「二」）于（「正则段」于（「列」【
  「正则运算」于「三」于「正则整数值」于（「正则原语」于『豫言_整数减』）于（「列」【「正则局部」于「一」，「正则整数」于「一」】），
  「正则运算」于「四」于「正则单元值」于（「正则原语」于『豫言_写入引用数组』）于（「列」【「正则局部」于「一」，「正则局部」于「三」，「正则局部」于「零」】），
  「正则运算」于「六」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『填』，「正则局部」于「零」，「正则局部」于「三」】）】）于（「正则产出」于（「正则局部」于「六」）））于
  （「正则段」于「罄」于（「正则产出」于「正则单元」））】）于（「正则产出」于（「正则局部」于「七」）））与「八」也。
「诸函」乃「正则模块」也。
「诸函」者「列」【「填函」，「读函」，「写函」，「返别参」】也。
「造主」乃化「正则原子」而化「字符串」而化（「列」于「正则原子」）而化「正则原子」而「正则函数」也。
「造主」者会「填长」而会「受名」而会「受参」而会「果」而『主』与「阴」与（「列」【「零」】）与（「正则段」于（「列」【
 「正则运算」于「一」于「正则对象值」于（「正则原语」于『豫言_新建引用数组』）于（「列」【「正则整数」于「零」，「正则局部」于「零」】），
 「正则运算」于「二」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『填』，「正则局部」于「一」，「填长」】），
 「正则运算」于「三」于「正则通用值」于「正则调用」于（「缀」于（「正则函数引用」于「受名」）于「受参」）】）于（「正则产出」于「果」））与「四」也。
「读参」乃「列」于「正则原子」也。
「读参」者「列」【「正则局部」于「一」，「正则整数」于「零」】也。
「正常主」者「造主」于（「正则局部」于「零」）于『读』于「读参」于（「正则局部」于「三」）也。
鉴（「验虚组调用链」于「诸函」于「正常主」）而有（「可有」于「证」）则（
 「验」于（「等于」于（「证」中「一」）于「一」）；「验」于（「等于」于（「证」中「五」）于「零」）；
 「验」于（「等于」于（「虚组值代入」于（「证」中「六」）于「三」）于「三」））
 或有「可无」则「发生事故」授以「有」于『封闭调用链未获证明』。
「拒链」乃化「正则函数」而「有」也。
「拒链」者会「函」而鉴（「验虚组调用链」于「诸函」于「函」）而有「可无」则「元」或有「其他」则「发生事故」授以「有」于『不安全调用链误获证明』也。
「拒链」于（「造主」于（「正则整数」于「零」）于『读』于「读参」于（「正则局部」于「三」））。
「拒链」于（「造主」于（「正则局部」于「零」）于『写』于「读参」于（「正则局部」于「三」））。
「拒链」于（「造主」于（「正则局部」于「零」）于『外部』于「读参」于（「正则局部」于「三」））。
「拒链」于（「造主」于（「正则局部」于「零」）于『读』于「读参」于（「正则局部」于「一」））。
「拒链」于（「造主」于（「正则局部」于「零」）于『返别参』于（「列」【「正则局部」于「一」，「正则局部」于「一」】）于（「正则局部」于「三」））。
「拒链」于（「造主」于（「正则局部」于「零」）于『读』于（「列」【「正则局部」于「一」，「正则局部」于「二」】）于（「正则局部」于「三」））。
「打印行」于『虚组调用链证明通过』。
