寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编差分关系」之书。
「关系已知式」即「或可有」于「差分仿射」也。
「关系比较」即「或可有」于（「字符串」合「差分仿射」合「差分仿射」）也。
「：文言：正则诸号既验，诸参之约既定，逐支验其递而记可省之界。汉语：输入须为编号与作用域已验证的 SSA 函数。所列参数对应差分节点一及以后，零节点为常零；入口守卫尚由调用方负责。无界模式只授权省略宽度检查；有界模式另证严格上界及回边不变性，仍须调用方添加数组长度守卫。未知调用与复杂退出拒绝，所有自递归必须为保持入口约束的尾调用。：」
「验循环关系有界」乃化「爻」而化「正则函数」而化（「列」于「整数」）而化「差分关系」而（「或可有」于（「列」于「整数」））也。
「验循环关系有界」者会「有界」而会「函」而会「诸参」而会「入口」而
 若「且」于「有界」于（「等于」于（「长度」授以「整数」于「诸参」）于「零」）则「可无」否则
 虑「含」者（化「整数」而化（「列」于「整数」）而「爻」也会「号」而会「诸号」而「存在吗」授以「整数」于（会「另」而「等于」于「另」于「号」）于「诸号」）而
 递归虑「无重」其化（「列」于「整数」）而「爻」者会「列值」而鉴「列值」而有「罄」则「阳」或有（「缀」于「首」于「余」）则「且」于（「非」于（「含」于「首」于「余」））于（「无重」于「余」）而
 若「或者」于（「大于」于（「函」中「四」）于「一二八」）于（「大于」于（「长度」授以「整数」于「诸参」）于「八」）则「可无」否则
 若「非」于（「且」于（「无重」于「诸参」）于（「全部符合」授以「整数」于（会「号」而「含」于「号」于（「函」中「二」））于「诸参」））则「可无」否则
 若「非」于（「等于」于（「入口」中「零」）于（「加」于「一」于（「长度」授以「整数」于「诸参」）））则「可无」否则
 虑「根域」者「复制差分关系」于「入口」而虑「无」者「闭合差分关系」于「根域」而
 若「非」于（「差分一致」于「根域」）则「可无」否则
 虑「表」者「新数组引用」授以「关系已知式」于「可无」于（「函」中「四」）而
 虑「比表」者「新数组引用」授以「关系比较」于「可无」于（「函」中「四」）而
 虑「可」者「新引用」授以「爻」于「阳」而
 虑「成果」者「新引用」授以（「列」于「整数」）于「罄」而
 虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于（「长度」授以「整数」于「诸参」））于（会「位」而
  「写数组引用」授以「关系已知式」于「表」于（「第N个」授以「整数」于「位」于「诸参」）于（「可有」于（（「加」于「位」于「一」）与「零」）））而
 虑「取式」者（化「正则原子」而「关系已知式」也会「值」而鉴「值」而
  有（「正则局部」于「号」）则「读数组引用」授以「关系已知式」于「表」于「号」
  或有（「正则整数」于「数」）则若「或者」于（「小于」于「数」于「零」）于（「大于」于「数」于「四二九四九六七二九五」）则「可无」否则「可有」于（「零」与「数」）
  或有「其他」则「可无」）而
 虑「末同」者（化「整数」而化「正则结束」而「爻」也会「号」而会「终」而鉴「终」而
  有（「正则产出」于（「正则局部」于「返」））则「等于」于「号」于「返」或有「其他」则「阴」）而
 虑「式界」者（化「差分关系」而化「差分仿射」而化「差分仿射」而化「整数」而「有」也会「域」而会「甲」而会「乙」而会「界」而
  「差分约束」于「域」于（「甲」中「零」）于（「乙」中「零」）于（「加」于（「减」于「界」于（「甲」中「一」））于（「乙」中「一」）））而
 虑「式推」者（化「差分关系」而化「差分仿射」而化「差分仿射」而「爻」也会「域」而会「甲」而会「乙」而
  「差分推出」于「域」于（「甲」中「零」）于（「乙」中「零」）于（「减」于（「乙」中「一」）于（「甲」中「一」）））而
 虑「记索引」者（化「差分关系」而化「整数」而化「正则原子」而「有」也会「域」而会「号」而会「值」而鉴（「取式」于「值」）而
  有（「可有」于「式」）则若「且」于（「验差分窄偏移」于「域」于（「式」中「零」）于（「式」中「一」））于（若「有界」则「式推」于「域」于「式」于（「一」与（「减」于「零」于「一」））否则「阳」）则「写引用」于「成果」于（「缀」于「号」于（「读引用」于「成果」））否则「元」
  或有「可无」则「元」）而
 虑「移式」者（化「差分关系」而化「正则原子」而化「整数」而「关系已知式」也会「域」而会「值」而会「移」而
  若「或者」于（「大于」于「移」于「四二九四九六七二九五」）于（「小于」于「移」于（「减」于「零」于「四二九四九六七二九五」））则「可无」否则
  鉴（「取式」于「值」）而有（「可有」于「式」）则（
   虑「偏」者「加」于（「式」中「一」）于「移」而
   若「验差分窄偏移」于「域」于（「式」中「零」）于「偏」则「可有」于（（「式」中「零」）与「偏」）否则「可无」）或有「可无」则「可无」）而
 递归虑「扫段」其化「差分关系」而化「爻」而化「正则区域」而「有」者会「域」而会「尾」而会「段」而鉴「段」而有（「正则段」于「诸令」于「终」）则
  递归虑「扫令」其化（「列」于「正则指令」）而「有」者会「令列」而鉴「令列」而有「罄」则「元」或有（「缀」于「令」于「余」）则（
   虑「末」者鉴「余」而有「罄」则「尾」或有「其他」则「阴」而
   虑「无」者鉴「令」而
    有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则（鉴「名」而
     有『豫言_读取引用数组』则（鉴「参」而有（「列」【「组」，「位」】）则「记索引」于「域」于「号」于「位」或有「其他」则「写引用」于「可」于「阴」）
     或有『豫言_写入引用数组』则（鉴「参」而有（「列」【「值」，「位」，「组」】）则「记索引」于「域」于「号」于「位」或有「其他」则「写引用」于「可」于「阴」）
     或有『豫言_整数加』则（
      虑「式」者鉴「参」而有（「列」【「值」，「正则整数」于「移」】）则「移式」于「域」于「值」于「移」
       或有（「列」【「正则整数」于「移」，「值」】）则「移式」于「域」于「值」于「移」或有「其他」则「可无」而
      「写数组引用」授以「关系已知式」于「表」于「号」于「式」）
     或有『豫言_整数减』则（
      虑「式」者鉴「参」而有（「列」【「值」，「正则整数」于「移」】）则
       若「或者」于（「大于」于「移」于「四二九四九六七二九五」）于（「小于」于「移」于（「减」于「零」于「四二九四九六七二九五」））则「可无」否则「移式」于「域」于「值」于（「减」于「零」于「移」）
       或有「其他」则「可无」而
      「写数组引用」授以「关系已知式」于「表」于「号」于「式」）
     或有『豫言_整数相等』则（鉴「参」而有（「列」【「甲」，「乙」】）则（鉴（「取式」于「甲」）而有（「可有」于「甲式」）则（鉴（「取式」于「乙」）而有（「可有」于「乙式」）则「写数组引用」授以「关系比较」于「比表」于「号」于（「可有」于（「名」与「甲式」与「乙式」））或有「其他」则「元」）或有「其他」则「元」）或有「其他」则「元」）
     或有『豫言_整数大于』则（鉴「参」而有（「列」【「甲」，「乙」】）则（鉴（「取式」于「甲」）而有（「可有」于「甲式」）则（鉴（「取式」于「乙」）而有（「可有」于「乙式」）则「写数组引用」授以「关系比较」于「比表」于「号」于（「可有」于（「名」与「甲式」与「乙式」））或有「其他」则「元」）或有「其他」则「元」）或有「其他」则「元」）
     或有『豫言_整数乘』则「元」或有『豫言_整数除』则「元」
     或有「其他」则「写引用」于「可」于「阴」）
    或有（「正则运算」于「号」于「类」于「正则调用」于「参」）则（
     虑「合」者鉴「参」而有（「缀」于（「正则函数引用」于「名」）于「实参」）则（
      若「非」于（「且」于（「串相等」于「名」于（「函」中「零」））于（「且」于「末」于（「末同」于「号」于「终」）））则「阴」否则
      若「非」于（「等于」于（「长度」授以「正则原子」于「实参」）于（「长度」授以「整数」于（「函」中「二」）））则「阴」否则
      虑「参可」者「新引用」授以「爻」于「阳」而
      虑「新参」者「态射」授以「整数」授以「差分仿射」于「诸参」于（会「参号」而
       递归虑「查」其化（「列」于「整数」）而化（「列」于「正则原子」）而「关系已知式」者会「形」而会「实」而鉴「形」而
        有（「缀」于「头」于「形余」）则（鉴「实」而有（「缀」于「值」于「实余」）则若「等于」于「头」于「参号」则「取式」于「值」否则「查」于「形余」于「实余」或有「其他」则「可无」）或有「罄」则「可无」而
       鉴（「查」于（「函」中「二」）于「实参」）而有（「可有」于「式」）则「式」或有「可无」则（「写引用」于「参可」于「阴」；（「零」与「零」）））而
      「且」于（「且」于（「读引用」于「参可」）于（若「有界」则鉴「新参」而有（「缀」于「上式」于「余式」）则「且」于（「等于」于（「上式」中「零」）于「一」）于（「等于」于（「上式」中「一」）于「零」）或有「罄」则「阴」否则「阳」））于（「验差分回边」于「根域」于「域」于（「缀」于（「零」与「零」）于「新参」）））
      或有「其他」则「阴」而
     若「合」则「元」否则「写引用」于「可」于「阴」）
    或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（
     虑「阳域」者「复制差分关系」于「域」而虑「阴域」者「复制差分关系」于「域」而
     虑「比」者鉴「条件」而有（「正则局部」于「比号」）则「读数组引用」授以「关系比较」于「比表」于「比号」或有「其他」则「可无」而
     虑「无」者鉴「比」而有（「可有」于「证」）则（
      虑「甲」者「证」中「一」而虑「乙」者「证」中「二」而
      若「串相等」于（「证」中「零」）于『豫言_整数相等』则（
       「式界」于「阳域」于「甲」于「乙」于「零」；「式界」于「阳域」于「乙」于「甲」于「零」；
       若「式推」于「域」于「甲」于「乙」则「式界」于「阴域」于「甲」于「乙」于（「减」于「零」于「一」）否则
       若「式推」于「域」于「乙」于「甲」则「式界」于「阴域」于「乙」于「甲」于（「减」于「零」于「一」）否则「元」）否则（
       「式界」于「阳域」于「乙」于「甲」于（「减」于「零」于「一」）；「式界」于「阴域」于「甲」于「乙」于「零」））或有「可无」则「元」而
     虑「无」者「闭合差分关系」于「阳域」而虑「无」者「闭合差分关系」于「阴域」而
     虑「无」者若「且」于（「差分一致」于「阳域」）于（「差分一致」于「阴域」）则「元」否则「写引用」于「可」于「阴」而
     虑「支尾」者「且」于「末」于（「末同」于「号」于「终」）而
     「扫段」于「阳域」于「支尾」于「阳体」；「扫段」于「阴域」于「支尾」于「阴体」）
    或有「其他」则「写引用」于「可」于「阴」而
   「扫令」于「余」）而
  虑「无」者「扫令」于「诸令」而
  鉴「终」而有（「正则产出」于「值」）则「元」或有「其他」则「写引用」于「可」于「阴」而
 虑「无」者「扫段」于「根域」于「阳」于（「函」中「三」）而
 若「读引用」于「可」则「可有」于（「反转」授以「整数」于（「读引用」于「成果」））否则「可无」也。
