Skip to content

Authority-Attested Results

This content is not available in your language yet.

Authority-attested 结果

规范关键字按规范语言解释。

用户已经信任自己的 Account Station 进行会话、账号和本地可见性处理，但 Realm 共享事实的 finality 只能来自 current governance Station 的 RealmCommit 或绑定该 authority generation 的 typed snapshot。

1. 信任方与角色

v1 保留三类可被 Account Station 转达的权威结果：

  • RealmCommit：证明 exact Event 已在某一 Realm/Circle/Sidecar stream 的唯一 position 被接纳；
  • RealmStateSnapshot：由当前治理 Station 签名确认指定 authority generation 下的内联 current_state_entries[] typed current rows、调用者获准 stream heads 与 history floors；
  • TypedCurrentRow：返回封闭 selector 的 current value 及最后影响它的 Commit revision。

服务不得返回一个既无 RealmCommit 又无 typed snapshot/current signature 绑定的 accepted=true。

2. 消费方验证

消费 Station 必须：

  1. 从 Realm genesis 开始验证连续 handoff chain；
  2. 确认签名者是该 generation 的 current governance Station；
  3. 验证 object ID、detached signature 投影和 nonce/audience；
  4. 对 Commit 验证同 stream 的 position/predecessor 连续性；
  5. 对 snapshot/current 验证 selector 和可见性没有扩张到其它 Circle/Sidecar。

客户端仍独立验证 Event producer proof 的自身一致性（federation.md §3）、MLS/attachment 密码学和用户意图。外站 human 设备的授权以治理 Station 的 RealmCommit 为准；authority signature 不能替代 producer proof 的自身一致性检查，也不能替代 MLS 认证。

MLS roster 也按此分工：Account Station 验原时点完整方法权威，self-only typed 结果携原治理页及 绑定 exact manifest／record／签名用途的公钥，客户端用它们独立验原 recipient 双签、manifest 与 RFC leaf。没有通用 verified 布尔捷径，也没有 MLS-only 方法历史例外；精确 carrier、授权与 失败关闭见 encryption-and-audit §2.2。

2.1 普通客户端消费既有治理结果（normative）

上述治理链、Station 方法历史、治理签名与 nonce 验证由消费 Account Station 执行；独立审计者 按自己的已登记来源执行同一验证。普通客户端 MUST 经 §1.2 已持久接纳、已认证到完整 AccountId 的自己的 Station 消费原件，MUST NOT 把该客户端消费合同当作独立治理审计或第三方 portable proof。 客户端 MUST NOT 从 retained Commit 的 signature kid 发起首次 DID discovery、猜测治理 endpoint， 或为普通同步、current、提交、join、MLS 恢复强制执行方法历史 verifier。

ak.vector.authority_commit_projection.result_consumption_roles.v1 验证本节的角色与输入边界。

本合同只复用既有 self Account/committed-event 同步与 scan、typed exact current、Snapshot head/by-ref 和 self submit outcome，不添加 verified 布尔、第二套 receipt、通用 Station key 或 discovery operation。 自己的 Station MUST 在返回前独立验证该结果的原治理证明、同 stream 连续性、generation 与可见性； 材料不可得或验证失败时 MUST 返回该 operation 既有不可用/拒绝结果，MUST NOT 返回可用于写入的伪成功。 原 authority bytes MUST 原样保留，最终事实仍来自治理 Station，自己的 Station 不产生新 finality。

本次 self 提交原件（normative）：成功 self submit outcome 也是本合同的既有输入。客户端 MUST 先按本次冻结请求验证 outcome 分支及每个 aggregate slot 的逐项对应，再将该请求中完整自签 Event 与该 slot 返回的原 accepted RealmCommit 配对；MUST 核对 Event/Commit content ID、event_ref、Realm、scope、 stream 与 position，且请求及结果仍绑定同一已接纳 Station、完整 authenticated AccountId 与本地会话/账号世代。 Rejected 分支、任意本地 Event、外来 Commit 或错 slot 不构成此来源。消费该配对只构造本次 exact target， MUST NOT 推进 stream head/floor、宣称已读取 timeline，或要求下载/重放 PCR/control stream；后续 timeline 仍按其独立 scan floor 与连续性消费。独立 producer proof、精确历史公钥、Ed 签名与 MLS 检查仍全部必需。

