寻观「标准库」之书。
寻观「癸象工具」之「总集」之书。
寻观「云工宿主」之「核心」之书。

「字段命中」乃化（「列」于（「字符串」合「癸象」））而化「字符串」而「癸象」也。
「字段命中」者会「项」而会「名」而
  鉴（「滤」授以（「字符串」合「癸象」）于（会「一项」而「串相等」于（「一项」中「零」）于「名」）于「项」）而
    有（「缀」于「首」于「余」）则（「首」中「一」）
    或有「其他」则「癸象空」
也。

「字段」乃化「癸象」而化「字符串」而「癸象」也。
「字段」者会「值」而会「名」而
  鉴「值」而
    有（「癸象对象」于「项」）则
      「字段命中」于「项」于「名」
    或有「其他」则「癸象空」
也。

「验当前事务」乃化「有」而「有」也。
「验当前事务」者会「无」而
  若「串相等」于（「云工事件种类」于「元」）于『durable-transaction』则
    「元」
  否则
    「发生事故」授以「有」于『当前事件没有持久事务』
也。

「：文言：键须一至二千零四十八字节，越则败而可捕。汉语：持久键按 UTF-8 计须为 1 至 2048 字节，越界抛可捕获的豫言异常。：」
「验持久键」乃化「字符串」而「有」也。
「验持久键」者会「键」而
  若「或者」于（「小于」于（「字节长度」于「键」）于「一」）于（「大于」于（「字节长度」于「键」）于「二零四八」）
  则
    「发生事故」授以「有」于『持久键须为 1 至 2048 字节』
  否则
    「元」
也。

「：文言：事务之败归于值，此处转为可捕之事故；平台已撤诸写。汉语：事务处理入口抛错、缺少结果或存储失败时，宿主已回滚全部写入；这里把失败转成可用「尝试运行」捕获的豫言异常，消息保留原因文字。：」
「执行持久事务」乃化「字符串」而「字符串」也。
「执行持久事务」者会「参数」而
  虑「净参」者「癸象表示」于（「癸象解析」于「参数」）而
  虑「结果」者「云工持久事务执行安全」于「净参」而
  若「结果」中「零」则
    「癸象表示」于（「癸象解析」于（「结果」中「一」））
  否则
    「发生事故」授以「字符串」于（『持久事务失败：』附（「结果」中「一」））
也。

「读取持久事务参数」乃化「有」而「字符串」也。
「读取持久事务参数」者会「无」而
  虑「无」者「验当前事务」于「元」而
  「癸象表示」于（「癸象解析」于（「云工持久事务名」于「元」））
也。

「：文言：读值径取宿主所书之 JSON 文，不再经豫言析而复书，控制字符与增补平面字皆不失。汉语：返回存在标记和宿主序列化的 JSON 文字（不在豫言里解析再表示）；缺键为阴与空字符串，已存 JSON null 为阳与 null。：」
「读取持久事务键值」乃化「字符串」而（「爻」合「字符串」）也。
「读取持久事务键值」者会「键」而
  虑「无」者「验当前事务」于「元」而
  虑「无」者「验持久键」于「键」而
  「云工持久读取值文」于「键」
也。

「：文言：写值先验于宿主原生 JSON、大小与保留形，败则可捕之事故。汉语：值须为有效 JSON 文字、不超过 2 MiB 且不含宿主保留的单键对象；违反时抛可捕获的豫言异常，写入随事务回滚。：」
「写入持久事务键值」乃化「字符串」而化「字符串」而「有」也。
「写入持久事务键值」者会「键」而会「值」而
  虑「无」者「验当前事务」于「元」而
  虑「无」者「验持久键」于「键」而
  虑「结果」者「云工持久写入值安全」于「键」于「值」而
  若「结果」中「零」则
    「元」
  否则
    「发生事故」授以「有」于（『持久事务写入失败：』附（「结果」中「一」））
也。

「完成持久事务」乃化「字符串」而「有」也。
「完成持久事务」者会「结果」而
  虑「无」者「验当前事务」于「元」而
  「云工持久事务输出」于（「癸象表示」于（「癸象解析」于「结果」））
也。

「：文言：仓外直取，惟持久对象之普通事可行；事务入口内当用事务之术。汉语：直接访问持久仓的函数只在持久对象事件中可用，且不能在 durable-transaction 处理入口内使用（那里的读写必须属于当前事务）。：」
「验持久仓事件」乃化「有」而「有」也。
「验持久仓事件」者会「无」而
  虑「种类」者「云工事件种类」于「元」而
  若「串相等」于「种类」于『durable-transaction』则
    「发生事故」授以「有」
    于『持久事务处理入口内须用持久事务函数，不可直接访问持久仓』
  否则
    若「串开头是它吗」于『durable-』于「种类」则「元」否则「发生事故」授以「有」
    于『当前事件不属于持久对象』
也。

「删除持久事务键」乃化「字符串」而「有」也。
「删除持久事务键」者会「键」而
  虑「无」者「验当前事务」于「元」而
  虑「无」者「验持久键」于「键」而
  虑「已删」者「云工持久删除」于「键」而
  「元」
也。

「列举持久事务键值」乃化「字符串」而「字符串」也。
「列举持久事务键值」者会「选项」而
  虑「无」者「验当前事务」于「元」而
  虑「结果」者「云工持久列举值安全」于「选项」而
  若「结果」中「零」则（「结果」中「一」）否则「发生事故」授以「字符串」
    于（『持久列举失败：』附（「结果」中「一」））
也。

「回滚持久事务」乃化「有」而「有」也。
「回滚持久事务」者会「无」而
  虑「无」者「验当前事务」于「元」而
  「云工持久事务回滚」于「元」
也。

「读取持久仓键值」乃化「字符串」而（「爻」合「字符串」）也。
「读取持久仓键值」者会「键」而
  虑「无」者「验持久仓事件」于「元」而
  虑「无」者「验持久键」于「键」而
  「云工持久读取值文」于「键」
也。

「写入持久仓键值」乃化「字符串」而化「字符串」而「有」也。
「写入持久仓键值」者会「键」而会「值」而
  虑「无」者「验持久仓事件」于「元」而
  虑「无」者「验持久键」于「键」而
  虑「结果」者「云工持久写入值安全」于「键」于「值」而
  若「结果」中「零」则
    「元」
  否则
    「发生事故」授以「有」于（『持久仓写入失败：』附（「结果」中「一」））
也。

「删除持久仓键」乃化「字符串」而「爻」也。
「删除持久仓键」者会「键」而
  虑「无」者「验持久仓事件」于「元」而
  虑「无」者「验持久键」于「键」而
  「云工持久删除」于「键」
也。

「列举持久仓键值」乃化「字符串」而「字符串」也。
「列举持久仓键值」者会「选项」而
  虑「无」者「验持久仓事件」于「元」而
  虑「结果」者「云工持久列举值安全」于「选项」而
  若「结果」中「零」则（「结果」中「一」）否则「发生事故」授以「字符串」
    于（『持久列举失败：』附（「结果」中「一」））
也。

「清空持久仓」乃化「有」而「有」也。
「清空持久仓」者会「无」而
  虑「无」者「验持久仓事件」于「元」而
  「云工持久清仓值文」于『{}』
也。
