寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。

「：文言：同径既验其界，再用可省；异径不得相借。汉语：仅记录同一顺序区域内已成功执行数组访问的局部索引。分支和复杂控制前后清空事实，不从兄弟分支、循环或退出域传播证明。只省重复的 wasm32 转换范围检查，数组自身边界检查保留。：」
「重复索引表」者「新引用」授以（「数组引用类」于「爻」）
于（「新数组引用」授以「爻」于「阴」于「零」）
也。

「证明重复索引」乃化「正则函数」而「有」也。
「证明重复索引」者会「函」而
  虑「表」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
  虑「无」者「写引用」于「重复索引表」于「表」而
  递归虑「扫段」其化「正则区域」而「有」者会「段」而
    鉴「段」而
      有（「正则段」于「诸令」于「终」）则
        虑「已验」者「新引用」授以（「列」于「整数」）于「罄」而
        虑「记」者
          （化「整数」而化「正则原子」而「有」也会「号」而会「值」而鉴「值」而
              有（「正则局部」于「位」）则（
                若「存在吗」授以「整数」
                于（会「前」而「等于」于「前」于「位」）
                于（「读引用」于「已验」）则
                  「写数组引用」授以「爻」于「表」于「号」于「阳」
                否则
                  「写引用」
                    于「已验」
                    于（「缀」于「位」于（「读引用」于「已验」））
              ）
              或有「其他」则「元」
          ）
        而
        虑「无」者
          「态射」授以「正则指令」授以「有」
          于「诸令」
          于（会「令」而鉴「令」而
            有（「正则运算」于「号」于「类」于（「正则原语」于『豫言_读取引用数组』）于（「列」【「组」，「位」】））则
              「记」
                于「号」
                于「位」
            或有（「正则运算」
              于「号」
              于「类」
              于（「正则原语」于『豫言_写入引用数组』）
              于（「列」【「值」，「位」，「组」】））则
                「记」
                  于「号」
                  于「位」
            或有（「正则运算」于「号」于「类」于「术」于「参」）则「元」
            或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
              （「写引用」于「已验」于「罄」；
                「扫段」于「阳体」；
                「扫段」于「阴体」）
            或有（「正则退出域」于「号」于「令牌」于「体」）则
              （「写引用」于「已验」于「罄」；
                「扫段」于「体」）
            或有（「正则结果块」于「号」于「标签」于「体」）则
              （「写引用」于「已验」于「罄」；
                「扫段」于「体」）
            或有「其他」则
              「写引用」于「已验」于「罄」）
        而
        「元」
  而
  「扫段」于（「函」中「三」）
也。
