寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈地址归纳」之书。
「：文言：唯已证单步可析，余体勿用此法。汉语：本分析仅用于验双步形批准的单步区域，末尾返回代表继续下一步，不是函数返回。数组读写、除法保留；只允许删除表示已验证的无用加减乘与比较。地址替换不产生标量读取，独址参数不再写回整数。单步之外的终止返回由生成器恢复数值。：」
「栈纯数术」乃化「正则操作」而「爻」也。
「栈纯数术」者会「术」而鉴「术」而有（「正则原语」于「名」）则（鉴「名」而
 有『豫言_整数加』则「阳」或有『豫言_整数减』则「阳」或有『豫言_整数乘』则「阳」或有『豫言_整数相等』则「阳」或有『豫言_整数大于』则「阳」或有「其他」则「阴」）或有「其他」则「阴」也。
「栈表含号」乃化（「列」于「整数」）而化「整数」而「爻」也。
「栈表含号」者会「诸号」而会「号」而「存在吗」授以「整数」于（会「另」而「等于」于「另」于「号」）于「诸号」也。
「栈可递地址」乃化「栈地址摘要」而化「正则原子」而「爻」也。
「栈可递地址」者会「址证」而会「值」而鉴（「取栈仿射」于（「址证」中「二」）于「值」）而有「可无」则「阴」或有（「可有」于「式」）则「栈表含号」于（「址证」中「一」）于（「式」中「零」）也。
「求栈单步活值」乃化「正则函数」而化「正则区域」而化「栈地址摘要」而化（「列」于「整数」）而化（「列」于「整数」）而「数组引用类」于「爻」也。
「求栈单步活值」者会「函」而会「体」而会「址证」而会「界号」而会「独址」而
 虑「量」者「函」中「四」而
 虑「活」者「新数组引用」授以「爻」于「阴」于「量」而
 虑「依」者「新数组引用」授以（「列」于「正则原子」）于「罄」于「量」而
 虑「队」者「新引用」授以（「列」于「整数」）于「罄」而
 虑「记」者（化「正则原子」而「有」也会「值」而鉴「值」而有（「正则局部」于「号」）则
  若「读数组引用」授以「爻」于「活」于「号」则「元」否则（
   （「写数组引用」授以「爻」于「活」于「号」于「阳」）；「写引用」于「队」于（「缀」于「号」于（「读引用」于「队」）））或有「其他」则「元」）而
 虑「皆记」者（化（「列」于「正则原子」）而「有」也会「诸值」而虑「无」者「态射」授以「正则原子」授以「有」于「诸值」于「记」而「元」）而
 虑「保守」者（化「有」而「有」也会「无」而虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于「量」）于（会「号」而「记」于（「正则局部」于「号」））而「元」）而
 虑「索记」者（化「整数」而化「正则原子」而「有」也会「号」而会「位」而
  若「且」于（「栈表含号」于「界号」于「号」）于（鉴「位」而有（「正则局部」于「索」）则「栈表含号」于（「址证」中「一」）于「索」或有「其他」则「阴」）则「元」否则「记」于「位」）而
 递归虑「扫」其化「正则区域」而「有」者会「段」而鉴「段」而有（「正则段」于「诸令」于「终」）则（
  虑「无」者「态射」授以「正则指令」授以「有」于「诸令」于（会「令」而鉴「令」而
   有（「正则运算」于「号」于「类」于「术」于「参」）则（
    若「栈纯数术」于「术」则「写数组引用」授以（「列」于「正则原子」）于「依」于「号」于「参」否则鉴「术」而
     有（「正则原语」于『豫言_读取引用数组』）则（鉴「参」而有（「列」【「组」，「位」】）则（「记」于「组」；「索记」于「号」于「位」）或有「其他」则「保守」于「元」）
     或有（「正则原语」于『豫言_写入引用数组』）则（鉴「参」而有（「列」【「值」，「位」，「组」】）则（「记」于「值」；「记」于「组」；「索记」于「号」于「位」）或有「其他」则「保守」于「元」）
     或有「正则调用」则（鉴「参」而有（「缀」于（「正则函数引用」于「名」）于「余」）则（
      若「非」于（「且」于（「串相等」于「名」于（「函」中「零」））于（「等于」于（「长度」授以「正则原子」于「余」）于（「长度」授以「整数」于（「函」中「二」））））则「皆记」于「参」否则
      虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于（「长度」授以「正则原子」于「余」））于（会「位」而
       虑「形」者「第N个」授以「整数」于「位」于（「函」中「二」）而
       虑「实」者「第N个」授以「正则原子」于「位」于「余」而
       虑「原样」者鉴「实」而有（「正则局部」于「实号」）则「等于」于「实号」于「形」或有「其他」则「阴」而
       若「原样」则「元」否则
       若「且」于（「栈表含号」于「独址」于「形」）于（「栈可递地址」于「址证」于「实」）则「元」否则「记」于「实」）而「元」）或有「其他」则「皆记」于「参」）
     或有「其他」则「皆记」于「参」）
   或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（「记」于「条件」；「扫」于「阳体」；「扫」于「阴体」）
   或有「其他」则「保守」于「元」）而「元」）而
 虑「无」者「扫」于「体」而
 递归虑「传」其化「有」而「有」者会「无」而鉴（「读引用」于「队」）而有「罄」则「元」或有（「缀」于「号」于「余」）则（
  「写引用」于「队」于「余」；「皆记」于（「读数组引用」授以（「列」于「正则原子」）于「依」于「号」）；「传」于「元」）而
 虑「无」者「传」于「元」而「活」也。
「求栈独址资格」乃化「正则函数」而化「正则区域」而化「栈地址摘要」而化（「列」于「整数」）而（「列」于「整数」）合（「数组引用类」于「爻」）也。
「求栈独址资格」者会「函」而会「体」而会「址证」而会「界号」而
 递归虑「迭」其化（「列」于「整数」）而（「列」于「整数」）合（「数组引用类」于「爻」）者会「候」而
  虑「活」者「求栈单步活值」于「函」于「体」于「址证」于「界号」于「候」而
  虑「新」者「滤」授以「整数」于（会「号」而「非」于（「读数组引用」授以「爻」于「活」于「号」））于「候」而
  若「等于」于（「长度」授以「整数」于「候」）于（「长度」授以「整数」于「新」）则「新」与「活」否则「迭」于「新」而
 「迭」于（「址证」中「一」）也。
