@dommaker/harness 0.19.0 → 1.0.0

package/src/cli/commands/CONTEXT.md

@@ -1,10 +1,16 @@
 # cli/commands/
 
 ## 职责
-CLI 子命令实现：24 个顶层命令 + constraints 治理子命令 report/retire（共 26 个命令文件），覆盖约束检查/门禁验证/文档同步/知识管理/失败诊断/发布/会话分析等。
+CLI 子命令实现：24 个顶层命令 + constraints 治理子命令 report/retire，覆盖约束检查/门禁验证/文档同步/知识管理/失败诊断/发布/会话分析等。
 
-## 核心导出(24 顶层命令)
-check / validate / passes-gate / init / report / status / spec / acceptance / performance / security / contract / review / command / sync-docs / knowledge / sdd / failure / posteval-plan / release / analyze-sessions / update-user-model / constraints / doc-freshness-check / spec-baseline-check
+H5（#44）起：
+- **命令定义即注册**：`definitions.ts` 的 `COMMAND_DEFINITIONS` 是命令形状（名称/别名/位置参数/选项/子命令/实现引用）的单一来源；bin/harness.js 遍历本表注册表驱动生成，不再手写 commander 命令块，不再有 index.ts barrel 两处同步（R6）
+- **per-command 懒加载**（O2）：定义表存实现引用 `{ module, export }`，bin 只在 action 执行时 require 对应命令模块，任一命令执行不再加载全部命令实现
+
+## 核心导出
+- `COMMAND_DEFINITIONS`（definitions.ts）— 全部非门禁命令定义（纯数据模块，禁止 import 命令实现）
+- 各命令文件：check / validate / passes-gate / init / report / status / spec / sync-docs / knowledge / sdd / failure / posteval-plan / release / analyze-sessions / update-user-model / constraints / doc-freshness-check / spec-baseline-check
+- 6 门禁命令实现在 `acceptance` / `command` / `contract` / `performance` / `review` / `security`（其 CLI 元数据在 `src/gates/definitions.ts`）
 
 `constraints` 下挂治理子命令：`constraints report`（使用统计 + 退役候选诊断 + 配置健康 + 注入漂移，`--export` 脱敏）、`constraints retire`（交互选择 + 人确认退役；带 id 直达需显式 `--yes`（#24 人确认闸门），无 `--yes` 报错 + 非零退出码且不落盘；内置落 config.yml retired 元数据，custom 落 custom-constraints.yml 条目 retired 段（#82 D6 一处真相）+ KnowledgeStore 沉淀 + CLAUDE.md 注入段同步）。
 
@@ -14,13 +20,15 @@ check / validate / passes-gate / init / report / status / spec / acceptance / pe
 - 依赖 `src/monitoring/` 追踪/诊断
 - 依赖 `src/knowledge/` 知识引擎
 - 依赖 `src/failure/` 失败记录
-- 被 `bin/harness.js` CLI 入口注册
+- 被 `bin/harness.js` CLI 入口按定义表驱动生成
 
 ## 约定
-- 每个命令一个文件，命名与命令名一致
-- 命令必须在 index.ts 中注册导出
+- 每个命令一个实现文件，命名与命令名一致（sync-docs 为模块族目录）
+- **新增命令 = 命令实现文件 + definitions.ts 一条定义（含 CLI 元数据与实现引用）+ 测试**，不再改 bin/harness.js
+- **definitions.ts 是纯数据模块**：禁止 import 任何命令实现/运行时依赖（保 --help/--version 懒加载）；实现引用可解析性由 `__tests__/registry.test.ts` 构建/测试期断言
 - 命令选项类型命名规范：XxxOptions
 
 ## 注意事项
 - 新增命令需同步更新 CLAUDE.md / CAPABILITIES.md / src/CONTEXT.md
-- knowledge 命令包含 9 个子操作(list/search/import/decay/stats/upsert/sync-status/sync-rag)
+- knowledge 命令包含 13 个子操作（list/search/import/decay/stats/upsert/sync-status/sync-rag/audit/snapshot/migrate/index/health）
+- 特殊路由（选项条件、子命令兜底、退出码处理）表达在定义表的 optionRoutes / subcommands / afterRun 字段，bin 是纯通用引擎、不含单命令知识

