寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编纯调用复用」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。

「：文言：纯整之工以内整数行，外仍守通值之约。汉语：仅专门化纯整数函数；所有参数必须在入口无条件的整数原语序列中被检查，不能以分支内的使用推断入口类型。外部入口保留引用 ABI。：」
「可专整术」乃化「字符串」而「爻」也。
「可专整术」者会「名」而
  鉴「名」而
    有『豫言_整数加』则「阳」
    或有『豫言_整数减』则「阳」
    或有『豫言_整数乘』则「阳」
    或有『豫言_整数相等』则「阳」
    或有『豫言_整数大于』则「阳」
    或有「其他」则「阴」
也。

「专整术」乃化「字符串」而「回收串」也。
「专整术」者会「名」而
  鉴「名」而
    有『豫言_整数加』则
      「回收单令」于「回收整六四加」
    或有『豫言_整数减』则
      「回收单令」于「回收整六四减」
    或有『豫言_整数乘』则
      「回收单令」于「回收整六四乘」
    或有『豫言_整数相等』则
      「回收令列」于（「列」【「回收整六四相等」，「回收整三二无符号扩六四」】）
    或有『豫言_整数大于』则
      「回收令列」于（「列」【「回收整六四有符号大于」，「回收整三二无符号扩六四」】）
    或有「其他」则「回收空串」
也。

「可专整原子」乃化「正则原子」而「爻」也。
「可专整原子」者会「值」而
  鉴「值」而
    有（「正则局部」于「号」）则「阳」
    或有（「正则整数」于「数」）则「阳」
    或有（「正则爻」于「真」）则「阳」
    或有「其他」则「阴」
也。

「可专整诸原子」乃化（「列」于「正则原子」）而「爻」也。
「可专整诸原子」者会「诸值」而
  鉴「诸值」而
    有「罄」则「阳」
    或有（「缀」于「值」于「余」）则
      若「可专整原子」于「值」则「可专整诸原子」于「余」否则「阴」
也。

「：文言：整非皆可作爻，判支须证小整之界。汉语：纯整数入口只有在条件必能表示为 i31 时才允许裸判断；比较结果及范围内常量可证，任意整数算术结果不可据类型标注推定，防止消除原有类型陷阱。：」
「专整小值」乃化（「数组引用类」于「爻」）而化「正则原子」而「爻」也。
「专整小值」者会「表」而会「值」而
  鉴「值」而
    有（「正则局部」于「号」）则
      「读数组引用」授以「爻」于「表」于「号」
    或有（「正则整数」于「数」）则
      「且」
        于（「非」于（「小于」于「数」于（「减」于「零」于「小整界」）））
        于（「小于」于「数」于「小整界」）
    或有（「正则爻」于「真」）则「阳」
    或有「其他」则「阴」
也。

「专整段小果」乃化（「数组引用类」于「爻」）而化「正则区域」而「爻」也。
「专整段小果」者会「表」而会「段」而
  鉴「段」而
    有（「正则段」于「令」于「终」）则
      鉴「终」而
        有（「正则产出」于「值」）则
          「专整小值」于「表」于「值」
        或有「其他」则「阴」
也。

