寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编融合构造」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编整数专门化」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则验证」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编创建证明」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。
「：文言：造者不得挟外效，标同则形同。汉语：独立检查整数载荷、递归参数、标签布局一致性及危险操作；使用SSA验证器检查夹具作用域。：」
「造例」乃化「字符串」而化「整数」而化「整数」而「正则函数」也。
「造例」者会「名」而会「基」而会「模」而
 虑「号」者（化「整数」而「整数」也会「位」而「加」于「基」于「位」）而
 虑「局」者（化「整数」而「正则原子」也会「位」而「正则局部」于（「号」于「位」））而
 虑「运」者（化「整数」而化「正则操作」而化（「列」于「正则原子」）而「正则指令」也会「位」而会「术」而会「参」而「正则运算」于（「号」于「位」）于「正则整数值」于「术」于「参」）而
 虑「枝」者（「列」于「正则指令」也（「列」【
  「运」于「二」于（「正则原语」于（若「等于」于「模」于「四」则『豫言_整数除』否则『豫言_整数减』））于（「列」【「局」于「零」，「正则整数」于「一」】），
  「运」于「三」于「正则调用」于（若「等于」于「模」于「一四」则（「列」【「正则函数引用」于「名」】）否则（「列」【「正则函数引用」于（若「等于」于「模」于「二」则『外部』否则「名」），若「等于」于「模」于「三」则「正则字符串」于『换类』否则「局」于「二」】）），
  「运」于「四」于（「正则原语」于『豫言_整数减』）于（「列」【「局」于「零」，「正则整数」于「一」】），
  「运」于「五」于「正则调用」于（「列」【「正则函数引用」于「名」，「局」于「四」】），
  「运」于「六」于「正则造元组」于（「列」【「局」于「三」，「局」于「五」】），
  「运」于「七」于（「正则造标签」于（若「等于」于「模」于「八」则（「减」于「零」于「一」）否则若「等于」于「模」于「一零」则「一」否则「二」）于（若「等于」于「模」于「九」则「一」否则「二」））于（「列」【「局」于「六」】）】））而
 虑「加令」者（「列」于「正则指令」也（若「等于」于「模」于「七」则（「列」【「运」于「一一」于（「正则读全局」于『路』于『名』于「零」）于「罄」】）否则
  若「等于」于「模」于「一二」则（「列」【「运」于「一一」于（「正则写字段」于「零」）于（「列」【「局」于「三」，「局」于「五」】）】）否则
  若「等于」于「模」于「一五」则（「列」【「运」于「一一」于（「正则原语」于『豫言_整数加』）于（「列」【「局」于「三」，「局」于「五」】）】）否则「罄」））而
 「名」与「阴」与（「列」【「基」】）与（「正则段」于（「列」【
  「运」于「一」于（「正则原语」于『豫言_整数大于』）于（「列」【「局」于「零」，「正则整数」于「零」】），
  「正则如果」于（「号」于「一零」）于「正则通用值」于（「局」于（若「等于」于「模」于「六」则「零」否则「一」））于
   （「正则段」于（「附加」授以「正则指令」于「枝」于「加令」）于（「正则产出」于（「局」于（若「等于」于「模」于「一三」则「六」否则「七」））））于
   （「正则段」于（「列」【
    「运」于「八」于「正则造元组」于（「列」【若「等于」于「模」于「一」则「正则字符串」于『不是整数』否则若「等于」于「模」于「一一」则「正则爻」于「阳」否则「正则整数」于「一」】），
    「运」于「九」于（「正则造标签」于「一」于「一」）于（「列」【「局」于「八」】）】）于（「正则产出」于（「局」于（若「等于」于「模」于「五」则「零」否则「九」））））】）于（「正则产出」于（「局」于「一零」）））与（「加」于「基」于「一二」）也。
「验」乃化「正则函数」而化「爻」而「有」也。
「验」者会「函」而会「期」而虑「无」者「验证正则函数」于「函」而
 虑「真」者鉴（「析纯造型」于「函」）而有（「可有」于「形」）则「阳」或有「可无」则「阴」而
 若「爻相等」于「真」于「期」则「元」否则「发生事故」授以「有」于『创建证明错误』也。
「正例」者「造例」于『建树』于「零」于「零」也。
「验」于「正例」于「阳」。
「验」于（「造例」于『移名』于「一三」于「零」）于「阳」。
「态射」授以「整数」授以「有」于（「整数范围」于「一」于「一六」）于（会「模」而「验」于（「造例」于『拒例』于「零」于「模」）于「阴」）。
「验」于（『不止』与「阴」与（「列」【「零」】）与（「正则段」于（「列」【「正则运算」于「一」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『不止』，「正则局部」于「零」】）】）于（「正则产出」于（「正则局部」于「一」）））与「二」）于「阴」。
「验」于（（「正例」中「零」）与（「正例」中「一」）与（「正例」中「二」）与（「正例」中「三」）与「一二九」）于「阴」。
「形」者鉴（「析纯造型」于「正例」）而有（「可有」于「形」）则「形」或有「可无」则「发生事故」授以「纯造布局」于『无布局』也。
鉴（「纯造查形」于「一」于「形」）而有（「可有」于（「列」【「一」】））则「元」或有「其他」则「发生事故」授以「有」于『叶形不符』。
鉴（「纯造查形」于「二」于「形」）而有（「可有」于（「列」【「二」，「二」】））则「元」或有「其他」则「发生事故」授以「有」于『枝形不符』。
「打印行」于『创建证明二十一项通过』。

