> ## 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.

# Symphony 验证器：只读仓库检查

> Symphony 验证器是一个只读的 C++26 检查器，为契约、源闭包、不变量、功能和发布生成行格式或 JSON 证据。

Symphony 验证器（`tools/symphony-validator`）是一个独立的、确定性的、只读的 C++26 仓库检查器。它生成关于仓库及其契约当前状态的不可变证据。它无法修复或发布任何内容。

## 验证器检查什么

* 契约结构：必需的 Contract Quad 锚点和结构
* 跨 SKVI 索引表面的当前源闭包
* 依据 `knowledge/INVARIANTS.md` 和不变量注册表的不变量所有权
* SSFV 报告的功能管理预期
* SODV 报告的发布记录
* 仓库 README 中由机器维护的根摘要

证据以行输出或结构化 JSON 的形式输出。每次输出都可以从相同的仓库状态复现。

## 验证器不做什么

> [!WARNING]
>
> 验证器无法修复文件、改写契约或发布仓库。它不创造任何规范事实；它只负责报告。

* 对仓库没有副作用
* 不访问网络
* 除 qxctl 受保护的警告策略外，不抑制任何警告

## qxctl 集成

qxctl 在应用受保护的警告策略之前，会验证验证器的确切回执和结构化摘要。九个受保护的警告生命周期 qxctl 叶命令，加上确切的、基于回执的根摘要路由，在不改动原始检测器证据的情况下提供验证管理功能。

## 相关界面

> [card] [qxctl validate](https://docs.quanux.org/symphony/cn/qxctl/validate.md)
>
> 受保护的警告策略、基线和显示语法。

> [card] [SSFV](https://docs.quanux.org/symphony/cn/skv/ssfv.md)
>
> 由验证器检查的功能管理预期。

> [card] [SODV](https://docs.quanux.org/symphony/cn/skv/sodv.md)
>
> 验证器所检查的发布记录。

> [card] [SKV 概览](https://docs.quanux.org/symphony/cn/skv/overview.md)
>
> 验证器所检查契约所属的总体框架。


## Related topics

- [qxctl validate：Symphony 验证器警告策略](https://docs.quanux.org/symphony/cn/qxctl/validate.md)
- [SKVI：Symphony 知识向量索引引擎](https://docs.quanux.org/symphony/cn/skv/skvi.md)
- [qxctl：Symphony 智能体式管理命令行](https://docs.quanux.org/symphony/cn/qxctl/overview.md)
- [Symphony 架构](https://docs.quanux.org/symphony/cn/concepts/architecture.md)
- [快速入门：探索 QuanuX Symphony](https://docs.quanux.org/symphony/cn/quickstart.md)


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