寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈前导」之书。
寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈表示证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈数值生成」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
「：文言：公门守约，先验而后解；容量不足，复其旧途。汉语：包装保持引用 ABI。未知类型、负长度、容量超限或 memory.grow 失败均调用原 GC 后备，参数不变。允许根数组之前有已证明的整数加减乘；初始化值与长度可引用这些前导结果。前导在类型守卫后、容量预留前执行，失败后备重新执行无副作用的前导。上层必须另证不逃逸、纯数值载荷、整个活跃调用图无宿主重入及无子数组分配；本模块不能单独授权从零使用栈帧。已由实验后端组合调用，默认关闭。：」
「栈入口使用」乃化「正则函数」而「数组引用类」于「爻」也。
「栈入口使用」者会「函」而
 虑「表」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
 虑「记」者（化「正则原子」而「有」也会「值」而鉴「值」而有（「正则局部」于「号」）则「写数组引用」授以「爻」于「表」于「号」于「阳」或有「其他」则「元」）而
 递归虑「扫」其化「正则区域」而「有」者会「段」而鉴「段」而有（「正则段」于「诸令」于「终」）则（
  虑「无」者「态射」授以「正则指令」授以「有」于「诸令」于（会「令」而鉴「令」而
   有（「正则运算」于「号」于「类」于「术」于「参」）则（虑「无」者「态射」授以「正则原子」授以「有」于「参」于「记」而「元」）
   或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（「记」于「条件」；「扫」于「阳体」；「扫」于「阴体」）
   或有「其他」则「元」）而
  鉴「终」而有（「正则产出」于「值」）则「记」于「值」或有「其他」则「元」）而
 虑「无」者「扫」于（「函」中「三」）而「表」也。
