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

「：文言：组长不移，初检既读，后检可用；读不前移，诸歧各记。汉语：仅用于已验证的封闭栈调用图，前提同重复访问分析：数组头不可变，无宿主重入、原始内存写入或子分配，且 SSA 与表示已验证。回调标记不再执行检查的指令，这些指令不能作为长度来源。每个区域独立选取同一数组的首次实际检查；只有存在后续实际检查时才记录来源。生成器必须在原首次头读取处保存长度，不得提前加载，不得跨分支共享未初始化的局部。：」
「栈访问组号」乃
  化「正则操作」而
  化（「列」于「正则原子」）而
  「或可有」于「整数」
也。
「栈访问组号」者会「术」而会「参」而
  鉴「术」而
    有（「正则原语」于『豫言_读取引用数组』）则
      （鉴「参」而
      有（「列」【「正则局部」于「组号」，「位」】）则「可有」于「组号」
      或有「其他」则「可无」）
    或有（「正则原语」于『豫言_写入引用数组』）则
      （鉴「参」而
      有（「列」【「值」，「位」，「正则局部」于「组号」】）则「可有」于「组号」
      或有「其他」则「可无」）
    或有「其他」则「可无」
也。

「求栈长度复用」乃
  化「正则函数」而
  化（化「整数」而「爻」）而
  「数组引用类」于「整数」
也。
「求栈长度复用」者会「函」而会「省检吗」而
  虑「无号」者「减」于「零」于「一」而
  虑「量」者「函」中「四」而
  虑「表」者「新数组引用」授以「整数」于「无号」于「量」而
  递归虑「扫」其化「正则区域」而「有」者会「段」而
    鉴「段」而
      有（「正则段」于「诸令」于「终」）则（
        虑「前」者「新数组引用」授以「整数」于「无号」于「量」而
        虑「无」者
          「态射」授以「正则指令」授以「有」
          于「诸令」
          于（会「令」而鉴「令」而
            有（「正则运算」于「号」于「类」于「术」于「参」）则
              若「省检吗」于「号」则「元」否则（
                鉴（「栈访问组号」于「术」于「参」）而
                  有「可无」则「元」
                  或有（「可有」于「组号」）则（
                    虑「首」者
                      「读数组引用」授以「整数」于「前」于「组号」
                    而
                    若「小于」于「首」于「零」则
                      「写数组引用」授以「整数」于「前」于「组号」于「号」
                    否则
                      （（「写数组引用」授以「整数」于「表」于「首」于「首」）；
                        （「写数组引用」授以「整数」于「表」于「号」于「首」））
                  ）
              ）
            或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
              （「扫」于「阳体」；
                「扫」于「阴体」）
            或有「其他」则「元」）
        而
        「元」
      ）
  而
  虑「无」者「扫」于（「函」中「三」）而
  「表」
也。
