寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编初始化证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编虚组整数」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编虚组取值」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编虚组生成」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。
「：文言：验递归并赋，亦验非尾与误途。汉语：生成独立模块，验证真实消费者生成器；包括尾递归参数交换、非尾递归、除法和 i31 条件边界。：」
「算」乃化「整数」而化「字符串」而化「正则原子」而化「正则原子」而「正则指令」也。
「算」者会「号」而会「名」而会「甲」而会「乙」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于（「列」【「甲」，「乙」】）也。
「段」乃化（「列」于「正则指令」）而化「正则原子」而「正则区域」也。
「段」者会「令」而会「果」而「正则段」于「令」于（「正则产出」于「果」）也。
「函」乃化「字符串」而化（「列」于「整数」）而化「正则区域」而「正则函数」也。
「函」者会「名」而会「参」而会「体」而「名」与「阴」与「参」与「体」与「一六」也。
「读」乃化「整数」而化「正则原子」而「正则指令」也。
「读」者会「号」而会「位」而「算」于「号」于『豫言_读取引用数组』于（「正则局部」于「零」）于「位」也。
「调」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「调」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」）也。
「求和」者「函」于『和』于（「列」【「零」，「一」，「二」】）于（「段」于（「列」【
 「算」于「三」于『豫言_整数大于』于（「正则局部」于「一」）于（「正则整数」于「零」），
 「正则如果」于「八」于「正则通用值」于（「正则局部」于「三」）于（「段」于（「列」【
  「算」于「四」于『豫言_整数减』于（「正则局部」于「一」）于（「正则整数」于「一」），「读」于「五」于（「正则局部」于「四」），
  「算」于「六」于『豫言_整数加』于（「正则局部」于「二」）于（「正则局部」于「五」），
  「调」于「七」于『和』于（「列」【「正则局部」于「零」，「正则局部」于「四」，「正则局部」于「六」】）】）于（「正则局部」于「七」））于
  （「段」于「罄」于（「正则局部」于「二」））】）于（「正则局部」于「八」））也。
「交换」者「函」于『换』于（「列」【「零」，「一」，「二」，「三」】）于（「段」于（「列」【
 「算」于「四」于『豫言_整数大于』于（「正则局部」于「一」）于（「正则整数」于「零」），
 「正则如果」于「八」于「正则通用值」于（「正则局部」于「四」）于（「段」于（「列」【
  「算」于「五」于『豫言_整数减』于（「正则局部」于「一」）于（「正则整数」于「一」），
  「调」于「六」于『换』于（「列」【「正则局部」于「零」，「正则局部」于「五」，「正则局部」于「三」，「正则局部」于「二」】）】）于（「正则局部」于「六」））于
  （「段」于「罄」于（「正则局部」于「二」））】）于（「正则局部」于「八」））也。
「非尾」者「函」于『非尾』于（「列」【「零」，「一」】）于（「段」于（「列」【
 「算」于「二」于『豫言_整数大于』于（「正则局部」于「一」）于（「正则整数」于「零」），
 「正则如果」于「七」于「正则通用值」于（「正则局部」于「二」）于（「段」于（「列」【
  「算」于「三」于『豫言_整数减』于（「正则局部」于「一」）于（「正则整数」于「一」），
  「调」于「四」于『非尾』于（「列」【「正则局部」于「零」，「正则局部」于「三」】），「读」于「五」于（「正则局部」于「三」），
  「算」于「六」于『豫言_整数加』于（「正则局部」于「四」）于（「正则局部」于「五」）】）于（「正则局部」于「六」））于
  （「段」于「罄」于（「正则整数」于「零」））】）于（「正则局部」于「七」））也。
「条件」者「函」于『条件』于（「列」【「零」，「一」】）于（「段」于（「列」【
 「正则如果」于「二」于「正则通用值」于（「正则局部」于「一」）于（「段」于「罄」于（「正则整数」于「一」））于（「段」于「罄」于（「正则整数」于「零」））】）于（「正则局部」于「二」））也。
「除」者「函」于『除』于（「列」【「零」，「一」，「二」】）于（「段」于（「列」【「算」于「三」于『豫言_整数除』于（「正则局部」于「一」）于（「正则局部」于「二」）】）于（「正则局部」于「三」））也。
「坏」者「函」于『坏』于（「列」【「零」，「一」】）于（「段」于（「列」【「调」于「二」于『坏』于（「列」【「正则局部」于「零」，「正则字符串」于『换类』】）】）于（「正则局部」于「二」））也。
若「验虚组整数」于「坏」于「零」则「发生事故」授以「有」于『递归换类不应获整数证明』否则「元」。

