寻观「底层库」之书。
寻观「底层库」之「内存」之书。
寻观「客体二号」之「基础」之书。

「：文言：域名之报文循 RFC 1035；此模块唯编码与解码，不发网络。汉语：DNS 报文编码与解析，供原生后端通过 UDP 查询；本模块不执行网络调用。：」

「域名读双」乃化「整数」而「整数」也。
「域名读双」者会「址」而
  「加」于（「左移」于（「读一」于「址」）于「八」）于（「读一」于（「加」于「址」于「一」））
也。

「域名写双」乃化「整数」而化「整数」而「有」也。
「域名写双」者会「址」而会「值」而
  虑「无」者
    「写一」于「址」于（「位与」于（「无符号右移」于「值」于「八」）于「二五五」）而
    虑「无」者
      「写一」于（「加」于「址」于「一」）于（「位与」于「值」于「二五五」）
    而
    「元」
也。

「域名标签末」乃化「整数」而化「整数」而化「整数」而「整数」也。
「域名标签末」者会「名」而会「位」而会「长」而
  若「有符号大等」于「位」于「长」则
    「位」
  否则
    若「等」于（「读一」于（「加」于「名」于「位」））于「四六」则
      「位」
    否则
      「域名标签末」于「名」于（「加」于「位」于「一」）于「长」
也。

「：文言：每段先书长，继书其字，末书零；单段至多六十三字节。汉语：按 DNS 标签格式写入域名；每段最长 63 字节，末尾写零。：」
「域名写名」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名写名」者会「名」而会「长」而会「位」而会「出」而会「出位」而
  若「有符号大等」于「位」于「长」则
    （（「写一」于（「加」于「出」于「出位」）于「零」）；
      （「加」于「出位」于「一」））
  否则
    虑「末」者「域名标签末」于「名」于「位」于「长」而
    虑「段长」者「减」于「末」于「位」而
    若「或者」于（「等零」于「段长」）于（「大于」于「段长」于「六三」）则（「减」于「零」于「一」）否则
      虑「无」者「写一」于（「加」于「出」于「出位」）于「段长」
      而
      虑「无」者
        「拷贝」于（「加」于「出」于（「加」于「出位」于「一」））
        于（「加」于「名」于「位」）于「段长」
      而
      「域名写名」
        于「名」
        于「长」
        于（若「等」于「末」于「长」则「末」否则「加」于「末」于「一」）
        于「出」
        于（「加」于（「加」于「出位」于「一」）于「段长」）
也。

「：文言：造一问：标识、递归标、问题名、类型与类一。汉语：构造单问题 DNS 查询，类型 1 为 A、28 为 AAAA；返回报文长度，非法名字或缓冲不足返回 -1。：」
「域名写查询」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名写查询」者会「名」而会「名长」而会「型」而会「标识」而会「出」而会「容」而
  若「或者」
    于（「有符号小等」于「名长」于「零」）
    于（「或者」于（「大于」于「名长」于「二五三」）于（「小于」于「容」于（「加」于「名长」于「一八」）））则
    （「减」于「零」于「一」）
  否则
    虑「无」者「域名写双」于「出」于「标识」
    而
    虑「无」者「域名写双」于（「加」于「出」于「二」）于「二五六」而
    虑「无」者「域名写双」于（「加」于「出」于「四」）于「一」而
    虑「无」者「域名写双」于（「加」于「出」于「六」）于「零」而
    虑「无」者「域名写双」于（「加」于「出」于「八」）于「零」而
    虑「无」者「域名写双」于（「加」于「出」于「一零」）于「零」而
    虑「尾」者「域名写名」于「名」于「名长」于「零」于「出」于「一二」而
    若「小于」于「尾」于「零」则
      「尾」
    否则
      虑「无」者「域名写双」于（「加」于「出」于「尾」）于「型」
      而
      虑「无」者
        「域名写双」于（「加」于「出」于（「加」于「尾」于「二」））于「一」
      而
      「加」于「尾」于「四」
也。

