@dommaker/harness 1.4.0 → 1.6.0

package/src/cli/commands/__tests__/status-extra.test.ts

@@ -1,11 +1,14 @@
 /**
  * status 命令补充测试
+ *
+ * ADR-0020 起不再 mock TraceAnalyzer/TraceCollector：异常判定走真实纯函数，
+ * 用例喂能真的判出异常的 trace（passRate < 0.3 → low_pass_rate）。
  */
 
 import { status } from '../status';
 import { captureIO, type CapturingIO } from '../../command-contract';
 import * as fs from 'fs';
-import { TraceAnalyzer } from '../../../monitoring/trace-analyzer';
+import type { ExecutionTrace } from '../../../types/trace';
 
 // Mock fs
 jest.mock('fs', () => ({
@@ -15,22 +18,6 @@ jest.mock('fs', () => ({
   writeFileSync: jest.fn(),
 }));
 
-// Mock TraceCollector
-jest.mock('../../../monitoring/traces', () => ({
-  TraceCollector: jest.fn().mockImplementation(() => ({
-    record: jest.fn(),
-    read: jest.fn().mockReturnValue([]),
-  })),
-}));
-
-// Mock TraceAnalyzer
-jest.mock('../../../monitoring/trace-analyzer', () => ({
-  TraceAnalyzer: jest.fn().mockImplementation(() => ({
-    summarize: jest.fn().mockReturnValue([]),
-    detectAnomalies: jest.fn().mockReturnValue([]),
-  })),
-}));
-
 // Mock chalk
 jest.mock('chalk', () => ({
   blue: jest.fn((str: string) => str),
@@ -41,7 +28,18 @@ jest.mock('chalk', () => ({
 }));
 
 const mockFs = fs as jest.Mocked<typeof fs>;
-const MockTraceAnalyzer = TraceAnalyzer as jest.MockedClass<typeof TraceAnalyzer>;
+
+/** trace 文件内容：一 trace 一行，缺省字段补齐成合法 ExecutionTrace（timestamp 递增） */
+function traceFile(traces: Array<Partial<ExecutionTrace>>): string {
+  return traces
+    .map((t, i) => JSON.stringify({ level: 'iron_law', timestamp: i + 1, result: 'pass', ...t }))
+    .join('\n');
+}
+
+/** n 条同一约束的 pass/fail 记录 */
+function repeats(constraintId: string, n: number, result: ExecutionTrace['result']): Array<Partial<ExecutionTrace>> {
+  return Array.from({ length: n }, () => ({ constraintId, result }));
+}
 
 let io: CapturingIO;
 beforeEach(() => {
@@ -60,140 +58,89 @@ describe('status command - 补充覆盖', () => {
 
   describe('异常检测完整流程', () => {
     it('有异常时应该显示详细信息和下一步建议', async () => {
-      const mockTraces = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', result: 'fail' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockAnomalies = [
-        {
-          constraintId: 'no_bypass_checkpoint',
-          type: 'high_failure_rate',
-          current: 0.8,
-          threshold: 0.5,
-        },
-        {
-          constraintId: 'no_completion_without_verification',
-          type: 'frequent_bypass',
-          current: 0.3,
-          threshold: 0.1,
-        },
-      ];
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'no_bypass_checkpoint', level: 'iron_law', passRate: 0.2, failRate: 0.8, totalChecks: 10 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue(mockAnomalies),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      // 两个约束各自全失败 → 各自判出一枚 low_pass_rate
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        ...repeats('no_bypass_checkpoint', 2, 'fail'),
+        ...repeats('no_completion_without_verification', 2, 'fail'),
+      ]));
 
       await status({ anomalies: true }, io);
-      
+
       const output = io.outText();
-      expect(output).toContain('异常');
-      expect(mockAnalyze.detectAnomalies).toHaveBeenCalled();
+      expect(output).toContain('发现 2 个异常');
+      expect(output).toContain('no_completion_without_verification');
+      expect(output).toContain('类型: low_pass_rate');
+      expect(output).toContain('下一步建议');
     });
 
     it('无异常时应该显示未发现异常', async () => {
-      mockFs.readFileSync.mockReturnValue(JSON.stringify({ constraintId: 'test', level: 'iron_law', result: 'pass' }));
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test', result: 'pass' },
+      ]));
 
       await status({ anomalies: true }, io);
-      
-      const output = io.outText();
-      expect(output).toContain('未发现异常');
+
+      expect(io.outText()).toContain('✅ 未发现异常');
     });
   });
 
   describe('约束级别统计', () => {
     it('应该显示 Iron Laws 统计', async () => {
-      const mockTraces = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', result: 'pass' },
-        { constraintId: 'no_completion_without_verification', level: 'iron_law', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummaries = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', passRate: 1, failRate: 0, totalChecks: 10 },
-        { constraintId: 'no_completion_without_verification', level: 'iron_law', passRate: 0.8, failRate: 0.2, totalChecks: 5 },
-      ];
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue(mockSummaries),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'no_bypass_checkpoint' },
+        { constraintId: 'no_completion_without_verification' },
+      ]));
 
       await status({}, io);
-      
+
       const output = io.outText();
-      expect(output).toContain('约束统计');
+      expect(output).toContain('📈 约束统计:');
+      expect(output).toContain('🔴 Iron Laws:');
+      expect(output).toContain('✅ no_completion_without_verification');
     });
 
     it('应该显示 Guidelines 统计', async () => {
-      const mockTraces = [
+      mockFs.readFileSync.mockReturnValue(traceFile([
         { constraintId: 'capability_sync', level: 'guideline', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummaries = [
-        { constraintId: 'capability_sync', level: 'guideline', passRate: 0.9, failRate: 0.1, totalChecks: 20 },
-      ];
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue(mockSummaries),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      ]));
 
       await status({}, io);
-      
-      expect(io.outText()).not.toBe('');
+
+      expect(io.outText()).toContain('🟡 Guidelines:');
     });
   });
 
   describe('详细模式扩展', () => {
     it('详细模式应该显示所有级别详情', async () => {
-      const mockTraces = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', result: 'pass' },
-        { constraintId: 'capability_sync', level: 'guideline', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummaries = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', passRate: 1, failRate: 0, totalChecks: 10 },
-        { constraintId: 'capability_sync', level: 'guideline', passRate: 0.9, failRate: 0.1, totalChecks: 20 },
-      ];
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue(mockSummaries),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'no_bypass_checkpoint', level: 'iron_law' },
+        { constraintId: 'capability_sync', level: 'guideline' },
+        { constraintId: 'capability_sync', level: 'guideline' },
+      ]));
 
       await status({ detail: true }, io);
-      
+
       const output = io.outText();
-      expect(output).toContain('约束统计');
+      expect(output).toContain('📈 约束统计:');
+      expect(output).toContain('🔴 Iron Laws:');
+      expect(output).toContain('🟡 Guidelines:');
+      expect(output).toContain('检查: 2 | 通过: 100% | 失败: 0%');
     });
   });
 
   describe('JSON parse 异常处理', () => {
     it('无效 JSON 行应该被过滤', async () => {
-      mockFs.readFileSync.mockReturnValue('invalid json\n{"valid":"data"}\nalso invalid');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(
+        ['invalid json', JSON.stringify({ constraintId: 'valid', level: 'iron_law', timestamp: 1, result: 'pass' }), 'also invalid'].join('\n')
+      );
 
       await status({}, io);
-      
-      // 应该成功处理，不会抛出异常
-      expect(io.outText()).not.toBe('');
+
+      // 应该成功处理，不会抛出异常：坏行进 stderr 告知，合法行进统计
+      const output = io.outText();
+      expect(output).toContain('记录数: 3 条');
+      expect(output).toContain('✅ valid');
+      expect(io.errText()).toContain('2 行损坏');
     });
   });
