寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
「：文言：验异系不通、空底分流与引用初值。汉语：覆盖 GC 抽象堆的三条独立层次、底类型方向、非空引用不可默认及窄字段展开；不是具体递归类型验证。：」
「检查」乃化「爻」而「有」也。
「检查」者会「真」而若「真」则「元」否则「发生事故」于『完整类型测试失败』也。
「合」乃化「网页抽象堆型」而化「网页抽象堆型」而「有」也。
「合」者会「源」而会「目」而「检查」于（「网页抽象堆相容」于「源」于「目」）也。
「不合」乃化「网页抽象堆型」而化「网页抽象堆型」而「有」也。
「不合」者会「源」而会「目」而「检查」于（「非」于（「网页抽象堆相容」于「源」于「目」））也。
「合」于「网页空聚合堆」于「网页小整堆」。
「合」于「网页空聚合堆」于「网页数组堆」。
「合」于「网页空聚合堆」于「网页结构堆」。
「合」于「网页空聚合堆」于「网页可等堆」。
「合」于「网页空聚合堆」于「网页任意堆」。
「合」于「网页数组堆」于「网页可等堆」。
「合」于「网页结构堆」于「网页任意堆」。
「合」于「网页小整堆」于「网页可等堆」。
「合」于「网页可等堆」于「网页任意堆」。
「合」于「网页空函数堆」于「网页函数堆」。
「合」于「网页空外部堆」于「网页外部堆」。
「合」于「网页结构堆」于「网页结构堆」。
「不合」于「网页函数堆」于「网页任意堆」。
「不合」于「网页外部堆」于「网页任意堆」。
「不合」于「网页空聚合堆」于「网页函数堆」。
「不合」于「网页空函数堆」于「网页外部堆」。
「不合」于「网页空外部堆」于「网页可等堆」。
「不合」于「网页数组堆」于「网页结构堆」。
「不合」于「网页任意堆」于「网页可等堆」。
「不合」于「网页小整堆」于「网页空聚合堆」。
「检查」于（「网页值可默认」于「网页整六四型」）。
「检查」于（「网页值可默认」于「网页浮六四型」）。
「检查」于（「网页值可默认」于（「网页引用值型」于「阳」于（「网页抽象堆」于「网页可等堆」）））。
「检查」于（「非」于（「网页值可默认」于（「网页引用值型」于「阴」于（「网页具体堆」于「零」））））。
「检查」于（鉴（「网页存储展开」于「网页整八存储」）而有「网页整三二型」则「阳」或有「其他」则「阴」）。
「检查」于（鉴（「网页存储展开」于「网页整十六存储」）而有「网页整三二型」则「阳」或有「其他」则「阴」）。
「检查」于（鉴（「网页存储展开」于（「网页普通存储」于「网页整六四型」））而有「网页整六四型」则「阳」或有「其他」则「阴」）。

「合」于「网页空异常堆」于「网页异常堆」。
「不合」于「网页异常堆」于「网页任意堆」。
「不合」于「网页空异常堆」于「网页空聚合堆」。
