寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编初始化证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编虚组消费」之书。

「：文言：新造而全填，唯交只读者，所返非原组，乃合诸证。汉语：首批只证明整个函数体恰为分配、完整初始化、消费三步的调用链；新数组只能传给这两处，消费结果直接返回。描述符仍要求代码生成保留长度解码、容量与逐次读取检查，尚非生成代码。：」
「虚组调用链证」即
  「正则原子」
  合「整数」
  合「整数」
  合「整数」
  合「字符串」
  合「整数」
  合「虚组值式」
也。

「：文言：次为长、组号、填果、受果、受名、受组参位、值式。汉语：字段依次为长度原子、分配结果编号、初始化结果编号、消费结果编号、消费者名字、数组实参位置、元素生成表达式。：」
「虚组原子同」乃化「正则原子」而化「正则原子」而「爻」也。
「虚组原子同」者会「甲」而会「乙」而
  鉴「甲」而
    有（「正则局部」于「号」）则
      「虚组同局部」于「号」于「乙」
    或有（「正则整数」于「数」）则
      （鉴「乙」而
      有（「正则整数」于「乙数」）则「等于」于「数」于「乙数」
      或有「其他」则「阴」）
    或有「其他」则「阴」
也。

「虚组查函数」乃化「字符串」而化「正则模块」而「或可有」于「正则函数」也。
「虚组查函数」者会「名」而会「诸函」而
  鉴「诸函」而
    有「罄」则「可无」
    或有（「缀」于「函」于「余」）则
      若「串相等」于「名」于（「函」中「零」）则「可有」于「函」否则「虚组查函数」于「名」于「余」
也。

「验虚组调用链」乃
  化「正则模块」而
  化「正则函数」而
  「或可有」于「虚组调用链证」
也。
「验虚组调用链」者会「模块」而会「函」而
  鉴（「函」中「三」）而
    有（「正则段」
      于（「列」【
        （「正则运算」
          于「组号」
          于「组类」
          于（「正则原语」于『豫言_新建引用数组』）
          于（「列」【（「正则整数」于「初」），「长」】）），
          （「正则运算」于「填果」于「填类」于「正则调用」于（「缀」于（「正则函数引用」于「填名」）于「填参」）），
          （「正则运算」于「受果」于「受类」于「正则调用」于（「缀」于（「正则函数引用」于「受名」）于「受参」））
      】）于（「正则产出」于「果」））则（
      若「非」于（「虚组同局部」于「受果」于「果」）则
        「可无」
      否则
        若「存在吗」授以「正则原子」
        于（会「值」而「虚组同局部」于「填果」于「值」）于「受参」则
          「可无」
        否则
          鉴（「虚组查函数」于「填名」于「模块」）而
            有「可无」则「可无」
            或有（「可有」于「填函」）则（
              鉴（「验完整初始化」于「填函」）而
                有「可无」则「可无」
                或有（「可有」于「填证」）则（
                  若「非」于（「等于」于（「长度」授以「正则原子」于「填参」）于「二」）则
                    「可无」
                  否则
                    虑「填合」者
                      「全部符合」授以「整数」
                      于（会「位」
  而
  虑「参号」者「第N个」授以「整数」于「位」于（「填函」中「二」）而
  虑「实参」者「第N个」授以「正则原子」于「位」于「填参」而
  若「等于」于「参号」于（「填证」中「零」）则
    「虚组同局部」于「组号」于「实参」
  否则
    「虚组原子同」于「长」于「实参」）于（「列」【「零」，「一」】）
                    而
                    若「非」于「填合」则
                      「可无」
                    否则
                      鉴（「虚组查函数」于「受名」于「模块」）而
                        有「可无」则「可无」
                        或有（「可有」于「受函」）则（
                          若「非」于（「等于」
                            于（「长度」授以「正则原子」于「受参」）
                            于（「长度」授以「整数」于（「受函」中「二」）））
                          则
                            「可无」
                          否则
                            虑「组位们」者
                              「滤」授以「整数」
                              于（会「位」而「虚组同局部」于「组号」于（「第N个」授以「正则原子」于「位」于「受参」））
                              于（「整数范围」于「零」于（「长度」授以「正则原子」于「受参」））而
                            鉴「组位们」而
                              有（「列」【「组位」】）则（
                                若「验虚组只读」
                                  于「受函」
                                  于（「第N个」授以「整数」于「组位」于（「受函」中「二」））则
                                    「可有」
                                      于（「长」与「组号」与「填果」与「受果」与「受名」与「组位」与（「填证」中「二」））
                                否则
                                  「可无」
                              ）
                              或有「其他」则「可无」
                        ）
                ）
            ）
    ）
    或有「其他」则「可无」
也。

「报告虚组调用链」乃化「正则模块」而「字符串」也。
「报告虚组调用链」者会「模块」而
  「间合」
    于『「：换行：」』
    于（「态射」授以「正则函数」授以「字符串」
      于「模块」
      于（会「函」而
        鉴（「验虚组调用链」于「模块」于「函」）而
          有「可无」则『』
          或有（「可有」于「证」）则
            『[虚拟数组候选] 函数=』附（「函」中「零」）附『；分配值=』附（「整数表示」于（「证」中「一」））附
              『；消费者=』附（「证」中「四」）附『；数组实参位置=』附（「整数表示」于（「证」中「五」））））
也。
