UAI-1 示例文档

版本：UAI-1 Examples v1 状态：权威性配套文档

目的

本文档提供 UAI-1 的规范示例。

您必须将这些规范示例读作 UAI-1 机器结构。您必须把所有规范 ID 解码为 Radix 63404 值。您必须将本文档中的所有人类释义、注释、标签和解释说明视为非规范内容。

规范示例具有权威性。人类释义仅用于帮助人类检查示例。

Radix 63404 提醒

在 UAI-1 中，所有规范 ID 都以 Radix 63404 表示。

您必须按如下方式解析每个 ID：

将每个字符读作一个 Radix 63404 数字。
将每个字符解析为其零基字母表索引。
以 63404 进制计算位置值。
将所得整数与权威注册表进行解析匹配。

Radix 63404 字母表的前几个数字如下：

十进制值	Radix 63404 数字
0	`!`
1	`"`
2	`#`
3	`$`
4	`%`
5	`&`
6	`'`
7	`(`
8	`)`
9	`*`
10	`+`
11	`,`
12	`-`
13	`.`
14	`/`
15	`0`
16	`1`
17	`2`
18	`3`

示例 1：基础断言消息

规范示例

[
  "\"",
  "⍼",
  "⍽",
  "\"",
  [
    ["Ӵ", "ȸ", "ࣜ", "ᮝ", "\"", 0.98],
    ["Ӵ", "ȹ", ["Ű", 5], "ᮝ", "\"", 0.99]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ", "ᅵ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555001]
]

人类释义

此消息表示：

protocolVersion = 1
senderId = 9001
receiverId = 9002
actId = 1 = assert
claim 1 = 主体 1201 在上下文 7001 中与对象 2201 存在关系 501，真，置信度 0.98
claim 2 = 主体 1201 在上下文 7001 中与类型化标量 [301, 5] 存在关系 502，真，置信度 0.99
provenance 标识来源 9100、时间戳类型 303、模态 6、证据 4401 与 4402、追踪 777001 以及策略 3001

读者说明

您必须从已解码的 ID 和槽位位置推导含义，而不是依赖这段释义。

示例 2：基础查询消息

规范示例

[
  "\"",
  "⍼",
  "⍽",
  "#",
  [
    ["Ӵ", "ȸ", "ࣜ", "ᮝ", "#", 1.0]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555002]
]

人类释义

此消息表示：

actId = 2 = query
发送方正在查询该声明的真实性或当前解析结果
truthValue = 2 = unknown
此处 confidence = 1.0 表示发送方有意发送正式查询结构，而不是把该声明断言为真

示例 3：基础请求消息

规范示例

[
  "\"",
  "⍼",
  "⍽",
  "$",
  [
    ["Ӵ", "ȸ", "ࣜ", "ᮝ", "\"", 0.95]
  ],
  [
    ["*", "ࣜ", ["Ű", 60], 0],
    ["*", "ᮝ", ["Ų", "2026-04-14T00:00:00Z"], 0]
  ],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ", "ᅵ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555003]
]

人类释义

此消息表示：

actId = 3 = request
发送方正在请求一项与声明主体 1201、关系 501 和对象 2201 相关的操作
约束运算符 9 = requires
该请求要求对象 2201 以及类型化标量值 [301, 60]
该请求还要求上下文 7001 以及类型为 [303, 2026-04-14T00:00:00Z] 的时间戳约束

示例 4：能力协商消息

规范示例

[
  "\"",
  "⍼",
  "⍽",
  ",",
  [
    ["⍼", "ȸ", ["Ű", 1], "ᮝ", "\"", 1.0],
    ["⍼", "ȹ", ["Ű", 1], "ᮝ", "\"", 1.0],
    ["⍼", "§", ["Ű", 12], "ᮝ", "\"", 1.0]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555004]
]

人类释义

此消息表示：

actId = 11 = capability
发送方正在声明支持的协议或本体版本，以及已声明的能力值
这是在进行非平凡交换之前协商支持能力的规范方式

示例 5：错误消息

规范示例

[
  "\"",
  "⍽",
  "⍼",
  "+",
  [
    ["#", "ȸ", ["Ű", 999999], "ᮝ", "\"", 1.0]
  ],
  [
    ["&", ["Ű", 4], ["Ű", 1], 0]
  ],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555005]
]

人类释义

此消息表示：

actId = 10 = error
发送方报告一个规范错误状态
失败结构引用了一个未解析或无效的规范值
这里使用约束运算符 5 来表达错误处理逻辑中的规范比较或解析条件

读者说明

如果您无法解析必需的规范 ID，必须发出错误消息，而不是猜测。

示例 6：图标断言

规范示例

