@dommaker/harness 1.4.0 → 1.6.0

package/src/gates/types.ts

@@ -133,7 +133,6 @@ export interface GateContext {
   
   // Performance Gate
   performanceThresholds?: PerformanceThresholds;
-  benchmarkCommand?: string;
   
   // Contract Gate
   oldContractPath?: string;
@@ -151,14 +150,12 @@ export interface GateContext {
 }
 
 /**
- * 性能阈值
+ * 性能阈值（架构评审候选2：只留有真实现的维度——coverage 走 json-summary、
+ * bundleSize 走 dist 目录测量；responseTime/memoryUsage/throughput 无真实现已删）
  */
 export interface PerformanceThresholds {
-  maxResponseTime?: number;   // ms
-  maxMemoryUsage?: number;    // MB
   minCoverage?: number;       // %
   maxBundleSize?: number;     // KB
-  minThroughput?: number;     // req/s
 }
 
 /**
@@ -187,10 +184,7 @@ export interface SecurityGateConfig {
  */
 export interface PerformanceGateConfig {
   enabled: boolean;
-  benchmarkCommand?: string;
   thresholds: PerformanceThresholds;
-  warmupRuns: number;
-  measureRuns: number;
 }
 
 /**

package/src/index.ts

@@ -100,7 +100,6 @@ export {
 export type { CSOIssue, CSOValidationResult } from './core/validators';
 export type {
   PassesGateConfig,
-  PassesGateResult,
   PassesGateCheckResult,
   PassesGateViolation,
   TestResult,
@@ -113,29 +112,6 @@ export type {
   WorkflowMeta,
 } from './types/cso';
 
-// ========================================
-// 会话启动 / 净室状态
-// ========================================
-export {
-  SessionStartup,
-  createSessionStartup,
-  DEFAULT_CODE_CHECKPOINTS,
-  MINIMAL_CHECKPOINTS,
-  CleanStateManager,
-  createCleanStateManager,
-} from './core/session';
-export type {
-  StartupCheckpoints,
-  StartupCheckpointType,
-  StartupCheckpointResult,
-  CleanStateConfig,
-  CleanStateResult,
-  DetectedBug,
-  TaskListJson,
-  TaskStepStatus,
-  SessionInfo,
-} from './types/session';
-
 // ========================================
 // Spec 验证（已接线的 spec 故事：validator + SpecAcceptanceGate）
 // ========================================
@@ -240,10 +216,6 @@ export {
   getFailureLevel,
   FailureRecorder,
   createFailureRecorder,
-  ConstraintViolationHandler,
-  executeWithBlock,
-  executeWithCollect,
-  executeWithSafeBoolean,
 } from './failure';
 export type {
   FailureRecord,
@@ -251,26 +223,20 @@ export type {
   ClassificationResult,
   ErrorClassifierConfig,
   FailureRecorderConfig,
-  ViolationStrategy,
-  ViolationHandlingResult,
 } from './failure';
 
 // ========================================
-// 上下文管理（Token 预算 + 会话压缩 + 知识注入）
+// 上下文管理（Token 预算 + 会话管理 + 知识注入）
 // ========================================
 export {
-  AdaptiveTokenBudget,
   TokenBudget,
   TokenEstimator,
-  DEFAULT_COMPACTION_CONFIG,
-  SessionCompaction,
   SessionManager,
   KnowledgeInjector,
 } from './context';
 export type {
   CompactionConfig,
   CompactionLevel,
-  CompactionResult,
   ContextSource,
   ContextSourceType,
   ContextUsageSnapshot,
@@ -296,7 +262,6 @@ export {
   KnowledgeLinter,
   ColdStartImporter,
   KnowledgeHealthScorer,
-  KnowledgeLifecycleHooks,
   KnowledgeAudit,
   migrateKnowledgeEntries,
   extractCodeStructure,

package/src/knowledge/CONTEXT.md

@@ -29,12 +29,11 @@
 - `KnowledgeLinter` — 知识质量检查(完整性/一致性/时效性)
 - `ColdStartImporter` — 冷启动知识导入
 - `KnowledgeHealthScorer` — 知识健康评分（doctor.ts）
-- `KnowledgeLifecycleHooks` — 生命周期 hook
 
 ## 依赖关系
 - 依赖 `src/types/` 知识相关类型
 - 依赖 `src/utils/frontmatter` — markdown frontmatter 解析/序列化的唯一正本（harness#89：store、migration、index-generator、ingest 共用同一套语法判定，不再各写正则）
-- 依赖 `src/context/types`（ContextUsageSnapshot 等类型；不依赖 monitoring——知识健康评分由本目录 doctor.ts 的 KnowledgeHealthScorer 承载）
+- 不依赖 `src/context/`（原 `lifecycle-hooks.ts` 是唯一 import `context/types` 的文件，已随 ADR-0022 删除），也不依赖 monitoring——知识健康评分由本目录 doctor.ts 的 KnowledgeHealthScorer 承载
 - 被 `src/cli/commands/knowledge.ts` CLI 消费（含 `migrate` 子命令）
 
 ## 约定

package/src/knowledge/index.ts

@@ -15,7 +15,6 @@ export { ReferenceTracker } from './reference-tracker';
 export { KnowledgeLinter } from './lint';
 export { ColdStartImporter } from './import';
 export { KnowledgeHealthScorer } from './doctor';
-export { KnowledgeLifecycleHooks } from './lifecycle-hooks';
 export { KnowledgeAudit } from './audit';
 export type { AuditRuleName, AuditAction, AuditIssue, AuditReport, AuditOptions } from './audit';
 export { migrateKnowledgeEntries } from './migration';

package/src/monitoring/CONTEXT.md

@@ -5,12 +5,12 @@
 
 ## 核心导出
 - `TraceCollector` — 执行追踪收集（append-only JSONL，`.harness/logs/traces.log`）。读入口两个：`readReport(filter?)` 报告入口（返回 `{ traces, skippedLines }`，harness#100）与 `read()/readRecent()/readByConstraint()` 兼容包装（#82 裁决 4 冻结的签名，丢计数）
-- `TraceAnalyzer` — 追踪统计分析 + 异常检测（共用 analyzer-base 纯函数）。`analyzeRecentReport(hours)` 带坏行数，`analyzeRecent()/analyzeConstraint()` 仍返回 `TraceSummary[]`
+- `TraceAnalyzer` — 追踪统计分析 + 异常检测（共用 analyzer-base 纯函数）。`analyzeRecentReport(hours)` 带坏行数，`analyzeRecent()/analyzeConstraint()` 仍返回 `TraceSummary[]`。**ADR-0020**：`summarize`/`detectAnomalies` 的判定本体是 trace-analyzer.ts 的模块级纯函数 `summarizeTraces(traces)` / `detectTraceAnomalies(summaries, config?)`（阈值经参数传入，不再是实例状态），类壳只转发——类壳是 studio 的运行时消费面（`new TraceAnalyzer(c)` + `analyzeRecentReport`/`detectAnomalies`，签名逐字不动），已持有数据的消费端直调纯函数。两函数**不进包根导出**（ADR-0003 零扩张），仓内经相对 import
 - `ContextTracker` — LLM 调用上下文使用快照记录
 
 ## 依赖关系
 - 依赖 `src/types/trace` ExecutionTrace 类型
-- 消费者：`src/cli/commands/{check,report}` 与 `src/hooks/bootstrap`——组合根经 `getTraceCollector()` 把收集器注入 `ConstraintChecker` 构造参数（harness#88）；`status` 另按 projectPath 自建收集器/分析器
+- 消费者：`src/cli/commands/{check,report}` 与 `src/hooks/bootstrap`——组合根经 `getTraceCollector()` 把收集器注入 `ConstraintChecker` 构造参数（harness#88）；`status` 按 projectPath 直读读链正本后**直调模块级纯函数**，不构造 collector/类壳（ADR-0020：collector 构造函数的 mkdir 副作用就此退出该路径）
 - core 不再依赖本模块（方向由 eslint no-restricted-imports 锁死，`src/__tests__/layering.test.ts` 守卫）
 
 ## 约定

package/src/monitoring/trace-analyzer.ts

@@ -7,6 +7,11 @@
  * - 统计汇总（每小时自动执行）
  * - 异常检测（每日检查）
  * - 趋势分析（对比上一周期）
+ *
+ * 形状（ADR-0020）：`summarize`/`detectAnomalies` 的判定本体是模块级纯函数
+ * （`summarizeTraces`/`detectTraceAnomalies`），`TraceAnalyzer` 类壳转发过去——
+ * 类壳是 studio 的运行时消费面，纯函数是已持有数据、不需要 collector 的消费端
+ * （`status`）的入口。两个纯函数不进包根导出（ADR-0003 零扩张）。
  */
 
 import type {
@@ -36,6 +41,153 @@ const DEFAULT_CONFIG: TraceAnalyzerConfig = {
   },
 };
 
+/**
+ * 计算趋势（`summarizeTraces` 的模块内助手）
+ *
+ * 对比前半段和后半段的通过率
+ */
+function calculateTrend(traces: ExecutionTrace[]): 'stable' | 'rising' | 'falling' {
+  if (traces.length < MIN_TREND_SAMPLES) {
+    return 'stable';
+  }
+
+  // 分成前后两半（按时间排序）
+  const [firstHalf, secondHalf] = splitByTime(traces);
+
+  // 计算前半段和后半段的通过率
+  const firstPassRate = calcPassRate(firstHalf);
+  const secondPassRate = calcPassRate(secondHalf);
+
+  // 计算变化
+  const delta = secondPassRate - firstPassRate;
+
+  // 判断趋势（变化 > 5% 才算显著）
+  if (delta > 0.05) {
+    return 'rising';
+  } else if (delta < -0.05) {
+    return 'falling';
+  } else {
+    return 'stable';
+  }
+}
+
+/**
+ * 计算通过率（skip 未评估，不计入分母）
+ */
+function calcPassRate(traces: ExecutionTrace[]): number {
+  const evaluated = traces.filter(t => t.result !== 'skip');
+  if (evaluated.length === 0) return 0;
+  const passCount = evaluated.filter(t => t.result === 'pass').length;
+  return passCount / evaluated.length;
+}
+
+/**
+ * 生成统计汇总
+ *
+ * 纯计算，零 Token 成本。判定住在这里，`TraceAnalyzer.summarize()` 只是转发（ADR-0020）——
+ * 只要数据的消费端（`status`）直调本函数，不必为它构造带 mkdir 副作用的 collector。
+ */
+export function summarizeTraces(traces: ExecutionTrace[]): TraceSummary[] {
+  // 按约束 ID 分组
+  const grouped = groupByKey(traces, t => t.constraintId);
+
+  const summaries: TraceSummary[] = [];
+
+  for (const [constraintId, group] of grouped) {
+    // 提取层级（从第一条 trace）
+    const level = group[0].level;
+
+    // 计算时间范围
+    const timeRange = timeRangeOf(group.map(t => t.timestamp));
+
+    // 单次遍历计算核心统计（skip 单独计数，不计入 pass/fail 率分母，ADR-0001）
+    const totalChecks = group.length;
+    let passCount = 0, failCount = 0, ignoreCount = 0, skipCount = 0;
+    for (const t of group) {
+      if (t.result === 'pass') passCount++;
+      else if (t.result === 'fail') failCount++;
+      else if (t.result === 'skip') skipCount++;
+      if (t.userAction === 'ignore') ignoreCount++;
+    }
+
+    // 计算比率（分母 = 实际评估次数，skip 未评估不计入）
+    const evaluatedChecks = totalChecks - skipCount;
+    const passRate = evaluatedChecks > 0 ? passCount / evaluatedChecks : 0;
+    const failRate = evaluatedChecks > 0 ? failCount / evaluatedChecks : 0;
+
+    // 计算趋势
+    const recentTrend = calculateTrend(group);
+
+    summaries.push({
+      constraintId,
+      level,
+      timeRange,
+      totalChecks,
+      passCount,
+      failCount,
+      skipCount,
+      ignoreCount,
+      passRate,
+      failRate,
+      recentTrend,
+    });
+  }
+
+  return summaries;
+}
+
+/**
+ * 检测异常
+ *
+ * 基于阈值检测异常模式。阈值来自参数而非实例状态（ADR-0020）：省略 `config` 时
+ * 与类壳同一默认口径（`{ ...DEFAULT_CONFIG, ...config }`）。
+ */
+export function detectTraceAnomalies(
+  summaries: TraceSummary[],
+  config?: Partial<TraceAnalyzerConfig>
+): TraceAnomaly[] {
+  const anomalies: TraceAnomaly[] = [];
+  const thresholds = { ...DEFAULT_CONFIG, ...config }.thresholds!;
+
+  for (const summary of summaries) {
+    // 检测失败率上升
+    if (summary.failRate > thresholds.failRate! && summary.recentTrend === 'rising') {
+      anomalies.push({
+        type: 'rising_fail_rate',
+        constraintId: summary.constraintId,
+        level: summary.level,
+        message: `约束 ${summary.constraintId} 失败率 ${Math.round(summary.failRate * 100)}% 且趋势上升`,
+        data: {
+          currentRate: summary.failRate,
+          threshold: thresholds.failRate!,
+          trend: 'rising',
+        },
+        detectedAt: Date.now(),
+        suggestedAction: 'diagnose',
+      });
+    }
+
+    // 检测低通过率
+    if (summary.passRate < 0.3) {
+      anomalies.push({
+        type: 'low_pass_rate',
+        constraintId: summary.constraintId,
+        level: summary.level,
+        message: `约束 ${summary.constraintId} 通过率 ${Math.round(summary.passRate * 100)}%，低于 30%`,
+        data: {
+          currentRate: summary.passRate,
+          threshold: 0.3,
+          trend: summary.recentTrend,
+        },
+        detectedAt: Date.now(),
+        suggestedAction: 'adjust_threshold',
+      });
+    }
+  }
+
+  return anomalies;
+}
+
 /**
  * Trace 分析器
  *
@@ -59,54 +211,12 @@ export class TraceAnalyzer {
    * 生成统计汇总
  *
    * 纯计算，零 Token 成本
+   *
+   * ADR-0020：判定本体在模块级 `summarizeTraces()`，此处只是类壳转发
+   * （studio 经类消费的面逐字不动）。
    */
   summarize(traces: ExecutionTrace[]): TraceSummary[] {
-    // 按约束 ID 分组
-    const grouped = groupByKey(traces, t => t.constraintId);
-
-    const summaries: TraceSummary[] = [];
-
-    for (const [constraintId, group] of grouped) {
-      // 提取层级（从第一条 trace）
-      const level = group[0].level;
-
-      // 计算时间范围
-      const timeRange = timeRangeOf(group.map(t => t.timestamp));
-
-      // 单次遍历计算核心统计（skip 单独计数，不计入 pass/fail 率分母，ADR-0001）
-      const totalChecks = group.length;
-      let passCount = 0, failCount = 0, ignoreCount = 0, skipCount = 0;
-      for (const t of group) {
-        if (t.result === 'pass') passCount++;
-        else if (t.result === 'fail') failCount++;
-        else if (t.result === 'skip') skipCount++;
-        if (t.userAction === 'ignore') ignoreCount++;
-      }
-
-      // 计算比率（分母 = 实际评估次数，skip 未评估不计入）
-      const evaluatedChecks = totalChecks - skipCount;
-      const passRate = evaluatedChecks > 0 ? passCount / evaluatedChecks : 0;
-      const failRate = evaluatedChecks > 0 ? failCount / evaluatedChecks : 0;
-
-      // 计算趋势
-      const recentTrend = this.calculateTrend(group);
-
-      summaries.push({
-        constraintId,
-        level,
-        timeRange,
-        totalChecks,
-        passCount,
-        failCount,
-        skipCount,
-        ignoreCount,
-        passRate,
-        failRate,
-        recentTrend,
-      });
-    }
-
-    return summaries;
+    return summarizeTraces(traces);
   }
 
   /**
@@ -148,48 +258,12 @@ export class TraceAnalyzer {
    * 检测异常
    *
    * 基于阈值检测异常模式
+   *
+   * ADR-0020：判定本体在模块级 `detectTraceAnomalies()`（阈值经参数传入），
+   * 此处只是类壳转发。
    */
   detectAnomalies(summaries: TraceSummary[]): TraceAnomaly[] {
-    const anomalies: TraceAnomaly[] = [];
-    const thresholds = this.config.thresholds!;
-
-    for (const summary of summaries) {
-      // 检测失败率上升
-      if (summary.failRate > thresholds.failRate! && summary.recentTrend === 'rising') {
-        anomalies.push({
-          type: 'rising_fail_rate',
-          constraintId: summary.constraintId,
-          level: summary.level,
-          message: `约束 ${summary.constraintId} 失败率 ${Math.round(summary.failRate * 100)}% 且趋势上升`,
-          data: {
-            currentRate: summary.failRate,
-            threshold: thresholds.failRate!,
-            trend: 'rising',
-          },
-          detectedAt: Date.now(),
-          suggestedAction: 'diagnose',
-        });
-      }
-
-      // 检测低通过率
-      if (summary.passRate < 0.3) {
-        anomalies.push({
-          type: 'low_pass_rate',
-          constraintId: summary.constraintId,
-          level: summary.level,
-          message: `约束 ${summary.constraintId} 通过率 ${Math.round(summary.passRate * 100)}%，低于 30%`,
-          data: {
-            currentRate: summary.passRate,
-            threshold: 0.3,
-            trend: summary.recentTrend,
-          },
-          detectedAt: Date.now(),
-          suggestedAction: 'adjust_threshold',
-        });
-      }
-    }
-
-    return anomalies;
+    return detectTraceAnomalies(summaries, this.config);
   }
 
   /**
@@ -219,46 +293,6 @@ export class TraceAnalyzer {
     });
   }
 
-  /**
-   * 计算趋势
- *
-   * 对比前半段和后半段的通过率
-   */
-  private calculateTrend(traces: ExecutionTrace[]): 'stable' | 'rising' | 'falling' {
-    if (traces.length < MIN_TREND_SAMPLES) {
-      return 'stable';
-    }
-
-    // 分成前后两半（按时间排序）
-    const [firstHalf, secondHalf] = splitByTime(traces);
-
-    // 计算前半段和后半段的通过率
-    const firstPassRate = this.calcPassRate(firstHalf);
-    const secondPassRate = this.calcPassRate(secondHalf);
-
-    // 计算变化
-    const delta = secondPassRate - firstPassRate;
-
-    // 判断趋势（变化 > 5% 才算显著）
-    if (delta > 0.05) {
-      return 'rising';
-    } else if (delta < -0.05) {
-      return 'falling';
-    } else {
-      return 'stable';
-    }
-  }
-
-  /**
-   * 计算通过率（skip 未评估，不计入分母）
-   */
-  private calcPassRate(traces: ExecutionTrace[]): number {
-    const evaluated = traces.filter(t => t.result !== 'skip');
-    if (evaluated.length === 0) return 0;
-    const passCount = evaluated.filter(t => t.result === 'pass').length;
-    return passCount / evaluated.length;
-  }
-
   /**
    * 保存汇总结果
    */

package/src/types/constraint.ts

@@ -108,7 +108,16 @@ export interface ConstraintResult {
   
   /** 消息 */
   message?: string;
-  
+
+  /**
+   * 证据行（harness#119）
+   *
+   * checker 经 CheckDetail 返回的具体判定依据（如未登记的文件路径）。
+   * 违规时随 message 一并展示；满足但非空时为「提示」（不进 pass/fail 统计）。
+   * skip 恒为空——未评估不得留下证据行。
+   */
+  evidence?: string[];
+
   /** 建议操作 */
   requiredAction?: string;
   
@@ -194,7 +203,12 @@ export class ConstraintViolationError extends Error {
   public readonly result: ConstraintResult;
 
   constructor(result: ConstraintResult) {
-    super(result.message || 'Constraint violation');
+    // 铁律违规在 checkConstraints 处直接 throw，CLI 的结构化输出块走不到这里，
+    // error.message 是判定证据唯一的外溢面（harness#119）
+    const detail = result.evidence?.length
+      ? `：\n${result.evidence.map((line) => `  - ${line}`).join('\n')}`
+      : '';
+    super(`${result.message || 'Constraint violation'}${detail}`);
     this.name = 'ConstraintViolationError';
     this.result = result;
   }

package/src/types/passes-gate.ts

@@ -24,12 +24,6 @@ export interface PassesGateConfig {
    * 不赦免非零退出码（判定依据收在 core/validators/test-output.ts 的 judgeTestRun，ADR-0014）
    */
   allowPartialPass?: boolean;
-  
-  /** 最大重试次数 */
-  maxRetries?: number;
-  
-  /** 重试延迟（毫秒） */
-  retryDelay?: number;
 }
 
 /**
@@ -61,26 +55,6 @@ export interface TaskTestResult {
   evidence?: string;
 }
 
-/**
- * 测试门控结果
- */
-export interface PassesGateResult {
-  /** 任务 ID */
-  taskId: string;
-  
-  /** 是否允许设置 */
-  allowed: boolean;
-  
-  /** 测试结果 */
-  testResult?: TaskTestResult;
-  
-  /** 尝试次数 */
-  attempts: number;
-  
-  /** 错误信息 */
-  error?: string;
-}
-
 /**
  * 动态任务（用于 passes-gate）
  */

package/src/types/trace.ts

@@ -19,6 +19,8 @@ export const DEFAULT_TRACE_FILE = '.harness/logs/traces.log';
  * - 只记录核心字段（零 Token）
  * - 不记录代码片段（需要时从 git diff 获取）
  * - 不记录决策路径（需要时从 execution logs 获取）
+ * - 例外（harness#119）：判定证据允许记录——路径级依据不是代码片段，
+ *   而没有它，一条恒红的约束在统计侧根本无法回答「红在哪」
  */
 export interface ExecutionTrace {
   // ========================================
@@ -53,6 +55,14 @@ export interface ExecutionTrace {
   /** 会话 ID（用于追踪同一会话的多次检查） */
   sessionId?: string;
 
+  /**
+   * 判定证据行（harness#119）
+   *
+   * 只落 checker 给出的路径级依据（如未登记文件清单），由 checker 截断条数；
+   * 不落 pass 结果的空数组，避免无信息记录膨胀 JSONL。
+   */
+  evidence?: string[];
+
   // ========================================
   // 用户响应（可选，用于诊断）
   // ========================================

package/src/utils/__tests__/jsonl-skip-disposition.test.ts

@@ -42,7 +42,6 @@ const POLICY_WINDOW_LINES = 6;
  */
 const EXPECTED_SKIP_READ_SITES: Record<string, number> = {
   'src/cli/commands/status.ts': 1,
-  'src/cli/session-mining/transcript.ts': 1,
   'src/context/session-manager.ts': 2,
   'src/core/constraints/context-builder.ts': 2,
   'src/core/constraints/usage-report.ts': 1,

package/dist/cli/commands/analyze-sessions.d.ts

@@ -1,20 +0,0 @@
-/**
- * harness analyze-sessions — 对话模式发现引擎
- *
- * 扫描 transcript 文件，不预设关键词，挖掘：
- *   1. 纠正信号（用户反复指出的问题）
- *   2. 高频 N-gram（跨会话重复出现的概念）
- *   3. 规则缺口（高频模式未被现有 memory 覆盖）
- *
- * 输出候选规则建议，供用户审核后写入 memory。
- *
- * 工单 19-C：transcript 解析/纠正模式/分词相似度收敛至 cli/session-mining/。
- */
-import { type CommandIO, type CommandResult } from '../command-contract';
-export interface AnalyzeSessionsOptions {
-    days?: number;
-    projectPath?: string;
-    json?: boolean;
-}
-export declare function analyzeSessions(options: AnalyzeSessionsOptions, io?: CommandIO): Promise<CommandResult>;
-//# sourceMappingURL=analyze-sessions.d.ts.map

package/dist/cli/commands/analyze-sessions.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"analyze-sessions.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/analyze-sessions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAmBH,OAAO,EAAkB,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzF,MAAM,WAAW,sBAAsB;IACrC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAmBD,wBAAsB,eAAe,CAAC,OAAO,EAAE,sBAAsB,EAAE,EAAE,GAAE,SAAqB,GAAG,OAAO,CAAC,aAAa,CAAC,CA0CxH"}