寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编折叠摘要」之书。
「：文言：整参之约在入口，载荷之类逐令证。汉语：输入须为已验证SSA；结论以所有参数都是整数为前提，所有快入口必须检查，否则走原路径。独立重建整数、布尔、递归对象、载荷种类，不将普通公开值视作整数。仅允许纯整数运算、静态自递归和构造；不是终止或唯一所有权证明。：」
「纯造布局」即「列」于（「整数」合（「列」于「整数」））也。
「纯造查形」乃化「整数」而化「纯造布局」而（「或可有」于（「列」于「整数」））也。
「纯造查形」者会「标」而会「形们」而鉴「形们」而有「罄」则「可无」或有（「缀」于「形」于「余」）则
 若「等于」于「标」于（「形」中「零」）则「可有」于（「形」中「一」）否则「纯造查形」于「标」于「余」也。
「纯造形同」乃化（「列」于「整数」）而化（「列」于「整数」）而「爻」也。
「纯造形同」者会「甲」而会「乙」而鉴「甲」而有「罄」则（鉴「乙」而有「罄」则「阳」或有「其他」则「阴」）
 或有（「缀」于「首」于「余」）则（鉴「乙」而有（「缀」于「乙首」于「乙余」）则「且」于（「等于」于「首」于「乙首」）于（「纯造形同」于「余」于「乙余」）或有「罄」则「阴」）也。
