寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编返回证明」之书。
「：文言：先验无递之返，再验递中守约。汉语：入口前提、零次递归、递归实参换类、混合分支及全宽常量均需验证；未知结果不能冒充整数。：」
「造函」乃化（「列」于「正则指令」）而化「正则原子」而「正则函数」也。
「造函」者会「令」而会「果」而『递』与「阴」与（「列」【「零」，「一」】）与（「正则段」于「令」于（「正则产出」于「果」））与「一六」也。
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『整数返回证明失败』也。
「前提」乃「列」于「整数」也。
「前提」者「列」【「一」】也。
「直返」者「造函」于「罄」于（「正则局部」于「一」）也。
「验」于（「验整数返回」于「直返」于「前提」）。
「验」于（「非」于（「验整数返回」于「直返」于「罄」））。
「递令」乃化「正则原子」而「正则指令」也。
「递令」者会「值」而「正则运算」于「二」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『递』，「正则局部」于「零」，「值」】）也。
「递函」乃化「正则原子」而「正则函数」也。
「递函」者会「值」而「造函」于（「列」【「正则如果」于「三」于「正则通用值」于（「正则爻」于「阳」）于
 （「正则段」于「罄」于（「正则产出」于（「正则局部」于「一」）））于
 （「正则段」于（「列」【「递令」于「值」】）于（「正则产出」于（「正则局部」于「二」）））】）于（「正则局部」于「三」）也。
「验」于（「验整数返回」于（「递函」于（「正则局部」于「一」））于「前提」）。
「验」于（「非」于（「验整数返回」于（「递函」于（「正则字符串」于『换类』））于「前提」））。
「验」于（「非」于（「验整数返回」于（「递函」于（「正则局部」于「零」））于「前提」））。
「混返」者「造函」于（「列」【「正则如果」于「二」于「正则通用值」于（「正则爻」于「阳」）于
 （「正则段」于「罄」于（「正则产出」于（「正则整数」于「一」）））于
 （「正则段」于「罄」于（「正则产出」于（「正则字符串」于『非整』）））】）于（「正则局部」于「二」）也。
「验」于（「非」于（「验整数返回」于「混返」于「前提」））。
「验」于（「验整数返回」于（「造函」于「罄」于（「正则整数」于「九二二三三七二零三六八五四七七五八零七」））于「罄」）。
「未知返」者「造函」于（「列」【「正则运算」于「二」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『未知』，「正则局部」于「一」】）】）于（「正则局部」于「二」）也。
「验」于（「非」于（「验整数返回」于「未知返」于「前提」））。
「短参」者「造函」于（「列」【「正则运算」于「二」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『递』，「正则局部」于「零」】）】）于（「正则局部」于「二」）也。
「验」于（「非」于（「验整数返回」于「短参」于「前提」））。
「验」于（「非」于（「验整数返回」于「直返」于（「列」【「三」】）））。
「打印行」于『整数返回证明十项通过』。