「可专整函数」乃化「正则函数」而「爻」也。
「可专整函数」者会「函」而
  虑「参数数」者「长度」授以「整数」于（「函」中「二」）而
  虑「已验」者「新数组引用」授以「爻」于「阴」于「参数数」而
  虑「小位」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
  虑「无」者
    （
      鉴（「函」中「三」）而
        有（「正则段」于「根令」于「根终」）则（
          递归虑「验根」其化（「列」于「正则指令」）而「有」者会「令们」而
            鉴「令们」而
              有（「缀」于（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）于「余」）则
                若「非」于（「可专整术」于「名」）则
                  「元」
                否则
                  （「态射」授以「正则原子」授以「有」
                    于「参」
                    于（会「值」而鉴「值」而
                      有（「正则局部」于「位」）则
                        若「小于」于「位」于「参数数」则
                          「写数组引用」授以「爻」于「已验」于「位」于「阳」
                        否则
                          「元」
                      或有「其他」则「元」）；
                    「验根」于「余」）
              或有「其他」则
                「元」
          而
          「验根」于「根令」
        ）
    ）
  而
  递归虑「查段」其化「正则区域」而「爻」者会「段」而
    鉴「段」而
      有（「正则段」于「诸令」于「终」）则（
        递归虑「查令」其化（「列」于「正则指令」）而「爻」者会「令们」而
          鉴「令们」而
            有「罄」则「阳」
            或有（「缀」于「令」于「余」）则（
              虑「可」者鉴「令」而
                有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则
                  若「非」于（「可专整术」于「名」）则
                    「阴」
                  否则
                    若「非」于（「等于」于（「长度」授以「正则原子」于「参」）于「二」）则
                      「阴」
                    否则
                      （
                        虑「无」者
                          若「或者」
                            于（「串相等」于「名」于『豫言_整数相等』）
                            于（「串相等」于「名」于『豫言_整数大于』）则
                              「写数组引用」授以「爻」
                              于「小位」于「号」于「阳」
                          否则
                            「元」
                        而
                        「可专整诸原子」于「参」
                      ）
                或有（「正则运算」于「号」于「类」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」））则
                  「：文言：尾递之约不可损。汉语：首版整数内核暂不接收区域末尾自调用，避免将原后端的尾调用退化为增长栈的普通调用。：」
              若「正则结果可尾」于「阳」于「号」于「终」则
                「阴」
              否则
                若「串相等」于「名」于（「函」中「零」）则
                  「且」
                    于（「等于」于（「长度」授以「正则原子」于「参」）于「参数数」）
                    于（「可专整诸原子」于「参」）
                否则
                  「阴」
                或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
                  若「专整小值」于「小位」于「条件」则
                    若「查段」于「阳体」则
                      若「查段」于「阴体」则（
                        虑「无」者
                          「写数组引用」授以「爻」
                          于「小位」
                          于「号」
                          于（「且」于（「专整段小果」于「小位」于「阳体」）于（「专整段小果」于「小位」于「阴体」））
                        而
                        「阳」
                      ）否则「阴」
                    否则
                      「阴」
                  否则
                    「阴」
                或有「其他」则
                  「阴」
              而
              若「可」则「查令」于「余」否则「阴」
            ）
        而
        若「查令」于「诸令」则鉴「终」而
          有（「正则产出」于「值」）则
            「可专整原子」于「值」
          或有（「正则返回」于「值」）则
            「可专整原子」于「值」
          或有「其他」则「阴」
        否则
          「阴」
      ）
  而
  若「查段」于（「函」中「三」）则（
    递归虑「齐验」其化「整数」而「爻」者会「位」而
      若「等于」于「位」于「参数数」则「阳」否则
        若「读数组引用」授以「爻」于「已验」于「位」则「齐验」
        于（「加」于「位」于「一」）
        否则
          「阴」
    而
    「且」于（「大于」于「参数数」于「零」）于（「齐验」于「零」）
  ）否则「阴」
也。

「专整局部」乃化「整数」而「字符串」也。
「专整局部」者会「号」而
  『$i』附（「整数表示」于「号」）
也。

「写专整原子」乃化「正则原子」而「回收串」也。
「写专整原子」者会「值」而
  鉴「值」而
    有（「正则局部」于「号」）则
      「回收单令」于（「回收局部取」于（「专整局部」于「号」））
    或有（「正则整数」于「数」）则
      「回收单令」于（「回收整六四常」于「数」）
    或有（「正则爻」于「真」）则
      「回收单令」于（「回收整六四常」于（
        若「真」则「一」否则「零」））
    或有「其他」则
      「发生事故」授以「回收串」于『整数专门化遇到非整数原子』
也。

「写专整诸原子」乃化（「列」于「正则原子」）而「回收串」也。
「写专整诸原子」者会「诸值」而
  「回收拼」于（「态射」授以「正则原子」授以「回收串」于「诸值」于「写专整原子」）
也。

「专整是局部」乃化「整数」而化「正则原子」而「爻」也。
「专整是局部」者会「号」而会「值」而
  鉴「值」而
    有（「正则局部」于「位」）则
      「等于」于「号」于「位」
    或有「其他」则「阴」
也。

「专整尾标」者「新引用」授以「字符串」于『$sum_loop』也。

