15 · 术语表中文
规范来源：
capability-language-core-v1.md§2、§6.7、§9.2、§11、§13.2、§13.8.1、§13.9.7 本页是便于阅读的指南。如有冲突，以规范为准。 状态：Preview — 不供生产环境使用。
A
Action — 被引用的对象：抽象操作类别（授权侧），或具体声明的效果（证据侧）。见 04-actions。
ActionId — 证据侧标识符：ObservedAction 所声明材料投影的 JCS 摘要（§4.2/§6.4）。未声明字段不得影响它；缺少已声明的材料字段会使该操作无法匹配。
allow — 授权判定：操作已被完全执行，不存在残余义务。与 allow_unresolved 不同（§9/§11）。
allow_unresolved — 授权判定：授权成立，但 unresolved 中至少携带一个已识别但未求值的约束。它绝不等同于 allow；无法求值或确认约束的使用者必须拒绝（§8.4）。
Authorize — Decision 函数：Authorize(grants, operation) → Decision（§9）。
AuthorizeWithChain — 融合式链检查（CLC-D）：先对每一对相邻跳执行 Contains，再执行 Intersect(chain...)，最后执行 Authorize（§13.11）。
B
Binding — 将 Identity 关联到 Action 的关系：Entailment（授权侧）或 Match（证据侧）。不是密钥绑定（cnf/DPoP/mTLS），后者属于原生工件的规范（§11）。
Bound — 按 §6.2/§8.1 值语义解释的已声明约束值（§13.2）。
BoundMeet — Intersect 用来跨来源组合 param_bounds 的 §6.6 meet（§6.6）。见 07-parameters。
C
CapabilityId — 按 §3 文法标识某 scheme 内一类 Action 的结构化名称（§2/§3）。
Carrier decision state — 载体自身的拒绝／搁置状态（永久或临时拒绝、not-evaluated、established-negative / not-established / stale、undecided、local-only）。§13.9.7（说明性，修订 CLC-1.18）将其逐一映射到 CLC 的三个 verdict 与 Resolve 取值；它绝不是第四个 verdict。见 12-containment。
CLC-A / CLC-D / CLC-E — 一致性类别：授权基线（已声明）、委派包含（已声明）、证据侧（已实现，未声明）（§12）。见 13-conformance。
CLC-
Constraint — 对 Action 可如何使用（授权侧）或需要哪些证据（证据侧）的限制；其身份是 (scheme,type) 对（§8.1）。不属于 Contains 关系（§13.4.4）。
ConstraintUnion — 派生投影：链中约束字符串经规范化后按确定顺序排列的并集（§7.1）。见 09-intersection。
Contains(parent, child) — 包含关系（CLC-D）：子项声明的授权是否位于父项声明的授权内？（§13.4）
D
Decision — 授权侧结果：{verdict: "allow"|"deny"|"allow_unresolved", reason, unresolved}（§9）。
Declared domain — scheme declaration 为参数声明的 domain：形状推断的 bound/enum/exact，或 CLC-1.19 的四个 domain（quantity、decimal-string、subdomain、path-prefix）之一。未声明的参数保持形状推断的 domain（§6.7）。见 07-parameters。
Declared set — 授权作为操作限制而携带的参数（§6.2 值语义），以及其已声明键集（params 和 param_bounds 键的并集）（§13.2/§13.4.3）。
delegation_mode_not_narrower — 由绑定配置预检产生的 CLC-D reason code（§13.4.5），绝不由 Contains 产生（§13.5）。见 12-containment。
deny — 授权判定：操作未获授权，并带有稳定 reason code（§9）。
E
Empty bound — []/{} 出现在值位置——显式为空，因此拒绝该类。注意区别于 params:{}（不构成限制）（§7 规则 6、§13.2）。
Entailment — 授权侧绑定：授权覆盖操作（⊆）（§6.1）。
Evidence side — Match（§6.4）/ Satisfy（§10）机制及证据侧约束（§8.2）；已锁定，但未声明为 CLC-E（§12）。
G
Grant — Principal 对某个 CapabilityId 的授权，可带可选 params、param_bounds 和约束（§5）。
I
Intersection — 将多个授权来源组合成有效集合（∩）；P_effective = P_principal ∩ C_agent ∩ P_gateway（§7）。
M
Match — 证据侧绑定：证据绑定到完全相同的 Action（MATCH / NOT_EQUIVALENT / INDETERMINATE）（§6.4）。
Mode lattice — 载体定义的委派模式顺序，由绑定配置检验（§13.4.5）；AIC-JWT：authorized < representative。
N
Narrower — 子项授权的每个声明值都位于父项边界内，且其键集由父项键集闭包（§13.2）。
Native verification — 原生工件规范所涵盖的签名、模式、时效性检查，位于 CLC 之外（§11）。
O
Operation — 具体 Action 请求：一个 CapabilityId 加参数（§4.1）。
ObservedAction — 证据侧对已执行具体 Action 的记录（§4.2）。
P
params — 授权上声明的参数限制（§6.2）。params:{} ≡ 未声明 = 不受约束。
param_bounds — 扩展参数边界字段（CLC-1.10+）（§6.5）；一个键只能位于 params 或 param_bounds，绝不能同时位于两者。
Profile (binding) — 载体将其原生授权结构映射到 CLC grants 的方式（§13.8.1）。
R
Reason code — 稳定标识符；规范代码 = 第一个 : 之前的所有内容；: <detail> 只是诊断后缀（§9.2）。
Relation between two artifacts（不可表达） — CLC 对事实求值角色表达式，没有用来表示连接两个工件之关系的术语；载体必须把这种关系规范化为其验证器确立的事实，或在投影之外执行它；两个端点同时存在绝不等于该关系成立（§11，修订 CLC-1.18）。
Resolve — 决策后函数，消费 Decision 并履行残余义务（§8.5）。
Residual obligation — unresolved 中携带的、已识别但未求值的约束（§8.4）。
S
Satisfaction — 证据侧判定：SATISFIED 或 UNSATISFIED（二值；unknown 只在内部使用）（§10）。
Scheme declaration — 内容寻址的 CLC-SCHEME-v1 工件，为一个 scheme 声明每个参数的 domain；由载体或依赖方固定，核心从不获取；其 digest 覆盖去掉 digest 成员后的 JCS 形式（§6.7，修订 CLC-1.19）。见 07-parameters。
T
Transitivity basis — 检查委派链的 profile 在宣称链检查之前必须声明的依据：定义推导、可机械检验（须给出有限域与确定性过程）或仅作断言。Contains 只针对相邻对，不声称传递闭包（§13.8.1 义务 6，修订 CLC-1.18）。
U
Union axis — 链上合取性的载体字段（累积的 constraints、ATN 的 preconditions、AAE 的 CONSTRAINTS、requires 列表）：它按 §7.1 约束并集组合，profile 绝不能把它报告为包含结果（§13.8.1 义务 7，修订 CLC-1.18）。
unit_mismatch — reason code（§9.1 第 9 层）：quantity 值的 unit 与 scheme declaration 中固定的 unit 不符；单位从不转换（§6.7，修订 CLC-1.19）。
unsupported_domain — 当 scheme declaration 声明的 domain 不受实现支持、声明格式错误或 digest 不匹配时，失败关闭所用的原因；声明校验在 §9.1 第 1 层之前解析（§6.7，修订 CLC-1.19）。
unsupported_language_revision — 输入声明的修订不兼容时，失败关闭所用的原因（§12.1）。
unresolved — Decision 上已识别但未求值约束的增量列表；只有与 allow_unresolved 一起才表示授权，绝不会单独授权（§8.4/§11）。
V
Verdict — 求值结果：allow/deny/allow_unresolved（授权侧，小写），或 SATISFIED/UNSATISFIED（证据侧，大写）（§2/§9/§10）。
W
Wildcard — 标识符末尾的 * Action 段；匹配一个或多个末尾段，绝不匹配零个。v1 中，裸 *、部分段、**、{a,b}、[a-z] 均为 unsupported_wildcard（§3）。
← 14-cookbook.md · → 16-principles.md · 相关：02-overview.md、README.md