Varwof.org
Index Demo GitHub

13 · 一致性中文

Source: https://github.com/varwof/capability/blob/main/docs/reference/zh/13-conformance.md

规范来源： capability-language-core-v1.md §12（12.1 Language Revision）、附录 B 本页是便于阅读的指南。如有冲突，以规范为准。 状态：Preview — 不供生产环境使用。

速览

CLC-v1 定义了三个一致性类别。CLC-A（授权侧）是基线；CLC-D（委派包含）是可选类别，叠加在 CLC-A 上；CLC-E（证据侧）已实现并由语料库锁定，但未声明。诚实原则是：由同一作者维护的实现之间结果一致，只能算回归测试，不能算独立验证。

1. 三个类别（§12）

类别 包含内容 状态
CLC-A §3 文法、§6.1 entailment、§7 intersection、§9 decision、unknown_constraint/invalid_constraint、allow_unresolved + 增量式 unresolved 通道（§8.4）、多授权聚合（§9.1）、稳定原因代码（§9.2）；必须通过 vectors.json（154）和 property-cases.json（1184） 已声明 — v1 基线
CLC-D 带有序各层的 Contains(parent, child)、两个稳定关系代码（child_exceeds_parent、params_not_narrower）、配置契约（§13.8.1——自修订 CLC-1.18 起含义务 6–7：宣称链检查前先声明传递性依据、绝不把 union 轴报告为包含结果）、AuthorizeWithChain（修订 CLC-1.13）；必须通过 containment-vectors.json（64）和 authorize-chain-vectors.json（15）。第三个代码 delegation_mode_not_narrower 属于绑定配置预检，绝不属于 Contains；它有一个 profile 持有的语料（profile-owned/aic-jwt-da-mode-lattice-vectors.json，5 条），义务 6–7 由 profile-declarations.json（11 份）固定 已声明
CLC-E §6.4 match、§10 satisfaction、证据侧约束文法、evidence-vectors.json（32） 已实现，未声明

为何暂不声明 CLC-E（§12）：不是材料不足，而是出于原则——一致是最低门槛，而门槛是两个独立实现（P12）。同一作者实现的一致性达不到门槛；证据侧语义还在与 EMILIA 联合审查，因此审查完成前不作声明。未来如要声明，所需义务已在 §12 中逐项列出：采用三值求值，unknown 绝不能视为满足；资格只能来自完整性受保护的原生结果；ActionId 是所声明材料投影的摘要；采用封闭的 CLC-REQUIREMENT-v1；根据依赖方配置生成要求；通过 evidence-vectors.json。

仅实现 CLC-A 的实现不得声明 CLC-E。

2. 一致性语料库（§12、附录 B）

位于 capability/data/_vectors/clc-v1/ 的两个机器可读测试套件用于检验 CLC-A：

  • vectors.json — 154 个向量，对应附录 B（机器可读的 kind 分组不同于附录的语义 B.1–B.6 分组；两种计数都可从语料库复现）：kind=entail（65）、kind=decide（63）、kind=intersect（17）、kind=syntax（9）。CLC-1.15 的三个跨型审计向量（intersect-011/-012/-013）是 B.4 表之外对 intersect 组的增量；CLC-1.16 的输入边界固定向量（params-053–params-062）与 CLC-1.17 的数值角点固定向量（params-063–params-070，均为 kind=entail）固定 §6.2 的数值同一性与 I-JSON 整数界规则——CLC-1.17 已把 B.3 扩展到覆盖它们（P53–P70），因此它们不再位于 B.1–B.6 之外。
  • property-cases.json — 1184 个用例，锁定 §7 meet 定律、标识符收窄和来源顺序无关性。

CLC-D 增加 capability/data/_vectors/clc-d/containment-vectors.json（64）、containment-property-cases.json（784 个用例 × 39 个共享操作，前向闭包：Contains(P,C) ∧ Entails(C,o) ⟹ Entails(P,o)，并承载 §13.3 反对称断言）、containment-crosswalk-vectors.json（44，含 §13.8.1 义务三的 out_of_scope 声明）、authorize-chain-vectors.json（15）、reason-collapse-vectors.json（3，§13.5 折叠策略）以及 profile 持有的 profile-owned/aic-jwt-da-mode-lattice-vectors.json（5，§13.4.5 模式预检）。证据侧提供 evidence-vectors.json（32）。