客户端 MUST 独立核对：

  1. 实际请求仍使用已接纳 Station base、完整认证账号与当前本地账号会话；迟到的另一账号、重新接入前 的 response 或任意 remote/self-shaped result MUST NOT 安装为当前状态。无账号回显的既有 self carrier 由该认证请求及其固定本地上下文绑定账号，不增加 wire 镜像。
  2. Realm、effective scope、完整 selector、Event/Commit/ref、revision/generation 与请求及原件逐字一致； 重复 selector、重复位置、缺必需项、外 scope 或混合 cut MUST 拒绝。客户端仍重算 content-addressed ID 与封闭 shape；TLS/session 信任不授权改写原坐标或忽略明显矛盾。
  3. 每个可见 stream 独立检查 position/predecessor 连续性与已保存 head，禁止同 position 换 Commit、 generation/head 回退和把 snapshot 的 sibling head 当本 stream 的 replay predecessor。受历史权限限制的 起点仅接受既有 exact Snapshot basis；裸 cursor、到达时间、preview row 和本地 reducer 不能补出 anchor。 head/current 与历史 floor 必须来自同一获准 cut；并发 cut 变化按既有不可用合同重取，不能拼接通过。
  4. 每条有 producer envelope 的 Event 仍独立检查 producer proof 自身一致性及 exact historical signer selector；redacted/reference-locked row 不提供 producer 验证材料。MLS roster 原双签、manifest、RFC9420 leaf/credential/proposal、application AEAD/AAD、attachment 完整性及用户待签意图继续独立验证。

普通客户端可以持久保存已绑定上述上下文的原件与连续性 checkpoint；MUST NOT 保存可复用的裸 verified 结论、以 current key 替代历史授权实例或把自己的 Station 结果转授给其它角色。自选 Station 或其 TLS/origin 失陷仍是 §1.2 的残余暴露；本合同不声称检测自己 Station 对有效治理原件的遗漏或虚假验证声明。

3. 转发与缓存

Account Station 可以缓存已验证结果并对自己账号开放，但必须保留 exact authority bytes 和验证状态。 它不得改变 revision、合并多个 stream 为一个伪全局序，或用本地接收时间作为 finality。

Authority handoff 后，旧 generation 的历史 Commit 仍可验，但旧 Station 签发的新 position 无效。缓存在每次写入前 必须刷新 authority bundle。

4. 服务器验证复用

MLS current 只包含 public group state、epoch、group-state ref、current_key_access_revision 和 covered_key_access_revision。两个 revision 不等时，治理 Station 拒绝新 encrypted application Event 和 Welcome admission， 直到有效 MLS Commit 覆盖 current revision。

Welcome 是 producer-signed recipient delivery object，与 Add Commit 原子入队。它不是 Realm Event，不产生独立 RealmCommit。接收者按 welcome_id 幂等 ACK；ACK 不改变已接纳 Commit 的 finality。

5. MLS 绑定结果

单 authority 模型不证明治理 Station 没有审查、扣留或错误接纳一个真实 producer Event。它只提供统一顺序、 即时 current authorization 判断和获准 stream 的连续性。需要 Byzantine transparency 的部署必须使用未来的独立 witness profile，不得恢复 authority-commit/RealmCommit/typed current result 双平面。

6. 信任边界细则

1.1 攻击者与责任矩阵

Account Station 负责 session、本地可见性、缓存与本客户端合同中的身份历史验证，不产生 Realm finality。

1.2 普通客户端的 Station 接入（normative）

