@dommaker/harness 0.16.9 → 0.17.1

package/CHANGELOG.md

@@ -4,6 +4,45 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## [0.17.1] - 2026-08-09
+
+### Changes
+- fix(constraints): 自定义约束 promptInjection 未透传，收编约束进不了注入段
+
+## [0.17.0] - 2026-08-08
+
+约束体系重构（ADR-0001）：删除自动进化子系统，确立 check/prompt 二元模型。决策依据见 `docs/adr/0001-constraint-system-rearchitecture.md`。
+
+### BREAKING
+- **删除进化子系统**：`src/evolution/`（`autoEvolve`）、`src/constraints/`（`ConstraintRegistry` + `ConstraintLifecycleRunner`）、`src/monitoring/constraint-evolver.ts`（`ConstraintEvolver`）、diagnosis-rules 降级规则全部移除
+- **删除 `flow` 命令**及 `--auto-apply`；trace 统计展示并入 `harness constraints report`
+- **约束清单 42 → 25**（9 check + 16 prompt），定义文件改为 `definitions/{iron-laws,guidelines,prompts}.ts`；`tips.ts` 删除
+- **`TIPS` 导出变化**：恒为空表并标记 `@deprecated`（仅为在途消费者编译兼容保留，后续删除）
+- 退役 5 条（工具链已覆盖）：`no_any_type`、`test_coverage_required`、`no_coverage_decrease`、`readme_required`、`doc_required_for_public_api`
+- 移出内置 2 条（studio 流水线专属，归 studio 自定义约束）：`two_stage_review_required`、`prefer_worktree`
+- 工具淘汰 1 条：`read_before_write`（Edit 类工具已机械强制先读后写）
+- 其余合并：`no_implementation_without_requirement`（吸收 review 变体）、`no_fuzzy_completion_claim`（吸收 no_self_approval/no_claim_without_evidence/no_excuse_patterns）、`no_fix_without_root_cause`（吸收 no_fallback_without_root_cause/analysis_verification_gate/diagnosis_to_fix_gate）、`simplest_solution_first`（吸收 no_creation_without_reuse_check/yagni_check）
+- 使用方 config.yml 中被移除条目的 `enabled: false` 残留无害（生效集计算忽略未知 id，`constraints report` 会提示）
+
+### Added
+- **`harness constraints report`**：check 层使用统计（total/pass/fail/skip、fail 率、首末触发）+ 四类退役候选诊断（零触发/零拦截/不可评估/高噪）+ 配置健康（unknownIds 残留）+ 注入漂移小节；`--export [file]` 输出脱敏 markdown 摘要供回传维护者
+- **`harness constraints retire [id] [--reason]`**：交互选择器 + 一次人确认；落盘 config.yml `enabled: false` + `retired` 元数据（at/reason/stats）；KnowledgeStore 写决策记录（规则原文+原因+历史统计）；自动同步 CLAUDE.md 注入段；删除 config.yml 对应段即可回滚
+- **`getEffectiveConstraints(projectRoot)` 公共 API**：全仓唯一生效集来源——内置 → preset 裁剪 → config.yml 禁用 → custom 追加 → scenes 过滤；init 注入/check/消费方全部走它（`src/core/effective-constraints.ts`，附 `lintEffectiveConfig` 诊断）
+- **skip 语义**：约定未采用（`capability_sync`/`docs_freshness`/`context_doc_sync` 存在性探测）或 flag 未接线 → skipped（satisfied=true，不阻断、不计入通率），trace 记 `result:'skip'`；`detectTrigger` 补 `code_implementation` 推断（代码文件变更），新增 `extraTriggers`
+- **注入漂移校验**：`check` 警告不阻断（版本漂移 ⚠️ 单独显眼提示），`report` 给条目级 diff（`injection-drift.ts`）
+- **config.yml 新增 `scenes: string[]`**：场景专属 prompt（`no_skill_without_test`、`no_model_for_deterministic`）仅在 scenes 命中时进入生效集
+- **`no_hardcoded_credentials` 真 checker**：凭证模式扫描 staged diff（接入 sensitive-check）
+- init：注入段只渲染生效集；Output Style 段标记化（HARNESS_OUTPUT_STYLE_START/END）；幂等修复
+
+### Changed（行为变化，发版须知）
+- config.yml 的 `preset` 字段现在**真正影响运行时检查**；`relaxed` = 仅 5 条 check（3 iron + 2 guideline），prompt 全禁用
+- init 注入尊重配置：禁用/裁剪后的约束不再出现在 CLAUDE.md 注入段（注入条目 ~38 → ~21）
+- trace 读写路径统一为 `.harness/logs/traces.log`（`DEFAULT_TRACE_FILE`，`src/types/trace.ts`）
+- `harness check` 输出可能新增注入漂移警告（不阻断）
+
+### Fixed
+- `capability_sync` checker 三处校验缺陷：step1 改为要求每个变更文件都被覆盖（every 而非 some，杜绝漏网）；修复 endsWith 后缀碰撞（xfoo.ts 误被 foo.ts 覆盖）与 includes 子串误配（docs/src/foo.tsx 误被 src/foo.ts 覆盖）（含回归测试）
+
 ## [0.16.9] - 2026-08-08
 
 ### Changes

