寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
「栈地址仿射」即「或可有」于（「整数」合「整数」）也。
「栈地址摘要」即「整数」合（「列」于「整数」）合（「数组引用类」于「栈地址仿射」）也。
「：文言：索可另持其址，小偏可递，未知则重算；省数另求活性之证。汉语：仅给已有范围证书的参数索引建立地址镜像资格，是否省略原 i64 状态由后续活性分析决定。仿射表只识别参数加减小常量，偏移限制在 -16..16；未知表达式由生成器按实际新索引重算地址。数组必须是唯一数组形参，输入须通过 SSA、表示及范围验证。本模块不授权删除检查。：」
「取栈仿射」乃化（「数组引用类」于「栈地址仿射」）而化「正则原子」而「栈地址仿射」也。
「取栈仿射」者会「表」而会「值」而鉴「值」而有（「正则局部」于「号」）则「读数组引用」授以「栈地址仿射」于「表」于「号」或有「其他」则「可无」也。
「分析栈地址归纳」乃化「正则函数」而化（「数组引用类」于「整数」）而化（「列」于「整数」）而「栈地址摘要」也。
「分析栈地址归纳」者会「函」而会「型」而会「界号」而
 虑「诸参」者「函」中「二」而
 虑「组们」者「滤」授以「整数」于（会「号」而「等于」于（「读数组引用」授以「整数」于「型」于「号」）于「四」）于「诸参」而
 虑「数组号」者鉴「组们」而有（「列」【「号」】）则「号」或有「其他」则「减」于「零」于「一」而
 虑「表」者「新数组引用」授以「栈地址仿射」于「可无」于（「函」中「四」）而
 虑「选」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
 虑「含」者（化「整数」而化（「列」于「整数」）而「爻」也会「号」而会「诸号」而「存在吗」授以「整数」于（会「另」而「等于」于「另」于「号」）于「诸号」）而
 虑「无」者「态射」授以「整数」授以「有」于「诸参」于（会「号」而若「等于」于（「读数组引用」授以「整数」于「型」于「号」）于「一」则「写数组引用」授以「栈地址仿射」于「表」于「号」于（「可有」于（「号」与「零」））否则「元」）而
 虑「移」者（化「正则原子」而化「整数」而「栈地址仿射」也会「值」而会「数」而
  若「或者」于（「大于」于「数」于「一六」）于（「小于」于「数」于（「减」于「零」于「一六」））则「可无」否则
  鉴（「取栈仿射」于「表」于「值」）而有「可无」则「可无」或有（「可有」于「式」）则（
   虑「偏」者「加」于（「式」中「一」）于「数」而
   若「或者」于（「大于」于「偏」于「一六」）于（「小于」于「偏」于（「减」于「零」于「一六」））则「可无」否则「可有」于（（「式」中「零」）与「偏」）））而
 虑「记」者（化「整数」而化「正则原子」而化「正则原子」而「有」也会「号」而会「组」而会「位」而
  若「非」于（「含」于「号」于「界号」）则「元」否则鉴「组」而
   有（「正则局部」于「组号」）则（若「非」于（「等于」于「组号」于「数组号」）则「元」否则鉴「位」而
    有（「正则局部」于「索」）则若「且」于（「含」于「索」于「诸参」）于（「等于」于（「读数组引用」授以「整数」于「型」于「索」）于「一」）则「写数组引用」授以「爻」于「选」于「索」于「阳」否则「元」
    或有「其他」则「元」）
   或有「其他」则「元」）而
 递归虑「扫」其化「正则区域」而「有」者会「段」而鉴「段」而有（「正则段」于「诸令」于「终」）则（
  虑「无」者「态射」授以「正则指令」授以「有」于「诸令」于（会「令」而鉴「令」而
   有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则（
    虑「式」者（「栈地址仿射」也鉴「名」而
     有『豫言_整数加』则（鉴「参」而有（「列」【「值」，「正则整数」于「偏」】）则「移」于「值」于「偏」或有（「列」【「正则整数」于「偏」，「值」】）则「移」于「值」于「偏」或有「其他」则「可无」）
     或有『豫言_整数减』则（鉴「参」而有（「列」【「值」，「正则整数」于「偏」】）则若「或者」于（「大于」于「偏」于「一六」）于（「小于」于「偏」于（「减」于「零」于「一六」））则「可无」否则「移」于「值」于（「减」于「零」于「偏」）或有「其他」则「可无」）
     或有「其他」则「可无」）而
    虑「无」者「写数组引用」授以「栈地址仿射」于「表」于「号」于「式」而
    鉴「名」而有『豫言_读取引用数组』则（鉴「参」而有（「列」【「组」，「位」】）则「记」于「号」于「组」于「位」或有「其他」则「元」）
     或有『豫言_写入引用数组』则（鉴「参」而有（「列」【「值」，「位」，「组」】）则「记」于「号」于「组」于「位」或有「其他」则「元」）
     或有「其他」则「元」）
   或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（「扫」于「阳体」；「扫」于「阴体」）
   或有「其他」则「元」）而「元」）而
 虑「无」者若「小于」于「数组号」于「零」则「元」否则「扫」于（「函」中「三」）而
 「数组号」与（「滤」授以「整数」于（会「号」而「读数组引用」授以「爻」于「选」于「号」）于「诸参」）与「表」也。