-});
+});

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

@@ -1,11 +1,14 @@
 /**
  * status 命令测试
+ *
+ * ADR-0020 起不再 mock TraceAnalyzer/TraceCollector：统计与异常由 trace-analyzer
+ * 的模块级纯函数真算，用例喂合法 trace 行、断言真实输出。
  */
 
 import { status } from '../status';
 import { captureIO, type CapturingIO } from '../../command-contract';
 import * as fs from 'fs';
-import { TraceAnalyzer } from '../../../monitoring/trace-analyzer';
+import type { ExecutionTrace } from '../../../types/trace';
 
 // Mock fs
 jest.mock('fs', () => ({
@@ -15,22 +18,6 @@ jest.mock('fs', () => ({
   writeFileSync: jest.fn(),
 }));
 
-// Mock TraceCollector
-jest.mock('../../../monitoring/traces', () => ({
-  TraceCollector: jest.fn().mockImplementation(() => ({
-    record: jest.fn(),
-    read: jest.fn().mockReturnValue([]),
-  })),
-}));
-
-// Mock TraceAnalyzer
-jest.mock('../../../monitoring/trace-analyzer', () => ({
-  TraceAnalyzer: jest.fn().mockImplementation(() => ({
-    summarize: jest.fn().mockReturnValue([]),
-    detectAnomalies: jest.fn().mockReturnValue([]),
-  })),
-}));
-
 // Mock chalk
 jest.mock('chalk', () => ({
   blue: jest.fn((str: string) => str),
@@ -41,7 +28,18 @@ jest.mock('chalk', () => ({
 }));
 
 const mockFs = fs as jest.Mocked<typeof fs>;
-const MockTraceAnalyzer = TraceAnalyzer as jest.MockedClass<typeof TraceAnalyzer>;
+
+/** trace 文件内容：一 trace 一行，缺省字段补齐成合法 ExecutionTrace（timestamp 递增） */
+function traceFile(traces: Array<Partial<ExecutionTrace>>): string {
+  return traces
+    .map((t, i) => JSON.stringify({ level: 'iron_law', timestamp: i + 1, result: 'pass', ...t }))
+    .join('\n');
+}
+
+/** n 条同一约束的 pass/fail 记录 */
+function repeats(constraintId: string, n: number, result: ExecutionTrace['result']): Array<Partial<ExecutionTrace>> {
+  return Array.from({ length: n }, () => ({ constraintId, result }));
+}
 
 let io: CapturingIO;
 beforeEach(() => {
@@ -80,98 +78,56 @@ describe('status command', () => {
 
   describe('正常状态显示', () => {
     it('应该显示记录数', async () => {
-      const mockTraces = [
-        { constraintId: 'test1', level: 'iron_law', result: 'pass' },
-        { constraintId: 'test2', level: 'guideline', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummarize = jest.fn().mockReturnValue([
-        { constraintId: 'test1', level: 'iron_law', passRate: 1, failRate: 0, totalChecks: 1 },
-      ]);
-      const mockAnalyze = {
-        summarize: mockSummarize,
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test1' },
+        { constraintId: 'test2', level: 'guideline' },
+      ]));
 
       await status({}, io);
-      expect(io.outText()).not.toBe('');
+      expect(io.outText()).toContain('记录数: 2 条');
+      expect(io.outText()).toContain('📈 约束统计:');
     });
 
     it('应该显示 Iron Laws 统计', async () => {
-      const mockTraces = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummarize = jest.fn().mockReturnValue([
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', passRate: 1, failRate: 0, totalChecks: 5 },
-      ]);
-      const mockAnalyze = {
-        summarize: mockSummarize,
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'no_bypass_checkpoint' },
+      ]));
 
       await status({ detail: true }, io);
-      expect(io.outText()).not.toBe('');
+      expect(io.outText()).toContain('🔴 Iron Laws:');
+      expect(io.outText()).toContain('✅ no_bypass_checkpoint');
+      expect(io.outText()).toContain('检查: 1 | 通过: 100% | 失败: 0%');
     });
   });
 
   describe('异常检测', () => {
     it('应该显示异常列表', async () => {
-      const mockTraces = [
-        { constraintId: 'test1', level: 'iron_law', result: 'fail' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockAnomalies = [
-        { constraintId: 'test1', type: 'high_failure_rate', current: 0.8, threshold: 0.5 },
-      ];
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'test1', level: 'iron_law', passRate: 0.2, failRate: 0.8, totalChecks: 5 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue(mockAnomalies),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test1', result: 'fail' },
+      ]));
 
       await status({ anomalies: true }, io);
-      expect(io.outText()).toContain('异常');
+      expect(io.outText()).toContain('发现 1 个异常');
+      expect(io.outText()).toContain('  test1');
+      expect(io.outText()).toContain('类型: low_pass_rate');
     });
   });
 
   describe('详细模式', () => {
     it('应该显示详细统计', async () => {
-      const mockTraces = [
-        { constraintId: 'test1', level: 'iron_law', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummarize = jest.fn().mockReturnValue([
-        { constraintId: 'test1', level: 'iron_law', passRate: 0.8, failRate: 0.2, totalChecks: 10 },
-      ]);
-      const mockAnalyze = {
-        summarize: mockSummarize,
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        ...repeats('test1', 4, 'pass'),
+        { constraintId: 'test1', result: 'fail' },
+      ]));
 
       await status({ detail: true }, io);
-      expect(io.outText()).not.toBe('');
+      expect(io.outText()).toContain('检查: 5 | 通过: 80% | 失败: 20%');
     });
   });
 
   describe('状态文件更新', () => {
     it('应该更新 .state.json', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test","level":"iron_law"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([{ constraintId: 'test' }]));
 
       await status({}, io);
       expect(mockFs.writeFileSync).toHaveBeenCalled();
@@ -180,110 +136,72 @@ describe('status command', () => {
 
   describe('Guidelines 统计', () => {
     it('应该显示 Guidelines 统计', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'test_guide', level: 'guideline', passRate: 0.9, failRate: 0.1, totalChecks: 10 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test_guide', level: 'guideline' },
+      ]));
 
       await status({}, io);
-      expect(io.outText()).toContain('Guidelines');
+      expect(io.outText()).toContain('🟡 Guidelines:');
+      expect(io.outText()).toContain('✅ test_guide');
     });
   });
 
   describe('异常模式', () => {
     it('应该显示未发现异常当无异常', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([{ constraintId: 'test' }]));
 
       await status({ anomalies: true }, io);
-      expect(io.outText()).toContain('未发现异常');
+      expect(io.outText()).toContain('✅ 未发现异常');
     });
 
     it('应该显示异常详情', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([
-          { constraintId: 'test', type: 'high_failure_rate', data: { currentRate: 0.8, threshold: 0.5 } },
-        ]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test', result: 'fail' },
+      ]));
 
       await status({ anomalies: true }, io);
-      expect(io.outText()).toContain('异常');
+      expect(io.outText()).toContain('当前值: 0');
+      expect(io.outText()).toContain('阈值: 0.3');
       expect(io.outText()).toContain('下一步建议');
     });
   });
 
   describe('建议', () => {
     it('应该显示良好建议当 trace >= 100', async () => {
-      const traces = Array(100).fill('{"constraintId":"test"}').join('\n');
-      mockFs.readFileSync.mockReturnValue(traces);
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile(repeats('test', 100, 'pass')));
 
       await status({}, io);
+      expect(io.outText()).toContain('记录数: 100 条');
       expect(io.outText()).toContain('状态良好');
     });
 
     it('应该显示积累数据建议当 trace < 100', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([{ constraintId: 'test' }]));
 
       await status({}, io);
       expect(io.outText()).toContain('继续积累数据');
     });
 
     it('应该显示诊断建议当有异常', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([
-          { constraintId: 'test', type: 'high_failure_rate' },
-        ]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test', result: 'fail' },
+      ]));
 
