寻观「标准库」之书。
寻观「标准库」之「数据结构」之「特殊字符」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「标准库」之「操作系统」之「子进程」之书。
寻观「标准库」之「网络」之「超文本传输协议」之书。

「：
古曰：受包先验其印，复穷其目录，毋使逸于根外，毋使解而暴长。
白话：校验实际 SHA-256、ZIP CRC、条目路径、条目数和总解压大小；不把归档真正解压到文件系统。
：」

「压缩包校验结果」立「元类型」也。
    「压缩包有效」立化「整数」而化「整数」而「压缩包校验结果」也。
    「压缩包无效」立化「字符串」而「压缩包校验结果」也。

「去尾换行」乃化「字符串」而「字符串」也。
「去尾换行」者会「文」而
    若「串结尾是它吗」于「新行」于「文」则「去尾换行」于（「去除串结尾」于「新行」于「文」）否则「文」
也。

「首空格前」乃化「字符串」而「字符串」也。
「首空格前」者会「文」而
    鉴「串从左搜索单个」于『 』于「文」而
        有「可无」则「文」
        或有（「可有」于「序」）则「获取子字符串」于「零」于「序」于「文」
也。

「校验纯十进制乎」乃化「字符串」而「爻」也。
「校验纯十进制乎」者会「文」而
    「且」于（「非」于（「字符串相等吗」于「文」于『』））
    于（「全部符合」授以「字符串」于（会「字」而「是子字符串吗」于「字」于『0123456789』）于（「获取字符」于「文」））
也。

「求文件摘要」乃化「字符串」而（「爻」合「字符串」）也。
「求文件摘要」者会「文件地址」而
    虑「有原生」者「查找可执行程序」于『sha256sum』而
    虑「应」者若「有原生」中「零」
        则「获取输出」于『sha256sum』于（（「列」【「文件地址」】））
        否则「获取输出」于『shasum』于（（「列」【『-a』，『256』，「文件地址」】））
    而（「应」中「零」）与（若「应」中「零」则「首空格前」于（「应」中「一」）否则「应」中「二」）
也。

「归档路径安全乎」乃化「字符串」而「爻」也。
「归档路径安全乎」者会「条目地址」而
    「且」于（「非」于（「字符串相等吗」于「条目地址」于『』））于
    （「且」于（「非」于（「串开头是它吗」于『/』于「条目地址」））于
    （「且」于（「非」于（「是子字符串吗」于『\』于「条目地址」））于
    （「且」于（「非」于（「是子字符串吗」于『:』于「条目地址」））于
    （「且」于（「非」于（「字符串相等吗」于「条目地址」于『..』））于
    （「且」于（「非」于（「串开头是它吗」于『../』于「条目地址」））于
    （「且」于（「非」于（「是子字符串吗」于『/../』于「条目地址」））于
        （「非」于（「串结尾是它吗」于『/..』于「条目地址」））））））））
也。

「路径列安全乎」乃化（「列」于「字符串」）而「爻」也。
「路径列安全乎」者会「路径们」而
    鉴「路径们」而
        有「罄」则「阳」
        或有（「缀」于「条目地址」于「余下」）则
            若「且」于（「字符串相等吗」于「条目地址」于『』）于（鉴「余下」而有「罄」则「阳」或有「其他」则「阴」）
            则「阳」
            否则「且」于（「归档路径安全乎」于「条目地址」）于（「路径列安全乎」于「余下」）
也。

「条目类型列安全乎」乃化（「列」于「字符串」）而「爻」也。
「条目类型列安全乎」者会「行们」而
    鉴「行们」而
        有「罄」则「阳」
        或有（「缀」于「当前行」于「余下」）则
            若「或者」于
                （「或者」于（「串开头是它吗」于『l』于「当前行」）于（「串开头是它吗」于『b』于「当前行」））
                于（「或者」于（「串开头是它吗」于『c』于「当前行」）于（「或者」于（「串开头是它吗」于『p』于「当前行」）于（「串开头是它吗」于『s』于「当前行」）））
            则「阴」否则「条目类型列安全乎」于「余下」
也。

「取摘要计数」乃化「字符串」而（「爻」合「整数」合「整数」）也。
「取摘要计数」者会「摘要」而
    鉴「串从左搜索单个」于『 file』于「摘要」而
        有「可无」则「阴」与「零」与「零」
        或有（「可有」于「文件界」）则
            鉴「串从左搜索单个」于『, 』于「摘要」而
                有「可无」则「阴」与「零」与「零」
                或有（「可有」于「逗号界」）则
                    鉴「串从左搜索单个」于『 bytes uncompressed』于「摘要」而
                        有「可无」则「阴」与「零」与「零」
                        或有（「可有」于「字节界」）则
                            虑「文件数文」者「获取子字符串」于「零」于「文件界」于「摘要」而
                            虑「字节数文」者「获取子字符串」于（「加」于「逗号界」于「二」）于「字节界」于「摘要」而
                            若「且」于（「校验纯十进制乎」于「文件数文」）于（「校验纯十进制乎」于「字节数文」）
                            则「阳」与（「理解整数」于「文件数文」）与（「理解整数」于「字节数文」）
                            否则「阴」与「零」与「零」
