audit-execution-guide

name	audit-execution-guide
description	审查执行指南 — 维度优先级分批、定向审查子集、联动检查清单

Audit Execution Guide Skill

职责

本 Skill 定义 audit 工作流的执行策略，补充 audit-common/SKILL.md 的收敛规则，提供：定向触发子集、新增子类型联动检查、数值引用联动协议。

维度优先级分批

批次	维度	说明
🔴 第一批	D1·D2·D3·D4·D5·D7·D9·D10·D11·D12·D16·D17·D21·D22·D23·D24·D25	强制，立即标记
🟡 第二批	D6·D8·D18·D19·D20	建议，不阻塞
💡 第三批	D13·D14·D15	改进，Token 允许时执行

事件驱动定向审查

audit 每轮先形成 ReviewExecutionPlanV1，按 stage+risk+claims/dimensions 选择 R0~R4；targeted audit 仍需两个具有 coverage/dimension delta 的有效零发现轮次，full/security/release 保留三个。receipt 复用必须通过 ReviewEvidenceFreshnessGate 与 5% 稳定内容 oracle，unknown/mismatch 一律 full-required。

触发场景	推荐专属维度
修改了 RULES.md	D2·D3·D5·D9·D17
修改了 01-common.instructions.md	D2·D5·D6·D7·D10
修改了 workflow README	D3·D5·D8·D9
审查 README / 用户使用文档 / 项目文档 / 菜单导航	DA-1·DA-2·DA-5·DA-6 + audit-user-manual；README / 主入口文档再叠加 audit-readme（RM-1~RM-6）
审查发布前准备 / release pre-review	RL-1·RL-2·RL-3·RL-4·RL-5·RL-6·RL-9 + audit-release（RL-1~RL-10）
用户自有/已授权的本地安全审查，或出现“无法显示此内容/额外安全检查”	PE-3 + security-threat-modeling 的 AuthorizedLocalSecurityAuditPresentationGate；可见层最小证据、隔离探针和 SafetyInterruptionCard，禁止绕过表述
新增 spec 文件	D1·D5·D9·D15·D17·D18
新增子类型 spec	D5(#6)·D9·D15 — 联动 L1/L2/L3
新增维度/约束编号	D5·D15·D18 + 数值引用联动
修改了 ENV_MODE/模式行为定义	D5·D22 — 跨文件语义传播核查
修改了规则定义文件（字段/术语/路径等）	D5 · CRS 全库关键词扫描（见 audit-common §关联文件发现）
审查目录、全项目或用户提示文件很多	先执行 ProjectArtifactScaleRoutingGate；缺 ScaleDecisionRecord 时不得启动 CRS/broad scan
audit finding 需要修复	AuditMutationBoundaryGate：记录/交接 → 显式用户授权 → 独立 fix/self-fix；audit 内禁止 source mutation / git add
正式复审 / ECR / 多轮收敛 / 冻结清单 / 外部 finding 批次	review-checklist + ReviewChecklistPrecreationGate / EvidenceExecutionGate / ChecklistStateFreshnessGate
R2+ 发现新问题（持续审查中）	自我审视四轴分析（见 audit-common §自我审视机制）· D5 三层覆盖补查 · ReviewDimensionDeltaGate 维度焦点补强

新增子类型联动检查（L1~L3）⚠️

每次新增子类型 Skill 后必须核查：

#	检查项	对应文件
L1	routing/SKILL.md 路由表包含该子类型行	skills/routing/SKILL.md
L2	02-output-paths.instructions.md 注册该子类型目录	instructions/02-output-paths.instructions.md
L3	对应 workflow report 模板的子类型字段包含该子类型	prompts/report-*.prompt.md

⚠️ 历史教训：session13 新建 scenario-test.md 后三处未同步，session07 才发现。

数值引用联动

新增维度编号（D/C/TD/PE/RQ/RA/DA）后，同步更新：

• 对应维度总览表（维度列表文件）
• 执行指南优先级分批表（本文件）
• 交叉引用的 spec 文件中的编号引用

体量分批策略

配合 audit-common/SKILL.md §G0 体量评估 使用。当 G0 判定需要分批时，按以下策略执行。

分批原则

• 优先级驱动：按维度优先级分批（🔴 第一批 → 🟡 第二批 → 💡 第三批）
• 单批次上限：每批覆盖 ≤ 3 个主维度
• audit-project（代码质量）维度建议独立成批（文件量大、分析深度高）

分批执行模板

批次 1（🔴 核心维度A）：D1·D2·D3·D4·D5 → 输出发现 → 记录/交接（阻断项暂停结论）→ 写入记忆
批次 2（🔴 核心维度B）：D7·D9·D10·D11·D12 → 输出发现 → 记录/交接 → 更新记忆
批次 3（🔴 格式/语义/跨客户端）：D16·D17·D21·D22·D23·D24·D25 → 输出发现 → 记录/交接 → 更新记忆
批次 4（🟡 建议维度）：D6·D8·D18·D19·D20 → 输出发现 → 记录/交接 → 更新记忆
批次 5（💡 改进维度）：D13·D14·D15 → 输出发现 → 记录/交接 → 更新记忆
ReviewCoverageDelta：R2+ 先列 ReviewedSet / UnreviewedRelatedSet / NewlyReadThisRound / RepeatReadReason / NoNewSurfaceReason，优先补读此前未审查但相关的代码、配置、测试、文档、部署副本和消费者链
ReviewDimensionDeltaGate：R2+ 同步列 PreviousDimensionSet / CurrentDimensionFocus / NewDimensionRationale / RepeatedDimensionReason，避免每轮机械重复同一组维度；重复维度只允许阻断项回归、高风险锚点、新证据或抽样
ReviewStateSnapshotV1：每批更新同一个 plan/candidate/stage snapshot；报告、记忆、进度和最终结论只投影其 snapshotDigest
重启轮次：所有批次完成、本轮无新发现，且 ReviewCoverageDelta + ReviewDimensionDeltaGate 合格 → 有效零发现计数 +1 → 连续 3 轮有效零发现则进入 CRS 门禁（仍须满足连续 3 轮零发现）
CRS 收敛门禁：连续 3 轮有效零发现后执行全库关键词扫描（见 audit-common §关联文件发现）
PCV：CRS ✅ 后执行 PCV（见 audit-common §收敛后汇总验证）→ 最终报告

ℹ️ 批次13 均为 🔴 强制维度（与 §维度优先级分批 第一批 D1D25 一致）；批次3 专门集中格式与语义类 🔴 维度（D16/D17/D21/D22/D23/D24/D25）。

ℹ️ 发现交接的含义：每批次发现问题后先完成实证、分流和状态记录；阻断项停止受影响范围的通过结论并请求显式用户授权，非阻断项进入适当台账。audit 不修改或暂存被审查源；用户授权后的独立 fix/self-fix 完成后，audit 才读取新证据并启动回归轮次。

批次报告必须为 AuditMutationBoundaryGate 写明 sourceMutationAuthorized=false；若用户已授权修复，只能记录目标 repairWorkflow 与授权证据，不能在当前 audit 批次执行补丁。

跨批记忆格式

每批完成后在记忆文件追加批次摘要：

📦 批次进度：
- 批次 N/M：[维度列表] — ✅ 完成
- 发现：🔴 X 个 / 🟡 Y 个 / 💡 Z 个
- 下批计划：[维度列表]