[
  "\"",
  "⍼",
  "⍽",
  "\"",
  [
    ["ࣜ", "ȸ", ["Ű", 15001], "ᮝ", "\"", 0.99],
    ["ࣜ", "ȹ", ["Ű", 15002], "ᮝ", "\"", 0.99],
    ["ࣜ", "§", ["Ű", 15003], "ᮝ", "\"", 0.99]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "#",
    ["ᅴ", "ᅵ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555006]
]

人类释义

此消息表示：

正在对一个带有规范图标的实体进行语义描述
relation 501 可能指向规范功能含义
relation 502 可能指向规范显式状态
relation 100 可能指向规范显式变体或展示属性

读者说明

您必须把图标功能视为规范含义。您不得把图标外观视为规范含义。您不得仅依据形状、颜色、填充或相似性推断业务含义。

示例 7：装饰性图标处理

规范示例

[
  "\"",
  "⍼",
  "⍽",
  "\"",
  [
    ["ࣜ", "ȸ", ["Ű", 16001], "ᮝ", "\"", 1.0],
    ["ࣜ", "ȹ", ["Ű", 16002], "ᮝ", "\"", 1.0]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "#",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555007]
]

人类释义

此消息表示：

该图标存在于渲染后的界面中
在当前语义层中，该图标是装饰性的或并不具备功能
该图标不是业务含义的主要承载体

读者说明

除非规范结构明确将其提升为语义含义，否则装饰性图标不会被解释为功能性声明。

示例 8：带可选人类释义包装器的规范结构

规范示例

{
  "canonical": [
    "\"",
    "⍼",
    "⍽",
    "\"",
    [
      ["Ӵ", "ȸ", "ࣜ", "ᮝ", "\"", 0.98]
    ],
    [],
    [
      "⏟",
      ["Ų", "2026-04-13T00:00:00Z"],
      "'",
      ["ᅴ"],
      "-㽭",
      "\u0bfc"
    ],
    ["\"", 555008]
  ],
  "gloss": {
    "sender": "Example sender",
    "receiver": "Example receiver",
    "act": "assert",
    "notes": [
      "This gloss is not authoritative.",
      "The canonical array remains authoritative."
    ]
  }
}

读者说明

当规范数据与释义同时存在时：

规范数据具有权威性
释义是非规范内容
释义不得覆盖规范含义

示例 9：无效消息示例

规范示例

[
  "\"",
  "⍼",
  "⍽",
  "$",
  [
    ["Ӵ", "search-icon", "ࣜ", "ᮝ", "\"", 0.95]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555009]
]

人类释义

这个示例是无效的。

读者说明

该消息无效，因为规范字段中包含了自由文本 search-icon，而不是规范 Radix 63404 ID 或规范类型化值。您必须拒绝或标记该消息。您不得通过猜测来恢复。

示例 10：最小读者工作流

读者流程

当您收到一条 UAI-1 消息时，必须按顺序执行以下操作：

验证外层消息恰好具有 8 个规范槽位。
从 Radix 63404 解码所有规范 ID。
将所有已解码 ID 与权威注册表进行解析匹配。
验证当前 act 及所需结构。
验证所有声明。
验证所有约束。
验证 provenance。
精确保留规范值。
在语义上忽略人类释义。
如果任何必需元素不受支持或无效，则发出规范错误。

这些示例中使用的注册表参考值

以下十进制值仅作为人类读者的解释性参考。上面的规范示例在其 Radix 63404 形式上仍然具有权威性。

含义	Decimal	Radix 63404
协议版本 1	1	`"`
act 断言	1	`"`
act 查询	2	`#`
act 请求	3	`$`
act 提交	4	`%`
act 否认	5	`&`
act 报告	6	`'`
act 提议	7	`(`
act 修订	8	`)`
act 确认	9	`*`
act 错误	10	`+`
act 能力	11	`,`
act 协商	12	`-`
type 整数	301	`Ű`
type 时间戳	303	`Ų`
relation 501	501	`ȸ`
relation 502	502	`ȹ`
relation 100	100	`§`
示例主体	1201	`Ӵ`
示例对象	2201	`ࣜ`
示例策略	3001	`\u0bfc`
示例证据 A	4401	`ᅴ`
示例证据 B	4402	`ᅵ`
示例上下文	7001	`ᮝ`
示例发送方	9001	`⍼`
示例接收方	9002	`⍽`
provenance 来源	9100	`⏟`
示例追踪	777001	`-㽭`

最终规则

先读结构。第二步解码 Radix 63404。第三步解析规范 ID。第四步应用约束。第五步使用 provenance 与 confidence。在语义上忽略人类释义。绝不要用英语、图标形状或本地习惯替代规范含义。

十进制值	Radix 63404 数字
0	`!`
1	`"`
2	`#`
3	`$`
4	`%`
5	`&`
6	`'`
7	`(`
8	`)`
9	`*`
10	`+`
11	`,`
12	`-`
13	`.`
14	`/`
15	`0`
16	`1`
17	`2`
18	`3`

十进制值	Radix 63404 数字
0	`!`
1	`"`
2	`#`
3	`$`
4	`%`
5	`&`
6	`'`
7	`(`
8	`)`
9	`*`
10	`+`
11	`,`
12	`-`
13	`.`
14	`/`
15	`0`
16	`1`
17	`2`
18	`3`

UAI-1 示例文档

UAI language source and developer tools