寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则验证」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编进步证明」之书。
「：文言：守界未足，续行须有定步。汉语：测试恒定前进、改名重编号及不成立的继续路径，不把范围不变当作终止性证明。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『进步证明失败』也。
「构选」即「字符串」合「整数」合「整数」合「整数」合「整数」也。
「造函」乃化「构选」而「正则函数」也。
「造函」者会「选」而
 虑「名」者「选」中「零」而虑「基」者「选」中「一」而虑「模」者「选」中「四」而
 虑「号」者（化「整数」而「整数」也会「位」而「加」于「基」于「位」）而
 虑「局」者（化「整数」而「正则原子」也会「位」而「正则局部」于（「号」于「位」））而
 虑「算」者（化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也会「位」而会「术」而会「参」而「正则运算」于（「号」于「位」）于「正则通用值」于（「正则原语」于「术」）于「参」）而
 虑「续」者「正则运算」于（「号」于「一零」）于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于（若「等于」于「模」于「一」则『未知』否则「名」），「局」于「零」，「局」于「一」，「局」于「二」，
  若「等于」于「模」于「三」则「正则字符串」于『换类』否则若「等于」于「模」于「四」则「局」于「九」否则「局」于「八」，
  若「等于」于「模」于「四」则「局」于「八」否则「局」于「九」】）而
 虑「诸令」者（「列」于「正则指令」也（「列」【「算」于「七」于『豫言_读取引用数组』于（「列」【「局」于「零」，「局」于「三」】），
  「算」于「八」于『豫言_整数加』于（「列」【「局」于「三」，「正则整数」于（「选」中「二」）】），
  「算」于「九」于『豫言_整数加』于（「列」【「局」于「四」，「正则整数」于（「选」中「三」）】），「续」】））而
 虑「递段」者「正则段」于（若「等于」于「模」于「二」则「附加」授以「正则指令」于「诸令」于（「列」【「算」于「一一」于『豫言_整数加』于（「列」【「局」于「一零」，「正则整数」于「一」】）】）否则「诸令」）于（「正则产出」于（「局」于（若「等于」于「模」于「二」则「一一」否则「一零」）））而
 「名」与「阴」与（「态射」授以「整数」授以「整数」于（「整数范围」于「零」于「五」）于「号」）与
 （「正则段」于（「列」【「算」于「五」于（若「等于」于「模」于「五」则『豫言_整数大于』否则『豫言_整数相等』）于（「列」【「局」于「三」，「局」于「一」】），
  「正则如果」于（「号」于「六」）于「正则通用值」于（「局」于「五」）于（「正则段」于「罄」于（「正则产出」于（「局」于「四」）））于「递段」】）于（「正则产出」于（「局」于「六」）））与（「加」于「基」于「三二」）也。
「检查」乃化「构选」而化「爻」而「有」也。
「检查」者会「选」而会「应」而
 虑「函」者「造函」于「选」而虑「无」者「验证正则函数」于「函」而
 虑「基」者「选」中「一」而
 虑「真」者鉴（「验双步形」于「函」于（「加」于「基」于「一」）于（「加」于「基」于「三」））而有（「可有」于「证」）则「等于」于（「证」中「零」）于（「加」于「基」于「五」）或有「可无」则「阴」而
 「验」于（「爻相等」于「真」于「应」）也。
