寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编初始化证明」之书。
「：文言：全覆乃取，漏位、复写、外求皆拒。汉语：测试完整覆盖、不同生成表达式、整数回绕及副作用拒绝，不能只识别当前基准的具体数列。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『完整初始化证明失败』也。
「算」乃化「整数」而化「字符串」而化「正则原子」而化「正则原子」而「正则指令」也。
「算」者会「号」而会「名」而会「甲」而会「乙」而「正则运算」于「号」于「正则整数值」于（「正则原语」于「名」）于（「列」【「甲」，「乙」】）也。
「降」乃化「整数」而化「整数」而「正则指令」也。
「降」者会「号」而会「步」而「算」于「号」于『豫言_整数减』于（「正则局部」于「一」）于（「正则整数」于「步」）也。
「写」乃化「整数」而化「正则原子」而化「正则原子」而「正则指令」也。
「写」者会「号」而会「位」而会「值」而「正则运算」于「号」于「正则单元值」于（「正则原语」于『豫言_写入引用数组』）于（「列」【「值」，「位」，「正则局部」于「零」】）也。
「续」乃「正则指令」也。
「续」者「正则运算」于「六」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『填』，「正则局部」于「零」，「正则局部」于「五」】）也。
「造函」乃化「整数」而化（「列」于「正则指令」）而「正则函数」也。
「造函」者会「阈」而会「令」而『填』与「阴」与（「列」【「零」，「一」】）与
 （「正则段」于（「列」【「正则运算」于「二」于「正则爻值」于（「正则原语」于『豫言_整数大于』）于（「列」【「正则局部」于「一」，「正则整数」于「阈」】），
  「正则如果」于「七」于「正则通用值」于（「正则局部」于「二」）于
   （「正则段」于「令」于（「正则产出」于（「正则局部」于「六」）））于
   （「正则段」于「罄」于（「正则产出」于「正则单元」））】）于（「正则产出」于（「正则局部」于「七」）））与「一六」也。
「正常令」乃「列」于「正则指令」也。
「正常令」者「列」【「降」于「三」于「一」，「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「一」），「降」于「五」于「一」，「续」】也。
「取证」乃化（「列」于「正则指令」）而「完整初始化证」也。
「取证」者会「令」而鉴（「验完整初始化」于（「造函」于「零」于「令」））而
 有（「可有」于「证」）则「证」或有「可无」则「发生事故」授以「完整初始化证」于『合法初始化未获证明』也。
「拒证」乃化「正则函数」而「有」也。
「拒证」者会「函」而鉴（「验完整初始化」于「函」）而有「可无」则「元」或有「其他」则「发生事故」授以「有」于『非法初始化误获证明』也。
「正常证」者「取证」于「正常令」也。
「验」于（「且」于（「等于」于（「正常证」中「零」）于「零」）于（「等于」于（「正常证」中「一」）于「一」））。
「验」于（「等于」于（「虚组值代入」于（「正常证」中「二」）于「七」）于「七」）。
「式证」者「取证」于（「列」【「降」于「三」于「一」，
 「算」于「八」于『豫言_整数乘』于（「正则局部」于「三」）于（「正则整数」于「二」），
 「算」于「九」于『豫言_整数加』于（「正则局部」于「八」）于（「正则整数」于「七」），
 「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「九」），「降」于「五」于「一」，「续」】）也。
「验」于（「等于」于（「虚组值代入」于（「式证」中「二」）于「三」）于「一一」）。
「常证」者「取证」于（「列」【「降」于「三」于「一」，「写」于「四」于（「正则局部」于「三」）于（「正则整数」于「四二」），「降」于「五」于「一」，「续」】）也。
「验」于（「等于」于（「虚组值代入」于（「常证」中「二」）于「三」）于「四二」）。
「宽证」者「取证」于（「列」【「降」于「三」于「一」，
 「算」于「八」于『豫言_整数乘』于（「正则局部」于「一」）于（「正则整数」于「九二二三三七二零三六八五四七七五八零七」），
 「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「八」），「降」于「五」于「一」，「续」】）也。
「验」于（「等于」于（「虚组值代入」于（「宽证」中「二」）于「二」）于（「减」于「零」于「二」））。
「拒证」于（「造函」于「一」于「正常令」）。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，「写」于「四」于（「正则局部」于「一」）于（「正则局部」于「一」），「降」于「五」于「一」，「续」】））。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「一」），「降」于「五」于「二」，「续」】））。
「拒证」于（「造函」于「零」于（「列」【「降」于「五」于「一」，「续」】））。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「一」），「写」于「八」于（「正则局部」于「三」）于（「正则局部」于「一」），「降」于「五」于「一」，「续」】））。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，
 「算」于「八」于『豫言_整数除』于（「正则局部」于「一」）于（「正则整数」于「一」），
 「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「八」），「降」于「五」于「一」，「续」】））。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，
 「算」于「八」于『豫言_读取引用数组』于（「正则局部」于「零」）于（「正则局部」于「三」），
 「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「八」），「降」于「五」于「一」，「续」】））。
「拒证」于（「造函」于「零」于（「缀」于（「正则运算」于「八」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『外部』】））于「正常令」））。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「零」），「降」于「五」于「一」，「续」】））。
「拒证」于（「造函」于「零」于（「列」【「降」于「三」于「一」，
 「算」于「八」于『豫言_整数加』于（「正则局部」于「一」）于（「正则局部」于「一」），
 「算」于「九」于『豫言_整数加』于（「正则局部」于「八」）于（「正则局部」于「八」），
 「算」于「一零」于『豫言_整数加』于（「正则局部」于「九」）于（「正则局部」于「九」），
 「算」于「一一」于『豫言_整数加』于（「正则局部」于「一零」）于（「正则局部」于「一零」），
 「算」于「一二」于『豫言_整数加』于（「正则局部」于「一一」）于（「正则局部」于「一一」），
 「算」于「一三」于『豫言_整数加』于（「正则局部」于「一二」）于（「正则局部」于「一二」），
 「写」于「四」于（「正则局部」于「三」）于（「正则局部」于「一三」），「降」于「五」于「一」，「续」】））。
「倒函」乃「正则函数」也。
「倒函」者『倒填』与「阴」与（「列」【「零」，「一」】）与
 （「正则段」于（「列」【
  「正则运算」于「二」于「正则爻值」于（「正则原语」于『豫言_整数大于』）于（「列」【「正则局部」于「零」，「正则整数」于「零」】），
  「正则如果」于「七」于「正则通用值」于（「正则局部」于「二」）于
   （「正则段」于（「列」【
    「算」于「三」于『豫言_整数减』于（「正则局部」于「零」）于（「正则整数」于「一」），
    「正则运算」于「四」于「正则单元值」于（「正则原语」于『豫言_写入引用数组』）于（「列」【「正则局部」于「零」，「正则局部」于「三」，「正则局部」于「一」】），
    「正则运算」于「六」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『倒填』，「正则局部」于「三」，「正则局部」于「一」】）】）于（「正则产出」于（「正则局部」于「六」）））于
   （「正则段」于「罄」于（「正则产出」于「正则单元」））】）于（「正则产出」于（「正则局部」于「七」）））与「八」也。
鉴（「验完整初始化」于「倒函」）而有（「可有」于「证」）则
 「验」于（「且」于（「等于」于（「证」中「零」）于「一」）于（「等于」于（「证」中「一」）于「零」））
 或有「可无」则「发生事故」授以「有」于『交换参数顺序后未获证明』。
「打印行」于『完整初始化证明通过』。
