寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编私有构造」之书。
「：文言：形异、载共、物逸皆拒；常私混处须检，公域勿借私投。汉语：验证私有布局证明边界，特别是共享载荷、非相邻常量构造、同标签公私两种表示，以及普通字段仍使用公开投影。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『私有构造证明失败』也。
「造函」乃化「字符串」而化（「列」于「正则指令」）而化「正则原子」而「正则函数」也。
「造函」者会「名」而会「令」而会「果」而「名」与「阴」与（「列」【「零」】）与（「正则段」于「令」于（「正则产出」于「果」））与「八」也。
「载」乃化「正则原子」而「正则指令」也。
「载」者会「值」而「正则运算」于「一」于「正则对象值」于「正则造元组」于（「列」【「值」】）也。
「封」乃化「整数」而化「整数」而「正则指令」也。
「封」者会「号」而会「序」而「正则运算」于「号」于「正则对象值」于（「正则造标签」于「序」于「一」）于（「列」【「正则局部」于「一」】）也。
「普通造」者「造函」于『造』于（「列」【「载」于（「正则局部」于「零」），「封」于「二」于「一」】）于（「正则局部」于「二」）也。
「常量造」者「造函」于『常』于（「列」【「载」于（「正则整数」于「七」），「封」于「二」于「一」】）于（「正则局部」于「二」）也。
「普通形」者「验私形生产」于「普通造」也。
「常量形」者「验私形生产」于「常量造」也。
「验」于（「等于」于（「长度」授以（「整数」合（「列」于「整数」））于（「普通形」中「零」））于「一」）。
「验」于（「私形整数列同」于（「普通形」中「一」）于（「列」【「一」】））。
「验」于（「私形整数列同」于（「常量形」中「二」）于（「列」【「一」】））。
「验」于（「等于」于（「长度」授以「整数」于（「常量形」中「一」））于「零」）。
「共享载」者「造函」于『共享』于（「列」【「载」于（「正则局部」于「零」），「封」于「二」于「一」，「封」于「三」于「二」】）于（「正则局部」于「三」）也。
「迟封」者「造函」于『迟封』于（「列」【「载」于（「正则整数」于「七」），「正则运算」于「二」于「正则整数值」于（「正则原语」于『豫言_整数加』）于（「列」【「正则整数」于「零」，「正则整数」于「零」】），「封」于「三」于「一」】）于（「正则局部」于「三」）也。
「验」于（「等于」于（「长度」授以（「整数」合（「列」于「整数」））于（（「验私形生产」于「共享载」）中「零」））于「零」）。
「验」于（「等于」于（「长度」授以（「整数」合（「列」于「整数」））于（（「验私形生产」于「迟封」）中「零」））于「零」）。
「取载」者「正则运算」于「一」于「正则通用值」于「正则取载荷」于（「列」【「正则局部」于「零」】）也。
「取域」乃化「整数」而「正则指令」也。
「取域」者会「位」而「正则运算」于「二」于「正则通用值」于（「正则取字段」于「位」）于（「列」【「正则局部」于「一」】）也。
「借读」者「造函」于『读』于（「列」【「取载」，「取域」于「零」】）于（「正则局部」于「二」）也。
「验消费」乃化「正则函数」而「爻」也。
「验消费」者会「函」而「验私形消费」于「函」于（「普通形」中「零」）于（「普通形」中「二」）于（「普通形」中「一」）也。
「验」于（「验消费」于「借读」）。
「验」于（「等于」于（「读数组引用」授以「整数」于（「读引用」于「当前私形投影」）于「二」）于「二」）。
「验」于（「验私形消费」于「借读」于（「常量形」中「零」）于（「常量形」中「二」）于（「常量形」中「一」））。
「验」于（「等于」于（「读数组引用」授以「整数」于（「读引用」于「当前私形投影」）于「二」）于（「减」于「零」于「一」））。
「验」于（「验私形消费」于「借读」于（「普通形」中「零」）于（「列」【「一」】）于（「列」【「一」】））。
「验」于（「等于」于（「读数组引用」授以「整数」于（「读引用」于「当前私形投影」）于「二」）于「零」）。
「普通域」者「造函」于『公域』于（「列」【「取载」，「取域」于「零」，「正则运算」于「三」于「正则通用值」于（「正则取字段」于「零」）于（「列」【「正则局部」于「二」】）】）于（「正则局部」于「三」）也。
「验」于（「验消费」于「普通域」）。
「验」于（「等于」于（「读数组引用」授以「整数」于（「读引用」于「当前私形消费类」）于「二」）于「一」）。
「验」于（「非」于（「验消费」于（「造函」于『返树』于「罄」于（「正则局部」于「零」））））。
「验」于（「非」于（「验消费」于（「造函」于『返载』于（「列」【「取载」】）于（「正则局部」于「一」））））。
「验」于（「非」于（「验消费」于（「造函」于『越界』于（「列」【「取载」，「取域」于「一」】）于（「正则局部」于「二」））））。
「验」于（「非」于（「验消费」于（「造函」于『错形』于（「列」【「正则运算」于「一」于「正则通用值」于（「正则取字段」于「零」）于（「列」【「正则局部」于「零」】）】）于（「正则局部」于「一」））））。
「验」于（「非」于（「验消费」于（「造函」于『外传』于（「列」【「正则运算」于「一」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『未知消费者』，「正则局部」于「零」】）】）于（「正则局部」于「一」））））。
「异形」者「造函」于『异形』于（「列」【「正则如果」于「六」于「正则通用值」于（「正则爻」于「阳」）于
 （「正则段」于（「列」【「载」于（「正则局部」于「零」），「封」于「二」于「一」】）于（「正则产出」于（「正则局部」于「二」）））于
 （「正则段」于（「列」【
  「正则运算」于「三」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『异形』，「正则局部」于「零」】），
  「正则运算」于「四」于「正则对象值」于「正则造元组」于（「列」【「正则局部」于「三」】），
  「正则运算」于「五」于「正则对象值」于（「正则造标签」于「一」于「一」）于（「列」【「正则局部」于「四」】）】）于（「正则产出」于（「正则局部」于「五」）））】）于（「正则局部」于「六」）也。
「验」于（「等于」于（「长度」授以（「整数」合（「列」于「整数」））于（（「验私形生产」于「异形」）中「零」））于「零」）。
「打印行」于『私有构造证明通过』。
