Jackson Concept Audit

Jackson 概念审计

输入：概念规格（与代码共存的 CONCEPT.md / SYNCS.md，以及被审计仓库集中 PRD 目录下的总体 PRD——两处都找）+ 代码库。只读：不修改任何文件，产出发现清单；修复由路由到的技能执行。无规格文档时降级为纯边界与判据审计，并在报告中声明。

五个维度

执行步骤

1. 定位规格：Glob 找全部 CONCEPT.md / SYNCS.md 与集中 PRD 目录；同时利用工程自带素材（Spring Modulith Documenter 模块文档、cargo/dependency-cruiser 依赖图输出）。
2. 逐份对账：每份规格连同其实现代码按检查表过一遍；规格 ≥5 份时按「并行扫描」派发。
3. 跨规格校验：SYNCS.md 引用的动作/查询在目标 CONCEPT.md 中逐一核对（见跨规格表）。
4. 合并根因与系统性聚合：同一问题跨维度出现时合并指向根因；同一类别+描述出现在 3 份以上规格时归为系统性问题，不逐条列。
5. 输出报告：给出修复顺序，上游优先——先模型（design）、再文档（prd）、后代码（implementation）。

漂移检查表

每份 CONCEPT.md（queries 按 action 同规则对待）：

每份 SYNCS.md：

跨规格校验（逐份检查完之后）：

严重度校准

• 规格的沉默不是漂移：规格没提到的行为是未记录，不是被否定；只有针对规格明确陈述的矛盾才算矛盾。Missing action / New state 这类"暴露未记录新增"的检查不受此条影响。
• 严重度逐字采用检查表取值：不凭影响面判断在类别内升级；比类别更严重的发现应重新归类（如 Missing action 实为跨概念内部访问 → Boundary violation/Critical）。允许按下列规则下调。
• 私有辅助函数、内部实现细节（私有缓存、派生值）→ Low；规格签名比语言包装（异步、Result 包装）更简单且不改变契约 → Low。
• 命名风格差异（camelCase/snake_case）→ Low；但该名字出现在跨规格引用里时重新归类为跨规格类别（High），不是类别内升级。
• 同一条 Low 在一份规格多个动作重复 → 合并为一条，附注受影响动作；单份规格去重后 ≥5 条 Low → 在摘要注明并建议重审该规格。
• 报 Medium 及以上前，用 grep 或读文件确认发现存在于当前代码，不凭记忆或旧印象。

并行扫描

规格 ≥5 份时用只读子代理并行对账。派发规则：

• 显式指定强档模型，不继承会话档位——对账要给出「不存在」类断言（如 Missing action: clean），错误判定不产生可察觉输出，弱模型漏报无法被发现。
• 每个子代理分配 2–3 份相邻规格；提示词附上「严重度校准」整段与对应检查表（严重度取值逐字照抄，不得自行上调）。
• 每个检查类别都必须给判定，省略视为未核实；合并阶段把未核实类别标出。
• 全部返回后，在主上下文做跨规格校验与系统性聚合。

报告格式

# 审计报告 <日期>
范围: <规格版本 / 代码版本>；跳过的维度及原因
Summary: 规格  份，有漂移  份；Critical  / High  / Medium  / Low 

## <维度名>
| 发现 | 位置 | 证据 | 严重度 | 路由 |

## 跨规格校验
（同表结构）

## 系统性模式
- <出现在 3+ 份规格的同类问题，合并陈述并给批量处理建议>

## 修复顺序
1. <根因级发现，上游优先>

完成条件

• 五维度全部执行，或明确声明跳过原因。
• 每条发现有位置与证据，可独立复核；无「疑似」空泛项；每个检查类别有判定或标未核实。
• 严重度全部出自检查表并遵守校准规则（只降不升、越级重新归类）。
• 每条发现有唯一路由；修复顺序按上游优先排列。
• 未修改任何文件。

依据

Jackson：

• 批评循环与判据（jackson-concept-design；user-facing 判据见资格判据教程）
• 欠/过同步与 mediator 原则（概念设计综述）
• Parnas 规则（依赖与子集教程）
• 规范可从代码提取（WYSIWID 论文）；现行记法（Beyond Objects）

业界：漂移检查表、严重度校准与并行扫描机制改编自 jlifyio/wyx（本仓 wyx-zh-cn 的上游），适配到零点名的 Jackson 规格格式；架构 fitness functions 管持续（CI 工具见 jackson-concept-implementation 语言参考），审计管周期，两层互补。