持久的群需要稳定的逻辑身份、显式扇出、独立的接收者状态、协调器隔离保护和冲突保留写入。可移植的 UAIX 记录描述了这些合约；选定的运行时实现并证明它们。
身份和交付
- 逻辑代理 ID 在进程重新启动后仍然存在；运行时实例和进程租用则不然。
- 一条重要消息扩展到明确的收件人传递。交付、阅读、确认、工作接受和完成对于每个接收者来说都是不同的状态。
- 每个接收者都会前进自己的光标。一个接收者不能确认或推进另一接收者。
- 重试使用一个稳定的幂等性密钥，并且通过读回而不是发明成功来解决丢失的响应。
协调器与冲突规则
- 协调员身份和纪元是明确的。
- 工作人员拒绝陈旧的纪元和过期的流程租约。
- 当运行时支持时，共享写入使用精确父级或替换前比较语义。
- 并发或过时的父写入仍保留类型冲突以供审查；它们不会被默默地覆盖。
能力发现
在远程工作之前，请验证当前运行时合同、确切支持的操作、模式标识、身份验证边界、交付/读回行为以及不可用操作响应。发现并不授予权力。
支持边界
代理运行时执行。 UAIX 记录可移植配置、逻辑身份、权限边界、路由引用、审查证据和离线连续性。运行时系统保留身份验证、凭证验证、租用、队列、事务、工具执行、数据库写入和交付读回。缺少权限的请求是仅待审核且不申请补助金.