寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「安全外壳协议」之「密钥交换」之书。
寻观「安全外壳协议」之「公钥文本」之书。
寻观「安全外壳密码」之「原语」之书。

「已知主机空白位」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机空白位」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「三二」则
      「已知主机空白位」于「文」于（「加」于「位」于「一」）于「终」
    否则若「等于」于「字」于「九」则「已知主机空白位」于「文」
    于（「加」于「位」于「一」）于「终」
    否则
      「位」
也。

「已知主机字段尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机字段尾」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「三二」则「位」
    否则若「等于」于「字」于「九」则「位」
    否则
      「已知主机字段尾」于「文」于（「加」于「位」于「一」）于「终」
也。

「已知主机行尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机行尾」者会「文」而会「位」而会「限」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「位」
  否则若「等于」于「位」于「限」则「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「一零」则
    「位」
  否则
    「已知主机行尾」于「文」于（「加」于「位」于「一」）于「限」
也。

「：文言：明文名单惟受逐字主机名；通配与否名不授信。汉语：普通主机名列表只接受精确名称，通配或否定模式不授予信任；哈希名另行校验。：」
「已知主机名单纯吗」乃化「字节串」而化「整数」而化「整数」而「爻」也。
「已知主机名单纯吗」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「阳」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「四二」则「阴」
    否则若「等于」于「字」于「六三」则「阴」
    否则若「等于」于「字」于「三三」则「阴」
    否则若「等于」于「字」于「一二四」则「阴」
    否则
      「已知主机名单纯吗」于「文」于（「加」于「位」于「一」）于「终」
也。

「已知主机名单项尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机名单项尾」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「四四」则
    「位」
  否则
    「已知主机名单项尾」于「文」于（「加」于「位」于「一」）于「终」
也。

「已知主机名单含名吗」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  化「字节串」而
  「爻」
也。
「已知主机名单含名吗」者会「文」而会「位」而会「终」而会「主机」而
  若「等于」于「位」于「终」则
    「阴」
  否则
    虑「尾」者「已知主机名单项尾」于「文」于「位」于「终」而
    若「换钥字节同」于（「截取字节串」于「文」于「位」于（「减」于「尾」于「位」））于「主机」则
      「阳」
    否则若「等于」于「尾」于「终」则「阴」
    否则
      「已知主机名单含名吗」于「文」于（「加」于「尾」于「一」）于「终」于「主机」
也。

「：文言：解二十字之规范 Base64，末字必为填号。汉语：严格解码 20 字节盐或摘要所用的 28 字符标准 Base64，校验填充和未用位。：」
「解已知主机二十字」乃化「字节串」而（「或可有」于「字节串」）也。
「解已知主机二十字」者会「编码」而
  若「不等于」于（「字节串长度」于「编码」）于「二八」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「编码」于「二七」）于「六一」则
    「可无」
  否则
    鉴「解公钥Base64续」于「编码」于「零」于「六」于（「空字节串」于「元」）而
      有（「可有」于「首十八」）则（
        虑「甲」者
          「公钥Base64字值」于（「字节串取字节」于「编码」于「二四」）
        而
        虑「乙」者
          「公钥Base64字值」于（「字节串取字节」于「编码」于「二五」）
        而
        虑「丙」者
          「公钥Base64字值」于（「字节串取字节」于「编码」于「二六」）
        而
        若「小于」于「甲」于「零」则
          「可无」
        否则若「小于」于「乙」于「零」则「可无」
        否则若「小于」于「丙」于「零」则「可无」
        否则若「不等于」于（「乘」于（「除以」于「丙」于「四」）于「四」）于「丙」则
          「可无」
        否则
          虑「乙高」者「除以」于「乙」于「一六」
          而
          虑「前字」者「加」于（「乘」于「甲」于「四」）于「乙高」
          而
          虑「后字」者
            「加」
              于（「乘」于（「减」于「乙」于（「乘」于「乙高」于「一六」））于「一六」）
              于（「除以」于「丙」于「四」）
          而
          「可有」于（「拼接字节串」
            于「首十八」
            于（「拼接字节串」于（「单字节串」于「前字」）于（「单字节串」于「后字」）））
      ）
      或有「可无」则「可无」
也。

「：文言：隐名式惟认 |1|盐|摘要，以 HMAC-SHA1 比名。汉语：匹配 OpenSSH |1|salt|hash 格式，两个字段都须为规范 Base64 编码的 20 字节。：」
「已知主机隐名合吗」乃化「字节串」而化「字节串」而「爻」也。
「已知主机隐名合吗」者会「隐名」而会「主机」而
  若「不等于」于（「字节串长度」于「隐名」）于「六零」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「零」）于「一二四」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「一」）于「四九」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「二」）于「一二四」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「三一」）于「一二四」则
    「阴」
  否则
    鉴「解已知主机二十字」于（「截取字节串」于「隐名」于「三」于「二八」）而
      有（「可有」于「盐」）则（
        鉴「解已知主机二十字」于（「截取字节串」于「隐名」于「三二」于「二八」）而
          有（「可有」于「摘要」）则
            「换钥字节同」
              于（「求已知主机HMACSHA1」于「盐」于「主机」）
              于「摘要」
          或有「可无」则「阴」
      ）
      或有「可无」则「阴」
