寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则验证」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈表示证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈覆盖证明」之书。
「：文言：全写可免，少写、异组、间读与未知皆不可。汉语：验证调用处数组、长度、起点和形参与实参位置的对应；不把填充函数的资格误当完整覆盖证据。：」
「局」乃化「整数」而「正则原子」也。
「局」者会「号」而「正则局部」于「号」也。
「零数」者「正则整数」于「零」也。
「术」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「术」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「段」乃化（「列」于「正则指令」）而化「正则原子」而「正则区域」也。
「段」者会「令」而会「果」而「正则段」于「令」于（「正则产出」于「果」）也。
「填函」者（「正则函数」也『填』与「阴」与（「列」【「零」，「一」，「二」】）与（「段」于（「列」【
 「术」于「三」于『豫言_整数相等』于（「列」【「局」于「二」，「局」于「一」】），
 「正则如果」于「四」于「正则通用值」于（「局」于「三」）于（「段」于「罄」于「正则单元」）于（「段」于（「列」【
  「术」于「五」于『豫言_写入引用数组』于（「列」【「局」于「二」，「局」于「二」，「局」于「零」】），
  「术」于「六」于『豫言_整数加』于（「列」【「局」于「二」，「正则整数」于「一」】），
  「正则运算」于「七」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『填』，「局」于「零」，「局」于「一」，「局」于「六」】）】）于（「局」于「七」））】）于（「局」于「四」））与「八」）也。
「签」者（「栈表示签」也（「列」【「四」，「一」，「一」】）与「三」）也。
「根函」乃化「正则原子」而化「正则原子」而化（「列」于「正则原子」）而化「爻」而「正则函数」也。
「根函」者会「长」而会「头」而会「实」而会「插」而
 虑「造」者「术」于「二」于『豫言_新建引用数组』于（「列」【「零数」，「长」】）而
 虑「调」者「正则运算」于「三」于「正则通用值」于「正则调用」于（「缀」于「头」于「实」）而
 『根』与「阴」与（「列」【「零」，「一」】）与（「段」于（若「插」则「列」【「造」，「术」于「四」于『豫言_读取引用数组』于（「列」【「局」于「二」，「零数」】），「调」】否则「列」【「造」，「调」】）于「正则单元」）与「五」也。
「次数」者「新引用」授以「整数」于「零」也。
「验」乃化「正则函数」而化「栈表示签」而化「正则函数」而化「爻」而「有」也。
「验」者会「子」而会「约」而会「根」而会「期」而
 虑「无」者「验证正则函数」于「子」而虑「无」者「验证正则函数」于「根」而
 虑「果」者「验栈首调覆盖」于（会「名」而若「串相等」于「名」于『填』则「可有」于（「约」与「子」）否则「可无」）于「根」而
 虑「无」者若「爻相等」于「果」于「期」则「元」否则「发生事故」授以「有」于『栈首调覆盖错误』而
 「写引用」于「次数」于（「加」于（「读引用」于「次数」）于「一」）也。
「验常」乃化「正则函数」而化「爻」而「有」也。
「验常」者会「根」而会「期」而「验」于「填函」于「签」于「根」于「期」也。
「头」者「正则函数引用」于『填』也。
「实」者（「列」于「正则原子」也（「列」【「局」于「二」，「局」于「一」，「零数」】））也。
「验常」于（「根函」于（「局」于「一」）于「头」于「实」于「阴」）于「阳」。
「验常」于（「根函」于（「局」于「一」）于「头」于「实」于「阳」）于「阴」。
「验常」于（「根函」于（「局」于「一」）于「头」于（「列」【「局」于「二」，「局」于「一」，「正则整数」于「一」】）于「阴」）于「阴」。
「验常」于（「根函」于（「局」于「一」）于「头」于（「列」【「局」于「二」，「局」于「零」，「零数」】）于「阴」）于「阴」。
「验常」于（「根函」于（「局」于「一」）于「头」于（「列」【「局」于「零」，「局」于「一」，「零数」】）于「阴」）于「阴」。
「验常」于（「根函」于（「局」于「一」）于（「正则函数引用」于『未知』）于「实」于「阴」）于「阴」。
「验常」于（「根函」于（「局」于「一」）于（「局」于「零」）于「实」于「阴」）于「阴」。
「验常」于（「根函」于（「正则整数」于「七」）于「头」于（「列」【「局」于「二」，「正则整数」于「七」，「零数」】）于「阴」）于「阳」。
「验常」于（「根函」于「零数」于「头」于（「列」【「局」于「二」，「零数」，「零数」】）于「阴」）于「阳」。
「验常」于（「根函」于（「正则整数」于「七」）于「头」于（「列」【「局」于「二」，「正则整数」于「六」，「零数」】）于「阴」）于「阴」。
「验常」于（「根函」于（「局」于「一」）于「头」于（「列」【「局」于「二」，「局」于「一」】）于「阴」）于「阴」。
「打印行」于（『栈首调覆盖通过：』附（「整数表示」于（「读引用」于「次数」）））。