Realm finality 的信任锚是 genesis + handoff chain 确定的 current governance Station。本节是普通客户端首次 登录、恢复连接与重新接入自己 Station 的唯一合同：它不要求客户端实现 DID method-native 的历史 verifier， 也不授权客户端把任意外部服务当作自己的 Station。

  1. 独立起点：客户端 MUST 从用户明确选择的 Station HTTPS base URL，或部署独立预配的 base URL 与预期 身份/认证绑定开始。搜索结果、邀请、二维码与 redirect 只提供候选，MUST NOT 自动替换该选择。TLS MUST 验证被选择 origin 的证书；已预配的 service_id、trust_domain 或认证绑定存在时，服务自报 MUST 与之 逐字匹配，MUST NOT 覆盖它。
  2. 公开发现：在发送任何既有账号凭据之前，从该 base 读取 GET /_arkret/describe。该请求 MUST 不带 凭据、MUST 不跟随自动 redirect，并执行 service-http-binding.md §2.3 的大小、压缩与超时限制。客户端 MUST 检查 protocol_version、service_kind="station"、唯一 canonical HTTP JSON base 与实际选择一致，以及合法的 service_id、trust_domain 与 auth_metadata。describe 自洽不证明该 origin 是某个人或组织的真实服务。
  3. 认证绑定：全部 account 操作 MUST 从 auth_metadata.account_authority.gate_account_base_url 派生，并 校验其 origin 与 account_authority.origin 一致；MUST NOT 按 operation 猜地址，也 MUST NOT 在 base 缺失时 回退。Station、Authority 与 IdP 可以分处不同 origin。
  4. 持久接纳：客户端 MUST 在开始认证或重用凭据之前，耐久保存并逐项比较所选 base URL、service_id、 trust_domain、Authority origin/base 与认证方法配置。集合顺序、可忽略的 x_*、动态 limits/features 以及 未改变上述绑定的常规签名 key rotation 都不构成认证权威替换。该持久状态 MUST NOT 随登出、进程重启、 账号切换或缓存淘汰自动丢弃；并发首次安装 MUST 比较既有绑定，MUST NOT 后写覆盖。保存或读取失败 MUST 阻止后续凭据发送，MUST NOT 降级为”首次接入”。
  5. 变更与重新接入：恢复连接 MUST 先重新取得公开 describe 并与持久绑定比较。失配时 MUST 停止认证、 refresh 与既有凭据发送，并保留旧绑定与账号材料；只有用户显式重新选择并确认新绑定，或独立受信的部署 管理渠道授权更新之后，才可安装新绑定并重新认证。MUST NOT 向新权威转交旧 handoff、authorization code、refresh token 或 SessionGrant，MUST NOT 以”重试""重新连接”或清缓存代替重新接入。
  6. 独立验证不被替代：客户端不重放 DID 历史，并不免除服务端的独立验证义务——Station、registry、联邦 接收方与独立审计者各自的原生验证职责不变。不能验证的候选 MUST NOT 被标记 verified，也 MUST NOT 作为 隐式账号接入依据。

首次 origin 选错、独立预配渠道失陷或受信 WebPKI/origin 失陷属于残余暴露；持久绑定只能延续已经作出的选择， 不能追溯证明首次选择正确。

5.2 已知 MLS artifact 的接纳结果

MLS public state 由 accepted Genesis/Commit Event 及其 RealmCommit 投影。

5.2.1 认证收件人的 Welcome 引用发现

调用方通过 Commit Event ref 与 typed MLS current 判断 winning transition，不通过独立 RealmCommit proof。

5.6 按次 current 与精确历史签名公钥

授权结果绑定 exact selector、authority generation、current revision 与 caller audience。机读合同是 signer-key-operations.schema.json。

