寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「癸象工具」之「总集」之书。
寻观「云工宿主」之「核心」之书。

「：文言：三限之数，皆以 UTF-8 字节计。汉语：地址、主题、正文的字节上限。：」
「地址字节上限」乃「整数」也。
「地址字节上限」者「二五四」也。

「主题字节上限」乃「整数」也。
「主题字节上限」者「二零零」也。

「正文字节上限」乃「整数」也。
「正文字节上限」者「一零四八五七六」也。

「：文言：宿主原语，授名之内验环境是否置此绑定；未授之名，宿主径拒。汉语：调用宿主原语 豫言_云工_授权绑定存在（部署须提供，见说明）：名称已在许可内时返回环境里是否存在该绑定；未授权的名称仍使宿主中止当前请求。：」
「授权绑定存在」乃化「字符串」而化「字符串」而「爻」也。
「授权绑定存在」者会「种类」而会「名称」而
  《《外调》》名『豫言_云工_授权绑定存在』传「种类」与「名称」
也。

「在区间」乃化「整数」而化「整数」而化「整数」而「爻」也。
「在区间」者会「码」而会「下」而会「上」而
  「且」于（「非」于（「小于」于「码」于「下」））于（「非」于（「大于」于「码」于「上」））
也。

「：文言：越界之位返负一，使后续字节之验自败。汉语：读取字节串的第 位 个字节，越界返回 -1。：」
「取字节」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「取字节」者会「字节」而会「长」而会「位」而
  若「小于」于「位」于「长」则
    「字节串取字节」于「字节」于「位」
  否则
    「减」于「零」于「一」
也。

「续字节」乃化「整数」而「爻」也。
「续字节」者会「甲」而
  「在区间」于「甲」于「一二八」于「一九一」
也。

「：文言：自位起解一字，返（码点，所占字节）；格式非法则码点为负一。四字节者一概归增补平面，不细验。汉语：解码位置 位 处的一个 UTF-8 字符，返回（码点，占用字节数）；非法序列的码点为 -1、占 1 字节；四字节字符统一返回 65536（增补平面，不逐点检查）。：」
「解码字符」乃化「字节串」而化「整数」而化「整数」而（「整数」合「整数」）也。
「解码字符」者会「字节」而会「长」而会「位」而
  虑「甲」者「字节串取字节」于「字节」于「位」而
  虑「乙」者「取字节」于「字节」于「长」于（「加」于「位」于「一」）而
  虑「丙」者「取字节」于「字节」于「长」于（「加」于「位」于「二」）而
  若「小于」于「甲」于「一二八」则（「甲」与「一」）否则
    若「小于」于「甲」于「一九二」则（（「减」于「零」于「一」）与「一」）否则
      若「小于」于「甲」于「二二四」则（
        若「续字节」于「乙」则
          （（「加」于（「乘」于（「减」于「甲」于「一九二」）于「六四」）于（「减」于「乙」于「一二八」））与「二」）
        否则
          （（「减」于「零」于「一」）与「一」）
      ）否则
        若「小于」于「甲」于「二四零」则（
          若「且」于（「续字节」于「乙」）于（「续字节」于「丙」）
          则
            （（「加」
              于（「加」
                于（「乘」于（「减」于「甲」于「二二四」）于「四零九六」）
                于（「乘」于（「减」于「乙」于「一二八」）于「六四」））
                于（「减」于「丙」于「一二八」））与「三」
            ）
          否则
            （（「减」于「零」于「一」）与「一」）
        ）否则
          若「小于」于「甲」于「二四八」则（
            若「且」于（「续字节」于「乙」）于（「续字节」于「丙」）则（「六五五三六」与「四」）否则
              （（「减」于「零」于「一」）与「一」）
          ）否则
            （（「减」于「零」于「一」）与「一」）
也。

「：文言：逐字而验，任一字为禁或格式非法，则整串不通。汉语：按 UTF-8 逐字符解码并用“禁用判定”检查；出现禁用码点或非法序列时返回阴。：」
「串通过」乃化「字符串」而化（化「整数」而「爻」）而「爻」也。
「串通过」者会「文」而会「禁用」而
  虑「字节」者「字符串转字节串」于「文」而
  虑「长」者「字节串长度」于「字节」而
  递归虑「查」其化「整数」而「爻」者会「位」而
    若「非」于（「小于」于「位」于「长」）则「阳」否则
      虑「解」者「解码字符」于「字节」于「长」于「位」
      而
      若「或者」于（「小于」于（「解」中「零」）于「零」）于（「禁用」于（「解」中「零」））则
        「阴」
      否则
        「查」于（「加」于「位」于（「解」中「一」））
  而
  「查」于「零」
也。

