aios-arch-health

# AIOS Arch Health 建立可复验的架构健康事实和棘轮门禁。不要用本 Skill 替代 `aios-arch` 的业务边界判断，也不要让自然语言推断伪装成扫描事实。 `aios-arch-health` 是唯一 canonical Skill ID。`aios-architecture-health` 和 `archsight-architecture-health` 只作为自然语言兼容触发，不建立重复 Skill。 ## 分工 - 使用本 Skill 执行扫描、证据来源核验、受保护约束差分、基线差分、临时预算和门禁。 - 使用 `aios-arch` 阅读业务与系统上下文，解释热点是深 Module、合理复杂度还是职责混杂，并评估服务、数据、模型和 Runtime 边界。 - 使用 `aios-review` 消费 PR 中的 SARIF 和门禁结果。 - 使用 `aios-plan` 把确认后的治理项拆成交付任务。 ## 工作流 1. 读取项目规则、`.ai/architecture-health/profile.json` 或用户指定的 profile。 2. 选择运行模式： - `commit`：关注相对基线的新增债务，目标为数十秒级。 - `weekly`：运行完整扫描、趋势对比和热点排序。 - `milestone`：增加性能、真实数据库、并发或失败注入等 profile 要求的证据。 3. 运行项目自有扫描器，或读取符合输入契约的归一化事实文件。 4. 按 profile 收集 unit、acceptance、property、mutation、coverage、code quality、dependency、UI QA、performance、real database、concurrency 和 failure injection 等分层证据；不要让低成本证据冒充高风险验证。 5. 当 profile 要求时，核验必需证据的 tool、command、actor、role、repository commit、observedAt、environment 和 artifact SHA-256。 6. 对照基线识别受保护的 specification、acceptance test、unit test、quality profile 和 QA procedure 是否新增、修改或删除；变化必须有覆盖全部变更、对应当前提交且非生产者自审的 `constraint-approval`。 7. 生成 `architecture-health.json`、Markdown、SARIF、依赖图和循环依赖清单。 8. 只让 `measured` 的确定性违规触发 fail；`inferred` 只进入建议；证据或约束不可验证时 HOLD。 9. 对照基线区分 `new / worsened / improved / retained / resolved / budgeted`。 10. 校验临时预算的作用域、负责人、原因、上限和到期时间；过期预算不得放行。 11. 把需要业务解释的热点交给 `aios-arch`，同时保留原始事实和证据定位。 ## CLI 优先使用仓库提供的命令： ```text archsight-aios architecture:health \ --cwd <project> \ --mode <commit|weekly|milestone> \ --health-profile <profile.json> \ --health-input <facts.json> \ --baseline <previous-architecture-health.json> \ --out <artifact-directory> ``` 项目可以在 profile 中声明本地 analyzer command。不要把 Compliance、Standards、Graphics 的阈值或扫描命令写入 AIOS 核心；由各项目在独立 Goal 中维护自己的 profile、适配器和基线。 ## 证据规则 - `measured`：确定性工具或可复验运行结果。 - `inferred`：由事实推导的架构风险，不能直接阻断。 - `unverified`：profile 要求但本次没有取得的证据。 - 必需证据开启 provenance 后，必须绑定当前 repository commit；需要 artifact 时必须提供仓库相对路径和小写 SHA-256。 - 受保护约束有变化时，必须由 `reviewer` 提供 measured 的 `constraint-approval`，覆盖所有变更约束；约束生产者不得自审。 - 代码行数、扇入和扇出只作调查信号，不单独作为删功能或拆模块的硬门禁。 - 性能结果必须携带环境、数据集和运行条件。 - 静态事务或并发信号不能冒充真实数据库、竞态或失败注入结论。 - SARIF 承载可定位的确定性发现；AI 解释保持 advisory。 ## 输出判断 输出 `pass / fail / hold`： - `pass`：没有未预算的新增或恶化 measured 违规，并且本模式必需证据齐全。 - `fail`：存在未预算的新增或恶化 measured 违规。 - `hold`：基线不兼容、必需证据缺失、证据来源不完整、受保护约束缺少独立审批、必需扫描器失败或输入不可验证。 报告不得输出单一“质量分”。按维度、变化状态、证据等级、严重度和优先级呈现结果。