「：古曰：各守其包，越界则拒。今释：用真实 SQLite 适配器验证令牌用户与包、待上传记录的所有权。：」
寻观「标准库」之书。
寻观「包管理服务」之「包规则」之书。
寻观「包管理服务」之「存储适配」之书。
寻观「包管理服务」之「发布权限」之书。

「断言」乃化「爻」而化「字符串」而「有」也。
「断言」者会「值」而会「说明」而若「值」则「元」否则「发生事故」授以「有」于「说明」也。
「甲包」者（「包文件」也（『甲包』与『1』与『甲包-1.zip』））也。
「乙包」者（「包文件」也（『乙包』与『1』与『乙包-1.zip』））也。
「新包」者（「包文件」也（『新包』与『1』与『新包-1.zip』））也。
「断言」于（「包可准备乎」于「甲包」于『甲符』）于『本人可准备新版』。
「断言」于（「非」于（「包可准备乎」于「乙包」于『甲符』））于『不能准备别人的包』。
「断言」于（「包可准备乎」于「新包」于『甲符』）于『可以准备尚无主的包』。
「断言」于（「上传属于己乎」于「甲包」于『甲符』）于『可确认本人上传』。
「断言」于（「非」于（「上传属于己乎」于「甲包」于『乙符』））于『不能确认别人上传』。
「断言」于（「非」于（「上传属于己乎」于「新包」于『甲符』））于『不存在的上传不能完成』。
「断言」于（「非」于（「上传属于己乎」于「甲包」于『废符』））于『撤销的令牌无权确认』。
「断言」于（「非」于（「上传属于己乎」于「甲包」于『甲符' OR 1=1 --』））于『输入不能改变 SQL 条件』。
「数据库执行」于『UPDATE "邮箱账户" SET "邮箱已验证"=0 WHERE "用户编号"=1;』。
「断言」于（「非」于（「上传属于己乎」于「甲包」于『甲符』））于『已启用令牌也不能绕过邮箱验证』。
「数据库执行」于『UPDATE "邮箱账户" SET "邮箱已验证"=1 WHERE "用户编号"=1;』。
「打印行」于『发布所有权测试通过』。
