寻观「标准库」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「拓展库」之「癸象工具」之「癸象解析」之书。
寻观「包管理服务」之「即时发布」之书。
寻观「包管理服务」之「超文本服务」之书。
寻观「包管理服务」之「存储适配」之书。

「：文言：以真库验即时之籍，不以假桥代其法。汉语：测试版本登记、重试、元数据不可变和跨所有者权限。：」
「断言」乃化「爻」而化「字符串」而「有」也。
「断言」者会「值」而会「文」而若「值」则「元」否则「发生事故」授以「有」于「文」也。
「建用户」者「数据库执行」于『CREATE TABLE "用户" ("编号" INTEGER PRIMARY KEY,"名称" TEXT UNIQUE); INSERT INTO "用户" VALUES (1,'甲'),(2,'乙');』也。
「断言」于（「建用户」中「零」）于（「建用户」中「二」）。
「建版本」者「数据库执行」于（「读文件」于『工具/包管理服务/迁移/0005_即时发布.sql』）也。
「断言」于（「建版本」中「零」）于（「建版本」中「二」）。
「元数据」者『{"name":"例包","version":"0.1.0","type":"库","description":"未审查说明"}』也。
「创建」乃化「字符串」而化「字符串」而（「整数」合「字符串」合「字符串」）也。
「创建」者会「主」而会「文」而「即时业务」于（「请求」也（『POST』与『/__direct/create』与（「列」【（『x-yuyan-publisher』与「主」）】）与「文」））也。
「甲」者「创建」于『1』于「元数据」也。
「断言」于（「等于」于（「甲」中「零」）于「二零零」）于（「甲」中「二」）。
「重复」者「创建」于『1』于「元数据」也。
「断言」于（「字符串相等吗」于（「甲」中「二」）于（「重复」中「二」））于『重试不应创建新版本』。
「乙」者「创建」于『2』于「元数据」也。
「断言」于（「等于」于（「乙」中「零」）于「二零零」）于『不同所有者同名包应共存』。
「断言」于（「非」于（「字符串相等吗」于（「甲」中「二」）于（「乙」中「二」）））于『不同所有者不得共用版本编号』。
「改」者「创建」于『1』于（「串查找替换」于「元数据」于『未审查说明』于『修改』）也。
「断言」于（「等于」于（「改」中「零」）于「四零九」）于『已登记元数据不得覆盖』。
「授权」乃化「字符串」而（「整数」合「字符串」合「字符串」）也。
「授权」者会「主」而「即时业务」于（「请求」也（『POST』与『/__direct/authorize』与（「列」【（『x-yuyan-publisher』与「主」）】）与（「甲」中「二」）））也。
「断言」于（「等于」于（（「授权」于『1』）中「零」）于「二零零」）于『本人可以补传』。
「断言」于（「等于」于（（「授权」于『2』）中「零」）于「四零九」）于『不能替别人上传』。
「断言」于（「等于」于（（「创建」于『』于「元数据」）中「零」）于「四零一」）于『无会话不能登记』。
「断言」于（「等于」于（（「创建」于『1』于（「串查找替换」于「元数据」于『0.1.0』于『1』））中「零」）于「四零零」）于『版本必须为三段』。
「打印行」于『即时发布业务测试通过』。
「断言」于（「非」于（「即时版本可用」于『01.0.0』））于『版本段不得含前导零』。
