Skip to content

术语表

This content is not available in your language yet.

0. 规范语言

本文中的规范关键字(MUST / SHOULD / MAY 等)按 conformance/normative-language.md 解释;仅大写形式具规范约束力。

1. 目标

本文集中定义 Arkret 规范中的核心术语。若其他文档使用同一术语,除非所在章节另有说明,以下定义优先于扩展实现约定。

本文中的英文术语保留为规范关键字;中文解释用于阅读,不能替代字段名、对象名或事件名。

术语表维护规则:

  • 同一个 canonical 术语只定义一次;不要再添加“见上文”式重复行。
  • 非规范别名可以保留为单独条目,但必须明确写出 canonical 术语,并说明新增 normative 文本应使用哪个术语。
  • 禁用词和互操作上下文词应标注适用范围;禁用词不得重新引入 v1 core model。
  • 局部上下文词(例如 SFU participant_id、Mermaid sequence participant)只在对应章节内有效,不升级为全局主体术语。
  • 指针型条目(normative):若某术语条目显式声明其 canonical normative 定义下放到某专题文档(用”权威定义见 X §Y”、“单源 normative 定义在 X” 等措辞),则该条目本身只作术语指针,不承载该术语的 normative 约束,以被指向的专题文档为权威源。§1 第一段”以下定义优先于扩展实现约定”针对的是 glossary 自身给出完整定义的条目,不把指针型条目升格为权威定义源。
  • crypto / governance 角色名词(issuer / inviter / invitee / holder / witness / controller / subject 等)的总索引在 ../models/common-fields.md §4.3;本表条目仍是各角色的权威定义源,新增同类角色名词时应同步登记进该索引。

2. 核心术语

排序说明:本表按术语主题分组排列(身份 / 边界对象 / 事件与同步 / 授权 / 服务角色等),便于按语义聚类阅读,不是 canonical 对象序。canonical 对象清单及其权威顺序(Realm / Circle / Agent Sidecar / Space(含 Board/List)/ Strand / Message / Relation / Morph / Event / View / Capability)以 index.md §1 为准;§6 等引用对象集合时以该清单为锚点。

Table 1. 术语表(normative)。本表行内的大写规范关键字(MUST / MUST NOT 等)具规范约束力;声明”以本条为单一锚点”的条目即为该约束的 canonical 权威位置。这是 normative-language.md §4 容器表默认 informative 规则的已登记例外。

