寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「平台」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「实例」之书。
寻观「客体二号」之「模块」之书。
寻观「客体二号」之「堆」之书。
寻观「客体二号」之「对象」之书。

「：文言：宿主之对象：字节串、元组、大整之构与拆，及十进制之转。汉语：宿主调用的值表示（见运行时的 WasmGC 类型）：整数 = i31 立即数或 $big 结构（i64）；字节串 = $bytes 数组（i8）；元组 = $tuple 数组（eqref）。宿主对象的类型由客体模块导出的原型全局取得。：」
「串_字节数组」者（「静态串」于『yy_bytes』）也。

「串_元组」者（「静态串」于『yy_tuple』）也。

「串_大整」者（「静态串」于『yy_big』）也。

「串_浮点」者（「静态串」于『yy_float』）也。

「取原型类型」乃化「整数」而「整数」也。
「取原型类型」者会「导出名」而
  虑「全局号」者「查导出」于「导出名」而
  若「小于」于「全局号」于「零」则
    「负一」
  否则
    「位与」
      于（「读四」于（「读四」于（「加」于（「读四」于「状态_全局表」）于（「乘」于「全局号」于「八」））））
      于「六五五三五」
也。

「发现宿主类型」乃化「有」而「有」也。
「发现宿主类型」者会「无」而
  虑「无」者
    （「写四」于「状态_型字节」于（「取原型类型」于「串_字节数组」））而
    虑「无」者
      （「写四」于「状态_型元组」于（「取原型类型」于「串_元组」））而
      虑「无」者
        （「写四」于「状态_型大整」于（「取原型类型」于「串_大整」））
      而
      「写四」于「状态_型浮点」于（「取原型类型」于「串_浮点」）
也。

「：文言：对象之构。汉语：构造宿主对象：新字节数组、新元组（长度写在偏移 8，元素从偏移 16 起）；装箱（能放进 i31 者用立即数，否则用 $big 结构）；拆箱到 8 字节槽。：」
「新数组对象」乃化「整数」而化「整数」而「整数」也。
「新数组对象」者会「类型号」而会「长」而
  虑「对象」者
    「分配对象」于（「数组字节」于「类型号」于「长」）于「种类数组」于「类型号」而
    虑「无」者（「写字段」于「对象」于「八」于「长」）而
    「对象」
也。

「新字节数组」乃化「整数」而「整数」也。
「新字节数组」者会「长」而
  「新数组对象」于（「读四」于「状态_型字节」）于「长」
也。

「新元组」乃化「整数」而「整数」也。
「新元组」者会「长」而
  「新数组对象」于（「读四」于「状态_型元组」）于「长」
也。

「能装立即数」乃化「整数」而化「整数」而「爻」也。
「能装立即数」者会「低」而会「高」而
  「且」
    于（「等」于「高」于（「有符号右移」于「低」于「三一」））
    于（「或者」
      于（「等零」于（「有符号右移」于「低」于「三零」））
      于（「等」于（「有符号右移」于「低」于「三零」）于「负一」））
也。

「装箱」乃化「整数」而化「整数」而「整数」也。
「装箱」者会「低」而会「高」而
  若「能装立即数」于「低」于「高」
  则
    「位或」于（「左移」于「低」于「一」）于「一」
  否则
    虑「类型号」者「读四」于「状态_型大整」而
    虑「对象」者
      「分配对象」于（「结构字节」于「类型号」）于「种类结构」于「类型号」
    而
    虑「无」者（「写字段」于「对象」于「八」于「低」）而
    虑「无」者（「写字段」于「对象」于「一二」于「高」）而
    「对象」
也。

「装箱整」乃化「整数」而「整数」也。
「装箱整」者会「值」而
  「装箱」于「值」于（「有符号右移」于「值」于「三一」）
也。

「拆箱」乃化「整数」而化「整数」而「有」也。
「拆箱」者会「引用」而会「槽」而
  虑「无」者（「空引用检」于「引用」）而
  若「不等于」于（「位与」于「引用」于「一」）于「零」
  则
    「宽存」于「槽」于（「有符号右移」于「引用」于「一」）于（「有符号右移」于「引用」于「三一」）
  否则
    「宽存」于「槽」于（「读字段」于「引用」于「八」）于（「读字段」于「引用」于「一二」）
也。

「字节数组长」乃化「整数」而「整数」也。
「字节数组长」者会「对象」而
  「读字段」于「对象」于「八」
也。

「字节数组址」乃化「整数」而「整数」也。
「字节数组址」者会「对象」而
  「加」于「对象」于「一六」
也。

「打印字节数组」乃化「整数」而「有」也。
「打印字节数组」者会「对象」而
  虑「无」者（「空引用检」于「对象」）而
  「打印串」于（「字节数组址」于「对象」）于（「字节数组长」于「对象」）
也。

「元组项」乃化「整数」而化「整数」而「整数」也。
「元组项」者会「元组」而会「序」而
  虑「无」者（「空引用检」于「元组」）而
  虑「无」者
    （「若则致命」
      于（「无符号大等」于「序」于（「读字段」于「元组」于「八」））于「一二七」
        于（「静态串」于『宿主参数个数不足』））
  而
  「读四」于（「加」于（「加」于「元组」于「一六」）于（「乘」于「序」于「四」））
也。

「设元组项」乃化「整数」而化「整数」而化「整数」而「有」也。
「设元组项」者会「元组」而会「序」而会「值」而
  「写四」于（「加」于（「加」于「元组」于「一六」）于（「乘」于「序」于「四」））于「值」
也。

「主机名相同」乃化「整数」而化「整数」而「爻」也。
「主机名相同」者会「名」而会「串」而
  若「不等于」于（「字节数组长」于「名」）于（「零串长」于「串」）则
    「阴」
  否则
    「相同字节」于（「字节数组址」于「名」）于「串」于（「字节数组长」于「名」）
也。

「字节串常量」乃化「整数」而「整数」也。
「字节串常量」者会「串」而
  虑「长」者「零串长」于「串」而
  虑「对象」者「新字节数组」于「长」而
  虑「无」者（「拷贝」于（「加」于「对象」于「一六」）于「串」于「长」）而
  「对象」
也。