「析纯造型」乃化「正则函数」而（「或可有」于「纯造布局」）也。
「析纯造型」者会「函」而
 若「或者」于（「大于」于（「函」中「四」）于「一二八」）于（「大于」于（「长度」授以「整数」于（「函」中「二」））于「八」）则「可无」否则
 虑「好」者「新引用」授以「爻」于「阳」而
 虑「种」者「新数组引用」授以「整数」于「零」于（「函」中「四」）而
 虑「载」者「新数组引用」授以（「列」于「整数」）于「罄」于（「函」中「四」）而
 虑「形们」者「新引用」授以「纯造布局」于「罄」而
 虑「无」者「态射」授以「整数」授以「有」于（「函」中「二」）于（会「号」而「写数组引用」授以「整数」于「种」于「号」于「一」）而
 虑「拒」者（化「有」而「整数」也会「无」而虑「无」者「写引用」于「好」于「阴」而「零」）而
 虑「取」者（化「正则原子」而「整数」也会「值」而鉴「值」而有（「正则局部」于「号」）则「读数组引用」授以「整数」于「种」于「号」
  或有（「正则整数」于「数」）则「一」或有（「正则爻」于「真」）则「二」或有「其他」则「零」）而
 虑「诸整」者（化（「列」于「正则原子」）而「爻」也会「参」而「全部符合」授以「正则原子」于（会「值」而「等于」于（「取」于「值」）于「一」）于「参」）而
 虑「运」者（化「整数」而化「正则操作」而化（「列」于「正则原子」）而「整数」也会「号」而会「术」而会「参」而鉴「术」而
  有（「正则原语」于「名」）则（
   若「非」于（「且」于（「等于」于（「长度」授以「正则原子」于「参」）于「二」）于（「诸整」于「参」））则「拒」于「元」否则
   鉴「名」而有『豫言_整数加』则「一」或有『豫言_整数减』则「一」或有『豫言_整数乘』则「一」
    或有『豫言_整数相等』则「二」或有『豫言_整数大于』则「二」或有「其他」则「拒」于「元」）
  或有「正则调用」则（鉴「参」而有（「缀」于（「正则函数引用」于「名」）于「余」）则
   若「且」于（「串相等」于「名」于（「函」中「零」））于（「且」于（「诸整」于「余」）于（「等于」于（「长度」授以「正则原子」于「余」）于（「长度」授以「整数」于（「函」中「二」））））则「三」否则「拒」于「元」
   或有「其他」则「拒」于「元」）
  或有「正则造元组」则（
   若「大于」于（「长度」授以「正则原子」于「参」）于「八」则「拒」于「元」否则
   虑「形」者「态射」授以「正则原子」授以「整数」于「参」于（会「值」而虑「类」者「取」于「值」而
    若「等于」于「类」于「一」则「一」否则若「等于」于「类」于「三」则「二」否则「拒」于「元」）而
   虑「无」者「写数组引用」授以（「列」于「整数」）于「载」于「号」于「形」而「四」）
  或有（「正则造标签」于「标」于「长」）则（
   若「或者」于（「小于」于「标」于「零」）于（「大于」于「标」于「一零七三七四一八二三」）则「拒」于「元」否则
   鉴「参」而有（「列」【（「正则局部」于「载号」）】）则（
    若「非」于（「等于」于（「读数组引用」授以「整数」于「种」于「载号」）于「四」）则「拒」于「元」否则
    虑「形」者「读数组引用」授以（「列」于「整数」）于「载」于「载号」而
    若「非」于（「等于」于「长」于（「长度」授以「整数」于「形」））则「拒」于「元」否则
    虑「无」者鉴（「纯造查形」于「标」于（「读引用」于「形们」））而
     有「可无」则「写引用」于「形们」于（「缀」于（「标」与「形」）于（「读引用」于「形们」））
     或有（「可有」于「旧」）则（若「纯造形同」于「旧」于「形」则「元」否则（虑「无」者「拒」于「元」而「元」））而「三」）
    或有「其他」则「拒」于「元」）
  或有「其他」则「拒」于「元」）而
 递归虑「段种」其化「正则区域」而「整数」者会「段」而鉴「段」而有（「正则段」于「令们」于「终」）则（
  虑「无」者「态射」授以「正则指令」授以「有」于「令们」于（会「令」而鉴「令」而
   有（「正则运算」于「号」于「类」于「术」于「参」）则「写数组引用」授以「整数」于「种」于「号」于（「运」于「号」于「术」于「参」）
   或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（
    虑「无」者若「等于」于（「取」于「条件」）于「二」则「元」否则（虑「无」者「拒」于「元」而「元」）而
    虑「甲」者「段种」于「阳体」而虑「乙」者「段种」于「阴体」而
    虑「果」者若「且」于（「等于」于「甲」于「乙」）于（「且」于（「大于」于「甲」于「零」）于（「小于」于「甲」于「四」））则「甲」否则「拒」于「元」而
    「写数组引用」授以「整数」于「种」于「号」于「果」）
   或有「其他」则（虑「无」者「拒」于「元」而「元」））而
  鉴「终」而有（「正则产出」于「值」）则「取」于「值」或有「其他」则「拒」于「元」）而
 虑「果」者「段种」于（「函」中「三」）而
 若「且」于（「读引用」于「好」）于（「且」于（「等于」于「果」于「三」）于（「大于」于（「长度」授以（「整数」合（「列」于「整数」））于（「读引用」于「形们」））于「零」））则「可有」于（「读引用」于「形们」）否则「可无」也。
「造消折叠表」即「列」于（「整数」合「折叠式」）也。
「验造消配合」乃化「正则函数」而化「正则函数」而（「或可有」于「造消折叠表」）也。
「验造消配合」者会「生」而会「消」而鉴（「析纯造型」于「生」）而有「可无」则「可无」或有（「可有」于「形们」）则（
 虑「好」者「新引用」授以「爻」于「阳」而
 虑「表」者「态射」授以（「整数」合（「列」于「整数」））授以（「整数」合「折叠式」）于「形们」于（会「形」而
  （「形」中「零」）与（鉴（「析纯折叠」于「消」于（「形」中「零」）于（「形」中「一」））而有（「可有」于「式」）则「式」或有「可无」则（虑「无」者「写引用」于「好」于「阴」而「折叠常」于「零」）））而
 若「读引用」于「好」则「可有」于「表」否则「可无」）也。