「检查」于（『定步』与「零」与「一」与「一」与「零」）于「阳」。
「检查」于（『移名换号』与「一三」与「一」与「零」与「零」）于「阳」。
「检查」于（『原地不进』与「零」与「零」与「零」与「零」）于「阴」。
「检查」于（『两步一递』与「零」与「二」与「一」与「零」）于「阴」。
「检查」于（『倒退』与「零」与（「减」于「零」于「一」）与「零」与「零」）于「阴」。
「检查」于（『全宽步长』与「零」与「九二二三三七二零三六八五四七七五八零七」与「一」与「零」）于「阴」。
「检查」于（『未知调用』与「零」与「一」与「一」与「一」）于「阴」。
「检查」于（『非尾调用』与「零」与「一」与「一」与「二」）于「阴」。
「检查」于（『递中换类』与「零」与「一」与「一」与「三」）于「阴」。
「检查」于（『换参』与「零」与「一」与「零」与「四」）于「阴」。
「检查」于（『非相等出口』与「零」与「一」与「一」与「五」）于「阴」。
「：文言：两支各续亦可，独一支早返则不可。汉语：分支外计算新参数，两分支分别使用独立SSA调用编号；拒绝一支早返、不前进、改上界或外调。：」
「分支函」乃化「整数」而「正则函数」也。
「分支函」者会「模」而
 虑「函」者「造函」于（『分支继续』与「零」与「一」与「一」与「零」）而
 鉴（「函」中「三」）而有（「正则段」于（「列」【「比」，「正则如果」于「果号」于「类」于「条件」于「阳体」于
 （「正则段」于（「列」【「读」，「进」，「存」，「续」】）于「旧终」）】）于「终」）则（
  虑「另一续」者「正则运算」于「一一」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于（若「等于」于「模」于「四」则『外求』否则「函」中「零」），
   「正则局部」于「零」，「正则局部」于（若「等于」于「模」于「三」则「八」否则「一」），「正则局部」于「二」，
   「正则局部」于（若「等于」于「模」于「二」则「三」否则「八」），「正则局部」于「九」】）而
  虑「另段」者若「等于」于「模」于「一」则「正则段」于「罄」于（「正则产出」于（「正则局部」于「四」））否则
   「正则段」于（「列」【「另一续」】）于（「正则产出」于（「正则局部」于「一一」））而
  虑「新体」者「正则段」于（「列」【「读」，「进」，「存」，「正则如果」于「一二」于「正则通用值」于（「正则爻」于「阳」）于
   （「正则段」于（「列」【「续」】）于（「正则产出」于（「正则局部」于「一零」）））于「另段」】）于（「正则产出」于（「正则局部」于「一二」））而
  （「函」中「零」）与（「函」中「一」）与（「函」中「二」）与（「正则段」于（「列」【「比」，「正则如果」于「果号」于「类」于「条件」于「阳体」于「新体」】）于「终」）与（「函」中「四」））
 或有「其他」则「发生事故」授以「正则函数」于『测试形态不符』也。
「态射」授以「整数」授以「有」于（「整数范围」于「零」于「五」）于（会「模」而
 虑「函」者「分支函」于「模」而虑「无」者「验证正则函数」于「函」而
 虑「真」者鉴（「验双步形」于「函」于「一」于「三」）而有（「可有」于「证」）则「阳」或有「可无」则「阴」而
 「验」于（「爻相等」于「真」于（「等于」于「模」于「零」）））。
「打印行」于『进步证明十六项通过』。
「复算函」乃化「整数」而「正则函数」也。
「复算函」者会「模」而
 虑「函」者「造函」于（『复合步长』与「零」与「一」与「一」与「零」）而
 鉴（「函」中「三」）而有（「正则段」于（「列」【「比」，「正则如果」于「果号」于「类」于「条件」于「阳体」于
 （「正则段」于（「列」【「读」，「进」，「存」，「续」】）于「阴终」）】）于「终」）则（
  虑「加数」者若「等于」于「模」于「二」则「九二二三三七二零三六八五四七七五八零七」否则「二」而
  虑「减数」者若「等于」于「模」于「一」则「二」否则若「等于」于「模」于「二」则「九二二三三七二零三六八五四七七五八零六」否则「一」而
  虑「先」者「正则运算」于「一四」于「正则整数值」于（「正则原语」于『豫言_整数加』）于（「列」【「正则局部」于「三」，「正则整数」于「加数」】）而
  虑「后」者「正则运算」于「八」于「正则整数值」于（「正则原语」于『豫言_整数减』）于（「列」【「正则局部」于「一四」，「正则整数」于「减数」】）而
  （「函」中「零」）与（「函」中「一」）与（「函」中「二」）与（「正则段」于（「列」【「比」，「正则如果」于「果号」于「类」于「条件」于「阳体」于
   （「正则段」于（「列」【「读」，「先」，「后」，「存」，「续」】）于「阴终」）】）于「终」）与（「函」中「四」））
 或有「其他」则「发生事故」授以「正则函数」于『测试形态不符』也。
「态射」授以「整数」授以「有」于（「整数范围」于「零」于「三」）于（会「模」而
 虑「函」者「复算函」于「模」而虑「无」者「验证正则函数」于「函」而
 虑「真」者鉴（「验双步形」于「函」于「一」于「三」）而有（「可有」于「证」）则「阳」或有「可无」则「阴」而
 「验」于（「爻相等」于「真」于（「等于」于「模」于「零」）））。
「验」于（鉴（「验双步形」于（「造函」于（『同参』与「零」与「一」与「一」与「零」））于「三」于「三」）而有「可无」则「阳」或有「其他」则「阴」）。
「打印行」于『进步复合算式与同参四项通过』。
