操作
SAV 支持丰富的评估操作：- Accord 引用解析：解析为不可变的派生 CURRENT 快照
- 三轴评估、比较与解释
- 组合图与一次性投影
- 命名版本（Named Version）验证与差异比较
- 扩展胶囊（Extension Capsule）检查
- 安装蓝图（Installation Blueprint）规划
- 已声明组件之间的兼容性协商
SAV 不做什么
- SAV 不会接管其所组合组件的语义所有权。
- SAV 不会替你选择设计方案；它评估的是你所声明的内容。
- SAV 不会变更规范文件。其输出是证据和提议。
- SAV 不是 STAV 追加权威。有关变更前意图的处理，请参阅 Accordare STAV 生产者。
SAV 仅支持读取、查询、验证和提议。整个 SKV 引擎家族的程序化规范应用仍处于禁用状态。
相关界面
SKV 概览
总体框架与 Contract Quad 模型。
Accordare 生产者
有界的 SAV 命名版本审计回路。
SEV
触发 SAV 评估组合变更的演进案例。
qxctl 向量命令
已批准的 Accordare 语法在实现后将以
qxctl accord ... 的形式提供。