寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈表示证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈填充证明」之书。
「：文言：可并者须证，非线性、事故之术与变参皆拒。汉语：覆盖常系数填充、非线性或运行时系数、除法、读取、步长、索引和不变参数条件；这里只验证证书，向量生成另做运行时差分。：」
「局」乃化「整数」而「正则原子」也。
「局」者会「号」而「正则局部」于「号」也。
「术」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「术」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「段」乃化（「列」于「正则指令」）而化「正则原子」而「正则区域」也。
「段」者会「诸令」而会「果」而「正则段」于「诸令」于（「正则产出」于「果」）也。
「造填」乃化「字符串」而化「正则原子」而化「正则原子」而化「整数」而化「正则原子」而化「爻」而「正则函数」也。
「造填」者会「名」而会「甲」而会「乙」而会「步」而会「索」而会「变」而
 虑「体」者「段」于（「列」【
  「术」于「六」于「名」于（「列」【「甲」，「乙」】），
  「术」于「七」于『豫言_写入引用数组』于（「列」【「局」于「六」，「索」，「局」于「零」】），
  「术」于「八」于『豫言_整数加』于（「列」【「局」于「二」，「正则整数」于「步」】），
  「正则运算」于「九」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『填试』，「局」于「零」，「局」于「一」，「局」于「八」，若「变」则「局」于「六」否则「局」于「三」】）】）于（「局」于「九」）而
 『填试』与「阴」与（「列」【「零」，「一」，「二」，「三」】）与（「段」于（「列」【
  「术」于「四」于『豫言_整数相等』于（「列」【「局」于「二」，「局」于「一」】），
  「正则如果」于「五」于「正则通用值」于（「局」于「四」）于（「段」于「罄」于「正则单元」）于「体」】）于（「局」于「五」））与「一零」也。
「签」者（「栈表示签」也（「列」【「四」，「一」，「一」，「一」】）与「三」）也。
「验」乃化「字符串」而化「正则函数」而化（「或可有」于「整数」）而「有」也。
「验」者会「名」而会「函」而会「期」而
 虑「果」者「验栈填充」于「签」于「函」而
 虑「合」者鉴「期」而有「可无」则（鉴「果」而有「可无」则「阳」或有「其他」则「阴」）或有（「可有」于「率」）则（鉴「果」而
  有（「可有」于「证」）则「且」于（「且」于（「等于」于（「证」中「零」）于「零」）于（「等于」于（「证」中「一」）于「一」））于（「且」于（「等于」于（「证」中「二」）于「二」）于（「等于」于（「证」中「四」）于「率」））
  或有「可无」则「阴」）而
 若「合」则「元」否则（「打印行」于「名」；（「发生事故」授以「有」于『填充证明错误』））也。
「正」乃化「字符串」而化「正则原子」而化「正则原子」而「正则函数」也。
「正」者会「名」而会「甲」而会「乙」而「造填」于「名」于「甲」于「乙」于「一」于（「局」于「二」）于「阴」也。
「验」于『下降填充』于（「正」于『豫言_整数减』于（「局」于「一」）于（「局」于「二」））于（「可有」于（「减」于「零」于「一」））。
「验」于『上升填充』于（「正」于『豫言_整数加』于（「局」于「二」）于（「局」于「三」））于（「可有」于「一」）。
「验」于『双倍扫描』于（「正」于『豫言_整数加』于（「局」于「二」）于（「局」于「二」））于（「可有」于「二」）。
「验」于『正系数边界』于（「正」于『豫言_整数乘』于（「局」于「二」）于（「正则整数」于「一六」））于（「可有」于「一六」）。
「验」于『负系数边界』于（「正」于『豫言_整数乘』于（「正则整数」于（「减」于「零」于「一六」））于（「局」于「二」））于（「可有」于（「减」于「零」于「一六」））。
「验」于『不变参数相加』于（「正」于『豫言_整数加』于（「局」于「三」）于（「局」于「三」））于（「可有」于「零」）。
「验」于『不变参数相乘』于（「正」于『豫言_整数乘』于（「局」于「三」）于（「局」于「三」））于（「可有」于「零」）。
「验」于『拒绝运行时系数』于（「正」于『豫言_整数乘』于（「局」于「二」）于（「局」于「三」））于「可无」。
「验」于『拒绝扫描平方』于（「正」于『豫言_整数乘』于（「局」于「二」）于（「局」于「二」））于「可无」。
「验」于『拒绝过大系数』于（「正」于『豫言_整数乘』于（「局」于「二」）于（「正则整数」于「一七」））于「可无」。
「验」于『拒绝除法』于（「正」于『豫言_整数除』于（「局」于「一」）于（「局」于「二」））于「可无」。
「验」于『拒绝数组读取』于（「正」于『豫言_读取引用数组』于（「局」于「零」）于（「局」于「二」））于「可无」。
「验」于『拒绝两步递进』于（「造填」于『豫言_整数减』于（「局」于「一」）于（「局」于「二」）于「二」于（「局」于「二」）于「阴」）于「可无」。
「验」于『拒绝其他写索』于（「造填」于『豫言_整数减』于（「局」于「一」）于（「局」于「二」）于「一」于（「局」于「三」）于「阴」）于「可无」。
「验」于『拒绝改变值参数』于（「造填」于『豫言_整数减』于（「局」于「一」）于（「局」于「二」）于「一」于（「局」于「二」）于「阳」）于「可无」。
「打印行」于『栈填充十五项通过』。
「验」于『拒绝非循环空体』于（『填试』与「阴」与（「列」【「零」，「一」，「二」，「三」】）与（「段」于「罄」于「正则单元」）与「四」）于「可无」。
「打印行」于『栈填充拒绝非循环通过』。
