寻观「标准库」之书。
寻观「云工宿主」之「核心」之书。

「：文言：独占之区惟持久对象之普通事可启，区内与事务内皆不得复启。汉语：只有持久对象的 durable-fetch、durable-alarm 与套接字事件可以开启独占区；独占区内和事务处理入口内不能再开启。：」
「验可启独占」乃化「有」而「有」也。
「验可启独占」者会「无」而
  虑「种类」者「云工事件种类」于「元」而
  若「串相等」于「种类」于『durable-block』则
    「发生事故」授以「有」于『独占区内不可再启动独占区』
  否则
    若「串相等」于「种类」于『durable-transaction』则
      「发生事故」授以「有」于『持久事务处理入口内不可启动独占区』
    否则
      若「串开头是它吗」于『durable-』于「种类」则「元」否则「发生事故」授以「有」
      于『当前事件不属于持久对象』
也。

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

「：文言：宿主开独占之区并重入豫言，败则归因于值，此处转为可捕之事故。汉语：名称须 1 至 128 字节，参数和结果都是有效 JSON 文字且各不超过 8 MiB；区内失败抛可捕获的豫言异常，消息保留原因文字，对象不被重置。：」
「执行持久独占」乃化「字符串」而化「字符串」而「字符串」也。
「执行持久独占」者会「操作名」而会「参数」而
  虑「无」者「验可启独占」于「元」而
  虑「结果」者「云工持久独占执行安全」于「操作名」于「参数」而
  若「结果」中「零」则（「结果」中「一」）否则「发生事故」授以「字符串」
    于（『持久独占失败：』附（「结果」中「一」））
也。

「读取持久独占名」乃化「有」而「字符串」也。
「读取持久独占名」者会「无」而
  虑「无」者「验在独占区」于「元」而
  「云工持久独占名」于「元」
也。

「读取持久独占参数」乃化「有」而「字符串」也。
「读取持久独占参数」者会「无」而
  虑「无」者「验在独占区」于「元」而
  「云工持久独占参数」于「元」
也。

「完成持久独占」乃化「字符串」而「有」也。
「完成持久独占」者会「结果」而
  虑「无」者「验在独占区」于「元」而
  虑「果」者「云工持久独占输出安全」于「结果」而
  若「果」中「零」则
    「元」
  否则
    「发生事故」授以「有」于（『持久独占结果无效：』附（「果」中「一」））
也。