也。

「校验压缩包文件」乃化「字符串」而化「字符串」而「压缩包校验结果」也。
「校验压缩包文件」者会「文件地址」而会「预期摘要」而
    虑「摘要应」者「求文件摘要」于「文件地址」而
    若「非」于（「摘要应」中「零」）则「压缩包无效」于（『无法计算摘要：』附（「摘要应」中「一」））
    否则若「非」于（「字符串相等吗」于（「摘要应」中「一」）于「预期摘要」）则「压缩包无效」于『实际 SHA-256 与声明不一致』
    否则虑「试应」者「获取输出」于『unzip』于（（「列」【『-tqq』，「文件地址」】））而
        若「非」于（「试应」中「零」）则「压缩包无效」于（『ZIP 完整性校验失败：』附（「试应」中「二」））
        否则虑「计应」者「获取输出」于『zipinfo』于（（「列」【『-t』，「文件地址」】））而
            若「非」于（「计应」中「零」）则「压缩包无效」于（『无法读取 ZIP 摘要：』附（「计应」中「二」））
            否则虑「计」者「取摘要计数」于（「去尾换行」于（「计应」中「一」））而
                若「非」于（「计」中「零」）则「压缩包无效」于『无法理解 ZIP 摘要』
                否则若「或者」于（「小于」于（「计」中「一」）于「一」）于（「大于」于（「计」中「一」）于「二零四八」）则「压缩包无效」于『ZIP 条目数须在一至二千零四十八之间』
                否则若「大于」于（「计」中「二」）于「五二四二八八零零」则「压缩包无效」于『ZIP 解压后总大小超过五十 MiB』
                否则虑「列应」者「获取输出」于『zipinfo』于（（「列」【『-1』，「文件地址」】））而
                    若「非」于（「列应」中「零」）则「压缩包无效」于（『无法读取 ZIP 路径：』附（「列应」中「二」））
                    否则若「非」于（「路径列安全乎」于（「按字符串分隔」于「新行」于（「列应」中「一」）））则「压缩包无效」于『ZIP 含有不安全路径』
                    否则虑「类应」者「获取输出」于『zipinfo』于（（「列」【『-l』，「文件地址」】））而
                        若「非」于（「类应」中「零」）则「压缩包无效」于（『无法读取 ZIP 条目类型：』附（「类应」中「二」））
                        否则若「非」于（「条目类型列安全乎」于（「按字符串分隔」于「新行」于（「类应」中「一」）））则「压缩包无效」于『ZIP 不得含符号链接或特殊文件』
                        否则「压缩包有效」于（「计」中「一」）于（「计」中「二」）
也。

「校验压缩包正文」乃化「字符串」而化「字符串」而「压缩包校验结果」也。
「校验压缩包正文」者会「正文」而会「预期摘要」而
    虑「文件地址」者『/tmp/yy包管理-』附「预期摘要」附『.zip』而
    虑「无」者「写文件字节串」于「文件地址」于（「字符串转字节串」于「正文」）而
    虑「结果」者「校验压缩包文件」于「文件地址」于「预期摘要」而
    虑「无」者「删文件」于「文件地址」而
    「结果」
也。

「校验压缩包编码」乃化「字符串」而化「字符串」而「压缩包校验结果」也。
「校验压缩包编码」者会「编码」而会「预期摘要」而
    虑「编码地址」者『/tmp/yy包管理-』附「预期摘要」附『.base64』而
    虑「归档地址」者『/tmp/yy包管理-』附「预期摘要」附『.zip』而
    虑「无」者「写文件」于「编码地址」于「编码」而
    虑「解码应」者「获取输出」于『openssl』于
        （（「列」【『enc』，『-d』，『-base64』，『-A』，『-in』，「编码地址」，『-out』，「归档地址」】））而
    虑「结果」者若「解码应」中「零」则「校验压缩包文件」于「归档地址」于「预期摘要」否则「压缩包无效」于（『无法解码 R2 对象：』附（「解码应」中「二」））而
    虑「无」者「删文件」于「编码地址」而
    虑「无」者若「路径存在」于「归档地址」则（「删文件」于「归档地址」；「元」）否则「元」而
    「结果」
也。
