> ## Documentation Index
> Fetch the complete documentation index at: https://docs.quanux.org/symphony/llms.txt
> Use this file to discover all available pages before exploring further.

# SKVI：Symphony 知识向量索引引擎

> SKVI 对每个规范 SKV 界面恰好索引一次，检查清单声明的覆盖范围，并为使用方输出绑定摘要的一次性投影。

Symphony 知识向量索引（Symphony Knowledge Vector Index，SKVI）是在所有 SKV 界面上映射当前规范事实的引擎。它是一个可独立安装的 C++ 进程，以确定性、只读的方式运行，无法决定成员资格，也无法写入规范文件。

## SKVI 做什么

SKVI 执行三种有界操作：

* **检查与校验（Inspect and check）**：验证每个清单声明的必需界面都恰好被索引一次，并具有稳定的所有者、事实角色、关系、使用方和投影资格。
* **提议（Propose）**：接受调用方声明的不可变索引变更提议，但不应用它们。
* **投影（Project）**：为下游使用方输出当前索引的、绑定摘要的一次性投影。

## SKVI 不做什么

SKVI 从不决定是否值得作为功能或清单成员资格。所有权保留在每个向量的 Contract Quad 中。SKVI 也不会：

* 写入或改写规范 Markdown
* 向公开投影发布任何内容
* 仅因为生成了证据就授予权限

## 何时使用

在提议源变更之前，可使用 SKVI 确认仓库已被完全覆盖，或查看某个特定界面具有哪个所有者和事实角色。其投影可供提议审查者、智能体上下文和验证器基线使用。

> [!NOTE]
>
> SKVI 是仅支持读取、查询、验证和提议的引擎之一。在每个引擎的 SSIAG、预期状态事务、qxctl 保护措施、STAV 事件、恢复以及负面测试契约全部完成之前，所有已批准向量引擎的规范应用仍处于禁用状态。

## 相关界面

> [card] [SKV 概览](https://docs.quanux.org/symphony/cn/skv/overview.md)
>
> 治理 SKVI 的总体框架。

> [card] [SCLV](https://docs.quanux.org/symphony/cn/skv/sclv.md)
>
> 记录已完成的重要源变更的仅追加变更账本。

> [card] [qxctl 向量命令](https://docs.quanux.org/symphony/cn/qxctl/vector-commands.md)
>
> 运行 `qxctl skvi ...` 以调用 inspect、check 和 propose。

> [card] [验证器](https://docs.quanux.org/symphony/cn/governance/validator.md)
>
> 补充 SKVI 覆盖范围的独立只读检查。


## Related topics

- [Symphony 知识向量：SKV 框架概览](https://docs.quanux.org/symphony/cn/skv/overview.md)
- [Symphony 云向量：提供商资源知识](https://docs.quanux.org/symphony/cn/vectors/scv.md)
- [Symphony 硬件向量：硬件能力知识](https://docs.quanux.org/symphony/cn/vectors/shv.md)
- [SCV 源知识引擎：Symphony 的提供商现实](https://docs.quanux.org/symphony/cn/engines/scv-source-engines.md)
- [Symphony Vector 与交付阶段](https://docs.quanux.org/symphony/cn/concepts/vectors.md)


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.