semantic-audit git:20260908.7e2cb50A

Immutable. This exact content is served forever at /api/v1/blob/ccc09104b4177171.

---
name: semantic-audit
description: >-
  针对指定语义边界和风险视角进行有界、可反证的质量审查，记录故障假设、实现路径、证据、问题记录和残余风险；
  仅在已有“边界 × 风险视角 × 源码版本”单元及进入原因时使用，不负责普通差异分析或一般代码审查。
metadata:
  category: 语义质量
  scope: 框架
---

# 语义质量审查

审查记录“在某个源码版本上检查过哪些故障假设”，不记录绝对安全结论。审查默认只读，发现问题后
把修复交回正常研发流程。

## 调度

- 开始前调用 `semantic-contract`，取得审查和问题记录字段；合同、基线或边界不存在时停止。
- 从当前待审集合优先领取失效的高风险单元、残余风险、新问题记录或事故相关单元。
- 一轮最多处理 3 个审查包；每包 1～3 个“语义边界 × 风险视角 × 源码版本”单元。
- 只有同一边界、同一源码版本、实现路径和证据获取方式实质重叠时才合包，不为凑数拼接弱相关视角。
- 审查 Subagent 之间不共享中间结论；需要独立复核时明确记录原因。复用既有 Subagent/TaskRuntime 准入，
  不新建审查专用并发模型。
- 优先派发 `semantic-risk-reviewer`。宿主不能发现专用角色时，改用现有只读 `reviewer`，并在派发任务中完整提供
  仓库绝对路径、源码版本、边界、风险视角、进入原因、相关对象、排除项和回报合同。无法取得独立上下文时，
  由主 Agent 继续只读检查并把“未完成独立复核”列入证据缺口。

## 每个单元必须回答

1. 明确的故障假设和触发条件；
2. 实际入口、状态权威、失败/并发/恢复路径和外部副作用；
3. 支持或反驳结论的源码、契约、测试或脱敏运行证据；
4. 问题记录、残余风险和未检查项。

没有发现问题记录也只能记录已检查假设和残余风险，不能写 `clean`、`safe` 或“没有缺陷”。泛泛的模块评价
和风险清单不能把审查标记为 `examined`。不要在本 Skill 内修改业务代码或关闭问题记录。

需要确认真实期望或接受风险时调用 `semantic-decide`；其余结果调用 `semantic-verify` 校验本轮写入。