其他生成并锁定的语料库：param-bounds-vectors.json（49）、param-bounds-meet-vectors.json、constraint-union-vectors.json（12）、constraint-union-collation-vectors.json（2）、resolve-vectors.json（26）、crosswalk-vectors.json（13，双向：AEB crossing 成员及 OAuth RAR、AIC-JWT DA、AEG、UCAN、delegation chain → CLC grants 五种外部表示）。修订 CLC-1.18/1.19 在 vectors.json（仍为 154）之外新增：symmetry-vectors.json（50 条对称性向量——同一次操作的两侧：授权 ⇄ 证据成对、链/多授权并集、§11 关系边界）、profile-declarations.json（11 份 profile 声明，固定 §13.8.1 义务 6–7）、scheme-declaration-vectors.json（9 条 §6.7 CLC-SCHEME-v1 输入的声明校验向量）、quantity-vectors.json（8 条，quantity 声明域，经 *WithDomains 入口求值）与 string-domain-vectors.json（24 条，decimal-string / subdomain / path-prefix，含词法拒绝）。

通用性经过检验，而非仅作声明（§12）：配置只是外部格式所有者编写的少量映射代码；核心不为其中任何一种而修改。实现不得重新定义语义、接受 v1 禁止的通配符，或在规范化过程中放宽边界。

3. 实现独立性（诚实的范围，§12/§13.7）

仓库 README 中列出的三个实现（Go、Python、TypeScript）不是独立证据：它们由同一作者维护，其一致性是对规范的回归测试，不是第三方验证。在出现独立实现之前，一致性声明的范围仅限于“同一作者、三种语言、一套语料库”。审查者应把单一作者的一致性视为规范可以实现的证据，而不是规范已被独立解释的证据。

实验性相邻工作不属于 CLC（§12）：WIT/WPT 互操作研究（varwof/aic-jwt）实现了本修订拒绝的更宽通配符语法（**、{a,b}、[a-z]），以 unsupported_wildcard 处理；它不是 CLC-A，也不得被如此引用。

4. Language Revision（§12.1）

每个实现都声明语言修订 CLC-<major>.<minor>；本文档声明 CLC-1.19。输入（授权、操作、OCM）应当携带其编写时所依据的修订；未携带修订的输入视为 CLC-1.0。

  • 兼容读取： 输入声明的 major 与实现相同，且 minor ≤ 实现自身的 minor 时，实现可以求值（CLC-1.3 实现读取 1.0–1.3，不读取 1.4 或 2.0）。
  • 不兼容读取必须失败关闭 → deny("unsupported_language_revision")，并在任何 §9.1 层之前解析；不降级，也不先警告再放行（revision-002；正向示例见 revision-001）。
  • CLC-A 一致性与 minor 门禁是同一规则的两面（§12.1）：声明 CLC-A 意味着实现所声明修订的语义——宣传 CLC-1.19 就必须实现 param_bounds（文法 + §6.6 meet）、Resolve、ConstraintUnion 和 §6.2 规范化，而不只是接受它们的输入。落后的实现应声明旧修订，并通过门禁拒绝更新输入；它不得声明高于自身实现能力的修订，也不得在拒绝自身所声明修订的格式正确输入时，仍声明 CLC-A。

逐修订摘要（完整文本见 §12.1；各项对判定的影响均在该处说明）：

