# 术语表

governed_by：D-014、D-029、D-031、D-032、D-034、D-039、D-047、D-055

| 术语 | 本规范中的定义 |
|---|---|
| Prompt Engineering | 设计模型指令、示例与输出要求，改善一次或一类调用。 |
| Context Engineering | 为每次推理选择、组织、维护全部可见信息。 |
| Harness | 围绕模型的知识入口、状态、工具、权限、工作流、记忆、验证、观测与评估环境。 |
| Workflow | 由系统预定义路径编排模型和工具的流程。 |
| Agent | 根据环境反馈，由模型动态选择行动和工具的系统。 |
| Claim / 主张 | 带范围、版本、环境和时间的待判断陈述。 |
| Source / Citation / 来源或引用 | 用于追溯研究、需求或说明出处的材料；引用本身不证明交付已生效。 |
| Source of record / 权威记录源 | 对某类意图、定义或状态具有治理权限的载体。 |
| Observation / 观察 | 在明确时间、环境和方法下直接读取到的结果。 |
| Validation result / 验证结果 | 对工件执行指定过程后得到的结果，如本次测试运行。 |
| Acceptance evidence / 验收证据 | 将验收 ID、版本、环境、过程、结果、工件和限制绑定的证据包。 |
| Context / 上下文 | 当前一次推理实际可见的 Token 工作集。 |
| State / 状态 | 带身份、版本和时间的任务阶段、阻塞与下一步。 |
| Knowledge / 项目知识 | 经治理并带 owner/source/scope 的需求、架构、契约、规则与说明。 |
| Long-term memory / 长期记忆 | 从过去保留供未来召回的观察、经历、偏好或候选经验；不天然权威。 |
| 置信态 / Confidence tier | 记忆或知识条目随附的使用方式等级：强（可驱动执行）、弱（只提示风险）、影子（只助发现与背景召回，不得单独作为执行依据）；由来源节点与验证证据决定，不等于检索相关度。 |
| 派生知识 / 经验知识 | 两类非权威知识工件：派生知识由代码或文档机械生成，经验知识由运行观察提炼。各自的存在条件与过期机制见[11 项目知识](11-项目知识.md)。 |
| Compaction | 把即将超限的会话历史压缩成恢复摘要；不是知识或长期记忆。 |
| 隔离原语 | 为主线减负的三类基本手段：委托、分叉试探、压缩外部化。选择依据见[22 上下文装配](22-上下文装配.md)，治理继承的默认值见[31 守卫与权限边界](31-守卫与权限边界.md)。 |
| Progressive Disclosure | 先给轻量入口，再按任务逐层加载详细信息。 |
| Default Context Contract | 唯一声明默认与按需上下文路径、版本和冲突处理的合同。 |
| Gate / 闸门 | 由检查器执行，条件不满足时会阻止动作或状态转换的约束。 |
| 事实门禁 / 人工判断检查点 | 按判据性质区分的两类 Gate：前者的判据是可直接观察的确定事实，后者需要人的判断。两类的数量上限、合同与呈现要求见[31 守卫与权限边界](31-守卫与权限边界.md)。 |
| 屏障 / Barrier | 失败回边语义：上游检查失败后，同一任务的后续写入动作全部停止，只允许诊断性读取与判定；重试预算按失败所在层分配。 |
| Waiver / 豁免 | 有批准人、范围和失效时间的 Gate 临时例外。 |
| 生效登记表 / Effective register | 决策日志中登记全部`试行`/`已接受`规则及其批准字段的表，是查询规则效力的唯一权威位置。 |
| blocks / grants | 一条生效规则的两个独立效力方向：阻断某动作或状态转换，与授权本不被允许的动作。批准 blocks 不产生 grants。 |
| 分向降级 | 未标注效力的命令式规则的默认处理：可作为拒绝、暂停或升级的理由，不可作为执行或自我授权的理由。 |
| UNDETERMINED / 未定 | 判定结果的第三态：既非 PASS 也非 FAIL，必须停止并报告，不得折算为通过。子原因与适用情形见[30 验证与测试](30-验证与测试.md)，空集合一侧见[08 规范效力元治理](08-规范效力元治理.md)。 |
| 权威侧 / 消费侧（边界） | 边界是一段关系而非对象的属性。每次跨边界的读、写、依赖或唤醒都有一个**权威侧**（该类主张的记录源归它治理，或其上已发生的事只有它能撤销）与一个**消费侧**；同一对象在不同关系里角色可以不同。判不清时按我方处于消费侧处理。判据与两端义务见[架构确定 §5.3](架构确定.md#invariants)。 |
| 可执行前提（跨边界） | 判定一段跨边界关系时同时登记的三项：对象是否可重读、是否有可比对的版本、写入者是否唯一。任一为否，依赖它的推论不成立。见[架构确定 §5.3](架构确定.md#invariants)。 |
| 第六条不变量 / 边界外不由我们控制 | 四条推论在关系的两端各落一次：消费侧读只引用不复制、写限窗口且幂等留回执、可用性不保证、唤醒不等于授权；权威侧对外主张带版本、改口径前登记消费者与兼容窗口、唤醒须有应答语义、外部内容经晋升进来。全文见[架构确定 §5.3](架构确定.md#invariants)。 |
| 宪法性批准 | 元规则无法援引上游决策使自身生效时，由项目所有者直接批准并公开声明无上游依据的批准方式。 |
| Readback / 回读 | 写入或发布后，从目标系统重新读取实际状态。 |
| Trace / 轨迹 | 一次任务运行中模型调用、工具调用、Gate、审批、交接与结果的记录；最小结构（调用树）与导出纪律见[32 证据与追踪](32-证据与追踪.md)。 |
| Eval / 评估 | 用版本化 Case、grader、指标和重复策略衡量行为及回归。 |
| ADR | 记录重要决策背景、备选、选择、取舍、效力和验证。 |
| Runbook | 面向重复情境、仍需判断的操作说明；与预批准动作集不同。 |
| 预批准动作集 / Pre-approved action set | 由具名责任人事先枚举并批准、触发条件满足时可由执行者机械触发的动作集合；与 Runbook（仍需判断）和 Gate（阻断）不同。变更纪律见[40 人的检查点与授权](40-人的检查点与授权.md)。 |
| Skill | 按触发条件加载的可复用任务方法与资源。 |
| ACI | Agent-Computer Interface，即 Agent 面对的工具与环境接口。 |
| Ground truth | 当前环境可直接观察或复现的事实；仍受版本、范围和测量限制。 |
| Add / Thin | 基于真实任务和 eval，为 Harness 增加能力或删减失效能力。 |

注意：不同产品常把知识、记忆、状态和上下文混用；本规范按治理职责而非存储技术命名。