「：文言：造受合验，诸标皆须可折。汉语：复用消费者夹具验证两侧证明组合；不能仅证明叶子而忽略内部节点。：」
「造折」乃化「字符串」而化「整数」而化「整数」而「正则函数」也。
「造折」者会「名」而会「基」而会「模」而
 虑「号」者（化「整数」而「整数」也会「位」而「加」于「基」于「位」）而
 虑「局」者（化「整数」而「正则原子」也会「位」而「正则局部」于（「号」于「位」））而
 虑「运」者（化「整数」而化「正则操作」而化（「列」于「正则原子」）而「正则指令」也会「位」而会「术」而会「参」而「正则运算」于（「号」于「位」）于「正则通用值」于「术」于「参」）而
 虑「叶段」者「正则段」于（「列」【「运」于「三」于「正则取载荷」于（「列」【「局」于「零」】），「运」于「四」于（「正则取字段」于「零」）于（「列」【「局」于「三」】）】）于（「正则产出」于（「局」于「四」））而
 虑「枝令」者（「列」于「正则指令」也（「列」【
  「运」于「七」于「正则取载荷」于（「列」【「局」于「零」】），
  「运」于「八」于（「正则取字段」于「零」）于（「列」【「局」于「七」】），
  「运」于「九」于（「正则取字段」于（若「等于」于「模」于「六」则「二」否则「一」））于（「列」【「局」于「七」】），
  「运」于「一零」于「正则调用」于（「列」【「正则函数引用」于（若「等于」于「模」于「一」则『未知』否则「名」），「局」于（若「等于」于「模」于「二」则「零」否则「八」）】），
  「运」于「一一」于「正则调用」于（「列」【「正则函数引用」于「名」，「局」于（若「等于」于「模」于「三」则「八」否则「九」）】），
  「运」于「一二」于（「正则原语」于（若「等于」于「模」于「四」则『豫言_整数除』否则『豫言_整数加』））于（「列」【「局」于「一零」，「局」于「一一」】）】））而
 虑「枝段」者「正则段」于（若「等于」于「模」于「七」则「附加」授以「正则指令」于「枝令」于（「列」【「运」于「一五」于（「正则原语」于『豫言_整数除』）于（「列」【「正则整数」于「一」，「正则整数」于「零」】）】）否则「枝令」）于（「正则产出」于（若「等于」于「模」于「五」则「局」于「一零」否则若「等于」于「模」于「八」则「局」于「八」否则「局」于「一二」））而
 虑「非叶」者「正则段」于（「列」【
  「运」于「五」于「正则取标签」于（「列」【「局」于「零」】），
  「运」于「六」于（「正则原语」于『豫言_整数相等』）于（「列」【「局」于「五」，「正则整数」于「二」】），
  「正则如果」于（「号」于「一三」）于「正则通用值」于（「局」于「六」）于「枝段」于（「正则段」于「罄」于（「正则产出」于（「正则整数」于「零」）））】）于（「正则产出」于（「局」于「一三」））而
 「名」与「阴」与（「列」【「基」】）与（「正则段」于（「列」【
  「运」于「一」于「正则取标签」于（「列」【「局」于「零」】），
  「运」于「二」于（「正则原语」于『豫言_整数相等』）于（「列」【「局」于「一」，「正则整数」于「一」】），
  「正则如果」于（「号」于「一四」）于「正则通用值」于（「局」于「二」）于「叶段」于「非叶」】）于（「正则产出」于（「局」于「一四」）））与（「加」于「基」于「二零」）也。

「验配」乃化「正则函数」而化「正则函数」而化「爻」而「有」也。
「验配」者会「生」而会「消」而会「期」而
 虑「无」者「验证正则函数」于「生」而虑「无」者「验证正则函数」于「消」而
 虑「真」者鉴（「验造消配合」于「生」于「消」）而有（「可有」于「表」）则「阳」或有「可无」则「阴」而
 虑「合真」者鉴（「构造融合」于「生」于「消」）而有（「可有」于「函」）则（虑「无」者「验证正则函数」于「函」而「阳」）或有「可无」则「阴」而
 若「且」于（「爻相等」于「真」于「期」）于（「爻相等」于「合真」于「期」）则「元」否则「发生事故」授以「有」于『造消配合错误』也。
「验配」于「正例」于（「造折」于『求和』于「零」于「零」）于「阳」。
「验配」于「正例」于（「造折」于『求和』于「零」于「四」）于「阴」。
「验配」于（「造例」于『建树』于「零」于「一」）于（「造折」于『求和』于「零」于「零」）于「阴」。
「验配」于（「造例」于『移名造』于「一三」于「零」）于（「造折」于『移名折』于「一三」于「零」）于「阳」。
「验配」于「正例」于（「造折」于『求和』于「零」于「五」）于「阴」。
「验配」于（「造例」于『建树』于「零」于「一零」）于（「造折」于『求和』于「零」于「零」）于「阴」。
「打印行」于『造消配合六项通过』。

「融合」者鉴（「构造融合」于「正例」于（「造折」于『求和』于「零」于「零」））而有（「可有」于「函」）则「函」或有「可无」则「发生事故」授以「正则函数」于『融合未生成』也。
「写引用」于「专整尾标」于『$sum_loop』。
「打印行」于（「拼」于（「列」【『(module (func $nfusion (export "test") (param $i0 i64) (result i64) (local $acc i64)』，
 「拼」于（「态射」授以「整数」授以「字符串」于（「整数范围」于「一」于（「融合」中「四」））于（会「号」而『(local $i』附（「整数表示」于「号」）附『 i64)』）），
 『(loop $sum_loop (result i64)』，「回收串转文」于（「写专整段」于『fusion』于「阳」于（「融合」中「三」）），『) local.get $acc i64.add))』】））。