「：文言：地址所禁：控制与空白（含 U+0080 至 U+00A0、U+1680、U+2000 至 U+200F、U+2028 至 U+202F、U+205F 至 U+206F、U+3000、U+FEFF）。汉语：地址里禁用的码点：C0 控制字符与空格、DEL 与 C1 控制字符、NBSP、U+1680、U+2000–U+200F（各种空格与零宽字符）、U+2028–U+202F（行/段分隔符、双向控制、窄空格）、U+205F–U+206F、U+3000、U+FEFF。：」
「地址码点禁用」乃化「整数」而「爻」也。
「地址码点禁用」者会「码」而
  若「在区间」于「码」于「零」于「三二」则
    「阳」
  否则
    若「在区间」于「码」于「一二七」于「一六零」则「阳」否则
      若「等于」于「码」于「五七六零」则「阳」否则
        若「在区间」于「码」于「八一九二」于「八二零七」则「阳」否则
          若「在区间」于「码」于「八二三二」于「八二三九」则「阳」否则
            若「在区间」于「码」于「八二八七」于「八三零三」则「阳」否则
              若「等于」于「码」于「一二二八八」则「阳」否则
                若「等于」于「码」于「六五二七九」则「阳」否则「阴」
也。

「：文言：地址之特殊字，恐启多收件人、显示名与引文。汉语：地址里禁用的 ASCII 特殊字符，防止多个收件人、显示名和引用：双引号、圆括号、逗号、冒号、分号、尖括号、方括号、反斜线。：」
「地址特殊字」乃化「字符串」而「爻」也。
「地址特殊字」者会「字」而
  「或者」
    于（「或者」
      于（「或者」于（「串相等」于「字」于『"』）于（「串相等」于「字」于『(』））
      于（「或者」于（「串相等」于「字」于『)』）于（「串相等」于「字」于『,』）））
      于（「或者」
        于（「或者」于（「串相等」于「字」于『:』）于（「串相等」于「字」于『;』））
        于（「或者」
          于（「或者」于（「串相等」于「字」于『<』）于（「串相等」于「字」于『>』））
          于（「或者」
            于（「或者」于（「串相等」于「字」于『[』）于（「串相等」于「字」于『]』））
            于（「串相等」于「字」于『\』））））
也。

「无地址特殊字」乃化（「列」于「字符串」）而「爻」也。
「无地址特殊字」者会「诸字」而
  鉴「诸字」而
    有「罄」则「阳」
    或有（「缀」于「首」于「尾」）则（
      若「地址特殊字」于「首」则「阴」否则「无地址特殊字」于「尾」）
也。

「：文言：恰有一「@」，其前其后皆非空。汉语：地址里恰有一个 @，且不在开头或结尾。：」
「恰一个艾特」乃化「字符串」而「爻」也。
「恰一个艾特」者会「文」而
  鉴（「串从左搜索单个」于『@』于「文」）而
    有（「可有」于「左」）则（
      鉴（「串从右搜索单个」于『@』于「文」）而
        有（「可有」于「右」）则
          「且」
            于（「等于」于「左」于「右」）
            于（「且」于（「大于」于「左」于「零」）于（「小于」于「左」于（「减」于（「串长度」于「文」）于「一」）））
        或有「可无」则「阴」
    ）
    或有「可无」则「阴」
也。

「：文言：地址三至二百五十四字节，一址而已，无空白、控制及特殊字。汉语：地址合法：3 至 254 字节，恰一个 @，不含空白、控制字符和特殊字符，因此只能是一个收件人。：」
「地址合法」乃化「字符串」而「爻」也。
「地址合法」者会「文」而
  若「或者」于（「小于」于（「字节长度」于「文」）于「三」）于（「大于」于（「字节长度」于「文」）于「地址字节上限」）则
    「阴」
  否则
    若「非」于（「串通过」于「文」于「地址码点禁用」）则
      「阴」
    否则
      若「非」于（「无地址特殊字」于（「获取字符」于「文」））则「阴」否则
        「恰一个艾特」于「文」
也。

「：文言：主题所禁：控制字符（含换行回车）及行分隔符。汉语：主题里禁用的码点：C0 控制字符（含 CR、LF、制表）、DEL、U+0085、U+2028、U+2029。：」
「主题码点禁用」乃化「整数」而「爻」也。
「主题码点禁用」者会「码」而
  若「在区间」于「码」于「零」于「三一」则
    「阳」
  否则
    若「等于」于「码」于「一二七」则「阳」否则
      若「等于」于「码」于「一三三」则「阳」否则
        若「在区间」于「码」于「八二三二」于「八二三三」则「阳」否则「阴」
也。

「主题合法」乃化「字符串」而「爻」也。
「主题合法」者会「文」而
  若「大于」于（「字节长度」于「文」）于「主题字节上限」则
    「阴」
  否则
    「串通过」于「文」于「主题码点禁用」
也。

「：文言：正文所禁：除制表、换行、回车外之控制字符。汉语：正文里禁用的码点：除 TAB、LF、CR 以外的 C0 控制字符（含 NUL）。：」
「正文码点禁用」乃化「整数」而「爻」也。
「正文码点禁用」者会「码」而
  若「在区间」于「码」于「零」于「八」则
    「阳」
  否则
    若「在区间」于「码」于「一一」于「一二」则「阳」否则
      若「在区间」于「码」于「一四」于「三一」则「阳」否则「阴」