修订 性质 主要新增／变更
1.2 增量 decision 的 unresolved 字段 + invalid_constraint
1.3 增量，一处重新划定范围 allow_unresolved 判定值；allow = “完全执行”
1.9 增量 包含关系 + CLC-D（§13）
1.10 增量，minor 门禁 param_bounds + 四个原因代码
1.11 增量 Resolve（§8.5）+ invalid_resolution/invalid_timestamp
1.12 增量 ConstraintUnion（§7.1）
1.13 增量，限于 CLC-D AuthorizeWithChain（§13.11）
1.14 增量 BoundMeet §6.6（param_bounds 交集）
1.15 纠正性 跨族 meet 拒绝 invalid_params_binding（该子集由 allow→deny）；JSON 类型敏感的 enum equal；UTF-8 字节序排序；delegation_mode_not_narrower 重新归属配置预检
1.16 纠正性 跨移植交叉核查：I-JSON 整数界（超过 2^53−1 → invalid_params_number）、拒绝前导 UTF-8 BOM、宿主数值载体归一化、原始文本是唯一的符合性入口；§8.1 max_rows × 键闭合的调和；§13.4.2 :-分段不是层级；§13.4.3 五行收窄判定表（语料 123 → 146）
1.17 纠正性 数值角点收官：I-JSON 界按收到 token 的数学值判定；数值同一性是 JSON 数字而非其拼写（-0 ≡ 0、1e3 ≡ 1000）；不超过 17 位有效数字的非整数按 binary64（四舍六入五成双）承载。无判定变化（语料 146 → 154）
1.18 增量 完成绑定配置契约：§13.8.1 义务 6（宣称链检查前先声明传递性依据）与义务 7（绝不把 union 轴报告为包含结果）；新增说明性 §13.9.7 载体决策状态；§11 明确两个工件之间的关系不可表达。CLC-A 判定、reason code 与向量均无变化
1.19 增量，minor 门禁 §6.7 scheme declaration（CLC-SCHEME-v1）及四个声明域（quantity、decimal-string、subdomain、path-prefix）；新增 reason code unit_mismatch（第 9 层）和 unsupported_domain（声明校验，在第 1 层之前解析）；Contains 在父方声明的 domain 下比较（不匹配 → params_not_narrower），BoundMeet 拒绝跨 domain 对（invalid_params_binding）。无声明的输入不受影响

判定稳定性的诚实说明（§12.1）：兼容读取控制的是可读性，不是判定稳定性。在 §6.6 meet 子集上，CLC-1.10→1.14 将 invalid_params_binding 改为正确 meet（deny→allow），1.15 又将跨族子情况改回 invalid_params_binding（allow→deny）。所有不含 param_bounds 的输入在整个 1.x 范围内判定稳定；使用者不得假设 param_bounds meet 子集也稳定。

总结：一致性审查检查什么

  • [ ] CLC-A：vectors.json（154）+ property-cases.json（1184）通过；不得丢弃 §8.4 的 allow_unresolved/unresolved。
  • [ ] CLC-D：containment-vectors.json（64）+ authorize-chain-vectors.json（15）通过；Contains 始终只比较声明集合。
  • [ ] CLC-E：未声明（未达到独立性门槛，等待 EMILIA 审查）。
  • [ ] minor 门禁：不静默降级；输入不兼容时，在任何层之前报告 unsupported_language_revision。
  • [ ] §6.7 声明门禁：畸形/摘要不符/不支持的声明在第 1 层之前报告 unsupported_domain；声明域的键只能位于 params，绝不能位于 param_bounds。
  • [ ] 诚实的范围：同一作者的一致性属于回归测试，不属于独立验证。

常见误区

  • 沿用 1.15 之前的旧计数——CLC-1.15 跨型审计之前的文本写 120 个向量 / kind=intersect（14）；审计新增 intersect-011/-012/-013 后为 123 /（17）；CLC-1.16 收官再增 params-053–params-062（kind=entail），CLC-1.17 数值角点收官又增 params-063–params-070（kind=entail）与 pb-044–pb-049，当前计数为 154 / entail（65）、decide（63）、intersect（17）、syntax（9），param-bounds-vectors.json 为 49。修订历史 CLC-1.8 行的"114 to 120"是当时事实，保留不改。
  • 仍把 CLC-1.15 当作本文档声明的修订——自 2026-10-17 起本文档声明 CLC-1.19；1.15 的声明在 2026-09-25 之前有效。CLC-1.18/1.19 没有改变 vectors.json 的计数（仍为 154）——它们的语料在独立文件中（symmetry-vectors.json、scheme-declaration-vectors.json、quantity-vectors.json、string-domain-vectors.json、profile-declarations.json）。
  • 声明 CLC-E——语料库已经存在，但该类别出于原则暂不声明（§12、P12）。
  • 假设各 minor 的 param_bounds meet 输入判定稳定——规范明确不保证（§12.1）。

← 12-containment.md · → 14-cookbook.md · 相关：02-overview.md、11-reason-codes.md