---
name: quality-cross-spec-consistency
description: 检测相关规格、模式、配置契约和设计源之间的语义冲突、不兼容设计要求、陈旧基线规则与权威歧义。规格导入、设计评审、已归档变更审计，或项目画像 consistencyScope 要求全仓跨规格分析时使用。
metadata:
  version: 1.1.17
---

# 跨规格一致性

> **领导速读：** 发现多份当前设计对同一行为提出的冲突要求，避免代码无论怎么写都无法同时满足。

## 一、管理视角

- **何时使用：** 规格导入、设计评审或项目画像要求全仓语义检查时。
- **主要输入：** 相关规格、模式、配置契约、权威层级和共享符号。
- **主要输出：** 冲突、细化、未知项、权威分析和解决要求。
- **职责边界：** 实现行为和通过测试不能决定设计权威优先级。

## 二、执行方法

检查设计文件；除非用户明确要求，否则不改写。

### 执行流程

1. 读取 `reports/project-profile.json`。
2. 从 `baselineSpecs` 和 `relatedBaselineSpecs` 开始。
3. 检查按相关度排序的 `semanticConsistencyCandidates`；它们只是搜索线索，不是已证实冲突。
4. 在每个 `consistencyScope.authorityRoots` 条目中搜索范围内准确的规范性符号、状态、字段、接口和所有权术语。
5. 比较权威级别、生命周期、规范强度、允许输入、默认值、所有权、状态转换和失败行为。
6. 将每个候选分类为 `CONSISTENT`、`REFINEMENT`、`CONFLICT` 或 `UNKNOWN`。
7. 将发现绑定到准确源位置和哈希；严格语法校验不能关闭语义发现。

### 冲突规则

- 两份当前有效设计文件对同一条件要求不同结果时，报告冲突。
- 仅当更窄规则保持更广契约且其权威性已确立时，报告细化。
- 后续晋升规则改变行为但未协调另一当前来源时，报告陈旧基线。
- 不得从文件修改时间、实现行为或通过的测试推断优先级。
- 权威级别不明且差异会改变实现或验收时阻断。

### 输出

优先输出发现，包含标识、严重度、符号、来源 A、来源 B、冲突条款、权威分析、实现影响和必要解决方式；最后给出范围覆盖、未知项和 `PASS`、`PASS WITH FOLLOW-UP` 或 `BLOCKED`。