也。

「：文言：返零为无关，一为信任，二为撤钥；全域撤钥亦生效。汉语：一行返回 0 无关、1 信任或 2 撤销；@revoked * 对所呈 Ed25519 密钥全域生效。：」
「验已知主机一行」乃化「字节串」而化「字节串」而化「字节串」而「整数」也。
「验已知主机一行」者会「行」而会「主机」而会「所呈」而
  虑「终」者「字节串长度」于「行」而
  虑「首」者「已知主机空白位」于「行」于「零」于「终」而
  若「等于」于「首」于「终」则
    「零」
  否则若「等于」于（「字节串取字节」于「行」于「首」）于「三五」则「零」
  否则
    虑「首尾」者「已知主机字段尾」于「行」于「首」于「终」而
    虑「首字」者
      「截取字节串」于「行」于「首」于（「减」于「首尾」于「首」）
    而
    虑「撤钥」者
      「换钥字节同」于「首字」于（「字符串转字节串」于『@revoked』）
    而
    虑「名单首」者
      若「撤钥」则「已知主机空白位」于「行」于「首尾」于「终」否则「首」
    而
    若「等于」于「名单首」于「终」则
      「零」
    否则若「等于」于（「字节串取字节」于「行」于「名单首」）于「六四」则
      「零」
    否则
      虑「名单尾」者「已知主机字段尾」于「行」于「名单首」于「终」
      而
      虑「全域撤钥」者
        「且」
          于「撤钥」
          于（「换钥字节同」
            于（「截取字节串」于「行」于「名单首」于（「减」于「名单尾」于「名单首」））
            于（「字符串转字节串」于『*』））
      而
      虑「隐名」者
        「等于」于（「字节串取字节」于「行」于「名单首」）于「一二四」
      而
      虑「名单合」者
        若「隐名」则
          「已知主机隐名合吗」
            于（「截取字节串」于「行」于「名单首」于（「减」于「名单尾」于「名单首」））
            于「主机」
        否则若「全域撤钥」则「阳」
        否则若「已知主机名单纯吗」于「行」于「名单首」于「名单尾」则
          「已知主机名单含名吗」于「行」于「名单首」于「名单尾」于「主机」
        否则
          「阴」
      而
      若「非」于「名单合」则
        「零」
      否则
        虑「钥首」者「已知主机空白位」于「行」于「名单尾」于「终」
        而
        若「等于」于「钥首」于「终」则
          「零」
        否则
          鉴「读取单行Ed25519公钥载物」于（「截取字节串」于「行」于「钥首」于（「减」于「终」于「钥首」））而
            有（「可有」于「钥」）则（
              若「换钥字节同」于「钥」于「所呈」则（
                若「撤钥」则「二」否则「一」）
              否则
                「零」）
            或有「可无」则「零」
也。

「验已知主机余行」乃
  化「字节串」而
  化「整数」而
  化「字节串」而
  化「字节串」而
  化「整数」而
  化「整数」而
  「整数」
也。
「验已知主机余行」者会「文」而会「位」而会「主机」而会「所呈」而会「已验」而会「余行」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「已验」
  否则若「等于」于「余行」于「零」则「二」
  否则
    虑「尾」者
      「已知主机行尾」于「文」于「位」于（「加」于「位」于「四零九七」）
    而
    若「大于」于（「减」于「尾」于「位」）于「四零九六」则
      「二」
    否则
      虑「净尾」者
        若「大于」于「尾」于「位」则（
          若「等于」
            于（「字节串取字节」于「文」于（「减」于「尾」于「一」））于「一三」则「减」
              于「尾」于「一」
          否则
            「尾」
        ）否则「尾」
      而
      虑「行」者
        「截取字节串」于「文」于「位」于（「减」于「净尾」于「位」）
      而
      虑「结果」者「验已知主机一行」于「行」于「主机」于「所呈」
      而
      若「等于」于「结果」于「二」则
        「二」
      否则
        虑「新验」者
          若「等于」于「结果」于「一」则「一」否则「已验」
        而
        若「等于」于「尾」于（「字节串长度」于「文」）则
          「新验」
        否则
          「验已知主机余行」
            于「文」
            于（「加」于「尾」于「一」）
            于「主机」于「所呈」于「新验」
            于（「减」于「余行」于「一」）
也。

「：文言：验已知主机簿所载之钥；撤钥先于任一信任。汉语：按精确主机名验证 known_hosts Ed25519 条目，任何匹配的 @revoked 条目优先否决。：」
「已知主机信任Ed25519钥吗」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  「爻」
也。
「已知主机信任Ed25519钥吗」者会「文」而会「主机」而会「所呈」而
  若「大于」于（「字节串长度」于「文」）于「二六二一四四」则
    「阴」
  否则若「等于」于（「字节串长度」于「主机」）于「零」则「阴」
  否则若「大于」于（「字节串长度」于「主机」）于「二五六」则「阴」
  否则若「不等于」于（「字节串长度」于「所呈」）于「五一」则
    「阴」
  否则若「等于」于（「验已知主机余行」于「文」于「零」于「主机」于「所呈」于「零」于「四零九六」）于「一」则「阳」
  否则
    「阴」
也。