-      await status({}, io);
+      await status({ anomalies: true }, io);
       expect(io.outText()).toContain('harness status --detail');
     });
   });
 
-  describe('详细模式', () => {
+  describe('详细模式扩展', () => {
     it('应该显示 Guidelines 详细统计', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'test_guide', level: 'guideline', passRate: 0.6, failRate: 0.4, totalChecks: 10 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        ...repeats('test_guide', 3, 'pass'),
+        ...repeats('test_guide', 2, 'fail'),
+      ].map(t => ({ ...t, level: 'guideline' as const }))));
 
       await status({ detail: true }, io);
-      expect(io.outText()).toContain('检查:');
+      expect(io.outText()).toContain('⚠️ test_guide');
+      expect(io.outText()).toContain('检查: 5 | 通过: 60% | 失败: 40%');
     });
   });
 });

package/src/cli/commands/check.ts

@@ -21,9 +21,35 @@ import { GOVERNANCE_HEADING } from '../../core/constraints/injection-writer';
 import { getTraceCollector } from '../../monitoring/traces';
 import { countJsonlLines } from '../../utils/jsonl';
 import { DEFAULT_TRACE_FILE } from '../../types/trace';
-import type { ConstraintTrigger } from '../../types/constraint';
+import type { ConstraintResult, ConstraintTrigger } from '../../types/constraint';
 import { log, processIO, type CommandIO, type CommandResult } from '../command-contract';
 
