Audit Session

Audit Session Skill

适用范围

• 触发：意图为 audit（包括默认 3 轮与合格 narrow-2 的 2 轮场景）
• 不适用：analyze（仅 ≥3 轮收敛但无 audit finding 交接状态机）、chat（无审计语义）

状态文件路径

textCopy code
<audit-root>/.audit-state/<session-id>.json

<audit-root> 取值：

• 旧布局：<项目根>/.devcodex

• 集中布局单项目：<工作区根>/.devcodex/<project>

• 集中布局全工作区：<工作区根>/.devcodex/workspace

• <session-id> 取首次启动审计的时间戳：YYYYMMDD-HHmmss

• <audit-root>/.audit-state/ 目录由本 Skill 首次写入时创建（不随 init 分发）

• .gitignore 须覆盖 <audit-root>/.audit-state/ 对应路径（如 .devcodex/.audit-state/、.devcodex/*/.audit-state/，同记忆策略）

状态机

textCopy code
active ──┬─> paused (Token 防护触发 / 用户中断)
         ├─> resumed (跨会话 resume 重新进入)
         ├─> converged (CRS + PCV 通过 + 连续 R 轮有效零发现)
         └─> closed (用户确认审计闭环)

paused ──> resumed ──> active
converged ──> closed

收敛轮数 R 统一由 review-execution-contract.cjs 的 requiredAuditZeroFindingRounds(state) 消费：默认 3；仅满足 audit-common 的窄范围条件，且状态保存 convergenceMode="narrow-2" 和完整、候选绑定、摘要有效的 reviewExecutionPlan（公开 Owner 的 ReviewExecutionPlanV1 原件，exit.auditConvergence.mode="narrow-2"）时为 2。缺计划、被修改的计划或 full/security/release 等不合格输入仍要求 3；不得只写标签或手改轮数降档。CRS、PCV、覆盖增量、维度增量与未解决 finding 门禁保持适用。

状态文件 schema

jsonCopy code
{
  "schemaVersion": "AuditSessionStateV2",
  "sessionId": "20260520-143055",
  "startedAt": "2026-05-20T14:30:55+08:00",
  "lastUpdatedAt": "2026-05-20T16:12:33+08:00",
  "target": {
    "type": "spec | tech-design | requirements | project | report | document",
    "scope": "<被审查文件 glob 或目录>"
  },
  "dimensions": ["D1", "D2", "..."],
  "round": 3,
  "state": "active | paused | resumed | converged | closed",
  "findings": [
    {
      "id": "F-001",
      "round": 1,
      "dim": "D5",
      "file": "instructions/12-audit.instructions.md",
      "severity": "🔴 | 🟡 | 💡",
      "summary": "<一句话>",
      "status": "open | pending | in-progress | fixed | wontfix | accepted | recorded | transferred | superseded",
      "category": "spec-defect | release-pending | v{X.Y.Z}-candidate",
      "fixPlan": "<修复方案概述>",
      "fixCommit": "<git commit hash, 修复后写入>",
      "linkedPF": "PF-NNN | null"
    }
  ],
  "regressionProbes": [
    {
      "findingId": "F-007",
      "scanCmd": "grep -c 'PC5' CLAUDE.md",
      "expectedMatches": 3,
      "lastVerifiedRound": 4,
      "lastVerifiedAt": "2026-05-21T03:30:00+08:00"
    }
  ],
  "r2Probes": [{"name": "<probe>", "status": "✅|⚠️|❌"}],
  "r3Probes": [{"name": "<probe>", "status": "✅|⚠️|❌"}],
  "r4Probes": [{"name": "<probe>", "status": "✅|⚠️|❌"}],
  "convergenceMode": "default-3",
  "zeroFindingStreak": 0,
  "crsPassed": false,
  "pcvPassed": false,
  "remoteReleased": {
    "gitPush": false,
    "npmPublish": false,
    "recordedAt": "ISO8601",
    "source": "user-confirmed-manual | ci-automation"
  },
  "lastCheckpoint": {
    "round": 3,
    "writtenAt": "2026-05-20T16:12:33+08:00",
    "reason": "round-end | token-protect | user-interrupt | switching-to-release-vX.Y.Z | release-pending-vX.Y.Z"
  },
  "linkedMemory": "tasks/20260520.md",
  "linkedReport": "<active-root>/<task-kind>/<task>/reports/<agent>/20260520/01--<name>.md",
  "linkedRelease": "<active-root>/requirements/<task>/reports/<agent>/YYYYMMDD/01--vX.Y.Z-release.md"
}

.audit-state 兼容读取边界

.audit-state 是多类运行态证据的共享目录名，不代表目录内每个 JSON 都属于当前审计会话。读取者必须先分类，再决定校验方式：

兼容分类只解决 reader 误判，不授予旧状态新的写权限，也不得伪造 superseded、重算旧 finding 或迁移历史文件。

v1.9.4+ schema 字段说明

findings[].status 枚举

终态 converged / closed 不得保留 open、pending、in-progress findings；允许 fixed、wontfix、accepted、recorded、transferred、superseded 作为已处置状态。

写入时机

AuditMutationBoundaryGate：audit session 只记录 finding/交接/外部修复证据；sourceMutationAuthorized 在 audit 中恒为 false，用户修复授权由独立 fix/self-fix 的 CP/ExecutionContract 持有。

与其他 Skill / Instruction 的协同

跨会话 resume 流程

1. 用户说"继续审计" / "继续上次的审查"
2. 读取 <audit-root>/.audit-state/ 下有界 .json 清单，先按上述兼容规则分类
3. 只在 current session 与可导航的 legacy audit 中按 lastUpdatedAt 倒序，找出 state ∈ {paused, active, resumed} 的最新一份；其他 schema 不参与排序
4. 输出："发现未完成审计会话 <sessionId>：目标 <target.scope>，已完成 R{round}，发现 {open} 项 open。是否继续？"
5. 用户确认 → state=resumed → 立即 → active，从 round+1 开始
6. 用户拒绝 → 询问是否 closed 该会话

⛔ 禁止

• ⛔ 状态文件不得提交到 git（同 .devcodex/.memory/）
• ⛔ 同一 sessionId 不得并行写入；这是 C07 ConcurrencyPolicy 中不可变 audit-session 单写者锁，不受项目 concurrency 配置放开
• ⛔ converged 状态不得自动转 closed —— 须用户明确确认（避免静默关闭）
• ⛔ audit 不得因 finding 严重度或对象是 plugin 文件而自动获得 fix/self-fix、git add、commit 或 source mutation 权限