「写专整段」乃化「字符串」而化「爻」而化「正则区域」而「回收串」也。
「写专整段」者会「工号」而会「尾位」而会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于「终」）则（
      虑「写令」者
        （化「爻」而化「正则指令」而「回收串」也会「尾」而会「令」而鉴「令」而
            有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则
              「回收拼」于（「列」【
                「写专整诸原子」于「参」，
                「专整术」于「名」，
                「回收单令」于（「回收局部存」于（「专整局部」于「号」））
              】）
            或有（「正则运算」于「号」于「类」于「正则调用」于（「缀」于「头」于「参」））则
              「回收拼」于（「列」【
                「写专整诸原子」于「参」，
                「回收单令」于（「回收调用」于（『$n』附「工号」）），
                「回收单令」于（「回收局部存」于（「专整局部」于「号」））
              】）
            或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
              「回收拼」于（「列」【
                「写专整原子」于「条件」，
                「回收令列」于（「列」【
                  「回收整六四常」于「零」，
                  「回收整六四不等」，
                  「回收若」于『』于（「回收块单果」于「回收整六四」）
                】），
                「写专整段」于「工号」于「尾」于「阳体」，
                「回收单令」于「回收否则」，
                「写专整段」于「工号」于「尾」于「阴体」，
                「回收令列」于（「列」【「回收结束」，「回收局部存」于（「专整局部」于「号」）】）
              】）
            或有「其他」则
              「发生事故」授以「回收串」于『整数专门化遇到未验证指令』
        ）而
        虑「终文」者鉴「终」而
          有（「正则产出」于「值」）则
            「写专整原子」于「值」
          或有（「正则返回」于「值」）则
            「回收拼」
              于（「列」【
                「写专整原子」于「值」，
                「回收令列」于（「列」【「回收局部取」于『$acc』，「回收整六四加」，「回收返回」】）
              】）
          或有「其他」则
            「发生事故」授以「回收串」于『整数专门化遇到未验证结束式』而
        「：文言：诸片先聚而后一合。汉语：用片段列表线性组装长函数，避免逐指令拼接整个剩余文本。：」
      递归虑「写链」其化（「列」于「正则指令」）而化（「列」于「回收串」）而「回收串」者会「余」而会「片」而
      虑「收」者
        （化「回收串」而「回收串」也会「后」而「回收拼」于（「反转」于（「缀」于「后」于「片」）））
      而
      虑「折」者
        （「或可有」于（（「列」于「正则原子」）合「正则原子」）也鉴「余」而
            有（「列」【
              （「正则运算」于「递号」于「递类」于「正则调用」于（「缀」于「头」于「参」）），
              （「正则运算」于「和号」于「和类」于（「正则原语」于『豫言_整数加』）于（「列」【「甲」，「乙」】））
            】）则
              若「正则结果可尾」于「尾位」于「和号」于「终」则（
                若「专整是局部」于「递号」于「甲」则
                  （若「专整是局部」于「递号」于「乙」则「可无」否则「可有」于（「参」与「乙」））
                否则
                  若「专整是局部」于「递号」于「乙」则
                    「可有」于（「参」与「甲」）
                  否则
                    「可无」
              ）否则「可无」
            或有「其他」则「可无」）
      而
      鉴「折」而
        有（「可有」于（「参」与「加数」））则
          「：文言：纯整之和可累，递果重用则不折。汉语：只合并纯整数函数尾部的自调用与单次加法，i64 模加结合律保持回绕；先保存全部实参，再逆序赋值。：」
          「收」于（「回收拼」于（「列」【
            「回收单令」于（「回收局部取」于『$acc』），
            「写专整原子」于「加数」，
            「回收令列」于（「列」【「回收整六四加」，「回收局部存」于『$acc』】），
            「写专整诸原子」于「参」，
            「回收拼」于（「态射」授以「整数」授以「回收串」
              于（「反转」于（「整数范围」于「零」于（「长度」授以「正则原子」于「参」）））
              于（会「号」而「回收单令」于（「回收局部存」于（「专整局部」于「号」）））），
              若「串相等」于（「读引用」于「专整尾标」）于『』则
                「回收空串」
              否则
                  「回收单令」于（「回收跳」于（「回收名标」于（「读引用」于「专整尾标」）））
          】））
        或有「可无」则鉴「余」而
          有「罄」则「收」
            于「终文」
          或有（「列」【（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）】）则
            「收」于（「回收拼」于（「列」【
              「写令」
                于（「正则结果可尾」于「尾位」于「号」于「终」）
                于（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」），
                「终文」
            】））
          或有（「缀」于「头」于「后」）则
            「写链」于「后」于（「缀」于（「写令」于「阴」于「头」）于「片」）
      而
      「写链」于「诸令」于「罄」
    ）
也。