「：文言：跳过报文中之名；压缩指针只占双字节，偏址须在报文内。汉语：跳过回答中的域名；压缩指针占 2 字节，并校验其目标偏移在报文内。：」
「域名越名」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「域名越名」者会「文」而会「长」而会「位」而会「数」而
  若「或者」于（「有符号大等」于「位」于「长」）于（「大于」于「数」于「一二八」）则（「减」于「零」于「一」）否则
    虑「首」者「读一」于（「加」于「文」于「位」）而
    若「等零」于「首」则（「加」于「位」于「一」）否则
      若「等」于（「位与」于「首」于「一九二」）于「一九二」则
        若「有符号大等」于（「加」于「位」于「一」）于「长」则（「减」于「零」于「一」）否则
          若「有符号大等」
            于（「加」
              于（「左移」于（「位与」于「首」于「六三」）于「八」）
              于（「读一」于（「加」于「文」于（「加」于「位」于「一」））））
              于「长」则（「减」于「零」于「一」）
          否则
            （「加」于「位」于「二」）
      否则若「或者」
        于（「大于」于「首」于「六三」）
        于（「大于」于（「加」于（「加」于「位」于「一」）于「首」）于「长」）则（「减」于「零」于「一」）
      否则
        「域名越名」
          于「文」
          于「长」
          于（「加」于（「加」于「位」于「一」）于「首」）
          于（「加」于「数」于「一」）
也。

「：文言：循答段，取首个同型同类之址。汉语：遍历回答段，取第一个类型和类别匹配的 A 或 AAAA 地址。：」
「域名找回答」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名找回答」者会「文」而会「长」而会「位」而会「余」而会「型」而会「出」而
  若「等零」于「余」则（「减」于「零」于「一」）否则
    虑「尾」者「域名越名」于「文」于「长」于「位」于「零」而
    若「或者」于（「小于」于「尾」于「零」）于（「大于」于（「加」于「尾」于「一零」）于「长」）则
      （「减」于「零」于「一」）
    否则
      虑「答型」者「域名读双」于（「加」于「文」于「尾」）
      而
      虑「类」者
        「域名读双」于（「加」于「文」于（「加」于「尾」于「二」））
      而
      虑「数」者
        「域名读双」于（「加」于「文」于（「加」于「尾」于「八」））
      而
      虑「数据」者「加」于「尾」于「一零」
      而
      若「大于」于（「加」于「数据」于「数」）于「长」则（「减」于「零」于「一」）否则
        若「且」
          于（「等」于「答型」于「型」）
          于（「且」
            于（「等」于「类」于「一」）
            于（「等」于「数」于（
              若「等」于「型」于「二八」则「一六」否则「四」）））则
          虑「无」者
            「拷贝」于「出」于（「加」于「文」于「数据」）于「数」
          而
          （若「等」于「型」于「二八」则「一零」否则「二」）
        否则
          「域名找回答」
            于「文」
            于「长」
            于（「加」于「数据」于「数」）
            于（「减」于「余」于「一」）于「型」于「出」
也。

「：文言：核标识、应答标、问题型与类，再寻同型地址。汉语：验证交易标识、响应标志、单个问题的类型与类别，再解析 A 或 AAAA 回答。：」
「域名读回答」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名读回答」者会「文」而会「长」而会「标识」而会「型」而会「出」而
  若「小于」于「长」于「一二」则（「减」于「零」于「一」）否则
    虑「标」者「域名读双」于（「加」于「文」于「二」）而
    若「或者」
      于（「不等于」于（「域名读双」于「文」）于「标识」）
      于（「或者」
        于（「等零」于（「位与」于「标」于「三二七六八」））
        于（「或者」
          于（「不等于」于（「位与」于「标」于「一五」）于「零」）
          于（「不等于」于（「域名读双」于（「加」于「文」于「四」））于「一」）））则（「减」于「零」于「一」）
    否则
      虑「问尾」者「域名越名」于「文」于「长」于「一二」于「零」
      而
      若「或者」于（「小于」于「问尾」于「零」）于（「大于」于（「加」于「问尾」于「四」）于「长」）则
        （「减」于「零」于「一」）
      否则
        若「或者」
          于（「不等于」于（「域名读双」于（「加」于「文」于「问尾」））于「型」）
          于（「不等于」于（「域名读双」于（「加」于「文」于（「加」于「问尾」于「二」）））于「一」）则
          （「减」于「零」于「一」）
        否则
          「域名找回答」
            于「文」
            于「长」
            于（「加」于「问尾」于「四」）
            于（「域名读双」于（「加」于「文」于「六」））于「型」于「出」
也。