package/README.md

@@ -2,7 +2,7 @@
 
 通用 AI Agent 工程约束框架。
 
-约束即知识，随模型进化而沉淀。铁律可退化，指南可演化，一切可追溯。
+约束即知识：运行时检查守住底线，治理回路沉淀经验，一切可追溯。
 
 [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
 
@@ -13,8 +13,8 @@
 Agent 能力强但不可靠。它会跳过测试、声称完成、反复循环、调用危险工具。传统做法是写更长的 Prompt——但 Prompt 只是建议，Agent 可以忽略。
 
 Harness 提供两层核心价值：
-1. **运行时约束** — Agent 行动前的代码级检查，不是 Prompt 级建议
-2. **知识沉淀** — 当模型内化了某条规则，约束自动降级为知识记录（KnowledgeStore），保留"这个规则曾经保护过什么"
+1. **运行时约束** — Agent 行动前的代码级检查，不是 Prompt 级建议。check 层约束带真实 checker（diff 扫描、存在性探测、门控校验），fail 即阻断或告警。对未采用对应约定的项目（如无 CAPABILITIES.md），检查诚实报告 `skip`——不阻断、不计入通过率，绝不拿恒过桩凑数
+2. **知识沉淀** — 当模型内化了某条规则，人确认后用 `harness constraints retire` 将其退役：规则原文 + 退役原因 + 历史拦截统计一并写入 KnowledgeStore。模型内化了什么，有据可查
 
 ---
 
@@ -43,42 +43,40 @@ await checkBeforeExecution({
 const meta = await import('child_process').then(cp =>
   JSON.parse(cp.execSync('npx harness constraints --json', { encoding: 'utf-8' }))
 );
-// { version, hash, counts: { ironLaws, guidelines, tips }, textSize }
+// { version, hash, counts: { ironLaws, guidelines, prompts }, textSize }
 ```
 
 > Agent prompt 注入约束由 `@dommaker/studio-shared` 提供（`formatConstraintsForPrompt(role)`）。
 
 ---
 
-## 三层约束体系
+## 约束体系：check / prompt 二元模型
 
-| 层级 | 严重性 | 数量 | 行为 |
-|------|:--:|:--:|------|
-| **Iron Law** | error | 12 | 阻断执行。拦截率 <5% 时自动降为 guideline |
-| **Guideline** | warning | 28 | 注入 Agent context。拦截率 <30% 时降为 tip |
-| **Tip** | info | 2 | 信息性提示。拦截率 <10% 时标记废弃 |
+| 类别 | 数量 | 行为 |
+|------|:--:|------|
+| **check · Iron Law** | 5 | 代码级检查，违规 throw `ConstraintViolationError` 阻断执行 |
+| **check · Guideline** | 4 | 代码级检查，违规记录 warning 放行 |
+| **prompt** | 16 | 纯文本行为约束，注入 Agent context，不占检查位、不产生 trace 统计 |
 
-约束定义按层级维护在数据文件中（`src/core/constraints/definitions/{iron-laws,guidelines,tips}.ts`），检查逻辑在 `checkers/` 目录按规则独立实现。完整约束列表见 [CAPABILITIES.md](CAPABILITIES.md)。
+- check 层每条必须带真实 checker（注册表闭环，引用未注册 checker 构建报错）；`capability_sync`/`docs_freshness`/`context_doc_sync` 为存在性探测——项目未采用对应约定文件时 skip（不阻断、不计 pass/fail）。
+- prompt 层带角色路由与适用性标签；场景专属条目仅在 config.yml `scenes` 命中时进入生效集。
+- 生效集由 `getEffectiveConstraints(projectRoot)` 统一计算：内置 → preset 裁剪 → config.yml 禁用 → custom 追加 → scenes 过滤。init 注入、`harness check`、外部消费者全部走它。
+
+约束定义按类别维护在数据文件中（`src/core/constraints/definitions/{iron-laws,guidelines,prompts}.ts`），检查逻辑在 `checkers/` 目录按规则独立实现。完整约束列表见 [CAPABILITIES.md](CAPABILITIES.md)。
 
 ---
 
-## 约束生命周期
+## 约束治理回路
 
-约束是知识，不是教条。随着模型能力提升，约束会自动降级为知识沉淀：
+约束是知识，不是教条。约束的进化发生在外环——数据不出门，人确认每一步：
 
 ```
-active → 拦截率低于阈值 → degrade → deprecated → 写入 KnowledgeStore
-                                ← rollback (可回滚)
+report 观测 → retire（人确认）→ 知识沉淀 → --export 回传 → 维护者发版演进内置集
 ```
 
-| 层级 | 退化阈值 | 退化目标 |
-|------|---------|---------|
-| Iron Law | 拦截率 < 5%（≥100 次检查） | → guideline |
-| Guideline | 拦截率 < 30%（≥10 次检查） | → tip |
-| Tip | 拦截率 < 10%（≥10 次检查） | → info → deprecated |
-
-- 退化基于拦截率，不基于日历时间。可手动回滚恢复原级别。
-- 降级时写入 **KnowledgeStore**（知识引擎的存储层）——保留规则原文 + 退化原因 + 历史拦截数据。模型内化了什么，有据可查。
+- `harness constraints report` — 只读观测：check 层统计、四类退役候选诊断（零触发/零拦截/不可评估/高噪）、配置健康、注入漂移；`--export` 输出脱敏 markdown 摘要，供使用方回传给维护者。
+- `harness constraints retire` — 交互选择退役候选，**执行前保留一次人确认**。落盘为 config.yml `enabled: false` + `retired` 元数据，同时写入 **KnowledgeStore**（规则原文 + 退役原因 + 历史统计），并自动同步 CLAUDE.md 注入段。退役不是删除——删除 config.yml 中对应段即可回滚。
+- 维护者收到回传摘要后编辑内置 definitions 并发版，内置集由此演进。不使用遥测，不做自动降级。
 
 ---
 
@@ -91,8 +89,9 @@ harness validate       # 检查点验证（失败退出码 1，可用于 CI 门
 harness init           # 初始化 .harness/ 目录（不覆盖已有运行时配置）
 harness status         # 项目健康状态、统计、异常检测
 harness constraints    # 约束元数据（版本/hash/计数/文本大小）
+harness constraints report   # 约束使用报告：统计 + 退役候选诊断 + 配置健康 + 注入漂移（--export 脱敏）
+harness constraints retire   # 约束退役：交互选择 + 人确认 → config.yml + KnowledgeStore + 注入段同步
 harness report         # 生成检查报告
-harness flow           # 一键执行诊断 + 提案流程
 
 # 门禁
 harness passes-gate    # 测试门控（别名 pg）
@@ -128,35 +127,37 @@ harness release        # npm 发布流水线（tsc → dist 验证 → version
 
 ```yaml
 # .harness/config.yml
-preset: standard  # strict | standard | relaxed
+preset: standard  # strict | standard | relaxed（relaxed 仅启用 5 条 check 约束）
+scenes: []        # 场景标签，命中场景专属 prompt 才进入生效集
 ```
 
+`preset` 真实影响运行时检查与注入；`constraints.<id>.enabled: false` 可单独禁用。
+
 ---
 
 ## 核心能力
 
 | 模块 | 说明 |
 |------|------|
-| 约束引擎 | 三层约束 + 生命周期（自动退化/回滚） |
-| 知识引擎 | 约束退化 → KnowledgeStore 沉淀，可检索、可追溯 |
+| 约束引擎 | check/prompt 二元约束 + 生效集合并（`getEffectiveConstraints`）+ 注入渲染/漂移校验 |
+| 知识引擎 | 约束退役 → KnowledgeStore 沉淀（规则原文 + 原因 + 历史统计），可检索、可追溯 |
 | 门禁系统 | 8 种门禁：测试/验收/性能/安全/契约/审查/命令/检查点 |
 | 安全护栏 | Input/Output/Tool Guardrail + Sandbox (L1-L4) |
 | Hook 管线 | 通用 before/after/around hook：注册 → 排序 → 错误隔离 → 采样执行 |
-| 上下文/监控 | Token 预算 + 会话压缩 + Trace 诊断 + 约束进化 |
+| 上下文/监控 | Token 预算 + 会话压缩 + Trace 收集/分析 + 约束诊断（ConstraintDoctor） |
 
 ### 代码结构
 
 ```
 src/
-├── core/constraints/       # 约束定义（iron-laws/guidelines/tips）+ checkers/
+├── core/constraints/       # 约束定义（definitions/{iron-laws,guidelines,prompts}）+ checkers/ + 注入渲染/漂移校验 + 使用统计
+├── core/effective-constraints.ts  # 生效集唯一来源（内置→preset→config→custom→scenes）
 ├── core/validators/        # 检查点校验器（check-handlers/）
 ├── cli/                    # CLI 命令实现（sync-docs/ 模块族等）
-├── constraints/            # ConstraintRegistry + 生命周期执行器
 ├── knowledge/              # 知识引擎（存储/检索/衰减/诊断）
 ├── gates/                  # 各类门禁实现
 ├── safety/                 # 护栏与沙箱
-├── evolution/              # 约束自动演化
-└── monitoring/             # Trace 分析与诊断（规则数据化）
+└── monitoring/             # Trace 收集/分析与诊断（规则数据化）
 ```
 
 各目录的 `CONTEXT.md` 是权威模块文档。变更历史见 [CHANGELOG.md](CHANGELOG.md)。

package/bin/harness.js

@@ -129,25 +129,6 @@ program
     });
   });
 
-// ========================================
-// harness flow
-// ========================================
-program
-  .command('flow')
-  .description('一键执行诊断 + 提案流程')
-  .option('-p, --project-path <path>', '项目路径')
-  .option('--from <step>', '从哪个步骤开始 (analyze/diagnose/propose)')
-  .option('--auto-apply', '自动应用低风险提案', false)
-  .option('--hours <n>', '分析最近 N 小时', '24')
-  .action(async (options) => {
-    await cmd('flow')({
-      projectPath: options.projectPath,
-      from: options.from,
-      autoApply: options.autoApply,
-      hours: parseInt(options.hours, 10),
-    });
-  });
-
 // ========================================
 // harness spec
 // ========================================
@@ -532,7 +513,7 @@ program
 // ========================================
 // harness constraints
 // ========================================
-program
+const constraintsCmd = program
   .command('constraints')
   .description('输出约束集合元数据（版本、hash、计数、文本大小）')
   .option('--json', '输出 JSON 格式', false)
@@ -540,6 +521,38 @@ program
     await cmd('constraints')(options);
   });
 
+constraintsCmd
+  .command('report')
+  .description('约束使用报告：check 层统计表、退役候选诊断、prompt 注入清单、配置健康（只读）')
+  .option('-p, --project-path <path>', '项目路径')
+  .option('--export [file]', '导出脱敏 markdown 摘要（缺省 .harness/reports/constraints-<YYYYMMDD>.md）')
+  .option('--json', '输出 JSON 格式', false)
+  .option('--zero-intercept-min <n>', '零拦截候选的最小评估样本数', '50')
+  .option('--noise-fail-rate <rate>', '高噪候选 fail 率阈值', '0.8')
+  .option('--noise-min-total <n>', '高噪候选最小评估样本数', '20')
+  .action(async (options) => {
+    await cmd('constraintsReport')({
+      projectPath: options.projectPath,
+      export: options.export,
+      json: options.json,
+      zeroInterceptMin: parseInt(options.zeroInterceptMin, 10),
+      noiseFailRate: parseFloat(options.noiseFailRate),
+      noiseMinTotal: parseInt(options.noiseMinTotal, 10),
+    });
+  });
+
+constraintsCmd
+  .command('retire [id]')
+  .description('退役约束：无 id 进入交互式候选选择；带 id 直接退役（写 config.yml + KnowledgeStore + 同步 CLAUDE.md 注入段）')
+  .option('-p, --project-path <path>', '项目路径')
+  .option('--reason <text>', '退役原因')
+  .action(async (id, options) => {
+    await cmd('constraintsRetire')(id, {
+      projectPath: options.projectPath,
+      reason: options.reason,
+    });
+  });
+
 // ========================================
 // harness doc-freshness-check
 // ========================================

package/dist/cli/commands/check.d.ts

@@ -1,8 +1,9 @@
 /**
  * harness check 命令
  *
- * 检查约束是否满足（三层：Iron Laws / Guidelines / Tips）
- * 工单 23：触发条件与证据检测迁至 core/constraints/context-builder；--preset 接入 applyPreset
+ * 检查约束是否满足（check 层：Iron Laws / Guidelines；prompt 层仅注入不检查）
+ * 工单 23：触发条件与证据检测迁至 core/constraints/context-builder；--preset 经 mergeConstraints 生效
+ * ADR-0001：约束集统一走 mergeConstraints 生效集链路（preset/config 禁用/custom/scenes）
  */
 import type { ConstraintTrigger } from '../../types/constraint';
 export interface CheckOptions {

package/dist/cli/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,gBAAgB;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,WAAW;IACX,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,wBAAsB,KAAK,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAwGhE;AAsED;;GAEG;AACH,wBAAgB,QAAQ,IAAI,IAAI,CAgC/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAYH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,gBAAgB;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,WAAW;IACX,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,wBAAsB,KAAK,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA8IhE;AAgED;;GAEG;AACH,wBAAgB,QAAQ,IAAI,IAAI,CAgC/B"}

package/dist/cli/commands/check.js

@@ -2,8 +2,9 @@
 /**
  * harness check 命令
  *
- * 检查约束是否满足（三层：Iron Laws / Guidelines / Tips）
- * 工单 23：触发条件与证据检测迁至 core/constraints/context-builder；--preset 接入 applyPreset
+ * 检查约束是否满足（check 层：Iron Laws / Guidelines；prompt 层仅注入不检查）
+ * 工单 23：触发条件与证据检测迁至 core/constraints/context-builder；--preset 经 mergeConstraints 生效
+ * ADR-0001：约束集统一走 mergeConstraints 生效集链路（preset/config 禁用/custom/scenes）
  */
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
@@ -52,7 +53,8 @@ const traces_1 = require("../../monitoring/traces");
 const definitions_1 = require("../../core/constraints/definitions");
 const project_config_loader_1 = require("../../core/project-config-loader");
 const context_builder_1 = require("../../core/constraints/context-builder");
-const presets_1 = require("../../presets");
+const injection_drift_1 = require("../../core/constraints/injection-drift");
+const trace_1 = require("../../types/trace");
 /**
  * 执行约束检查
  */
@@ -65,13 +67,22 @@ async function check(options) {
         const configLoader = new project_config_loader_1.ProjectConfigLoader(projectPath);
         configLoader.load();
         checker_1.constraintChecker.setTraceRecorder((0, traces_1.getTraceCollector)());
-        if (configLoader.hasCustomConfig()) {
-            const merged = configLoader.mergeConstraints();
-            checker_1.constraintChecker.setCustomConfig(merged);
+        // 生效约束集（ADR-0001）：内置 → preset → config.yml 禁用 → custom 追加 → scenes 过滤。
+        // --preset 仅在没有项目自定义配置时覆盖 config.yml 的 preset（保持工单 23 语义：
+        // 项目自定义配置优先于 CLI 预设）。
+        const merged = configLoader.hasCustomConfig()
+            ? configLoader.mergeConstraints()
+            : configLoader.mergeConstraints({ preset: options.preset || 'standard' });
+        checker_1.constraintChecker.setCustomConfig(merged);
+        if (merged.custom.length > 0) {
             console.log(chalk_1.default.gray(`自定义约束: ${merged.custom.length} 条`));
-            if (merged.disabled.length > 0) {
-                console.log(chalk_1.default.gray(`已禁用约束: ${merged.disabled.join(', ')}`));
-            }
+        }
+        if (merged.disabled.length > 0) {
+            console.log(chalk_1.default.gray(`已禁用约束: ${merged.disabled.join(', ')}`));
+        }
+        const unknownIds = merged.unknownIds ?? [];
+        if (unknownIds.length > 0) {
+            console.log(chalk_1.default.yellow(`⚠️  配置中存在未知约束 id（已忽略，可清理）: ${unknownIds.join(', ')}`));
         }
         // 构建上下文（工单 23：触发条件与证据检测收敛至 core/constraints/context-builder）
         const context = await (0, context_builder_1.buildConstraintContext)({
@@ -83,25 +94,22 @@ async function check(options) {
         if (changedFiles.length > 0) {
             console.log(chalk_1.default.gray(`变更文件: ${changedFiles.length} 个`));
         }
-        console.log(chalk_1.default.gray(`触发条件: ${context.operation}`));
-        // 预设（工单 23：--preset 真正生效；项目自定义配置优先于预设）
-        let presetConfig;
-        if (!configLoader.hasCustomConfig()) {
-            try {
-                presetConfig = (0, presets_1.applyPreset)(options.preset || 'standard');
-            }
-            catch {
-                presetConfig = undefined; // 未知预设名回退内置全集
-            }
-        }
+        console.log(chalk_1.default.gray(`触发条件: ${[context.operation, ...(context.extraTriggers ?? [])].join(', ')}`));
         // 执行三层检查
-        const result = await checker_1.constraintChecker.checkConstraints(context, presetConfig);
+        const result = await checker_1.constraintChecker.checkConstraints(context);
         // 输出结果
         console.log();
+        // skipped（约定未采用/证据未接线）单独列示，不进 pass/fail 统计（ADR-0001）
+        const skippedResults = [
+            ...result.ironLaws,
+            ...result.guidelines,
+            ...result.tips,
+        ].filter(r => r.skipped);
         // Iron Laws
-        const ironLawViolations = result.ironLaws.filter(r => !r.satisfied);
-        if (ironLawViolations.length === 0 && result.ironLaws.length > 0) {
-            console.log(chalk_1.default.green(`✅ 铁律: 全部通过 (${result.ironLaws.length} 条)`));
+        const evaluatedIronLaws = result.ironLaws.filter(r => !r.skipped);
+        const ironLawViolations = evaluatedIronLaws.filter(r => !r.satisfied);
+        if (ironLawViolations.length === 0 && evaluatedIronLaws.length > 0) {
+            console.log(chalk_1.default.green(`✅ 铁律: 全部通过 (${evaluatedIronLaws.length} 条)`));
         }
         else if (ironLawViolations.length > 0) {
             console.log(chalk_1.default.red(`❌ 铁律违规: ${ironLawViolations.length} 条`));
@@ -125,8 +133,9 @@ async function check(options) {
             });
         }
         else if (result.guidelines.length > 0) {
-            const passedGuidelines = result.guidelines.filter(r => r.satisfied).length;
-            console.log(chalk_1.default.green(`✅ 指导原则: ${passedGuidelines}/${result.guidelines.length} 通过`));
+            const evaluatedGuidelines = result.guidelines.filter(r => !r.skipped);
+            const passedGuidelines = evaluatedGuidelines.filter(r => r.satisfied).length;
+            console.log(chalk_1.default.green(`✅ 指导原则: ${passedGuidelines}/${evaluatedGuidelines.length} 通过`));
         }
         // Tips
         if (result.tipCount > 0) {
@@ -137,6 +146,35 @@ async function check(options) {
                 }
             });
         }
+        // Skipped：约定未采用 / 证据未接线，未评估（不计通过/失败）
+        if (skippedResults.length > 0) {
+            console.log(chalk_1.default.gray(`⏭️  跳过评估: ${skippedResults.length} 条（约定未采用或证据未接线，不计通过/失败）`));
+            skippedResults.forEach(r => {
+                console.log(chalk_1.default.gray(`   - ${r.id}`));
+            });
+        }
+        // 注入漂移校验（ADR-0001 决策 7）：黄色警告块，不改 exit code、不影响门禁结果。
+        // 无漂移/未注入零输出；漂移检测自身异常静默吞掉，绝不影响 check。
+        try {
+            const drift = (0, injection_drift_1.detectInjectionDrift)(projectPath);
+            if (drift.hasDrift) {
+                console.log();
+                console.log(chalk_1.default.yellow('⚠️  检测到 CLAUDE.md 约束注入漂移（仅警告，不阻断）:'));
+                if (drift.versionDrift) {
+                    console.log(chalk_1.default.yellow(`   ⚠️⚠️ 注入段版本 (${drift.versionDrift.actual}) ≠ 已安装 harness 版本 (${drift.versionDrift.expected})：agent 上下文中的规则与已安装 harness 版本不一致`));
+                }
+                if (drift.contentDrift) {
+                    console.log(chalk_1.default.yellow(`   内容漂移: 缺失 ${drift.contentDrift.missing.length} 条 / 多余 ${drift.contentDrift.extra.length} 条（条目级差异见 harness constraints report）`));
+                }
+                if (drift.duplicateHeading) {
+                    console.log(chalk_1.default.yellow('   检测到重复的 "## Governance Rules" 章节'));
+                }
+                console.log(chalk_1.default.yellow(`   修复: ${drift.fixHint}`));
+            }
+        }
+        catch {
+            // 漂移检测失败不影响 check 结果
+        }
         console.log();
         console.log(chalk_1.default.green('✅ 约束检查通过'));
         // 智能提示
@@ -158,7 +196,7 @@ async function check(options) {
  * 智能提示：检查是否需要提示用户下一步操作
  */
 async function getSmartHint(projectPath) {
-    const tracesPath = path.join(projectPath, '.harness', 'traces', 'execution.log');
+    const tracesPath = path.join(projectPath, trace_1.DEFAULT_TRACE_FILE);
     const statePath = path.join(projectPath, '.harness', '.state.json');
     // 检查 trace 文件是否存在
     if (!fs.existsSync(tracesPath)) {
@@ -180,12 +218,7 @@ async function getSmartHint(projectPath) {
         hints.push('📊 记录已足够，运行 harness status 查看统计');
         state.shownHints.push('trace_50');
     }
-    // 条件 2: 记录数达到 100 且从未运行过诊断
-    if (traceCount >= 100 && !state.lastDiagnoseRun && !state.shownHints.includes('flow_suggest')) {
-        hints.push('💡 数据充足，建议运行 harness flow 查看诊断');
-        state.shownHints.push('flow_suggest');
-    }
-    // 条件 3: 检查异常趋势（简单检查绕过率）
+    // 条件 2: 检查异常趋势（简单检查绕过率）
     const bypassCount = lines.filter(line => {
         try {
             const trace = JSON.parse(line);
@@ -232,9 +265,9 @@ function listLaws() {
         }
         console.log();
     });
-    // Tips
-    console.log(chalk_1.default.blue('🔵 提示 (Tips) - 信息性，可忽略:\n'));
-    Object.values(definitions_1.TIPS).forEach(constraint => {
+    // Prompts（ADR-0001：纯注入层，不执行检查）
+    console.log(chalk_1.default.blue('🔵 提示 (Prompts) - 纯文本注入，不参与检查:\n'));
+    Object.values(definitions_1.PROMPTS).forEach(constraint => {
         console.log(chalk_1.default.blue(`  ${constraint.id}`));
         console.log(chalk_1.default.gray(`    ${constraint.rule}`));
         console.log(chalk_1.default.gray(`    ${constraint.message}`));

package/dist/cli/commands/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BH,sBAwGC;AAyED,4BAgCC;AA1OD,kDAA0B;AAC1B,uCAAyB;AACzB,2CAA6B;AAC7B,4DAAmE;AACnE,oDAA4D;AAC5D,oEAAiF;AACjF,4EAAuE;AACvE,4EAAgF;AAChF,2CAA4C;AAc5C;;GAEG;AACI,KAAK,UAAU,KAAK,CAAC,OAAqB;IAC/C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAEjD,IAAI,CAAC;QACH,aAAa;QACb,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,YAAY,GAAG,IAAI,2CAAmB,CAAC,WAAW,CAAC,CAAC;QAC1D,YAAY,CAAC,IAAI,EAAE,CAAC;QACpB,2BAAiB,CAAC,gBAAgB,CAAC,IAAA,0BAAiB,GAAE,CAAC,CAAC;QAExD,IAAI,YAAY,CAAC,eAAe,EAAE,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,YAAY,CAAC,gBAAgB,EAAE,CAAC;YAC/C,2BAAiB,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAC1C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YAC5D,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAED,6DAA6D;QAC7D,MAAM,OAAO,GAAG,MAAM,IAAA,wCAAsB,EAAC;YAC3C,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QAChD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;QAEtD,uCAAuC;QACvC,IAAI,YAAY,CAAC;QACjB,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC;gBACH,YAAY,GAAG,IAAA,qBAAW,EAAC,OAAO,CAAC,MAAM,IAAI,UAAU,CAAC,CAAC;YAC3D,CAAC;YAAC,MAAM,CAAC;gBACP,YAAY,GAAG,SAAS,CAAC,CAAC,cAAc;YAC1C,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,MAAM,GAAG,MAAM,2BAAiB,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAE/E,OAAO;QACP,OAAO,CAAC,GAAG,EAAE,CAAC;QAEd,YAAY;QACZ,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACvE,CAAC;aAAM,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,WAAW,iBAAiB,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YAChE,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC5B,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACjB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;oBAC3E,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QAED,aAAa;QACb,IAAI,MAAM,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;YAClE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACtD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACjB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;YAC3E,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,WAAW,gBAAgB,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACzF,CAAC;QAED,OAAO;QACP,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAChD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACjB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAErC,OAAO;QACP,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,aAAa,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,YAAY,CAAC,WAAmB;IAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAEpE,kBAAkB;IAClB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,eAAe;IACf,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;IAEhC,OAAO;IACP,IAAI,KAAK,GAIL,EAAE,CAAC;IACP,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IAE1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,mBAAmB;IACnB,IAAI,UAAU,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC9C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC;IAED,2BAA2B;IAC3B,IAAI,UAAU,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9F,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC;IAED,wBAAwB;IACxB,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QACtC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC,MAAM,CAAC;IAEV,MAAM,UAAU,GAAG,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,UAAU,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAClE,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACjD,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC;IAED,OAAO;IACP,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ;IACtB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IAExC,YAAY;IACZ,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAC5C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,aAAa;IACb,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC,wBAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAC7C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,OAAO;IACP,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,MAAM,CAAC,kBAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BH,sBA8IC;AAmED,4BAgCC;AA3QD,kDAA0B;AAC1B,uCAAyB;AACzB,2CAA6B;AAC7B,4DAAmE;AACnE,oDAA4D;AAC5D,oEAAoF;AACpF,4EAAuE;AACvE,4EAAgF;AAChF,4EAA8E;AAC9E,6CAAuD;AAcvD;;GAEG;AACI,KAAK,UAAU,KAAK,CAAC,OAAqB;IAC/C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAEjD,IAAI,CAAC;QACH,aAAa;QACb,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,YAAY,GAAG,IAAI,2CAAmB,CAAC,WAAW,CAAC,CAAC;QAC1D,YAAY,CAAC,IAAI,EAAE,CAAC;QACpB,2BAAiB,CAAC,gBAAgB,CAAC,IAAA,0BAAiB,GAAE,CAAC,CAAC;QAExD,uEAAuE;QACvE,0DAA0D;QAC1D,sBAAsB;QACtB,MAAM,MAAM,GAAG,YAAY,CAAC,eAAe,EAAE;YAC3C,CAAC,CAAC,YAAY,CAAC,gBAAgB,EAAE;YACjC,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,UAAU,EAAE,CAAC,CAAC;QAC5E,2BAAiB,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;QAC3C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,8BAA8B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACnF,CAAC;QAED,6DAA6D;QAC7D,MAAM,OAAO,GAAG,MAAM,IAAA,wCAAsB,EAAC;YAC3C,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QAChD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAErG,SAAS;QACT,MAAM,MAAM,GAAG,MAAM,2BAAiB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAEjE,OAAO;QACP,OAAO,CAAC,GAAG,EAAE,CAAC;QAEd,qDAAqD;QACrD,MAAM,cAAc,GAAG;YACrB,GAAG,MAAM,CAAC,QAAQ;YAClB,GAAG,MAAM,CAAC,UAAU;YACpB,GAAG,MAAM,CAAC,IAAI;SACf,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAEzB,YAAY;QACZ,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClE,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACtE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnE,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,eAAe,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACzE,CAAC;aAAM,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,WAAW,iBAAiB,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YAChE,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC5B,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACjB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;oBAC3E,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QAED,aAAa;QACb,IAAI,MAAM,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;YAClE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACtD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACjB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;YAC7E,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,WAAW,gBAAgB,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QAC3F,CAAC;QAED,OAAO;QACP,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAChD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACjB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,qCAAqC;QACrC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,aAAa,cAAc,CAAC,MAAM,yBAAyB,CAAC,CAAC,CAAC;YACrF,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACzB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC1C,CAAC,CAAC,CAAC;QACL,CAAC;QAED,oDAAoD;QACpD,sCAAsC;QACtC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAA,sCAAoB,EAAC,WAAW,CAAC,CAAC;YAChD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACnB,OAAO,CAAC,GAAG,EAAE,CAAC;gBACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC,CAAC;gBAChE,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;oBACvB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,kBAAkB,KAAK,CAAC,YAAY,CAAC,MAAM,uBAAuB,KAAK,CAAC,YAAY,CAAC,QAAQ,mCAAmC,CAAC,CAAC,CAAC;gBAC9J,CAAC;gBACD,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;oBACvB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,eAAe,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,WAAW,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,uCAAuC,CAAC,CAAC,CAAC;gBAC/J,CAAC;gBACD,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;oBAC3B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC,CAAC;gBAClE,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,UAAU,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,qBAAqB;QACvB,CAAC;QAED,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAErC,OAAO;QACP,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,aAAa,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,YAAY,CAAC,WAAmB;IAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAEpE,kBAAkB;IAClB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,eAAe;IACf,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;IAEhC,OAAO;IACP,IAAI,KAAK,GAIL,EAAE,CAAC;IACP,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IAE1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,mBAAmB;IACnB,IAAI,UAAU,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC9C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC;IAED,wBAAwB;IACxB,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QACtC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC,MAAM,CAAC;IAEV,MAAM,UAAU,GAAG,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,UAAU,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAClE,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACjD,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC;IAED,OAAO;IACP,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ;IACtB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IAExC,YAAY;IACZ,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAC5C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,aAAa;IACb,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC,wBAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAC7C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAC,MAAM,CAAC,qBAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAC1C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/cli/commands/constraints-report.d.ts

@@ -0,0 +1,42 @@
+/**
+ * harness constraints report —— 约束使用报告（ADR-0001 决策 3/4）
+ *
+ * 只读。面向"人审约束"场景：
+ * - check 层统计表（total/pass/fail/skip、fail 率、首次/最近触发）
+ * - 退役候选诊断（零触发/零拦截/不可评估/高噪），retire 交互模式的数据源
+ * - 当前生效 prompt 注入清单
+ * - 配置健康（unknownIds 残留提示）
+ * - --export [file]：脱敏 markdown 摘要（不含项目路径）
+ */
+import { type ConstraintsUsageReport } from '../../core/constraints/usage-report';
+import { type InjectionDrift } from '../../core/constraints/injection-drift';
+export interface ConstraintsReportOptions {
+    projectPath?: string;
+    /** --export [file]：true = 默认路径；string = 指定文件 */
+    export?: boolean | string;
+    json?: boolean;
+    /** 零拦截候选的最小评估样本数 */
+    zeroInterceptMin?: number;
+    /** 高噪候选 fail 率阈值 */
+    noiseFailRate?: number;
+    /** 高噪候选最小评估样本数 */
+    noiseMinTotal?: number;
+}
+/**
+ * 渲染脱敏 markdown 摘要（ADR-0001 决策 4）
+ *
+ * 脱敏约束：不含 projectPath 等本地敏感信息；
+ * 内容为 harness 版本、日期、统计表、候选清单、配置健康。
+ */
+export declare function renderExportMarkdown(report: ConstraintsUsageReport, version: string, now?: Date): string;
+/**
+ * 渲染"注入漂移"小节的文本行（ADR-0001 决策 7：详细条目级差异进 report）
+ *
+ * 返回纯文本行数组（不含 chalk 着色），调用方逐行 console.log。
+ */
+export declare function renderInjectionDriftLines(drift: InjectionDrift): string[];
+/**
+ * CLI handler: harness constraints report
+ */
+export declare function constraintsReport(options?: ConstraintsReportOptions): Promise<void>;
+//# sourceMappingURL=constraints-report.d.ts.map

package/dist/cli/commands/constraints-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-report.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/constraints-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,EAGL,KAAK,sBAAsB,EAI5B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAEnG,MAAM,WAAW,wBAAwB;IACvC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,MAAM,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC1B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,oBAAoB;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,oBAAoB;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kBAAkB;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAwBD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,sBAAsB,EAC9B,OAAO,EAAE,MAAM,EACf,GAAG,GAAE,IAAiB,GACrB,MAAM,CAwCR;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,EAAE,CA8BzE;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CAAC,OAAO,GAAE,wBAA6B,GAAG,OAAO,CAAC,IAAI,CAAC,CAiF7F"}