package/src/cli/commands/__tests__/check-drift.test.ts

@@ -16,7 +16,6 @@ import { getEffectiveConstraints } from '../../../core/effective-constraints';
 
 jest.mock('../../../core/constraints/checker', () => ({
   constraintChecker: {
-    setCustomConfig: jest.fn(),
     setTraceRecorder: jest.fn(),
     checkConstraints: jest.fn(),
   },
@@ -58,9 +57,7 @@ describe('check 命令注入漂移警告', () => {
       passed: true,
       ironLaws: [],
       guidelines: [],
-      tips: [],
       warningCount: 0,
-      tipCount: 0,
     });
   });
 

package/src/cli/commands/__tests__/check-skip-output.test.ts

@@ -29,7 +29,6 @@ jest.mock('child_process', () => ({
 // Mock constraintChecker
 jest.mock('../../../core/constraints/checker', () => ({
   constraintChecker: {
-    setCustomConfig: jest.fn(),
     setTraceRecorder: jest.fn(),
     checkConstraints: jest.fn(),
   },
@@ -89,9 +88,7 @@ describe('check 命令 skip 输出', () => {
         { id: 'law_skip', level: 'iron_law', satisfied: true, skipped: true, checkedAt: new Date(), constraint: fakeConstraint('law_skip', 'iron_law') },
       ],
       guidelines: [],
-      tips: [],
       warningCount: 0,
-      tipCount: 0,
     });
 
     await check({ preset: 'default', staged: false });
@@ -113,9 +110,7 @@ describe('check 命令 skip 输出', () => {
         { id: 'g_pass', level: 'guideline', satisfied: true, checkedAt: new Date(), constraint: fakeConstraint('g_pass', 'guideline') },
         { id: 'g_skip', level: 'guideline', satisfied: true, skipped: true, checkedAt: new Date(), constraint: fakeConstraint('g_skip', 'guideline') },
       ],
-      tips: [],
       warningCount: 0,
-      tipCount: 0,
     });
 
     await check({ preset: 'default', staged: false });

package/src/cli/commands/__tests__/check.test.ts

@@ -40,7 +40,6 @@ jest.mock('child_process', () => ({
 // Mock constraintChecker
 jest.mock('../../../core/constraints/checker', () => ({
   constraintChecker: {
-    setCustomConfig: jest.fn(),
     setTraceRecorder: jest.fn(),
     checkConstraints: jest.fn(),
   },
@@ -89,9 +88,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [{ id: 'test', level: 'iron_law', satisfied: true, checkedAt: new Date(), constraint: { kind: 'check' as const, id: 'test', rule: 'test', message: 'test', level: 'iron_law', trigger: 'code_implementation', enforcement: 'checkpoint-required' } }],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
@@ -103,9 +100,7 @@ describe('check command', () => {
         passed: false,
         ironLaws: [{ id: 'no_bypass_checkpoint', level: 'iron_law', satisfied: false, checkedAt: new Date(), constraint: { kind: 'check' as const, id: 'no_bypass_checkpoint', rule: 'test', message: 'test', level: 'iron_law', trigger: 'code_implementation', enforcement: 'checkpoint-required' } }],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       const mockExit = jest.spyOn(process, 'exit').mockImplementation(() => undefined as never);
@@ -120,9 +115,7 @@ describe('check command', () => {
         passed: false,
         ironLaws: [],
         guidelines: [{ id: 'test_guideline', level: 'guideline', satisfied: false, checkedAt: new Date(), constraint: { kind: 'check' as const, id: 'test_guideline', rule: 'test', message: 'test', level: 'guideline', trigger: 'code_implementation', enforcement: 'warning' } }],
-        tips: [],
         warningCount: 1,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
@@ -141,38 +134,23 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false, projectPath: '/project' });
-      expect(mockChecker.setCustomConfig).toHaveBeenCalled();
+      expect(mockChecker.checkConstraints).toHaveBeenCalledWith(
+        expect.anything(),
+        expect.objectContaining({ disabled: ['disabled_constraint'] })
+      );
       expect(consoleSpy).toHaveBeenCalledWith(expect.stringContaining('已禁用约束'));
     });
 
-    it('应该显示提示信息', async () => {
-      mockChecker.checkConstraints.mockResolvedValue({
-        passed: true,
-        ironLaws: [],
-        guidelines: [],
-        tips: [{ id: 'test_tip', level: 'tip', satisfied: false, checkedAt: new Date(), constraint: { kind: 'check' as const, id: 'test_tip', rule: 'test', message: 'test tip', level: 'tip', trigger: 'code_implementation', enforcement: 'info' } }],
-        warningCount: 0,
-        tipCount: 1,
-      });
-
-      await check({ preset: 'default', staged: false });
-      expect(consoleSpy).toHaveBeenCalledWith(expect.stringContaining('提示'));
-    });
-
     it('应该显示通过的指导原则', async () => {
       mockChecker.checkConstraints.mockResolvedValue({
         passed: true,
         ironLaws: [],
         guidelines: [{ id: 'test_guideline', level: 'guideline', satisfied: true, checkedAt: new Date(), constraint: { kind: 'check' as const, id: 'test_guideline', rule: 'test', message: 'test', level: 'guideline', trigger: 'code_implementation', enforcement: 'warning' } }],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
@@ -186,9 +164,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: true });
@@ -201,9 +177,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
@@ -216,9 +190,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: true });
@@ -231,9 +203,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
@@ -244,7 +214,7 @@ describe('check command', () => {
     it('应该检测 module_modification 触发条件（.ts 文件）', async () => {
       mockExecAsync.mockResolvedValue({ stdout: 'src/foo.ts\nsrc/bar.tsx\n', stderr: '' });
       mockChecker.checkConstraints.mockResolvedValue({
-        passed: true, ironLaws: [], guidelines: [], tips: [], warningCount: 0, tipCount: 0,
+        passed: true, ironLaws: [], guidelines: [], warningCount: 0,
       });
 
       // Mock filesystem so detectSourceRoots finds src/ as a source root
@@ -267,7 +237,7 @@ describe('check command', () => {
     it('应该检测 module_modification 触发条件（.js 文件）', async () => {
       mockExecAsync.mockResolvedValue({ stdout: 'src/foo.js\nsrc/bar.jsx\n', stderr: '' });
       mockChecker.checkConstraints.mockResolvedValue({
-        passed: true, ironLaws: [], guidelines: [], tips: [], warningCount: 0, tipCount: 0,
+        passed: true, ironLaws: [], guidelines: [], warningCount: 0,
       });
 
       // Mock filesystem so detectSourceRoots finds src/ as a source root
@@ -290,7 +260,7 @@ describe('check command', () => {
     it('应该检测 file_modification 触发条件（非 src/ 目录）', async () => {
       mockExecAsync.mockResolvedValue({ stdout: 'docs/bar.md\n', stderr: '' });
       mockChecker.checkConstraints.mockResolvedValue({
-        passed: true, ironLaws: [], guidelines: [], tips: [], warningCount: 0, tipCount: 0,
+        passed: true, ironLaws: [], guidelines: [], warningCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
@@ -304,9 +274,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       // Mock filesystem so detectSourceRoots finds src/ as a source root
@@ -332,9 +300,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false, trigger: 'code_implementation' });
@@ -361,9 +327,7 @@ describe('check command', () => {
           },
         }],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
 
       const mockExit = jest.spyOn(process, 'exit').mockImplementation(() => undefined as never);
@@ -393,43 +357,13 @@ describe('check command', () => {
             enforcement: 'warning',
           },
         }],
-        tips: [],
         warningCount: 1,
-        tipCount: 0,
       });
 
       await check({ preset: 'default', staged: false });
       expect(consoleSpy).toHaveBeenCalledWith(expect.stringContaining('prefer_composition'));
     });
 
-    it('应该显示提示的约束详情', async () => {
-      mockExecAsync.mockResolvedValue({ stdout: '', stderr: '' });
-      mockChecker.checkConstraints.mockResolvedValue({
-        passed: true,
-        ironLaws: [],
-        guidelines: [],
-        tips: [{
-          id: 'consider_reuse',
-          level: 'tip',
-          satisfied: false,
-          checkedAt: new Date(),
-          constraint: {
-            kind: 'check' as const,
-            id: 'consider_reuse',
-            rule: 'CONSIDER REUSE',
-            message: '考虑复用',
-            level: 'tip',
-            trigger: 'code_implementation',
-            enforcement: 'info',
-          },
-        }],
-        warningCount: 0,
-        tipCount: 1,
-      });
-
-      await check({ preset: 'default', staged: false });
-      expect(consoleSpy).toHaveBeenCalledWith(expect.stringContaining('consider_reuse'));
-    });
   });
 
   describe('getSmartHint (通过 check 间接测试)', () => {
@@ -439,9 +373,7 @@ describe('check command', () => {
         passed: true,
         ironLaws: [],
         guidelines: [],
-        tips: [],
         warningCount: 0,
-        tipCount: 0,
       });
     });
 

package/src/cli/commands/__tests__/registry.test.ts

@@ -0,0 +1,201 @@
+/**
+ * 命令注册表闭环测试（H5：命令定义即注册 + per-command 懒加载）
+ *
+ * - 定义表内每个实现引用（module+export）都必须可解析（构建/测试期断言，
+ *   取代 commands barrel 的编译期保护——R6 消灭手工同步后的闭环兜底）
+ * - definitions 是纯数据模块：require 它不加载任何命令实现（保 --help/--version 懒加载）
+ * - 命令面与 CAPABILITIES.md 的 24 顶层命令一致（防误删回归）
+ * - bin/harness.js 端到端冒烟（dist 存在时）：--version/--help 零命令实现模块，
+ *   单命令执行只加载该命令模块（O2 per-command 懒加载）
+ */
+
+import * as fs from 'fs';
+import * as os from 'os';
+import * as path from 'path';
+import { spawnSync } from 'child_process';
+import { COMMAND_DEFINITIONS, type CommandDefinition, type CommandImplRef } from '../definitions';
+import { GATE_DEFINITIONS } from '../../../gates/definitions';
+
+function collectRefs(defs: CommandDefinition[]): CommandImplRef[] {
+  const refs: CommandImplRef[] = [];
+  const walk = (def: CommandDefinition) => {
+    if (def.action) refs.push(def.action);
+    if (def.subcommands) {
+      for (const entry of Object.values(def.subcommands)) refs.push(entry.impl);
+    }
+    if (def.optionRoutes) {
+      for (const route of def.optionRoutes) refs.push(route.impl);
+    }
+    for (const child of def.children || []) walk(child);
+  };
+  for (const def of defs) walk(def);
+  return refs;
+}
+
+const EXPECTED_TOP_LEVEL_COMMANDS = [
+  'check', 'validate', 'passes-gate', 'init', 'report', 'status', 'spec',
+  'sync-docs', 'knowledge', 'sdd', 'failure', 'posteval-plan',
+  'update-user-model', 'release', 'analyze-sessions', 'constraints',
+  'doc-freshness-check', 'spec-baseline-check',
+  // 6 门禁命令（GATE_DEFINITIONS 驱动）
+  'acceptance', 'command', 'contract', 'performance', 'review', 'security',
+];
+
+describe('命令注册表闭环', () => {
+  it('definitions 是纯数据模块：加载时不引入任何命令实现', () => {
+    const loaded = Object.keys(require.cache)
+      .filter(k => k.includes('/cli/commands/') && k.endsWith('.ts') && !k.includes('__tests__'));
+    expect(loaded).toEqual([
+      expect.stringContaining('/cli/commands/definitions.ts'),
+    ]);
+  });
+
+  it('全部实现引用可解析（module 存在且 export 是函数）', () => {
+    const refs = collectRefs(COMMAND_DEFINITIONS);
+    for (const def of GATE_DEFINITIONS) {
+      refs.push(def.cli.action);
+      for (const entry of Object.values(def.cli.subcommands || {})) refs.push(entry);
+    }
+    expect(refs.length).toBeGreaterThan(0);
+
+    for (const ref of refs) {
+      // eslint-disable-next-line @typescript-eslint/no-var-requires
+      const mod = require('../' + ref.module);
+      if (typeof mod[ref.export] !== 'function') {
+        throw new Error(`实现引用 ${ref.module}.${ref.export} 不存在或不是函数`);
+      }
+    }
+  });
+
+  it('顶层命令面与预期 24 命令一致（含 6 门禁）', () => {
+    const names = [
+      ...COMMAND_DEFINITIONS.map(d => d.command.split(' ')[0]),
+      ...GATE_DEFINITIONS.map(d => d.cli.command.split(' ')[0]),
+    ];
+    expect(new Set(names).size).toBe(names.length);
+    expect(names.sort()).toEqual([...EXPECTED_TOP_LEVEL_COMMANDS].sort());
+  });
+
+  it('命令定义无重复注册名', () => {
+    const names = COMMAND_DEFINITIONS.map(d => d.command);
+    expect(new Set(names).size).toBe(names.length);
+  });
+
+  it('全部命令定义的路由构造可执行（mapActionArgs/subcommands.args/optionRoutes.args/afterRun 冒烟）', () => {
+    const exitSpy = jest.spyOn(process, 'exit').mockImplementation(() => undefined as never);
+    try {
+      const walk = (def: CommandDefinition) => {
+        if (def.mapActionArgs) {
+          def.mapActionArgs(['positional'], {});
+          def.mapActionArgs([], {});
+        }
+        for (const entry of Object.values(def.subcommands || {})) {
+          if (entry.args) {
+            entry.args(['positional'], {});
+            entry.args([], {});
+          }
+        }
+        for (const route of def.optionRoutes || []) {
+          if (route.args) {
+            route.args([], {});
+            route.args(['positional'], {});
+          }
+        }
+        if (def.afterRun) {
+          def.afterRun(true, {});
+          def.afterRun(false, { check: true });
+        }
+        for (const child of def.children || []) walk(child);
+      };
+      for (const def of COMMAND_DEFINITIONS) walk(def);
+      // sync-docs --check 失败路径确实会请求退出
+      expect(exitSpy).toHaveBeenCalled();
+    } finally {
+      exitSpy.mockRestore();
+    }
+  });
+});
+
+const repoRoot = path.join(__dirname, '..', '..', '..', '..');
+const distBin = path.join(repoRoot, 'bin', 'harness.js');
+const distCommands = path.join(repoRoot, 'dist', 'cli', 'commands');
+const hasDist = fs.existsSync(distCommands);
+
+/**
+ * 经 NODE_OPTIONS=--require 预加载探针 spawn bin（进程退出时打印加载的
+ * 命令实现模块清单）。不用 node -e（commander 在 -e 下走 eval 分支，
+ * argv 解析不同，会误判位置参数）。
+ */
+function runWithModuleProbe(argv: string[]): { status: number | null; implModules: string[]; stdout: string; stderr: string } {
+  const probeDir = fs.mkdtempSync(path.join(os.tmpdir(), 'harness-lazy-probe-'));
+  const probeFile = path.join(probeDir, 'probe.js');
+  fs.writeFileSync(probeFile, [
+    `process.on('exit', () => {`,
+    `  const impls = Object.keys(require.cache).filter(k => /dist[\\\\/]cli[\\\\/]commands[\\\\/]/.test(k) && !/definitions\\.js/.test(k)).sort();`,
+    `  console.error('IMPL_MODULES=' + impls.join(','));`,
+    `});`,
+  ].join('\n'));
+  try {
+    const r = spawnSync(process.execPath, [distBin, ...argv], {
+      cwd: repoRoot,
+      encoding: 'utf-8',
+      timeout: 30000,
+      env: { ...process.env, NODE_OPTIONS: `--require ${probeFile}` },
+    });
+    const match = r.stderr.match(/IMPL_MODULES=(.*)/);
+    return {
+      status: r.status,
+      implModules: match && match[1] ? match[1].split(',').filter(Boolean) : [],
+      stdout: r.stdout,
+      stderr: r.stderr,
+    };
+  } finally {
+    fs.rmSync(probeDir, { recursive: true, force: true });
+  }
+}
+
+const smoke = hasDist ? describe : describe.skip;
+
+smoke('bin/harness.js 端到端（dist 存在时）', () => {
+  it('--version：退出 0，零命令实现模块加载', () => {
+    const r = runWithModuleProbe(['--version']);
+    expect(r.status).toBe(0);
+    expect(r.implModules).toEqual([]);
+  });
+
+  it('--help：退出 0，零命令实现模块加载', () => {
+    const r = runWithModuleProbe(['--help']);
+    expect(r.status).toBe(0);
+    expect(r.implModules).toEqual([]);
+  });
+
+  it('harness constraints --json：只加载 constraints 命令模块', () => {
+    const r = runWithModuleProbe(['constraints', '--json']);
+    expect(r.status).toBe(0);
+    expect(r.implModules).toEqual([
+      expect.stringContaining('/dist/cli/commands/constraints.js'),
+    ]);
+  });
+
+  it('harness check --list：只加载 check 命令模块（optionRoutes）', () => {
+    const r = runWithModuleProbe(['check', '--list']);
+    expect(r.status).toBe(0);
+    expect(r.implModules).toEqual([
+      expect.stringContaining('/dist/cli/commands/check.js'),
+    ]);
+  });
+
+  it('harness acceptance：只加载 acceptance 命令模块（门禁注册表）', () => {
+    const r = runWithModuleProbe(['acceptance', '--check-all']);
+    expect(r.status).toBe(0);
+    expect(r.implModules).toEqual([
+      expect.stringContaining('/dist/cli/commands/acceptance.js'),
+    ]);
+  });
+
+  it('未知子命令报错退出（knowledge 兜底行为保留）', () => {
+    const r = runWithModuleProbe(['knowledge', 'bogus']);
+    expect(r.status).toBe(1);
+    expect(r.stderr).toContain('未知子命令: bogus');
+  });
+});

package/src/cli/commands/check.ts

@@ -49,7 +49,6 @@ export async function check(options: CheckOptions): Promise<void> {
     const merged = configLoader.hasCustomConfig()
       ? configLoader.mergeConstraints()
       : configLoader.mergeConstraints({ preset: options.preset || 'standard' });
-    constraintChecker.setCustomConfig(merged);
     if (merged.custom.length > 0) {
       console.log(chalk.gray(`自定义约束: ${merged.custom.length} 条`));
     }
@@ -73,8 +72,8 @@ export async function check(options: CheckOptions): Promise<void> {
     }
     console.log(chalk.gray(`触发条件: ${[context.operation, ...(context.extraTriggers ?? [])].join(', ')}`));
 
-    // 执行三层检查
-    const result = await constraintChecker.checkConstraints(context);
+    // 执行三层检查（per-request 传 customConfig，避免单例状态污染）
+    const result = await constraintChecker.checkConstraints(context, merged);
 
     // 输出结果
     console.log();
@@ -83,7 +82,6 @@ export async function check(options: CheckOptions): Promise<void> {
     const skippedResults = [
       ...result.ironLaws,
       ...result.guidelines,
-      ...result.tips,
     ].filter(r => r.skipped);
 
     // Iron Laws
@@ -118,16 +116,6 @@ export async function check(options: CheckOptions): Promise<void> {
       console.log(chalk.green(`✅ 指导原则: ${passedGuidelines}/${evaluatedGuidelines.length} 通过`));
     }
 
-    // Tips
-    if (result.tipCount > 0) {
-      console.log(chalk.blue(`💡 提示: ${result.tipCount} 条`));
-      result.tips.filter(r => !r.satisfied).forEach(r => {
-        if (r.constraint) {
-          console.log(chalk.blue(`   - ${r.constraint.id}: ${r.constraint.message}`));
-        }
-      });
-    }
-
     // Skipped：约定未采用 / 证据未接线，未评估（不计通过/失败）
     if (skippedResults.length > 0) {
       console.log(chalk.gray(`⏭️  跳过评估: ${skippedResults.length} 条（约定未采用或证据未接线，不计通过/失败）`));