术语中文说明定义
Arkret协议名称可自托管的联邦协作对象协议族,定义 identity、写入、同步、授权、显示与审计规则;每个 Realm 在同一任期由一个治理 Station 接纳共享写入,见 ../sync/authority-commit-log.md。
kind 轴协议自有分类轴Arkret 自有 discriminator、routing、registry family 与 reducer/projection 分派字段;使用 kind / *_kind(s)。与外部 type、闭集 class、有序 tier 正交;权威判据见 common-fields.md §2。
type 轴外部标准分类轴只允许直接继承外部标准字段和值集并要求原样往返的分类;每个路径必须登记在 classification-field-registry.json,不得作为 Arkret 自有分派。与 kind / class / tier 交叉参照同上。
class 轴无序闭集分类轴有限、无序、闭合且不选择互斥对象 shape 的分类;使用 *_class(es) 并必须解析到 finite value set。自由标签和开放 taxonomy 不属于 class。
tier 轴严格有序等级轴有限且具有严格全序及比较语义的等级;使用 *_tier。v1 当前唯一协议字段是 risk_tier,顺序为 low < medium < high。
protocol_version协议大版本字段wire-level 协议代际标识,canonical 字段值固定为字符串 "1.0";它是 describe / 协商响应承载的 wire 版本。MUST NOT 写成 1.0.0 或 v1.0.0,也 MUST NOT 与发布 release tag(v1.0.0)互换填入对方位置。引用其格式与互换约束以本条为单一锚点,见 index.md §5。
release tag (v1.0.0)仓库发布线标签规范仓库的发布 / release tag(语义化版本 v1.0.0),是文档 / artifact 发布维度的标识,不进入 wire。与 protocol_version("1.0")是两个不同维度,两者 MUST NOT 互换。详见 release-readiness.md §2。
Principal主体协议中的稳定行为者身份;通常由 DID 标识,包含个人主体、组织、agent、Applet 等。
Actor参与身份Principal 在 Realm 内的行为身份:执行动作、产生 Event、持有 profile 与 membership;可在不同 Realm 表现为 pairwise pseudonym。
pairwise pseudonym / pairwise DID成对假名 / 成对 DID为降低跨 Realm 或跨服务关联性而按 scope 派生或选择的 DID 形态。它在给定 Realm、Strand track、service audience 或 profile 声明的 privacy scope 内作为 actor_id / routing identity 使用,但不自动披露 holder 的 principal DID;映射必须通过加密的 identity_link、claim disclosure、policy evidence 或 holder presentation 验证。Pairwise DID 仍是 DID,不能是非 DID 字符串;跨 scope 复用、与 principal DID 的可逆映射披露、以及授权归因规则由 identity profile 明确约束。
Organization组织可治理主体的一类 Principal,通常由组织 DID 标识。
Organization Governance组织治理组织成员资格、控制策略、密钥、恢复与授权委派规则。
Handle人类可读地址面向用户的可读入口,统一 canonical handle user:domain。账号解析结果在授权披露时是 exact AccountId;handle 不是协议主体、membership grant 或授权主键。
AccountId完整账号身份Closed canonical JSON {principal_id, station_id};不同 Station 上即使 principal 相同也是永远独立的账号,不因 principal 相同产生任何权限关系,也不能跨 Station 迁移或复活。相等性与授权不得退化为裸 principal_id;见 账号隔离铁律。
ActorId完整 Actor 身份Closed union:account 分支携 AccountId(包括人类、Agent、Ghost 与 integration),service 分支携 service_id;不同分支永不相等。
Connection Identifier连接标识角色外部体系字符串(邮箱、手机号、通讯录用户名、外部账号 ID 等)在发现 / 邀请 / consent 阶段所扮演的角色;可见性默认关系私有,不得自动写入 DID Document、Realm history 或 grant subject。同一字符串经 holder 显式 disclosure 后可升格为 Handle。区分点是 holder 意图与可见性,不在字符串形态。
Administrative Identifier管理标识角色外部体系字符串(组织账号、计费账号、员工编号等)作为组织本地管理标识所扮演的角色;不出协议线,不得作为协议主体、grant subject 或 Event actor。
Display Name显示名UI 展示用名称,可变且不可用于 ACL、grant、审计归因或发送者验证。
Realm协作边界security/sync/auth/E2EE 边界。授权、policy、membership、history visibility、同步、加密、federation 都以 Realm 为根。ak:realm: 永远是边界,不承担产品导航树职责。底层只有一个 schema ak.schema.realm.v1;按用途分为 Principal Control Realm 与 Collaboration Realm 两类(见 models/realm-and-space.md §2.8)。
Collaboration Realm协作 Realm(角色)Realm 的一种用途,承载多方业务协作状态(Strand / Message / Space / Morph / Relation 等)。与 Principal Control Realm 互补。按是否含跨信任域成员再分 Internal / External 两类。
Internal Collaboration Realm域内协作 RealmCollaboration Realm 的一种:federation_policy ∈ {closed, restricted} 且成员仅来自本部署 trust domain。组织主网络上的普通项目 / 团队 Realm 默认属于此类。
External Collaboration Realm跨域协作 RealmCollaboration Realm 的一种:含跨信任域成员(external Organization DID / external principal)。Sovereign deployment 中其 policy 受 ak.profile.sovereign_deployment.v1 进一步约束(allowlist federation、独立 enclave、E2EE、deny-default applet/agent;见 sync/sovereign-deployment.md §4)。
Principal Control Realm主体控制 Realm(PCR)Realm 的另一用途:与某 principal DID 1:1 绑定,承载该 principal 的身份基础设施事件(device / session / KeyPackage / recovery / profile / consent)。schema 层仍是 ak.schema.realm.v1;类别由签名 genesis purpose 唯一决定(human / organization PCR 为 principal_control,Agent PCR 为 agent_control,Applet-managed PCR 为 applet_managed_control),materialized fields.purpose 只是该 purpose 的只读投影;事件类型 allowlist 使它与一般 Collaboration Realm 进一步区分。详见 identity/key-management.md §4.1。
Trust Domain信任域deployment / sovereign replay boundary,wire 形态为 ak:trust_domain:<scope>。它在 service describe、Realm create 和跨域 proof transcript 中绑定接收上下文;定义见 ../identity/identity-did.md §3.6。
Official Realm官方边界由组织或 policy 明确确认的 Realm;它是治理 / 安全声明,不等同于用户可见的 Space。
Realm LinkRealm 关系边Realm 之间通过 ak.realm.link 表达的显式治理、发现、mirror、confidential extension、迁移等关系;不是 hierarchy,不默认级联权限或历史。
Space结构性分组对象用户可理解的结构容器与导航节点(project、folder、board、list、泳道、calendar bucket、page group 等),ID 形如 ak:space:。永远没有自己的 membership / policy / E2EE group / federation policy;metadata 由 realm_id 指向的 home Realm 授权,子资源默认 Realm 由 realm_id 解析。
Space HierarchySpace 层级Space 之间通过 parent_space_id + ak.space.parent 表达同一 Realm 内的父子关系;跨 Realm 展示使用 View / 普通引用,不传播权限或密钥。
Discoverability可发现性资源是否可被目录、搜索、邀请、组织页或精确链接发现。
Strand协作主对象Realm 内承载协作议题、任务、正式表达与讨论轨道的标准对象。
TrackStrand 轨道Strand 内的协作面:Strand.tracks map 的 key 与对应 entry。TrackName 以 track-name-registry.json 为 canonical 集合;^[a-z][a-z0-9_]{0,63}$ 只是登记语法,未登记名称 fail closed。当前 active 名称为 discussion 与 synthesis。Track 可持有自己的配置;synthesis entry 还可持有独立正文。Track 不携带独立的 membership / history visibility / E2EE security boundary——整个 Strand 共享单一 effective scope(由 scope_circle_id 决定)。默认入口按 track primary 解析规则得到(见 Strand primary track 条目)。详见 ../models/strand-and-message.md §4.4 与 spec-map.md §3.2。
Strand primary trackStrand 默认入口按 track primary 解析规则得到的默认 track;显式 is_primary=true 优先,未显式时标准 synthesis 优先。
synthesis track正式表达轨道Strand 的 synthesis 轨道,其独立正文位于 tracks.synthesis.content / tracks.synthesis.encrypted_content。Strand 顶层 content / encrypted_content 是 Description;标题、摘要、结构化字段与 stage 仍属于 Strand 本体,不因默认入口而归入 Synthesis。完整字段、profile、适用场景以 ../models/strand-and-message.md §4.2 为准。
discussion track讨论轨道Strand 的”discussion”轨道,承载消息与讨论时间线;成员、历史可见性和 E2EE 由 Strand 整体的 scope_circle_id 决定(null=Realm-default scope,否则=该 Circle scope)。Strand 单一 scope,不存在 per-track 安全边界。完整 profile 集合与适用场景以 ../models/strand-and-message.md §4.3 为准。
Circle子事件边界 / scoped 协作圈ak:circle: 对象,Realm 内的子集成员 + 独立 history visibility + 投递 / 查询 / projection 裁剪边界。译名注意:不要叫”信任圈”——Circle 不构成信任域,避免与 Trust Domain 混淆。不持有 federation identity。对象通过 scope_circle_id 引用 Circle 表达”窄于 Realm 的协作圈”;可按父 Realm floor 启用独立 MLS group。详见 ../models/circle.md。
Circle scope / scope_circle_id对象 effective scope 引用对象(Strand / Space / Morph / Relation)的 scope_circle_id 字段;null = Realm-default scope,否则指向同 Realm 的 Circle。Message 不携带该字段,其 effective scope 从所属 Strand 派生。producer 将解析结果写入签名 Event.scope_ref,receiver 对冻结前态复核;MLS-backed scope 中同一值进入 E2EE AAD。
scope_ref / effective scope签名 scope 与只读投影Event.scope_ref 是 producer 必填、proof 覆盖并由 receiver 验证的 immutable tagged scope。对象或 read projection MAY 暴露名为 effective_scope 的派生字段,但它不得替代、改写或晚于签名 scope 决定 Event 授权。
Board看板ak:space: kind=board,组织一组 List Space 与其他 Space 的工作流容器。
List列 / 泳道ak:space: kind=list,挂到 Board Space 下、承载 Strand 位置关系的列容器。与包装词 List 的消歧(normative):SDK 读模型包装词表(*List / *Row / *View 一族)也含 List(AgentList = agent 的集合)。二者靠位置区分——kind=list 是 Space 的取值,*List 是类型名末词。为防止真实碰撞,Space 的集合类型 MUST NOT 命名为 SpaceList;需要表达 Space 集合时使用 SpaceRow 的集合或带领域主语的名字(如 BoardChildList)。v1 当前不存在同时可读作两义的名字。
Message消息对象发生在 Strand discussion 轨道中的即时沟通与补充记录。
Morph开放对象标准对象扩展框架,承载非固定业务类型的可声明对象。
Facet能力标签 / 配置切面(两义,按语境区分)义一(Morph facet):Morph / Profile 的能力提示(如 container / schedulable / renderable),由 allowed_facets / denied_facets 承载。它不是独立授权输入——../authz/capabilities.md §6.2 的”Facets 不属于独立授权输入”只约束本义。义二(Realm facet event):Realm 配置的一个切面槽位,拥有专属 Event kind 与 typed current result Family(如 ak.realm.join_rule → realm_join_rule);bootstrap facet / lifecycle facet / per-facet policy event 均属此义,它们是授权闭包的组成部分,与义一的”不参与授权”不冲突,因为两者作用于不同对象层。新增 normative 文本使用本词时 MUST 由上下文或限定词(Morph facet / Realm facet event)明确所指。
Relation关系边对象间有向关系定义,如 contains、mentions、depends_on。
Event协议事件协议传播和验证的基础事实单元(Envelope 的内容承载形式)。
Event Envelope事件外壳event_id、actor_id、kind、payload、producer_proof 等字段的签名封包。
Wire Event线路事件在协议 wire format 上实际传输、存储、同步、联邦并进入 reducer / 审计验证的 signed Event Envelope(schema ak.schema.event.v1,artifact event-envelope.schema.json)。它是 v1 共享状态的唯一 wire fact;字段语义见 ../models/event-and-patch.md §2。
Wire fact线路事实在协议线上以 canonical bytes + proof 承诺、可被接收方验证并作为 reducer / audit truth source 的规范事实。v1 不定义独立的 wire_fact 对象;除 Wire Event / Event Envelope 外,Operation、SDK builder / draft、receipt object 与 projection 都不是共享 wire fact,除非它们以 registered Event kind 的 payload 进入 Event Envelope。
Signal Extension信号扩展可选 encrypted-only live rail。presence、typing、read receipt 与 call signaling 的精确 kind、target 和内容位于 SignalEnvelope.encrypted_payload,外层只暴露 scope、sender、RealmCommit basis 与三值 signal_class。它不进入 Event history、typed current result、RealmCommit coverage 或 backfill。
Signal(消歧)信号(消歧)本规范中未加限定的 “Signal” 一律指本协议的 Signal 平面(SignalEnvelope / signal_class / ak.self.signal.*)。引用同名即时通讯产品的设计时 MUST 使用全称并带产品限定,例如 “Signal SVR”、“Signal SealedSession”,不得写作裸 “Signal”。
Kernel协议内核Arkret v1 的安全与收敛原语层,只包含 identity proof、scope/lifecycle、authority-commit、授权、MLS/key delivery、审计承诺、邀请与设备/账号安全。Kernel 不依赖 Collaboration Base 或任何 Extension。
Collaboration Base协作基础包官方基础协作层,包含 Strand、Message/Content、Relation、View 与 long text 等通用协作对象;依赖 Kernel,但不属于 Kernel。不得缩写为 authority-commit。
Extension协议扩展通过 Extension Manifest 声明 schema、reducer、action、transport rail、资源上限和 conformance vectors 的可选协议层。裸 “Extension” 仅表示本分层概念;产品扩展必须使用限定名称。
Extension Manifest扩展清单扩展装载、依赖闭包、隔离、资源约束与 conformance 绑定的唯一机器入口;它是签名声明性数据,不是可执行代码或 reducer DSL。
Device Message设备消息可靠的点对点设备队列消息,用于 key verification、secret 分发和 Realm key 请求。它使用 DeviceMessageEnvelope,既不是 Event 也不是 Signal。
Event Store事件存储保存 Event Envelope 的服务能力,不是协议真相源本身。
Integrity (data)数据完整性给定数据未被中间人或第三方篡改。集合上的 Merkle / set commitment 提供 integrity,但不保证集合本身已覆盖给定范围。
Completeness (range)范围完整性给定范围内(per-actor seq interval、checkpoint 上下界、actor / realm scope)没有漏给任何属于该范围的成员。Completeness 必须依赖 range-bound attestation(带显式 from/to 边界)+ witness quorum 或独立 authority commit 背书;set-bound commitment 单独不足以证明 completeness。
安全 covered 集合安全命令覆盖集合唯一确认前缀中成功安全命令摘要的集合;不覆盖普通消息,也不证明全网消息完整。
Witness见证方可对 checkpoint、DID key-log 头部、handover checkpoint 或其它已登记对象签发 attestation / receipt 的受信背书主体;可由 Station、registry node 或独立 witness / receipt service 承担。Witness 不是 canonical truth 来源,不替代 Event 自身签名、RealmCommit finality 或 reducer 验证;其签名只证明被见证的已观察视图。机制示例见 ../sync/federation.md、../sync/operations-sync.md 与 ../identity/identity-did.md。
Historical completeness历史完整性Arkret v1 不提供“source 未隐藏任何 Event”的证明。cursor、分页结束、checkpoint/root、receipt、Snapshot、RealmCommit listed-set commitment 或 witness 对已见视图的签名都不得升级为无遗漏保证。
Snapshot快照恢复/同步起点对象,包含某时刻 Materialized State 与 checkpoint。
HLC混合逻辑时钟HLC 为 clock 排序标签,固定格式 <unix_ms_hex(12)>-<logical_hex(4)>-<node_id_hash(8)>(hex 字段宽度依次 12 / 4 / 8);canonical 规则见 ../conformance/encoding.md §7。
Cursor同步游标ak:cursor:<base64url> 形态的不透明 token,purpose ∈ {stream, barrier};只表示某一读取或订阅 rail 的分页/续传位置,不声明因果、RealmCommit、安全或可见性边界,不得与任何 Checkpoint 互换。只用于 account 聚合流续传、列表分页与写后读屏障三处;单条 stream 的扫描不用 cursor,用 stream_position 整数(../sync/api-conventions.md §7.2)。内部结构与验证规则的单一真相源见 ../conformance/encoding.md §8。
Canonical JSON规范 JSON确定性 JSON 序列化格式,所有签名/哈希/对账输入必须使用;要求 UTF-8、key 排序、无空白、唯一 number 表示。
View投影定义查询 + kind + renderer + config 的共享可签名对象,定义“怎么看”。
View.kind投影族类collection / timeline / graph / document / composite。
Capability能力授权语义与对象的绑定关系,授予 subject 执行特定 action。
Capability Grant能力授权对象ak:grant: 标准对象(schema ak.schema.capability.v1);记录谁在什么条件下可执行何动作。它与 ak:capability: 抽象 capability definition 引用不同。
Policy策略运行期约束对象,用于授权、密钥、留存、治理与安全边界。
Invite邀请邀请主体加入 Realm 或授予特定能力的标准对象/事件 payload。
Station主体服务主体控制或委托入口服务,承载 events / account aggregate / snapshot / discovery 等核心 API。账号由 principal_id + station_id 唯一确定;Realm 内实际投递服务直接由成员 ActorId 的分支投影,DID Document 不提供账号选择或 delivery fallback。
Account Aggregate账号聚合Station 对某 principal 的 actor-private 数据面聚合视图,聚合该账号跨 Realm 的 checkpoint 摘要、to_device、account_data、device_lists 与 notification / unread counts;通过 ak.self.account.stream.subscribe.v1(GET /_arkret/self/account/subscribe)以 delta frame 推送。presence 是有界 TTL 的 encrypted Signal,走 Signal live rail,不进入账号聚合。它与「裸 Realm Event 查询面」(ak.self.committed_event.read.scan.v1 / ak.self.committed_event.stream.subscribe.v1,逐 Realm 事件流)是不同的 selector / auth / freshness 边界,实现 MUST NOT 把二者合并为语义不明的单一 stream。中文统一译「账号聚合」。详见 sync/client-sync.md。
Station sync surfaceStation 同步面公开/订阅事件与 checkpoint 的受控能力;它是 Station surface,不是独立服务角色。
Event Store Service事件存储服务与 Station sync surface 关联的持久化与检索服务角色。
Blob Store二进制对象存储附件、媒体、文件对象的存储与引用服务。
Directory Service目录服务提供可发现的 Realm、组织、actor、Applet 信息。
Identity Resolution Infrastructure身份解析基础设施DID 文档、method resolver、密钥材料与验证链路。
Account Authority账号准入入口(canonical, Station surface)Station 对客户端发布的唯一 /_arkret/gate/account/* 逻辑入口,承载注册、session grant、恢复、device pairing 与登出。客户端只从 Station 的 auth_metadata.account_authority.gate_account_base_url 发现它。它不是独立 service_kind、service DID、service registration、role profile 或 federation identity;内部 Auth Server 进程对 peer 与 discovery 透明。
Authentication Method Provider认证方法提供方Passkey、OIDC、SSO 等认证方法或标准 issuer。它 MAY 是外部 IdP,但只向 Account Authority 提供认证结果,不取得账号、Station、Realm 或 Event authority,也不复用 Arkret Auth Server role。
Push Gateway推送网关(canonical, service role)承载 push notification 分发的服务角色(service_kind=push_gateway):把 Realm 事件唤醒转换为平台推送(APNs / FCM 等),profile 覆盖 blind wakeup(ak.profile.push_gateway.blind_wakeup.v1,不泄露内容)与 visible notification(ak.profile.push_gateway.visible_notification.v1)。作为 plaintext_visible_services 之一时其可见明文范围受披露义务约束。服务角色一览(informative)见 sync/service-surface.md §2.5;service_kind 机读真源见 service-kind-registry.json;推送语义见 discovery/push-notifications.md。
Moderation Service审核服务(optional service role)只有 Realm/组织显式委托且存在独立身份、明文可见性或特定对象保留/删除约束时才是独立角色。legal hold 不授予读取、解密或额外签署权,具体边界见 service-surface §2.5。普通 report intake、local queue 与 Station ACL 是 Station capability;Compliance Server 不是 canonical 角色。
Archive Node归档节点按明确 history visibility 与 capability 保存/提供归档材料的可选角色;持有副本不自动获得明文读取权。
Recovery Service账号恢复服务仅在具有独立恢复 authority 与显式委托时出现的可选角色,不自动继承 Archive Node 或 Key Recovery Service 权限。
Redaction清理/隐私裁剪合法授权下对已发布事实做最小化可见性处理。
Erasure物理擦除在某个存储边界内对原始 payload、blob、派生内容的不可恢复删除;不同于 Redaction,它不保留正文。
Data Plane数据面消息、reaction、对象字段、排序、协作文本与计数等业务 Event;共享持久 Event 均由当前治理 Station 接纳并进入对应独立 stream。
Control Plane控制面membership、capability、policy、lifecycle 与 MLS epoch 等治理 Event;它们与业务 Event 使用相同的 producer Event + authority commit 路径,并由各自 typed payload 定义额外 signer 与 domain invariant。
authority commit权威提交当前治理 Station 对一个 producer Event 的接纳记录。Realm、每个 Circle、每个 Sidecar 各有独立连续 stream;只有 RealmCommit 携带同 stream 的 previous_commit_ref。
Authority Set权威集合在某个 authority-commit basis 下决定 signer、quorum、delegation 与 revocation authority 的已接受 policy。wire 引用统一为 {authority_set_id, authority_set_digest},不得只按可变名称解析。
IngressReceipt入口签收回执接收方对某个 exact Event 的签收记录;不证明 reducer acceptance、投影可见性或 RealmCommit finality。
SecurityTransaction安全事务资源可查询、可幂等续跑的闭合跨服务安全过程;v1 仅允许 RecoveryTransaction 与 SecurityRotationTransaction,不是通用 Saga/Plan DSL。
RecoveryTransaction恢复事务固定绑定 recovery session、replacement device、按 [reanchor, authorize] 排列的两条 producer Event、当前 PCR stream predecessor、预期连续 authority-commit 边界与 terminal receipt 的 SecurityTransaction;唯一 client-attested step 是 commit_recovery_unit。replacement device 只签 Event 与 receipt,RealmCommit 仅由当前治理 Station 在原子终结时签发。
SecurityRotationTransaction安全轮换事务固定绑定 revoke Event、新 secret commitment、backup series/envelope、active-series Event、erase confirmation 与 local commit 的 SecurityTransaction。
Rejected已拒绝当前治理 Station 在格式、签名、schema、授权、stream head 或领域不变量校验上拒绝 Event;拒绝不写入共享 stream。
RealmCommit权威提交记录当前治理 Station 对单个 producer Event 签发的接纳记录,包含 commit_id、authority generation、stream ref/position、同 stream previous_commit_ref、Event ID/digest、接纳时间与 Station 签名。
Genesis RealmCommitStream 根提交某条 Realm/Circle/Sidecar stream 的 position 0 提交;其 previous_commit_ref=null,并接纳该 stream 的首个 closed create Event。
typed current result领域当前结果治理 Station 按同一 stream 的 commit 顺序执行特定领域 reducer 后得到的 current projection;其 schema、revision 与来源 committed Event references 由对应领域合同定义。
Reset重置语义capability 使用 revoke + reissue;身份恢复使用已授权 re-anchor。普通寄存器用引用当前来源的有权因果后继继续编辑,安全状态不能任意 reset。
Governance Binding Payload治理绑定 payload每个 ak.mls.commit 携带的闭合 binding,把 effective scope、base、previous/next epoch 与 authority-committed key_access_revision 同时绑定到 Event payload 和 MLS GroupContext。GroupContext 进入 key schedule,GroupInfo 签名覆盖 GroupContext;epoch 0 不笼统描述为“进入 transcript hash”。
MLS KeyPackageMLS 密钥包资源RFC 9420 原生单次使用公钥材料,经专用 resource upload/claim/consume/revoke 操作管理,不进入共享 Event stream。
MLS WelcomeMLS 欢迎私密投递RFC 9420 Welcome bytes,经 recipient-scoped MlsWelcomeDelivery queue 私密投递并显式 ACK,不进入共享 Event stream。
MLS CommitMLS 提交(durable event)RFC 9420 原生 epoch 推进消息。Arkret 扩展:作为 ak.mls.commit durable Event 进入 Realm history,并 MUST 携带与 Event payload 逐字段相等的 governance_binding(GroupContext extension mls_governance_binding)。GroupContext 进入 key schedule,GroupInfo 签名覆盖 GroupContext,后续 GroupContextExtensions proposal 进入相应 Commit transcript;不把 epoch 0 的空 confirmed transcript 概括为“checkpoint 总是哈希进 transcript”。详见 encryption-and-audit.md §2.5。
MLS ProposalMLS 提案RFC 9420 Proposal 只作为 MlsCommitSubmission 的 Commit 输入;它不是独立共享 Event。
Governance Station治理 Station每个 authority generation 唯一接纳 shared persistent Event 并为 Realm、每个 Circle、每个 Sidecar 的独立 stream 签发 RealmCommit 的 Station。由 genesis 与连续 handoff chain 确定。
RealmAuthorityHandoff治理方交接记录旧治理 Station 冻结所有独立 stream 并承诺各自 final head,新治理 Station 验证完整前缀后签署 acceptance;成功后 generation 递增。
Consent同意Holder-private 决策:“我同意接收来自 X 的某种不以 Contact 为授权依据的动作”。表达为 consent Event 的签名 kind + payload,并由 registered reducer projection 写入 consent typed current result。Consent 可服务 invite 等非 Contact 路径,但不得参与 Contact-based create/send或Personal DM;后二者只读取双方 holder-signed directional Contact heads。
Consent Scope同意范围Consent grant 适用的联系类型枚举:invite / voice_call / video_call / presence / any。
Contact RoundContact 轮次一对 principal 之间由 immutable contact_round 建轮核心唯一标识、并由双方 directional lineages 从建立演进到 terminal 的一轮 Contact 生命周期。contact_round_id 是该核心的 domain-separated digest H("ak.contact.round.v1", contact_round);scope replacement 与 tombstone 只推进 lineages,不改写核心或 ID。逐字节 KAT 见 contact-round-kat.json。它既不是 authority-commit expected_revision,也不是信任 anchor;tombstone 后 recontact MUST 建立全新 round,并以 previous_terminal_contact_round_id 链回紧邻上一轮 terminal round。详见 ../identity/contact-and-direct-conversation.md §2、§5.3。
Contact Relation联系人关系Principal-scoped双边关系投影;request receipt(s)机械派生normal/glare Contact round,双方各自holder-signed directional lineage以scope replacement/tombstone演进。它不是ak.contacts.* account-data、ak.relation.*或consent typed current result,也不存在跨双方pair CAS。详见../identity/contact-and-direct-conversation.md。
Contact FounderContact 创始方从根 Contact round 机械派生的 pair member:normal 取 responder;glare 按完整请求 Event ID wire 字符串的 UTF-8 unsigned bytes 严格升序,取第一条请求的 signed Event author ActorId,不是 Station receipt issuer_id。它不创建持续的 pair controller 权,也不得由本地收包顺序或客户端偏好选择。controller↔自己的 Agent 另按已接受的控制关系固定 controller 为 founder。详见 ../identity/contact-and-direct-conversation.md §2、§5.2–§5.4。
Contact GlareContact 并发竞争pair 双方并发签发 Contact request 时,双方 Station 以两个 exact committed request references 和固定排序规则机械派生同一 Contact round;不得以本地到达顺序选择结果。
Direct Conversation1:1 私聊入口stable unordered participant pair 的 canonical DM 入口,由唯一 immutable ak.direct_conversation.bound fact 绑定永久 pair key、DM Realm 与 main Strand。同一 effective scope 只有一个 derived MLS group 及单调 epoch lineage;live state repair 只用同 group Commit。leave/block/tombstone 使其 suspended;若全体私有 group state 丢失,旧 DC Realm 终结,继续会话必须创建新 realm_id。
Joiner (MLS)MLS 加入方正在由 MLS Add/Commit/Welcome 加入某个 MLS group 的目标 actor/device。它只描述 MLS 密钥状态转换,不表示 Realm membership、Contact round 或 history visibility 已在同一步生效;这些边界必须分别验证。
Pending state familypending 状态族pending 不是跨域统一状态。规范必须使用完整状态名并服从其 owner 状态机,例如 Pending state-changing Event(等待 RealmCommit finality)、Contact pending_outgoing / pending_incoming(等待双边关系终态)或 decryption_pending(等待密钥材料);实现不得因英文前缀相同而共享转换规则。
Provisional state familyprovisional 状态族provisional 是“尚未达到所属 owner 的最终可用/可验证条件”的限定词,不是可跨 Realm bootstrap、Contact、MLS 或 resolver 复用的统一 wire 状态。规范与 UI 必须保留完整限定名,并由对应 owner 文档定义进入、退出和失败条件。
Reducer归约器确定性领域函数,从 schema-validated Event.kind + payload 与当前领域 revision 产生 typed current result;治理 Station 按同一 stream 的 commit 顺序执行。
Materialized State物化状态Reducer 输出的当前态对象,如 Strand、Relation、View。
Stream Head提交流头某条 Realm/Circle/Sidecar authority stream 的最新 {commit_id,stream_position};只证明该 stream 的连续位置,不代表其它 stream。
epoch代际由具体协议定义的代际,不存在通用授权 epoch:(1) MLS epoch,见 ../crypto-media/encryption-and-audit.md;(2) history visibility epoch 边界,见 ../governance/history-visibility.md;(3) private contact discovery VOPRF key_epoch,见 ../discovery/discovery-directory.md。普通 Event 的 AuthContext 不重复这些字段;设备 generation 与 Agent key 授权实例按各自确切安全来源验证。
Causal Barrier因果一致性屏障客户端或可选受托 projection 服务在返回查询结果前,依据本地 sync checkpoint 等待特定写入前沿到达的机制;用于保障 read-your-writes 体验。定义见 overview/architecture.md §3.4。
read-your-writes barrier读己之所写屏障由 barrier cursor 表达,绑定目标 authority stream 的 RealmCommit position;读取至少覆盖该 position 后满足屏障。见 overview/architecture.md §3.4 / §6.3 与 sync/client-sync.md。
Lazy Link惰性链接节点处理深度 Graph / Space-hierarchy 查询遇到跨 Realm 引用时,截断返回的不解引用占位链接。其 normative 规则(截断行为、MUST NOT 越权自动化拼接外部图谱、跨域级联展示由有多域权限的客户端主动合成)单源定义在 overview/architecture.md §6.5;本条仅作术语指针,不重复承载该规则。
ReferenceProjectionState跨 Realm 引用投影状态Relation / View / Space hierarchy / Graph 查询展示跨 Realm 引用时使用的三值投影状态:accessible、lazy_link、locked。该状态只存在于 projection / response metadata,不写入 canonical Relation 对象;locked 与目标不存在、不可发现或 policy 拒绝必须不可区分。字段形态与安全约束见 relation.md §4.2.1。
Identity Root身份根密钥DID method history 中逐代演进的冷控制密钥 root_i。它不进入 DID Document verificationMethod,不与任何设备、会话或业务密钥复用,只签 DID controller proof 与 PCR genesis / device re-anchor 两类锚事件。
Plaintext Visible Service明文可见服务Realm policy 显式声明可接收非加密私有内容或可逆派生摘要的服务。
History Visibility历史可见性控制加入 Realm 后能看到多少历史事件的范围规则。
Join Rule加入规则控制 Actor 如何加入 Realm 的策略(public、invite、knock、restricted 等)。
Agent个人 Agent(canonical)Controller 主动 provision、拥有独立 DID/PCR、accountability 与 Agent Runtime key 的一等 principal;Actor Profile 可分类为 actor_kind=agent,但安全身份来自 provisioning 与 accountability。Arkret 不再定义 Native/普通/托管等 Agent 子类;Native Personal Agent 与 Personal Agent 仅是历史称呼,新增 normative 文本 MUST 使用 Agent。详见 actor.md §3.3。
BotApplet Bot(canonical)Applet 创建或托管的自动化 Actor;Actor Profile 分类为 actor_kind=bot。Bot 的 lifecycle 与授权根来自 Applet registration/install/provisioning,不得以 Profile actor_kind=agent 冒充 Agent,也不进入 Agent provisioning、pairing、Sidecar 或 controller membership cascade。
Agent RuntimeAgent 运行时执行 Agent 业务逻辑的进程或容器;通过 ak.gate.account.command.pair_agent_key.v1 pairing 持有 Agent key。Agent Runtime 是部署单元,不是 protocol principal;它代表的 principal 只能是 Agent。Applet Bot 使用 Applet runtime/registration 路径,不称 Agent Runtime。
Ghost Actor幽灵 actor外部网络主体在 Arkret 中的 Applet-managed 镜像 provenance,不是独立 actor_kind,也不是 Agent 子类。Ghost Actor 必须使用可审计的独立 Actor DID(actor_id 不带 DID URL fragment);外部账号/集成镜像的 Actor Profile 使用 actor_kind=integration,外部 Bot 镜像使用 actor_kind=bot,不得使用 agent。其安全来源由 Applet provisioning/registration、accountable_principal_ids 与 capability 证明,Profile 分类不扩权。
Member成员已加入某 Realm 或 Circle 的 actor;具体由 membership typed current result member_state 中 state=active 的条目定义。Member 是 actor 在某个 security boundary 内的 membership 状态,不是独立主体类型。
Subject授权对象Capability grant 的授予对象;subject 字段值是 DID(具体 principal)或机器 registry 明确登记的 condition selector(如 role / federated trust scope)。Actor Profile actor_kind 不是授权 selector。具体使用约束见 common-fields.md §4.1。
participantlocal-context only不是通用术语。仅允许在 SFU stream binding、Mermaid sequence 图、call participant_id 等明确局部上下文出现;prose normative 段落 MUST 使用 actor / member / subject 视语义选用,不得用 participant 表达通用主体语义。
3PID第三方标识符邮箱、手机号等外部体系标识符在第三方邀请和认领流程中的具体形态。3PID 是 Connection Identifier 在邀请阶段的专门用法;公开 Event 中不得写入明文 3PID 或可枚举摘要。完整流程见 ../sync/third-party-invites.md。
Operation操作(canonical operation_id)API wire-binding 抽象单元,由 canonical operation_id 标识;定义见 api-conventions.md §2.4。Operation 不等同于 wire event kind——前者是 RPC / sync 单元,后者是 reducer-input event family;MUST NOT 互换。
Patch字段增量(ak.schema.patch.v1)ak.schema.patch.v1 field 增量 payload 格式,统一表达 canonical object 字段级更新;路径与 op 规则见 event-and-patch.md §4。新对象的字段更新槽 SHOULD 通过 Patch 表达,不再造单字段 update event。
Push terminology layeringpush / notification / notify / wakeup 词汇分层四个词在 v1 严格分层,不互换:Push = transport 层(push gateway 投递);Notification = projection object(ak.notification typed current result value,inbox 派生对象);Notify = push rule action(ak.push_rules 的 action enum 值);Wakeup = payload disclosure class(ak.profile.push_gateway.blind_wakeup.v1 等 wakeup 信封)。Normative prose MUST 按上述分层选词。
Display namingdisplay_name / title 命名规则display_name 用于 actor / user-facing identity profile 以及 device record 的用户可读设备名(可变、UI-only,无唯一性约束);title 用于结构对象 Realm / Space / Circle 的人类可读名(可变、无唯一性约束)。v1 内两个字段不互改;新增 wire 字段按对象类别选用,不得用 name、device_label 等别名替代(见 common-fields.md §3)。
Home Realm主 Realm对象 realm_id 字段指向的 Realm;每个 object 有 exactly one home Realm,是该对象 metadata 授权、policy、capability、E2EE key 的根。Space、Strand、Message、Morph 等 canonical object 均通过 realm_id 解析 home Realm。
Group (capability subject)大写 Group(授权主体集合)大写 Group 表示作为 capability grant subject 的 principal / actor 集合(即”一组主体被授予同一 capability”),与 MLS group(小写,MLS 加密会话)无关。当两者并列出现时,prose MUST 加限定词:capability subject Group vs MLS group,不得仅写裸 group。
Provision vs Register vs Installprovision / register / install 用词分工三者不互换:provision = principal 主体一等创建(如 ak.self.agent.command.provision.v1),主体身份进入协议线;registration = service / applet 描述符接入(如 ak.applet.registration),描述符进入 directory / registry;install = client-side 软件安装(应用商店安装、桌面安装),不进入 wire。Normative prose 描述 protocol 主体生命周期时 MUST 使用 provision,不得写 “install agent”。
InstallPlanApplet 安装计划ak.self.applet.install.command.preview.v1 返回、ak.self.applet.command.install.v1 重新计算并用 plan_digest 绑定的 canonical plan。机器契约为 ak.schema.applet_install_plan.v1(schemas/applet-install-plan.schema.json);plan_digest 按 applet-schema.md §1b 对省略自身后的 InstallPlan canonical JSON 计算。
backup_kind密钥备份分类ak.schema.key_backup.v1 的 closed enum;v1 仅有 secret_storage,且不得承载 MLS state、epoch/exporter secret 或 sender counter。详见 key-management.md §7。
ServiceDescribe服务描述响应(discovery / operation-response 契约)各 /describe 端点(server/describe、directory/describe、applet/describe 等)统一的 canonical 响应 shape(schema ak.schema.service_describe.v1,artifact service-describe.schema.json)。它是 operation-response / discovery 契约,含 service_id、trust_domain、service_kind、claim-level profile 分区、plaintext_visibility 等。详见 service-surface.md §3.0。
Applet ServiceApplet 服务(service role)承载受注册、受授权集成(applet describe / transaction / Ghost Actor / portal Realm / third-party lookup)的服务角色;运行时 service_kind=applet_service,端点前缀 /applet、/server。属 extension profile,非 v1 core 互操作必需。详见 applet-integration.md §3.1。
MIMI Provider FacadeMIMI 提供方门面(service role / 扩展 profile)与外部 MIMI provider 互通时的可选服务角色;运行时 service_kind=mimi_provider_facade,端点前缀 /mimi、/.well-known/mimi-protocol-directory。它是 EXTENSION profile,不是 v1 core service surface,可由 Station 或 Applet Bridge 承载。详见 mimi-interop.md。
Read Receipt已读回执(projection / 隐私信号)用户读取位置 / 隐私信号,用于 Strand timeline UI 提示(schema ak.schema.read_receipt.v1,artifact read-receipt.schema.json)。不是 canonical truth、不是 多设备 cursor、MUST NOT 触发 push;可见性由 Realm policy 约束,也不是任何 finality proof。详见 read-receipts.md。
Identity Receipt身份回执(identity registry / witness 证明)DID identity registry node 或 witness 对某 DID key-log 头部状态(accepted_entry_digest / seq)的签名回执(schema ak.schema.identity_receipt.v1,artifact identity-receipt.schema.json,含 did / seq / accepted_entry_digest / registry_id / witness_role 等字段)。用于让验证方确认 DID 文档 / key-log 的某一头部状态已被 registry / witness 见证;首次接受新 registry / witness key 或 binding 变化时按 did-usage-and-verification.md 验证,普通 receipt 验签复用 accepted key binding。它不同于 Read Receipt(用户读位置信号)。详见 identity/identity-did.md。
Applet集成单元(service role / 扩展)受注册、受授权、可审计的集成服务抽象(bot / bridge / automation);EXTENSION,非 v1 core 互操作必需。每个写入仍需签名与 capability,namespace 只表示可声明 / 接收范围而非权限通过。详见 applet-integration.md。
Applet BridgeApplet 桥接(部署形态)Applet 承载外部网络互通(如 MIMI Provider Facade)时的桥接部署形态;属 extension,不是新增 protocol principal 类型。详见 applet-integration.md。
SFUSelective Forwarding Unit(external WebRTC 标准缩写)外部 WebRTC 标准缩写:多人会议默认选择性转发后端(转发包不混流)。后端类型属 media plane,MUST 有 service DID 且由 Realm policy 显式允许;它不解密 E2EE 媒体、不获得 Realm 权限、不进入 MLS governance binding 信任路径。详见 media-service-binding.md。
TURNTraversal Using Relays around NAT(external WebRTC 标准缩写)外部 WebRTC 标准缩写:NAT 穿透中继。仅转发包、不获得 Realm 权限,对 E2EE 媒体明文不可见。详见 webrtc-signaling.md。
ICEInteractive Connectivity Establishment(external WebRTC 标准缩写)外部 WebRTC 标准缩写:候选连接建立框架(含 candidate / config 发现)。属信令 / 连接层,不影响 MLS governance binding,也不暴露 E2EE 媒体明文。详见 webrtc-signaling.md。
MCUMultipoint Control Unit(external WebRTC 标准缩写)外部 WebRTC 标准缩写:服务端混流后端。因混流通常需要明文媒体,故 不可用于 E2EE 媒体;若使用必须按 plaintext-visible service 在 Realm policy / profile 中披露,且不进入 MLS governance binding。详见 media-service-binding.md。
MemberIdentity成员身份段(durable event payload)Realm-scoped、actor-scoped 的完整 member_identity 段,由 ak.member.identity.update 以明文或加密封装携带(schema ak.schema.member_identity.v1,artifact member-identity.schema.json)。wire scope = durable event payload;披露完整 subject_actor_id 与 display_profile 供 Realm UI projection,handle 生命周期刻意排除。
Agent Sidecar个人 AI 私有工作区独立 ak:sidecar: 对象与 native Sidecar scope,每个 (realm_id, controller_account_id) 至多一个;MLS 目标 roster 是 controller 加上其 active owned Agents 与当前 Realm active members 的交集。不存在 controller-global Sidecar、跨 Realm Sidecar MLS group、可写 Sidecar membership、backing Circle 或 private Strand 对象。详见 sidecar.md。
desired_agent_idsAgent Sidecar 目标 Agent 集合规范真值是函数 desired_agent_ids(sidecar, accepted_commit_event_ids):active、runtime-key authorized 的 owned Agents 与 Sidecar exact Realm active members 的交集;read DTO 中同名字段只是只读投影。它不包含 target action grant、participation selection 或 MLS/KeyPackage readiness;后者只决定其中哪些 Agent 已进入 effective_agent_ids。详见 sidecar.md §5。
DeviceMessageEnvelope设备消息信封(to-device 队列消息)私有点对点设备消息封装(schema artifact device-message.schema.json,title “Arkret Device Message Envelope”)。wire scope = to-device 队列消息(经 ak.self.device_messages.command.send.v1 / .command.ack / .read.list,account subscribe to_device),不是 durable shared Realm Event,不进入 reducer / RealmCommit history。prose 用 to-device,类型用 DeviceMessageEnvelope。
Account Data账户数据(actor-private account data)actor-private 的个人偏好 / 状态类别(read marker、saved view personalization、通知偏好、个人 blocklist、agent draft / sidecar projection 等)。wire scope = account data(wire_scope=actor_private_event,encrypted account data 或 actor-private stream),MUST NOT 进入 shared Realm data/control history 或 RealmCommit coverage。详见 client-preferences.md。
to-device设备直投通道(ephemeral / to-device 队列)prose 术语:发往特定设备的私有点对点消息通道(正文写小写 to-device,章节标题 / title-case 写 To-Device,见 CC-06);类型为 DeviceMessageEnvelope,wire path / 字段为 device_messages / to_device。wire scope = to-device 队列(非 durable shared event)。详见 transport-bindings.md。
Franking Prooffranking 证明(审核证据对象)receiving service 对 exact encrypted Event 内容承诺的七字段收讫证明(ak.moderation.franking_proof):绑定 realm_id、目标 event_id、接收服务及其 verification method、精确接收时间与 replay_nonce,签名域为 ak.franking_proof.signature.v1。派生 ciphertext/AAD/routing digest 与 sender claim 不进入 proof;验证时需要 byte-identical durable proof Event、producer authority 与历史 service key evidence。可选的期限内存在声明另由确认安全 RealmCommit 的 existence_anchor 证明,但 proof Event 不进入 RealmCommit.delta,普通发送不等待该证明。MUST NOT 包含 plaintext body。详见 content-moderation.md §3.4。
Degraded State / Error Code退化状态与标准错误码跨实现必须一致解释的标准退化状态 / 错误标识(如 decryption_pending、state_mismatch、projection_incomplete、unsupported_feature、unsupported_event_kind 等)。其 canonical 取值、语义与逐项 reason_code 以 artifacts/registry/error-code-registry.json 为单一权威来源;本术语表不重复枚举具体码值。
soft_deny策略软拒绝(运行时求值结果)soft_deny 是本地 policy 求值后的软拒绝,通常表示 default client 不应提交或应降级,但不写入持久 moderation state。v1 没有与之对称的 soft_fail 通用状态:依赖、新鲜度或授权材料未能取得是评估未完成,按 dependency_missing / partial_auth_state / temporarily_unavailable 与 retry_after_ms 报告,MUST NOT 被表示成 policy decision 取值,也 MUST NOT 被缓存为 allow。二者的 retry、cache 和 UI 处理 MUST 分离。

3. 大小写与 wire 形态约定

本节给出术语在 prose 与 wire 形态间的 canonical 大小写规则。这些规则与 §1 的术语表维护规则叠加适用,不取代后者;§1 维护规则(canonical 唯一定义、别名标注、禁用词范围等)仍然有效。

通用规则(本节 §3):缩写在 prose 中 MUST 全大写(如 E2EE、MLS、SFU、TURN、ICE、MCU),在 wire 字段名 / profile ID / enum / schema key 中 MUST 保持 snake_case 小写。Arkret 服务角色专名(CC-05)在 prose 中 MUST 使用 PascalCase 专名;canonical 专名清单见下方 CC-05;泛指”某个 policy 服务”时小写普通名词可接受。

  • KeyPackage(CC-01):prose 引用 MLS KeyPackage 时 MUST 写 KeyPackage(PascalCase)。wire 命名是封闭的双层规则:单个 KeyPackage 的 identity/content 属性 MUST 使用 keypackage_ 前缀(keypackage_id / keypackage_ref / keypackage_digest);集合容器与批量引用 MUST 使用 keypackages / keypackage_refs。不得创建其它 keypackage_* / keypackage_* 变体。prose 中 MUST NOT 写 key package(带空格)或 keypackage(全小写)。

  • Welcome(CC-02):prose 引用 MLS Welcome 消息时 MUST 写 Welcome;字段名(如 welcome_digest)MUST 保持小写。

  • fail closed vs fail-closed(CC-03):动词短语用 fail closed(如 “Implementations MUST fail closed”);形容词用连字符 fail-closed(如 “fail-closed default”)。

  • E2EE vs e2ee(CC-04):prose MUST 用 E2EE;profile ID / enum / schema key 保留小写 e2ee(如 ak.profile.e2ee_client.v1)。

  • 服务角色专名(CC-05):命名 Arkret 服务角色用 PascalCase 专名。canonical 专名清单(prose normative 段落 MUST 使用左列;service-surface 表内别名仅在该表语境内允许):

    canonical 专名service-surface 表 / 别名形态
    Station—
    Station sync surface—
    Blob Service—
    Directory Service—
    Authentication Method Providerstandard IdP / issuer
    Applet Service—
    Agent Runtime—
    Media ServiceTURN / SFU 按实际角色分别命名
    Push Gateway—
    Moderation Service—
    Archive Node—
    Key Recovery Service—
    Recovery Service—
    MIMI Provider Facade—
  • to-device(CC-06):正文 prose 写小写 to-device;章节标题 / title-case 语境写 To-Device(连字符两侧首字母大写),句首可作 To-device;schema / 类型名用 DeviceMessageEnvelope;wire path / 字段用 device_messages / to_device。

4. 缩写与专有名词索引

本节是全规范缩写的导航索引:为每个在 spec/v1/zh/ 正文中出现的缩写登记唯一展开形式,并指向该术语的权威定义位置。它按 §1 的“指针型条目”规则工作——除 §4.1 与 §4.3 明确标注的部分外,本节不承载 normative 语义定义,语义以“权威出处”列指向的文档为准。

索引维护规则:

  • 同一个缩写在本规范中 MUST 只有一种展开形式;出现同形异义时 MUST 在 §4.3 显式登记消歧条件,不得依赖读者按上下文猜测。
  • 新增缩写进入 normative 正文时 MUST 同步登记进本节,并按 §3 的通用规则在 prose 中全大写、在 wire 形态中保持 snake_case 小写。
  • 本节不是 wire 契约:某个缩写能否出现在 schema property、type、enum 或 registry symbol 上,由 canonical-lexeme-registry.json 的 abbreviation_authorities 裁决。

4.1 Arkret 自有缩写(normative)

本表是 canonical-lexeme-registry.json abbreviation_authorities 中 arkret_glossary_initialism authority class 所指的封闭清单:只有本表登记的缩写符合该 class,未登记的 Arkret 域名词 MUST 保持完整拼写。全称与缩写的对应关系由本表规定;各术语的完整语义定义在“权威出处”列。

缩写全称中文权威出处
authority-commitAuthority-issued stream commitment权威签发的流承诺§2 authority-commit 条目;../authz/event-auth-state-resolution.md
PCRPrincipal Control Realm主体控制 Realm§2 Principal Control Realm 条目;../identity/key-management.md §4.1
E2EEEnd-to-End Encryption端到端加密§3 CC-04(大小写规则);../crypto-media/encryption-and-audit.md
DMDirect Message直接会话../identity/contact-and-direct-conversation.md
3PIDThird-Party Identifier第三方标识符§2 3PID 条目;../sync/third-party-invites.md
HLCHybrid Logical Clock混合逻辑时钟§2 HLC 条目;../conformance/encoding.md §7

4.2 外部标准与算法缩写(informative)

本表登记正文引用的外部标准、协议与算法缩写。它们符合 external_standard_initialism authority class;权威定义在外部标准本身,本表只固定展开形式并给出本规范的主要使用位置。

缩写全称外部锚点本规范主要使用位置
DIDDecentralized IdentifierW3C DID Core../identity/identity-did.md
VCVerifiable CredentialW3C VC Data Model../identity/identity-handles.md
SCIDSelf-Certifying Identifierdid:webvh../identity/identity-did.md
KERIKey Event Receipt InfrastructureKERI / ToIP../identity/identity-did.md
MLSMessaging Layer SecurityRFC 9420../crypto-media/encryption-and-audit.md
PCSPost-Compromise SecurityMLS 安全属性../crypto-media/encryption-and-audit.md
PQPost-QuantumNIST PQC 选定算法;MLS 侧与 MLS WG draft 的 suite 预注册纪律对齐../crypto-media/encryption-and-audit.md
OTKOne-Time KeyMatrix/Olm 对照术语../guides/migrating-from-matrix.md
MIMIMore Instant Messaging InteroperabilityIETF MIMI 工作组../extensions/mimi-interop.md
JCSJSON Canonicalization SchemeRFC 8785../conformance/encoding.md §2
CBORConcise Binary Object RepresentationRFC 8949../conformance/scalability-constraints.md
COSECBOR Object Signing and EncryptionRFC 9052../conformance/encoding.md
JOSEJSON Object Signing and EncryptionIETF JOSE 系列../conformance/encoding.md
JWSJSON Web SignatureRFC 7515../conformance/encoding.md
JWKJSON Web KeyRFC 7517../sync/service-http-binding.md
JWTJSON Web TokenRFC 7519../identity/key-management.md
JWEJSON Web EncryptionRFC 7516../identity/identity-handles.md
DPoPDemonstrating Proof of PossessionRFC 9449../sync/service-http-binding.md
JKTJWK ThumbprintRFC 7638;jkt 确认值见 RFC 9449../sync/service-http-binding.md
OIDCOpenID ConnectOpenID Connect Core../crypto-media/device-lifecycle.md
SSOSingle Sign-On业界通用术语;本规范中的企业 SSO 经 OIDC 网关绑定../crypto-media/device-lifecycle.md §3
QRQuick Response code(二维码)ISO/IEC 18004../crypto-media/device-lifecycle.md §2.1.1
HPKEHybrid Public Key EncryptionRFC 9180../crypto-media/device-lifecycle.md
KEMKey Encapsulation MechanismRFC 9180../crypto-media/encryption-and-audit.md
AEADAuthenticated Encryption with Associated DataRFC 5116../crypto-media/media-and-blob.md
AADAdditional Authenticated DataRFC 5116../crypto-media/media-and-blob.md
KDFKey Derivation Function—../crypto-media/encryption-and-audit.md
HKDFHMAC-based Key Derivation FunctionRFC 5869../crypto-media/device-lifecycle.md
HMACHash-based Message Authentication CodeRFC 2104../sync/third-party-invites.md
PBKDF2Password-Based Key Derivation Function 2RFC 8018../identity/key-management.md
I2OSPInteger-to-Octet-String PrimitiveRFC 8017../crypto-media/media-and-blob.md
OPRFOblivious Pseudorandom FunctionRFC 9497../discovery/discovery-directory.md
VOPRFVerifiable Oblivious Pseudorandom FunctionRFC 9497../discovery/discovery-directory.md
PSIPrivate Set Intersection—../identity/consent-model.md
PIRPrivate Information Retrieval—../sync/privacy-preserving-search.md
ORAMOblivious RAM—../sync/privacy-preserving-search.md
OHTTPOblivious HTTPRFC 9458../security/server-threat-model.md
IDNAInternationalized Domain Names in ApplicationsRFC 5890 系列../conformance/encoding.md
UTSUnicode Technical StandardUnicode UTS 系列../conformance/encoding.md
NFC / NFKCNormalization Form C / Normalization Form KCUnicode UAX #15../conformance/encoding.md
BOMByte Order MarkUnicode../conformance/encoding.md
UUIDUniversally Unique IdentifierRFC 9562../conformance/encoding.md
URI / URLUniform Resource Identifier / Uniform Resource LocatorRFC 3986../sync/api-conventions.md
NDJSONNewline-Delimited JSON—../sync/service-http-binding.md
WebRTCWeb Real-Time CommunicationW3C WebRTC../crypto-media/webrtc-signaling.md
ICEInteractive Connectivity EstablishmentRFC 8445../crypto-media/webrtc-signaling.md
STUNSession Traversal Utilities for NATRFC 8489../crypto-media/webrtc-signaling.md
TURNTraversal Using Relays around NATRFC 8656../crypto-media/webrtc-signaling.md
SDPSession Description ProtocolRFC 8866../crypto-media/webrtc-signaling.md
RTPReal-time Transport ProtocolRFC 3550../crypto-media/bindings/arkret-native.md
SFUSelective Forwarding UnitWebRTC 部署形态../crypto-media/media-service-binding.md
MCUMultipoint Control UnitWebRTC 部署形态../crypto-media/media-service-binding.md
MIMEMultipurpose Internet Mail ExtensionsRFC 2045 系列../crypto-media/media-and-blob.md
FCM / APNsFirebase Cloud Messaging / Apple Push Notification service厂商推送通道../discovery/push-notifications.md
TZDBTime Zone DatabaseIANA TZDB../models/calendar-event.md

4.3 通用工程缩写在本规范中的固定含义(normative 消歧)

下列缩写在业界有多种展开。本表固定它们在 spec/v1/zh/ 中的唯一含义;正文使用这些缩写时 MUST 按本表理解,需要表达其它含义时 MUST 写全称。

缩写在本规范中的含义消歧说明
CAScompare-and-swap精确前态条件;安全序列提供原子检查,普通数据只对签名因果 basis 检查。内容寻址写完整 content-addressed。
SSEServer-Sent Events见 ../sync/transport-bindings.md。唯一例外是 ../sync/privacy-preserving-search.md 中与 PIR / ORAM 并列的 “Forward-private SSE”,该处指 Searchable Symmetric Encryption;该展开只在该上下文成立。
DAGDirected Acyclic Graph指 profile 之间的 inherits / depends_on 依赖图(../conformance/conformance-profiles.md §2.1)。v1 的 Event 之间没有因果 DAG:次序只来自各 stream 的 RealmCommit.stream_position。
MACMessage Authentication Code不是 Media Access Control。指 MLS transcript 与秘密 MAC;具体的带密钥 hash 构造见 §4.2 HMAC。
Domain Transition领域转移对 commit-ordered projection 或 current-value projection 写入应用的已登记前态/后态校验规则;不是独立共享状态模型,也不参与 join。
CRDTConflict-free Replicated Data Type指注册 reducer contract 声明的 typed current result 收敛模型;封闭取值枚举见 ../models/common-fields.md §2。current-value projection 的次序与 compare-and-set 语义见 ../authz/event-auth-state-resolution.md §6;keyed-set projection 的 join 由使用它的家族各自给出(message_reactions 见 ../models/strand-and-message.md §9.8.3)。v1 不定义协同文本 CRDT。
LWWLast-Writer-Wins仅用于对照说明;v1 数据面冲突不隐式选 winner。
RYWRead-Your-Writes见 §2 与 ../sync/operations-sync.md。
KATKnown-Answer Test指逐字节固定的 fixture 向量集。
MTIMandatory-To-Implement指 v1 core 必须实现的套件 / 方法。
DTOData Transfer Object指 operation 请求 / 响应体形状;DTO 不是 wire fact,见 §2 Wire fact 条目。
TTLTime To Live缓存 / 凭证有效期,不表示 IP 报文跳数限制。
ACLAccess Control List仅用于对照外部系统;v1 授权模型是 capability + constraint。
GCGarbage Collection指历史 / blob / 派生数据的回收,不表示编程语言运行时。
OOBout-of-band指协议信道之外的带外传递(邀请码、验证码等)。
DNDDo Not Disturb通知抑制状态,见 ../discovery/push-notifications.md。
S2S / P2Pserver-to-server / peer-to-peer分别指联邦服务间调用与端到端直连媒体路径。
TEE / HSMTrusted Execution Environment / Hardware Security Module部署侧密钥保护形态,不是协议必需组件。
TCBTrusted Computing Base不是 Thread Control Block。指 Station 认证边界内被信任的组件集合(../security/server-threat-model.md);与 TEE / HSM 是不同层次——后者是硬件保护形态,TCB 是信任边界的划分。
SSRFServer-Side Request Forgery出站抓取面的威胁类别,见 ../sync/service-surface.md。
CSPRNGCryptographically Secure Pseudorandom Number Generator随机源要求。
SLAService Level Agreement部署侧承诺,不构成 wire contract。
CIContinuous Integration指仓库门禁流水线,不表示任何 conformance 概念。

Applet业务下放 MUST 使用真实Service ActorId parent→本Appletaccepted Bot/Ghost terminal child的普通grant链;ordinary authority_control的allowed_managed_actor_roles明确批准角色,创建grant/问责/namespace不构成业务parent。持续Applet上界、scope撤销与精细审批按 managed governance 执行。