「循环关系证」即（「列」于「整数」）合（「列」于「整数」）也。
「：文言：自首比较取候选，验全函而择所省多者，非以名取之。汉语：候选整数参数必须来自私有入口资格。枚举首个参数比较的两个方向，以及可选第三参数；候选守卫为0≤第二参≤第一参≤UINT32_MAX，或0≤第三参≤第二参≤第一参≤UINT32_MAX。每个候选均须通过整函数证明，不因形似循环就接受。返回守卫参数编号及操作编号，尚不生成机器代码。：」
「搜循环关系有界」乃化「爻」而化「正则函数」而化（「列」于「整数」）而（「或可有」于「循环关系证」）也。
「搜循环关系有界」者会「有界」而会「函」而会「整数参」而
 若「或者」于（「大于」于（「长度」授以「整数」于「整数参」）于「八」）于（「大于」于（「函」中「四」）于「一二八」）则「可无」否则
 鉴（「函」中「三」）而
 有（「正则段」于（「缀」于（「正则运算」于「比号」于「类」于（「正则原语」于「名」）于（「列」【「正则局部」于「甲」，「正则局部」于「乙」】））于「余」）于「终」）则（
  虑「含」者（化「整数」而「爻」也会「号」而「存在吗」授以「整数」于（会「另」而「等于」于「号」于「另」）于「整数参」）而
  若「非」于（「且」于（「或者」于（「串相等」于「名」于『豫言_整数相等』）于（「串相等」于「名」于『豫言_整数大于』））于（「且」于（「含」于「甲」）于（「含」于「乙」）））则「可无」否则
  虑「佳」者「新引用」授以（「或可有」于「循环关系证」）于「可无」而
  虑「试」者（化（「列」于「整数」）而「有」也会「参」而
   虑「量」者「加」于「一」于（「长度」授以「整数」于「参」）而
   虑「域」者「新差分关系」于「量」而
   虑「无」者「差分约束」于「域」于「一」于「零」于「四二九四九六七二九五」而
   虑「无」者「差分约束」于「域」于「零」于（「减」于「量」于「一」）于「零」而
   虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「二」于「量」）于（会「号」而「差分约束」于「域」于「号」于（「减」于「号」于「一」）于「零」）而
   鉴（「验循环关系有界」于「有界」于「函」于「参」于「域」）而有（「可有」于「号们」）则（
    虑「旧量」者鉴（「读引用」于「佳」）而有（「可有」于「旧」）则「长度」授以「整数」于（「旧」中「一」）或有「可无」则「零」而
    若「大于」于（「长度」授以「整数」于「号们」）于「旧量」则「写引用」于「佳」于（「可有」于（「参」与「号们」））否则「元」）或有「可无」则「元」）而
  虑「方向」者（化「整数」而化「整数」而「有」也会「上」而会「扫」而
   虑「无」者「试」于（「列」【「上」，「扫」】）而
   虑「无」者「态射」授以「整数」授以「有」于「整数参」于（会「存」而
    若「或者」于（「等于」于「存」于「上」）于（「等于」于「存」于「扫」）则「元」否则「试」于（「列」【「上」，「扫」，「存」】））而「元」）而
  虑「无」者「方向」于「甲」于「乙」而虑「无」者「方向」于「乙」于「甲」而「读引用」于「佳」）
 或有「其他」则「可无」也。

「：文言：旧证唯省窄化，新证须上界恒定且索引严格在其下。汉语：有界模式还要求索引小于第一守卫参数，并证明所有回边保持该参数不变。调用方仍须检查这个上界不超过同一数组长度；原接口继续只授权省略宽度检查。：」
「验循环关系」乃化「正则函数」而化（「列」于「整数」）而化「差分关系」而（「或可有」于（「列」于「整数」））也。
「验循环关系」者会「函」而会「参」而会「域」而「验循环关系有界」于「阴」于「函」于「参」于「域」也。
「搜循环关系」乃化「正则函数」而化（「列」于「整数」）而（「或可有」于「循环关系证」）也。
「搜循环关系」者会「函」而会「参」而「搜循环关系有界」于「阴」于「函」于「参」也。
