archsightlabs 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把确认后的治理项拆成交付任务。
工作流
- 读取项目规则、
.ai/architecture-health/profile.json或用户指定的 profile。 - 选择运行模式：
commit：关注相对基线的新增债务，目标为数十秒级。weekly：运行完整扫描、趋势对比和热点排序。milestone：增加性能、真实数据库、并发或失败注入等 profile 要求的证据。
- 运行项目自有扫描器，或读取符合输入契约的归一化事实文件。
- 按 profile 收集 unit、acceptance、property、mutation、coverage、code quality、dependency、UI QA、performance、real database、concurrency 和 failure injection 等分层证据；不要让低成本证据冒充高风险验证。
- 当 profile 要求时，核验必需证据的 tool、command、actor、role、repository commit、observedAt、environment 和 artifact SHA-256。
- 对照基线识别受保护的 specification、acceptance test、unit test、quality profile 和 QA procedure 是否新增、修改或删除；变化必须有覆盖全部变更、对应当前提交且非生产者自审的
constraint-approval。 - 生成
architecture-health.json、Markdown、SARIF、依赖图和循环依赖清单。 - 只让
measured的确定性违规触发 fail；inferred只进入建议；证据或约束不可验证时 HOLD。 - 对照基线区分
new / worsened / improved / retained / resolved / budgeted。 - 校验临时预算的作用域、负责人、原因、上限和到期时间；过期预算不得放行。
- 把需要业务解释的热点交给
aios-arch，同时保留原始事实和证据定位。
CLI
优先使用仓库提供的命令：
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：基线不兼容、必需证据缺失、证据来源不完整、受保护约束缺少独立审批、必需扫描器失败或输入不可验证。
报告不得输出单一“质量分”。按维度、变化状态、证据等级、严重度和优先级呈现结果。