也。

「正文合法」乃化「字符串」而「爻」也。
「正文合法」者会「文」而
  若「大于」于（「字节长度」于「文」）于「正文字节上限」则
    「阴」
  否则
    「串通过」于「文」于「正文码点禁用」
也。

「：文言：先校诸参，返空文为通，否则返其因。汉语：依次检查发件、收件、主题、正文，全部合法返回空字符串，否则返回对应的固定原因。：」
「校验邮件」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「校验邮件」者会「发件」而会「收件」而会「主题」而会「正文」而
  若「非」于（「地址合法」于「发件」）则
    『发件地址无效』
  否则
    若「非」于（「地址合法」于「收件」）则『收件地址无效』否则
      若「非」于（「主题合法」于「主题」）则『邮件主题无效』否则
        若「非」于（「正文合法」于「正文」）则『邮件正文无效』否则『』
也。

「：文言：错误名唯取字母数字与「_.$-」，一至六十四字。汉语：只有由字母、数字、下划线、点、美元符、连字符组成且长 1 至 64 的错误名才会出现在失败原因里。：」
「错误名合法」乃化「字符串」而「爻」也。
「错误名合法」者会「名」而
  虑「字节」者「字符串转字节串」于「名」而
  虑「长」者「字节串长度」于「字节」而
  若「或者」于（「等于」于「长」于「零」）于（「大于」于「长」于「六四」）则
    「阴」
  否则
    递归虑「查」其化「整数」而「爻」者会「位」而
      若「等于」于「位」于「长」则
        「阳」
      否则
        虑「码」者「字节串取字节」于「字节」于「位」
        而
        若「或者」
          于（「或者」于（「在区间」于「码」于「四八」于「五七」）于（「在区间」于「码」于「六五」于「九零」））
          于（「或者」
            于（「在区间」于「码」于「九七」于「一二二」）
            于（「或者」
              于（「等于」于「码」于「九五」）
              于（「或者」
                于（「等于」于「码」于「四六」）
                于（「或者」于（「等于」于「码」于「三六」）于（「等于」于「码」于「四五」）））））
        则
          「查」于（「加」于「位」于「一」）
        否则
          「阴」
    而
    「查」于「零」
也。

「：文言：自错误 JSON 之首取其名，不取其辞（辞或含址与令牌）。汉语：错误 JSON 形如 {"名称":…,"消息":…}；这里只取名称，绝不取消息，因为消息可能含地址或令牌。：」
「错误名称」乃化「字符串」而「字符串」也。
「错误名称」者会「错误文」而
  若「非」于（「串开头是它吗」于『{"名称":"』于「错误文」）则
    『』
  否则
    虑「余」者「去除串开头」于『{"名称":"』于「错误文」而
    鉴（「串从左搜索单个」于『"』于「余」）而
      有（「可有」于「位」）则
        （虑「名」者「获取子字符串」于「零」于「位」于「余」而
          若「错误名合法」于「名」则「名」否则『』）
      或有「可无」则『』
也。

「失败原因」乃化「字符串」而「字符串」也。
「失败原因」者会「错误文」而
  虑「名」者「错误名称」于「错误文」而
  若「串相等」于「名」于『』则
    『邮件发送失败』
  否则
    『邮件发送失败：』附「名」
也。

「：文言：验参、验绑定、投 send；成败以返值告之。汉语：发送纯文字邮件；成功返回（阳，空字符串），任何失败返回（阴，固定简短原因）。send 收到的对象恰为 {from,to,subject,text}。：」
「发送文字邮件」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  （「爻」合「字符串」）
也。
「发送文字邮件」者会「绑定名」而会「发件」而会「收件」而会「主题」而会「正文」而
  虑「问题」者「校验邮件」于「发件」于「收件」于「主题」于「正文」而
  若「非」于（「串相等」于「问题」于『』）则（「阴」与「问题」）否则
    若「非」于（「授权绑定存在」于『EMAIL』于「绑定名」）则（「阴」与『邮件服务未配置』）否则
      虑「邮件号」者「云工邮件绑定」于「绑定名」
      而
      虑「发送属性」者「云工读取属性」于「邮件号」于『send』
      而
      若「非」于（「串开头是它吗」于『{"$句柄"』于「发送属性」）则（「阴」与『邮件服务未配置』）否则
        虑「邮件」者
          「癸象对象」于（「列」【
            （『from』与（「癸象字符串」于「发件」）），
            （『to』与（「癸象字符串」于「收件」）），
            （『subject』与（「癸象字符串」于「主题」）），
            （『text』与（「癸象字符串」于「正文」））
          】）
        而
        虑「结果」者
          「云工调用方法安全」
            于「邮件号」于『send』
            于（『[』附（「癸象表示」于「邮件」）附『]』）
        而
        若「结果」中「零」则（「阳」与『』）否则（「阴」与（「失败原因」于（「结果」中「一」）））
也。