「专整直列」乃化「爻」而化（「列」于「正则指令」）而「爻」也。
「专整直列」者会「容递」而会「诸令」而
  鉴「诸令」而
    有「罄」则「阳」
    或有（「缀」于「令」于「余」）则
      虑「可」者
        鉴「令」而
          有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则「阳」
          或有（「正则运算」于「号」于「类」于「正则调用」于「参」）则「容递」
          或有「其他」则
            「阴」而
      若「可」则「专整直列」于「容递」于「余」否则「阴」
也。

「专整直段」乃化「正则区域」而「爻」也。
「专整直段」者会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于（「正则产出」于「值」））则
      「专整直列」于「阴」于「诸令」
    或有「其他」则「阴」
也。

「专整尾加段」乃化「字符串」而化「正则区域」而「爻」也。
「专整尾加段」者会「自名」而会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于「终」）则（
      鉴「反转」授以「正则指令」于「诸令」而
        有（「缀」
          于（「正则运算」于「和号」于「和类」于（「正则原语」于『豫言_整数加』）于（「列」【「甲」，「乙」】））
          于（「缀」
            于（「正则运算」于「递号」于「递类」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」））
            于「前」））则
          若「且」
            于（「串相等」于「名」于「自名」）
            于（「正则结果可尾」于「阳」于「和号」于「终」）则
            若（若「专整是局部」于「递号」于「甲」则
              「非」于（「专整是局部」于「递号」于「乙」）
                否则
                  「专整是局部」于「递号」于「乙」）则「专整直列」
                  于「阳」于「前」
            否则
              「阴」
          否则
            「阴」
        或有「其他」则「阴」
    ）
也。

「：文言：首验而后行，递毕复验，免复绕首。汉语：只旋转根部单一终止分支、直线终止体及可折叠尾加法递归体；按原顺序更新参数并重算条件，保留 i64 回绕，不改变递归计算次数。：」
「写专整旋转」乃化「正则函数」而「或可有」于「回收串」也。
「写专整旋转」者会「函」而
  鉴（「函」中「三」）而
    有（「正则段」于「诸令」于「终」）则（
      鉴「反转」授以「正则指令」于「诸令」而
        有（「缀」于（「正则如果」于「果号」于「果类」于「条件」于「阳体」于「阴体」）于「反前」）则（
          虑「可终」者鉴「终」而
            有（「正则产出」于「值」）则
              「专整是局部」于「果号」于「值」
            或有「其他」则
              「阴」而
          若「非」于（「且」于「可终」于（「专整直列」于「阴」于「反前」））则
            「可无」
          否则
            虑「分」者
              （「或可有」于（「正则区域」合「正则区域」合「爻」）也
                若「且」
                  于（「专整直段」于「阳体」）
                  于（「专整尾加段」于（「函」中「零」）于「阴体」）则
                    「可有」于（「阴体」与「阳体」与「阳」）
                否则
                  若「且」
                    于（「专整直段」于「阴体」）
                    于（「专整尾加段」于（「函」中「零」）于「阳体」）则「可有」
                      于（「阳体」与「阴体」与「阴」）
                  否则
                    「可无」）而
            鉴「分」而
              有「可无」则「可无」
              或有（「可有」于（「递体」与「止体」与「止阳」））则（
                虑「工号」者「函数号」于（「函」中「零」）
                而
                虑「前文」者
                  「回收拼」
                    于（「列」【
                      「写专整段」
                        于「工号」
                        于「阴」
                        于（「正则段」于（「反转」于「反前」）于（「正则产出」于（「正则整数」于「零」））），
                        「回收单令」于「回收弃」
                    】）
                而
                虑「止文」者「写专整段」于「工号」于「阴」于「止体」
                而
                虑「无」者「写引用」于「专整尾标」于『』
                而
                虑「递文」者「写专整段」于「工号」于「阳」于「递体」
                而
                虑「无」者「写引用」于「专整尾标」于『$sum_loop』
                而
                虑「判文」者
                  （化「爻」而「回收串」也会「取真」而
                      虑「原判」者
                        （化「有」而「回收串」也会「无」而「回收拼」
                          于（「列」【
                            「写专整原子」于「条件」，
                            若「取真」则
                              「回收令列」
                                于（「列」【「回收整六四常」于「零」，「回收整六四不等」】）
                            否则
                                  「回收单令」于「回收整六四为零」
                          】）
                        ）而
                      鉴「反前」而
                        有（「缀」于（「正则运算」于「判号」于「判类」于（「正则原语」于「术」）于「参」）于「余」）则
                          若「专整是局部」于「判号」于「条件」则（
                            虑「判术」者
                              （「或可有」于「回收指令」也鉴「术」而
                                  有『豫言_整数相等』则
                                    「可有」
                                      于（
                                        若「取真」则
                                          「回收整六四相等」
                                        否则
                                          「回收整六四不等」）
                                  或有『豫言_整数大于』则
                                    「可有」
                                      于（
                                        若「取真」则
                                          「回收整六四有符号大于」
                                        否则
                                          「回收整六四有符号小等」）
                                  或有「其他」则
                                    「可无」授以「回收指令」）
                            而
                            （
                              鉴「判术」而
                                有「可无」则
                                  「原判」于「元」
                                或有（「可有」于「判令」）则
                                  「回收拼」
                                    于（「列」【「写专整诸原子」于「参」，「回收单令」于「判令」】）
                            ）
                          ）否则「原判」于「元」
                        或有「其他」则「原判」于「元」
                  ）
                而
                「可有」于（「回收拼」于（「列」【
                  「回收单令」于（「回收块」于『$sum_done』于「回收块无果」），
                  「前文」，
                  「判文」于「止阳」，
                  「回收令列」于（「列」【
                    「回收条件跳」于（「回收名标」于『$sum_done』），
                    「回收循环」于『$sum_loop』于「回收块无果」
                  】），
                  「递文」，
                  「前文」，
                  「判文」于（「非」于「止阳」），
                  「回收令列」于（「列」【
                    「回收条件跳」于（「回收名标」于『$sum_loop』），
                    「回收结束」，
                    「回收结束」
                  】），
                  「止文」
                】））
              ）
        ）
        或有「其他」则「可无」
    ）
