寻观「编译器核心」之「网页汇编核心」之「线性内存」之书。
寻观「编译器核心」之「网页汇编核心」之「状态二进制」之书。
寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「模块装配」之书。
寻观「编译器核心」之「网页汇编核心」之「存储模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「外部模块」之书。
「：文言：外编译器成客体，本执行器验其实算。汉语：本测试读取由独立 C 编译器生成的模块，通过标准函数导入绑定到计数核验模块；不改写客体函数体。：」
「检查」乃化「爻」而「有」也。
「检查」者会「真」而若「真」则「元」否则「发生事故」于『外部模块测试失败』也。
「平台模」乃「网页状态模块」也。
「平台模」者（（（「列」【「二」与「零」，「零」与「一」】）与「罄」与（「列」【
 「零」与「零」与（「列」【「网页局部读取」于「零」，「网页局部读取」于「一」，「网页不等」，「网页条件」于「零」，「网页陷阱」，「网页结束」，「网页全局读取」于「零」，「网页常量」于「一」，「网页加」，「网页全局写入」于「零」】），
 「一」与「零」与（「列」【「网页全局读取」于「零」】）】）与（「列」【『核验』与「零」，『计数』与「一」】））与「罄」与「罄」）与（「列」【「阳」与「零」】）也。
「平台例」者「装配网页状态模块」于「罄」于「平台模」于「四」也。
「表」乃「网页实例表」也。
「表」者「列」【『平台』与（（「平台例」中「零」）中「零」）】也。
「模」者「读取外部二进制」于（「文件系统」之「读文件字节串」于『yy外部C模块.wasm』）也。
「规范」者「生成外部二进制」于「模」也。
「读模」者「读取外部二进制」于「规范」也。
「检查」于（「等于」于（「长度」授以「网页内存声明」于（「读模」中「一」））于「一」）。
「检查」于（「等于」于（「长度」授以「网页外部导出」于（「读模」中「二」））于「四」）。
「检查」于（「等于」于（「外部内存导出号」于「读模」于『memory』）于「零」）。
「甲」者「装配网页外部模块」于「表」于「模」于「四」也。
「乙」者「装配网页外部模块」于「表」于「读模」于「四」也。
「甲果」者「调用网页实例」于（（「甲」中「零」）中「零」）于「一零零零零零」于『启动』于「罄」也。
「乙果」者「调用网页实例」于（（「乙」中「零」）中「零」）于「一零零零零零」于『启动』于「罄」也。
「核数」者「调用网页实例」于（（「平台例」中「零」）中「零」）于「一零零」于『计数』于「罄」也。
「检查」于（「等于」于（「第N个」授以「整数」于「零」于「核数」）于「八」）。
「坏模」者「读取外部二进制」于（「文件系统」之「读文件字节串」于『yy外部C错误.wasm』）也。
「坏例」者「装配网页外部模块」于「表」于「坏模」于「四」也。
「拒」者「尝试运行」授以「爻」于（会「无」而虑「果」者「调用网页实例」于（（「坏例」中「零」）中「零」）于「一零零零零零」于『启动』于「罄」而「阴」）于（会「错」而「阳」）也。
「检查」于「拒」。
「文件系统」之「写文件字节串」于『yy外部C规范.wasm』于「规范」。
「打印行」于『独立C模块、导出保留、双实例与错误期望拒绝通过』。

「文件系统」之「写文件字节串」于『yy外部核验平台.wasm』于（「生成状态二进制」于「平台模」）。
「拒坏」乃化「网页外部模块」而「有」也。
「拒坏」者会「坏」而「检查」于（「尝试运行」授以「爻」于（会「无」而虑「字」者「生成外部二进制」于「坏」而「阴」）于（会「错」而「阳」））也。
「坏号导出」者「态射」授以「网页外部导出」授以「网页外部导出」于（「模」中「二」）于（会「出」而若「等于」于（「出」中「一」）于「二」则（「出」中「零」）与「二」与「一」否则「出」）也。
「拒坏」于（（「模」中「零」）与（「模」中「一」）与「坏号导出」）。
「拒坏」于（（「模」中「零」）与（「列」【「二」与「一」】）与（「模」中「二」））。
「拒坏」于（（「模」中「零」）与（「模」中「一」）与（「缀」于（『memory』与「二」与「零」）于（「模」中「二」）））。
「打印行」于『非法内存导出、表界与重名导出拒绝通过』。

「绑定甲」者「装配网页外部实例」于「表」于「模」于「四」也。
「绑定乙」者「装配网页外部实例」于「表」于「模」于「四」也。
「甲存」者「外部实例内存」于「绑定甲」于『memory』也。
「甲别名」者「外部实例内存」于「绑定甲」于『memory』也。
「乙存」者「外部实例内存」于「绑定乙」于『memory』也。
「网页内存写入」于「甲存」于「四零九六」于「零」于「一」于「八五」。
「宿读」者「调用外部实例」于「绑定甲」于「一零零」于『取字节』于（「列」【「四零九六」】）也。
「检查」于（「等于」于（「第N个」授以「整数」于「零」于「宿读」）于「八五」）。
「客写」者「调用外部实例」于「绑定甲」于「一零零」于『置字节』于（「列」【「四零九六」，「一七零」】）也。
「检查」于（「等于」于（「网页内存读取」于「甲别名」于「四零九六」于「零」于「一」于「阴」）于「一七零」）。
「检查」于（「等于」于（「网页内存读取」于「乙存」于「四零九六」于「零」于「一」于「阴」）于「零」）。
「检查」于（「等于」于（「网页增长内存」于「甲存」于「一」）于「二」）。
「检查」于（「等于」于（「网页内存页数」于「甲别名」）于「三」）。
「检查」于（「等于」于（「网页内存页数」于「乙存」）于「二」）。
「增读」者「调用外部实例」于「绑定甲」于「一零零」于『取字节』于（「列」【「一三一零七二」】）也。
「检查」于（「等于」于（「第N个」授以「整数」于「零」于「增读」）于「零」）。
「增写」者「调用外部实例」于「绑定甲」于「一零零」于『置字节』于（「列」【「一三一零七二」，「九九」】）也。
「检查」于（「等于」于（「网页内存读取」于「甲别名」于「一三一零七二」于「零」于「一」于「阴」）于「九九」）。
「检查」于（「尝试运行」授以「爻」于（会「无」而虑「果」者「外部实例内存」于「绑定甲」于『启动』而「阴」）于（会「错」而「阳」））。
「检查」于（「尝试运行」授以「爻」于（会「无」而虑「果」者「外部实例内存」于「绑定甲」于『不存在』而「阴」）于（会「错」而「阳」））。
「打印行」于『导出内存双向可见、增长别名与实例隔离通过』。
