寻观「标准库」之书。
寻观「标准库」之「数据结构」之「特殊字符」之书。

「：
古曰：名版皆具，既出不易。
白话：包文件采用“包名-版本.zip”；这里只约束 URL/文件安全和数字版本的基本结构。
：」

「包文件」即
    「字符串」「：包名：」合
    「字符串」「：版本：」合
    「字符串」「：文件名：」
也。

「包文件解析结果」立「元类型」也。
    「包文件有效」立化「包文件」而「包文件解析结果」也。
    「包文件无效」立化「字符串」而「包文件解析结果」也。

「纯小写十六进制乎」乃化「字符串」而「爻」也。
「纯小写十六进制乎」者会「文」而
    「且」于（「等于」于（「字节长度」于「文」）于「六四」）
    于（「全部符合」授以「字符串」于（会「字」而「是子字符串吗」于「字」于『0123456789abcdef』）于（「获取字符」于「文」））
也。

「包名可用乎」乃化「字符串」而「爻」也。
「包名可用乎」者会「文」而
    「且」于
        （「且」于（「大于」于（「串长度」于「文」）于「零」）于（「非」于（「大于」于（「串长度」于「文」）于「六四」）））
        于（「全部符合」授以「字符串」于
            （会「字」而「非」于（「是子字符串吗」于「字」于（『/\?#|』附「回车」附「新行」附「制表」）））
            于（「获取字符」于「文」））
也。

「版本可用乎」乃化「字符串」而「爻」也。
「版本可用乎」者会「文」而
    「且」于
        （「且」于（「大于」于（「串长度」于「文」）于「零」）于（「非」于（「大于」于（「串长度」于「文」）于「三二」）））
        于（「且」于
            （「全部符合」授以「字符串」于（会「字」而「是子字符串吗」于「字」于『0123456789.』）于（「获取字符」于「文」））
            于（「且」于
                （「非」于（「串开头是它吗」于『.』于「文」））
                于（「且」于（「非」于（「串结尾是它吗」于『.』于「文」））于（「非」于（「是子字符串吗」于『..』于「文」）））））
也。

「解析包文件名」乃化「字符串」而「包文件解析结果」也。
「解析包文件名」者会「文件名」而
    若「非」于（「串结尾是它吗」于『.zip』于「文件名」）则「包文件无效」于『包文件须以 .zip 结尾』
    否则若「大于」于（「串长度」于「文件名」）于「一二八」则「包文件无效」于『包文件名过长』
    否则虑「无后缀」者「去除串结尾」于『.zip』于「文件名」而
        鉴「串从右搜索单个」于『-』于「无后缀」而
            有「可无」则「包文件无效」于『包名与版本之间须有连字符』
            或有（「可有」于「分界」）则
                虑「包名」者「获取子字符串」于「零」于「分界」于「无后缀」而
                虑「版本」者「获取子字符串」于（「加」于「分界」于「一」）于（「串长度」于「无后缀」）于「无后缀」而
                若「非」于（「包名可用乎」于「包名」）则「包文件无效」于『包名为空、过长或含路径保留字符』
                否则若「非」于（「版本可用乎」于「版本」）则「包文件无效」于『版本须为点分隔的数字，例如 0.1.0 或 2』
                否则「包文件有效」于（「包名」与「版本」与「文件名」）
也。

「对象待发布键」乃化「字符串」而「字符串」也。
「对象待发布键」者会「摘要」而『pending/』附「摘要」附『.zip』也。

「对象正式键」乃化「字符串」而「字符串」也。
「对象正式键」者会「摘要」而『sha256/』附「摘要」附『.zip』也。
