大教堂审计（Cathedral Audit）

一套结构化流程，用于度量并消除 Cathedral C# 代码库中规范（spec）与代码之间的偏差（spec-code drift）。

执行时机

• 一次构建波次（build wave）完成后（多个功能/重构已合入）
• 启动新重大功能开发前（建立基线）
• 怀疑存在 spec-code drift 时
• 作为健康检查定期执行（不按日历周期，而依据事件触发）

流程概览

1. 正向审计（规范 → 代码）
2. 反向审计（代码 → 规范）
3. 整合与优先级排序
4. 执行
5. 验证

步骤 1：正向审计（规范 → 代码）

针对 kitty-specs/ 目录下的每一份规范，比对规范所述内容与实际代码行为是否一致。

每份规范的输出结果为以下之一：

• ✅ 符合（Conformant） — 代码行为与规范完全一致
• ⚠️ 偏离（Divergent） — 代码存在，但行为与规范不一致
• ❌ 缺失（Missing） — 规范描述了尚未实现的功能

交付物：kitty-specs/000-project-context/spec-audit-YYYY-MM-DD.md

若内存充足，可使用并行 CC agent（每个 agent 处理一批规范）以加速。**在内存受限主机（如 WSL2）上，请务必串行运行 —— 同时运行两个 CC 会话将导致 OOM。** 请为每个 agent 授予只读访问权限。

步骤 2：反向审计（代码 → 规范）

扫描 src/Cathedral.Core/ 和 src/Cathedral.TestHarness/ 下所有 .cs 文件。对每个文件或子系统，判断：

• 是否被某份规范覆盖？
• 其行为是否与对应规范一致？
• 是否为无用/孤立（dead/orphaned）代码？

输出应包含以下章节：

1. 执行摘要（Executive Summary） — 各类问题数量统计，并对比上一次审计的增量变化
2. 未覆盖代码（Unspecced Code） — 未被任何规范覆盖的文件/子系统
3. 架构偏离（Architectural Divergences） — 代码实现路径与规范存在根本性差异
4. 超出规范的代码（Code Exceeding Spec） — 代码实现了规范中未记载的功能
5. 无用/孤立代码（Dead/Orphaned Code） — 无调用者、无引用的文件
6. 发现的缺陷（Bugs Discovered） — 审查过程中发现的运行时、数据或逻辑缺陷
7. 与上一次审计的对比（Comparison with Previous Audit） — 哪些问题已改善，哪些仍待解决

交付物：kitty-specs/000-project-context/reverse-audit-YYYY-MM-DD.md

若内存充足，可使用并行 CC agent（按目录/子系统分组文件）以加速。**在内存受限主机上请串行运行。**

步骤 3：整合与优先级排序

将正向与反向审计的所有发现合并，形成一份带优先级的行动方案：

规则：

• 缺陷必须单独成节，并标注严重程度
• “超出规范的代码”对应操作是更新规范，而非修改代码
• 因设计原因主动推迟（V2 工作）的架构偏离归入 P6，需记录但暂不执行
• 每个优先级层级的工作应可在单次 CC session 内完成

交付物：反向审计报告中的“建议（Recommendations）”章节。

步骤 4：执行

按优先级层级顺序执行修复（P0 最先，P6 最后或暂缓）。

每个优先级层级需执行以下操作：

1. 记录意图至 memory/YYYY-MM-DD.md — 包含层级名称、CC session 名称、拟执行内容
2. 为 CC 编写任务简报（参见 references/cc-task-template.md）
3. 启动 CC session：cat /tmp/task.md | claude -p --allowedTools 'Edit,Write,Read,Bash'
4. 配置监控定时任务（每 5 分钟执行一次）
5. CC 完成后：记录结果至当日 memory 文件 — 包括变更文件列表、具体操作、遇到的问题
6. 提交前必须验证构建成功 — dotnet build 必须通过
7. 若 CC 因 OOM 被终止：检查 git diff --stat，手动验证构建，修复问题，并记录该事件
8. 提交时使用具备描述性的提交信息，并引用对应优先级层级
9. 将提交哈希（commit hash）记录至当日 memory 文件

## [优先级层级名称]
- CC session：[名称]（约 HH:MM CST 启动）
- 任务：[简要描述]
- 状态：[RUNNING | ✅ COMPLETE | ❌ FAILED | ⚠️ KILLED]
- 变更文件数：[数量]
- 关键操作：[具体执行内容]
- 问题：[遇到的任何问题]
- 已提交为 [hash]

kitty-specs/000-project-context/
  spec-audit-YYYY-MM-DD.md      （正向审计）
  reverse-audit-YYYY-MM-DD.md   （反向审计）

| 类别 | 上次 | 当前 | 差值 |
|----------|----------|---------|-------|
| 未覆盖代码 | 38 | 24 | -14 |
| 偏离项 | 12 | 7 | -5 |
| 无用代码 | 14 | 8 | -6 |
| 缺陷 | 0 | 8 | +8 |
| 符合项 | ~60 | ~120 | +60 |