结果不镜像身份（normative）：ordinary human 的 current_admission/account_device resolved key 使用封闭 current_device_signing_key，恰含 public_key_b64u。自己的 Station MUST 在本次查询中复用 §8.2 的设备目录验证：本地从同一耐久 PCR current cut 取材，跨站只经既有 ak.peer.keys.read.lookup.v1 按完整 AccountId 与 exact device selector 取材，独立验证 origin Service 签名、issuer/method、device、当前 generation、active 状态及授权/attestation 时窗，并逐字核对 selector 的 device verification method。当前 recipient 与 sender MUST 同属请求的可见普通 Realm；取材失败、撤销、 换代、过期、错 Station/method/device 或缺材料均返回同形 unavailable。MUST NOT 返回 PCR Commit/history、 伪造坐标、把 Contact 历史 producer 或缓存 key 当 current authority。结果只用于本次冻结操作，下一次操作必须重查。

current Agent 与两个 historical 分支继续使用封闭 query_signing_key，只含 public_key_b64u、完整 authorization_ref: committed_event_ref、revision{commit_id,stream_position} 与 governance_generation。 actor 与 verification_method 只从 enclosing selector 取得，key MUST NOT 重复携带这两个字段。 revision 是该 authorization stream 在解析时已验证的 current revision，MUST 与 authorization_ref.stream_ref 属于同一 stream、位置不得早于 authorization Event，并由其 RealmCommit 验证 governance_generation；缺任一坐标或绑定时必须返回 unavailable。human current 的 key-only 结果 MUST NOT 用于 historical、Agent、Signal 的独立 signer 或高风险 Control root。

关联只靠完整 selector（normative）：每个请求 selector 恰好对应一个结果，不省略、不重复、不额外添加。 结果关联 MUST 使用完整 selector 的相等性——verification_mode、sender_kind、完整 AccountId、 device_id（适用时）、verification_method 与历史 committed_event_ref（适用时）——MUST NOT 使用数组下标。乱序不影响 关联；重复、缺失或多余的 selector MUST 拒绝整份结果。

历史坐标来源与双引用分离（normative）：两个 historical_event selector 都 MUST 携 required committed_event_ref{event_id,commit_id,stream_ref,stream_position}，且 stream_ref.realm_id 必须等于请求 realm_id。该引用是“待验 producer 签名的 historical Event”；结果 key 的 authorization_ref 是“使该 key 在该历史点有效的 accepted authorization Event”。两者 MAY 相同但 MUST 独立验证，协议不得强制相等、互相替代 或因 key bytes 相同而合并授权代次。构造来源封闭为以下既有输入：已验证 realm_sync_entry.committed_events[] 或 stream_scan_outcome.committed_events[] 的 stream_row{commit,event}：客户端先验证 该 row 所属认证 self 结果的原 RealmCommit generation／stream／position／predecessor，消费 Station 先验治理签名； 普通客户端按 §2.1 消费该原件并核对 commit.event_ref == event.event_id， 再逐字复制四坐标；或者 §2.1 本次 self 提交的冻结完整自签请求 Event 与 bound accepted outcome 原 Commit 配对，按该节逐项核对后复制同一四坐标。后者不是新的历史传输 carrier，不需要补扫 PCR， 也不提供 predecessor 历史或推进 stream head 的依据。current projection 中嵌套的 Event、event_states[]、account cursor、arrival order、 created_at、SignerEvidenceRef 或本地曾见同 EventId 都不能补出坐标；current entry 的 source coordinate 只证明 该 entry 自身来源，不外推给 value 内嵌 Event。

redacted／reference-locked row 即使暴露 EventId 或 Commit coordinate，也没有 producer envelope 可验，历史 signer 状态仍为 unresolved。缺 exact target coordinate 时 MAY 在已知 stream 上用正式 per-stream scan 回填；只有裸 EventId 时不得全 Realm 探测、按时间／cursor 猜 position，也不得降级成 current_admission query。缓存与耐久索引 必须以完整 target committed_event_ref 为键并保留独立 authorization ref/revision；重启、乱序 response 与迟到 的另一账号 response 都必须重新核对完整 selector 与 recipient context。

