寻观「标准库」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「标准库」之「操作系统」之「子进程」之书。
寻观「拓展库」之「单元测试」之「测试组件」之书。
寻观「包管理服务」之「压缩包验证」之书。

「：古曰：以真包试其印，以伪印试其拒。白话：构造最小 ZIP，覆盖成功与摘要不符两条路径。：」

虑「正文地址」者『/tmp/yy压缩包验证内容.txt』而
虑「归档地址」者『/tmp/yy压缩包验证-1.zip』而
虑「编码地址」者『/tmp/yy压缩包验证-1.base64』而
虑「无」者「写文件」于「正文地址」于『豫言』而
虑「造包应」者「获取输出」于『zip』于（（「列」【『-q』，『-j』，「归档地址」，「正文地址」】））而
虑「无」者「断言」于（「造包应」中「零」）而
虑「摘要应」者「求文件摘要」于「归档地址」而
虑「无」者「断言」于（「摘要应」中「零」）而
虑「无」者「断言」于（「条目类型列安全乎」于（（「列」【『-rw-r--r-- 普通文件』】）））而
虑「无」者「断言」于（「非」于（「条目类型列安全乎」于（（「列」【『lrwxr-xr-x 符号链接』】））））而
虑「无」者鉴「校验压缩包文件」于「归档地址」于（「摘要应」中「一」）而
    有（「压缩包有效」于「文件数」于「解压字节数」）则（
        「断言」于（「等于」于「文件数」于「一」）；
        「断言」于（「等于」于「解压字节数」于「六」））
    或有（「压缩包无效」于「错」）则「发生事故」于（『本应为有效 ZIP：』附「错」）
而虑「无」者鉴「校验压缩包文件」于「归档地址」于『0000000000000000000000000000000000000000000000000000000000000000』而
    有（「压缩包无效」于「错」）则「元」
    或有（「压缩包有效」于「文件数」于「解压字节数」）则「发生事故」于『错误摘要本应被拒绝』
而虑「编码应」者「获取输出」于『openssl』于
    （（「列」【『enc』，『-base64』，『-A』，『-in』，「归档地址」，『-out』，「编码地址」】））而
虑「无」者「断言」于（「编码应」中「零」）而
虑「无」者鉴「校验压缩包编码」于（「读文件」于「编码地址」）于（「摘要应」中「一」）而
    有（「压缩包有效」于「文件数」于「解压字节数」）则「断言」于（「等于」于「文件数」于「一」）
    或有（「压缩包无效」于「错」）则「发生事故」于（『Base64 包本应有效：』附「错」）
而虑「无」者「删文件」于「正文地址」而
虑「无」者「删文件」于「归档地址」而
虑「无」者「删文件」于「编码地址」而
「元」。