+/** 证据行着色（与调用处所属结论块一致） */
+const EVIDENCE_PAINT = {
+  red: chalk.red,
+  yellow: chalk.yellow,
+  gray: chalk.gray,
+} as const;
+
+/**
+ * 打印 checker 的判定证据行（harness#119）
+ *
+ * 文案由 checker 自行措辞（每行自描述），CLI 只负责缩进与着色——
+ * 不在这里解释内容，否则证据形状与措辞会两头漂移。
+ * 传 id 时首行挂上约束 id（提示块里没有父级结论行可依附）。
+ */
+function logEvidence(
+  io: CommandIO,
+  result: ConstraintResult,
+  color: keyof typeof EVIDENCE_PAINT,
+  id?: string
+): void {
+  const paint = EVIDENCE_PAINT[color];
+  (result.evidence ?? []).forEach((line, index) => {
+    log(io, paint(index === 0 && id ? `   - ${id}: ${line}` : `     ${line}`));
+  });
+}
+
 export interface CheckOptions {
   /** 预设名称 */
   preset: string;
@@ -110,6 +136,7 @@ export async function check(
         if (r.constraint) {
           log(io, chalk.red(`   - ${r.constraint.id}: ${r.constraint.message}`));
           log(io, chalk.red(`     ${r.constraint.rule}`));
+          logEvidence(io, r, 'red');
         }
       });
       log(io);
