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