寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则构造」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编创建证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编折叠摘要」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编纯调用复用」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编纯调用证明」之书。

「：文言：先合两证，后换中物为折果。汉语：仅生成以整数参数为前提的私有组合IR；本函数不修改公开调用。递归创建改为组合递归，载荷保留为编译期原子列表，构造器以消费者整数表达式代替；原先的递归调用仍在原位置执行，后续纯调用复用另行验证。：」
「融合查式」乃化「整数」而化「造消折叠表」而（「或可有」于「折叠式」）也。
「融合查式」者会「标」而会「表」而
  鉴「表」而
    有「罄」则「可无」
    或有（「缀」于「项」于「余」）则
      若「等于」于「标」于（「项」中「零」）则「可有」于（「项」中「一」）否则「融合查式」于「标」于「余」
也。

「构造融合」乃化「正则函数」而化「正则函数」而（「或可有」于「正则函数」）也。
「构造融合」者会「生」而会「消」而
  鉴（「验造消配合」于「生」于「消」）而
    有「可无」则「可无」
    或有（「可有」于「折表」）则（
      虑「计数」者「新引用」授以「整数」于（「生」中「四」）而
      虑「好」者「新引用」授以「爻」于「阳」而
      虑「别」者
        「新数组引用」授以「正则原子」
        于（「正则整数」于「零」）
        于（「生」中「四」）而
        虑「载」者
          「新数组引用」授以（「列」于「正则原子」）
          于「罄」
          于（「生」中「四」）而
          虑「无」者
            「态射」授以「整数」授以「有」
            于（「整数范围」于「零」于（「生」中「四」））
            于（会「号」而「写数组引用」授以「正则原子」于「别」于「号」于（「正则局部」于「号」））而
            虑「改原」者
              （化「正则原子」而「正则原子」也会「值」而鉴「值」而
                  有（「正则局部」于「号」）则
                    「读数组引用」授以「正则原子」
                    于「别」于「号」
                  或有「其他」则「值」
              ）而
            递归虑「构式」其化「正则构造器」而化（「列」于「正则原子」）而化「折叠式」而「正则原子」者会「器」而会「参」而
              会「式」而
                若「大于」于（「读引用」于「计数」）于「二五五」
                则
                  （虑「无」者「写引用」于「好」于「阴」而「正则整数」于「零」）
                否则
                  鉴「式」而
                    有（「折叠常」于「数」）则「正则整数」
                      于「数」
                    或有（「折叠字段」于「位」）则
                      「第N个」授以「正则原子」
                      于「位」于「参」
                    或有（「折叠递果」于「位」）则
                      「第N个」授以「正则原子」
                      于「位」
                      于「参」
                    或有（「折叠算」于「术」于「甲」于「乙」）则（
                      虑「甲值」者
                        「构式」于「器」于「参」于「甲」
                      而
                      虑「乙值」者「构式」于「器」于「参」于「乙」而
                      「添正则运算」
                        于「器」
                        于（「正则原语」于「术」）
                        于（「列」【「甲值」，「乙值」】）
                    ）
            而
            递归虑「改段」其化「正则区域」而「正则区域」者会「段」而
              鉴「段」而
                有（「正则段」于「令们」于「终」）则（
                  虑「器」者「造正则构造器」于「计数」
                  而
                  虑「无」者
                    「态射」授以「正则指令」授以「有」
                    于「令们」
                    于（会「令」而鉴「令」而
                      有（「正则运算」于「号」于「类」于「术」于「参」）则（
                        虑「新参」者
                          「态射」授以「正则原子」授以「正则原子」
                          于「参」于「改原」而
                        鉴「术」而
                          有「正则造元组」则
                            「写数组引用」授以（「列」于「正则原子」）
                            于「载」
                            于「号」
                            于「新参」
                          或有（「正则造标签」于「标」于「长」）则（
                            鉴「参」而
                              有（「列」【（「正则局部」于「载号」）】）则（
                                鉴（「融合查式」于「标」于「折表」）而
                                  有（「可有」于「式」）则
                                    「写数组引用」授以「正则原子」
                                    于「别」
                                    于「号」
                                    于（「构式」
                                      于「器」
                                      于（「读数组引用」授以（「列」于「正则原子」）于「载」于「载号」）
                                      于「式」）
                                  或有「可无」则
                                    「写引用」于「好」于「阴」
                              ）
                              或有「其他」则
                                「写引用」于「好」于「阴」
                          ）
                          或有「其他」则
                            「添正则指令」
                              于「器」
                              于（「正则运算」于「号」于「类」于「术」于「新参」）
                      ）
                      或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（
                        虑「阳新」者「改段」于「阳体」
                        而
                        虑「阴新」者「改段」于「阴体」而
                        「添正则指令」
                          于「器」
                          于（「正则如果」于「号」于「正则通用值」于（「改原」于「条件」）于「阳新」于「阴新」）
                      ）
                      或有「其他」则
                        「写引用」于「好」于「阴」）
                  而
                  虑「果」者鉴「终」而
                    有（「正则产出」于「值」）则「改原」于「值」
                    或有「其他」则（虑「无」者「写引用」于「好」于「阴」而「正则整数」于「零」）
                  而
                  「封正则区域」于「器」于「果」
                ）
            而
            虑「体」者「改段」于（「生」中「三」）
            而
            若「或者」
              于（「非」于（「读引用」于「好」））
              于（「大于」于（「读引用」于「计数」）于「二五六」）则
                「可无」
            否则
              虑「函」者
                （「正则函数」也（（「生」中「零」）与「阴」与（「生」中「二」）与「体」与（「读引用」于「计数」）））
              而
              鉴（「求纯整闭包」于（「列」【「函」】））而
                有「罄」则「可无」
                或有（「缀」于「已证」于「余」）则
                  「可有」于（「复用纯整函数」于「函」）
    ）
也。