self 提交的 Human PCR 历史公钥（normative）：既有 self signer-key operation 的 historical_event/account_device 分支 MAY 对本 Station 已接纳的本次 self 提交 PCR target 解析完整历史 key， 仅当 authenticated recipient 的完整 AccountId 等于 target 的实际 Human producer 完整 AccountId，且当前 请求认证/授权有效。实际 producer 按 producer envelope（含适用的 executed_by 或 MLS actual signer）确定， MUST NOT 仅以 actor、相同 principal 或 controller 名义替代。治理 Station MUST 在原接纳事务持久冻结 self-admission 来源、本次 accepted fullAccount binding、exact target 四坐标、原 proof 与完整 immutable 历史授权事实；该事实必须足以独立验证 authorization_ref、revision、governance_generation 及原授权时点。 Agent PCR genesis 的 controller Human 自签提交还 MUST 绑定原 accepted provision、完整 controllerAccount 及原 delegation 的同事务事实；其他正式 Agent PCR self 提交亦须有其原接纳事实。registration 早序缺授权、 后来 current Agent row/current DID、同 principal 或 peer backfill 均不能补成此来源。非 Human actual producer 不能使用本分支。缺失或冲突事实、错 recipient/Station、错 target、sibling/foreign admission MUST 返回 既有同形 unavailable，无写入、无 current-query fallback。

本分支只返回既有 query_signing_key，MUST NOT 返回 PCR Event/history、Commit chain 或新增 wire 字段； 它不授予 PCR scan/membership、不修改 floor，也不放宽普通 Realm/full-received 历史的既有 disclosure、floor 与 selector 规则。历史授权后来撤销或换代不能改写原事实，也不能恢复当前授权；当前认证仍独立必需。

历史签名证据解析的活性（normative）：收到已认证的完整 committed Agent Event、且本地缺少其 exact historical signer 证据时，客户端 MUST 将该 target 的解析工作绑定到承载它的 stream 消费路径。 满足上述坐标来源与读取权限后，MUST 主动发起或合并同一 exact selector 的查询，MUST NOT 依赖未来 Account 帧、另一条消息、页面刷新或产品投影是否发生变化才启动。缺完整 envelope/坐标、权限或有效 查询结果时继续 unresolved；不得降级查询或绕过签名验证。

暂时失败的解析 MUST 保留有界待验工作，在仍获授权时通过正常网络恢复或明确重试继续处理；不得 无限紧密轮询、全 Realm 探测或把 unavailable 当作授权成功。已验证结果到达后 MUST 按原 exact target、recipient 与会话/账号世代重新核对，并重新验证对应待验消息及其 MLS leaf authorization 绑定，再更新展示。只有发送者证明与内容解密均通过才能展示正文。本段不使 Account cursor 或已安装 current 变成 producer authority，也不要求为了等待 key 而回退已经验证的 stream head。

调用语境不可丢（normative）：recipient_account_id MUST 逐字等于已认证 SessionGrant 的完整账号，其 Station MUST 是服务本请求的自己 Station；结果 context MUST 逐字回显请求。current 结果只供本次冻结的操作 消费：同批或完全相同且已在途的查询 MAY 合并，但已完成的结果 MUST NOT 供未来操作或重连使用。稳定公钥 bytes MAY 缓存，但 (actor, method, key) MUST NOT 替代 exact authorization Event 实例——同一 key 的重新授权 必须按独立授权实例核对。

authorization_ref 是必填（normative）：current Agent 与所有 historical resolved 分支的 query_signing_key MUST 携带真实适用的 accepted 授权 Event 完整坐标、current revision 与 governance generation；历史 Agent 与普通设备没有例外。 缺失或无法取得时 MUST 返回同形且逐字回显完整 selector 的 unavailable，MUST NOT 把裸缓存公钥当作成功， 也 MUST NOT 用细分 reason 泄漏隐藏状态。