@@ -126,6 +153,7 @@ export async function check(
       result.guidelines.filter(r => !r.satisfied).forEach(r => {
         if (r.constraint) {
           log(io, chalk.yellow(`   - ${r.constraint.id}: ${r.constraint.message}`));
+          logEvidence(io, r, 'yellow');
         }
       });
     } else if (result.guidelines.length > 0) {
@@ -134,6 +162,16 @@ export async function check(
       log(io, chalk.green(`✅ 指导原则: ${passedGuidelines}/${evaluatedGuidelines.length} 通过`));
     }
 
+    // 提示：通过但带证据（harness#119）——与本次变更无因果的仓库级漂移在此露出，
+    // 不判违规、不改 exit code，只保证「看得见且能自己修」
+    const hints = [...result.ironLaws, ...result.guidelines].filter(
+      r => !r.skipped && r.satisfied && (r.evidence?.length ?? 0) > 0
+    );
+    if (hints.length > 0) {
+      log(io, chalk.gray(`💡 提示: ${hints.length} 条（不判违规，供参考）`));
+      hints.forEach(r => logEvidence(io, r, 'gray', r.id));
+    }
+
     // Skipped：约定未采用 / 证据未接线，未评估（不计通过/失败）
     if (skippedResults.length > 0) {
       log(io, chalk.gray(`⏭️  跳过评估: ${skippedResults.length} 条（约定未采用或证据未接线，不计通过/失败）`));