也。

「写专整函数」乃化「正则函数」而「回收项串」也。
「写专整函数」者会「原函」而
  「：文言：整参既解，复用有证之果。汉语：仅优化下面已解箱为i64的内部函数体；包装器仍逐参解箱。证明失败则原函数不变。：」
  虑「函」者「复用纯整函数」于「原函」而
  虑「号」者「函数号」于（「函」中「零」）而
  虑「诸参」者「函」中「二」而
  虑「数」者「长度」授以「整数」于「诸参」而
  虑「无」者「写引用」于「专整尾标」于『$sum_loop』而
  虑「循环串」者鉴「写专整旋转」于「函」而
    有（「可有」于「串」）则「串」
    或有「可无」则
      「回收拼」
        于（「列」【
          「回收单令」于（「回收循环」于『$sum_loop』于（「回收块单果」于「回收整六四」）），
          「写专整段」于「号」于「阳」于（「函」中「三」），
          「回收单令」于「回收结束」
        】）
  而
  虑「参名们」者
    「态射」授以「整数」授以「字符串」于「诸参」于「专整局部」而
  「：文言：公门以通用之型受参，逐一解之，入内工而装其果。汉语：公开入口按通用类型接收参数，逐个拆箱后调用内部 i64 函数，再装箱结果。：」
  「回收项列」
    于（「列」【
      「回收函数项」
        于（『$f』附「号」）
        于（「回收型名用」于（『$t』附（「整数表示」于「数」）））
        于「参名们」
        于（「罄」授以「回收局部」）
        于（「回收拼」
          于（「列」【
            「回收拼」于（「态射」授以「字符串」授以「回收串」
              于「参名们」
              于（会「名」而「回收令列」于（「列」【「回收局部取」于「名」，「回收调用」于『$unbox』】））），
              「回收令列」于（「列」【「回收调用」于（『$n』附「号」），「回收调用」于『$box』】）
          】）），
          「回收函数项」
            于（『$n』附「号」）
            于（「回收型内联」
              于（「态射」授以「整数」授以「回收值型」于「诸参」于（会「位」而「回收整六四」））
              于（「列」【「回收整六四」】））
              于「参名们」
              于（「附加」授以「回收局部」
                于（「态射」授以「整数」授以「回收局部」
                  于（「整数范围」于「数」于（「函」中「四」））
                  于（会「位」而（「专整局部」于「位」）与「回收整六四」））
                  于（「列」【『$acc』与「回收整六四」】））
                  于（「回收拼」
                    于（「列」【
                      「循环串」，
                      「回收令列」于（「列」【「回收局部取」于『$acc』，「回收整六四加」】）】））
    】）
也。
