modules/accordare-stav-producer）是一个可独立安装的冻结路径 Go 生产者，用于有界的 SAV Named Version 审计链路。它使变更前意图和追加恢复保持持久，对其本地对端进行身份验证，并且只提交经其封闭词汇准入的、精确且安全的候选项。它本身并不是 STAV 追加权威。
意图、结果、恢复模式
对于每个受审计的变更，生产者都遵循三步模式：1
变更前意图
在任何变更变得可观测之前，持久地记录调用方声明的意图。生产者会拒绝其封闭词汇之外的候选项。
2
最终结果
在变更完成或失败后，捕获精确的结果，使审计反映的是现实，而不是期望中的状态。
3
有界恢复
发生中断时，生产者会对追加流执行有界恢复，而不会凭空构造协调结果或悄悄丢弃意图。
边界
- 生产者的词汇是封闭的。它只接受 SAV Named Version 审计候选项。
- 生产者属于冻结路径。它不得成为热路径依赖。
- 生产者对本地对端进行身份验证；它不对远程调用方进行身份验证。
相关表面
STAV
封存审计记录的追加权威。
SSIAG
为生产者所审计的变更提供授权。
SAV
此链路所审计的 Named Version 组合语义。
qxctl vector 命令
已批准的 Accordare 语法在实现后将以
qxctl accord ... 的形式提供。