> ## 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/zh-Hans/qxctl/validate.md)
>
> 受保护的警告策略、基线和显示语法。

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

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

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


## Related topics

- [qxctl validate：Symphony 验证器警告策略](https://docs.quanux.org/symphony/zh-Hans/qxctl/validate.md)
- [SKVI：Symphony Knowledge Vector Index 引擎](https://docs.quanux.org/symphony/zh-Hans/skv/skvi.md)
- [qxctl：Symphony 智能体化管理命令行](https://docs.quanux.org/symphony/zh-Hans/qxctl/overview.md)
- [快速入门：探索 QuanuX Symphony](https://docs.quanux.org/symphony/zh-Hans/quickstart.md)
- [qxctl knowledge session：已认证的 Symphony 会话](https://docs.quanux.org/symphony/zh-Hans/qxctl/session.md)


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