「多用」者「函」于『多用』于（「列」【「零」，「一」】）于（「段」于（「列」【
 「算」于「二」于『豫言_整数大于』于（「正则局部」于「一」）于（「正则整数」于「零」），
 「正则如果」于「三」于「正则通用值」于（「正则局部」于「二」）于（「段」于「罄」于（「正则局部」于「二」））于（「段」于「罄」于（「正则局部」于「二」））】）于（「正则局部」于「三」））也。
「算条件」者「函」于『算条件』于（「列」【「零」，「一」】）于（「段」于（「列」【
 「算」于「二」于『豫言_整数加』于（「正则局部」于「一」）于（「正则整数」于「零」），
 「正则如果」于「三」于「正则通用值」于（「正则局部」于「二」）于（「段」于「罄」于（「正则整数」于「一」））于（「段」于「罄」于（「正则整数」于「零」））】）于（「正则局部」于「三」））也。
「换算」者「函」于『换算』于（「列」【「零」，「一」，「二」，「三」】）于（「段」于（「列」【
 「算」于「四」于『豫言_整数大于』于（「正则局部」于「一」）于（「正则整数」于「零」），
 「正则如果」于「一零」于「正则通用值」于（「正则局部」于「四」）于（「段」于（「列」【
  「算」于「五」于『豫言_整数减』于（「正则局部」于「一」）于（「正则整数」于「一」），
  「算」于「六」于『豫言_整数加』于（「正则局部」于「三」）于（「正则整数」于「一」），
  「算」于「七」于『豫言_整数减』于（「正则局部」于「二」）于（「正则整数」于「一」），
  「调」于「八」于『换算』于（「列」【「正则局部」于「零」，「正则局部」于「五」，「正则局部」于「六」，「正则局部」于「七」】）】）于（「正则局部」于「八」））于
  （「段」于「罄」于（「正则局部」于「二」））】）于（「正则局部」于「一零」））也。
「先后」者「函」于『先后』于（「列」【「零」，「一」，「二」】）于（「段」于（「列」【
 「算」于「三」于『豫言_整数加』于（「正则局部」于「一」）于（「正则整数」于「零」），「读」于「四」于（「正则局部」于「三」），
 「算」于「五」于『豫言_整数除』于（「正则整数」于「一」）于（「正则局部」于「二」），
 「算」于「六」于『豫言_整数加』于（「正则局部」于「四」）于（「正则局部」于「五」）】）于（「正则局部」于「六」））也。
「打印行」于（「虚组拼」于（「列」【
 『(module (type $ints (array (mut i64))) (type $big (struct (field i64)))』，
 『(func $box (param $n i64) (result (ref null eq)) local.get $n i64.const -1073741824 i64.ge_s local.get $n i64.const 1073741824 i64.lt_s i32.and if (result (ref null eq)) local.get $n i32.wrap_i64 ref.i31 else local.get $n struct.new $big end)』，
 「回收项串转文」于（「写虚组消费者」于「求和」于「零」于（「虚组减」于（「虚组乘」于「虚组计数」于（「虚组常数」于「二」））于（「虚组常数」于「一」））于『sum』），
 「回收项串转文」于（「写虚组消费者」于「交换」于「零」于「虚组计数」于『swap』），
 「回收项串转文」于（「写虚组消费者」于「非尾」于「零」于「虚组计数」于『recursive』），
 「回收项串转文」于（「写虚组消费者」于「条件」于「零」于「虚组计数」于『condition』），
 「回收项串转文」于（「写虚组消费者」于「除」于「零」于「虚组计数」于『division』），
 「回收项串转文」于（「写虚组消费者」于「多用」于「零」于「虚组计数」于『multi』），
 「回收项串转文」于（「写虚组消费者」于「算条件」于「零」于「虚组计数」于『arithmetic_condition』），
 「回收项串转文」于（「写虚组消费者」于「换算」于「零」于「虚组计数」于『swap_arithmetic』），
 「回收项串转文」于（「写虚组消费者」于「先后」于「零」于「虚组计数」于『ordered』），
 『(export "multi" (func $multi)) (export "arithmetic_condition" (func $arithmetic_condition)) (export "swap_arithmetic" (func $swap_arithmetic)) (export "ordered" (func $ordered))』，
 『(export "sum" (func $sum)) (export "swap" (func $swap)) (export "recursive" (func $recursive)) (export "condition" (func $condition)) (export "division" (func $division)))』】））。
