寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「模块装配」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制生成」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制读取」之书。
「：文言：由字节装配，验其行与拒；跨模不得复置预算。汉语：独立模块经标准二进制往返后注册，核验调用、重导出、链接失败与共享预算。：」
「检查」乃化「爻」而化「字符串」而「有」也。
「检查」者会「真」而会「名」而若「真」则「元」否则「发生事故」于（『测试失败：』附「名」）也。
「应拒绝」乃化「字符串」而化（化「有」而「有」）而「有」也。
「应拒绝」者会「片」而会「行」而
 虑「拒」者「尝试运行」授以「爻」于（会「无」而虑「果」者「行」于「元」而「阴」）于（会「错」而「是子字符串吗」于「片」于「错」）而
 「检查」于「拒」于（『应拒绝：』附「片」）也。
「算术」乃「网页模块」也。
「算术」者（「列」【「二」与「一」】）与「罄」与（「列」【「零」与「零」与（「列」【「网页局部读取」于「零」，「网页局部读取」于「一」，「网页加」】）】）与（「列」【『和』与「零」】）也。
「包装」乃化「字符串」而化「字符串」而「网页模块」也。
「包装」者会「模名」而会「函名」而
 （「列」【「二」与「一」，「一」与「一」】）与（「列」【「模名」与「函名」与「零」】）与
 （「列」【「一」与「零」与（「列」【「网页局部读取」于「零」，「网页常量」于「二二」，「网页调用」于「零」】）】）与（「列」【『算』与「一」，『原函数』与「零」】）也。
「往返」乃化「网页模块」而「网页模块」也。
「往返」者会「模」而「读取网页二进制」于（「生成网页二进制」于「模」）也。
「表一」者「注册网页实例」于「罄」于『算术』于（「往返」于「算术」）也。
「表二」者「注册网页实例」于「表一」于『包装』于（「往返」于（「包装」于『算术』于『和』））也。
「表三」者「注册网页实例」于「表二」于『第三层』于（「往返」于（「包装」于『包装』于『原函数』））也。
「验值」乃化「网页实例表」而化「字符串」而化「字符串」而化（「列」于「整数」）而化「整数」而「有」也。
「验值」者会「表」而会「模」而会「函」而会「参」而会「期」而
 虑「果」者「调用网页实例」于（「网页寻找实例」于「表」于「模」）于「一零零零」于「函」于「参」而
 「检查」于（「且」于（「等于」于（「长度」于「果」）于「一」）于（「等于」于（「第N个」于「零」于「果」）于「期」））于「模」也。
「验值」于「表二」于『包装』于『算』于（「列」【「二零」】）于「四二」。
「验值」于「表三」于『第三层』于『算』于（「列」【「二零」】）于「四二」。
「验值」于「表二」于『包装』于『原函数』于（「列」【「一」，「二」】）于「三」。
「应拒绝」于『未注册模块』于（会「无」而虑「果」者「注册网页实例」于「表一」于『坏』于（「包装」于『不存在』于『和』）而「元」）。
「应拒绝」于『导出不存在』于（会「无」而虑「果」者「注册网页实例」于「表一」于『坏』于（「包装」于『算术』于『不存在』）而「元」）。
「应拒绝」于『导入签名不符』于（会「无」而虑「果」者「注册网页实例」于「表二」于『坏』于（「包装」于『包装』于『算』）而「元」）。
「应拒绝」于『注册重名』于（会「无」而虑「果」者「注册网页实例」于「表一」于『算术』于「算术」而「元」）。
「应拒绝」于『预算耗尽』于（会「无」而虑「果」者「调用网页实例」于（「网页寻找实例」于「表三」于『第三层』）于「六」于『算』于（「列」【「二零」】）而「元」）。
「验值」于「表三」于『第三层』于『算』于（「列」【「二一」】）于「四三」。
「递归」乃「网页模块」也。
「递归」者（「列」【「二」与「一」】）与「罄」与（「列」【「零」与「零」与（「列」【「网页局部读取」于「零」，「网页局部读取」于「一」，「网页调用」于「零」】）】）与（「列」【『和』与「零」】）也。
「递归表」者「注册网页实例」于（「注册网页实例」于「罄」于『算术』于「递归」）于『包装』于（「包装」于『算术』于『和』）也。
「应拒绝」于『调用深度』于（会「无」而虑「果」者「调用网页实例」于（「网页寻找实例」于「递归表」于『包装』）于「一零零零零」于『算』于（「列」【「二零」】）而「元」）。
「：文言：易其登记，不易已系之函数。汉语：新注册表放入同名递归提供者，旧包装实例仍应调用先前捕获的加法提供者。：」
「替换表」乃「网页实例表」也。
「替换表」者「列」【『算术』与（「网页寻找实例」于「递归表」于『算术』），『包装』与（「网页寻找实例」于「表二」于『包装』）】也。
「验值」于「替换表」于『包装』于『算』于（「列」【「二零」】）于「四二」。
「深链」乃化「整数」而化「网页实例表」而「网页实例表」也。
「深链」者会「层」而会「表」而若「等于」于「层」于「一四零」则「表」否则
 虑「前名」者若「等于」于「层」于「零」则『算术』否则「整数表示」于（「减」于「层」于「一」）而
 虑「前函」者若「等于」于「层」于「零」则『和』否则『原函数』而
 「深链」于（「加」于「层」于「一」）于（「注册网页实例」于「表」于（「整数表示」于「层」）于（「包装」于「前名」于「前函」））也。
「深表」者「深链」于「零」于「表一」也。
「应拒绝」于『调用深度』于（会「无」而虑「果」者「调用网页实例」于（「网页寻找实例」于「深表」于『139』）于「一零零零零」于『原函数』于（「列」【「二零」，「二二」】）而「元」）。
「文件系统」之「写文件字节串」于『yy装配算术.wasm』于（「生成网页二进制」于「算术」）。
「文件系统」之「写文件字节串」于『yy装配包装.wasm』于（「生成网页二进制」于（「包装」于『算术』于『和』））。
「文件系统」之「写文件字节串」于『yy装配第三层.wasm』于（「生成网页二进制」于（「包装」于『包装』于『原函数』））。
「打印行」于『模块装配与共享预算测试通过』。