「：文言：令以回收之串构之，函以回收之项构之；公门之型以名引 $tN（N 为参数），其型由模块供之。汉语：指令构造成回收串，整个入口构造成回收函数项；入口按名字引用函数类型 $tN（N 为参数个数），该类型项由模块另行提供。：」
「生成栈入口」乃化（化「字符串」而「栈表示签」）而化「字符串」而化「字符串」而化「字符串」而化「栈表示签」而化「正则函数」而「或可有」于「回收项串」也。
「生成栈入口」者会「查签」而会「公名」而会「后备名」而会「私名」而会「本签」而会「函」而
 若「非」于（「全部符合」授以「整数」于（会「类」而「等于」于「类」于「一」）于（「本签」中「零」））则「可无」否则
 鉴（「函」中「三」）而有（「正则段」于「诸令」于「终」）则（鉴（「栈前导分拆」于「诸令」）而有「可无」则「可无」或有（「可有」于「拆」）则（鉴（「拆」中「一」）而
 有（「缀」于（「正则运算」于「根」于「类」于（「正则原语」于『豫言_新建引用数组』）于（「列」【「初」，「长」】））于「余」）则（
  虑「可数」者（化「正则原子」而「爻」也会「值」而鉴「值」而有（「正则整数」于「数」）则「阳」或有（「正则局部」于「位」）则「阳」或有「其他」则「阴」）而
  若「非」于（「且」于（「可数」于「初」）于（「可数」于「长」））则「可无」否则
  鉴（「验栈表示」于「查签」于「本签」于「根」于「函」）而有「可无」则「可无」或有（「可有」于「证表」）则（
   虑「用」者「栈入口使用」于「函」而
   虑「取」者（化「整数」而「回收串」也会「位」而「回收单令」于（「回收局部取」于（『$a』附（「整数表示」于「位」））））而
   虑「数」者（化「正则原子」而「回收串」也会「值」而鉴「值」而有（「正则整数」于「数值」）则「回收单令」于（「回收整六四常」于「数值」）或有（「正则局部」于「位」）则（若「存在吗」授以「整数」于（会「参」而「等于」于「参」于「位」）于（「函」中「二」）则「回收串并」于（「列」【「取」于「位」，「回收单令」于（「回收调用」于『$unbox』）】）否则「回收单令」于（「回收局部取」于（『$sx』附（「整数表示」于「位」））））或有「其他」则「发生事故」授以「回收串」于『栈入口原子证书失效』）而
   虑「前声明」者「串联」授以「回收局部」于（「态射」授以「正则指令」授以（「列」于「回收局部」）于（「拆」中「零」）于（会「令」而鉴「令」而有（「正则运算」于「前号」于「前类」于「前术」于「前参」）则「列」【（『$sx』附（「整数表示」于「前号」））与「回收整六四」】或有「其他」则（「罄」授以「回收局部」）））而
   虑「前计算」者「回收串并」于（「态射」授以「正则指令」授以「回收串」于（「拆」中「零」）于（会「令」而鉴「令」而有（「正则运算」于「前号」于「前类」于（「正则原语」于「名」）于（「列」【「甲」，「乙」】））则「回收串并」于（「列」【「数」于「甲」，「数」于「乙」，「回收单令」于（若「串相等」于「名」于『豫言_整数加』则「回收整六四加」否则若「串相等」于「名」于『豫言_整数减』则「回收整六四减」否则「回收整六四乘」），「回收单令」于（「回收局部存」于（『$sx』附（「整数表示」于「前号」）））】）或有「其他」则「回收空串」））而
   虑「后备」者「回收串并」于（「列」【「回收串并」于（「态射」授以「整数」授以「回收串」于（「函」中「二」）于「取」），「回收单令」于（「回收尾调用」于「后备名」）】）而
   虑「守卫」者「回收串并」于（「态射」授以「整数」授以「回收串」于（「函」中「二」）于（会「位」而若「读数组引用」授以「爻」于「用」于「位」则「回收串并」于（「列」【「取」于「位」，「回收单令」于（「回收引用测」于「阴」于「回收堆小整」），「取」于「位」，「回收令列」于（「列」【「回收引用测」于「阴」于（「回收堆名」于『$big』），「回收整三二或」，「回收整三二与」】）】）否则「回收空串」））而
   「可有」于（「回收单项」于（「回收函数项」
    于「公名」
    于（「回收型名用」于（『$t』附（「整数表示」于（「长度」授以「整数」于（「函」中「二」）））））
    于（「态射」授以「整数」授以「字符串」于（「函」中「二」）于（会「位」而『$a』附（「整数表示」于「位」）））
    于（「附加」授以「回收局部」于（「列」【『$sn』与「回收整六四」，『$sv』与「回收整六四」，『$se』与「回收整三二」，『$si』与「回收整三二」】）于「前声明」）
    于（「回收串并」于（「列」【
    「回收单令」于（「回收整三二常」于「一」），「守卫」，「回收单令」于（「回收若」于『』于（「回收块单果」于「回收等引用」）），「前计算」，
    「数」于「长」，「回收令列」于（「列」【「回收局部存」于『$sn』，「回收整三二常」于「零」，「回收局部取」于『$sn』，「回收调用」于『$reserve』，「回收局部暂存」于『$se』，「回收整三二常」于（「减」于「零」于「一」），「回收整三二不等」，
    「回收若」于『』于（「回收块单果」于「回收等引用」），
     「回收整三二常」于「零」，「回收局部取」于『$sn』，「回收整六四截三二」，「回收整三二存」于「零」】），
    「数」于「初」，「回收令列」于（「列」【「回收局部存」于『$sv』，「回收局部取」于『$sv』，「回收整六四为零」，「回收若」于『』于「回收块无果」，
     「回收整三二常」于「八」，「回收整三二常」于「零」，「回收局部取」于『$sn』，「回收整六四截三二」，「回收整三二常」于「三」，「回收整三二左移」，「回收内存填」，
    「回收否则」，
     「回收整三二常」于「八」，「回收局部存」于『$si』，
     「回收块」于『$filled』于「回收块无果」，「回收循环」于『$fill』于「回收块无果」，
      「回收局部取」于『$si』，「回收局部取」于『$se』，「回收整三二无符号大等」，「回收条件跳」于（「回收名标」于『$filled』），
      「回收局部取」于『$si』，「回收局部取」于『$sv』，「回收整六四存」于「零」，
      「回收局部取」于『$si』，「回收整三二常」于「八」，「回收整三二加」，「回收局部存」于『$si』，「回收跳」于（「回收名标」于『$fill』），
     「回收结束」，「回收结束」，
    「回收结束」】），
    「回收串并」于（「态射」授以「整数」授以「回收串」于（「函」中「二」）于（会「位」而若「读数组引用」授以「爻」于「用」于「位」则「回收串并」于（「列」【「取」于「位」，「回收单令」于（「回收调用」于『$unbox』）】）否则「回收单令」于（「回收整六四常」于「零」））），
    「回收令列」于（「列」【「回收整三二常」于「零」，「回收调用」于「私名」】），若「等于」于（「本签」中「一」）于「一」则「回收单令」于（「回收调用」于『$box』）否则「回收令列」于（「列」【「回收弃」，「回收引用空」于「回收堆等」】），
    「回收单令」于「回收否则」，「后备」，「回收令列」于（「列」【「回收结束」，「回收否则」】），「后备」，「回收单令」于「回收结束」】））））））
 或有「其他」则「可无」））也。
