寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
寻观「编译器核心」之「网页汇编核心」之「类型段验证」之书。
寻观「编译器核心」之「网页汇编核心」之「跨模块类型」之书。
「：文言：同号未必同型，异号未必异型。汉语：覆盖跨模块编号平移、共享表扩展、显式子类型、独立表碰撞及非函数类型拒绝。：」
「检查」乃化「爻」而「有」也。
「检查」者会「真」而若「真」则「元」否则「发生事故」于『跨模块类型测试失败』也。
「函」乃化「网页完整值型」而「网页复合型」也。
「函」者会「参」而「网页函数复合」于（（「列」【「参」】）与（「罄」授以「网页完整值型」））也。
「基」者「阴」与（「罄」授以「整数」）与（「函」于「网页整三二型」）也。
「异」者「阳」与（「罄」授以「整数」）与（「函」于「网页整六四型」）也。
「结构」者「阳」与（「罄」授以「整数」）与（「网页结构复合」于（「罄」授以「网页字段型」））也。
「甲」者「网页验证类型段」于「罄」于（「列」【「列」【「基」】，「列」【「阳」与（「列」【「零」】）与（「函」于「网页整三二型」）】】）也。
「乙」者「网页验证类型段」于（「甲」中「零」）于（「列」【「列」【「结构」】，「列」【「基」】，「列」【「异」】】）也。
「丙」者「网页验证类型段」于「罄」于（「列」【「列」【「异」】】）也。
「检查」于（「网页跨模块函数相容」于「甲」于「零」于「乙」于「一」）。
「检查」于（「网页跨模块函数相容」于「甲」于「一」于「乙」于「一」）。
「检查」于（「非」于（「网页跨模块函数相容」于「乙」于「一」于「甲」于「一」））。
「检查」于（「非」于（「网页跨模块函数相容」于「甲」于「零」于「乙」于「二」））。
「检查」于（「非」于（「网页跨模块函数相容」于「甲」于「零」于「乙」于「零」））。
「检查」于（「非」于（「网页跨模块函数相容」于「甲」于「零」于「丙」于「零」））。
「检查」于（「网页跨模块函数相容」于「乙」于「一」于「甲」于「零」）。