不改动的两条边界（normative）：Signal frame 没有 enclosing selector，继续使用完整 station_signing_key {actor, verification_method, public_key_b64u, authorization_ref} 的独立身份形态； peer portable evidence 保持自己的独立来源合同，MUST 绑定本地接收方，其独立接纳时间 MUST NOT 混同原 producer 的 admission 时间。本节的收窄只作用于 self 查询结果，MUST NOT 被读作对这两者的放宽。

5.8 DID result

DID 解析证据可以作为 producer/service proof 验证输入，但不代表 Event 已提交。

5.9 Media result

Media 内容完整性由 blob ref 和 producer-signed 引用证明；可见性和接纳位置由 RealmCommit/current result 证明。

closed schema 正反例见 ak.vector.signer_key.human_current_privacy.v1 与 current-signer-contact-endpoint-fixture.json。

Foreign Human historical signer delivery (Normative)

本节新增普通Human业务接纳的原事务冻结职责；既有§5.6 self Human PCR强冻结合同并不自动覆盖ordinary，本节不得把新职责说成既有实现已完整支持。普通local Human在治理接纳锁定的PCR current授权cut冻结revision；foreign Human由origin发送前同锁定cut冻结revision并签精确来源，governor在原接受事务验证并保留该原cut而非读取其它current cut。业务Realm accepted time与producer PCR任期均独立。

本节固定服务 origin→governor→member 的原历史供材；普通客户端 §2.1/§5.6 的两个 exact target 来源、独立Human Ed验证、session/account fence与可读floor不变。客户端 MUST NOT 由裸fact/event_id造target，也不得执行foreign PCR NativeAudit。

现 authority-commit-operations 的 closed human_historical_signer_fact 顺序 MUST 为 event_id、actor、device_id、verification_method、key、accepted_at；actor 是实际Human signer完整Account ActorId（executed_by优先，否则actor_id），key复用既有 query_signing_key 的 public_key_b64u/authorization_ref/revision/governance_generation。授权四坐标独立于业务target四坐标；revision/PCR治理generation是原授权cut，accepted_at是原授权Commit.committed_at。actor/device_id/verification_method/event_id仅为原Event的逐字对应检查，MUST NOT 成为第二身份权威。事实 MUST 在原接纳事务准备，原producer proof、完整Account/device/method/key和授权实例都吻合。不得用业务Commit时间或current key/revision补齐。

governor对所有新普通Realm Human device business Event MUST 同事务冻此fact并让原RealmCommit承诺其摘要，包含local-governor Human给foreign-member的Direct四项、ordinary/registered aggregate与实际Human MLS Commit，不以当前foreign member/outbox非空才条件生成。Agent/Service/PCR注册恢复等专用native branch MUST NOT 借用本Human来源。缺source时新接纳零效果failclosed；accepted exact retry先返回原durable outcome，不重取current、重签Commit或换fact。

member仅在原source authority/Commit签名、内容ID、stream连续性与合法Full披露都通过后，重算fact digest并核原完整Event实际producer与真Ed proof；原件与immutable fact同一replica事务保存，重复必须逐字相等，冲突零写/冻结。历史query沿原selector/status/key/accepted_at闭形状与原读取授权返回，current状态后来改变不重写原实例。旧missing-source rows维持Unavailable，不回填旧Commit或扩大PCRhistory许可。

authorization_ref携PCR RealmId、position、Event/CommitId，revision/generation可跨Event/设备关联；公开factdigest在已知候选fact时也可确认内容，哈希MUST NOT被描述成匿名或不可关联。

此处仅批准经当前recipient授权与Full可见性门允许的普通业务验签所需key及原授权坐标/revision/PCRgeneration/时点的窄metadata披露，不披露PCR Event/Commit bytes、predecessors、授权链、恢复材料或其它账号device目录。fact不授current权限，原admission/capability/policy/approval/native audit职责独立。

本条款复用检验向量 ak.vector.signer_key.historical_commit_coordinate.v1；签名字节夹具仅证明密码学转录，不替代原接纳事务与实际交接验证。